ESPACES MÉTRIQUES ET CONVERGENCE DE GROMOV-HAUSDORFF

Documents pareils
3 Approximation de solutions d équations

Amphi 3: Espaces complets - Applications linéaires continues

Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples

Fonctions de plusieurs variables

Cours Fonctions de deux variables

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)

Continuité d une fonction de plusieurs variables

Image d un intervalle par une fonction continue

Cours d Analyse 3 Fonctions de plusieurs variables

Cours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques

I. Polynômes de Tchebychev

Calcul fonctionnel holomorphe dans les algèbres de Banach

Résolution d équations non linéaires

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Calcul intégral élémentaire en plusieurs variables

Intégration et probabilités TD1 Espaces mesurés Corrigé

Construction de l'intégrale de Lebesgue

Approximations variationelles des EDP Notes du Cours de M2

Calcul différentiel. Chapitre Différentiabilité

Examen optimisation Centrale Marseille (2008) et SupGalilee (2008)

Théorèmes du Point Fixe et Applications aux Equations Diérentielles

Cours d Analyse. Fonctions de plusieurs variables

Limites finies en un point

Continuité et dérivabilité d une fonction

Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables

Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications

Théorème du point fixe - Théorème de l inversion locale

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

OM 1 Outils mathématiques : fonction de plusieurs variables

Intégration et probabilités TD1 Espaces mesurés

Différentiabilité ; Fonctions de plusieurs variables réelles

Fonctions de plusieurs variables. Sébastien Tordeux

3. Conditionnement P (B)

Notes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables

Fonctions de deux variables. Mai 2011

Mesures et Intégration

La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1

Commun à tous les candidats

Chapitre 2 Le problème de l unicité des solutions

Développements limités. Notion de développement limité

MESURE ET INTÉGRATION EN UNE DIMENSION. Notes de cours

Chp. 4. Minimisation d une fonction d une variable

Chapitre 7 : Intégration sur un intervalle quelconque

Espérance conditionnelle

Méthodes de quadrature. Polytech Paris-UPMC. - p. 1/48

4. Martingales à temps discret

Fonctions de plusieurs variables

Continuité en un point

Tests non-paramétriques de non-effet et d adéquation pour des covariables fonctionnelles

Filtrage stochastique non linéaire par la théorie de représentation des martingales

6 Equations du première ordre

CNAM UE MVA 210 Ph. Durand Algèbre et analyse tensorielle Cours 4: Calcul dierentiel 2

ENSAE - DAKAR BROCHURE D'INFORMATION SUR LE CONCOURS DE RECRUTEMENT D ÉLÈVES INGÉNIEURS STATISTICIENS ÉCONOMISTES (I S E) Option Mathématiques CAPESA

Dualité dans les espaces de Lebesgue et mesures de Radon finies

Calcul Différentiel. I Fonctions différentiables 3

EXERCICE 4 (7 points ) (Commun à tous les candidats)

La notion de temps. par Jean Kovalevsky, membre de l'institut *

Texte Agrégation limitée par diffusion interne

C1 : Fonctions de plusieurs variables

AOT 13. et Application au Contrôle Géométrique

Exercice autour de densité, fonction de répatition, espérance et variance de variables quelconques.

Capes Première épreuve

Fonctions holomorphes

Table des matières. Introduction Générale 5

Correction du Baccalauréat S Amérique du Nord mai 2007

Erratum de MÉCANIQUE, 6ème édition. Introduction Page xxi (milieu de page) G = 6, m 3 kg 1 s 2

NOTATIONS PRÉLIMINAIRES

Notes de cours M2 Équations aux dérivées partielles elliptiques. Hervé Le Dret

Deux disques dans un carré

Produits d espaces mesurés

Théorie de la mesure. S. Nicolay

Séminaire TEST. 1 Présentation du sujet. October 18th, 2013

8.1 Généralités sur les fonctions de plusieurs variables réelles. f : R 2 R (x, y) 1 x 2 y 2

rf( 1 f(x)x dx = O. ) U concours externe de recrutement de professeurs agreg6s composition d analyse

Cours d analyse numérique SMI-S4

Structures algébriques

Chapitre 6. Fonction réelle d une variable réelle

Fonctions de plusieurs variables

Paris et New-York sont-ils les sommets d'un carré?

Master Modélisation Aléatoire Paris VII, Cours Méthodes de Monte Carlo en nance et C++, TP n 2.

Relation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices

Démontrer qu'un point est le milieu d'un segment

chapitre 4 Nombres de Catalan

n N = u N u N+1 1 u pour u 1. f ( uv 1) v N+1 v N v t

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

Licence de Mathématiques 3

Chapitre 2 : Caractéristiques du mouvement d un solide

Dérivées d ordres supérieurs. Application à l étude d extrema.

BACCALAURÉAT GÉNÉRAL SESSION 2012 OBLIGATOIRE MATHÉMATIQUES. Série S. Durée de l épreuve : 4 heures Coefficient : 7 ENSEIGNEMENT OBLIGATOIRE

Chapitre 0 Introduction à la cinématique

Repérage d un point - Vitesse et

Théorie de la Mesure et Intégration

Algorithmes pour la planification de mouvements en robotique non-holonome

Fonctions homographiques

Mesures gaussiennes et espaces de Fock

TIQUE DE FRANCE NILSYSTÈMES D ORDRE 2 ET PARALLÉLÉPIPÈDES

Equations aux Dérivées Partielles

I3, Probabilités 2014 Travaux Dirigés F BM F BM F BM F BM F B M F B M F B M F B M

Transcription:

Ilaria Mondello ilaria.mondello@u-pec.fr ESPACES MÉTRIQUES ET CONVERGENCE DE GROMOV-HAUSDORFF 1. Espaces métriques : définitions et exemples Dénition 1.1. Soit X un ensemble quelconque. Une fonction d : X X R { } est une métrique si les conditions suivantes sont satisfaites pour tout x, y, z dans X. (i) Positivité : d(x, y) > 0 si x y et d(x, x) = 0. (ii) Symétrie : d(x, y) = d(y, x). (iii) Inégalité triangulaire : d(x, y) d(x, z) + d(z, y). Un espace métrique est un ensemble muni d'une métrique, noté (X, d). Pour x, y dans X, on appelle d(x, y) la distance entre x et y. Quelques exemples (1) La droite des réels R munie de la distance d(x, y) = x y est un espace métrique. De même R n avec la distance d((x 1,..., x n ), (y 1,..., y n )) = n x i y i 2. Cette dernière s'appelle métrique euclidienne. (2) Tout espace vectoriel muni d'une norme : V R est un espace métrique, avec la distance d(v, w) = v w. Sur R n, on peut par exemple considérer la norme : i=1 (x 1,..., x n ) = max{x 1,..., x n }. La métrique euclidienne est aussi associée à la norme euclidienne, qu'on note pour simplier. (3) Étant donné un espace métrique X et un sous-ensemble S, il est possible de dénir une métrique sur S en restreignant la fonction d à S S. Comme l'exemple suivant le montre, un sous-ensemble peut être aussi muni d'une métrique intrinsèque, qui ne dépend pas de la métrique de l'espace ambiant et ne correspond pas forcément avec celle-ci. Considérons le cercle unitaire S 1 dans R 2, c'est à dire l'ensemble des points du plan à distance de l'origine égale à 1. On peut considérer la métrique euclidienne restreinte sur S 1 ou alternativement, dénir la distance entre deux points de S 1 comme la longueur de l'arc de cercle le plus court qui les unit. (4) La sphère S n de dimension n est le sous-ensemble des vecteurs de R n+1 qui ont norme unitaire. La métrique angulaire sur S n est dénie par : d(x, y) = arccos x, y, où, est le produit scalaire euclidien. Cela signie que la distance est déterminée par l'angle euclidien entre deux vecteurs unitaires. Si on considère le cas bidimensionnel, la distance angulaire est la longueur de l'arc d'équateur le plus court qui connecte x et y (en dimension n 2, on remplace les équateurs par les grands cercles).

2 ESPACES MÉTRIQUES ET CONVERGENCE DE GROMOV-HAUSDORFF (5) Soit Σ une surface régulière dans R 3. Rappelons qu'un sous-ensemble de R 3 est une surface régulière si (en gros) pour tout point p Σ il existe un voisinage ouvert de p qui est homéomorphe à un disque dans R 2. Il est possible de dénir un espace tangent T p Σ en tout point p de Σ : c'est l'espace vectoriel bidimensionnel constitué des vecteurs tangents aux courbes qui passent par p. R 3 induit un produit scalaire et donc une forme quadratique I p, la première forme fondamentale, sur l'espace tangent T p Σ ; cela permet de dénir la longueur des courbes sur Σ et par conséquent une métrique sur Σ. Plus précisément, soit U un ouvert de R 2 qui contient l'origine et ϕ : U Σ une carte locale telle que ϕ(0, 0) = p. La première forme fondamentale est une forme quadratique sur T p Σ, et peut être représentée par une matrice (2,2) dans la base B = {ϕ u, ϕ v }. Un vecteur w de T p Σ est associé à une courbe α :] ε, ε[ Σ, α(t) = ϕ(u(t), v(t)) telle que α (0) = w. Nous avons : I p (w) = α (0), α (0) = ϕ u u + ϕ v v, ϕ u u + ϕ v v = E(u ) 2 + 2F u v + G(v ) 2. où E = (ϕ u ) 2, F = ϕ u, ϕ v et G = (ϕ v ) 2. Donc la première forme fondamentale I p est représentée dans la base B par la matrice : ( ) E F. F G Remarquons que les coecients E, F et G ne sont pas forcément ceux du produit scalaire euclidien de R 2, et ils dépendent du point p. La norme de w dans T p Σ est donnée par : w Σ = I p (w) = E(u ) 2 + 2F u v + G(v ) 2. Soit Γ une coure tracée sur Σ, et γ : I Σ une paramétrisation de Γ telle que γ(t) = ϕ(u(t), v(t)). La longueur de Γ est dénie par : L(Γ) = γ (t) Σ dt. La distance intrinsèque de Σ est dénie par : I d(p, q) = inf{l(γ), γ : [0, 1] Σ courbe tracée sur Σt.q.γ(0) = p, γ(1) = q}. Cette distance n'est pas forcément la distance euclidienne induite de R 3 sur Σ. La distance angulaire de S 2 dans l'exemple précédent est la distance intrinsèque de la sphère en tant que surface régulière. (6) Les variétés Riemanniennes peuvent être vues comme un analogue des surfaces régulières en dimension quelconque n. Pour une variété Riemannienne de dimension n, il est possible de dénir un espace tangent de façon similaire (on obtient un espace vectoriel de dimension n) et un produit scalaire sur cet espace, qui s'appelle métrique Riemannienne. Cela permet de dénir la longueur des courbes et une distance intrinsèque... et c'est le sujet d'un cours de Master 2. Dénition 1.2. Le diamètre d'un espace métrique est déni par : diam(x) = sup d(x, y). x,y X Par exemple, le cercle S 1 muni de la métrique euclidienne a diamètre égal à 2 ; muni de sa métrique angulaire, il a diamètre π.

ESPACES MÉTRIQUES ET CONVERGENCE DE GROMOV-HAUSDORFF 3 Dénition 1.3. Une fonction d : X X R + {+ } est une semi-métrique si elle satisfait toutes les propriétés de la dénition précédente sauf l'implication : d(x, y) = 0 x = y. Proposition 1.4. Soit d un semi-métrique sur X. On introduit une relation d'équivalence d : pour tout x, y X on a x d y si et seulement si d(x, y) = 0. La projection ˆd de d sur le quotient ˆX = X/ d est bien dénie et ( ˆX, ˆd) est un espace métrique. Exemple : Soit p 1 et considérons l'ensemble L p (R) des fonctions réelles intégrables à la puissance p (selon Lebesgue). La fonction d p : L p (R) L p (R) R dénie par : ( d p (f, g) = f(x) g(x) p dx R est une semi-métrique. En eet, d p (f, g) = 0 si et seulement si f = g presque partout. Cela dénit une relation d'équivalence, et d p est une métrique sur l'ensemble L p (R) des classes d'équivalence des fonctions intégrables à la puissance p. Dénition 1.5. Soit (X, d X ) et (Y, d Y ) deux espaces métriques. On dit qu'une application f : X Y préserve les distances si pour tout x, y X d Y (f(x), f(y)) = d X (x, y) Une application bijective qui préserve les distances est une isométrie. Deux espaces se disent isométriques s'il existe une isométrie de l'un dans l'autre. Dénition 1.6. Soit (X, d X ) et (Y, d Y ) deux espaces métriques. Un application f : X X se dit lipschitzienne s'il existe une constante C > 0 telle que pour tout x 1, x 2 X on a ) 1 p d Y (f(x 1 ), f(x 2 )) Cd X (x 1, x 2 ). Une constante C pour laquelle l'inégalité précédente est vériée s'appelle constante de Lipschitz de f. La constante de Lispchitz minimale est la dilatation de f et est notée dil(f). Proposition 1.7. La composition de deux fonctions lipschitziennes est une fonction lipschitzienne. Plus précisément, si f : X Y et g : Y Z sont deux fonctions lipschitziennes, g f : X Z est une fonction lipschitzienne qui satisfait dil(g f) dil(f) dil(g). En particulier, la composition des deux fonctions qui préservent les distances, préserve les distances aussi. Métriques et topologie. Dénition 1.8. Soit X un espace métrique, x un point de X et r un réel strictement positif. La boule ouverte de centre x et rayon r est l'ensemble des points à distance strictement inférieure à r de x. On note B r (x). La boule fermée B r (x) est l'ensemble des points à distance inférieure ou égale à r de x. Exemple : Si on considère R n avec la norme, une boule est loin d'être ronde. Essayez de la dessiner par exemple dans R 2. La topologie associée à une métrique est dénie de la façon suivante : un ensemble U est un ouvert si et seulement si pour tout x dans U il existe un ε > 0 tel que B ε (x) U. Il est possible de montrer qu'un ensemble est ouvert s'il peut être représenté comme l'union (possiblement innie) de boules ouvertes.

4 ESPACES MÉTRIQUES ET CONVERGENCE DE GROMOV-HAUSDORFF Dénition 1.9. Une suite {x n } n=1 de points dans un espace topologique converge à un point x X si pour tout voisinage de U de x il existe un naturel n 0 tel que pour tout n n 0, x n U. On note x n x ; le point x est une limite de la suite. Proposition 1.10. Soit X et Y deux espaces métriques. Alors : (1) Une suite dans X a au plus une limite. (2) Un point x X est un point d'accumulation pour un ensemble S X si et seulement s'il existe une suite {x n } n=1 telle que x n S pour tout n et x n x. En particulier S est fermé si et seulement s'il contient toutes les limites de suites incluses dans S. (3) Une application f : X Y est continue en un point x X si et seulement si f(x n ) f(x) dans Y pour toutes les suites {x n } n=1 qui convergent à x. Proposition 1.11. Une fonction lipschitzienne entre deux espaces métriques est continue. Espaces métriques complets, espaces métriques compacts. Dénition 1.12. Une suite {x n } n=1 dans un espace métrique X est une suite de Cauchy si d(x n, x m ) 0 pour n, m qui tendent à l'inni, c'est-à-dire pour tout ε > 0 il existe n 0 tel que pour tout n, m n 0 on a d(x n, x m ) < ε. Un espace métrique est complet si toute suite de Cauchy converge. Exemple : R muni de la distance d(x, y) = x y est complet, mais R \ {0} avec la même distance ne l'est pas. Proposition 1.13. Soit X un espace métrique et X un sous-ensemble dense dans X. Soit Y un espace métrique complet et f : X X une application Lipschitzienne. Il existe une unique application continue f : X Y telle que f X = f. En outre, f est lipschitzienne avec la même constante de Lipschitz que f. Théorème 1.14. Soit X un espace métrique. Alors il existe un espace métrique complet X, qu'on appelle la complétion de X, tel que X est un sous-espace dense de X. Il est essentiellement unique dans le sens suivant : si X est un autre espace métrique avec les mêmes propriétés, alors il existe une isométrie entre X et X l'identité. Par exemple, la droite réelle R est la complétion de Q. qui restreinte à X est Dénition 1.15. On dit qu'un espace métrique X est compact si pour tout recouvrement ouvert de X il existe un collection nie d'ouverts du recouvrement qui couvre X. Remarque : Il ne faut pas penser à un ensemble compact comme un ensemble fermé et borné. En eet, cela est vrai dans R n, mais si on considère un espace de Banach de dimension innie, un important résultat d'analyse fonctionnelle nous dit que la boule unitaire fermée n'est pas compacte. Nous voulons considérer des espaces métriques bien plus généraux que R n ; c'est pour cela que nous aurons besoin d'autres dénitions équivalentes de la compacité. En particulier, nous nous servirons de la notion d'ε-réseau. Dénition 1.16. Soit X un espace métrique, S X et x un point de X. On dénit la distance de x à S par : dist(x, S) = inf d(x, y). y S Dénition 1.17. Soit X un espace métrique, S un sous-ensemble de X et ε > 0. On dit que S est un ε-réseau si pour tout x X on a dist(x, S) ε. On dit que X est totalement borné si pour tout ε > 0 il existe un ε-réseau ni.

ESPACES MÉTRIQUES ET CONVERGENCE DE GROMOV-HAUSDORFF 5 Théorème 1.18. Soit X un espace métrique. Les suivants sont équivalents : (1) X est compact (2) Toute suite dans X possède une sous-suite convergente. (3) Tout sous-ensemble inni de X possède un point d'accumulation. (4) X est complet et totalement borné. Théorème 1.19. Un espace métrique compact ne peut pas être isométrique à un de ses sous-ensembles propres. Autrement dit, s'il existe une application f : X X qui préserve la distance, f(x) = X (f est surjective). Dénition 1.20. Un espace métrique se dit séparable s'il admet un sous-ensemble dense et dénombrable. Proposition 1.21. Tout espace métrique compact est séparable.