# Théorème de compacité de Gromov (géométrie)

Théorème de compacité de Gromov (géométrie) Not to be confused with Gromov's compactness theorem in symplectic geometry.

In the mathematical field of metric geometry, Mikhael Gromov proved a fundamental compactness theorem for sequences of metric spaces. In the special case of Riemannian manifolds, the key assumption of his compactness theorem is automatically satisfied under an assumption on Ricci curvature. These theorems have been widely used in the fields of geometric group theory and Riemannian geometry.

Metric compactness theorem The Gromov–Hausdorff distance defines a notion of distance between any two metric spaces, thereby setting up the concept of a sequence of metric spaces which converges to another metric space. This is known as Gromov–Hausdorff convergence. Gromov found a condition on a sequence of compact metric spaces which ensures that a subsequence converges to some metric space relative to the Gromov–Hausdorff distance:[1] Laisser (Xi, di) be a sequence of compact metric spaces with uniformly bounded diameter. Suppose that for every positive number ε there is a natural number N and, for every i, the set Xi can be covered by N metric balls of radius ε. Then the sequence (Xi, di) has a subsequence which converges relative to the Gromov–Hausdorff distance.

The role of this theorem in the theory of Gromov–Hausdorff convergence may be considered as analogous to the role of the Arzelà–Ascoli theorem in the theory of uniform convergence.[2] Gromov first formally introduced it in his 1981 resolution of the Milnor–Wolf conjecture in the field of geometric group theory, where he applied it to define the asymptotic cone of certain metric spaces.[3] These techniques were later extended by Gromov and others, using the theory of ultrafilters.[4] Riemannian compactness theorem Specializing to the setting of geodesically complete Riemannian manifolds with a fixed lower bound on the Ricci curvature, the crucial covering condition in Gromov's metric compactness theorem is automatically satisfied as a corollary of the Bishop–Gromov volume comparison theorem. As such, il s'ensuit que:[5] Consider a sequence of closed Riemannian manifolds with a uniform lower bound on the Ricci curvature and a uniform upper bound on the diameter. Then there is a subsequence which converges relative to the Gromov–Hausdorff distance.

The limit of a convergent subsequence may be a metric space without any smooth or Riemannian structure.[6] This special case of the metric compactness theorem is significant in the field of Riemannian geometry, as it isolates the purely metric consequences of lower Ricci curvature bounds.

References ^ Bridson & Haefliger 1999, Théorème 5.41; Burago, Burago & Ivanov 2001, Théorème 7.4.15; Gromov 1981, Section 6; Gromov 1999, Proposition 5.2; Peterson 2016, Proposition 11.1.10. ^ Villani 2009, p. 754. ^ Gromov 1981, Section 7; Gromov 1999, Paragraph 5.7. ^ Bridson & Haefliger 1999, Définition 5.50; Gromov 1993, Section 2. ^ Gromov 1999, Théorème 5.3; Peterson 2016, Corollaire 11.1.13. ^ Gromov 1999, Paragraph 5.5.

Sources.

Bridson, Martin R.; Haefliger, André (1999). Metric spaces of non-positive curvature. Bases des sciences mathématiques. Volume. 319. Berlin: Springer Verlag. est ce que je:10.1007/978-3-662-12494-9. ISBN 3-540-64324-9. M 1744486. Zbl 0988.53001. Burago, Dmitri; Burago, Youri; Ivanov, Sergei (2001). A course in metric geometry. Études supérieures en mathématiques. Volume. 33. Providence, IR: Société mathématique américaine. est ce que je:10.1090/gsm/033. ISBN 0-8218-2129-6. M 1835418. Zbl 0981.51016. (Erratum: [1]) Gromov, Mikhael (1981). "Groups of polynomial growth and expanding maps". Publications Mathématiques de l'Institut des Hautes Études Scientifiques. 53: 53–73. est ce que je:10.1007/BF02698687. M 0623534. Zbl 0474.20018. Gromov, M. (1993). "Asymptotic invariants of infinite groups". In Niblo, Graham A.; Rouleau, Martin A. (éd.). Théorie géométrique des groupes. Volume. 2. Symposium held at Sussex University (Sussex, Juillet 1991). Série de notes de cours de la London Mathematical Society. Cambridge: la presse de l'Universite de Cambridge. pp. 1–295. ISBN 0-521-44680-5. M 1253544. Zbl 0841.20039. Gromov, Micha (1999). Metric structures for Riemannian and non-Riemannian spaces. Progress in Mathematics. Volume. 152. Translated by Bates, Sean Michael. With appendices by M. Katz, P. Pansu, and S. Semmes. (Based on the 1981 French original ed.). Boston, MA: Birkhauser Boston, Inc. est ce que je:10.1007/978-0-8176-4583-0. ISBN 0-8176-3898-9. M 1699320. Zbl 0953.53002. Peterson, Pierre (2016). Géométrie riemannienne. Textes d'études supérieures en mathématiques. Volume. 171 (Troisième édition de 1998 original ed.). Springer, Cham. est ce que je:10.1007/978-3-319-26654-1. ISBN 978-3-319-26652-7. M 3469435. Zbl 1417.53001. Méchants, Cédric (2009). Optimal transport. Old and new. Bases des sciences mathématiques. Volume. 338. Berlin: Springer Verlag. est ce que je:10.1007/978-3-540-71050-9. ISBN 978-3-540-71049-3. M 2459454. Zbl 1156.53003. masquer les collecteurs vte (Glossaire) Concepts de base Variété topologique Atlas Variété différentielle/lisse Structure différentielle Atlas lisse Sous-variété Variété riemannienne Carte lisse Submersion Pousser vers l'avant Espace tangent Forme différentielle Champ vectoriel Principaux résultats (liste) Indice Atiyah–SingerDarboux'sDe Rham'sFrobeniusGeneralized StokesHopf–RinowNoether'sSard'sWhitney embedding Maps CurveDiffeomorphism LocalGeodesicExponential map in Lie theoryFoliationImmersionIntegral curveLie deriveSectionSubmersion Types of manifolds Closed(Presque) Complexe(Presque) ContactFibréFinslerPlatG-structureHadamardHermitienHyperboliqueKählerKenmotsuGroupe de Lie Algèbre de LieVariété avec limiteOrientéParallélisablePoissonPrimeQuaternioniqueHypercomplexe(Pseudo−, Sous−) RiemannianRizza(Presque) SymplecticTame Tensors Vecteurs DistributionLie bracketPushforwardTangent space bundleTorsionVector fieldVector flow Covectors Closed/ExactCovariant derivéeCovariant space bundleDe Rham cohomologyForme différentielle Vector-valuedDerivée extérieureInterior productPullbackRicci curvature flowRiemann curvature tensorTensor field densityVolume formWedge product Bundles AdjointAffineAssociatedCotangentDualFiber(Co) FibrationJetAlgèbre de Lie(Écurie) NormalPrincipalSpinorSubbundleTangentTensorVector Connections AffineCartanEhresmannFormGeneralizedKoszulLevi-CivitaPrincipalVectorParallel transport Related Classification of manifoldsThéorie de jaugeHistoireThéorie de MorseCadre mobileThéorie des singularités Généralisations Collecteur de BanachDifféologieDiffiétéCollecteur de FréchetK-theoryOrbifoldCalcul secondaire sur les algèbres commutativesFaisceauStratifoldSupervariétéTopologique Catégories d'espace très stratifié: Differential geometryTheorems in Riemannian geometry

Si vous voulez connaître d'autres articles similaires à Théorème de compacité de Gromov (géométrie) vous pouvez visiter la catégorie Géométrie différentielle.

Monter

Nous utilisons nos propres cookies et ceux de tiers pour améliorer l'expérience utilisateur Plus d'informations