Fractal Dimensions And Arithmetic Operations Of Some Fractal Sets

This thesis is devoted to studying some topics in Fractal Geometry and Measure Theory.It contributes to calculating the fractal dimension of some fractal sets with graph-directed construction and the arithmetic operations on such sets.Besides,we give some notes on two packing measures constructed by method ? and method ?.In the first object,we give a uniform method to calculating the Hausdorff dimension of the univoque sets u of a class of self-similar sets with complete overlaps.Fix an integer m? 3 and fix a ? ?(0,1).Let A be the collection of all self-similar sets K generated by the IFSs {fi(x)=?x+bi}i=1n,where n?3 and bi ? R for every 1?i?n,satisfying the following conditions:(?)0=b1<b2<…<bn=1-?;(?)fi([0,1])? fj([0,1])=? for any 1?i<j?n with j-i?2;(?)There exist i,j ? {1,…,n-1} such that fi([0,1])? fi+1([0,1])=? and fi([0,1])?fj+1([0,1])??;(?)If fi([0,1])?fi+1([0,1])??,then |fi([0,1])?fi+1([0,1])|=?j with j ?{2,3,…,m},where |·| stands for the length of an interval.For K?A,for every x?K,there exists at least one sequence(ik)k=1??{1,...,n?N such thatThus,?:?1,…,n}N?K is surjective and continuous.We call such a sequence a coding of x.A point x ? K is called a univoque point if its coding is unique.Denote by u the set of all univoque points in K.We define a subset K*of K with a graph-directed construction such that K*differs from u by at most a countable set.In other words,dimH K*=dimHu.Then,we prove that K*is a configuration set of finite patterns,leading to an effective method of calculating dimH K*.Secondly,we specify the sufficient conditions for which f(u1,u2)contains some interior in R,where f:U?R is a continuous function defined on an open set U C R2 and u1,u2 are two univoque sets corresponding to the self-similar sets K1,K2 in the following class:Fix ? ?(0,1)and let A be the collection of all selfsimilar sets K generated by the IFSs {fi(x)=?x+ai}i=1n,where n?3 and ai?R for every 1?i?n,satisfying the following conditions:(?)a1<a2<…<an with f1(a)=a:=a1/1-?,fn(b)=b:=an/1-?,and fi(a)<fi+1(a)for every i=1,2,…,n-1;(?)fi([a,b])? fj([a,b])=? for any 1?i<j?n with j-i?2;(?)There exist i,j ? {1,…,n-1} such thatfi([a,b])? fi+1([a,b])=? and fi([a,b])?fj+1([a,b])??;(?)If fi([a,b])? fi+1([a,b])??,then |fi([a,b])?fi+1([a,b])|=?2(b-a),where|·| stands for the length of an interval;(?)?=fs0+1(a)-fs0(b)and ?=ft0(a)-ft0-1(b),where s0=min{1?i?n-1:fi([a,b])?fi+1([a,b])=?},t0=max{2?i?n:fi([a,b])?fi-1([a,b])=?}and s0?t0-1.We can similarly apply the above study on other graph-directed sets.Finally,let Ps and ?s be the two s-dimensional packing measures constructed by method ? and method ?,respectively,defined as follows:Let 0 ?s<?.For F?Rn and 0<?<? put where {Bi} is a collection of disjoint balls of radii at most ? with centers in F.We call such collection {Bi} a ?-packing of the set F.Then,is a measure on Rn known as the s-dimensional packing measure constructed by method ?.For each 0<? ?+?,let?s is a measure on Rn known as the s-dimensional packing measure constructed by method ?.We call such collection {Ei} a ?-covering of the set E.The corresponding packing dimensions are defined as follows:dimp E=inf{s:Ps(E)=0}=sup{s:Ps(E)=+?},dim?E=inf{s:?s(E)=0}=sup{s:?s(E)=+?}.We get ?s(E)=Ps(E)and dimp(E)=dim?(E),for any subset E of Rn.