The Hausdorff measure of a class of Sierpinski carpets
|
|
- Loreen Carroll
- 5 years ago
- Views:
Transcription
1 J. Math. Anal. Appl. 305 (005) The Hausdorff measure of a class of Sierpinski carpets Yahan Xiong, Ji Zhou Department of Mathematics, Sichuan Normal University, Chengdu , PR China Received 9 July 004 Available online 7 January 005 Submitted by J.D.M. Wright Abstract In this paper we obtain the exact value of the Hausdorff measure of a class of Sierpinski carpets with Hausdorff dimension no more than 1 show the fact that the Hausdorff measure of such Sierpinski carpets can be determined by coverings which only consist of basic squares. 004 Elsevier Inc. All rights reserved. Keywords: Hausdorff measure dimension; Sierpinski carpet 1. Introduction One of the most important subjects fractal geometry deals with is the estimation calculation of the Hausdorff measure of fractal sets. But this subject is difficult to tackle the relevant results are not rich even as to seemingly simpler sets. Up to now, the accurate value of Hausdorff measure of some self-similar sets with Hausdorff dimension no more than 1 has been obtained, such as middle-three Cantor set [1]. In [], the Hausdorff measures of certain Sierpinski carpets whose Hausdorff dimension equal to 1 are obtained with the help of the principle of mass distribution. Later, in [3], more general sets are Supported by Applied Fundamental Research Foundation of Sichuan Province. * Corresponding author. address: jzhou1@163.net (J. Zhou) X/$ see front matter 004 Elsevier Inc. All rights reserved. doi: /j.jmaa
2 1 Y. Xiong, J. Zhou / J. Math. Anal. Appl. 305 (005) considered the corresponding Hausdorff measures are determined by estimating the number of the nth-stage squares that intersect with an open set. In this article, using another way, we obtain that the Hausdorff measures of a class of Sierpinski carpets E, H s (E) = s/, moreover, we show that H s (E) = HF s (E), where H F s (E) refers to the net measure 1 determined by covering that is made up of basic squares s = log λ 4 is the Hausdorff dimension of Sierpinski carpets E. For the net measure, see Section.. Lemmas Take E 0 to be the unit square in R delete all but the four corner squares of side λ to obtain E 1. Continue in this way, at the kth-stage, replacing each square of E k 1 by four corner squares of side λ k to get E k. These retained squares of side λ k are called kth-stage basic squares. We can see that E k consists of 4 k kth-stage basic squares that E 0 E 1 E E n (see Fig. 1). Let E = k=0 E k. Thus E is a compact set that can be considered as a self-similar set generated by four similitudes with the scale factor λ. We call E a Sierpinski carpet. Since it satisfies the open set condition, the Hausdorff dimension 1 of E is s = log λ 4. Let f k be any kth-stage basic square, F k the class of all the kth-stage basic squares, F = k 1 F k the class of all the basic squares f k = λ k the diameter of f k. A net N is a class of sets, with the property that, for any x R ε>0, there exists A N such that x A A ε, where A sts for the diameter of A. Bythis definition, F is a net of sets consisting of basic squares. Let E be a subset of R s be a non-negative number. For δ>0 define Hδ s (E) = inf U i s, i=1 where the infimum is over all (countable) δ-coverings U i of E. The Hausdorff s-dimensional measure of E is defined as H s (E) = lim Hδ s (E). δ 0 The s-dimensional net measure determined by the net N, denoted by HN s (E), is constructed in a similar manner to the s-dimensional Hausdorff measure but using N of covering sets in the definition rather than the class of all sets. To show our main result we need the following two lemmas. Fig. 1.
3 Y. Xiong, J. Zhou / J. Math. Anal. Appl. 305 (005) Lemma 1. H s F (E) = s/ = E 0 s. Proof. Let G ={U i } be an arbitrary countable δ-covering of E with basic squares. By the definition of HF s (E), we may assume that each element in G cannot contain completely the other. Let k = min{j: U i F j for some U i G}. If all the kth-stage basic squares are in G, it follows that U i s = 4 k( λ k) s = s/. U i G If there are l k (0 <l k < 4 k ) kth-stage basic squares that are in G, then there are (4 k l k ) kth-stage basic squares that are not in G. Now we consider such (k + 1)th-stage basic squares which are contained in such (4 k l k )kth-stage basic squares. If such (k + 1)thstage basic squares all are in G, it is easy to obtain that U i s ( = l k λ k ) s ( k )( l k λ (k+1) ) s = s/. U i G Similarly, if there exists some integer t>0such that t = max{j: U i F j for some U i G}, we have that U i G U i s = s/. If such t does not exist, then there are integers l m, m = k,k + 1,...,with 0 l m < 4 m such that U i s ( = l m λ m ) s. U i G m=k Now denote by n p the number of all the pth-stage basic squares which are not contained in any of qth-stage basic squares in G where q<p. From the above discussion, it follows that for any integer p>k, p 1 ( l m λ m ) s ( + np λ p ) s = s/. m=k We claim that n p ( λ p ) s 0, as p. If not, there exist a γ>0 an infinite subset N of positive integers such that n p ( λ p ) s >γ when p N. For each p N, let W p be the union of n p pth-stage basic squares which are not contained in any of qth-stage basic squares in G where q<p. Obviously, W p is non-empty compact W n W m, m>n. Thus, E p N W p p N W p. From the definition of W p, it follows that ( ) ( ) W p U i =, p N U i G which is contrary to the fact that G is a covering of E. Therefore, we obtain that, for each δ>0, inf U i G U i s = s/, where the infimum is taken over all δ-covering of E.Bythe definition of the net measure, the lemma holds. Lemma. Let λ 1 4 U be an open subset of R with λ k+1 U < λ k for some integer k>0. Let F U be a family of the basic squares f σ (f σ F) which are completely contained in U no one is contained in the other. Then U s
4 14 Y. Xiong, J. Zhou / J. Math. Anal. Appl. 305 (005) Proof. Since λ 1 4, λk 1 λ k λ k > U, U can intersect with only one kth-stage basic square which cannot be contained completely in U. We may assume that the kthstage basic square which meets the U is A =[0,λ k ] [0,λ k ]. Next we will prove the lemma under the following four cases: Case 1. U intersects with one (k + 1)th-stage basic square in A. It is easy to get, similar to the proof of Lemma 1, that f σ s f k+1 s ( = λ 1+k ) s U s. Case. U intersects with two (k + 1)th-stage basic squares in A. LetI n (respectively I n ) (n > k) refer to the nth-stage basic square on the top right (respectively left) in A J n (respectively J n ) (n > k) the nth-stage basic square on the bottom left (respectively right) in A. Subcase 1. Suppose that U J k+1 U I k+1 (as at the left of Fig. ). It is easy to show that U > f k f k+1 = λ k (1 λ), similar to the proof of Lemma 1, f σ s f k+1 s = 1 ( λ k ) s. Let g(λ) = (1 λ) s. Since g(λ) decreases on (0, 1 4 ] g(1 4 ) = 1, we have, when λ 1 4, that (1 λ)s 1 ( λ k ) s (1 λ) s 1 ( λ k ) s. Therefore, U s Subcase. Suppose that U J k+1 U J k+1 (as at the right of Fig. ). Fig..
5 Y. Xiong, J. Zhou / J. Math. Anal. Appl. 305 (005) Now let a = min { } ( x: (x, y) U J k+1 0 a λ 1+k ), b = max { x: (x, y) U J k+1} ( λ k λ 1+k <b λ k), a = λ 1+k a b = λ k b. If 0 <a λ 1+k λ +k 0 <b λ k+1 λ k+, then we have U >λ k λ 1+k fσ s 4 f k+ s = 4 ( λ +k) s. Thus, similar to the discussion in Subcase 1, when λ 1 4, we have (λk λ 1+k ) s > 4( λ +k ) s hence U s If a >λ 1+k λ +k 0 <b λ 1+k λ +k, we can get U λ k λ 1+k + a + b >λ k λ 1+k + ( λ 1+k λ +k) fσ s 6 f k+ s = 6 ( λ +k) s. Thus, if λ 1 4,wehave(λk λ 1+k + λ 1+k λ +k ) s 6( λ +k ) s so U s If a >λ 1+k λ +k b >λ 1+k λ +k, we obtain that U λ k λ 1+k + a + b λ k λ +k f σ s 8 f k+ s ( = 8 λ +k ) s. Thus, when λ 1 4,wehave(λk λ +k ) s 8( λ k+ ) s so U s Case 3. U intersects with three (k + 1)th-stage basic squares in A (see Fig. 3). Since U < λ k = f k, U cannot completely contain both I k+1 J k+1. Subcase 1. Suppose that neither I k+1 nor J k+1 is completely contained in U, then there exist positive integers n 1 n, such that U I k+n1, U I k+n1 +1 = ; U J k+n, U J k+n +1 =. Assume that n 1 1 n > 1. Set FU I ={f σ F U : f σ I k+1 } FU J ={f σ F U : f σ J k+1 }. Now draw two lines l 1 l both paralleling the diagonal line such that they intersect with the boundary of U U is located between them. Let the distance between l i A i be a i (i = 1, ) (see Fig. 3). Hence, we have a i f k+1 f k+ni, f σ s < ( 4 n 1 1 )( f k+n1 +1 ) s, f σ F I U f σ s < ( 4 n 1 )( f k+n +1 s). f σ F J U
6 16 Y. Xiong, J. Zhou / J. Math. Anal. Appl. 305 (005) Fig. 3. Since U f k f k+1 +a 1 + a f σ s f σ s + f σ s + f k+1 s, f σ FU I f σ FU J when λ 1 4, n 1 1, n > 1, similar to the proof of Case, we can get U s Assume that n 1 = n = 1. (λ k+1 λ k+ ), then we have U > If 0 <a 1 (λ k+1 λ k+ ) 0 <a f k f k+1 f σ s 6 f k+ s. Hence, when λ 1 4, we get U s If a 1 > (λ k+1 λ k+ ), 0 <a (λ k+1 λ k+ ), we get that U s > f k f k+1 + a 1 > λ k (1 3 λ 1 λ ) f σ s 8 f k+ s. When λ 1 4,itfollows that U s If a 1 > (λ k+1 λ k+ ) a > (λ k+1 λ k+ ), then U f k f k+1 +a 1 + a f σ s 10 f k+ s hold. When λ 1 4, we obtain that U s Subcase. Suppose that either I k+1 or J k+1 is completely contained in U. Let us say I k+1 U, which implies that a 1 > f k+1 f σ FU I f σ s = f k+1 s. Meanwhile, a f k+1 f k+n f σ FU J f σ s <(4 n 1) f k+n +1 s hold just as in Subcase 1. Hence, we have U f k f k+1 +a 1 + a f σ s + f k+1 s. When λ 1 4, we may get U s f σ s f σ F J U Case 4. U intersects with four (k + 1)th-stage basic squares in A.
7 Y. Xiong, J. Zhou / J. Math. Anal. Appl. 305 (005) Subcase 1. Suppose that U can completely contain none of I k+1, I k+1, J k+1, J k+1, it follows that there exist positive integers n i (1 i 4), such that U I k+n1, U I k+n1 +1 =, U I k+n, U I k+n +1 =, U J k+n3, U J k+n3 +1 =, U J k+n 4, U J k+n 4 +1 =. (1) Let U 1 = U I k+n1, U = U I k+n, U 3 = U J k+n3, U 4 = U J k+n 4. Denote FU I ={f σ F U : f σ I k+1 }, F I U ={f σ F U : f σ I k+1 }, F U J ={f σ F : f σ J k+1 }, F J U ={f σ F U : f σ J k+1 }. Since each (k + n i)th-stage basic square contains four (k + n i + 1)th-stage basic squares, it can be shown by (1) that U i can intersect with at most three (k + n i + 1)th-stage basic squares. Now draw four lines l i (1 i 4) paralleling the diagonal lines such that they bound U meanwhile all intersect with the boundary of U. Let the distance between l i A i be a i (1 i 4) (see Fig. 4). Suppose that each of U i (1 i 4) intersects with only one (k + n i + 1)th-stage basic square, then we have a i f k+1 f k+ni, U f k f k i=1 a i f σ s 4 i=1 (4 n i 3) f k+ni +1 s. Hence, when λ 1 4, U s f σ s holds. Suppose that U 1 intersects with more than one (k + n 1 + 1)th-stage basic squares U i ( i 4) all intersect with only one (k + n i + 1)th-stage ( i 4) basic square. If there exists l(l ) such that U 1 cannot intersect with two (k + n 1 + l)th-stage basic squares, one of which is on the top right of the (k + n 1 + 1)th-stage basic square that is on the top left of I k+n1, the other is on the top right of the (k + n 1 + 1)th-stage basic square that is on the bottom right of I k+n1.infact,ifl satisfies the above condition, so does l for any l l. We choose l to be the minimum of these l. In this case, we have a 1 f k+1 1 ( fk+n1 f k+n1 +1 ) f k+n1 +l 1 Fig. 4.
8 18 Y. Xiong, J. Zhou / J. Math. Anal. Appl. 305 (005) f σ F I U f σ s ( 4 n 1 1 ) f k+n1 +1 s f k+n1 +l s. Hence, we get U f k f k f σ s 4 i=1 a i 4 ( 4 n i 3 ) f k+ni +1 s + ( 4 n 1 1 ) f k+n1 +1 s f k+n1 +l s. i= Therefore when λ 1 4, we obtain that U s If such l does not exist, we can get a 1 f k+1 1 ( fk+n1 f k+n1 +1 ) f σ F I U f σ s ( 4 n 1 1 ) f k+n1 +1 s. Thus U f k f k f σ s i= 4 i=1 a i 4 ( 4 n i 3 ) f k+ni +1 s + f σ s f σ F I U hold. Similarly, when λ 1 4, we obtain that U s When any two, three, or four of {U i : 1 i 4} intersect with more than one (k + n i + 1)th-stage (1 i 4) basic squares, the proof is entirely similar to the above discussion. Subcase. Suppose U completely contains I k+1 intersects with I k+1, J k+1, J k+1. In this case we have a 1 > f k+1 f σ FU I f σ s = f k+1 s. The rest of the discussion is the same as Subcase 1 it is easy to get our desired result. Subcase 3. Suppose U completely contains both I k+1 I k+1 intersects with J k+1 J k+1. Under this condition, we may similarly obtain U s The proof of Lemma is complete.
9 Y. Xiong, J. Zhou / J. Math. Anal. Appl. 305 (005) Main results The following theorem is our main result. Theorem 1. If λ 1 4, then H s (E) = H s F (E). Proof. Let {U i } be an arbitrary open δ-covering of E. For any given U i there exists k>0 such that λ k+1 U i < λ k.letf Ui be the class of the basic squares completely contained in U i no one is contained in the other. By Lemma, U i s i f σ s holds provided that λ 1 4. E is compact, so we can make F U i satisfy that i i f σ E. Since i U i s i i f σ s, H s (E) HF s (E) holds. Meanwhile, H s (E) HF s (E) is obvious, we can get H s (E) = HF s (E). By Lemma 1, we can obtain the following result. Corollary 1. If λ 1 4, H s (E) = s/. Acknowledgments The authors appreciate the referees good suggestions for this paper. References [1] K.J. Falconer, Fractal Geometry Mathematical Foundation Applications, Wiley, New York, [] Z. Zhou, M. Wu, The Hausdorff measure of a Sierpinski carpet, Sci. China Ser. A 47 (1999) [3] C. Huang, An elementary proof for the Hausdorff measure of Sierpinski carpet, Acta Math. Sinica 43 (000) (in Chinese).
Bounds of Hausdorff measure of the Sierpinski gasket
J Math Anal Appl 0 007 06 04 wwwelseviercom/locate/jmaa Bounds of Hausdorff measure of the Sierpinski gasket Baoguo Jia School of Mathematics and Scientific Computer, Zhongshan University, Guangzhou 5075,
More informationThe Hausdorff measure of a Sierpinski-like fractal
Hokkaido Mathematical Journal Vol. 6 (2007) p. 9 19 The Hausdorff measure of a Sierpinski-like fractal Ming-Hua Wang (Received May 12, 2005; Revised October 18, 2005) Abstract. Let S be a Sierpinski-like
More informationThe Hausdorff Measure of the Attractor of an Iterated Function System with Parameter
ISSN 1479-3889 (print), 1479-3897 (online) International Journal of Nonlinear Science Vol. 3 (2007) No. 2, pp. 150-154 The Hausdorff Measure of the Attractor of an Iterated Function System with Parameter
More informationSection 2: Classes of Sets
Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks
More informationKey words and phrases. Hausdorff measure, self-similar set, Sierpinski triangle The research of Móra was supported by OTKA Foundation #TS49835
Key words and phrases. Hausdorff measure, self-similar set, Sierpinski triangle The research of Móra was supported by OTKA Foundation #TS49835 Department of Stochastics, Institute of Mathematics, Budapest
More informationExistence and multiple solutions for a second-order difference boundary value problem via critical point theory
J. Math. Anal. Appl. 36 (7) 511 5 www.elsevier.com/locate/jmaa Existence and multiple solutions for a second-order difference boundary value problem via critical point theory Haihua Liang a,b,, Peixuan
More informationThe Drazin inverses of products and differences of orthogonal projections
J Math Anal Appl 335 7 64 71 wwwelseviercom/locate/jmaa The Drazin inverses of products and differences of orthogonal projections Chun Yuan Deng School of Mathematics Science, South China Normal University,
More informationMATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets
MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course
More informationApplied Mathematics Letters
Applied Mathematics Letters 25 (2012) 545 549 Contents lists available at SciVerse ScienceDirect Applied Mathematics Letters journal homepage: www.elsevier.com/locate/aml On the equivalence of four chaotic
More informationHW 4 SOLUTIONS. , x + x x 1 ) 2
HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A
More information+ ε /2N) be the k th interval. k=1. k=1. k=1. k=1
Trevor, Angel, and Michael Measure Zero, the Cantor Set, and the Cantor Function Measure Zero : Definition : Let X be a subset of R, the real number line, X has measure zero if and only if ε > 0 a set
More informationOn Σ-Ponomarev-systems
Volume 35, 2010 Pages 345 360 http://topology.auburn.edu/tp/ On Σ-Ponomarev-systems by Nguyen Van Dung Electronically published on October 29, 2009 Topology Proceedings Web: http://topology.auburn.edu/tp/
More informationOn the approximation problem of common fixed points for a finite family of non-self asymptotically quasi-nonexpansive-type mappings in Banach spaces
Computers and Mathematics with Applications 53 (2007) 1847 1853 www.elsevier.com/locate/camwa On the approximation problem of common fixed points for a finite family of non-self asymptotically quasi-nonexpansive-type
More informationFractal Geometry Mathematical Foundations and Applications
Fractal Geometry Mathematical Foundations and Applications Third Edition by Kenneth Falconer Solutions to Exercises Acknowledgement: Grateful thanks are due to Gwyneth Stallard for providing solutions
More informationSimultaneous Accumulation Points to Sets of d-tuples
ISSN 1749-3889 print, 1749-3897 online International Journal of Nonlinear Science Vol.92010 No.2,pp.224-228 Simultaneous Accumulation Points to Sets of d-tuples Zhaoxin Yin, Meifeng Dai Nonlinear Scientific
More informationIntroduction to Hausdorff Measure and Dimension
Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let
More informationINDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS
INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS JAMES P. KELLY AND JONATHAN MEDDAUGH Abstract. In this paper, we develop a sufficient condition for the inverse limit of upper semi-continuous
More informationJournal of Mathematical Analysis and Applications
J. Math. Anal. Appl. 381 (2011) 506 512 Contents lists available at ScienceDirect Journal of Mathematical Analysis and Applications www.elsevier.com/locate/jmaa Inverse indefinite Sturm Liouville problems
More informationRelationships between upper exhausters and the basic subdifferential in variational analysis
J. Math. Anal. Appl. 334 (2007) 261 272 www.elsevier.com/locate/jmaa Relationships between upper exhausters and the basic subdifferential in variational analysis Vera Roshchina City University of Hong
More informationChanges to the third printing May 18, 2013 Measure, Topology, and Fractal Geometry
Changes to the third printing May 18, 2013 Measure, Topology, and Fractal Geometry by Gerald A. Edgar Page 34 Line 9. After summer program. add Exercise 1.6.3 and 1.6.4 are stated as either/or. It is possible
More informationTHE HAUSDORFF MEASURE OF SIERPINSKI CARPETS BASING ON REGULAR PENTAGON
Anal. Theory Appl. Vol. 28, No. (202), 27 37 THE HAUSDORFF MEASURE OF SIERPINSKI CARPETS BASING ON REGULAR PENTAGON Chaoyi Zeng, Dehui Yuan (Hanhan Normal Univerity, China) Shaoyuan Xu (Gannan Normal Univerity,
More informationSome topological properties of fuzzy cone metric spaces
Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 9 2016, 799 805 Research Article Some topological properties of fuzzy cone metric spaces Tarkan Öner Department of Mathematics, Faculty of Sciences,
More informationENGEL SERIES EXPANSIONS OF LAURENT SERIES AND HAUSDORFF DIMENSIONS
J. Aust. Math. Soc. 75 (2003), 1 7 ENGEL SERIES EXPANSIONS OF LAURENT SERIES AND HAUSDORFF DIMENSIONS JUN WU (Received 11 September 2001; revised 22 April 2002) Communicated by W. W. L. Chen Abstract For
More informationPM functions, their characteristic intervals and iterative roots
ANNALES POLONICI MATHEMATICI LXV.2(1997) PM functions, their characteristic intervals and iterative roots by Weinian Zhang (Chengdu) Abstract. The concept of characteristic interval for piecewise monotone
More informationGENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES
Journal of Applied Analysis Vol. 7, No. 1 (2001), pp. 131 150 GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES M. DINDOŠ Received September 7, 2000 and, in revised form, February
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationA quantitative approach to syndetic transitivity and topological ergodicity
Available online at www.isr-publications.com/jnsa J. Nonlinear Sci. Appl., 10 (2017), 4680 4686 Research Article Journal Homepage: www.tjnsa.com - www.isr-publications.com/jnsa A quantitative approach
More informationQuantization dimension of probability measures supported on Cantor-like sets
J. Math. Anal. Appl. 338 (2008) 742 750 Note www.elsevier.com/locate/jmaa Quantization dimension of probability measures supported on Cantor-like sets Sanguo Zhu Department of Mathematics, Huazhong University
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationSmall Cycle Cover of 2-Connected Cubic Graphs
. Small Cycle Cover of 2-Connected Cubic Graphs Hong-Jian Lai and Xiangwen Li 1 Department of Mathematics West Virginia University, Morgantown WV 26505 Abstract Every 2-connected simple cubic graph of
More informationTHE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS
J. Appl. Math. & Computing Vol. 4(2004), No. - 2, pp. 277-288 THE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS LIDONG WANG, GONGFU LIAO, ZHENYAN CHU AND XIAODONG DUAN
More informationSelf-dual interval orders and row-fishburn matrices
Self-dual interval orders and row-fishburn matrices Sherry H. F. Yan Department of Mathematics Zhejiang Normal University Jinhua 321004, P.R. China huifangyan@hotmail.com Yuexiao Xu Department of Mathematics
More informationPOINT SET TOPOLOGY. Definition 2 A set with a topological structure is a topological space (X, O)
POINT SET TOPOLOGY Definition 1 A topological structure on a set X is a family O P(X) called open sets and satisfying (O 1 ) O is closed for arbitrary unions (O 2 ) O is closed for finite intersections.
More informationUniform Convergence, Mixing and Chaos
Studies in Mathematical Sciences Vol. 2, No. 1, 2011, pp. 73-79 www.cscanada.org ISSN 1923-8444 [Print] ISSN 1923-8452 [Online] www.cscanada.net Uniform Convergence, Mixing and Chaos Lidong WANG 1,2 Lingling
More informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
More informationSpectrally arbitrary star sign patterns
Linear Algebra and its Applications 400 (2005) 99 119 wwwelseviercom/locate/laa Spectrally arbitrary star sign patterns G MacGillivray, RM Tifenbach, P van den Driessche Department of Mathematics and Statistics,
More informationOn binary reflected Gray codes and functions
Discrete Mathematics 308 (008) 1690 1700 www.elsevier.com/locate/disc On binary reflected Gray codes and functions Martin W. Bunder, Keith P. Tognetti, Glen E. Wheeler School of Mathematics and Applied
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationOn α-embedded subsets of products
European Journal of Mathematics 2015) 1:160 169 DOI 10.1007/s40879-014-0018-0 RESEARCH ARTICLE On α-embedded subsets of products Olena Karlova Volodymyr Mykhaylyuk Received: 22 May 2014 / Accepted: 19
More informationFAT AND THIN SETS FOR DOUBLING MEASURES IN EUCLIDEAN SPACE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 38, 2013, 535 546 FAT AND THIN SETS FOR DOUBLING MEASURES IN EUCLIDEAN SPACE Wen Wang, Shengyou Wen and Zhi-Ying Wen Yunnan University, Department
More informationThe best generalised inverse of the linear operator in normed linear space
Linear Algebra and its Applications 420 (2007) 9 19 www.elsevier.com/locate/laa The best generalised inverse of the linear operator in normed linear space Ping Liu, Yu-wen Wang School of Mathematics and
More informationTopological automorphisms of modified Sierpiński gaskets realize arbitrary finite permutation groups
Topology and its Applications 101 (2000) 137 142 Topological automorphisms of modified Sierpiński gaskets realize arbitrary finite permutation groups Reinhard Winkler 1 Institut für Algebra und Diskrete
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationEssential Background for Real Analysis I (MATH 5210)
Background Material 1 Essential Background for Real Analysis I (MATH 5210) Note. These notes contain several definitions, theorems, and examples from Analysis I (MATH 4217/5217) which you must know for
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationDeficiency And Relative Deficiency Of E-Valued Meromorphic Functions
Applied Mathematics E-Notes, 323, -8 c ISSN 67-25 Available free at mirror sites of http://www.math.nthu.edu.tw/ amen/ Deficiency And Relative Deficiency Of E-Valued Meromorphic Functions Zhaojun Wu, Zuxing
More informationPositive solutions of three-point boundary value problems for systems of nonlinear second order ordinary differential equations
J. Math. Anal. Appl. 32 26) 578 59 www.elsevier.com/locate/jmaa Positive solutions of three-point boundary value problems for systems of nonlinear second order ordinary differential equations Youming Zhou,
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
More information2. The Concept of Convergence: Ultrafilters and Nets
2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two
More informationU e = E (U\E) e E e + U\E e. (1.6)
12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationLinear Algebra and its Applications
Linear Algebra and its Applications 436 2012 41 52 Contents lists available at SciVerse ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa Compactness of matrix
More informationHausdorff Measure. Jimmy Briggs and Tim Tyree. December 3, 2016
Hausdorff Measure Jimmy Briggs and Tim Tyree December 3, 2016 1 1 Introduction In this report, we explore the the measurement of arbitrary subsets of the metric space (X, ρ), a topological space X along
More informationAn Introduction to Fractals and Hausdorff Measures
An Introduction to Fractals and Hausdorff Measures by David C Seal A Senior Honors Thesis Submitted to the Faculty of The University of Utah In Partial Fulfillment of the Requirements for the Honors Degree
More informationPersistence and global stability in discrete models of Lotka Volterra type
J. Math. Anal. Appl. 330 2007 24 33 www.elsevier.com/locate/jmaa Persistence global stability in discrete models of Lotka Volterra type Yoshiaki Muroya 1 Department of Mathematical Sciences, Waseda University,
More informationMath 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M
Math 421, Homework #7 Solutions (1) Let {x k } and {y k } be convergent sequences in R n, and assume that lim k x k = L and that lim k y k = M. Prove directly from definition 9.1 (i.e. don t use Theorem
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationAvailable online at ISSN (Print): , ISSN (Online): , ISSN (CD-ROM):
American International Journal of Research in Formal, Applied & Natural Sciences Available online at http://www.iasir.net ISSN (Print): 2328-3777, ISSN (Online): 2328-3785, ISSN (CD-ROM): 2328-3793 AIJRFANS
More informationAnalysis III Theorems, Propositions & Lemmas... Oh My!
Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In
More informationThe Real Number System
MATH 337 The Real Number System Sets of Numbers Dr. Neal, WKU A set S is a well-defined collection of objects, with well-defined meaning that there is a specific description from which we can tell precisely
More informationMean convergence theorems and weak laws of large numbers for weighted sums of random variables under a condition of weighted integrability
J. Math. Anal. Appl. 305 2005) 644 658 www.elsevier.com/locate/jmaa Mean convergence theorems and weak laws of large numbers for weighted sums of random variables under a condition of weighted integrability
More informationDiscrete Applied Mathematics. Tighter bounds of the First Fit algorithm for the bin-packing problem
Discrete Applied Mathematics 158 (010) 1668 1675 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Tighter bounds of the First Fit algorithm
More informationHouston Journal of Mathematics. c 2008 University of Houston Volume 34, No. 4, 2008
Houston Journal of Mathematics c 2008 University of Houston Volume 34, No. 4, 2008 SHARING SET AND NORMAL FAMILIES OF ENTIRE FUNCTIONS AND THEIR DERIVATIVES FENG LÜ AND JUNFENG XU Communicated by Min Ru
More informationRate of convergence for certain families of summation integral type operators
J Math Anal Appl 296 24 68 618 wwwelseviercom/locate/jmaa Rate of convergence for certain families of summation integral type operators Vijay Gupta a,,mkgupta b a School of Applied Sciences, Netaji Subhas
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationPROBABLILITY MEASURES ON SHRINKING NEIGHBORHOODS
Real Analysis Exchange Summer Symposium 2010, pp. 27 32 Eric Samansky, Nova Southeastern University, Fort Lauderdale, Florida, USA. email: es794@nova.edu PROBABLILITY MEASURES ON SHRINKING NEIGHBORHOODS
More informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More informationInvariant measures for iterated function systems
ANNALES POLONICI MATHEMATICI LXXV.1(2000) Invariant measures for iterated function systems by Tomasz Szarek (Katowice and Rzeszów) Abstract. A new criterion for the existence of an invariant distribution
More informationPositive periodic solutions of higher-dimensional nonlinear functional difference equations
J. Math. Anal. Appl. 309 (2005) 284 293 www.elsevier.com/locate/jmaa Positive periodic solutions of higher-dimensional nonlinear functional difference equations Yongkun Li, Linghong Lu Department of Mathematics,
More informationImportant Properties of R
Chapter 2 Important Properties of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
More informationLINDELÖF sn-networks
Novi Sad J. Math. Vol. 43, No. 2, 2013, 201-209 SPACES WITH σ-locally COUNTABLE LINDELÖF sn-networks Luong Quoc Tuyen 1 Abstract. In this paper, we prove that a space X has a σ-locally countable Lindelöf
More information3 COUNTABILITY AND CONNECTEDNESS AXIOMS
3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first
More informationJournal of Mathematical Analysis and Applications
J. Math. Anal. Appl. 356 009 79 737 Contents lists available at ScienceDirect Journal of Mathematical Analysis and Applications www.elsevier.com/locate/jmaa Takagi functions and approximate midconvexity
More informationMA651 Topology. Lecture 9. Compactness 2.
MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology
More informationLecture 5 - Hausdorff and Gromov-Hausdorff Distance
Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is
More informationCompact Sets with Dense Orbit in 2 X
Volume 40, 2012 Pages 319 330 http://topology.auburn.edu/tp/ Compact Sets with Dense Orbit in 2 X by Paloma Hernández, Jefferson King, and Héctor Méndez Electronically published on March 12, 2012 Topology
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationImpulsive stabilization of two kinds of second-order linear delay differential equations
J. Math. Anal. Appl. 91 (004) 70 81 www.elsevier.com/locate/jmaa Impulsive stabilization of two kinds of second-order linear delay differential equations Xiang Li a, and Peixuan Weng b,1 a Department of
More information1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9
1.4 Cardinality Tom Lewis Fall Term 2006 Tom Lewis () 1.4 Cardinality Fall Term 2006 1 / 9 Outline 1 Functions 2 Cardinality 3 Cantor s theorem Tom Lewis () 1.4 Cardinality Fall Term 2006 2 / 9 Functions
More informationJORDAN CONTENT. J(P, A) = {m(i k ); I k an interval of P contained in int(a)} J(P, A) = {m(i k ); I k an interval of P intersecting cl(a)}.
JORDAN CONTENT Definition. Let A R n be a bounded set. Given a rectangle (cartesian product of compact intervals) R R n containing A, denote by P the set of finite partitions of R by sub-rectangles ( intervals
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationLocal time of self-affine sets of Brownian motion type and the jigsaw puzzle problem
Local time of self-affine sets of Brownian motion type and the jigsaw puzzle problem (Journal of Mathematical Analysis and Applications 49 (04), pp.79-93) Yu-Mei XUE and Teturo KAMAE Abstract Let Ω [0,
More informationSelf-similar Fractals: Projections, Sections and Percolation
Self-similar Fractals: Projections, Sections and Percolation University of St Andrews, Scotland, UK Summary Self-similar sets Hausdorff dimension Projections Fractal percolation Sections or slices Projections
More informationA note on fixed point sets in CAT(0) spaces
J. Math. Anal. Appl. 320 (2006) 983 987 www.elsevier.com/locate/jmaa Note A note on fied point sets in CAT(0) spaces P. Chaoha,1, A. Phon-on Department of Mathematics, Faculty of Science, Chulalongkorn
More informationMath 300: Final Exam Practice Solutions
Math 300: Final Exam Practice Solutions 1 Let A be the set of all real numbers which are zeros of polynomials with integer coefficients: A := {α R there exists p(x) = a n x n + + a 1 x + a 0 with all a
More informationReceived 8 June 2003 Submitted by Z.-J. Ruan
J. Math. Anal. Appl. 289 2004) 266 278 www.elsevier.com/locate/jmaa The equivalence between the convergences of Ishikawa and Mann iterations for an asymptotically nonexpansive in the intermediate sense
More informationAlgorithmic interpretations of fractal dimension. Anastasios Sidiropoulos (The Ohio State University) Vijay Sridhar (The Ohio State University)
Algorithmic interpretations of fractal dimension Anastasios Sidiropoulos (The Ohio State University) Vijay Sridhar (The Ohio State University) The curse of dimensionality Geometric problems become harder
More information2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationON SPACES IN WHICH COMPACT-LIKE SETS ARE CLOSED, AND RELATED SPACES
Commun. Korean Math. Soc. 22 (2007), No. 2, pp. 297 303 ON SPACES IN WHICH COMPACT-LIKE SETS ARE CLOSED, AND RELATED SPACES Woo Chorl Hong Reprinted from the Communications of the Korean Mathematical Society
More informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationFRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS
FRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS MIDTERM SOLUTIONS. Let f : R R be the map on the line generated by the function f(x) = x 3. Find all the fixed points of f and determine the type of their
More informationChapter 2: Introduction to Fractals. Topics
ME597B/Math597G/Phy597C Spring 2015 Chapter 2: Introduction to Fractals Topics Fundamentals of Fractals Hausdorff Dimension Box Dimension Various Measures on Fractals Advanced Concepts of Fractals 1 C
More informationLecture 3: Probability Measures - 2
Lecture 3: Probability Measures - 2 1. Continuation of measures 1.1 Problem of continuation of a probability measure 1.2 Outer measure 1.3 Lebesgue outer measure 1.4 Lebesgue continuation of an elementary
More informationThe initial involution patterns of permutations
The initial involution patterns of permutations Dongsu Kim Department of Mathematics Korea Advanced Institute of Science and Technology Daejeon 305-701, Korea dskim@math.kaist.ac.kr and Jang Soo Kim Department
More informationITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XL 2002 ITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES by Joanna Jaroszewska Abstract. We study the asymptotic behaviour
More information