Structure theorems for Radon measures
|
|
- Allison Townsend
- 6 years ago
- Views:
Transcription
1 Structure theorems for Radon measures Matthew Badger Department of Mathematics University of Connecticut Analysis on Metric Spaces University of Pittsburgh March 10 11, 2017 Research Partially Supported by NSF DMS ,
2 Decomposition of Measures Geometric Measure Theory: Understand a measure on a space through its interaction with canonical sets in the space Let (, M, µ) be a measure space Let N M be a family of measurable sets µ is carried by N if there exist countably many sets Γ N such that µ ( \ Γ ) = 0 µ is singular to N if µ(γ) = 0 for every Γ N Exercise (Decomposition Lemma) If µ is σ-finite, then µ can be written uniquely as µ N + µ N where µ N is carried by N and µ N is singular to N Proof of the Decomposition Theorem is abstract nonsense Identification Problem: Find measure-theoretic and/or geometric characterizations or constructions of µ N and µ N?
3 PSA: Don t Think About Support Three Measures Let > 0 be weights with =1 = 1 Let { : 1}, {l : 1}, { : 1} be a dense set of points, unit line segments, unit squares in the plane µ 0 = =1 δ µ 1 = =1 1 l µ 2 = =1 2 µ 0, µ 1, µ 2 are probability measures on R 2 µ is smallest closed set carrying µ; µ 0 = µ 1 = µ 2 = R 2 µ is carried by -dimensional sets (points, lines, squares) The support of a measure is a rough approximation that hides the underlying structure of a measure
4 Example: Atomic Measures vs Atomless Measures A Radon measure is a locally finite, Borel regular outer measure Let µ be a Radon measure on R Then we can write µ = µ 0 + µ 0, where µ 0 is carried by singletons (ie µ 0 is atomic) µ 0 is singular to singletons (ie µ 0 is atomless) How can you identify µ 0 and µ 0? µ 0 = µ { R : 0 µ( (, )) > 0} µ 0 = µ { R : 0 µ( (, )) = 0} µ denotes the restriction of µ to : (µ )( ) = µ( )
5 1-Rectifiable and Purely 1-Unrectifiable Measures A singleton { } has the following properties: { } is connected, compact, H 0 ({ }) < A candidate Γ for a 1-dimensional atom might satisfy: Γ is connected, compact, H 1 (Γ) < Theorem A set Γ R is connected, compact, and H 1 (Γ) < if and only if there exists a Lipschitz map : [0, 1] R such that Γ = ([0, 1]) A connected, compact set Γ R with H 1 (Γ) < is called a rectifiable curve or Lipschitz curve Decomposition: Let µ be a Radon measure on R Then µ = µ 1 + µ 1, where µ 1 is carried by rectifiable curves (µ 1 is 1-rectifiable) µ 1 is singular to rectifiable curves (µ 1 is purely 1-unrectifiable)
6 Identification Problem for µ 1 and µ 1 If R and H 1 ( ) <, then 1 H 1 ( (, )) H 1 -ae Solution for Hausdorff measures: Theorem (Besicovitch 1928,1938) Let µ = H 1, where R 2 and 0 < H 1 ( ) < Then µ 1 = µ { } R 2 µ( (, )) : = = µ { R 2 : has a tangent line at } µ 1 = µ = µ { R 2 µ( (, )) : 3 } { R 2 : does not have a tangent line at }
7 Identification Problem for µ 1 and µ 1 Let µ be a Radon measure on R The following are equivalent: µ H 1 (ie H 1 ( ) = 0 µ( ) = 0) µ( (, )) 0 < at µ-ae R 2 Solution for absolutely continuous measures: Theorem (Morse and Randolph 1944) Let µ be a Radon measure on R 2 with µ H 1 Then µ 1 = µ { } R 2 µ( (, )) : 0 < < 0 2 = µ { R 2 : has a µ-approximate tangent line at } µ 1 = µ = µ { } R 2 µ( (, )) : 1 µ( (, )) { R 2 : does not have a µ-approximate tangent line at }
8 Examples I For 1, let be a subset of a rectifiable curve Γ R µ = =1 H1 is a finite 1-rectifiable measure, µ H 1 Let be the Cantor middle-third set and let µ = H {0}, where = (2)/ (3) is the Hausdorff dimension of µ is 1-rectifiable measure with µ( (, )) for all µ and 0 < 1; and µ H 1 µ( (, )) and 0 2 = µ-ae
9 Examples II Lebesgue measure on R is purely 1-unrectifiable for all 2 (This is obvious!) Let R 2 be the 4 corners Cantor set, = =0 is Ahlfors regular: H 1 ( (, )) for all, 0 < 1 Every rectifiable curve Γ = ([0, 1]) R 2 intersects in a set of zero H 1 measure H 1 is a purely 1-unrectifiable measure on R 2
10 Examples III Let λ R 2 be the generalized 4 corners Cantor set, where 0 < λ 1/2 is the scaling factor (λ = 1/5) has Hausdorff dimension = (4)/ (1/λ) H ( λ (, )) for all λ and 0 < 1 When λ = 1/2, = 2 and H is just Lebesgue measure restricted to the unit square If 1/4 λ 1/2, then H λ is purely 1-unrectifiable If 0 < λ < 1/4, then H λ is 1-rectifiable see eg Martin and Mattila (1988)
11 Examples IV Theorem (Garnett-Killip-Schul 2010) There exist a Radon measure µ on R 2 with µ = R 2 such that µ is doubling (µ( (, 2 )) µ( (, ))), µ H 1, and µ is 1-rectifiable
12 Examples IV Theorem (Garnett-Killip-Schul 2010) There exist a Radon measure µ on R 2 with µ = R 2 such that µ is doubling (µ( (, 2 )) µ( (, ))), µ H 1, and µ is 1-rectifiable
13 Examples IV Theorem (Garnett-Killip-Schul 2010) There exist a Radon measure µ on R 2 with µ = R 2 such that µ is doubling (µ( (, 2 )) µ( (, ))), µ H 1, and µ is 1-rectifiable
14 Examples IV Theorem (Garnett-Killip-Schul 2010) There exist a Radon measure µ on R 2 with µ = R 2 such that µ is doubling (µ( (, 2 )) µ( (, ))), µ H 1, and µ is 1-rectifiable
15 Examples IV Theorem (Garnett-Killip-Schul 2010) There exist a Radon measure µ on R 2 with µ = R 2 such that µ is doubling (µ( (, 2 )) µ( (, ))), µ H 1, and µ is 1-rectifiable
16 Examples IV Theorem (Garnett-Killip-Schul 2010) There exist a Radon measure µ on R 2 with µ = R 2 such that µ is doubling (µ( (, 2 )) µ( (, ))), µ H 1, and µ is 1-rectifiable
17 Examples IV Theorem (Garnett-Killip-Schul 2010) There exist a Radon measure µ on R 2 with µ = R 2 such that µ is doubling (µ( (, 2 )) µ( (, ))), µ H 1, and µ is 1-rectifiable
18 Examples IV Theorem (Garnett-Killip-Schul 2010) There exist a Radon measure µ on R 2 with µ = R 2 such that µ is doubling (µ( (, 2 )) µ( (, ))), µ H 1, and µ is 1-rectifiable
19 Examples IV Theorem (Garnett-Killip-Schul 2010) There exist a Radon measure µ on R 2 with µ = R 2 such that µ is doubling (µ( (, 2 )) µ( (, ))), µ H 1, and µ is 1-rectifiable µ( (, )) 0 = µ-ae 2 1 ( ) 1 µ( (, )) 2 < µ-ae 0 (see B-Schul 2016) µ(γ) = 0 whenever Γ = ([0, 1]) and : [0, 1] R 2 is bi-lipschitz Nevertheless there exist Lipschitz maps ( : [0, 1] R 2 such ) that µ R 2 \ ([0, 1]) = 0 =1
20 Identification Problem for µ 1 and µ 1 A Radon measure µ on R is doubling if µ( (, 2 )) µ( (, )) for all µ and > 0 Solution for doubling measures with connected supports: Theorem (Azzam-Mourgoglou 2016) Let µ be a doubling measure on R such that µ is connected Then { } µ 1 = µ R µ( (, )) : > µ 1 = µ { } R µ( (, )) : = Azzam and Mourgoglou s main result applies to doubling measures with connected supports on arbitrary metric spaces
21 Non-homogeneous 2 Jones β numbers Let µ be a Radon measure on R For every cube, define β 2 (µ, 3 ) = line β 2 (µ, 3, ) [0, 1], where β 2 (µ, 3, ) 2 = 3 ( (, ) 3 ) 2 µ( ) µ(3 ) Non-homogeneous refers to the normalization 1/µ(3 )
22 Identification Problem for µ 1 and µ 1 A Radon measure µ on R is pointwise doubling if 0 µ( (, 2 )) µ( (, )) < at µ-ae R Solution for pointwise doubling measures: Theorem (B and Schul 2017) Let µ be a pointwise doubling measure on R Then { µ 1 = µ R : } 2 (µ, ) < { µ 1 = µ R : } 2 (µ, ) = Here 2 (µ, ) is a non-homogeneous 2 Jones square function: 2 (µ, ) = dyadic 1 β 2 (µ, 3 ) 2 µ( ) χ ( )
23 Interpretation Let µ be a pointwise doubling measure on R Then µ is 1-rectifiable iff 2(µ, ) = dyadic 1 β 2(µ, 3 ) 2 µ( ) χ ( ) < µ-ae Extreme Behaviors Suppose 0 < 0 µ( (, )) 2 0 µ( (, )) 2 Then µ is 1-rectifiable if and only if β 2(µ, 3 ) 2 χ ( ) < µ-ae < µ-ae dyadic 1 When µ = H 1, R compact, this was proved by Pajot (1997) Suppose µ has is badly linearly approximable in the sense β 2(µ, 3 ) > 0 µ-ae Then µ is 1-rectifiable if and only if dyadic 1 µ( ) χ ( ) < µ-ae
24 Examples V Theorem (Martikainen and Orponen, arxiv 2016) For all ε > 0, there exists a probability measure µ on R 2 with µ [0, 1] 2 such that 1 pointwise non-doubling: 0 µ( (, 2 )) µ( (, )) = µ-ae µ( (, )) 2 vanishing lower density: 0 = 0 µ-ae 2 3 uniformly bounded square function: 2 (µ, ) = dyadic 1 2 β 2 (µ, 3 ) µ( ) χ ( ) ε for all µ Interpretation: vanishing lower density implies that µ is purely 1-unrectifiable cannot hope to characterize rectifiability of a Radon measure using only non-homogeneous square function 2 (µ, )
25 Anisotropic 2 Jones β numbers Given dyadic cube in R, ( ) denotes a subdivision of 1600 into overlapping dyadic cubes of same / previous (larger) generation as For every Radon measure µ on R and every dyadic cube, we define β 2 (µ, ) 2 = line ( ) β 2(µ, 3, ) 2 3 [0, 1], where β 2(µ, 3, ) 2 3 = 3 ( ) 2 ( ) (, ) µ(3 ) µ( ) 1, 3 3 µ(3 )
26 Identification Problem for µ 1 and µ 1 Solution for Radon measures: Theorem (B and Schul 2017) Let µ be a Radon measure on R Then { } µ 1 = µ R µ( (, )) : > 0 and 2 (µ, ) < 0 2 µ 1 = µ { } R µ( (, )) : = 0 or 2 (µ, ) = 0 2 Here 2 (µ, ) is an anisotropic 2 Jones square function: 2 (µ, ) = dyadic 1 β 2(µ, ) 2 µ( ) χ ( )
27 Main Takeaway Corollary A Radon measure µ on R is 1-rectifiable if and only if at µ-ae, µ( (, )) 0 > 0 and 2 2 (µ, ) = dyadic 1 β 2 (µ, ) 2 µ( ) χ ( ) < A Radon measure µ on R is purely 1-rectifiable if and only if at µ-ae, µ( (, )) 0 = 0 or 2 2 (µ, ) = dyadic 1 β 2 (µ, ) 2 µ( ) χ ( ) = Takeaway: To understand geometric properties of non-doubling measures (such as rectifiability) using multiscale analysis, it may be convenient or necessary to incorporate anisotropic normalizations
28 Proof Ingredient: Drawing Rectifiable Curves Theorem (B and Schul 2017) Let 2, let > 1, let 0 R, and let 0 > 0 Let ( ) =0 be a sequence of nonempty finite subsets of ( 0, 0 ) such that 1 distinct points, are uniformly separated: 2 0 ; 2 for all, there exists such that +1 < 2 0 ; and, 3 for all ( 1), there exists 1 1 such that 1 < 2 0 Suppose that for all 1 and for all we are given a straight line l, in R and a number α, 0 such that (, l, ) α, 2 0 (1) ( 1 ) (, ) and α 2, 2 0 < (2) =1 Then the sets converge in the Hausdorff metric to a compact set ( 0, 0 ) and there exists a compact, connected set Γ ( 0, 0 ) such that Γ and H 1 (Γ), 0 + α 2, 2 0 (3) =1 This is a flexible criterion for drawing a rectifiable curve through the leaves of a tree; extends P Jones Traveling Salesman construction (Inventiones 1990), which required +1 Our write-up separates relatively simple description of the curve from the intricate length estimates
29 Sample of Higher Dimensional Results I A Radon measure µ on R is -rectifiable if µ(r \ Γ ) = 0 for some sequence of images Γ of Lipschitz maps : [0, 1] R That is, a Radon measure is -rectifiable provided it is carried by Lipschitz images of -cubes Theorem (Preiss 1987) Assume 0 µ( (, )) < µ-ae (or equivalently, µ H ) Then µ is -rectifiable if and only if 0 < 0 µ( (, )) < Preiss introduced tangent measures and studied global geometry of -uniform measures in R New examples of 3-uniform measures in R have been announced by Nimer on the arxiv in August 2016!!!!!
30 Sample of Higher Dimensional Results II A Radon measure µ on R is -rectifiable if µ(r \ Γ ) = 0 for some sequence of images Γ of Lipschitz maps : [0, 1] R Theorem (Azzam-Tolsa + Tolsa 2015) µ( (, )) Assume 0 < 0 < µ-ae Then µ is -rectifiable if and only if the homogeneous 2 Jones function 2 (µ, ) = 1 0 β ( ) 2 (µ, (, )) 2 µ( (, )) < µ-ae One ingredient in Azzam-Tolsa s proof is David and Toro s version of the Reifenberg algorithm for sets with holes Edelen-Naber-Valtorta announced an extension of Azzam-Tolsa on the arxiv in December 2016
31 Understanding higher-dim rectifiability is hard A Radon measure µ on R is -rectifiable if µ(r \ Γ ) = 0 for some sequence of images Γ of Lipschitz maps : [0, 1] R This definition is due to Federer (1947) When 2, it is not clear if Lipschitz images of [0, 1] is the correct family N of -dimensional sets The catastrophe: If : [0, 1] R is Lipschitz, then Γ = ([0, 1] ) is connected, compact, and H (Γ) < But the converse is false when 2! Open Problem: Find additional metric, geometric, and/or topological conditions which ensure that a compact, connected set R with H 2 ( ) < is contained in the image of a Lipschitz map : [0, 1] 2 R
32 Related developments Azzam and Schul, The Analyst s Traveling Salesman Theorem for sets of dimension larger than one, arxiv 2016 Novel definition of higher-dimensional beta numbers of sets using the Choquet integral Results include a characterization of subsets of Reifenberg vanishing bi-lipschitz surfaces that is similar to Jones TST K Rajala, Uniformization of two-dimensional metric surfaces, Inventiones 2016 Gives an intrinsic characterization of metric spaces with locally finite H 2 measure that are quasiconformally equivalent to R 2 Does not immediately extend to higher dimensions
33 Current Project (w/ Vellis): Non-integral Dimensions For each [1, ], let N denote all (1/ )-Hölder curves in R, ie all images Γ of (1/ )-Hölder continuous maps : [0, 1] R Decomposition: Every Radon measure µ on R can be uniquely written as µ = µ N + µ N, where µ N is carried by (1/ )-Hölder curves µ N Notes is singular to (1/ )-Hölder curves Every measure µ on R is carried by (1/ )-Hölder curves (space-filling curves) A measure µ is carried by 1-Hölder curves iff µ is 1-rectifiable If µ is -rectifiable, then µ is carried by (1/ )-Hölder curves Martín and Mattila (1988,1993,2000) studied this concept for measures µ of the form µ = H, where 0 < H ( ) <
34 Measures with extreme lower densities Theorem (B-Vellis, in preparation) Let µ be a Radon measure on R and let (1, ) Then the measure } µ { := µ R µ( (, )) : = is singular to (1/ )-Hölder curves, ie µ (Γ) = 0 whenever Γ is a (1/ )-Hölder 0 curve; and, the measure 1 } µ { := µ R µ( (, 2 )) : < and µ( (, )) 0 µ( (, )) < 0 is carried by H null sets of (1/ )-Hölder curves, ie there exist (1/ )-Hölder curves and Borel sets Γ with H ( ) = 0 such that µ (R \ =1 ) = 0 1 The condition 0 µ( (, )) < implies µ( (, )) 0 = The theorem is also true when = 1 by B-Schul (2015, 2016)
35 Further results Corollary (B-Vellis, in preparation) Let µ be a Radon measure on R, let [1, ), and let [0, ) Then the measure µ + := µ { } R µ( (, )) µ( (, )) : 0 < < 0 0 is carried by H null sets of (1/ )-Hölder curves Theorem (B-Vellis, in preparation) Let µ be a Radon measure on R and let [0, 1) Then the measure µ + is carried by H 1 null sets of bi-lipschitz curves, ie there exist bi-lipschitz curves Γ and Borel sets Γ with H 1 ( ) = 0 st µ +(R \ =1 ) = 0 Martìn and Mattila (1988): If 0 < H ( ) < for some [0, 1) and 0 H ( (, )) > 0 at H -ae, then H is 1-rectifiable
36 Thank you!
Open Problems about Curves, Sets, and Measures
Open Problems about Curves, Sets, and Measures Matthew Badger University of Connecticut Department of Mathematics 8th Ohio River Analysis Meeting University of Kentucky in Lexington March 24 25, 2018 Research
More informationTWO SUFFICIENT CONDITIONS FOR RECTIFIABLE MEASURES
TWO SUFFICIENT CONDITIONS FOR RECTIFIABLE MEASURES MATTHEW BADGER AND RAANAN SCHUL Abstract. We identify two sufficient conditions for locally finite Borel measures on R n to give full mass to a countable
More informationTWO SUFFICIENT CONDITIONS FOR RECTIFIABLE MEASURES
TWO SUFFICIENT CONDITIONS FOR RECTIFIABLE MEASURES MATTHEW BADGER AND RAANAN SCHUL Abstract. We identify two sufficient conditions for locally finite Borel measures on R n to give full mass to a countable
More informationTangents and dimensions of. metric spaces
Tangents and dimensions of metric spaces Tapio Rajala University of Jyväskylä tapio.m.rajala@jyu.fi Winter School Workshop: New developments in Optimal Transport, Geometry and Analysis Bonn, February 26th,
More informationMULTISCALE ANALYSIS OF 1-RECTIFIABLE MEASURES: NECESSARY CONDITIONS
MULTISCAL ANALYSIS OF 1-RCTIFIABL MASURS: NCSSARY CONDITIONS MATTHW BADGR AND RAANAN SCHUL Abstract. We repurpose tools from the theory of quantitative rectifiability to study the qualitative rectifiability
More informationCones of measures. Tatiana Toro. University of Washington. Quantitative and Computational Aspects of Metric Geometry
Cones of measures Tatiana Toro University of Washington Quantitative and Computational Aspects of Metric Geometry Based on joint work with C. Kenig and D. Preiss Tatiana Toro (University of Washington)
More informationarxiv: v1 [math.ca] 25 Jul 2017
SETS WITH ARBITRARILY SLOW FAVARD LENGTH DECAY BOBBY WILSON arxiv:1707.08137v1 [math.ca] 25 Jul 2017 Abstract. In this article, we consider the concept of the decay of the Favard length of ε-neighborhoods
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationX. Tolsa: Analytic capacity, the Cauchy transform, and nonhomogeneous 396 pp
X. Tolsa: Analytic capacity, the Cauchy transform, and nonhomogeneous Calderón-Zygmund theory. Birkhäuser, 2014, 396 pp Heiko von der Mosel, Aachen heiko@instmath.rwth-aachen.de What is analytic capacity?
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 informationarxiv: v2 [math.ca] 15 Jan 2014
DYNAMICS OF THE SCENERY FLOW AND GEOMETRY OF MEASURES ANTTI KÄENMÄKI, TUOMAS SAHLSTEN, AND PABLO SHMERKIN Dedicated to Professor Pertti Mattila on the occasion of his 65th birthday arxiv:1401.0231v2 [math.ca]
More information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More informationRaanan Schul Yale University. A Characterization of Subsets of Rectifiable Curves in Hilbert Space p.1/53
A Characterization of Subsets of Rectifiable Curves in Hilbert Space Raanan Schul Yale University A Characterization of Subsets of Rectifiable Curves in Hilbert Space p.1/53 Motivation Want to discuss
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationQuasispheres and Bi-Lipschitz Parameterization
Quasispheres and Bi-Lipschitz Parameterization Matthew Badger Stony Brook University September 15, 2012 This research was partially supported by DMS-0838212. The speaker is currently supported by an NSF
More informationRectifiability of sets and measures
Rectifiability of sets and measures Tatiana Toro University of Washington IMPA February 7, 206 Tatiana Toro (University of Washington) Structure of n-uniform measure in R m February 7, 206 / 23 State of
More informationBehaviour of Lipschitz functions on negligible sets. Non-differentiability in R. Outline
Behaviour of Lipschitz functions on negligible sets G. Alberti 1 M. Csörnyei 2 D. Preiss 3 1 Università di Pisa 2 University College London 3 University of Warwick Lars Ahlfors Centennial Celebration Helsinki,
More informationHausdorff Measures and Perfect Subsets How random are sequences of positive dimension?
Hausdorff Measures and Perfect Subsets How random are sequences of positive dimension? Jan Reimann Institut für Informatik, Universität Heidelberg Hausdorff Measures and Perfect Subsets p.1/18 Hausdorff
More informationReal Analysis II, Winter 2018
Real Analysis II, Winter 2018 From the Finnish original Moderni reaalianalyysi 1 by Ilkka Holopainen adapted by Tuomas Hytönen January 18, 2018 1 Version dated September 14, 2011 Contents 1 General theory
More informationReminder Notes for the Course on Measures on Topological Spaces
Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie
More information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationarxiv: v1 [math.mg] 19 Dec 2017
PURELY UNRECTIFIABLE METRIC SPACES AND PERTURBATIONS OF LIPSCHITZ FUNCTIONS DAVID BATE arxiv:1712.07139v1 [math.mg] 19 Dec 2017 Abstract. We characterise purely n-unrectifiable subsets S of a complete
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationA Quantitative Implicit Function Theorem for Lipschitz Functions
A Quantitative Implicit Function Theorem for Lipschitz Functions Jonas Azzam, University of Washington-Seattle (MSRI) work with Raanan Schul September 11, 2011 A Dumb Example Motivation Fibers Implicit
More informationOn the differentiability of Lipschitz functions with respect to measures in the Euclidean space
[version: August 11, 2014] On the differentiability of Lipschitz functions with respect to measures in the Euclidean space Giovanni Alberti and Andrea Marchese Abstract. Rademacher theorem states that
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationMeasure Theory. John K. Hunter. Department of Mathematics, University of California at Davis
Measure Theory John K. Hunter Department of Mathematics, University of California at Davis Abstract. These are some brief notes on measure theory, concentrating on Lebesgue measure on R n. Some missing
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationTHE ANALYST S TRAVELING SALESMAN THEOREM IN GRAPH INVERSE LIMITS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 42, 2017, 649 692 THE ANALYST S TRAVELING SALESMAN THEOREM IN GRAPH INVERSE LIMITS Guy C. David and Raanan Schul New York University, Courant Institute
More informationfor all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.
viii 3.A. FUNCTIONS 77 Appendix In this appendix, we describe without proof some results from real analysis which help to understand weak and distributional derivatives in the simplest context of functions
More informationA NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES
A NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES VASILIS CHOUSIONIS AND MARIUSZ URBAŃSKI Abstract. We prove that in any metric space (X, d) the singular integral operators Tµ,ε(f)(x) k
More informationand BV loc R N ; R d)
Necessary and sufficient conditions for the chain rule in W 1,1 loc R N ; R d) and BV loc R N ; R d) Giovanni Leoni Massimiliano Morini July 25, 2005 Abstract In this paper we prove necessary and sufficient
More informationUNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES
MATH. SCAND. 90 (2002), 152 160 UNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES BERND KIRCHHEIM and DAVID PREISS For every complete metric space X there is, up to a constant multiple, at most one Borel
More information10 Typical compact sets
Tel Aviv University, 2013 Measure and category 83 10 Typical compact sets 10a Covering, packing, volume, and dimension... 83 10b A space of compact sets.............. 85 10c Dimensions of typical sets.............
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationWHICH MEASURES ARE PROJECTIONS OF PURELY UNRECTIFIABLE ONE-DIMENSIONAL HAUSDORFF MEASURES
WHICH MEASURES ARE PROJECTIONS OF PURELY UNRECTIFIABLE ONE-DIMENSIONAL HAUSDORFF MEASURES MARIANNA CSÖRNYEI AND VILLE SUOMALA Abstract. We give a necessary and sufficient condition for a measure µ on the
More informationNOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS
NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationIntroduction to Geometric Measure Theory
Introduction to Geometric easure Theory Leon Simon 1 Leon Simon 2014 1 The research described here was partially supported by NSF grants DS-9504456 & DS 9207704 at Stanford University Contents 1 Preliminary
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
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 informationMeasure and integration
Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.
More informationON A MEASURE THEORETIC AREA FORMULA
ON A MEASURE THEORETIC AREA FORMULA VALENTINO MAGNANI Abstract. We review some classical differentiation theorems for measures, showing how they can be turned into an integral representation of a Borel
More informationON THE VOLUME MEASURE OF NON-SMOOTH SPACES WITH RICCI CURVATURE BOUNDED BELOW
ON THE VOLUME MEASURE OF NON-SMOOTH SPACES WITH RICCI CURVATURE BOUNDED BELOW MARTIN KELL AND ANDREA MONDINO Abstract. We prove that, given an RCD (K, N)-space (X, d, m), then it is possible to m-essentially
More informationSummary of Real Analysis by Royden
Summary of Real Analysis by Royden Dan Hathaway May 2010 This document is a summary of the theorems and definitions and theorems from Part 1 of the book Real Analysis by Royden. In some areas, such as
More informationThe Gauss-Green Formula (And Elliptic Boundary Problems On Rough Domains) Joint Work with Steve Hofmann and Marius Mitrea
The Gauss-Green Formula And Elliptic Boundary Problems On Rough Domains) Joint Work with Steve Hofmann and Marius Mitrea Dirichlet Problem on open in a compact Riemannian manifold M), dimension n: ) Lu
More informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
More informationSINGULAR INTEGRALS ON SIERPINSKI GASKETS
SINGULAR INTEGRALS ON SIERPINSKI GASKETS VASILIS CHOUSIONIS Abstract. We construct a class of singular integral operators associated with homogeneous Calderón-Zygmund standard kernels on d-dimensional,
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
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 informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationIsodiametric problem in Carnot groups
Conference Geometric Measure Theory Université Paris Diderot, 12th-14th September 2012 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Isodiametric
More informationAN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano
AN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano Contents I. Recalls and complements of measure theory.
More informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationThe isomorphism problem of Hausdorff measures and Hölder restrictions of functions
The isomorphism problem of Hausdorff measures and Hölder restrictions of functions Theses of the doctoral thesis András Máthé PhD School of Mathematics Pure Mathematics Program School Leader: Prof. Miklós
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationAbstract Measure Theory
2 Abstract Measure Theory Lebesgue measure is one of the premier examples of a measure on R d, but it is not the only measure and certainly not the only important measure on R d. Further, R d is not the
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More informationReview of measure theory
209: Honors nalysis in R n Review of measure theory 1 Outer measure, measure, measurable sets Definition 1 Let X be a set. nonempty family R of subsets of X is a ring if, B R B R and, B R B R hold. bove,
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationFilters in Analysis and Topology
Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into
More informationHomework in Topology, Spring 2009.
Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher
More informationFUNDAMENTALS OF REAL ANALYSIS
ÜO i FUNDAMENTALS OF REAL ANALYSIS James Foran University of Missouri Kansas City, Missouri Marcel Dekker, Inc. New York * Basel - Hong Kong Preface iii 1.1 Basic Definitions and Background Material 1
More informationConstruction of a general measure structure
Chapter 4 Construction of a general measure structure We turn to the development of general measure theory. The ingredients are a set describing the universe of points, a class of measurable subsets along
More informationGeometric intuition: from Hölder spaces to the Calderón-Zygmund estimate
Geometric intuition: from Hölder spaces to the Calderón-Zygmund estimate A survey of Lihe Wang s paper Michael Snarski December 5, 22 Contents Hölder spaces. Control on functions......................................2
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 information212a1214Daniell s integration theory.
212a1214 Daniell s integration theory. October 30, 2014 Daniell s idea was to take the axiomatic properties of the integral as the starting point and develop integration for broader and broader classes
More informationMetric Structures for Riemannian and Non-Riemannian Spaces
Misha Gromov with Appendices by M. Katz, P. Pansu, and S. Semmes Metric Structures for Riemannian and Non-Riemannian Spaces Based on Structures Metriques des Varietes Riemanniennes Edited by J. LaFontaine
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More informationDifferentiation of Measures and Functions
Chapter 6 Differentiation of Measures and Functions This chapter is concerned with the differentiation theory of Radon measures. In the first two sections we introduce the Radon measures and discuss two
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More information1.A Topological spaces The initial topology is called topology generated by (f i ) i I.
kechris.tex December 12, 2012 Classical descriptive set theory Notes from [Ke]. 1 1 Polish spaces 1.1 Topological and metric spaces 1.A Topological spaces The initial topology is called topology generated
More informationNotation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b
Notation General Notation Description See a b & a b The minimum and the maximum of a and b a + & a f S u The non-negative part, a 0, and non-positive part, (a 0) of a R The restriction of the function
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationHAUSDORFF DIMENSION OF METRIC SPACES AND LIPSCHITZ MAPS ONTO CUBES
HAUSDORFF DIMENSION OF METRIC SPACES AND LIPSCHITZ MAPS ONTO CUBES Abstract. We prove that a compact metric space (or more generally an analytic subset of a complete separable metric space) of Hausdorff
More informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More informationMotivation Preliminaries for Modern Results Modern Results Summary. Analytic Capacity. Tarun Chitra
Outline 1 Removable Sets Analytic Condition for Removability 2 Hausdorff Measure and Hausdorff Measure Rectifiability 3 Hausdorff Measure and Outline Basic Problem Analytic Condition for Removability 1
More informationFUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions
FUNDAMNTALS OF RAL ANALYSIS by Doğan Çömez IV. DIFFRNTIATION AND SIGND MASURS IV.1. Differentiation of Monotonic Functions Question: Can we calculate f easily? More eplicitly, can we hope for a result
More informationMATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES
MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of
More informationMASS TRANSFERENCE PRINCIPLE: FROM BALLS TO ARBITRARY SHAPES. 1. Introduction. limsupa i = A i.
MASS TRANSFERENCE PRINCIPLE: FROM BALLS TO ARBITRARY SHAPES HENNA KOIVUSALO AND MICHA L RAMS arxiv:1812.08557v1 [math.ca] 20 Dec 2018 Abstract. The mass transference principle, proved by Beresnevich and
More informationINTRINSIC LIPSCHITZ GRAPHS AND VERTICAL β-numbers IN THE HEISENBERG GROUP
INTRINSIC LIPSCHITZ GRAPHS AND VERTICAL β-numbers IN THE HEISENBERG GROUP VASILEIOS CHOUSIONIS, KATRIN FÄSSLER AND TUOMAS ORPONEN ABSTRACT. The purpose of this paper is to introduce and study some basic
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 informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
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 informationGeometry and the Dirichlet Problem in Any Co-dimension
Geometry and the Dirichlet Problem in Any Co-dimension Max Engelstein (joint work with G. David (U. Paris Sud) and S. Mayboroda (U. Minn.)) Massachusetts Institute of Technology January 10, 2019 This research
More informationLectures on fractal geometry and dynamics
Lectures on fractal geometry and dynamics Michael Hochman June 27, 2012 Contents 1 Introduction 2 2 Preliminaries 3 3 Dimension 4 3.1 A family of examples: Middle-α Cantor sets................ 4 3.2 Minkowski
More informationSARD S THEOREM ALEX WRIGHT
SARD S THEOREM ALEX WRIGHT Abstract. A proof of Sard s Theorem is presented, and applications to the Whitney Embedding and Immersion Theorems, the existence of Morse functions, and the General Position
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationMTG 5316/4302 FALL 2018 REVIEW FINAL
MTG 5316/4302 FALL 2018 REVIEW FINAL JAMES KEESLING Problem 1. Define open set in a metric space X. Define what it means for a set A X to be connected in a metric space X. Problem 2. Show that if a set
More information