DOCSLIB.ORG

Remarks on Hausdorff Measure and Differentiability

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Remarks on Hausdorff Measure and Differentiability On Hausdorff measure and differentiability On Hausdorff measure and differentiability Valentino Magnani Remarks on Hausdorff measure and differentiability Area formulae for Lipschitz Warwick Mathematics Institute mappings The Fractal Conference on Geometric Measure Theory Geometry inside homogeneous groups Measure Valentino Magnani theoretic area formula Applications to University of Pisa submanifolds July 11, 2017 On Hausdorff measure and differentiability Area formulae for Lipschitz mappings On Hausdorff Area formulae to compute the Hausdorff measure of sets measure and can be obtained in the general context of metric spaces. differentiability Valentino [Bernd Kirchheim, Proc. Amer. Math. Soc., 1994] Magnani Consider an injective Lipschitz map f : A ! X from Area formulae for k Lipschitz A ⊂ R to a metric space X. Then there holds mappings The Fractal Z Geometry inside Hk (f (A)) = Jf (x)dx: homogeneous groups A Measure k theoretic area For a.e. x 2 A there exists a seminorm s : R ! [0; +1) formula such that Applications to submanifolds d(f (y); f (x)) − s(y − x) = o(jy − xj) as y ! x; the metric differential. Its metric Jacobian is Ln x 2 Rk : jxj ≤ 1 Jf (x) = Js = : Hk x 2 Rk : s(x) ≤ 1 On Hausdorff measure and differentiability Area formulae for Lipschitz mappings On Hausdorff measure and [B. Kirchheim, V.M., Proc. Edinb. Math. Soc. 2003] differentiability There exist a Lipschitz map f : ! X that is nowhere Valentino H Magnani metrically differentiable, where H is the first Heisenberg Area formulae for group. Lipschitz mappings Here metric differentiability is adapted to the group The Fractal Geometry inside operation: homogeneous groups Measure d(f (x); f (xh)) − s(h) = o(dH(h; 0)) as h ! 0; theoretic area formula Applications to where s : H ! [0; +1) satisfies submanifolds 1 s(xy) ≤ s(x) + s(y) for x; y 2 H, 2 s(δr x) = rs(x) for every x 2 H and r > 0. This homogeneous seminorm defines the metric differential when the source space is the Heisenberg group or a more general nilpotent homogeneous group. On Hausdorff measure and differentiability Area formulae for Lipschitz mappings On Hausdorff measure and differentiability We can see a homogeneous Lie group G as Rn equipped Valentino with a polynomial operation and a suitable left invariant Magnani distance d : G × G ! [0; +1). Area formulae for Lipschitz mappings [V. M., T. Rajala, IMRN 2014] The Fractal Geometry inside Let A ⊂ G and let Q be the Hausdorff dimension of G. If homogeneous groups f : A ! X is Lipschitz and a.e. metrically differentiable, Measure then theoretic area Z formula Q H (f (A)) = Jf (x)dx Applications to A submanifolds ( ) HQ ( )=HQ( ) where the metric Jacobian Jf x at x is sx B1 d B1 and sx is the metric differential of f at x. However, in this theorem we were forced to assume the a.e. metric differentiability, since in general it does hold. On Hausdorff measure and differentiability The Fractal Geometry inside homogeneous groups On Hausdorff Locally on a compact set K ⊂ G we have measure and differentiability −1 1/ι C jx − yj ≤ d(x; y) ≤ C jx − yj (1) Valentino Magnani whenever x; y 2 K and C > 0 depends on K . Area formulae for Lipschitz mappings The estimates (1) have sharp exponents, then showing The Fractal how the Hausdorff dimension of subsets of with respect Geometry inside G homogeneous to d can be in general greater than their topological groups dimension. This is a typical feature of fractals. Measure theoretic area formula Applications to ③ submanifolds ✂ ✷ ✌ ✵ ❁ ❍ ✁ ✭■ ✮ ❁ ✰ ✶ ■ ② ✄ ① On Hausdorff measure and differentiability The Fractal Geometry inside homogeneous groups On Hausdorff One can look more carefully to the estimates on the measure and distance d. Indeed, the group G is anisotropic also at differentiability Valentino infinitesimal scales. Magnani A homogeneous group G can be broadly regarded as a Area formulae for Lipschitz suitable direct sum of subspaces mappings The Fractal 1 ι Geometry inside G = H ⊕ · · · ⊕ H homogeneous groups along with some intrinsic dilations δ : ! such that Measure r G G theoretic area formula j δr jHj (x) = r x for j = 1; : : : ; ι. Applications to submanifolds The homogeneous distance d : G × G ! [0; +1) is compatible with both group operation and dilations d(xz; xw) = d(z; w) and d(δr z; δr w) = r d(z; w) for each x; z; w 2 G and r > 0. On Hausdorff measure and differentiability The Fractal Geometry inside homogeneous groups On Hausdorff The properties of the distance make explicit the measure and “infinitesimal anisotropy” of the group: differentiability −1 −1 Valentino C jx − yj ≤ d(x; y) ≤ C jx − yj if x y 2 H1 Magnani −1p p −1 C jx − yj ≤ d(x; y) ≤ C jx − yj if x y 2 H Area formulae for 2 Lipschitz mappings . The Fractal Geometry inside −1 1/ι 1/ι −1 homogeneous C jx − yj ≤ d(x; y) ≤ C jx − yj if x y 2 Hι groups whenever x; y 2 K and C > 0 depends on K . Measure theoretic area formula Applications to submanifolds ❊ ✉❝❧✐❞❡❛♥ ❞✐st❛♥ ❝❡ ❢♦♠ ③ ❥ ♣ ✁ ❥ q q ♣ ♣❍ ✶ ② ● ① On Hausdorff measure and differentiability The Fractal Geometry inside homogeneous groups On Hausdorff measure and differentiability Valentino r Magnani ❙q☎✆✝✞ ✝ ✟ ✟✠ ✡☛ ☞ ✠✆ ✌✍✞ ✎✝✟✏ ✑ ☛ ✌ ✒✓ ❥♣ ✁ r❥ ✷ ❊ ✉❝❧ ✐❞❡ ❛♥ ❞ ✐st ❛♥ ❝❡ ❢✂ ♦♠ ✄ ✐♥ ✄❍ ✶ ③ ❥ ✕ ✁ ❥ ✔ Area formulae for Lipschitz ✔ mappings ♣ ✕ ✖ ✗ The Fractal Geometry inside ② homogeneous groups ● ① Measure ✕ ✖ ✘ theoretic area formula Applications to −1 Along directions of degree two, namely x y 2 H2, we have submanifolds d(x; y)2 = d(x −1y; 0)2 ≈ jx − yj: For a smooth curve moving along these directions we get its locally finite and positive 2-dimensional Hausdorff measure with respect to d. On Hausdorff measure and differentiability The Fractal Geometry inside homogeneous groups On Hausdorff measure and differentiability Valentino Magnani ❙q✉❛ ✡❡ ✡♦ ♦ t ❞✐✠ t❛ ♥❝ ❡ ❢ ✡♦ ♠ ✐ ♥ ❍ ✁ ✁ ✷ Area formulae for r Lipschitz ❊✉❝ ❧✐❞❡❛♥ ❞✐✠ t❛ ♥❝ ❡ ❢ ✡♦ ♠ ✐ ♥ ❍ ✁ ✁ ✶ ✟ mappings ❥ ✁ ✂ ✄ ❥ The Fractal ③ Geometry inside ☎ ✸ ❈☛❜☞ ✌ ✍ ✎ ✎✏ ✑☞✒ ✏✓ ✔✌✕ ☞ ✔ ✖✗ ✞ s ✆ ❥ ✁ ✂ ✚ ❥ ✆ ✝ homogeneous ✘ ✙ groups ♣ Measure ✝✛ ✜ theoretic area formula ② Applications to submanifolds ● ① ✝✛ ✢ ✝ ✛ ✣ On Hausdorff measure and differentiability The Fractal Geometry inside homogeneous groups On Hausdorff This infinitesimal anisotropy implies for instance in the measure and first Heisenberg group H ≈ (R3; xy = p(x; y); d) that differentiability Valentino 0 < H3(Σ) < +1; Magnani where Σ ⊂ is any 2-dimensional smooth and compact Area formulae for H Lipschitz submanifold. mappings The Fractal [L. Ambrosio, B. Kirchheim, Math. Ann. 2000] Geometry inside homogeneous The first Heisenberg group H is purely k-unrectifiable for groups Measure every k ≥ 2. theoretic area formula Applications to Comments submanifolds 1 This unrectifiability result shows that there are no rectifiable metric k-currents in H with k ≥ 2. 2 Finding a working theory of currents in Heisenberg groups or more general homogeneous groups requires working notion of “area”. On Hausdorff measure and differentiability Measure theoretic area formula On Hausdorff Computing the Hausdorff measure of surfacesmeasure and differentiability Valentino In particular also the 2-dimensional smooth submanifold Magnani Σ ⊂ cannot be k-rectifiable for k ≥ 2. Clearly Σ cannot H Area formulae for be of countably 1-rectifiable (otherwise Σ would be Lipschitz mappings σ-finite with respect to the one dimensional Hausdorff The Fractal measure). Geometry inside homogeneous groups 3 Measure The formula for H (Σ) is not yet known. theoretic area formula Applications to Since Σ is not rectifiable with respect to the distance d of submanifolds the Heisenberg group, the standard methods to compute H3(Σ) do not apply. The formula for H3(Σ) is a work in progress. We will focus our attention on computing the spherical measure S3(Σ). On Hausdorff measure and differentiability Measure theoretic area formula On Hausdorff measure and [V. M., Proc. Royal. Soc. Ed., 2015] differentiability If Σ ⊂ X is a Borel set, the diameter of balls is continuous, Valentino µ is finite on each open set of an open countable cover of Magnani α X, µ is supported on Σ and µ << S Σ, then Area formulae for x Lipschitz mappings α α µ = θ (µ, ·) S Σ: (2) The Fractal x Geometry inside homogeneous The key of this formula is the “formally explict” groups θα Measure representation of the density . theoretic area This is the spherical Federer α-density: formula Applications to submanifolds α µ(B) θ (µ, x) = inf sup α : B 2 Fb; x 2 B; diamB ≤ " ; ">0 cα(2r) that is Sα measurable. Notice that the balls B are defined with respect to the distance d. On Hausdorff measure and differentiability Measure theoretic area formula On Hausdorff The general method measure and differentiability Valentino 1 We fix an auxiliary measure µ on Σ such that Magnani µ << Sα Σ. For instance the Riemannian or the x Area formulae for Σ Lipschitz Euclidean Hausdorff measure of work well in mappings general homogeneous groups. The Fractal Geometry inside 2 We define a µ-measurable functions Θµ,α such that homogeneous groups α !(d; α) Measure θ (µ, ·) = theoretic area Θµ,α formula Applications to where !(d; α) is chosen in order to play the role of a submanifolds geometric constant. 3 The measure theoretic area formula yields Z α α Sd (Σ) := !(d; α)S (Σ) = Θµ,α(x) dµ(x): Σ On Hausdorff measure and differentiability Applications to submanifolds On Hausdorff Applications to submanifolds measure and differentiability Valentino It is possible to find the “right measure” on Σ such that Magnani ΘµΣ;N ≡ 1: Area formulae for Lipschitz This is the natural intrinsic
Load more

Recommended publications
  • Geometric Integration Theory Contents
    Steven G. Krantz Harold R. Parks Geometric Integration Theory Contents Preface v 1 Basics 1 1.1 Smooth Functions . 1 1.2Measures.............................. 6 1.2.1 Lebesgue Measure . 11 1.3Integration............................. 14 1.3.1 Measurable Functions . 14 1.3.2 The Integral . 17 1.3.3 Lebesgue Spaces . 23 1.3.4 Product Measures and the Fubini–Tonelli Theorem . 25 1.4 The Exterior Algebra . 27 1.5 The Hausdorff Distance and Steiner Symmetrization . 30 1.6 Borel and Suslin Sets . 41 2 Carath´eodory’s Construction and Lower-Dimensional Mea- sures 53 2.1 The Basic Definition . 53 2.1.1 Hausdorff Measure and Spherical Measure . 55 2.1.2 A Measure Based on Parallelepipeds . 57 2.1.3 Projections and Convexity . 57 2.1.4 Other Geometric Measures . 59 2.1.5 Summary . 61 2.2 The Densities of a Measure . 64 2.3 A One-Dimensional Example . 66 2.4 Carath´eodory’s Construction and Mappings . 67 2.5 The Concept of Hausdorff Dimension . 70 2.6 Some Cantor Set Examples . 73 i ii CONTENTS 2.6.1 Basic Examples . 73 2.6.2 Some Generalized Cantor Sets . 76 2.6.3 Cantor Sets in Higher Dimensions . 78 3 Invariant Measures and the Construction of Haar Measure 81 3.1 The Fundamental Theorem . 82 3.2 Haar Measure for the Orthogonal Group and the Grassmanian 90 3.2.1 Remarks on the Manifold Structure of G(N,M).... 94 4 Covering Theorems and the Differentiation of Integrals 97 4.1 Wiener’s Covering Lemma and its Variants .
    [Show full text]
  • Hausdorff Measure
    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 with its distance function ρ. We introduce Hausdorff Measure as a natural way of assigning sizes to these sets, especially those of smaller \dimension" than X: After an exploration of the salient properties of Hausdorff Measure, we proceed to a definition of Hausdorff dimension, a separate idea of size that allows us a more robust comparison between rough subsets of X. Many of the theorems in this report will be summarized in a proof sketch or shown by visual example. For a more rigorous treatment of the same material, we redirect the reader to Gerald B. Folland's Real Analysis: Modern techniques and their applications. Chapter 11 of the 1999 edition served as our primary reference. 2 Hausdorff Measure 2.1 Measuring low-dimensional subsets of X The need for Hausdorff Measure arises from the need to know the size of lower-dimensional subsets of a metric space. This idea is not as exotic as it may sound. In a high school Geometry course, we learn formulas for objects of various dimension embedded in R3: In Figure 1 we see the line segment, the circle, and the sphere, each with it's own idea of size. We call these length, area, and volume, respectively. Figure 1: low-dimensional subsets of R3: 2 4 3 2r πr 3 πr Note that while only volume measures something of the same dimension as the host space, R3; length, and area can still be of interest to us, especially 2 in applications.
    [Show full text]
  • Construction of Geometric Outer-Measures and Dimension Theory
    Construction of Geometric Outer-Measures and Dimension Theory by David Worth B.S., Mathematics, University of New Mexico, 2003 THESIS Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Science Mathematics The University of New Mexico Albuquerque, New Mexico December, 2006 c 2008, David Worth iii DEDICATION To my lovely wife Meghan, to whom I am eternally grateful for her support and love. Without her I would never have followed my education or my bliss. iv ACKNOWLEDGMENTS I would like to thank my advisor, Dr. Terry Loring, for his years of encouragement and aid in pursuing mathematics. I would also like to thank Dr. Cristina Pereyra for her unfailing encouragement and her aid in completing this daunting task. I would like to thank Dr. Wojciech Kucharz for his guidance and encouragement for the entirety of my adult mathematical career. Moreover I would like to thank Dr. Jens Lorenz, Dr. Vladimir I Koltchinskii, Dr. James Ellison, and Dr. Alexandru Buium for their years of inspirational teaching and their influence in my life. v Construction of Geometric Outer-Measures and Dimension Theory by David Worth ABSTRACT OF THESIS Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Science Mathematics The University of New Mexico Albuquerque, New Mexico December, 2006 Construction of Geometric Outer-Measures and Dimension Theory by David Worth B.S., Mathematics, University of New Mexico, 2003 M.S., Mathematics, University of New Mexico, 2008 Abstract Geometric Measure Theory is the rigorous mathematical study of the field commonly known as Fractal Geometry. In this work we survey means of constructing families of measures, via the so-called \Carath´eodory construction", which isolate certain small- scale features of complicated sets in a metric space.
    [Show full text]
  • Survey of Lebesgue and Hausdorff Measures
    BearWorks MSU Graduate Theses Spring 2019 Survey of Lebesgue and Hausdorff Measures Jacob N. Oliver Missouri State University, [email protected] As with any intellectual project, the content and views expressed in this thesis may be considered objectionable by some readers. However, this student-scholar’s work has been judged to have academic value by the student’s thesis committee members trained in the discipline. The content and views expressed in this thesis are those of the student-scholar and are not endorsed by Missouri State University, its Graduate College, or its employees. Follow this and additional works at: https://bearworks.missouristate.edu/theses Part of the Analysis Commons Recommended Citation Oliver, Jacob N., "Survey of Lebesgue and Hausdorff Measures" (2019). MSU Graduate Theses. 3357. https://bearworks.missouristate.edu/theses/3357 This article or document was made available through BearWorks, the institutional repository of Missouri State University. The work contained in it may be protected by copyright and require permission of the copyright holder for reuse or redistribution. For more information, please contact [email protected]. SURVEY OF LEBESGUE AND HAUSDORFF MEASURES A Master's Thesis Presented to The Graduate College of Missouri State University In Partial Fulfillment Of the Requirements for the Degree Master of Science, Mathematics By Jacob Oliver May 2019 SURVEY OF LEBESGUE AND HAUSDORFF MEASURES Mathematics Missouri State University, May 2019 Master of Science Jacob Oliver ABSTRACT Measure theory is fundamental in the study of real analysis and serves as the basis for more robust integration methods than the classical Riemann integrals. Measure the- ory allows us to give precise meanings to lengths, areas, and volumes which are some of the most important mathematical measurements of the natural world.
    [Show full text]
  • Hausdorff Measure and Level Sets of Typical Continuous Mappings in Euclidean Spaces
    transactions of the american mathematical society Volume 347, Number 5, May 1995 HAUSDORFF MEASURE AND LEVEL SETS OF TYPICAL CONTINUOUS MAPPINGS IN EUCLIDEAN SPACES BERND KIRCHHEIM In memory ofHana Kirchheimová Abstract. We determine the Hausdorff dimension of level sets and of sets of points of multiplicity for mappings in a residual subset of the space of all continuous mappings from R" to Rm . Questions about the structure of level sets of typical (i.e. of all except a set negligible from the point of view of Baire category) real functions on the unit interval were already studied in [2], [1], and also [3]. In the last one the question about the Hausdorff dimension of level sets of such functions appears. The fact that a typical continuous function has all level sets zero-dimensional was commonly known, although it seems difficult to find the first proof of this. The author showed in [9] that in certain spaces of functions the level sets are of dimension one typically and developed in [8] a method to show that in other spaces functions are typically injective on the complement of a zero dimensional set—this yields smallness of all level sets. Here we are going to extend this method to continuous mappings between Euclidean spaces and to determine the size of level sets of typical mappings and the typical multiplicity in case the level sets are finite; see Theorems 1 and 2. We will use the following notation. For M a set and e > 0, U(M, e), resp. B(M, e), is the open, resp.
    [Show full text]
  • 1. Area and Co-Area Formula 1.1. Hausdorff Measure. in This Section
    1. Area and co-area formula 1.1. Hausdorff measure. In this section we will recall the definition of the Hausdorff measure and we will state some of its basic properties. A more detailed discussion is postponed to Section ??. s=2 s Let !s = π =Γ(1 + 2 ), s ≥ 0. If s = n is a positive integer, then !n is volume of the 1 unit ball in Rn. Let X be a metric space. For " > 0 and E ⊂ X we define 1 !s X Hs(E) = inf (diam A )s " 2s i i=1 where the infimum is taken over all possible coverings 1 [ E ⊂ Ai with diam Ai ≤ ": i=1 s Since the function " 7! H"(E) is nonincreasing, the limit s s H (E) = lim H"(E) "!0 exists. Hs is called the Hausdorff measure. It is easy to see that if s = 0, H0 is the counting measure. s P1 s The Hausdorff content H1(E) is defined as the infimum of i=1 ri over all coverings 1 [ E ⊂ B(xi; ri) i=1 s of E by balls of radii ri. It is an easy exercise to show that H (E) = 0 if and only if s H1(E) = 0. Often it is easier to use the Hausdorff content to show that the Hausdorff measure of a set is zero, because one does not have to worry about the diameters of the sets in the covering. The Hausdorff content is an outer measure, but very few sets are s actually measurable, and it is not countably additive on Borel sets.
    [Show full text]
  • Math 595: Geometric Measure Theory
    MATH 595: GEOMETRIC MEASURE THEORY FALL 2015 0. Introduction Geometric measure theory considers the structure of Borel sets and Borel measures in metric spaces. It lies at the border between differential geometry and topology, and services a variety of areas: partial differential equations and the calculus of variations, geometric function theory, number theory, etc. The emphasis is on sets with a fine, irregular structure which cannot be well described by the classical tools of geometric analysis. Mandelbrot introduced the term \fractal" to describe sets of this nature. Dynamical systems provide a rich source of examples: Julia sets for rational maps of one complex variable, limit sets of Kleinian groups, attractors of iterated function systems and nonlinear differential systems, and so on. In addition to its intrinsic interest, geometric measure theory has been a valuable tool for problems arising from real and complex analysis, harmonic analysis, PDE, and other fields. For instance, rectifiability criteria and metric curvature conditions played a key role in Tolsa's resolution of the longstanding Painlev´eproblem on removable sets for bounded analytic functions. Major topics within geometric measure theory which we will discuss include Hausdorff measure and dimension, density theorems, energy and capacity methods, almost sure di- mension distortion theorems, Sobolev spaces, tangent measures, and rectifiability. Rectifiable sets and measures provide a rich measure-theoretic generalization of smooth differential submanifolds and their volume measures. The theory of rectifiable sets can be viewed as an extension of differential geometry in which the basic machinery and tools of the subject (tangent spaces, differential operators, vector bundles) are replaced by approxi- mate, measure-theoretic analogs.
    [Show full text]
  • Modern Real Analysis, Fall 2005, 1
    Modern Real Analysis, Fall 2005, 1 Ilkka Holopainen2 19. helmikuuta 2015 1These lecture notes are based mainly on the notes of Saksman: Moderni reaalianalyysi (1998) and Astala: Moderni reaalianalyysi (2002) 2Please inform about errors [email protected] 2 Modern Real Analysis, Fall 2005 Sis¨alt¨o 1 Measure and integration theory: review 3 1.1 Measures ........................................ 3 1.11 Metricoutermeasure. ....... 5 1.20 Regularity of measures, Radon-measures . ............. 7 1.31 Uniquenessofmeasures . ....... 10 1.36 Extensionofmeasures . ....... 12 1.45 Productmeasures ................................ ..... 15 1.52 Fubini’stheorem ................................ ...... 17 2 Hausdorff measures 23 2.1 Some basic properties of the Hausdorff measure . ............ 23 2.12 Hausdorffdimension .. .. .. .. .. .. .. .. .. ...... 25 2.17 Hausdorff measures in Rn ................................. 27 2.33 Rectifiable and nonrectifiable 1-sets . ............. 34 3 Compactness and convergence theorem for Radon measures of Rn 43 3.1 Riesz’ representation theorem . .......... 43 3.13 Weak convergence of measures . ........ 49 3.17 Compactnessofmeasures . ....... 50 4 On the Hausdorff dimension of fractals 52 4.1 The principle of mass distribution and Frostman’s lemma ............... 52 4.16 Selfsimilarfractals . ......... 57 4.54 Drawing a selfsimilar fractal by way of random walk . .............. 67 4.68Riesz’capacity ................................. ...... 71 printed: 2015-2-19, 0.01 3 1 Measure and integration theory: review 1.1 Measures Let X be a set and let (X)= A: A X P { ⊂ } be the power set of X. Definition 1.2. The collection (X) is a σ-algebra “sigma algebra”) in X, if M ⊂ P (1) ; ∅ ∈ M (2) A Ac = X A ; ∈M ⇒ \ ∈ M (3) A , i N ∞ A . i ∈ M ∈ ⇒ i=1 i ∈ M Example 1.3.
    [Show full text]
  • A Generalization of the Hausdorff Dimension Theorem for Deterministic Fractals
    mathematics Article A Generalization of the Hausdorff Dimension Theorem for Deterministic Fractals Mohsen Soltanifar 1,2 1 Biostatistics Division, Dalla Lana School of Public Health, University of Toronto, 620-155 College Street, Toronto, ON M5T 3M7, Canada; [email protected] 2 Real World Analytics, Cytel Canada Health Inc., 802-777 West Broadway, Vancouver, BC V5Z 1J5, Canada Abstract: How many fractals exist in nature or the virtual world? In this paper, we partially answer the second question using Mandelbrot’s fundamental definition of fractals and their quantities of the Hausdorff dimension and Lebesgue measure. We prove the existence of aleph-two of virtual fractals with a Hausdorff dimension of a bi-variate function of them and the given Lebesgue measure. The question remains unanswered for other fractal dimensions. Keywords: cantor set; fractals; Hausdorff dimension; continuum; aleph-two MSC: 28A80; 03E10 1. Introduction Benoit Mandelbrot (1924–2010) coined the term fractal and its dimension in his 1975 essay on the quest to present a mathematical model for self-similar, fractured ge- ometric shapes in nature [1]. Both nature and the virtual world have prominent examples Citation: Soltanifar, M. A of fractals: some natural examples include snowflakes, clouds and mountain ranges, while Generalization of the Hausdorff some virtual instances are the middle third Cantor set, the Sierpinski triangle and the Dimension Theorem for Deterministic Vicsek fractal. A key element in the definition of the term fractal is its dimension usually Fractals. Mathematics 2021, 9, 1546. indexed by the Hausdorff dimension. This dimension has played vital roles in develop- https://doi.org/10.3390/math9131546 ing the concept of fractal dimension and the definition of the term fractal and has had extensive applications [2–5].
    [Show full text]
  • Nonstandard Approach to Hausdorff Measure Theory and an Analysis Of
    Nonstandard Approach to Hausdorff Measure Theory and An Analysis of Some Sets of Dimension Less Than 1 Mee Seong Im December 2004 University of Birmingham Research Archive e-theses repository This unpublished thesis/dissertation is copyright of the author and/or third parties. The intellectual property rights of the author or third parties in respect of this work are as defined by The Copyright Designs and Patents Act 1988 or as modified by any successor legislation. Any use made of information contained in this thesis/dissertation must be in accordance with that legislation and must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the permission of the copyright holder. Abstract We study various measure theories using the classical approach and then compute the Hausdorff dimension of some simple objects and self-similar fractals. We then develop a nonstandard approach to these measure theories and examine the Hausdorff measure in more detail. We choose to study Hausdorff measure over any other measures since it is well-defined for all sets, and widely used in many different areas in mathematics, physics, probability theory, and so forth. Finally we generate a particular set and compute its upper and lower Hausdorff dimension. We compare our set with box-counting dimension and other well-known fractal behaviors to analyze the set in a greater detail. Contents 1 Introduction 3 2 Basics of Nonstandard Analysis 5 2.1 Nonstandard Real Numbers . 5 2.2 What is an Infinitesimal? . 7 2.3 Nonstandard Superstructure . 8 2.4Lo´s’Theorem . 10 2.5 Internal Sets .
    [Show full text]
  • The Geometry of Fractal Sets
    1 Measure and dimension 1.1 Basic measure theory This section contains a condensed account of the basic measure theory we require. More complete treatments may be found in Kingman & Taylor (1966) or Rogers (1970). Let X be any set. (We shall shortly take X to be n-dimensional Euclidean space Un.) A non-empty collection ¥ of subsets of X is termed a sigma-field (or o-field) if 9* is closed under complementation and under countable union (so if Es9, then X\Ee9 and if £ t , E2,.. .€&, then (JJL x EpSf\ A little elementary set theory shows that a a-field is also closed under countable intersection and under set difference and, further, that X and the null set 0 are in Sf. The lower and upper limits of a sequence of sets {Ej} are defined as !im£,= U C\EJ j^oo k=lj = k and Thus lim Ej consists of those points lying in all but finitely many Ej9 and lim Ej consists of those points in infinitely many E}. From the form of these definitions it is clear that if Ej lies in the a-field Sf for each j , then Hm Ej, limEjE^. If lim Ej = lim Ej, then we write lim Ej for the common value; this always happens if {Ej} is either an increasing or a decreasing sequence of sets. Let # be any collection of subsets of X. Then the d-field generated by #, written Sf ( # ) , is the intersection of all c-fields containing #. A straightfor- ward check shows that Sf {%>) is itself a a-field which may be thought of as the 'smallest' c-field containing (€.
    [Show full text]
  • HAUSDORFF DIMENSION and ITS APPLICATIONS 1. Hausdorff
    HAUSDORFF DIMENSION AND ITS APPLICATIONS JAY SHAH Abstract. The theory of Hausdorff dimension provides a general notion of the size of a set in a metric space. We define Hausdorff measure and dimension, enumerate some techniques for computing Hausdorff dimension, and provide applications to self-similar sets and Brownian motion. Our approach follows that of Stein [4] and Peres [3]. Contents 1. Hausdorff measure and dimension 1 2. Computing Hausdorff dimension 3 3. Self-similar sets 6 4. Brownian motion 8 References 10 1. Hausdorff measure and dimension The theory of Hausdorff measure and dimension was invented in order to provide a notion of size not captured by existing theories, such as that of Lebesgue measure. The idea is measure the size of a set through choosing some -dependent measure which selects sets of dimension . From the perspective of , sets of dimension < should be `small', i.e. have measure zero, and sets of dimension > should be `large', i.e. have measure 1. Lebesgue measure accomplishes this, but only in Rd. Moreover, Lebesgue measure can only give an integer value for dimension, and hence misses out on some structure. Hausdorff measure takes the idea of looking at the volume of coverings by rectangles and generalizes it to arbitrary metric spaces and fractional . Notation 1.1. We write jEj to denote the diameter of a set E. Definition 1.2. Let E ⊂ X be a subset of a metric space. For every ; ≥ 0, P1 S ∗ let H := inf f i=1 jFij : E ⊂ Fi; jFij < g. Then m (E) := sup H (E) = ≥0 lim H (E) is the -Hausdorff content of the set E.
    [Show full text]