forma espacial

En matemáticas , una forma espacial es una variedad de Riemann 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 no es necesario que una forma espacial esté simplemente conectada .

Reducción a cristalografía generalizada.

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

Al reescalar la métrica de Riemann , 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 . Así, la cobertura universal de una forma espacial con curvatura constante es isométrica a . ${\displaystyle H^{n}}$ ${\displaystyle M_{K}}$ ${\displaystyle K}$ ${\displaystyle K<0}$ ${\displaystyle S^{n}}$ ${\displaystyle M_{K}}$ ${\displaystyle K}$ ${\displaystyle K>0}$ ${\displaystyle M}$ ${\displaystyle K}$ ${\displaystyle M_{K}}$

Esto reduce el problema de estudiar formas espaciales al estudio de grupos discretos de isometrías que actúan propiamente de forma discontinua . Tenga en cuenta que el grupo fundamental de , , será isomorfo a . Los grupos que actúan de esta manera se denominan grupos cristalográficos . Los grupos que actúan de esta manera sobre y se denominan grupos fucsianos y grupos kleinianos , respectivamente. ${\displaystyle \Gamma }$ ${\displaystyle M_{K}}$ ${\displaystyle M}$ ${\displaystyle \pi _{1}(M)}$ ${\displaystyle \Gamma }$ ${\displaystyle R^{n}}$ ${\displaystyle H^{2}}$ ${\displaystyle H^{3}}$

Ver también

• Conjetura de Borel

Referencias

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