arxiv: v1 [math.ca] 31 Jul 2018
|
|
- Janis Randall
- 5 years ago
- Views:
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
Appendix B. Criterion of Riemann-Stieltjes Integrability
Appendx B. Crteron of Remann-Steltes Integrablty Ths note s complementary to [R, Ch. 6] and [T, Sec. 3.5]. The man result of ths note s Theorem B.3, whch provdes the necessary and suffcent condtons for
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationLinear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationMaximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
More informationarxiv: v1 [math.co] 1 Mar 2014
Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest
More informationSTEINHAUS PROPERTY IN BANACH LATTICES
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT STEINHAUS PROPERTY IN BANACH LATTICES DAMIAN KUBIAK AND DAVID TIDWELL SPRING 2015 No. 2015-1 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookevlle, TN 38505 STEINHAUS
More informationREAL ANALYSIS I HOMEWORK 1
REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse 0.0.. If (x α ) α A s a collecton of numbers x α [0, + ] such that x α
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationSUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) M(B) := # ( B Z N)
SUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) S.BOUCKSOM Abstract. The goal of ths note s to present a remarably smple proof, due to Hen, of a result prevously obtaned by Gllet-Soulé,
More informationGenericity of Critical Types
Genercty of Crtcal Types Y-Chun Chen Alfredo D Tllo Eduardo Fangold Syang Xong September 2008 Abstract Ely and Pesk 2008 offers an nsghtful characterzaton of crtcal types: a type s crtcal f and only f
More informationTHE WEIGHTED WEAK TYPE INEQUALITY FOR THE STRONG MAXIMAL FUNCTION
THE WEIGHTED WEAK TYPE INEQUALITY FO THE STONG MAXIMAL FUNCTION THEMIS MITSIS Abstract. We prove the natural Fefferman-Sten weak type nequalty for the strong maxmal functon n the plane, under the assumpton
More informationGeneral viscosity iterative method for a sequence of quasi-nonexpansive mappings
Avalable onlne at www.tjnsa.com J. Nonlnear Sc. Appl. 9 (2016), 5672 5682 Research Artcle General vscosty teratve method for a sequence of quas-nonexpansve mappngs Cuje Zhang, Ynan Wang College of Scence,
More informationTHE ORNSTEIN-WEISS LEMMA FOR DISCRETE AMENABLE GROUPS.
THE ORNSTEIN-WEISS LEMMA FOR DISCRETE AMENABLE GROUPS FABRICE KRIEGER Abstract In ths note we prove a convergence theorem for nvarant subaddtve functons defned on the fnte subsets of a dscrete amenable
More informationMath 702 Midterm Exam Solutions
Math 702 Mdterm xam Solutons The terms measurable, measure, ntegrable, and almost everywhere (a.e.) n a ucldean space always refer to Lebesgue measure m. Problem. [6 pts] In each case, prove the statement
More informationA CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS
Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs
More informationON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES. 1. Introduction
ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES TAKASHI ITOH AND MASARU NAGISA Abstract We descrbe the Haagerup tensor product l h l and the extended Haagerup tensor product l eh l n terms of
More information10-801: Advanced Optimization and Randomized Methods Lecture 2: Convex functions (Jan 15, 2014)
0-80: Advanced Optmzaton and Randomzed Methods Lecture : Convex functons (Jan 5, 04) Lecturer: Suvrt Sra Addr: Carnege Mellon Unversty, Sprng 04 Scrbes: Avnava Dubey, Ahmed Hefny Dsclamer: These notes
More informationExercise Solutions to Real Analysis
xercse Solutons to Real Analyss Note: References refer to H. L. Royden, Real Analyss xersze 1. Gven any set A any ɛ > 0, there s an open set O such that A O m O m A + ɛ. Soluton 1. If m A =, then there
More information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
More informationarxiv: v1 [math.ca] 9 Apr 2019
HAUSDORFF DIMENSION OF THE LARGE VALUES OF WEYL SUMS arxv:1904.04457v1 [math.ca] 9 Apr 2019 CHANGHAO CHEN AND IGOR E. SHPARLINSKI Abstract. The authors have recently obtaned a lower bound of the Hausdorffdmenson
More informationBOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS
BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all
More informationSupplement: Proofs and Technical Details for The Solution Path of the Generalized Lasso
Supplement: Proofs and Techncal Detals for The Soluton Path of the Generalzed Lasso Ryan J. Tbshran Jonathan Taylor In ths document we gve supplementary detals to the paper The Soluton Path of the Generalzed
More informationn ). This is tight for all admissible values of t, k and n. k t + + n t
MAXIMIZING THE NUMBER OF NONNEGATIVE SUBSETS NOGA ALON, HAROUT AYDINIAN, AND HAO HUANG Abstract. Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what
More informationRandić Energy and Randić Estrada Index of a Graph
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 5, No., 202, 88-96 ISSN 307-5543 www.ejpam.com SPECIAL ISSUE FOR THE INTERNATIONAL CONFERENCE ON APPLIED ANALYSIS AND ALGEBRA 29 JUNE -02JULY 20, ISTANBUL
More informationprinceton univ. F 17 cos 521: Advanced Algorithm Design Lecture 7: LP Duality Lecturer: Matt Weinberg
prnceton unv. F 17 cos 521: Advanced Algorthm Desgn Lecture 7: LP Dualty Lecturer: Matt Wenberg Scrbe: LP Dualty s an extremely useful tool for analyzng structural propertes of lnear programs. Whle there
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationRandomness and Computation
Randomness and Computaton or, Randomzed Algorthms Mary Cryan School of Informatcs Unversty of Ednburgh RC 208/9) Lecture 0 slde Balls n Bns m balls, n bns, and balls thrown unformly at random nto bns usually
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
More informationCase Study of Markov Chains Ray-Knight Compactification
Internatonal Journal of Contemporary Mathematcal Scences Vol. 9, 24, no. 6, 753-76 HIKAI Ltd, www.m-har.com http://dx.do.org/.2988/cms.24.46 Case Study of Marov Chans ay-knght Compactfcaton HaXa Du and
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationk(k 1)(k 2)(p 2) 6(p d.
BLOCK-TRANSITIVE 3-DESIGNS WITH AFFINE AUTOMORPHISM GROUP Greg Gamble Let X = (Z p d where p s an odd prme and d N, and let B X, B = k. Then t was shown by Praeger that the set B = {B g g AGL d (p} s the
More informationUsing T.O.M to Estimate Parameter of distributions that have not Single Exponential Family
IOSR Journal of Mathematcs IOSR-JM) ISSN: 2278-5728. Volume 3, Issue 3 Sep-Oct. 202), PP 44-48 www.osrjournals.org Usng T.O.M to Estmate Parameter of dstrbutons that have not Sngle Exponental Famly Jubran
More informationPerron Vectors of an Irreducible Nonnegative Interval Matrix
Perron Vectors of an Irreducble Nonnegatve Interval Matrx Jr Rohn August 4 2005 Abstract As s well known an rreducble nonnegatve matrx possesses a unquely determned Perron vector. As the man result of
More informationMAT 578 Functional Analysis
MAT 578 Functonal Analyss John Qugg Fall 2008 Locally convex spaces revsed September 6, 2008 Ths secton establshes the fundamental propertes of locally convex spaces. Acknowledgment: although I wrote these
More informationEXPANSIVE MAPPINGS. by W. R. Utz
Volume 3, 978 Pages 6 http://topology.auburn.edu/tp/ EXPANSIVE MAPPINGS by W. R. Utz Topology Proceedngs Web: http://topology.auburn.edu/tp/ Mal: Topology Proceedngs Department of Mathematcs & Statstcs
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More information20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
More informationVolume 18 Figure 1. Notation 1. Notation 2. Observation 1. Remark 1. Remark 2. Remark 3. Remark 4. Remark 5. Remark 6. Theorem A [2]. Theorem B [2].
Bulletn of Mathematcal Scences and Applcatons Submtted: 016-04-07 ISSN: 78-9634, Vol. 18, pp 1-10 Revsed: 016-09-08 do:10.1805/www.scpress.com/bmsa.18.1 Accepted: 016-10-13 017 ScPress Ltd., Swtzerland
More informationOn the Operation A in Analysis Situs. by Kazimierz Kuratowski
v1.3 10/17 On the Operaton A n Analyss Stus by Kazmerz Kuratowsk Author s note. Ths paper s the frst part slghtly modfed of my thess presented May 12, 1920 at the Unversty of Warsaw for the degree of Doctor
More informationEdge Isoperimetric Inequalities
November 7, 2005 Ross M. Rchardson Edge Isopermetrc Inequaltes 1 Four Questons Recall that n the last lecture we looked at the problem of sopermetrc nequaltes n the hypercube, Q n. Our noton of boundary
More informationCollege of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
More informationSPECTRAL PROPERTIES OF IMAGE MEASURES UNDER THE INFINITE CONFLICT INTERACTION
SPECTRAL PROPERTIES OF IMAGE MEASURES UNDER THE INFINITE CONFLICT INTERACTION SERGIO ALBEVERIO 1,2,3,4, VOLODYMYR KOSHMANENKO 5, MYKOLA PRATSIOVYTYI 6, GRYGORIY TORBIN 7 Abstract. We ntroduce the conflct
More informationPROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 7, July 1997, Pages 2119{2125 S (97) THE STRONG OPEN SET CONDITION
PROCDINGS OF TH AMRICAN MATHMATICAL SOCITY Volume 125, Number 7, July 1997, Pages 2119{2125 S 0002-9939(97)03816-1 TH STRONG OPN ST CONDITION IN TH RANDOM CAS NORBRT PATZSCHK (Communcated by Palle. T.
More informationThe lower and upper bounds on Perron root of nonnegative irreducible matrices
Journal of Computatonal Appled Mathematcs 217 (2008) 259 267 wwwelsevercom/locate/cam The lower upper bounds on Perron root of nonnegatve rreducble matrces Guang-Xn Huang a,, Feng Yn b,keguo a a College
More informationAli Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen
Journal of athematcs and Statstcs 7 (): 4448, 0 ISSN 5493644 00 Scence Publcatons odules n σ[] wth Chan Condtons on Small Submodules Al Omer Alattass Department of athematcs, Faculty of Scence, Hadramout
More informationSupplement to Clustering with Statistical Error Control
Supplement to Clusterng wth Statstcal Error Control Mchael Vogt Unversty of Bonn Matthas Schmd Unversty of Bonn In ths supplement, we provde the proofs that are omtted n the paper. In partcular, we derve
More informationSpectral Graph Theory and its Applications September 16, Lecture 5
Spectral Graph Theory and ts Applcatons September 16, 2004 Lecturer: Danel A. Spelman Lecture 5 5.1 Introducton In ths lecture, we wll prove the followng theorem: Theorem 5.1.1. Let G be a planar graph
More informationTAIL BOUNDS FOR SUMS OF GEOMETRIC AND EXPONENTIAL VARIABLES
TAIL BOUNDS FOR SUMS OF GEOMETRIC AND EXPONENTIAL VARIABLES SVANTE JANSON Abstract. We gve explct bounds for the tal probabltes for sums of ndependent geometrc or exponental varables, possbly wth dfferent
More informationAnti-van der Waerden numbers of 3-term arithmetic progressions.
Ant-van der Waerden numbers of 3-term arthmetc progressons. Zhanar Berkkyzy, Alex Schulte, and Mchael Young Aprl 24, 2016 Abstract The ant-van der Waerden number, denoted by aw([n], k), s the smallest
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationDefinition 1.1. A metric space (X, d) is an ultrametric space if and only if d
MATEMATIQKI VESNIK 68, 4 (2016), 233 240 December 2016 orgnaln nauqn rad research paper LOCALLY CONTRACTIVE MAPS ON PERFECT POLISH ULTRAMETRIC SPACES Francs George Abstract. In ths paper we present a result
More informationA combinatorial proof of multiple angle formulas involving Fibonacci and Lucas numbers
Notes on Number Theory and Dscrete Mathematcs ISSN 1310 5132 Vol. 20, 2014, No. 5, 35 39 A combnatoral proof of multple angle formulas nvolvng Fbonacc and Lucas numbers Fernando Córes 1 and Dego Marques
More informationWeek 2. This week, we covered operations on sets and cardinality.
Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationTypical Rényi dimensions of measures. The cases: q = 1andq =
J. Math. Anal. Appl. 331 007 145 1439 www.elsever.com/locate/jmaa Typcal Rény dmensons of measures. The cases: q = 1andq = L. Olsen Department of Mathematcs Unversty of St. Andrews St. Andrews Ffe KY16
More informationMath 261 Exercise sheet 2
Math 261 Exercse sheet 2 http://staff.aub.edu.lb/~nm116/teachng/2017/math261/ndex.html Verson: September 25, 2017 Answers are due for Monday 25 September, 11AM. The use of calculators s allowed. Exercse
More informationDOUBLE POINTS AND THE PROPER TRANSFORM IN SYMPLECTIC GEOMETRY
DOUBLE POINTS AND THE PROPER TRANSFORM IN SYMPLECTIC GEOMETRY JOHN D. MCCARTHY AND JON G. WOLFSON 0. Introducton In hs book, Partal Dfferental Relatons, Gromov ntroduced the symplectc analogue of the complex
More informationON SEPARATING SETS OF WORDS IV
ON SEPARATING SETS OF WORDS IV V. FLAŠKA, T. KEPKA AND J. KORTELAINEN Abstract. Further propertes of transtve closures of specal replacement relatons n free monods are studed. 1. Introducton Ths artcle
More informationOn the size of quotient of two subsets of positive integers.
arxv:1706.04101v1 [math.nt] 13 Jun 2017 On the sze of quotent of two subsets of postve ntegers. Yur Shtenkov Abstract We obtan non-trval lower bound for the set A/A, where A s a subset of the nterval [1,
More informationREGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction
REGULAR POSITIVE TERNARY QUADRATIC FORMS BYEONG-KWEON OH Abstract. A postve defnte quadratc form f s sad to be regular f t globally represents all ntegers that are represented by the genus of f. In 997
More informationOn a theorem of V. Bernik in the metrical theory of Diophantine approximation
Acta Arthmetca 117, no.1 (2005) 71-80 On a theorem of V. Bern n the metrcal theory of Dophantne approxmaton by V. Beresnevch (Mns) 1 1. Introducton. We begn by ntroducng some notaton: #S wll denote the
More informationHAUSDORFF DIMENSION OF THE SET APPROXIMATED BY IRRATIONAL ROTATIONS. 1. Introduction
HAUSDORFF DIMENSION OF THE SET APPROXIMATED BY IRRATIONAL ROTATIONS DONG HAN KIM, MICHA L RAMS, AND BAOWEI WANG Abstract Let θ be an rratonal number and ϕ : N R + be a monotone decreasng functon tendng
More informationEXPONENTIAL ERGODICITY FOR SINGLE-BIRTH PROCESSES
J. Appl. Prob. 4, 022 032 (2004) Prnted n Israel Appled Probablty Trust 2004 EXPONENTIAL ERGODICITY FOR SINGLE-BIRTH PROCESSES YONG-HUA MAO and YU-HUI ZHANG, Beng Normal Unversty Abstract An explct, computable,
More informationa b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More informationOn quasiperfect numbers
Notes on Number Theory and Dscrete Mathematcs Prnt ISSN 1310 5132, Onlne ISSN 2367 8275 Vol. 23, 2017, No. 3, 73 78 On quasperfect numbers V. Sva Rama Prasad 1 and C. Suntha 2 1 Nalla Malla Reddy Engneerng
More informationCase A. P k = Ni ( 2L i k 1 ) + (# big cells) 10d 2 P k.
THE CELLULAR METHOD In ths lecture, we ntroduce the cellular method as an approach to ncdence geometry theorems lke the Szemeréd-Trotter theorem. The method was ntroduced n the paper Combnatoral complexty
More informationLOWER BOUND OF RICCI FLOW S EXISTENCE TIME
LOWER BOUND OF RICCI FLOW S EXISTENCE TIME GUOYI XU Abstract. Let M n, g) be a compact n-dm n ) manfold wth Rc, and f n 3 we assume that M n, g) R has nonnegatve sotropc curvature. Some lower bound of
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationY. Guo. A. Liu, T. Liu, Q. Ma UDC
UDC 517. 9 OSCILLATION OF A CLASS OF NONLINEAR PARTIAL DIFFERENCE EQUATIONS WITH CONTINUOUS VARIABLES* ОСЦИЛЯЦIЯ КЛАСУ НЕЛIНIЙНИХ ЧАСТКОВО РIЗНИЦЕВИХ РIВНЯНЬ З НЕПЕРЕРВНИМИ ЗМIННИМИ Y. Guo Graduate School
More informationON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EQUATION
Advanced Mathematcal Models & Applcatons Vol.3, No.3, 2018, pp.215-222 ON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EUATION
More informationDirichlet s Theorem In Arithmetic Progressions
Drchlet s Theorem In Arthmetc Progressons Parsa Kavkan Hang Wang The Unversty of Adelade February 26, 205 Abstract The am of ths paper s to ntroduce and prove Drchlet s theorem n arthmetc progressons,
More informationStability of Switched Linear Systems on Cones: A Generating Function Approach
49th IEEE Conference on Decson and Control December 15-17, 2010 Hlton Atlanta Hotel, Atlanta, GA, USA Stablty of Swtched Lnear Systems on Cones: A Generatng Functon Approach Jngla Shen and Jangha Hu Abstract
More informationAnother converse of Jensen s inequality
Another converse of Jensen s nequalty Slavko Smc Abstract. We gve the best possble global bounds for a form of dscrete Jensen s nequalty. By some examples ts frutfulness s shown. 1. Introducton Throughout
More informationDeriving the X-Z Identity from Auxiliary Space Method
Dervng the X-Z Identty from Auxlary Space Method Long Chen Department of Mathematcs, Unversty of Calforna at Irvne, Irvne, CA 92697 chenlong@math.uc.edu 1 Iteratve Methods In ths paper we dscuss teratve
More informationGames of Threats. Elon Kohlberg Abraham Neyman. Working Paper
Games of Threats Elon Kohlberg Abraham Neyman Workng Paper 18-023 Games of Threats Elon Kohlberg Harvard Busness School Abraham Neyman The Hebrew Unversty of Jerusalem Workng Paper 18-023 Copyrght 2017
More informationAn n-dimensional version of Steinhaus chessboard theorem
Topology and ts Applcatons 155 2008 354 361 www.elsever.com/locate/topol An n-dmensonal verson of Stenhaus chessboard theorem Przemysław Tacz, Maran Turzańs College of Scence, Cardnal Stefan Wyszyńs, Unversty
More informationGoogle PageRank with Stochastic Matrix
Google PageRank wth Stochastc Matrx Md. Sharq, Puranjt Sanyal, Samk Mtra (M.Sc. Applcatons of Mathematcs) Dscrete Tme Markov Chan Let S be a countable set (usually S s a subset of Z or Z d or R or R d
More informationarxiv: v6 [math.nt] 23 Aug 2016
A NOTE ON ODD PERFECT NUMBERS JOSE ARNALDO B. DRIS AND FLORIAN LUCA arxv:03.437v6 [math.nt] 23 Aug 206 Abstract. In ths note, we show that f N s an odd perfect number and q α s some prme power exactly
More informationPerfect Competition and the Nash Bargaining Solution
Perfect Competton and the Nash Barganng Soluton Renhard John Department of Economcs Unversty of Bonn Adenauerallee 24-42 53113 Bonn, Germany emal: rohn@un-bonn.de May 2005 Abstract For a lnear exchange
More informationStanford University CS359G: Graph Partitioning and Expanders Handout 4 Luca Trevisan January 13, 2011
Stanford Unversty CS359G: Graph Parttonng and Expanders Handout 4 Luca Trevsan January 3, 0 Lecture 4 In whch we prove the dffcult drecton of Cheeger s nequalty. As n the past lectures, consder an undrected
More informationTHERE ARE INFINITELY MANY FIBONACCI COMPOSITES WITH PRIME SUBSCRIPTS
Research and Communcatons n Mathematcs and Mathematcal Scences Vol 10, Issue 2, 2018, Pages 123-140 ISSN 2319-6939 Publshed Onlne on November 19, 2018 2018 Jyot Academc Press http://jyotacademcpressorg
More informationAssortment Optimization under MNL
Assortment Optmzaton under MNL Haotan Song Aprl 30, 2017 1 Introducton The assortment optmzaton problem ams to fnd the revenue-maxmzng assortment of products to offer when the prces of products are fxed.
More informationRapid growth in finite simple groups
Rapd growth n fnte smple groups Martn W. Lebeck, Gl Schul, Aner Shalev March 1, 016 Abstract We show that small normal subsets A of fnte smple groups grow very rapdly namely, A A ɛ, where ɛ > 0 s arbtrarly
More informationComplete subgraphs in multipartite graphs
Complete subgraphs n multpartte graphs FLORIAN PFENDER Unverstät Rostock, Insttut für Mathematk D-18057 Rostock, Germany Floran.Pfender@un-rostock.de Abstract Turán s Theorem states that every graph G
More informationDeterminants Containing Powers of Generalized Fibonacci Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol 19 (2016), Artcle 1671 Determnants Contanng Powers of Generalzed Fbonacc Numbers Aram Tangboonduangjt and Thotsaporn Thanatpanonda Mahdol Unversty Internatonal
More informationOn C 0 multi-contractions having a regular dilation
SUDIA MAHEMAICA 170 (3) (2005) On C 0 mult-contractons havng a regular dlaton by Dan Popovc (mşoara) Abstract. Commutng mult-contractons of class C 0 and havng a regular sometrc dlaton are studed. We prove
More informationTHE FUNDAMENTAL THEOREM OF CALCULUS FOR MULTIDIMENSIONAL BANACH SPACE-VALUED HENSTOCK VECTOR INTEGRALS
Real Analyss Exchange Vol.,, pp. 469 480 Márca Federson, Insttuto de Matemátca e Estatístca, Unversdade de São Paulo, R. do Matão 1010, SP, Brazl, 05315-970. e-mal: marca@me.usp.br THE FUNDAMENTAL THEOREM
More informationTHE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS
Dscussones Mathematcae Graph Theory 27 (2007) 401 407 THE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS Guantao Chen Department of Mathematcs and Statstcs Georga State Unversty,
More informationFully simple singularities of plane and space curves
Proc. London Math. Soc. Page1of21 C 2008 London Mathematcal Socety do:10.1112/plms/pdn001 Fully smple sngulartes of plane and space curves M. Zhtomrsk Abstract In ths work we ntroduce the defnton of fully
More informationON THE VOLUME GROWTH OF KÄHLER MANIFOLDS WITH NONNEGATIVE BISECTIONAL CURVATURE. Gang Liu. Abstract
ON THE VOLUME GROWTH OF KÄHLER MANIFOLDS WITH NONNEGATIVE BISECTIONAL CURVATURE Gang Lu Abstract Let M be a complete Kähler manfold wth nonnegatve bsectonal curvature. Suppose the unversal cover does not
More informationThe Second Eigenvalue of Planar Graphs
Spectral Graph Theory Lecture 20 The Second Egenvalue of Planar Graphs Danel A. Spelman November 11, 2015 Dsclamer These notes are not necessarly an accurate representaton of what happened n class. The
More information42. Mon, Dec. 8 Last time, we were discussing CW complexes, and we considered two di erent CW structures on S n. We continue with more examples.
42. Mon, Dec. 8 Last tme, we were dscussng CW complexes, and we consdered two d erent CW structures on S n. We contnue wth more examples. (2) RP n. Let s start wth RP 2. Recall that one model for ths space
More informationFinding Primitive Roots Pseudo-Deterministically
Electronc Colloquum on Computatonal Complexty, Report No 207 (205) Fndng Prmtve Roots Pseudo-Determnstcally Ofer Grossman December 22, 205 Abstract Pseudo-determnstc algorthms are randomzed search algorthms
More informationApproximations of Set-Valued Functions Based on the Metric Average
Approxmatons of Set-Valued Functons Based on the Metrc Average Nra Dyn, Alona Mokhov School of Mathematcal Scences Tel-Avv Unversty, Israel Abstract. Ths paper nvestgates the approxmaton of set-valued
More information