sign in sign up
<<
Home , Cantor set, Lebesgue measure

arXiv:2007.07991v8 [math.DS] 5 Jun 2021 ope ie h atta rcaswt oiieLbsu measu Lebesgue positive a dimension. with Hausdorff Th integer . that positive Lebesgue fact given the a given provis oth and complex two their the lacks beth- On 5] of 3. cardinal literature[4, of potential the dimension in Hausdorff results with Hausdorff existential fa Sponge with current the Menger include Vicsek fat Examples fat the the and 7]. 1, [6, of measur dimension systems Lebesgue Hausdorff physical positive with real a model with to spaces in Euclidean applied Leb version the with minor fractals in very the fractals its of are and case [4] the fractals) to (thin limited 0 is literature the in fractals fractals? hoespa e oei iesetu fmteaia ed and fields ask: mathematical of may spectrum one ? wide 3], a in [2, role science cons key that (0 Given a in play statement. number existence theorems unique inverse the a on as evidence dimension little Hausdorff its has fractal tne h sa iskhsteHudr ieno qa olog to equal dimesnion Hausdorff the has Vicsek usual the stance, RI:https://orcid.org/0000-0002-5989-0082 ORCID: [email protected] e-mail: Canada ON, irisitinl n h iskfatl e lmn ntedefinit the in element key A fractal. Ca ha Vicsek third middle world term the the snowflak virtual and are include triangle the instances examples virtual Sierpinski and some natural nature while Some ranges, Both mountain fractals: self of for [1]. examples model nature mathematical nent a in present shapes to quest geometric the on essay 1975 1 Date eotMnebo 12-00 ondteterm the coined (1924-2010) Mandelbrot Benoit ahmtc ujc lsicto (2020). Classification Subject Keywords n,i aeo ffimtv response, affirmative of case in And, isaitc iiin al aaSho fPbi Health Public of School Lana Dalla Division, Biostatistics EEAIAINO H ASOF DIMENSION HAUSDORFF THE OF GENERALIZATION A fractal u ,2021. 5, Jun : Abstract. esr.Teqeto ean nnwrdfrohrfractal other for the unanswered and remains them of question function The virt bi-variate of measure. a two Hausdo of beth- the dimension of of Hausdorff existence a the quantities prove their We Mandelb and measure. using Lebesgue fractals question of second definition the tal answer partially we note, oteato’ etkolde h nyaalbeeitnetheore existence available only the knowledge, best author’s the To sisdmninuulyidxdb h asoffdmnin o in- For dimension. Hausdorff the by indexed usually dimension its is atrSt a rcas asoffDmnin otnu,beth- continuum, Dimension, Hausdorff Fractals, fat Set, Cantor o ayfatl xs nntr rtevrulwrd nthi In world? virtual the or nature in exist fractals many How HOE O FRACTALS FOR THEOREM steeayfatlfrgvnHudr dimension Hausdorff given for fractal any there Is osnSoltanifar Mohsen 1. Introduction 1 htaetefaue ftesto such of set the of features the are What R 1 5.Hwvr noehn,there hand, one on However, [5]. fractal 88,03E10 28A80, nvriyo oot,Toronto, Toronto, of University , n t ieso nhis in dimension its and ffdmninand dimension rff dimensions. a rcaswith fractals ual , o’ fundamen- rot’s ie Lebesgue given + ∞ o o h highest the for ion smlr fractured -similar, rcieexistence tructive sisegt more gets issue is ,teehsbeen has there ), 3 (5) ieso f2, of dimension ems aea have must re ftfractals) (fat e s lusand clouds es, su measure esgue . atrset Cantor t trst the set, ntor rhn,the hand, er hl each While o fthe of ion epromi- ve computer s of m two 2 A GENERALIZATION OF THE THEOREM FOR FRACTALS

This work presents a parallel existence result for fractals of a given Hausdorff dimension and a positive in n-dimensional Euclidean spaces. In light of this aim, this work provides a comprehensive deterministic framework, providing a second proof for the former results and, in particular, generalizes them in terms of Lebesgue measure and cardinal number.

2. Preliminaries The reader who has studied fractal geometry is well-equipped with the follow- ing definitions and key properties of the Uniform Cantor sets, Topological Dimen- sion and the Hausdorff Dimension. Henceforth, in this paper we consider the n- dimensional Euclidean Rn with its conventional Euclidean metric and the Lebesgue measure of λn(n ∈ N).

2.1. The Uniform . The Uniform Cantor set, or Smith-Volterra- Cantor set, or the fat Cantor set, was introduced in a of publications by Henry Smith in 1875, Vito Volterra in 1881, and George Cantor in 1883, respectively. To construct the uniform Cantor set, let {βn}n∈N-called the removing - be a sequence of positive numbers with n∈N βn = 1 − l ∈ (0, 1]. Take s ∈ N, and set Is,0 = [0, 1]. Define Is,n(n ∈ N) recursively by removing s symmetrically located P βn open intervals with equal length of s(s+1)n−1 from middle of each in Is,n−1. n (j) Then, Is,n is the of (s + 1) disjoint closed intervals Is,n of equal length n 1−P βk k=1 N δn = (s+1)n ; furthermore, the sequence {Is,n}n∈ 0 is decreasing sequence with finite intersection property in the [0, 1].

Definition 2.1. The Uniform Cantor set of order s ≥ 1 and Lebesgue measure l ≥ 0 associated with the removing sequence {βn}n is defined as:

∞ (1) C{βn}n (s,l)= ∩n=0Is,n.

It is well known that the Uniform Cantor set C{βn}n (s,l) is nowhere dense, totally disconnected, perfect and uncountable [4]. Next, by definition, λ1([0, 1] − Is,n) = n k−1 βk n k=1 s(s + 1) ( s(s+1)k−1 )= k=1 βk(n ∈ N). Consequently, the Lebesgue mea- sure of the Uniform Cantor set C (s,l) is given by: P P{βn}n

λ1(C{βn}n (s,l)) = 1 − λ1([0, 1] − C{βn}n (s,l))=1 − λ1(∪n∈N([0, 1] − Is,n))

(2) = 1 − lim λ1([0, 1] − Is,n)=1 − βn = l. n→∞ n N X∈ A prominent family of the Uniform Cantor sets in the literature [4, 8, 9, 10] is obtained for the case of

n−1 (3) βn = βn(s,β,l) = ((s + 1)β) (1 − (s + 1)β)(1 − l)

1 where s ≥ 1, 0 <β< s+1 and 0 ≤ l < 1. In particular, the ordinary middle third 1 Cantor set is obtained whenever s = 1,β = 3 , and l = 0. It is simultaneously the first term of two distictive of the Uniform Cantor sets: one including 1 s ≥ 1, β = β(s) = 2s+1 (s ≥ 1), l = 0 [4]; and, another including s = 1, β = ∗ 1 ∗ β(s )= s∗+2 (s ≥ 1), l =0, [8]. A GENERALIZATION OF THE HAUSDORFF DIMENSION THEOREM FOR FRACTALS 3

2.2. Topological Dimension. The Topological dimension considered here is the Urysohn-Menger small inductive dimension. It is defined inductively by setting n dimind(φ) = −1. We then say that for given C ⊆ R , we have dimind(C) ≤ k whenever there is a (Ui)i∈I of open sets of C such that dimind(Ui) ≤ k − 1(i ∈ I). We then say dimind(C)= k whenever dimind(C) ≤ k but dimind(C)  k−1(k ∈ N0), [10]. For the case of a zero-topological dimension, we may consider a more informative definition based on the idea of clopen (i.e., simultaneously open and closed) sets as follows [10]:

n Definition 2.2. The space C ⊆ R has zero topological dimension (i.e. dimind(C)= 0) whenever every finite open cover {Ui}i∈I (|I| < ∞) of C has a finite refinement {Vi}i∈J (|J| ≤ |I| < ∞) that is a clopen partition of C. Using above definition, it has been shown that for the case of middle third Cantor set C = C 2n (1, 0) we have dimind(C)=0, [10]. A straightforward gen- { 2.3n }n eralization of the proof shows that for the uniform Cantor set C = C{βn}n (s,l) we also have the same conclusion. The following theorem summarizes some prominent properties of the small inductive dimension required in this paper[10]:

n Theorem 2.3. Let {Ci}i∈I be a countable family of of R (n ≥ 1). Then:

(i) dimind(Ci) ∈ {−1, 0, ··· ,n} where i ∈ I, (ii) dimind(Ci) ≤ dimind(Cj ) where Ci ⊆ Cj (i 6= j), + (iii) dimind(cCi + d)= dimind(Ci) where c, d ∈ R and i ∈ I, (iv) dimind(∪i∈I Ci) ≤ k for some fixed k ∈ N0 whenever we have dimind(Ci) ≤ k(i ∈ I).

(v) dimind( i∈I Ci) ≤ i∈I dimind(Ci) whenever I is finite. As a corollaryQ of thisP theorem, for the case of a finite family of uniform Cantor sets {Ci}i∈I , it follows that dimind(∪i∈I Ci) = 0 and dimind( i∈I Ci)=0. Q 2.3. Hausdorff Dimension. The Hausdorff dimension, or Hausdorff-Besicowitch dimension, is considered as the one of the most prominent dimensions for fractals. It was first introduced by Felix Hausdorff in 1918 and was later improved in terms of computational techniques by Abram S. Besicovitch. It is definable for any of the as follows[9]:

Definition 2.4. Let C ⊆ R and given s ≥ 0. Then, given s-dimensional Hausdorff measure of C by

s s (4) H (C) = lim inf{ |Ui| | C ⊆ ∪ Ui :0 < |Ui|≤ δ} , δ→0 i∈N i N  X∈  the Hausdorff dimension of C is defined as:

s (5) dimH (C) = inf{s ≥ 0|H (C)=0}. Using this definition, Hausdorff showed that the middle third Cantor set C = log(2) C 2n (1, 0) has Hausdorff dimension equal to . More generally[10]: { 2.3n }n log(3) 4 A GENERALIZATION OF THE HAUSDORFF DIMENSION THEOREM FOR FRACTALS

Theorem 2.5. The Hausdorff dimension of the Uniform Cantor set C = C{βn}n (s,l) is given by: (6) log(s+1) βn if s ≥ 1, l =0, inf ( n− ) > 0, log(βn) 1−P 1 β log(s+1)+lim sup(− n−1 ) n∈N k=1 k dim (C (s,l)) = n→∞ H {βn}n  1 if s ≥ 1, 0 0 as follows: Notation 2.6. The Linear Transform of the Uniform Cantor set of order s ≥ 1, Hausdorff dimension r> 0 and Lebesgue measure l ≥ 0 associated with the removing sequence {βn}n is denoted as:

(8) Fr,l,s = c × C{βn}n (s,l)+ d for some c> 0, d ≥ 0. The following theorem summarizes some key properties of the Hausdorff Dimen- sion required in this paper[9]: n Theorem 2.7. Let {Ci}i∈I be a countable family of subsets of R (n ≥ 1). Then:

(i) 0 ≤ dimH (Ci) ≤ n where i ∈ I, (ii) dimH (Ci) ≤ dimH (Cj ) where Ci ⊆ Cj (i 6= j), + (iii) dimH (cCi + d)= dimH (Ci) where c, d ∈ R and i ∈ I, (iv) dimH (∪i∈I Ci) = supi∈I (dimH Ci), (v) dimH ( i∈I Ci)= i∈I dimH (Ci) whenever I is finite and one of Cis is a uni- form Cantor set. Q P (vi) dimH (Ci)= n(i ∈ I) whenever λn(Ci) > 0(i ∈ I). Finally, throughout this paper we refer to the fractal in terms of Mandelbrot’s definition [1]: n Definition 2.8. A subset C ⊆ R with Hausdorff dimension dimH (C) and the topological inductive dimension dimind(C) is a fractal whenever:

(9) dimH (C) > dimind(C). 2.4. General Distribution over Unions. We finish this section with a review of the relationship between union and Cartesian products. As the Cartesian product is distributive over unions [11], we have the following general result easily proved by induction on the dimension of the product n:

Theorem 2.9. Let Ij (1 ≤ j ≤ n) be indexing sets and {Cij }ij ∈Ij (1 ≤ j ≤ n) be families of subsets of R indexed by them, respectively. Then: n n

(10) ( Cij )= ( Cij ), n j=1 ij ∈Ij (i ,··· ,i )∈Q I j=1 Y [ 1 n[ j=1 j Y where denotes the union and denotes the Cartesian product. S Q A GENERALIZATION OF THE HAUSDORFF DIMENSION THEOREM FOR FRACTALS 5

3. Main Results We generalize the existence Hausdorff Dimension Theorem from fractals with a Lebesgue measure 0 (thin fractals) to those with a non-negative Lebesgue measure (fat fractals) with existence of the higher cardinal of beth- two. The construction process is accomplished in four stages: (i) Showing the existence of fractals with a plausible Hausdorff dimension and a Lebesgue measure in R; (ii) Expanding the of fractals in the first stage to the continuum; (iii) Exending the result in the second stage to the higher dimensional Euclidean spaces Rn(n> 1), and, (iv) Generalizing the result in the third stage to the cardinal of beth- two. We begin with the following existence result whose very special case has been stated in [5]: Lemma 3.1. For any real 0 < r ≤ 1 and l ≥ 0 there is a fractal with the Hausdorff dimension 1[0](l).r +1(0,∞)(l) and the Lebesgue measure l in R. Proof. We consider three scenarios:

(i) 0

Fix s0 ∈ N, and consider the family of Uniform Cantor sets C{βn(s0,β,0)}(s0, 0), 1 log(s0+1) (0 <β< ). Then, their Hausdorff dimension are given by fs (β) = , s0+1 0 −log(β) 1 1 (0 <β< ). Since fs is a continuous increasing function from (0, ) onto s0+1 0 s0+1 − (0, 1), such that f(0+) = 0 and f( 1 )=1, by an application of the Intermediate s0+1 1 Value Theorem, there exists β0 ∈ (0, ) such that fs (β0)= r. Now, it is enough s0+1 0 to consider the following fractal in the interval [0, 1] :

(11) Fr,0,s0 = C{βn(s0,β0,0)}(s0, 0) (ii) r =1,l = 0 : n Again, fix s0 ∈ N and consider the sequence rn = n+1 (n ∈ N). By part (i), there is a corresponding sequence of fractals Frn,0,s0 (n ∈ N) such that dimH (Frn,0,s0 )= rn,dimind(Frn,0,s0 )=0, and λ1(Frn,0,s0 )=0, (n ∈ N). Take: ∗ (12) F1,0,s = ∪ Frn,0,s0 0 n∈N Accordingly, two consecutive applications of Theorem 2.3(iv) and Theorem2.7(iv) proves the desired result.

(iii) r =1,l> 0 : l Finally, for fixed s0 ∈ N consider F l = ([l]+1) × C l (s0, ) 1, [l]+1 ,s0 {βn(s0,β0, [l]+1 )} [l]+1 with βn given by equation 3. Hence, two consecutive applications of Theorem 2.3(iii) and Theorem2.7(iii) yields the desired result. 

A closer look at the proof of the Lemma 3.1 and changing values s0 ∈ N shows that indeed for any real 0 < r ≤ 1 and l ≥ 0 there are countably infinite fractals with the Hausdorff dimension 1[0](l).r +1(0,∞)(l) and the Lebesgue measure l in R. The following Lemma expands this result to the cardinality of the Continuum. Lemma 3.2. For any real 0 < r ≤ 1 and l ≥ 0 there is a continuum of distinctive fractals with the Hausdorff dimension 1[0](l).r +1(0,∞)(l) and the Lebesgue measure l in R. Proof. We consider three scenarios similar to the proof of Lemma 3.1. In each sce- nario, we partition a given interval (e.g. [0, 1]) to an infinite union of its shrinking 6 A GENERALIZATION OF THE HAUSDORFF DIMENSION THEOREM FOR FRACTALS sub-intervals and, using linear transformations, put into them Cantor Fractals.

(i) 0

I (13) Fr,0 = ∪ Fr,0,s s∈I Then, again an application of Theorem 2.3(iii,iv) and Theorem 2.7(iii,iv) and un- countability of the set of such I′s proves the assertion.

(ii) r =1,l = 0 : n Again, consider the sequence rn = n+1 (n ∈ N). By part (i), there is a corre- I sponding sequence of fractals Frn,0(n ∈ N) and an infinite set I ∈P(N) such that I I I dimH (Frn,0)= rn,dimind(Frn,0)=0, and λ1(Frn,0)=0(n ∈ N). Put :

∗I 1 I 1 (14) F 1,0 = ∪ ( Fr ,0 + ) n∈N 2n n 2n Now, by two applications of Theorem 2.3(iii,iv) and Theorem2.7(iii,iv) and un- countability of the set of such I′s, the assertion follows.

(iii) r =1,l> 0 : By construction, in the part(iii) of the proof of Lemma3.1, there is sequence of fractals {F l }s∈N in the interval [0, [l] + 1] such that: dimH (F l ) = 1, [l]+1 ,s 1, [l]+1 ,s ∗ [l]+1 1,dimind(F1, l ,s)=0, and λ1(F1, l ,s)= l (s ∈ N). Let F l = 2s F1, l ,s+ [l]+1 [l]+1 1, [l]+1 ,s [l]+1 [l]+1 2s (s ∈ N), and I ∈P(N) be infinite and define:

∗I l ∗ (15) F 1,l = ∗ × ∪ F1, l ,s λ1( ∪ F l ) s∈I [l]+1 s∈I 1, [l]+1 ,s Finally, by two applications of Theorem 2.3(iii,iv) and Theorem2.7(iii,iv) and uncountability of the set of such I′s the assertion follows. 

An investigation into Lemma 3.2 reveals its limitation to providing fractals with Hausdorff dimension on the range 0 < r ≤ 1. To obtain fractals with Hausdorff dimension r > 1 we need to consider the higher dimensional Euclidean spaces. Using the idea of the countable unions of n-dimensional Cantor Fractal dusts (as the Cartesian product of the Uniform Cantor sets defined above), our next result addresses this situation. Lemma 3.3. For any real r > 0 and l ≥ 0, there is a continuum of distinctive fractals with the Hausdorff dimension 1[0](l).r +1(0,∞)(l).n and Lebesgue measure l in Rn where (−[−r] ≤ n).

′ r Proof. Let r > 0,l ≥ 0 and for given −[−r] ≤ n define r = n ∈ (0, 1].Then, using equations (13-15), we consider the following scenarios with the Hausdorff dimension r′ and Lebesgue measure l ≥ 0 given different values of r′,l : A GENERALIZATION OF THE HAUSDORFF DIMENSION THEOREM FOR FRACTALS 7

Table 1. Construction of fractals with the given Hausdorff di- mension r′ and Lebesgue measure l in R

(r′,l) l =0 l> 0 ′ I 0 < r < 1 Fr′,l(Eq.13) DNE ′ ∗I ∗I r =1 F r′,l(Eq.14) F r′,l(Eq.15)

where I ∈P(N) is infinite. Now, we consider n copies from each cell in Table 1 and consider the following Cartesian products:

Table 2. Construction of fractals with given a Hausdorff dimen- sion r and Lebesgue measure l in Rn

(r, l) l =0 l> 0 n Ij r∈ / N j=1 Fr′,l DNE n ∗Ij 1 n−1 n ∗Ij r ∈ F ′ ( ) × F ′ N Qj=1 r ,l l j=1 r ,l Q Q

where Ij ∈P(N)(1 ≤ j ≤ n) are infinite. Finally, considering Table 2, the asser- tion follows by an application of Theorem 2.3(v), Theorem2.7(iii),(v) and Theorem 2.9; and that there are uncountably infinite sets of Ij ∈P(N)(1 ≤ j ≤ n).  The constructed fractals in the Lemma 3.3 have two key features as follows: −→ First, they are centrally asymmetric with respect to the point symmetric of c n = 1 1 ( 2 , ··· , 2 ) where −[−r] ≤ n. This is a direct result of the fact that being centrally asymmetric is under Cartesian products and unions; and, the building block of the fractals in the Lemma are centrally asymmetric fat Cantor sets with −→ 1 point symmetric of c 1 = 2 . However, the Lemma can be expanded to the symmet- ric fractals with consideration of transformed symmetric fat Cantor sets. The details of the proof are minor modifications of our proof for the asymmetric case presented 1 here with replacement of fractals F in equations (13-15) with 2 ((F ∪ (−F )) + 1). Second, there is a continuum of them with the same Hausdorff dimension and the same Lebesgue measure in the Euclidean spaces Rn+1 − Rn (−[−r] ≤ n) as those in Rn (−[−r] ≤ n). Here, Rn is considered isomorphic to the subspace of Rn × 0 ⊂ Rn+1. This result is the direct consequence of the construction process in the proof of the Lemma. Finally, while the Lemma 3.3 guarantees at least a contin- uum of fractals in n-dimensional with given properties, it does not guarantee the existence of the beth- two fractals given the generalized continuum hypothesis [12]. This lack of precision of the cardinal number (between either the continuum or beth- two) creates ground for further investigation. Our main result provides the answer. Theorem 3.4. (The General Hausdorff Dimension Theorem) For any real r > 0 and l ≥ 0, there is a set of beth- two distinctive fractals with the Hausdorff n dimension 1[0](l).r +1(0,∞)(l).n and Lebesgue measure l in R where (−[−r] ≤ n). Proof. We accomplish the proof in four steps as follows:

n.log(2) First, let r> 0,l ≥ 0, and fix n ≥−[−r]. Then, for the function hn(β)= −log(β) , 8 A GENERALIZATION OF THE HAUSDORFF DIMENSION THEOREM FOR FRACTALS

1 + 1 r (0 <β< 2 ), given hn(0 ) = 0 there is β00 ∈ (0, 2 ) such that hn(β00) < 2 . n n Second, take a fractal F00 = (C + [l]+1) in R where C = Cβn with βn = βn(1,β00, 0) (n ≥ 1) as in equation (3). Then, λ(F00)=0, dimind(F00)=0, and r dimH (F00) < 2 . Define the power set of F00 with cardinal of beth- two as follows: n r (16) F (r, l)= {F ⊆ R |F ⊆ F ,dimH (F ) < , λ(F )=0,dimind(F )=0}. 1 00 2 Third, consider the family of fractals given by Lemma 3.3: (17) n F2(r, l)= {F ⊆ R |dimH (F )=1[0](l).r +1(0,∞)(l).n, λ(F )= l,dimind(F )=0}. Fourth, given two families in equations (16),(17) define the following family of fractals with cardinal of beth- two:

(18) F(r, l)= {F1 ∪ F2|F1 ∈F1(r, l), F2 ∈F2(r, l)}.

Finally, let F ∈ F(r, l). Then, by construction, there are Fi ∈ Fi(i = 1, 2) such that: F = F1 ∪ F2. Accordingly, by another application of Theorem 2.3(iv), and Theorem 2.7(iv):

dimH (F ) = max(dimH (F1),dimH (F2))

(19) = dimH (F2)=1[0](l).r +1(0,∞)(l).n,

(20) λ(F ) = λ(F2)= l,

(21) dimind(F ) = 0. This completes the proof. 

The assertion of Theorem 3.4 and its proof methodology have two immediate consequences: First, in terms of having the cardinality of beth-two, the theorem’s assertion and an application of the Cantor-Schroder-Bernstein theorem [13] put the set of virtual fractals of Rn the set of virtual fractals of Rn in the same category of mathematical sets such as the sigma-algebra of Lebesgue measurable sets in Rn, the power set of Rn, the set of functions from Rn to Rn, and, the Stone-Cech compactification of Rn. Second, the theorem’s proof can be modified to show that the cardinality of the set of non-fractals in Rn is beth-two as well. To see this, let n ≥ 1, C be the standard middle third Cantor set, and In be the unit cube n n n in R . Define the family F(n) = {I ∪ PC,n|PC,n ⊆ (C + 1) }. Then, for any F ∈ F(n) we have dimind(F )= n = dimH (F ). Hence, by Mandelbrot’s definition 2.8,F is a non-fractal. Consequently, F(n) is a subset of the set of non-fractals in Rn. Accordingly, the assertion follows from F(n) having the cardinality of beth-two and applying the Cantor-Schroder-Bernstein theorem [13].

4. Discussion This work presented an existence theorem for fractals of a given Hausdorff di- mension and a Lebesgue measure by considering finite Cartesian products of the countable unions of Uniform Cantor sets with plausible Lebesgue measure. In addi- tion, it generalized the former existence theorem in terms of the Lebesgue measure and cardinal number. This work’s contributions to the fractal geometry literature covers two perspec- tives: First, it highlights the advantage of the Cantor sets to other well-known classical fractals in showing existence of fractals with any Hausdorff dimension and A GENERALIZATION OF THE HAUSDORFF DIMENSION THEOREM FOR FRACTALS 9

Lebesgue measure. Other prominent fractals lack this feature given not being de- fined in the one dimensional Euclidean space R and having Hausdorff dimension larger than 1. Examples include the Sierpinski triangle, Takagi , , Triflake, Koch curve, and . Second, the existence theorem is equipped with constructive proof (versus pure existence proof) presenting real frac- tals for given Hausdorff dimension and the Lebesgue measure [14]. This key feature helps us to explore other properties of the constructed fractals yielding to more comprehensive information on them. There are some limitations in this work that create four new lines of research for the interested reader. First, we considered only Mandelbrot’s strict mathematical definition to present the existence result. However, there are other agreed-upon key descriptive features in the definition of fractal that need to be considered. Ex- amples of these characteristics are self-similarity type(exact, quasi, statistical), fine structure, irregularity(local, global), and the recursive definition[9]. Second, while we considered only Hausdorff dimension as the index of in the Mandelbrot’s definition, the existence case for the other indices of fractal dimen- sion remains to be investigated. For instance, we can consider the Renyi dimension (with special cases, such as the Minkowski dimension [9], Information dimension [15], [16]), the Higuchi dimension [17], the Lyapunov dimen- sion [18], [19], the [20] and the generalization of the Hausdorff dimension[21]. Third, a more rigorous and comprehensive method is to investigate the existence problem of fractals for the generalized fractal space equipped with a fractal structure and the generalized fractal dimension [22]. Finally, the existence result in this work is limited to deterministic fractals constructed by their associated deterministic recursive processes. However, its validity for the more general random fractals remains an open question. We summarize the above points as the following set of open problems: Open Problems. Given the n-dimensional Euclidean space Rn(n ≥ 1).

(1) Does the precise cardinality of the set of all distinctive fractals vary by the applied fractal dimension ?

(2) Does the precise cardinality of the set of all distinctive fractals depend on the fractal structure ?

(3) Does the precise cardinality of the set of all distinctive fractals depend on the deterministic or random nature of the fractal?

5. Conclusion There has been a growing interest in fractal dimension and its calculations from different methods since the early 1900s without retrospective exploration of the existence of fractals for a given dimension. This work addressed the problem in part by presenting a constructive existence result from deterministic viewpoint, paving the way for exploring a more generalized random perspective. References

[1] Mandelbrot, B. The Fractal Geometry of Nature: Lecture notes in mathematics 1358; W. H. Freeman: San Francisco, USA, 1982. 10 A GENERALIZATION OF THE HAUSDORFF DIMENSION THEOREM FOR FRACTALS

[2] Dowek, G. Chapter 8: Constructive Proofs and Algorithms. In Computation, Proof, Machine: Mathematics Enters a New Age, Guillot,P., Roman, M., (Tls.): Cambridge University Press: Cambridge, UK, 2015. [3] Klaus, M.; Schuster, P.; Schwichtenberg, H.,(Eds.). Proof and Computation: Digitalization in Mathematics, Computer Science, and Philosophy ; World Scientific: New Jersey, USA, 2018; pp. 1-46. [4] Soltanifar, M. On A Sequence of Cantor Fractals. Rose-Hulman Undergraduate Mathematics Journal 2006, 7(1), Article 9. [5] Squillace, J. Estimating the Fractal Dimension of Sets Determined by Nonergodic Parameters. Discrete and Continuous Dynamical Systems 2017, 37(11): 5843-5859. [6] Anitas, E.M. Structural Investigations of Fractals Using Small-angle Scattering. Journal of Physics: Conference Series 2015, 574(012093): 1-4. [7] Anitas, E.M. Small-angle Scattering from Fat Fractals. The European Physical Journal B 2014, 87(139): 1-7 [8] Soltanifar, M. A Different Description of A Family of Middle-α Cantor Sets. American Journal of Undergraduate Research 2006, 5(2), 9-12. [9] Falconer, K. Fractal Geometry: Mathematical Foundations and Applications, 3rd ed. ; John Wiley & Sons: Chichester, UK, 2014: pp. 44, 45, 48, 49, 72, 112. [10] Edgar, G. Measure, , and Fractal Geometry, 2ed edition. ; Springer: New York, USA, 2008; pp.85-87, 104,106,109. [11] Smullyan, R. M. and Fitting, M. and the Continuum Problem; Oxford University Press: Oxford, UK, 1996; p.23. [12] Moore, G. H. Early history of the generalized continuum hypothesis: 1878–1938. Bulletin of Symbolic Logic 2011, 17 (4), 489–532. [13] Bajnok, B. An Invitation to Abstract Mathematics (2ed); Springer: Cham, Switzerland, 2020; p.325 [14] Bridges, D; Palmgren, E. Constructive Mathematics; in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy: Metaphysics Research Lab, Stanford University; San Francisco, USA, 2018: retrieved 2020-06-17 [15] R´enyi, A. On the dimension and entropy of distributions. Acta Mathematica Academiae Scientiarum Hungaricae 1959, 10(1–2): 193–21. [16] Peter, G. Generalized Dimensions of Strange . Physics Letters A1983, 97(6): 227–230. [17] Higuchi, T. Approach to an irregular time-series on the basis of the fractal theory. Physica D 1988, 31(2): 277–283. [18] Frederickson, F.; Kaplan, J.; Yorke, E.; Yorke, J. The Liapunov dimension of strange attrac- tors . Journal of Differential Equations1983, 49(2): 185–207. [19] Tricot, Jr., C. Two definitions of fractional dimension. Mathematical Proceedings of the Cam- bridge Philosophical Society 1982, 91(1): 57–74. [20] Robinson, J.C. Dimensions, Embeddings, and Attractors: Cambridge University Press: Cam- bridge, UK, 2010; p.5. [21] Fern´andez-Mart´ınez, M.; S´anchez-Granero, M.A. Fractal dimension for fractal structures: a Hausdorff approach revisited.Journal of and Applications 2014, 409 (1), 321-330. [22] Fern´andez-Mart´ınez, M.; S´anchez-Granero, M.A. Fractal dimension for fractal structures. Topology and its Applications 2014, 163, 93-111.