Forma espacial

En matemáticas , una forma espacial es una variedad riemanniana completa M de curvatura seccional constante K. Los tres ejemplos más fundamentales son el espacio n euclidiano , la esfera n -dimensional y el espacio hiperbólico , aunque una forma espacial no necesita estar simplemente conexa .

El teorema de Killing-Hopf de la geometría de Riemann establece que la cubierta universal de una forma espacial n -dimensional con curvatura es isométrica a , espacio hiperbólico , con curvatura es isométrica a , espacio n- euclidiano , y con curvatura es isométrica a , la esfera n-dimensional de puntos a distancia 1 del origen en . $Estilo de visualización Mn$${\displaystyle K=-1}$$Estilo de visualización H^{n}}$${\displaystyle K=0}$$Estilo de visualización R^{n}}$${\displaystyle K=+1}$$Estilo de visualización Sn$$Estilo de visualización R^{n+1}}$

Al reescalar la métrica de Riemann en , podemos crear un espacio de curvatura constante para cualquier . De manera similar, al reescalar la métrica de Riemann en , podemos crear un espacio de curvatura constante para cualquier . Por lo tanto, la cobertura universal de una forma espacial con curvatura constante es isométrica a . $Estilo de visualización H^{n}}$$Estilo de visualización M_{K}}$${\estilo de visualización K}$${\estilo de visualización K<0}$$Estilo de visualización Sn$$Estilo de visualización M_{K}}$${\estilo de visualización K}$${\displaystyle K>0}$${\estilo de visualización M}$${\estilo de visualización K}$$Estilo de visualización M_{K}}$

Esto reduce el problema de estudiar las formas espaciales al estudio de grupos discretos de isometrías de las cuales actúan de forma propiamente discontinua . Nótese que el grupo fundamental de , , será isomorfo a . Los grupos que actúan de esta manera sobre se denominan grupos cristalográficos . Los grupos que actúan de esta manera sobre y se denominan grupos fuchsianos y grupos kleinianos , respectivamente. ${\estilo de visualización \Gamma}$$Estilo de visualización M_{K}}$${\estilo de visualización M}$$estilo de visualización {\pi _{1}(M)}$${\estilo de visualización \Gamma}$$Estilo de visualización R^{n}}$$Estilo de visualización H^{2}}$$Estilo de visualización H3$

• Conjetura de Borel

• Goldberg, Samuel I. (1998), Curvatura y homología , Dover Publications , ISBN 978-0-486-40207-9
• Lee, John M. (1997), Variedades de Riemann: una introducción a la curvatura , Springer