Ver el código de «Teorema de Cartan–Hadamard»

{{referencias adicionales|t=20240319}}
{{wikificar|t=20240319}}

En matemáticas, el '''teorema de Cartan-Hadamard''' es una idea importante en [[geometría riemanniana]]. Básicamente, nos dice cómo son ciertos espacios geométricos que tienen una "curvatura no positiva". Imagina una superficie que no se curva hacia afuera como una esfera, sino que se mantiene plana o se curva hacia adentro como una silla de montar. Este teorema nos ayuda a entender la forma general de estos espacios.

El teorema afirma que si tenemos un espacio de este tipo (completo y con curvatura no positiva), podemos "desenrollarlo" completamente, como si fuera una alfombra, y extenderlo sobre un espacio plano (un [[espacio euclídeo]], como una hoja de papel infinita, pero en más dimensiones). Este "desenrollado" se hace usando una herramienta matemática llamada [[aplicación exponencial (geometría riemanniana)|aplicación exponencial]].

Este teorema fue descubierto por primera vez por [[Hans Carl Friedrich von Mangoldt]] para [[superficie (topología)|superficies]] (como la silla de montar que mencionamos) en 1881. [[Jacques Hadamard]] también lo demostró de forma independiente en 1898. Luego, [[Élie Cartan]] lo extendió a espacios más generales (variedades riemannianas) en 1928 ({{harvnb|Helgason|1978}};{{harvnb|do Carmo|1992}};{{harvnb|Kobayashi|Nomizu|1969}}). Más tarde, [[Mijaíl Grómov]] encontró una versión aún más general del teorema para otros tipos de espacios, no solo los geométricos "suaves" ({{harvtxt|Ballmann|1990}};{{harvtxt|Alexander|Bishop|1990}}).

== Geometría riemanniana ==

En la geometría riemanniana (que estudia espacios curvos "suaves"), el teorema de Cartan-Hadamard dice lo siguiente: si tienes un espacio geométrico completo (sin "agujeros" ni "bordes"), conexo (de una sola pieza) y con curvatura no positiva (como la silla de montar), entonces puedes "desenrollarlo" sobre un espacio plano de la misma dimensión ('''R'''<sup>''n''</sup>).

Más técnicamente, el [[espacio recubridor#Recubridor universal|espacio recubridor universal]] (que es como una versión "desenrollada" del espacio original) es [[difeomorfismo|difeomorfo]] a '''R'''<sup>''n''</sup>. Esto significa que hay una forma suave y reversible de transformar el espacio "desenrollado" en el espacio plano. La [[aplicación exponencial (geometría riemanniana)|aplicación exponencial]] es la herramienta que nos permite hacer esta transformación. Piensa en la aplicación exponencial como un mapa que te dice cómo "caminar" en línea recta en el espacio curvo.

Este teorema también funciona para espacios aún más generales, llamados [[variedad de Hilbert|variedades de Hilbert]] ({{harvnb|McAlpin|1965}};{{harvnb|Lang|1999|loc=IX, §3}}).

== Geometría métrica ==

En [[espacio métrico|geometría métrica]] (que estudia espacios donde solo sabemos medir distancias), el teorema de Cartan-Hadamard nos da una idea similar.  Si tenemos un espacio métrico completo (sin "agujeros"), conexo (de una sola pieza) y con curvatura no positiva, entonces su [[espacio recubridor#Recubridor universal|recubridor universal]] (la versión "desenrollada") es un [[espacio de Hadamard]].

Un espacio de Hadamard es un tipo especial de espacio donde, entre otras cosas, dos puntos cualesquiera siempre están conectados por una única línea recta (geodésica) más corta.  Esto significa que si el espacio original es [[conjunto simplemente conexo|simplemente conexo]] (es decir, no tiene "agujeros" que puedas rodear con un lazo), entonces es un espacio geodésico y, además, es [[espacio contráctil|contráctil]] (puedes "aplastarlo" continuamente hasta convertirlo en un solo punto).

Pero, ¿qué significa que un espacio métrico tenga "curvatura no positiva"?  Imagina tres puntos en el espacio, ''z'', ''a'' y ''b'', que forman un triángulo.  Ahora, encuentra el punto medio ''m'' del segmento que une ''a'' y ''b''.  Si la distancia de ''z'' a ''m'' es *menor o igual* que lo que obtendrías en un triángulo plano con los mismos lados, entonces el espacio tiene curvatura no positiva (al menos en esa pequeña región).

Más formalmente, si γ es una geodésica (camino más corto) que va de ''a'' = γ(0) a ''b'' = γ(1), y ''m'' = γ(1/2) es el punto medio, entonces:

: <math> d(z,\gamma(1/2))^2 \le \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.</math>

Esta desigualdad, llamada [[espacio CAT(k)|condición CAT(0)]], es una forma de decir que los triángulos en este espacio son "más delgados" que los triángulos en un espacio plano.

=== Generalización a espacios localmente convexos ===

Incluso podemos relajar un poco más la condición de "curvatura no positiva" {{harv|Alexander|Bishop|1990}}. En lugar de pedir que los triángulos sean "más delgados" que en el espacio plano, podemos pedir simplemente que la distancia entre dos geodésicas sea una [[función convexa]].  Esto significa que si te mueves a lo largo de dos geodésicas al mismo tiempo, la distancia entre ellas nunca aumenta más rápido de lo que lo haría en un espacio plano.

Si un espacio métrico es conexo (de una sola pieza), completo (sin "agujeros") y localmente convexo (esta condición de la distancia entre geodésicas se cumple en una pequeña región alrededor de cada punto), entonces su recubridor universal es un espacio geodésico convexo. Y, como antes, esto implica que el recubridor universal es contráctil (se puede "aplastar" hasta un punto).

== Importancia ==

El teorema de Cartan-Hadamard es importante porque muestra cómo una propiedad local (la curvatura no positiva) y una propiedad global (la conexión simple, es decir, no tener "agujeros" que no se puedan tapar) pueden combinarse para darnos una propiedad global muy fuerte: la contractilidad (poder "aplastar" el espacio hasta un punto) o, en el caso de la geometría riemanniana, el hecho de que el espacio sea básicamente como un espacio plano (difeomorfo a '''R'''<sup>n</sup>).

En términos más sencillos, el teorema nos dice que si un espacio tiene una curvatura "hacia adentro" o plana, y no tiene "agujeros" grandes, entonces su forma general es bastante simple: se puede "desenrollar" sobre un espacio plano.

Además, la versión métrica del teorema nos dice que ciertos tipos de espacios construidos a partir de poliedros (llamados [[CW-complejo|complejos celulares]]) son [[espacio asférico|asféricos]] (no tienen "agujeros" de dimensiones superiores). Esto es muy útil en un área de las matemáticas llamada [[teoría geométrica de grupos]].

== Véase también ==

*   [[Anexo:Glosario de la geometría de Riemann]]
*   [[Variedad de Hadamard|Variedad de Cartan–Hadamard]]
*   [[Conjetura de Cartan–Hadamard]]

== Referencias ==

{{refbegin}}

*   {{citation |last=McAlpin |first=John |title=Infinite dimensional manifolds and Morse theory |journal=Thesis |publisher=Columbia University |year=1965}}.
*   {{citation
| last1 = Alexander |first1=Stephanie B.
| last2 = Bishop |first2=Richard L.
| title = The Hadamard-Cartan theorem in locally convex metric spaces
| journal = Enseign. Math. |series=Series 2
| volume = 36
| issue = 3–4
| year = 1990
| pages = 309–320
}}.
*   {{cite book |last=Ballmann |first=Werner |chapter=Singular Spaces of Non-Positive Curvature |editor1-last=Ghys |editor1-first=E. |editor2-last=de la Harpe |editor2-first= P. |title=Sur les Groupes Hyperboliques d’après Mikhael Gromov |date=1990 |series=Progress in Mathematics |volume=83 |location=Boston, MA |publisher=Birkhäuser}}
*   {{citation
| last = Ballmann
| first = Werner
| title = Lectures on spaces of nonpositive curvature
| series = DMV Seminar 25
| publisher = Birkhäuser Verlag
| location = Basel
| year = 1995
| pages = viii+112
| isbn = 3-7643-5242-6
| mr= 1377265
}}.
*   {{citation
| last1 = Bridson |first1=Martin R.
| last2 = Haefliger |first2=André
| title = Metric spaces of non-positive curvature
| series = Grundlehren der Mathematischen Wissenschaften 319
| publisher = Springer-Verlag
| location = Berlin
| year = 1999
| pages = xxii+643
| isbn = 3-540-64324-9
| mr= 1744486
}}.
*   {{citation
| last = do Carmo |first=Manfredo Perdigão|authorlink=Manfredo do Carmo
| title = Riemannian geometry
| series = Mathematics: theory and applications
| publisher = Birkhäuser
| location = Boston
| year = 1992
| pages = xvi+300
| isbn = 0-8176-3490-8
}}.
*   {{citation
| last1 = Kobayashi |first1=Shoshichi
| last2 = Nomizu |first2=Katsumi
| title = [[Foundations of Differential Geometry]], Vol. II
| series = Tracts in Mathematics 15
| publisher = Wiley Interscience
| location = New York
| year = 1969
| pages = xvi+470
| isbn = 0-470-49648-7
}}.
*   {{citation
| author1-link = Sigurdur Helgason
| last1 = Helgason |first1=Sigurdur
| title = Differential geometry, Lie groups and symmetric spaces
| series = Pure and Applied Mathematics 80
| publisher = Academic Press
| location = New York
| year = 1978
| pages = xvi+628
| isbn = 0-12-338460-5
}}.
*   {{Citation | last1=Lang | first1=Serge | author1-link=Serge Lang | title=Fundamentals of differential geometry | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-98593-0 | mr=1666820 | year=1999 | volume=191}}.

{{refend}}

{{DEFAULTSORT:Cartan-Hadamard teorema}}
{{Control de autoridades}}
[[Categoría:Geometría métrica]]
[[Categoría:Geometría riemanniana]]
[[Categoría:Teoremas de geometría diferencial]]
[[Categoría:Topología]]