Cartan–Hadamard theorem In mathematics, the Cartan–Hadamard theorem is a statement in Riemannian geometry concerning the structure of complete Riemannian manifolds of non-positive sectional curvature. The theorem states that the universal cover of such a manifold is diffeomorphic to a Euclidean space via the exponential map at any point. It was first proved by Hans Carl Friedrich von Mangoldt for surfaces in 1881, and independently by Jacques Hadamard in 1898. Élie Cartan generalized the theorem to Riemannian manifolds in 1928 (Helgason 1978; Mach Carmo 1992; Kobayashi & Nomizu 1969). The theorem was further generalized to a wide class of metric spaces by Mikhail Gromov in 1987; detailed proofs were published by Ballmann (1990) for metric spaces of non-positive curvature and by Alexander & Bishop (1990) for general locally convex metric spaces.

Inhalt 1 Riemannsche Geometrie 2 Metric geometry 2.1 Generalization to locally convex spaces 3 Bedeutung 4 Siehe auch 5 References Riemannian geometry The Cartan–Hadamard theorem in conventional Riemannian geometry asserts that the universal covering space of a connected complete Riemannian manifold of non-positive sectional curvature is diffeomorphic to Rn. In der Tat, for complete manifolds of non-positive curvature, the exponential map based at any point of the manifold is a covering map.

The theorem holds also for Hilbert manifolds in the sense that the exponential map of a non-positively curved geodesically complete connected manifold is a covering map (McAlpin 1965; Lang 1991, IX, §3). Completeness here is understood in the sense that the exponential map is defined on the whole tangent space of a point.

Metric geometry In metric geometry, the Cartan–Hadamard theorem is the statement that the universal cover of a connected non-positively curved complete metric space X is a Hadamard space. Im Speziellen, if X is simply connected then it is a geodesic space in the sense that any two points are connected by a unique minimizing geodesic, and hence contractible.

A metric space X is said to be non-positively curved if every point p has a neighborhood U in which any two points are joined by a geodesic, and for any point z in U and constant speed geodesic γ in U, hat man {Anzeigestil d(z,Gamma (1/2))^{2}leq {frac {1}{2}}d(z,Gamma (0))^{2}+{frac {1}{2}}d(z,Gamma (1))^{2}-{frac {1}{4}}d(Gamma (0),Gamma (1))^{2}.} This inequality may be usefully thought of in terms of a geodesic triangle Δ = zγ(0)c(1). The left-hand side is the square distance from the vertex z to the midpoint of the opposite side. The right-hand side represents the square distance from the vertex to the midpoint of the opposite side in a Euclidean triangle having the same side lengths as Δ. This condition, called the CAT(0) condition is an abstract form of Toponogov's triangle comparison theorem.

Generalization to locally convex spaces The assumption of non-positive curvature can be weakened (Alexander & Bishop 1990), although with a correspondingly weaker conclusion. Call a metric space X convex if, for any two constant speed minimizing geodesics a(t) and b(t), die Funktion {displaystyle tmapsto d(a(t),b(t))} is a convex function of t. A metric space is then locally convex if every point has a neighborhood that is convex in this sense. The Cartan–Hadamard theorem for locally convex spaces states: If X is a locally convex complete connected metric space, then the universal cover of X is a convex geodesic space with respect to the induced length metric d.

Im Speziellen, the universal covering of such a space is contractible. The convexity of the distance function along a pair of geodesics is a well-known consequence of non-positive curvature of a metric space, but it is not equivalent (Ballmann 1990).

Significance The Cartan–Hadamard theorem provides an example of a local-to-global correspondence in Riemannian and metric geometry: nämlich, a local condition (non-positive curvature) and a global condition (simple-connectedness) together imply a strong global property (contractibility); or in the Riemannian case, diffeomorphism with Rn.

The metric form of the theorem demonstrates that a non-positively curved polyhedral cell complex is aspherical. This fact is of crucial importance for modern geometric group theory.

See also Glossary of Riemannian and metric geometry Cartan–Hadamard manifold Cartan–Hadamard conjecture References McAlpin, John (1965), "Infinite dimensional manifolds and Morse theory", These, Columbia University. Alexander, Stephanie B.; Bishop, Richard L. (1990), "The Hadamard-Cartan theorem in locally convex metric spaces", Enseign. Mathematik., Serie 2, 36 (3–4): 309–320. Ballmann, Werner (1995), Lectures on spaces of nonpositive curvature, DMV Seminar 25, Basel: Birkhäuser Verlag, pp. viii+112, ISBN 3-7643-5242-6, HERR 1377265. Bridson, Martin R.; Haefliger, André (1999), Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften 319, Berlin: Springer-Verlag, pp. xxii+643, ISBN 3-540-64324-9, HERR 1744486. Mach Carmo, Manfredo Perdigão (1992), Riemannsche Geometrie, Mathematik: theory and applications, Boston: Birkhäuser, pp. xvi+300, ISBN 0-8176-3490-8. Kobayashi, Shoshichi; Nomizu, Katsumi (1969), Foundations of Differential Geometry, Vol. II, Tracts in Mathematics 15, New York: Wiley Interscience, pp. xvi+470, ISBN 0-470-49648-7. Helgason, Sigurdur (1978), Differentialgeometrie, Lie groups and symmetric spaces, Reine und Angewandte Mathematik 80, New York: Akademische Presse, pp. xvi+628, ISBN 0-12-338460-5. Lang, Serge (1999), Fundamentals of differential geometry, Abschlusstexte in Mathematik, vol. 191, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98593-0, HERR 1666820. Kategorien: Metric geometryTheorems in Riemannian geometry

Wenn Sie andere ähnliche Artikel wissen möchten Cartan–Hadamard theorem Sie können die Kategorie besuchen Metric geometry.

Geh hinauf

Wir verwenden eigene Cookies und Cookies von Drittanbietern, um die Benutzererfahrung zu verbessern Mehr Informationen