arxiv: v1 [math.ca] 31 Jul 2018

Transcription

1 LOWE ASSOUAD TYPE DIMENSIONS OF UNIFOMLY PEFECT SETS IN DOUBLING METIC SPACE HAIPENG CHEN, MIN WU, AND YUANYANG CHANG arxv:80769v [mathca] 3 Jul 08 Abstract In ths paper, we are concerned wth the relatonshps among the lower Assouad type dmensons For unformly perfect sets n a doublng metrc space, we obtan a varatonal result between two dfferent but closely related lower Assouad spectra As an applcaton, we gve an equvalent but more accessble defnton of quas-lower Assouad dmenson Keywords Quas-lower Assouad dmenson, Lower Assouad spectrum, Lower Assouad dmenson Introducton The lower Assouad dmenson, ntroduced by Larman [3, ], s a tool to descrbe the local scalng propertes of a set Let (X,d) be a metrc space, for any non-empty set E X, denote by N r (E) the smallest number of open balls of radus r needed to cover E Let B(x,) be the open ball centered at x wth radus The lower Assouad dmenson s defned by { dm L E = sup s 0 there exst constants ρ,c > 0, such that for any 0 < r < < ρ ( ) s} and any x E,N r (B(x,) E) c r The lower Assouad dmenson provdes a rgorous gauge on how effcently a set can be covered n those areas whch are easest to cover Precsely, t tells the non-trval mnmal exponental growth rate of N r (B(x,) E) for two arbtrary scales 0 < r < However, t ndcates no nformaton about whch scales can wtness ths rate To see how the gauge depends on the scales, Fraser and Yu [7] ntroduced the lower Assouad spectrum, whch s a functon of (0,) defned by { dm LE = sup s 0 there exst constants ρ,c > 0, such that for any 0 < < ρ ( ) s} and any x E,N (B(x,) E) c Thus, for each fxed (0,), we get a restrcted verson of the lower Assouad dmenson by lettng the scales satsfy the relatonshp r = Then one can vary and obtan a spectrum of dmensons whch gves fner scalng nformaton on the local structure of a set It turns out that the lower Assouad spectrum taes ts values between the lower Assouad dmenson and the lower box-countng dmenson One can refer to [5, 7, 8] for more detals on propertes of lower Assouad dmenson and lower Assouad spectrum Date: August, Mathematcs Subject Classfcaton 8A80

2 It s also natural to consder another restrcted verson of lower Assouad dmenson, whch was ntroduced by Chen, Du and We [] For any fxed (0,), they defned { dm LE = sup s 0 there exst constants ρ,c > 0, such that for any 0 < r < < ρ ( ) s} and any x E,N r (B(x,) E) c r by leavng an exponental gap between r and Note that dm LE s monotoncally decreasng as tends to As a result, they defned the quas-lower Assouad dmenson dm ql E = lm dm LE to get a quas-lpschtz nvarant It should be noted that the lower Assouad spectrum dm LE s not necessarly monotonc (see [7, Secton 8]), thus dm L E and dm LE are not necessarly equal We call the above four dmensons the lower Assouad type dmensons In ths paper, we are nterested n the relatonshps among the lower Assouad type dmensons We denote by dm B E the lower box-countng dmenson and refer the readers to [, 7] for the defnton For totally bounded set E X and any (0,), combnng the results of Fraser [5], Fraser and Yu [7] and Chen et al [], we have dm L E dm ql E dm L E dm LE dm B E Moreover, the lower Assouad type dmensons can gve an nsght nto the fractal sets havng a certan degree of homogenety, le self-smlar sets, self-affne sets, etc More dscusson of lower Assouad type dmensons of fractal sets can be found n [, 5, 8, 9, 0] Owng to the local nature of the defntons, the lower Assouad type dmensons have some strange propertes For nstance, the sets contanng solated ponts have lower Assouad type dmensons zero, and they may tae value zero for an open set n (see [5, Exampe 5]) However, Käenmä et al []provedthatthelowerassouaddmensonsstrctpostvefandonlyfthesetsunformlyperfect On the other hand, Luuanen [5] showed that the lower Assouad type dmensons of a metrc space s fnte f t s doublng To avod some strange sets whose lower Assouad type dmensons are 0 or, we are manly concerned wth the unformly perfect sets n a doublng metrc space Our frst result s stated as follows Theorem Let X be a doublng metrc space and E X be a unformly perfect set Then for any (0,), we have dm L E = nf 0< dm L E From Theorem, we see that all the nformaton of dm LE are covered by the lower Assouad spectrum, hence we can study dm LE by the lower Assouad spectrum Ths result can be seen as a dual of [6, Theorem ] It follows from [7, Theorem 30] that the functon dm LE s contnuous n (0,) and Lpschtz contnuous on any subnterval [a,b] (0,) Comparatvely, t s complcated to get the contnuty of dm LE from ts defnton drectly We can apply Theorem together wth [7, Theorem 30] to get the followng result Theorem Let X be a doublng metrc space and E X be a unformly perfect set Then dm L E s contnuous n (0,) Besdes, t follows mmedately from Theorem that dm ql E = lm nf 0< dm L E

3 Wth further dscussons on lower Assouad spectrum n Secton 3, we gve an equvalent defnton of the quas-lower Assouad dmenson by vrtue of the lower Assouad spectrum, whch s more convenent for computaton Examples can be found n Secton 6 Theorem 3 Let X be a doublng metrc space and E X be a unformly perfect set Then dm ql E = lm dm LE In comparson, we do not now what the lower Assouad spectrum approaches to as tends to 0 Then t s natural to as whether the lower Assouad dmenson s strctly smaller than the quas-lower Assouad dmenson or the lower Assouad spectrum We shall gve some examples of Cantor cut-out sets n Secton 6 to show that nether lower Assouad spectrum nor quas-lower Assouad dmenson can approach the lower Assouad dmenson Ths paper s organzed as follows In Secton, we dscuss the basc propertes of the numbers of ball covers and dscrete subsets of a set In Secton 3, we study some further propertes of lower Assouad spectrum Secton s devoted to the proof of Theorem In Secton 5, we prove Theorem and Theorem 3 In Secton 6, we dscuss the lower Assouad type dmensons of Cantor cut-out sets Ball covers and Dscrete subsets In ths secton, for a fxed r > 0, we dscuss the relatonshp between r-ball covers and r-dscrete subsets for a set E We frst gve some notatons A subset F E s sad to be a r-dscrete subset f for any x,y F,x y, we have d(x,y) r F s called a maxmal r-dscrete subset f F s a r-dscrete subset and for any x E, there exst x F such that d(x,x ) < r We denote by M r (E) the largest number of ponts of r-dscrete subsets of E, that s, M r (E) = sup{#f F s a r-dscrete subset of E} ecall that N r (E) denotes the smallest number of open balls of radus r needed to cover the set E, t s worth notng that both M r (E) and N r (E) could be Snce (X,d) s a doublng metrc space, then for any bounded set E X and r > 0, both M r (E) and N r (E) are fnte Clearly, for any set E X and any r > 0, () M r (E) N r (E) M r (E) The rght hand sde of () s obvous, snce let {x n } n be any maxmal r-dscrete subset of E, then {B(x n,r)} n s a r-ball cover of E As for the left hand sde of (), let {y n } n be a r-dscrete subset of E, then the result follows from a fact that each ball B(x,r) contans at most one pont of {y n } n From now on, we assume that E X s a subset of a doublng metrc space X For any ball B(x,) and 0 < r <, the frst lemma gves an nequalty between N r (B(x,) E) and N r (B(x,) E) Lemma For any x X and 0 < r <, we have N r (B(x,) E) N r (B(x,) E) sup N r (B(y,r) E) y X Proof The case r s trval As for the case r <, let {B(x,r)} N = be a r-ball cover of B(x,) E For any N, let {B(x,j,r)} n j= be a r-ball cover of B(x,r) E Then we obtan that N n B(x,) E B(x,j,r) =j= 3

4 Hence the result holds The second lemma concerns the relatonshp between M r (B(x,) E) and M r (B(x,/) E) for any 0 < r r and 0 < r Lemma For any x E and 0 < r r,0 < r, we have M r (B(x,) E) M r (B(x, ) E) nf M r (B(y, r y E ) E) Proof It follow from () that for any fxed 0 < r <, M r (B(x,) E) s unformly bounded for any x X Hence there exsts a maxmal r -dscrete subset {x,x,,x n } of B(x, ) E such that n = M r (B(x, ) E) For any n, denote by {y (),y(),,y() m } a maxmal r -dscrete subset of B(x, r ) E Then {y() j } j m, n s a r -dscrete subset of B(x,) E It follows from the defnton of M r (B(x,) E) that n M r (B(x,) E) m n nf M r (B(y, r y E ) E) = M r (B(x, ) E) nf y E M r (B(y, r ) E) For a fxed (0,) and any > 0 wth <, the thrd lemma deals wth the relatonshp between M (B(x, ) E) and M ( ) (B(x, ) E) Lemma 3 For any (0,), there exst a constant C() > such that for any > 0 wth <, we have M (B(x, ) E) C() M (B(x, ( ) ) E) Proof It follows from () that for any x E and any > 0 wth <, we have M (B(x, ) E) N (B(x, ) E) For N (B(x, ) E), smlar to the proof of Lemma, we can verfy that () N ( ) (B(x, ) E) N (B(x, ) E) sup N y X ( ) (B(y, ) E) Snce X s doublng, there exsts a constant C () > such that (3) sup N y X ( ) (B(y, ) E) C (), For N (B(x, ( ) ) E), smlar to () and (3), we obtan () N ( ) (B(x, ) E) N ( ) (B(x, and there exsts a constant C > such that ) E) sup N y X ( ) (B(y,( ) ) E), (5) sup N (B(y,( y X ( ) ) ) E) C Hence the result holds by combnng () (5)

5 3 A property of lower Assouad spectrum ItwasshownbyFraserandYu [7]thatthe lowerassouadspectrumscontnuousbutnotnecessarly monotonc n (0,) However, the followng result ndcates that the lower Assouad spectrum s monotonc n some wea form We always assume that X s a doublng metrc space, and E X s unformly perfect Proposton 3 Let (X,d) be a doublng metrc space and E X be a unformly perfect set Then for any 0 < < <, we have ( ) dm L E ( ) dm L E + dm L E Proof For any fxed 0 < < < and for any ε > 0, t follows from the defnton of dm L E that there exst {x } = E and { } = satsfyng 0 as, such that for any, we have N (B(x, ) E) dm L E+ε Then t follows from () and Lemma that for suffcently large, (3) N (B(x, ) E) M M (B(x, ) E) (B(x, ) E) nf By Lemma 3, there exst a constant C 0 (, ) > 0 such that (3) and (33) Snce nf M y E M M y E (B(y, ) E) C 0(, ) nf M y E (B(x, ) E) M = ( C 0 (, ) nf y E M (B(x, ) E) (B(x, ) E) (B(y, ) E) (B(y, ) E) C 0 (, ) M ( (B(x, ) ) E) ) ( ) ( = ), then t follows from (), (3), (3), (33), and the defnton of lower Assouad spectrum that there exsts a constant C(, ) > 0 such that for any suffcently large, we have It mples that logc(, ) log + )(dm C(, ) ( L E ε) ( L E ε) ( ( ) ( dm L )+ ε )(dm Hence the result holds by tang and then lettng ε 0 )(dm L +ε) ( ) ( ) ( ) ( ) dm L E ε dm L +ε 5

6 Corollary 3 Let E satsfy the assumptons of Proposton 3 For any 0 < < < < n <, we have ( ) n dm L E n dm n L E + ( ) + dm + L E Proof Ths result drectly comes from Proposton 3 by nducton Corollary 3 Let E satsfy the assumptons of Proposton 3 For any n and any 0 < <, we have = dm LE dm n L E Proof Ths result follows from Corollary 3 by tang = n + n for any n emar As Corollary 3 shows, there exst an ncreasng subsequence { n } n= wth n as n such that {dm n L E} n= s monotoncally decreasng as n We now gve the proof of Theorem Proof of Theorem Proof of Theorem It follows mmedately from the defntons of dm LE that for any 0 < <, Hence we only need to prove dm L E nf 0< dm L E () nf 0< dm L E dm L E If () does not hold, then there exst (0,) such that () nf 0< dm L E > dm L E, hence there exst suffcent small ε 0 > 0 such that nf 0< dm L E > dm L E +3ε 0 Fx and denote s = dm LE > 0 For any 0 < ε < ε 0, by defnton, there exst {(r, )} = wth 0 < r / < <, 0 as and {x } = E such that for any, ( ) s+ε (3) N r (B(x, ) E) It s worth notng that r as For each, let be the root of r = It follows from { } = [0,] that there exst a subsequence { j } j= and a pont 0 [0,] such that j 0 as j Wthout loss of generalty, we may assume that 0 as We may also assume that the sequence { } = s ether ncreasng or decreasng We dvde the proof nto three cases Case Assume { } = s monotoncally ncreasng and 0 > 0 For any, we see that < 0 for any 0 < < For any small δ > 0, we have 0 < 0 < δ for arbtrary large Snce for any, N 0 (B(x, ) E) N 6 r (B(x, ) E),

7 then t follows from the defnton of lower Assouad spectrum and (3) that ( )(dm 0 0 L E ε) ( )(s+ε) Tang logarthm on both sdes, lettng and then lettng ε 0, we obtan whch contradcts wth () () sup N y X 0 dm 0 L E s, Case Assume { } = s monotoncally decreasng and 0 > 0 Wthout loss of generalty, we suppose that < 0 for any For any, we see that > 0 for any 0 < < For any small δ > 0, we have 0 < 0 < δ for arbtrary large Snce (X,d) s a doublng metrc space, then log (B(y, ) E) C C, where C s the doublng constant Smlar to the proof of Lemma, for any, we have (5) N 0 (B(x, ) E) N 0 (B(x, ) E) sup N y X 0 (B(x, ) E) By (3), (), (5) and the defnton of lower Assouad spectrum, there exsts a constant C > 0 such that ( )(dm 0 0 L E ε) C ( )(s+ε) ( )log 0 C Therefore, ) ( ( 0 (dm 0 L E ε) ) ( (s+ε)+ ) log C + log C 0 log Lettng and then lettng ε 0, we have dm 0 L E s It also contradcts wth () Case 3 Assume { } = s monotoncally decreasng and 0 = 0 Snce E s doublng, we may assume that the doublng constant logc > s+ε For any suffcently small 0 < ε < ε 0, by (), there exst ψ (0,) such that logψ log / Q and mn{dm ψ L E,dm LE} > s+3ε Ths mples that there exst constant ρ,c > 0 such that for any 0 < < ρ, ( ) s+3ε N (B(x,) E) c, ( N ψ (B(x,) E) c ψ ) s+3ε By the rratonalty of logψ log and applyng Chebyshev Theorem (see [, Theorem ]) n nhomogeneous Dophantne approxmaton, for any suffcent small η > 0 and for any, there exst m N,n Z related to such that logψ m n log η 7

8 Tang η > 0 satsfyng max{e η, e η } < ε logc, we have (6) ψ m n ε (logc) We now gve two Clams for the rest of the proof We wll repeatedly use () and the doublng property of E Clam Fx 0 < ε < ε 0 Let, m,n be as stated above If m,n, then for any > 0 wth max{ ψ, } < and any x E, we have ( ) s+ε N (B(x,) E) ψ m n Proof of Clam By (), we have ψ m n (7) N ψ m n (B(x,) E) M ψ m n (B(x,) E) It follows from Lemma that for any x E and suffcently small > 0, we have (8) M (B(x,) E) nf M ψ m n y E (B(y, ) E) nf M y E ψ m (B(y, n ) E) By combnng (7), (8) and repeatedly usng Lemma, we obtan (9) N (B(x,) E) nf M ψ m n /(B(y,) E) nf M y E y E (B(y, ) E) nf y n E M (B(y, n n ) E) nf y n+ E M nf M y m+n E ψ m (B(y m+n, ψ m n ) E) n ψ n (B(y, n ) E) Besdes, snce E s doublng, then by Lemma, for any x E and suffcently small > 0, we have sup N (B(y, y X ( ) E) N ) (B(x, ) E) N (B(x, ( ) ) E) Hence there exst a constant C > 0 such that for any x E and > 0, (0) N (B(x, ) E) C N ( ) (B(x, ) E) By the assumpton, for any x E and suffcently small > 0, we have M (B(x, ) E) N (B(x, ) E) ( by () ) C N ( ) (B(x, ) E) ( by (0) ) ) s+3ε c C ( ( ) ( by defnton ) ) s+3ε ( ) ε ( ) s+ε c C ( ( ) ( ) s+ε, ( snce s arbtrary small ) 8

9 that s, () M (B(x, ) E) ( ) s+ε Smlarly, for any n and m, for any x E and suffcently small > 0, we have () M M (B(x, m ψ n ) E) m ψ n (B(x, m ψ n ) E) m ψ n ( m ψ n m ψ n ( m ψ n m ψ n ) s+ε, ) s+ε Then (9), () together wth () mply N ψ m n (B(x,) E) ( The proof of Clam s fnshed ) s+ε ( ) s+ε ( m ψ n m ψ n ) s+ε ( ψ m n ) s+ε Clam Fx 0 < ε < ε 0 Let mn{ψ 3,( log C ε ( ψ ψ ) + ) (logc) ε logc } and m,n be as stated above If m, n, then for any > 0 wth max{ ψ, } < and any x E, we have ) s+ε N ψ m n ψ m n (B(x,) E) ( Proof of Clam By (6), there exst l 0 < m such that (3) Hence and for any, ψ ψ l0 n ψ ψ l 0 n ψ < ψ l 0 + n ψ l 0 + n ψ ( ψ ) ψ < 6 By the assumpton of and (6), we obtan ( ) ε () ψ m n ε ( It follows from () and Lemma that ( ) ) ( ε log logc C ψ ) ψ N (B(x,) E) M ψ m n ψ m (B(x,) E) ( by () ) n (5) M (B(x, ) E) ( by Lemma ) ψ l 0 n nf y E M 9 ψ m n (B(y, ψ l 0 n ) E)

10 For the lower bound of M (6) M (B(x, ψ l 0 n ) E), by () and the proof of Lemma, we have (B(x, ψ ) E) N (B(x, ) E) ( by () ) ψ We now estmate sup y X N we obtan sup N y X Now we arrve at (7) M N M (B(x, ) E) ( by the proof of Lemma ) ψ l 0 n sup N y X ψ (B(y, ψ l 0 n (B(x, ψ (B(y, ψ l 0 n ) E) ) E) sup N y X (B(y, ψ l 0 n ) E) ( by () ) ψ (B(y, ψ l 0 n ) E) Because E s doublng and ψ ψ ψ l0 n ψ ψ <, ψ l 0 n ) E) C log ( ψ l 0 n ψ ) C ( ψ l 0 n ψ (B(x, ) E) C ( ψ l 0 n Then t suffces to estmate the lower bound of M ψ )log C M ) ψ log C (B(x, ψ l 0 n ) E) (B(x, ψ ) E) Snce E s doublng and N( ) (B(x, ψ ) E) N (B(x, ψ there exst a constant C > 0 such that for any x E and > 0, ) E) sup y X N( (B(y, ψ ) E), ) ψ (8) C N( (B(x, ) ψ ) E) N Combnng (7) and (8), we have (9) M (B(x, ψ l 0 n ) E) (C ( ψ l 0 n ψ )log C ) M (C ( ψ l 0 n ψ )log C ) N (B(x, ψ ) E) (B(x, ) E) ( by (7) ) ψ (B(x, ) E) ( by () ) ψ (C ( ψ l 0 n ψ )log C ) C N( (B(x, ) E) ( by (8) ) ) ψ Now we estmate the lower bound of N( (B(x, ) ψ ) E) Snce dmψ LE > s+3ε, then by Corollary 3, dm ψ L E dmψ L E > s+3ε 0

11 Hence t follows from the defnton of dm ψ L E and (9) that for suffcently small > 0 (0) M (B(x, ψ l 0 n ) E) (C ( ψ l 0 n ψ )log C ) C N ( ) E) ( by (9) ) ) whch mples that () M ψ (B(x, ( ) s+3ε c (C ( ψ l 0 n ψ )log C ) C ( by defnton of dm ψ ( ) L E ) ψ ( c (C ( ψ l 0 n ψ )log C ) C ( ( ( ψ ψ l 0 n ( ) ψ ) s+3ε ( )ε ) s+ 5ε ( ψ ψ ) s+ 5ε ( ( ψ l 0 n ψ )log C ) ( snce s suffcently small ) ) s+ 5ε ψ l 0 n ) s+ 5ε (B(x, ψ l 0 n ) E) ( ( ψ l 0 n ψ )log C ) ( by (3) ) ( ( ψ ψ )log C ) ( by (3) ), ( ψ l 0n ) s+ 5ε ( ( ψ ψ )log C ) On the other hand, to estmate the lower bound of nf y E M ψ m n (B(y, t suffces to consder nf y E M the proof of (), we have () M (B(y, ψ l 0 + n ψ l 0 + n (B(y, ψ l 0 + n ψ l 0 + n ψ l 0 n ) E), le (9), ) E) for each m l 0 Smlar to ( ) E) )s+ 5ε ψ l 0 + n ψ l 0 + n By combnng (5), (), () and repeatedly usng Lemma, we have N ψ m n (B(x,) E) ( ( ψ l 0 n ψ l 0 n ( ( ψ m n ( ψ m n The proof of Clam s fnshed ) s+ 5ε )ε ( ψ l 0 n ( ψ l 0 n ψ l 0 + n ) ε ψ l 0 n ψ l 0 + n ) s+ε ( )s+ 5ε ψ l 0 n ψ l 0 + n ) ε ( ( ψ ψ )log C ) ) s+ε ( by () ) ( ψ m n ( ψ m n ψ m n )s+ε ( ψ m n ψ m n ) ε ) s+ 5ε ( ( ψ ψ )log C ) ( ( ψ ψ )log C ) ( ψ m n ψ m n ) s+ε ) s+ε We now contnue the proof of Case 3

12 If then for suffcently large, we have (3) N ψ m n Snce E s doublng, we obtan () sup N y X By (3), (B(x, ) E) N ψ m n (5) N 0 < ψ m n (B(y, ) E) C ε (logc), (B(x, ) E) sup N y X log ψ m n + (B(x, ) E) ψ m n C s+ε ψ m n (B(y, ) E) Hence by Clam, (3), (), (5) f m, n, or by Clam (), (3), (), (5) f m,n, for suffcently small > 0, we obtan that ( ) ( ) ( ψ m n (s+ε) (s+ε)+ ) φ m n logc + logc log ( ) (s+ε)+ ε + logc, log thus, ( ) (s+ε) ( ) (s+ε)+ ε + logc log Lettng, we obtan that whch mples a contradcton Otherwse, f then for any, we have (6) N ψ m n s+ε < s+ 3 ε, 0 < ψ m n (B(x, ) E) N ε (logc), (B(x, ) E) Smlarly, by Clam and (6) f m,n, or by Clam and (6) f m,n, for suffcently small > 0, we have thus, whch mples that ψ m n s+ε s+ε ( ) ( ) ψ m n (s+ε) (s+ε), ( ) (s+ε) ( ) (s+ε)+, ( ) s+ε ε logc logc

13 Lettng, we obtan that whch mples a contradcton s+ε < s+ 5ε, 5 Proof of Theorem 5 Proofs of Theorem and Theorem 3 Proof For any 0 < <, t follows from the contnuty of dm LE that for any ε > 0 there exst δ 0 > 0 such that for any η [ δ 0, +δ 0 ], we have dm LE dm η L E < ε Case If nf 0< dm L E = dm LE and η >, then we obtan that { } nf 0< η dm L E = mn nf 0< dm L E, nf < η dm L E If nf 0< ηdm L E = nf 0< dm L E, the result drectly holds If nf 0< η dm L E = nf < η dm L E, by the contnuty of dm LE, for any η [ δ 0, +δ 0 ], we have dm LE ε dm η L E dm LE +ε Hence nf < η dm L E nf 0< dm L E < ε The result holds Case If nf 0< dm L E = dm LE and η <, then (5) Hence nf 0< dm L E nf 0< η dm L E dm η L E dm L E +ε nf 0< dm L E +ε nf 0< η dm L E nf 0< dm L E < ε Case 3 If nf 0< dm L E < dm LE, denote d = nf 0< dm L E dm L E For any 0 < ε < d/, by the contnuty of dm L E, there exsts δ 0 > 0 such that for any η [ δ 0, +δ 0 ], we have dm η L E dm LE < ε Therefore, hence Then the result also holds dm η L E dm LE d > nf 0< dm L E, nf 0< η dm L E = nf 0< dm L E 3

14 5 Proof of Theorem 3 We frst gve a lemma whch ndcates that the lmt of lower Assouad spectrum exst as 0 and Lemma 5 Let X be a doublng metrc space and E X be a unformly perfect set Then (5) (53) Proof For (5), t suffces to prove lm 0 dm L E = lm dm L E, 0 lm dm L E = lm dm L E lm 0 dm L E lm dm L E 0 Wrte t = lm 0 dm LE For any s < t, t follows from the defnton of lmt superor and the contnuty of dm LE that there exst an nterval [a,b] (0,) such that for any [a,b], we have (5) dm L E > s Besdes, t follows from Corollary 3 that for any n and any η (0,), we have (55) dm η L E dmηn L E Snce there exsts N > 0 such that for any n > N, we have a n < b n+, whch yelds that [a n,b n ] [a n+,b n+ ] As a result, there exst an nterval (0,x) (0,) such that (0,x) [a n,b n ] Hence by (5) and (55), for any (0,x), we have dm LE > s Therefore, For (53), t suffces to prove n= lm dm L E s 0 lm dm L E lm dm L E Wrte t = lm dm LE For any s > t, t follows from the defnton of lmt nferor and the contnuty of dm LE that there exst an nterval [a,b] (0,) such that for any [a,b], we have (56) dm LE < s Besdes, snce there exst N such that for any n > N, we have n+ a < n b, whch yelds that [ n a, n b] [ n+ a, n+ b] As a consequence, there exst an nterval (x,) (0,) such that [ n a, n b] (x,) By Corollary 3 and (56), for any (x,), we have dm LE < s Hence, n= lm dm L E < s We now gve the proof of Theorem 3

15 Proof of Theorem 3 It follows from Theorem that By (53), t suffces to prove dm ql E = lm dm L E = lm nf 0< dm L E (57) lm dm LE lm nf 0< dm L E lm dm LE Wrte t = lm dm LE For any s > t, t follows from the defnton of lmt superor that there exst 0 (0,) such that dm 0 L E < s Hence for any > 0, we have Therefore, Snce s s arbtrary, we get nf 0< dm L E s lm nf 0< dm L E s lm nf 0< dm L E lm dm LE For the other nequalty, fx and wrte l = nf 0< dm L E If there exst 0 (0,] such that l = dm 0 L E, then for any s > l, t follows from the contnuty of the lower Assouad spectrum at 0 that there exst an nterval [a,b] (0,) such that for any η [a,b], we have dm η L E < s If l = lm 0 dm LE, by the contnuty of the lower Assouad spectrum, for any s > l, there also exst an nterval [a,b] (0,) such that for any η [a,b], we have dm η L E < s Hence, n both cases, for any s > l, there exst an nterval [a,b] (0,) such that for any η [a,b], we have dm η L E < s Besdes, snce there exst N such that for any n > N, we have n+ a < n b, then we obtan that [ n a, n b] [ n+ a, n+ b] Hence, there exst an nterval (x,) (0,) such that [ n a, n b] (x,) n= By Corollary 3, for any (x,), we have dm LE < s Hence, Snce s > l s arbtrary, we obtan lm dm LE < s lm dm LE nf 0< dm L E Then the result holds by lettng on both sdes Hence by (53) and (57), we have dm ql E = lm nf 0< dm L E = lm dm L E 5

16 emar Although the lmt of lower Assouad spectrum as 0 exsts, we do not now what the lower Assouad spectrum approaches to as 0 6 Example : Cantor cut-out sets In ths secton, we dscuss the lower Assouad type dmensons of Cantor cut-out sets to llustrate that the lower Assouad spectrum s helpful n the computaton of quas-lower Assouad dmenson We also gve an example to show that nether lower Assouad spectrum nor quas-lower Assouad dmenson can approach the lower Assouad dmenson We frst recall the defnton of Cantor cut-out sets, see [3, 0] for more detals For any set E, we denote by E the length of E Let a = {a n } n= be a decreasng summable postve real sequence Let {A n } n= be a famly of dsjont open ntervals n wth A n = a n We call {a n } n= the gap sequence Wthout loss of generalty, we always assume that n= a n = The Cantor cut-out set, denoted by C a, s defned as follows Step We remove A from the nterval [0,], resultng n two closed ntervals I () and I () Step We remove A from I (), resultng n two closed ntervals I() and I (), resultng n two closed ntervals I() 3 and I () I () Step + After steps, we obtan the closed ntervals I (),I() j, we remove A +j from I () j, obtanng two closed ntervals I (+) j ; and remove A 3 from contaned n [0,] For any and I(+) j Contnung the above steps, we obtan a class of closed ntervals {I () j } j, and call them basc ntervals For any, we call {I () j } j the basc ntervals of level Let We call C a the Cantor cut-out sets Let Clearly, for any n and for any j n C a = = j= I () j s n = n a = n s n+ I (n) j s n Lemma 6 ([0]) For C a and for any ball B(x,r) centered at x C a wth radus s + r < s, there exst at least one basc nterval of level + contaned n B(x,r) and no more than four basc ntervals of level ntersectng B(x,r) We now dscuss the lower Assouad spectrum of Cantor cut-out sets For any and any 0 < <, we denote We gve some lemmas concernng l(, ) l(,) = max{n s +n s } s + Lemma 6 If nf > 0, then for any (0,), we have s lm log s +l(,) s logs = 6

17 s Lemma 63 Assume nf + s > 0 Then for any (0,), there exst an nteger N > 0 such that () f 0 < < E satsfes s + < s, we have (6) s +l(,)+n < s+l(,) ; () f 0 < < E satsfes s < s, we have (6) s +l(,)+ < s+l(,) N We now gve the lower Assouad spectrum formula and the quas-lower Assouad dmenson formula of Cantor cut-out sets s Proposton 6 If nf + s > 0, then for any (0,), In partcular, dm L C a = lm dm ql C a = lm lm l(,) log ( ) logs l(,) log ( ) logs We leave the proofs of Lemma 6, Lemma 63 and Proposton 6 n Appendx s + emar The assumpton nf > 0 s essental, snce t guaranteesthat C a s unformly perfect s See [0, ] for more detals Example 6 For any 0 < α < β < log log3, there exsts a gap sequence a = {a n} n= and a Cantor cut-out set C a, such that dm L C a = α < dm ql C a = β Proof The constructon s stated as follows, whch s motvated from [6] Let {l } = be an nteger + + l sequence satsfyng l =, l + > l +, lm l = 0, lm l = 0 and lm + +l l = 0 Let {d } = be a sequence such that for each, { β, {l,,l + }; d = α, {l +,,l + } ( ) Let g = d and g = d d for any For any and n <, let a n = g = Hence we obtan that { s β, {l,,l + }; = s α, {l +,,l + } It s a complcated process to compute the quas-lower Assouad dmenson by defnton n ths example, but t s smple to compute t by the lower Assouad spectrum We frst show that for any (0,), (63) lm β l(,) log = logs Indeed, for any (0,) and any ε > 0, there exst constants I,K > 0 such that for any I and K, we have (6) ++ + l < ε, 7 l + +l l < ε,

18 and (65) log s +l(,) s logs ( ) < ε For any max{k,l I }, denote l (),l () such that l ()+l () = and s = α l() β l(), where { l () = # } { s = α, l () = # s } s = β s For any fxed, for l(,), we also denote l (,), l (,) such that l(,) = l (,)+ l (,) and s +l(,) s = α l (,) β l (,), where l (,) = # { l(,) Snce for any max{k,l I }, β s +l(,) s l(, ) log logs logs α then for suffcently large, we obtan ( ) α (66) l(,) logs β } { s = α, l (,) = # l(,) s l(, ) logs, ( ), For any max{k,l I }, there exsts n() such that α β l(,) l n() l n()+ Then we obtan that l(,) l n()+ l n(), f not, then log s +l(,) s logs (l ) β n()+ l n() α l n()+ log s +l(,) s logs } s = β s β α l(,), ( ) α β l(,) β ( ) α, whch contradcts wth Lemma 6 Hence we obtan that l (,) n()+ By (6) and (66), for any max{k,l I }, ( β l(,)) log logs log s +l(,) s logs ( β (l(,) ( ε))+ α l(n,) ε) log logs Then by (66), we get log s +l(,) s (67) ( β l(,)) log ( α ) β l(,) ε logs logs logs ( α ) ( ) β β ε Therefore, (65) together wth (67) mply (63) By (63) and Proposton 6, we have dm ql C a = lm lm 8 l(,) log ( ) logs = β

19 By the lower Assouad dmenson formula n [0], we have Therefore, we obtan dm L C a = lm nf m mlog log s s +m = α dm L C a = α < dm ql C a = β Acnowledgement Ths wor was supported by NSFC (Grant No 7753) We would le to than Dr Jonathan Fraser for sendng the preprnt [6] and many helpful dscussons We also than Prof Shengyou Wen, Dr Chun We, Dr Smng Tu for ther frutful comments and dscussons Appendx Proof of Lemma 6 For any (0,), by the defnton of l(,), we have s +l(,)+ < s s +l(,) s + Snce nf > 0, there exst a constant c < such that s Then we obtan c s +l(,) < s s +l(,) c s+l(,) < s s Tang logarthm on both sdes and dvdng logs, we have s +l(,) s Then the result holds by lettng tend to nfnty ( ) logc log s +l(,) s < logs logs Proof of Lemma 63 We frst gve the proof of (6) By the defnton of l(,), we have < s < s +l(,) For the lower bound, for any, t follows from s + s <, c s nf + s l(,) that there exst an nteger N > 0 such that for any s + (c s ) = c s c s +l(,)+ s +l(,)+n We now gve the proof of (6) From the defnton of l(,), we obtan s s +l(,)+ s For the upper bound, t follows from c nf + s an nteger N > 0 such that for any > 0 and the defnton of > 0 and the defnton of l(,) that there exst s (c s ) = c s c s +l(,) s +l(,) N 9

20 Proof of Proposton 6 For any s < dm LC a, by the defnton of dm LC a, there exst constants ρ,c > 0 such that for any 0 < < ρ and x C a, we have N (B(x,) C a ) c ( )s Let K 0 = max{ s ρ}, then for any 0 < < ρ, there exst > K 0 such that By (6), we have s + < s s +l(,)+n < s+l(,) Hence t follows from Lemma 6 that there exst at most basc ntervals of level ntersectng B(x,), and for any B(y, ), t contans at least basc nterval of level +l(,)+n +, whch mples that N (B(x,) C a ) +l(,)+n+ ( ) N+ l(,), hence there exst a constant C > 0 such that for any, we obtan Hence Tang logarthm on both sdes, we have N (B(x,) C a ) C l(,) c s ( )s N (B(x,) C a ) C l(,) log c C +(( ) logs ) s l(,) log Snce s 0, then for any ε > 0, there exst K such that for any K, we have log c C ( )logs < ε Choose K = max{k 0,K }, then for any K, we get l(,) log ( ) logs s ε Snce ε s arbtrary, l(,) log lm ( ) logs s Conversely, for any l(,) log s < lm ( ) logs, then there exst K > 0 such that for any K, whch mples that l(,) log ( ) logs > s, l(,) s ( )s Choose ρ = sk+, then for any 0 < < ρ, there exst K + such that s < s By (6), we have s +l(,)+ < s+l(,) N 0

21 By Lemma 6, for any B(x,), t contans at least one basc nterval of level +, and for any B(y, ), t ntersects at most basc ntervals of level +l(,) N For suffcently large, by Lemma 6, we can show l(,) > N +, then N (B(x,) C a ) +l(,) N (+) N l(,) Thus there exst a constant C > 0 such that for any, we have N (B(x,) C a ) C l(,) Hence N (B(x,) C a ) C l(,) C s ( )s > C ( )s By the defnton of dm LC a, we have dm LC a s The proof s complete eferences [] H-P Chen, Y-L Du, C We, Quas-Lower Dmenson and Quas-Lpschtz Mappng Fractals, 07, [] H-P Chen, M Wu, C We, Lower dmenson of some fractal sets JMathAnalAppl 07, 55(), [3] K J Falconer, Technques n fractal geometry Chchester, John Wley & Sons, 997 [] K J Falconer, Fractal geometry: mathematcal foundatons and applcatons John Wley & Sons, 00 [5] J M Fraser, Assouad Type Dmensons and Homogenety of Fractals TransAmerMathSoc, 0, 366(), [6] J M Fraser, K E Hare, K G Hare, S Troschet, H Yu, The Assouad spectrum and the quas-assouad dmenson: a tale of two spectra arxv: [7] J M Fraser, H Yu, New dmenson spectra: fner nformaton on scalng and homogenety Adv Math 39 (08), [8] J M Fraser, H Yu, Assouad type spectra for some fractal famles To appear n Indana Unv Math, arxv:608857, 06 [9] I Garca, K E Hare, Propertes of Quas-Assouad dmenson Proc Cambrdge Phlos Soc, 07 [0] I Garca, K E Hare, F Mendvl, Assouad dmensons of complementary sets Proc oy Soc Ednburgh Sect A 8 (08), no 3, [] A Käenmä, J Lehrbäc, M Vuornen, Dmensons, Wheney covers, and tubular neghborhoods Indana Unv Math J, 6(6), 86889, 03 [] Ya A Khntchne, Contnued fractons Dover, New Yor, 997 [3] D G Larman, A new theory of dmenson ProcLondonMathSoc,967, 7(3), 78-9 [] D G Larman, On Hausdorff measure n fnte-dmensonal compact metrc spaces Proc London Math Soc 967, 7(3), [5] J Luuanen, Assouad dmenson: antfractal metrzaton, porous sets, and homogeneous measures JKoreanMathSoc 998, 35, 3-76 [6] F Lü, L-F X, Quas-Assouad dmenson of fractals J Fractal Geom, 3, 06, 87-5 [7] P Mattla, Geometry of sets and measures n Eucldean spaces : Fractals and rectfablty Cambrdge, Cambrdge Unversty Press, 995 E-mal address: hpchen0703@foxmalcom, wumn@scuteducn, changyy@scuteducn Department of Mathematcs, South Chna Unversty of Technology, Guangzhou, 5060, P Chna