Isodiametric problem in Carnot groups

Size: px
Start display at page:

Download "Isodiametric problem in Carnot groups"

Transcription

1 Conference Geometric Measure Theory Université Paris Diderot, 12th-14th September 2012

2 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n

3 Isodiametric inequality in R n Isodiametric inequality: L n (A) 2 n ω n (diam A) n where ω n = L n (B(0, 1)). Equality holds iff A is a ball (up to a null set).

4 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Equality holds iff A is a ball (up to a null set). An application: H n = S n = 2 n ωn 1 L n

5 Isodiametric inequality in R n where Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Equality holds iff A is a ball (up to a null set). An application: H n = S n = 2 n ωn 1 L n H n (A) = lim δ 0 inf{ i (diam A i ) n ; A i A i, diam A i δ} S n (A) = lim δ 0 inf{ i (diam A i ) n ; A i A i, A i ball, diam A i δ}

6 General setting Let G be a locally compact topological group equipped with:

7 General setting Let G be a locally compact topological group equipped with: dilations δ λ : G G, λ > 0, group homeomorphisms satisfying: δ 1 = Id δ λλ = δ λ δ λ

8 General setting Let G be a locally compact topological group equipped with: dilations δ λ : G G, λ > 0, group homeomorphisms satisfying: δ 1 = Id δ λλ = δ λ δ λ a left invariant homogeneous distance d inducing the topology of the group, i.e., satisfying: d(x.y, x.z) = d(y, z) d(δ λ (x), δ λ (y)) = λd(x, y)

9 Hausdorff measures Assume that for some Q 0 < H Q (B) < + for any ball B.

10 Hausdorff measures Assume that for some Q 0 < H Q (B) < + for any ball B. It follows that dim H (G) = Q, H Q and S Q are Haar measures on G and hence are proportional.

11 Hausdorff measures Assume that for some Q 0 < H Q (B) < + for any ball B. It follows that dim H (G) = Q, H Q and S Q are Haar measures on G and hence are proportional. Note that H Q (δ λ (A)) = λ Q H Q (A) and S Q (δ λ (A)) = λ Q S Q (A).

12 Hausdorff measures Proposition We have S Q (B) = (diam B) Q for any ball B.

13 Hausdorff measures Proposition We have S Q (B) = (diam B) Q for any ball B. Proposition We have S Q = C d H Q where { S Q } (A) C d = sup ; 0 < diam A < +. (diam A) Q

14 Isodiametric problem One seeks for the maximal possible value of the measure of sets with a given diameter:

15 Isodiametric problem One seeks for the maximal possible value of the measure of sets with a given diameter: where λ > 0 is fixed. sup{ S Q (A) ; diam A = λ }

16 Isodiametric problem One seeks for the maximal possible value of the measure of sets with a given diameter: where λ > 0 is fixed. Questions: Sup = Max? sup{ S Q (A) ; diam A = λ }

17 Isodiametric problem One seeks for the maximal possible value of the measure of sets with a given diameter: where λ > 0 is fixed. Questions: Sup = Max? Yes. sup{ S Q (A) ; diam A = λ }

18 Isodiametric problem One seeks for the maximal possible value of the measure of sets with a given diameter: sup{ S Q (A) ; diam A = λ } where λ > 0 is fixed. Questions: Sup = Max? Yes. Which are the sets, called isodiametric, that realize the max?

19 Isodiametric problem One seeks for the maximal possible value of the measure of sets with a given diameter: where λ > 0 is fixed. Questions: Sup = Max? Yes. sup{ S Q (A) ; diam A = λ } Which are the sets, called isodiametric, that realize the max? What kind of properties can be deduced from these informations?

20 Isodiametric problem One seeks for the maximal possible value of the measure of sets with a given diameter: where λ > 0 is fixed. Questions: Sup = Max? Yes. sup{ S Q (A) ; diam A = λ } Which are the sets, called isodiametric, that realize the max? What kind of properties can be deduced from these informations? Answers to these questions do not depend on the choice of a Haar measure.

21 Isodiametric problem One seeks for the maximal possible value of the measure of sets with a given diameter: where λ > 0 is fixed. Questions: Sup = Max? Yes. sup{ S Q (A) ; diam A = λ } Which are the sets, called isodiametric, that realize the max? What kind of properties can be deduced from these informations? Answers to these questions do not depend on the choice of a Haar measure. They may on the contrary depend strongly on the distance d the group G is equipped with.

22 Isodiametric problem Using dilations it holds: sup{s Q (A) ; diam A = λ} = λ Q sup{s Q (A) ; diam A = 1}

23 Isodiametric problem Using dilations it holds: and sup{s Q (A) ; diam A = λ} = λ Q sup{s Q (A) ; diam A = 1} sup{s Q (A); diam A = 1} { S Q } (A) = sup ; 0 < diam A < + = C (diam A) Q d.

24 Isodiametric problem Using dilations it holds: and sup{s Q (A) ; diam A = λ} = λ Q sup{s Q (A) ; diam A = 1} sup{s Q (A); diam A = 1} { S Q } (A) = sup ; 0 < diam A < + = C (diam A) Q d. Note that: C d 1,

25 Isodiametric problem Using dilations it holds: and sup{s Q (A) ; diam A = λ} = λ Q sup{s Q (A) ; diam A = 1} sup{s Q (A); diam A = 1} { S Q } (A) = sup ; 0 < diam A < + = C (diam A) Q d. Note that: C d 1, C d = 1 iff balls are isodiametric,

26 Isodiametric problem Using dilations it holds: and sup{s Q (A) ; diam A = λ} = λ Q sup{s Q (A) ; diam A = 1} sup{s Q (A); diam A = 1} { S Q } (A) = sup ; 0 < diam A < + = C (diam A) Q d. Note that: C d 1, C d = 1 iff balls are isodiametric, S Q = H Q iff balls are isodiametric.

27 Carnot groups Theorem [R] Let G be a non abelien Carnot group. There exists a left invariant homogeneous distance d on G such that C d > 1, i.e., for which balls are not isodiametric.

28 Example: Heisenberg group The Heisenberg group H n C n R

29 Example: Heisenberg group The Heisenberg group H n C n R group law: [z, t] [z, t ] = [z + z, t + t + 2 Im zz ] dilations: δ λ ([z, t]) = [λz, λ 2 t]

30 Example: Heisenberg group The Heisenberg group H n C n R group law: [z, t] [z, t ] = [z + z, t + t + 2 Im zz ] dilations: δ λ ([z, t]) = [λz, λ 2 t] with the left invariant homogeneous distance d ([z, t], [z, t ]) = [z, t] 1 [z, t ] where [z, t] = max( z, t 1/2 ).

31 Carnot groups A Carnot group G is a connected and simply connected nilpotent Lie group whose Lie algebra G admits a stratification, G = k j=1v j, [V 1, V j ] = V j+1, V k {0}, V k+1 = {0}, for some integer k 1 called the step of the stratification.

32 Carnot groups A Carnot group G is a connected and simply connected nilpotent Lie group whose Lie algebra G admits a stratification, G = k j=1v j, [V 1, V j ] = V j+1, V k {0}, V k+1 = {0}, for some integer k 1 called the step of the stratification. The exponential map exp : G G is a global diffeomorphism and the group law is given by the Campbell-Hausdorff formula, exp X exp Y = exp H(X, Y ), where H(X, Y ) = X + Y + [X, Y ]/2 +.

33 Carnot groups A Carnot group G is a connected and simply connected nilpotent Lie group whose Lie algebra G admits a stratification, G = k j=1v j, [V 1, V j ] = V j+1, V k {0}, V k+1 = {0}, for some integer k 1 called the step of the stratification. The exponential map exp : G G is a global diffeomorphism and the group law is given by the Campbell-Hausdorff formula, exp X exp Y = exp H(X, Y ), where H(X, Y ) = X + Y + [X, Y ]/2 +. Dilations on G are given by δ λ ( k j=1 Y j) = k j=1 λj Y j, Y j V j, λ > 0.

34 Carnot groups A Carnot group G is a connected and simply connected nilpotent Lie group whose Lie algebra G admits a stratification, G = k j=1v j, [V 1, V j ] = V j+1, V k {0}, V k+1 = {0}, for some integer k 1 called the step of the stratification. The exponential map exp : G G is a global diffeomorphism and the group law is given by the Campbell-Hausdorff formula, exp X exp Y = exp H(X, Y ), where H(X, Y ) = X + Y + [X, Y ]/2 +. Dilations on G are given by δ λ ( k j=1 Y j) = k j=1 λj Y j, Y j V j, λ > 0. Homogeneous dimension: Q = k j=1 j dim V j.

35 A left invariant homogeneous distance d Let (X 1,..., X n ) be a basis of G adapted to the stratification and define an Euclidean norm on G by declaring it orthonormal.

36 A left invariant homogeneous distance d Let (X 1,..., X n ) be a basis of G adapted to the stratification and define an Euclidean norm on G by declaring it orthonormal. Choose positive coefficients c j so that H(Y, Z) Y + Z where Y = max j c j Y j 1/j whenever Y = Y Y k, Y j V j.

37 A left invariant homogeneous distance d Let (X 1,..., X n ) be a basis of G adapted to the stratification and define an Euclidean norm on G by declaring it orthonormal. Choose positive coefficients c j so that H(Y, Z) Y + Z where Y = max j c j Y j 1/j whenever Y = Y Y k, Y j V j. Set x = exp 1 x and d (x, y) = x 1 y.

38 A left invariant homogeneous distance d Let (X 1,..., X n ) be a basis of G adapted to the stratification and define an Euclidean norm on G by declaring it orthonormal. Choose positive coefficients c j so that H(Y, Z) Y + Z where Y = max j c j Y j 1/j whenever Y = Y Y k, Y j V j. Set x = exp 1 x and d (x, y) = x 1 y. Then d is a left invariant homogeneous distance on G.

39 A left invariant homogeneous distance d Let (X 1,..., X n ) be a basis of G adapted to the stratification and define an Euclidean norm on G by declaring it orthonormal. Choose positive coefficients c j so that H(Y, Z) Y + Z where Y = max j c j Y j 1/j whenever Y = Y Y k, Y j V j. Set x = exp 1 x and d (x, y) = x 1 y. Then d is a left invariant homogeneous distance on G. Examples: The abelian case (k = 1): (R n,+) equipped with the usual dialations δ λ (x) = λx and the Euclidean distance.

40 A left invariant homogeneous distance d Let (X 1,..., X n ) be a basis of G adapted to the stratification and define an Euclidean norm on G by declaring it orthonormal. Choose positive coefficients c j so that H(Y, Z) Y + Z where Y = max j c j Y j 1/j whenever Y = Y Y k, Y j V j. Set x = exp 1 x and d (x, y) = x 1 y. Then d is a left invariant homogeneous distance on G. Examples: The abelian case (k = 1): (R n,+) equipped with the usual dialations δ λ (x) = λx and the Euclidean distance. In H n : [z, t] = max( z, t 1/2 ).

41 Carnot groups Theorem [R] Let G be a non abelien Carnot group (k 2). Then C d > 1, i.e., balls in (G, d ) are not isodiametric.

42 Carnot groups Theorem [R] Let G be a non abelien Carnot group (k 2). Then C d > 1, i.e., balls in (G, d ) are not isodiametric. Proof. A sufficient condition for not being an isodiametric set in (G, d): Assume that A is compact and diam A > 0. Assume there exists x A such that d(x, y) < diam A for all y A. Then A is not isodiametric.

43 Carnot groups Theorem [R] Let G be a non abelien Carnot group (k 2). Then C d > 1, i.e., balls in (G, d ) are not isodiametric. Proof. A sufficient condition for not being an isodiametric set in (G, d): Assume that A is compact and diam A > 0. Assume there exists x A such that d(x, y) < diam A for all y A. Then A is not isodiametric. Take d = d and B a ball centered at 0. Apply the lemma to x = exp X B with X V k.

44 Carnot groups Corollary Let G be a non abelien Carnot group equipped with some homogeneous distance. Let Q = dim H (G). Then G is purely Q-unrectifiable.

45 Carnot groups Corollary Let G be a non abelien Carnot group equipped with some homogeneous distance. Let Q = dim H (G). Then G is purely Q-unrectifiable. Otherwise one can find a Lipschitz map f : A R Q (G, d ) such that 0 < H Q (f (A)) < +. Then it holds H Q (f (A) B(x, r)) lim r 0 (2r) Q = 1 for H Q a.e. x f (A).

46 Carnot groups Corollary Let G be a non abelien Carnot group equipped with some homogeneous distance. Let Q = dim H (G). Then G is purely Q-unrectifiable. Otherwise one can find a Lipschitz map f : A R Q (G, d ) such that 0 < H Q (f (A)) < +. Then it holds H Q (f (A) B(x, r)) lim r 0 (2r) Q = 1 for H Q a.e. x f (A). On the other hand, H Q (f (A) B(x, r)) (2r) Q HQ (B(x, r)) (2r) Q = HQ (B(x, r)) S Q (B(x, r)) = C 1 d < 1, which gives a contradiction.

47 CC-distances Fix a left invariant Riemannian metric g on G and set d c (x, y) = inf{length g (γ); γ horizontal curve joining x to y}, where γ is said to be horizontal if it is absolutely continuous and such that γ(t) span{x (γ(t)); X V 1 } a.e.

48 CC-distances Fix a left invariant Riemannian metric g on G and set d c (x, y) = inf{length g (γ); γ horizontal curve joining x to y}, where γ is said to be horizontal if it is absolutely continuous and such that γ(t) span{x (γ(t)); X V 1 } a.e. d c is a left invariant homogeneous distance on G called Carnot-Carathéodory distance.

49 CC-distances Fix a left invariant Riemannian metric g on G and set d c (x, y) = inf{length g (γ); γ horizontal curve joining x to y}, where γ is said to be horizontal if it is absolutely continuous and such that γ(t) span{x (γ(t)); X V 1 } a.e. d c is a left invariant homogeneous distance on G called Carnot-Carathéodory distance. Example: H n with a Riemannian metric making (X 1,..., X n, Y 1,..., Y n ) an othonormal basis of the first layer where X j = xj + 2x n+j t, Y j = xn+j 2x j t (with z j = x j + ix j+n ).

50 Carnot groups equipped with CC-distance Theorem [R] Let G be a non abelien Carnot group equipped with a Carnot-Carathéodory distance d c. Assume that there exists a length minimizing curve γ : [a, b] G that stops to be minimizing after reaching γ(b). Then balls are not isodiametric.

51 Carnot groups equipped with CC-distance Theorem [R] Let G be a non abelien Carnot group equipped with a Carnot-Carathéodory distance d c. Assume that there exists a length minimizing curve γ : [a, b] G that stops to be minimizing after reaching γ(b). Then balls are not isodiametric. Example: H n

52 Carnot groups equipped with CC-distance Theorem [R] Let G be a non abelien Carnot group equipped with a Carnot-Carathéodory distance d c. Assume that there exists a length minimizing curve γ : [a, b] G that stops to be minimizing after reaching γ(b). Then balls are not isodiametric. Example: H n Does there exist a Carnot group G and a homogeneous distance d on G such that C d = 1?

53 Besicovitch 1/2-problem Given a metric space (M, d), let σ n (M, d) denote the smallest number such that every subset A M of finite H n -measure having at H n -a.e. x A is n-rectifiable, where D n (A, x) > σ n (M, d) D n (A, x) = lim inf r 0 H n (A B(x, r)) (2r) n.

54 Besicovitch 1/2-problem Given a metric space (M, d), let σ n (M, d) denote the smallest number such that every subset A M of finite H n -measure having at H n -a.e. x A is n-rectifiable, where D n (A, x) > σ n (M, d) D n (A, x) = lim inf r 0 H n (A B(x, r)) (2r) n. NB: σ n (M, d) 1 and σ n (M, d) = 1 does not give any significant information about rectifiability.

55 Besicovitch 1/2-problem Given a metric space (M, d), let σ n (M, d) denote the smallest number such that every subset A M of finite H n -measure having at H n -a.e. x A is n-rectifiable, where D n (A, x) > σ n (M, d) D n (A, x) = lim inf r 0 H n (A B(x, r)) (2r) n. NB: σ n (M, d) 1 and σ n (M, d) = 1 does not give any significant information about rectifiability. Besicovitch 1/2-problem: σ n (M, d) 1/2?

56 Besicovitch 1/2-problem Corollary Let (G, d) be a non abelian Carnot group equipped with a homogeneous distance. Let Q = dim H (G). Then one has σ Q (G, d) = C 1 d. In particular σ Q (G, d) < 1 iff balls are not isodiametric.

57 Besicovitch 1/2-problem in H n Theorem In (H n, d ), we have 1 < C d < 2 and hence 1/2 < σ 2n+2 (H n, d ) < 1. In (H n, d c ), we have C dc > 1 and hence σ 2n+2 (H n, d c ) < 1. If n 8, then C dc < 2 and hence σ 2n+2 (H n, d c ) > 1/2.

58 Isodiametric sets in (H n, d c ) (joint work with G.P. Leonardi and D. Vittone) Unit ball in (H n, d c )

59 Isodiametric sets in (H n, d c ) (joint work with G.P. Leonardi and D. Vittone) The set A 2

60 Rotationally invariant isodiametric sets in (H n, d c ) (joint work with G.P. Leonardi and D. Vittone) Given θ = (θ 1,..., θ n ) R n, let r θ ([z, t]) = [(e iθ 1 z 1,..., e iθn z n ), t]

61 Rotationally invariant isodiametric sets in (H n, d c ) (joint work with G.P. Leonardi and D. Vittone) Given θ = (θ 1,..., θ n ) R n, let r θ ([z, t]) = [(e iθ 1 z 1,..., e iθn z n ), t] R = {F H n ; r θ (F ) F for all θ R n }

62 Rotationally invariant isodiametric sets in (H n, d c ) (joint work with G.P. Leonardi and D. Vittone) Given θ = (θ 1,..., θ n ) R n, let r θ ([z, t]) = [(e iθ 1 z 1,..., e iθn z n ), t] R = {F H n ; r θ (F ) F for all θ R n } { S 2n+2 } (F ) C dc,r = sup ; F R, 0 < diam F < + (diam F ) 2n+2

63 Rotationally invariant isodiametric sets in (H n, d c ) (joint work with G.P. Leonardi and D. Vittone) Given θ = (θ 1,..., θ n ) R n, let r θ ([z, t]) = [(e iθ 1 z 1,..., e iθn z n ), t] R = {F H n ; r θ (F ) F for all θ R n } { S 2n+2 } (F ) C dc,r = sup ; F R, 0 < diam F < + (diam F ) 2n+2 I R = {F R ; F compact, diam F > 0, S 2n+2 (F ) = C dc,r (diam F ) 2n+2 }.

64 Rotationally invariant isodiametric sets in (H n, d c ) (joint work with G.P. Leonardi and D. Vittone) Given θ = (θ 1,..., θ n ) R n, let r θ ([z, t]) = [(e iθ 1 z 1,..., e iθn z n ), t] R = {F H n ; r θ (F ) F for all θ R n } { S 2n+2 } (F ) C dc,r = sup ; F R, 0 < diam F < + (diam F ) 2n+2 I R = {F R ; F compact, diam F > 0, S 2n+2 (F ) = C dc,r (diam F ) 2n+2 }. For F H n, let St F denote its Steiner symetrisation w.r.t. the C n -plane.

65 Rotationally invariant isodiametric sets in (H n, d c ) (joint work with G.P. Leonardi and D. Vittone) Theorem [Leonardi-R-Vittone] Let E I R then St E I R and St E coincides with the set A diam E.

66 Rotationally invariant isodiametric sets in (H n, d c ) (joint work with G.P. Leonardi and D. Vittone) Theorem [Leonardi-R-Vittone] Let E I R then St E I R and St E coincides with the set A diam E. Corollary (non uniqueness in I R ) There exists E I R such that p E does not coincide with A diam E for all p H n.

67 Rotationally invariant isodiametric sets in (H n, d c ) (joint work with G.P. Leonardi and D. Vittone) Theorem [Leonardi-R-Vittone] Let E I R then St E I R and St E coincides with the set A diam E. Corollary (non uniqueness in I R ) There exists E I R such that p E does not coincide with A diam E for all p H n. Corollary (existence of non rotationally invariant isodiametric sets) There exists an isodiametric set E that does not belong to R.

68 Small perturbation of A A small pertubation of A 2 with same diameter and same volume.

ON A MEASURE THEORETIC AREA FORMULA

ON 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 information

UNIVERSAL DIFFERENTIABILITY SETS IN CARNOT GROUPS OF ARBITRARILY HIGH STEP

UNIVERSAL DIFFERENTIABILITY SETS IN CARNOT GROUPS OF ARBITRARILY HIGH STEP UNIVERSAL DIFFERENTIABILITY SETS IN CARNOT GROUPS OF ARBITRARILY HIGH STEP ANDREA PINAMONTI AND GARETH SPEIGHT Abstract. We show that every model filiform group E n contains a measure zero set N such that

More information

Cones 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 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 information

Course 212: Academic Year Section 1: Metric Spaces

Course 212: Academic Year Section 1: Metric Spaces Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........

More information

BRUNN MINKOWSKI AND ISOPERIMETRIC INEQUALITY IN THE HEISENBERG GROUP

BRUNN MINKOWSKI AND ISOPERIMETRIC INEQUALITY IN THE HEISENBERG GROUP Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 23, 99 19 BRUNN MINKOWSKI AND ISOPERIMETRIC INEQUALITY IN THE HEISENBERG GROUP Roberto Monti Universität Bern, Mathematisches Institut Sidlerstrasse

More information

1 The Heisenberg group does not admit a bi- Lipschitz embedding into L 1

1 The Heisenberg group does not admit a bi- Lipschitz embedding into L 1 The Heisenberg group does not admit a bi- Lipschitz embedding into L after J. Cheeger and B. Kleiner [CK06, CK09] A summary written by John Mackay Abstract We show that the Heisenberg group, with its Carnot-Caratheodory

More information

Distance to curves and surfaces in the Heisenberg group

Distance to curves and surfaces in the Heisenberg group Distance to curves and surfaces in the Heisenberg group Università di Bologna 3 giugno 2012 Survey based on... Fausto Ferrari, N.A. Metric normal and distance function in the Heisenberg group, Math.Z.

More information

LECTURE 15: COMPLETENESS AND CONVEXITY

LECTURE 15: COMPLETENESS AND CONVEXITY LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other

More information

ON TRANSVERSAL SUBMANIFOLDS AND THEIR MEASURE

ON TRANSVERSAL SUBMANIFOLDS AND THEIR MEASURE ON TRANSVERSAL SUBMANIFOLDS AND THEIR MEASURE VALENTINO MAGNANI, JEREMY T. TYSON, AND DAVIDE VITTONE Abstract: We study the class of transversal submanifolds in Carnot groups. We characterize their blow-ups

More information

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

7 Complete metric spaces and function spaces

7 Complete metric spaces and function spaces 7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m

More information

Introduction to Geometric Measure Theory

Introduction 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 information

Overview of normed linear spaces

Overview 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 information

ON TRANSVERSAL SUBMANIFOLDS AND THEIR MEASURE

ON TRANSVERSAL SUBMANIFOLDS AND THEIR MEASURE ON TRANSVERSAL SUBMANIFOLDS AND THEIR MEASURE VALENTINO MAGNANI, JEREMY T. TYSON, AND DAVIDE VITTONE Abstract: We study the class of transversal submanifolds. We characterize their blow-ups at transversal

More information

1 Smooth manifolds and Lie groups

1 Smooth manifolds and Lie groups An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely

More information

The Isoperimetric Problem in the Heisenberg group H n

The Isoperimetric Problem in the Heisenberg group H n The Isoperimetric Problem in the Heisenberg group H n First Taiwan Geometry Symposium, NCTS South November 20, 2010 First Taiwan Geometry Symposium, NCTS South The () Isoperimetric Problem in the Heisenberg

More information

Lecture 3. Econ August 12

Lecture 3. Econ August 12 Lecture 3 Econ 2001 2015 August 12 Lecture 3 Outline 1 Metric and Metric Spaces 2 Norm and Normed Spaces 3 Sequences and Subsequences 4 Convergence 5 Monotone and Bounded Sequences Announcements: - Friday

More information

The Lusin Theorem and Horizontal Graphs in the Heisenberg Group

The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Analysis and Geometry in Metric Spaces Research Article DOI: 10.2478/agms-2013-0008 AGMS 2013 295-301 The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Abstract In this paper we prove that

More information

ANALYSIS AND GEOMETRY IN METRIC SPACES: SOBOLEV MAPPINGS, THE HEISENBERG GROUP, AND THE WHITNEY EXTENSION THEOREM

ANALYSIS AND GEOMETRY IN METRIC SPACES: SOBOLEV MAPPINGS, THE HEISENBERG GROUP, AND THE WHITNEY EXTENSION THEOREM ANALYSIS AND GEOMETRY IN METRIC SPACES: SOBOLEV MAPPINGS, THE HEISENBERG GROUP, AND THE WHITNEY EXTENSION THEOREM by Scott Zimmerman B.S. in Mathematics, John Carroll University, 2008 M.S. in Mathematics,

More information

SUB-RIEMANNIAN VS. EUCLIDEAN DIMENSION COMPARISON AND FRACTAL GEOMETRY ON CARNOT GROUPS. Dedicated to Juha Heinonen

SUB-RIEMANNIAN VS. EUCLIDEAN DIMENSION COMPARISON AND FRACTAL GEOMETRY ON CARNOT GROUPS. Dedicated to Juha Heinonen SUB-RIEMANNIAN VS. EUCLIDEAN DIMENSION COMPARISON AND FRACTAL GEOMETRY ON CARNOT GROUPS Dedicated to Juha Heinonen Abstract. We solve Gromov s dimension comparison problem for Hausdorff and box counting

More information

Some topics in sub-riemannian geometry

Some topics in sub-riemannian geometry Some topics in sub-riemannian geometry Luca Rizzi CNRS, Institut Fourier Mathematical Colloquium Universität Bern - December 19 2016 Sub-Riemannian geometry Known under many names: Carnot-Carathéodory

More information

CHARACTERISTIC POINTS, RECTIFIABILITY AND PERIMETER MEASURE ON STRATIFIED GROUPS

CHARACTERISTIC POINTS, RECTIFIABILITY AND PERIMETER MEASURE ON STRATIFIED GROUPS CHARACTERISTIC POINTS, RECTIFIABILITY AND PERIMETER MEASURE ON STRATIFIED GROUPS VALENTINO MAGNANI Abstract. We establish an explicit formula between the perimeter measure of an open set E with C 1 boundary

More information

Large scale conformal geometry

Large scale conformal geometry July 24th, 2018 Goal: perform conformal geometry on discrete groups. Goal: perform conformal geometry on discrete groups. Definition X, X metric spaces. Map f : X X is a coarse embedding if where α +,

More information

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 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 information

CHAPTER 7. Connectedness

CHAPTER 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 information

Some examples of quasiisometries of nilpotent Lie groups

Some examples of quasiisometries of nilpotent Lie groups Some examples of quasiisometries of nilpotent Lie groups Xiangdong Xie Abstract We construct quasiisometries of nilpotent Lie groups. In particular, for any simply connected nilpotent Lie group N, we construct

More information

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

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 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 information

ISOPERIMETRIC PROBLEM AND MINIMAL SURFACES IN THE HEISENBERG GROUP ROBERTO MONTI

ISOPERIMETRIC PROBLEM AND MINIMAL SURFACES IN THE HEISENBERG GROUP ROBERTO MONTI ISOPERIMETRIC PROBLEM AND MINIMAL SURFACES IN THE HEISENBERG GROUP ROBERTO MONTI Contents Preface 1 1. Introduction to the Heisenberg group H n 2 1.1. Algebraic structure 2 1.2. Metric structure 3 2. Heisenberg

More information

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n Econ 204 2011 Lecture 3 Outline 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n 1 Metric Spaces and Metrics Generalize distance and length notions

More information

Chapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves

Chapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction

More information

Quasi-conformal maps and Beltrami equation

Quasi-conformal maps and Beltrami equation Chapter 7 Quasi-conformal maps and Beltrami equation 7. Linear distortion Assume that f(x + iy) =u(x + iy)+iv(x + iy) be a (real) linear map from C C that is orientation preserving. Let z = x + iy and

More information

LIPSCHITZ EXTENSIONS OF MAPS BETWEEN HEISENBERG GROUPS. 1. Introduction

LIPSCHITZ EXTENSIONS OF MAPS BETWEEN HEISENBERG GROUPS. 1. Introduction LIPSCHITZ EXTENSIONS OF MAPS BETWEEN HEISENBERG GROUPS ZOLTÁN M. BALOGH, URS LANG, PIERRE PANSU Abstract. Let H n be the Heisenberg group of topological dimension 2n + 1. We prove that if n is odd, the

More information

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d 66 2. Every family of seminorms on a vector space containing a norm induces ahausdorff locally convex topology. 3. Given an open subset Ω of R d with the euclidean topology, the space C(Ω) of real valued

More information

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

Selçuk Demir WS 2017 Functional Analysis Homework Sheet Selçuk Demir WS 2017 Functional Analysis Homework Sheet 1. Let M be a metric space. If A M is non-empty, we say that A is bounded iff diam(a) = sup{d(x, y) : x.y A} exists. Show that A is bounded iff there

More information

A class of domains with fractal boundaries: Functions spaces and numerical methods

A class of domains with fractal boundaries: Functions spaces and numerical methods A class of domains with fractal boundaries: Functions spaces and numerical methods Yves Achdou joint work with T. Deheuvels and N. Tchou Laboratoire J-L Lions, Université Paris Diderot École Centrale -

More information

An introduction to Mathematical Theory of Control

An introduction to Mathematical Theory of Control An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018

More information

Math 341: Convex Geometry. Xi Chen

Math 341: Convex Geometry. Xi Chen Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry

More information

SCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS

SCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS C O L L O Q U I U M M A T H E M A T I C U M VOL. LXIII 1992 FASC. 2 SCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS BY JACEK D Z I U B A Ń S K I (WROC

More information

Maths 212: Homework Solutions

Maths 212: Homework Solutions Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then

More information

and BV loc R N ; R d)

and 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 information

Lebesgue Measure on R n

Lebesgue 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 information

Introduction to Teichmüller Spaces

Introduction to Teichmüller Spaces Introduction to Teichmüller Spaces Jing Tao Notes by Serena Yuan 1. Riemann Surfaces Definition 1.1. A conformal structure is an atlas on a manifold such that the differentials of the transition maps lie

More information

ON THE INVERSE FUNCTION THEOREM

ON THE INVERSE FUNCTION THEOREM PACIFIC JOURNAL OF MATHEMATICS Vol. 64, No 1, 1976 ON THE INVERSE FUNCTION THEOREM F. H. CLARKE The classical inverse function theorem gives conditions under which a C r function admits (locally) a C Γ

More information

Isometries of Riemannian and sub-riemannian structures on 3D Lie groups

Isometries of Riemannian and sub-riemannian structures on 3D Lie groups Isometries of Riemannian and sub-riemannian structures on 3D Lie groups Rory Biggs Geometry, Graphs and Control (GGC) Research Group Department of Mathematics, Rhodes University, Grahamstown, South Africa

More information

MATH 426, TOPOLOGY. p 1.

MATH 426, TOPOLOGY. p 1. MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p

More information

Geometry and topology of continuous best and near best approximations

Geometry and topology of continuous best and near best approximations Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra

More information

9 Radon-Nikodym theorem and conditioning

9 Radon-Nikodym theorem and conditioning Tel Aviv University, 2015 Functions of real variables 93 9 Radon-Nikodym theorem and conditioning 9a Borel-Kolmogorov paradox............. 93 9b Radon-Nikodym theorem.............. 94 9c Conditioning.....................

More information

BASIC MATRIX PERTURBATION THEORY

BASIC MATRIX PERTURBATION THEORY BASIC MATRIX PERTURBATION THEORY BENJAMIN TEXIER Abstract. In this expository note, we give the proofs of several results in finitedimensional matrix perturbation theory: continuity of the spectrum, regularity

More information

A new class of pseudodifferential operators with mixed homogenities

A new class of pseudodifferential operators with mixed homogenities A new class of pseudodifferential operators with mixed homogenities Po-Lam Yung University of Oxford Jan 20, 2014 Introduction Given a smooth distribution of hyperplanes on R N (or more generally on a

More information

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and

More information

Bases in Banach spaces

Bases in Banach spaces Chapter 3 Bases in Banach spaces Like every vector space a Banach space X admits an algebraic or Hamel basis, i.e. a subset B X, so that every x X is in a unique way the (finite) linear combination of

More information

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

Lecture 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 information

Real Analysis Notes. Thomas Goller

Real 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 information

Reminder Notes for the Course on Measures on Topological Spaces

Reminder 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 information

Uncertainty principles for the Schrödinger equation on Riemannian symmetric spaces of the noncompact type

Uncertainty principles for the Schrödinger equation on Riemannian symmetric spaces of the noncompact type Uncertainty principles for the Schrödinger equation on Riemannian symmetric spaces of the noncompact type Angela Pasquale Université de Lorraine Joint work with Maddala Sundari Geometric Analysis on Euclidean

More information

Introduction to Hausdorff Measure and Dimension

Introduction 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 information

REAL AND COMPLEX ANALYSIS

REAL AND COMPLEX ANALYSIS REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any

More information

arxiv: v3 [math.ds] 9 Nov 2012

arxiv: v3 [math.ds] 9 Nov 2012 Positive expansive flows Alfonso Artigue November 13, 2018 arxiv:1210.3202v3 [math.ds] 9 Nov 2012 Abstract We show that every positive expansive flow on a compact metric space consists of a finite number

More information

GRAPHS OF BOUNDED VARIATION, EXISTENCE AND LOCAL BOUNDEDNESS OF NON-PARAMETRIC MINIMAL SURFACES IN HEISENBERG GROUPS

GRAPHS OF BOUNDED VARIATION, EXISTENCE AND LOCAL BOUNDEDNESS OF NON-PARAMETRIC MINIMAL SURFACES IN HEISENBERG GROUPS GRAPHS OF BONDED VARIATION, EXISTENCE AND LOCAL BONDEDNESS OF NON-PARAMETRIC MINIMAL SRFACES IN HEISENBERG GROPS FRANCESCO SERRA CASSANO AND DAVIDE VITTONE Abstract. In the setting of the sub-riemannian

More information

SYMPLECTIC GEOMETRY: LECTURE 1

SYMPLECTIC GEOMETRY: LECTURE 1 SYMPLECTIC GEOMETRY: LECTURE 1 LIAT KESSLER 1. Symplectic Linear Algebra Symplectic vector spaces. Let V be a finite dimensional real vector space and ω 2 V, i.e., ω is a bilinear antisymmetric 2-form:

More information

An introduction to some aspects of functional analysis

An introduction to some aspects of functional analysis An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms

More information

From the Heisenberg group to Carnot groups

From the Heisenberg group to Carnot groups From the Heisenberg group to Carnot groups p. 1/47 From the Heisenberg group to Carnot groups Irina Markina, University of Bergen, Norway Summer school Analysis - with Applications to Mathematical Physics

More information

Math 426 Homework 4 Due 3 November 2017

Math 426 Homework 4 Due 3 November 2017 Math 46 Homework 4 Due 3 November 017 1. Given a metric space X,d) and two subsets A,B, we define the distance between them, dista,b), as the infimum inf a A, b B da,b). a) Prove that if A is compact and

More information

THEOREMS, ETC., FOR MATH 516

THEOREMS, 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 information

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological

More information

Amenable groups, Jacques Tits Alternative Theorem

Amenable groups, Jacques Tits Alternative Theorem Amenable groups, Jacques Tits Alternative Theorem Cornelia Druţu Oxford TCC Course 2014, Lecture 3 Cornelia Druţu (Oxford) Amenable groups, Alternative Theorem TCC Course 2014, Lecture 3 1 / 21 Last lecture

More information

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

1 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 information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

arxiv: v2 [math.mg] 4 Jul 2014

arxiv: v2 [math.mg] 4 Jul 2014 BESICOVITCH COVERING PROPERTY FOR HOMOGENEOUS DISTANCES ON THE HEISENBERG GROUPS ENRICO LE DONNE AND SÉVERINE RIGOT arxiv:1406.1484v [math.mg] 4 Jul 014 Abstract. Our main result is a positive answer to

More information

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X. Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2

More information

Sobolev Mappings between Manifolds and Metric Spaces

Sobolev Mappings between Manifolds and Metric Spaces Sobolev Mappings between Manifolds and Metric Spaces Piotr Haj lasz Abstract In connection with the theory of p-harmonic mappings, Eells and Lemaire raised a question about density of smooth mappings in

More information

NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS

NOTES 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 information

Analysis on a class of carnot groups of heisenberg type

Analysis on a class of carnot groups of heisenberg type University of South Florida Scholar Commons Graduate Theses and Dissertations Graduate School 005 Analysis on a class of carnot groups of heisenberg type Meagan McNamee University of South Florida Follow

More information

II - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define

II - 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 information

Tame definable topological dynamics

Tame definable topological dynamics Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi

More information

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X. A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary

More information

9. Banach algebras and C -algebras

9. Banach algebras and C -algebras matkt@imf.au.dk Institut for Matematiske Fag Det Naturvidenskabelige Fakultet Aarhus Universitet September 2005 We read in W. Rudin: Functional Analysis Based on parts of Chapter 10 and parts of Chapter

More information

UNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES

UNIFORMLY 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 information

Hausdorff measure. Jordan Bell Department of Mathematics, University of Toronto. October 29, 2014

Hausdorff measure. Jordan Bell Department of Mathematics, University of Toronto. October 29, 2014 Hausdorff measure Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto October 29, 2014 1 Outer measures and metric outer measures Suppose that X is a set. A function ν :

More information

Convex Analysis and Economic Theory Winter 2018

Convex Analysis and Economic Theory Winter 2018 Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Supplement A: Mathematical background A.1 Extended real numbers The extended real number

More information

arxiv: v1 [math.fa] 21 Sep 2011

arxiv: v1 [math.fa] 21 Sep 2011 ON THE LACK OF DENSITY OF LIPSCHITZ MAPPINGS IN SOBOLEV SPACES WITH HEISENBERG TARGET arxiv:1109.4641v1 [math.fa] 21 Sep 2011 NOEL DEJARNETTE, PIOTR HAJ LASZ, ANTON LUKYANENKO, AND JEREMY T. TYSON Abstract.

More information

Lecture 4 Lebesgue spaces and inequalities

Lecture 4 Lebesgue spaces and inequalities Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how

More information

On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem

On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov

More information

MA651 Topology. Lecture 10. Metric Spaces.

MA651 Topology. Lecture 10. Metric Spaces. MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky

More information

Exercise Solutions to Functional Analysis

Exercise Solutions to Functional Analysis Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n

More information

Functional Analysis, Math 7320 Lecture Notes from August taken by Yaofeng Su

Functional Analysis, Math 7320 Lecture Notes from August taken by Yaofeng Su Functional Analysis, Math 7320 Lecture Notes from August 30 2016 taken by Yaofeng Su 1 Essentials of Topology 1.1 Continuity Next we recall a stronger notion of continuity: 1.1.1 Definition. Let (X, d

More information

Part III. 10 Topological Space Basics. Topological Spaces

Part 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 information

arxiv: v1 [math.mg] 26 Jun 2014

arxiv: v1 [math.mg] 26 Jun 2014 From Funk to Hilbert Geometry Athanase Papadopoulos and Marc Troyanov arxiv:14066983v1 [mathmg] 26 Jun 2014 Institut de Recherche Mathématique Avancée, Université de Strasbourg and CNRS, 7 rue René Descartes,

More information

Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities

Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Laurent Saloff-Coste Abstract Most smoothing procedures are via averaging. Pseudo-Poincaré inequalities give a basic L p -norm control

More information

Conformal graph directed Markov systems on Carnot groups. Vasilis Chousionis Jeremy T. Tyson Mariusz Urbański

Conformal graph directed Markov systems on Carnot groups. Vasilis Chousionis Jeremy T. Tyson Mariusz Urbański Conformal graph directed Markov systems on Carnot groups Vasilis Chousionis Jeremy T. Tyson Mariusz Urbański Department of Mathematics, University of Connecticut, 196 Auditorium Road U-3009, Storrs, CT

More information

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA  address: Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework

More information

4 Countability axioms

4 Countability axioms 4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

On the Hausdorff volume in sub-riemannian geometry

On the Hausdorff volume in sub-riemannian geometry On the Hausdorff volume in sub-riemannian geometry Andrei Agrachev SISSA, Trieste, Italy and MIAN, Moscow, Russia - agrachev@sissa.it Davide Barilari SISSA, Trieste, Italy - barilari@sissa.it Ugo Boscain

More information

CHAPTER 9. Embedding theorems

CHAPTER 9. Embedding theorems CHAPTER 9 Embedding theorems In this chapter we will describe a general method for attacking embedding problems. We will establish several results but, as the main final result, we state here the following:

More information

Integral Jensen inequality

Integral 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 information

OPTIMAL TRANSPORTATION PLANS AND CONVERGENCE IN DISTRIBUTION

OPTIMAL TRANSPORTATION PLANS AND CONVERGENCE IN DISTRIBUTION OPTIMAL TRANSPORTATION PLANS AND CONVERGENCE IN DISTRIBUTION J.A. Cuesta-Albertos 1, C. Matrán 2 and A. Tuero-Díaz 1 1 Departamento de Matemáticas, Estadística y Computación. Universidad de Cantabria.

More information