New conjecture on Corner Geometry



More on corners can be found in:
http://groups.google.fi/group/sci.math/browse_frm/thread/761ea590d0110db5/4f68309e6fb3a5e8?hl=en&lnk=st&q=#4f68309e6fb3a5e8
shortcut:
http://tinyurl.com/yvxq6b
but I include the neccessary definitions for
the conjecture


Let M = (X, d) be a metric space.

Definition of corner point:
Let S be subset of X. p is a corner point of S in X iff
there exists a sequence B_1, B_2, B_3,... of open balls such that:
1. the elements in the sequence are pairwise disjoint
2. for each B_i:
2.1 there exists (at least) two distinct points such that
both are boundary points of the closure of S and
both are boundary points of the closure of B_i
2.2 the intersection of B_i and boundary of S is empty
2.3 the intersection of the closure of B_i and the closure of
B_i+1 is a singleton and not in the closure of S
3. each sequence p_1, p_2, p_3, ... where each p_i is in B_i, has
p as a limit point


Definition of corner set: C(S) = { c | c is a corner point of S }


Definition of corner sequence C_n of S:
C_0 = S
C_n+1 = C(C_n(S))


Definition of corner rank:
If there exists an n such that C_n(S) = the empty set,
then corner rank of S is smallest n such that C_n(s) = empty set,
otherwise S has infinite corner rank


Conjecture:
Let S be a set in R^n with the usual metric with finite corner
rank and having integer Hausdorff-dimension D. Then the
Hausdorff-dimension of C(S) is an integer.


I would very much appreciate refutation, proof or hints how to
prove or refute.


We Pretty
.



Relevant Pages

  • Corner Geometry
    ... Their union is also smooth except ... both are boundary points of the closure of B_i ... Definition of corner rank: ... Union of two closed balls in R^n has corner rank at most n-1 ...
    (sci.math)
  • Re: Axioms of a group - are they redundant?
    ... Closure: For all a, b in G, the result of a * b is also in G. ... operation is binary, then why is it needed an identity element axiom, ... then the empty set would be a group. ...
    (sci.math.research)
  • Re: closure(closure(A))=closure(A)
    ... definition of closure you are using. ... X non empty set and ... A contained in closA for all A belonging to P. ... (Kuratowski Closure axioms) ...
    (sci.math)
  • Re: curious properties of sets
    ... > What is one non empty set that contains none of its limit points? ... > What is a nonempty set, the closure of which is R ... > that the infinite union of these intervals yeilds some interval. ...
    (sci.math)
  • Re: Closed subsets of a subspace.
    ... Let X be a metric space, Y be a subspace, A a closed subset of Y. Then ... x_n is a sequence in A and x_n converges to x, ... Greg wrote: ... > I will denote the closure of A in Y by cl_Yand the closure of A in X by ...
    (sci.math)

Quantcast