Varietat completa

En matemàtiques, una varietat completa (o una varietat geodèsicament completa) Plantilla:Mvar és una varietat (pseudo)riemanniana en la qual, començant per un punt Plantilla:Math qualsevol, hi ha camins rectes que s'estenen infinitament en totes les direccions.

Formalment, una varietat $M$ és (geodèsicament) completa si per tota geodèsica maximal $\ell :I\to M$, es dóna que $I=(-\mathrm{\infty },\mathrm{\infty })$.Plantilla:Sfn Una geodèsica és maximal si no es pot estendre el seu domini.

Equivalentment, $M$ és (geodèsicament) completa si per tot $p\in M$, l'aplicació exponencial en $p$ és definida en $T_{p}M$, tot l'espai tangent a $p$.Plantilla:Sfn

Teorema de Hopf-Rinow

Plantilla:AP El teorema de Hopf-Rinow dóna una caracterització alternativa a la completesa geodèsica. Sigui $(M,g)$ una varietat riemanniana connexa i sigui $d_g:M\times M\to [0,\mathrm{\infty })$ la seva funció distància riemanniana.

El teorema de Hopf-Rinow afirma que $(M,g)$ és (geodèsicament) complet si i només si satisfà una de les següents condicions equivalents:Plantilla:Sfn

• L'espai mètric $(M,d_g)$ és complet (tota successió de Cauchy segons $d_g$ convergeix),
• Tots els subconjunts tancats i fitats de $M$ són compactes.

Exemples

L'espai euclidià ${ℝ}^n$, l'esfera ${𝕊}^n$, i els tors ${𝕋}^n$ (amb les seves mètriques riemannianes naturals) són tots ells varietats completes.

Totes les varietats riemannianes compactes i totes les varietats homogènies són geodèsicament completes. Tots els espais simètrics són geodèsicament complets.

Contraexemples

El pla sense l'origen ${ℝ}^2\mathrm{\setminus }\{(0,0)\}$ no és geodèsicament complet perquè la geodèsica maximal amb condicions inicials $p=(1,1)$, $v=(1,1)$ no té domini $ℝ$.

Un exemple simple d'una varietat no completa és el pla sense origen ${ℝ}^2\setminus \{0\}$ (amb la seva mètrica induïda). Les geodèsiques que passen per l'origen no poden ser definides en la recta sencera. Aplicant el teorema de Hopf–Rinow, es pot observar alternativament que no és un espai mètric complet: qualsevol seqüència en el pla que convergeixi a l'origen és una successió de Cauchy en el pla sense origen que no convergeix en un punt de l'espai.

Existeixen varietats pseudo-riemannianes (però no riemannianes) compactes que no són geodèsicament completes. Un exemple d'això és el tor de Clifton-Pohl.

En la teoria de la relativitat general, que descriu la gravetat en termes d'una geometria pseudo-riemanniana, sorgeixen molts exemples importants d'espais geodèsicament incomplets, com ara forats negres sense càrrega ni rotació o cosmologies amb un Big Bang. El fet que tals incompleteses siguin en certa manera genèriques en la relativitat general es demostra en els teoremes de la singularitat Penrose-Hawking.

Extensibilitat

Sigui $M$ una varietat geodèsicament completa, llavors $M$ no és isomètric a cap altre subvarietat pròpia oberta de cap altre varietat riemanniana. L'invers no sempre és cert.Plantilla:Sfn

Bibliografia

• Plantilla:Citation

• Plantilla:Cite book

• Plantilla:Cite book