3-esfera

Proyección estereográfica de los paralelos (rojo), meridianos (azul) e hipermeridianos (verde) de la hiperesfera. Como esta proyección es conforme , las curvas se intersecan entre sí ortogonalmente (en los puntos amarillos) como en 4D. Todas las curvas son círculos: las curvas que se intersecan con ⟨0,0,0,1⟩ tienen un radio infinito (= línea recta). En esta imagen, todo el espacio 3D representa la superficie de la hiperesfera, mientras que en la siguiente imagen el espacio 3D contiene la sombra de la hiperesfera en su conjunto.

En matemáticas , una 3-esfera , gloma o hiperesfera es un análogo de dimensión superior de una esfera . En el espacio euclidiano de 4 dimensiones , es el conjunto de puntos equidistantes de un punto central fijo. De manera análoga a cómo el límite de una pelota en tres dimensiones es una esfera ordinaria (o 2-esfera, una superficie bidimensional ), el límite de una pelota en cuatro dimensiones (un gongyl) es una 3-esfera (una "superficie" tridimensional ) . Topológicamente, una 3-esfera es un ejemplo de una 3-variedad , y también es una n -esfera .

Definición

En coordenadas , una 3-esfera con centro $(C 0, C 1, C 2, C 3)$ y radio $r$ es el conjunto de todos los puntos $(x 0, x 1, x 2, x 3)$ en el espacio real de 4 dimensiones ( $R 4$ ) tales que

\suma _{i=0}^{3}(x_{i}-C_{i})^{2}=(x_{0}-C_{0})^{2}+(x_{1}-C_{1})^{2}+(x_{2}-C_{2})^{2}+(x_{3}-C_{3})^{2}=r^{2}.

La 3-esfera centrada en el origen con radio 1 se llama 3-esfera unitaria y generalmente se denota $S 3$ :

S^{3}=\left\{(x_{0},x_{1},x_{2},x_{3})\in \mathbb {R} ^{4}:x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+x_{3}^{2}=1\right\}.

A menudo es conveniente considerar $R 4$ como el espacio con 2 dimensiones complejas ( $C 2$ ) o los cuaterniones ( $H$ ). La unidad 3-esfera viene dada entonces por

S^{3}=\left\{(z_{1},z_{2})\in \mathbb {C} ^{2}:|z_{1}|^{2}+|z_{2}|^{2}=1\right\}

S^{3}=\left\{q\in \mathbb {H} :\|q\|=1\right\}.

Esta descripción de los cuaterniones de norma uno identifica la 3-esfera con los versores en el anillo de división de cuaterniones . Así como el círculo unitario es importante para las coordenadas polares planas , la 3-esfera es importante en la visión polar del 4-espacio involucrado en la multiplicación de cuaterniones. Véase la descomposición polar de un cuaternión para obtener detalles de este desarrollo de la 3-esfera. Esta visión de la 3-esfera es la base para el estudio del espacio elíptico desarrollado por Georges Lemaître . ^[1]

Propiedades

Propiedades elementales

El volumen de la superficie tridimensional de una esfera de radio $r$ es

SV=2\pi ^{2}r^{3}\,

mientras que el hipervolumen de 4 dimensiones (el contenido de la región de 4 dimensiones delimitada por la esfera tridimensional) es

H={\frac {1}{2}}\pi ^{2}r^{4}.

Toda intersección no vacía de una esfera tridimensional con un hiperplano tridimensional es una esfera bidimensional (a menos que el hiperplano sea tangente a la esfera tridimensional, en cuyo caso la intersección es un único punto). A medida que una esfera tridimensional se mueve a través de un hiperplano tridimensional dado, la intersección comienza como un punto, luego se convierte en una esfera bidimensional en crecimiento que alcanza su tamaño máximo cuando el hiperplano corta directamente a través del "ecuador" de la esfera tridimensional. Luego, la esfera bidimensional se encoge nuevamente hasta convertirse en un único punto cuando la esfera tridimensional abandona el hiperplano.

En un hiperplano tridimensional dado, una 3-esfera puede girar alrededor de un "plano ecuatorial" (análogo a una 2-esfera que gira alrededor de un eje central), en cuyo caso parece ser una 2-esfera cuyo tamaño es constante.

Propiedades topológicas

Una 3-esfera es una variedad tridimensional compacta , conexa y sin borde. También es simplemente conexa . Esto significa, en sentido amplio, que cualquier bucle o camino circular en la 3-esfera puede encogerse continuamente hasta un punto sin salir de la 3-esfera. La conjetura de Poincaré , demostrada en 2003 por Grigori Perelman , establece que la 3-esfera es la única variedad tridimensional (hasta el homeomorfismo ) con estas propiedades.

La 3-esfera es homeomorfa a la compactificación de un punto de $R 3$ . En general, cualquier espacio topológico que sea homeomorfo a la 3-esfera se denomina 3-esfera topológica .

Los grupos de homología de la 3-esfera son los siguientes: $H 0 (S 3, Z)$ y $H 3 (S 3, Z)$ son ambos cíclicos infinitos , mientras que $H i (S 3, Z) = {}$ para todos los demás índices $i$ . Cualquier espacio topológico con estos grupos de homología se conoce como 3-esfera de homología . Inicialmente Poincaré conjeturó que todas las 3-esferas de homología son homeomorfas a $S 3$ , pero luego él mismo construyó una no homeomorfa, ahora conocida como la esfera de homología de Poincaré . Ahora se sabe que existen infinitas esferas de homología. Por ejemplo, un relleno de Dehn con pendiente $.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num{display:block;line-height:1em;margin:0.0em 0.1em;border-bottom:1px solid}.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0.1em 0.1em}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);clip-path:polygon(0px 0px,0px 0px,0px 0px);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}⁠1/norte⁠$ en cualquier nudo de la 3-esfera se obtiene una esfera de homología; normalmente, estas no son homeomorfas a la 3-esfera.

En cuanto a los grupos de homotopía , tenemos $π 1 (S 3) = π 2 (S 3) = {}$ y $π 3 (S 3)$ es cíclico infinito. Los grupos de homotopía superior ( $k \geq 4$ ) son todos abelianos finitos pero por lo demás no siguen un patrón discernible. Para más información, véase grupos de homotopía de esferas .

Propiedades geométricas

La 3-esfera es naturalmente una variedad suave , de hecho, una subvariedad cerrada embebida de $R 4$ . La métrica euclidiana en $R 4$ induce una métrica en la 3-esfera dándole la estructura de una variedad de Riemann . Como con todas las esferas, la 3-esfera tiene una curvatura seccional positiva constante igual a $⁠$ $1 / r2 ⁠$ donde $r$ es el radio.

Gran parte de la interesante geometría de la esfera 3 se debe al hecho de que tiene una estructura de grupo de Lie natural dada por la multiplicación de cuaterniones (ver la sección sobre la estructura de grupo más abajo). Las únicas otras esferas con una estructura de este tipo son la esfera 0 y la esfera 1 (ver el grupo de círculos ).

A diferencia de la 2-esfera, la 3-esfera admite campos vectoriales no nulos ( secciones de su fibrado tangente ). Incluso se pueden encontrar tres campos vectoriales linealmente independientes y no nulos. Estos pueden tomarse como campos vectoriales cualesquiera invariantes por la izquierda que formen una base para el álgebra de Lie de la 3-esfera. Esto implica que la 3-esfera es paralelizable . De ello se deduce que el fibrado tangente de la 3-esfera es trivial . Para una discusión general del número de campos vectoriales lineales independientes en una $n$ -esfera, véase el artículo campos vectoriales en esferas .

Existe una acción interesante del grupo circular $T$ sobre $S 3$ que le da a la 3-esfera la estructura de un fibrado circular principal conocido como fibrado de Hopf . Si uno piensa en $S 3$ como un subconjunto de $C 2$ , la acción está dada por

(z_{1},z_{2})\cdot \lambda =(z_{1}\lambda ,z_{2}\lambda )\quad \forall \lambda \in \mathbb {T}

El espacio de órbitas de esta acción es homeomorfo a la biesfera $S 2$ . Dado que $S 3$ no es homeomorfo a $S 2 \times S 1$ , el fibrado de Hopf no es trivial.

Construcción topológica

Existen varias construcciones conocidas de tres esferas. Aquí describimos el pegado de un par de tres esferas y luego la compactación de un punto.

Pegado

Se puede construir topológicamente una esfera de 3 dimensiones " pegando " los límites de un par de esferas de 3 dimensiones . El límite de una esfera de 3 dimensiones es una esfera de 2 dimensiones, y estas dos esferas de 2 dimensiones deben identificarse. Es decir, imaginemos un par de esferas de 3 dimensiones del mismo tamaño, superpongámoslas de modo que sus límites de esfera de 2 dimensiones coincidan, y dejemos que los pares de puntos coincidentes en el par de esferas de 2 dimensiones sean idénticamente equivalentes entre sí. En analogía con el caso de la esfera de 2 dimensiones (ver más abajo), la superficie de pegado se denomina esfera ecuatorial.

Nótese que los interiores de las 3 bolas no están pegadas entre sí. Una forma de pensar en la cuarta dimensión es como una función continua de valor real de las coordenadas tridimensionales de las 3 bolas, que tal vez se considere como "temperatura". Tomamos la "temperatura" como cero a lo largo de la 2-esfera que se pega y dejamos que una de las 3 bolas esté "caliente" y que la otra esté "fría". La 3-bola "caliente" podría considerarse como el "hemisferio superior" y la 3-bola "fría" podría considerarse como el "hemisferio inferior". La temperatura es más alta/más baja en los centros de las dos 3-bolas.

Esta construcción es análoga a la construcción de una esfera de dos caras, realizada pegando los límites de un par de discos. Un disco es una esfera de dos caras y el límite de un disco es un círculo (una esfera de uno caras). Supongamos que un par de discos tienen el mismo diámetro. Superponedlos y pegad los puntos correspondientes en sus límites. De nuevo, podemos pensar en la tercera dimensión como la temperatura. Del mismo modo, podemos inflar la esfera de dos caras, moviendo el par de discos para que se conviertan en los hemisferios norte y sur.

Compactación de un punto

Después de eliminar un único punto de la esfera bidimensional, lo que queda es homeomorfo al plano euclidiano. De la misma manera, al eliminar un único punto de la esfera tridimensional se obtiene un espacio tridimensional. Una forma extremadamente útil de ver esto es mediante la proyección estereográfica . Primero describimos la versión de menor dimensión.

Apoyamos el polo sur de una esfera unitaria de 2 unidades sobre el plano $xy$ en el espacio tridimensional. Asignamos un punto $P$ de la esfera (menos el polo norte $N$ ) al plano enviando $P$ a la intersección de la línea $NP$ con el plano. La proyección estereográfica de una esfera tridimensional (nuevamente eliminando el polo norte) se asigna al espacio tridimensional de la misma manera. (Observe que, dado que la proyección estereográfica es conforme , las esferas redondas se envían a esferas redondas o a planos).

Una forma algo diferente de pensar en la compactificación de un punto es a través del mapa exponencial . Volviendo a nuestra imagen de la unidad de dos esferas situada en el plano euclidiano: considere una geodésica en el plano, basada en el origen, y mapee esta a una geodésica en la dos esferas de la misma longitud, basada en el polo sur. Bajo este mapa, todos los puntos del círculo de radio $π$ se envían al polo norte. Dado que el disco unitario abierto es homeomorfo al plano euclidiano, esto es nuevamente una compactificación de un punto.

El mapa exponencial para la 3-esfera se construye de manera similar; también se puede analizar utilizando el hecho de que la 3-esfera es el grupo de Lie de cuaterniones unitarios.

Sistemas de coordenadas en la 3-esfera

Las cuatro coordenadas euclidianas para $S 3$ son redundantes ya que están sujetas a la condición de que $x 02 + x 12 + x 22 + x 32 = 1$ . Como variedad tridimensional, se debería poder parametrizar $S 3$ mediante tres coordenadas, de la misma forma que se puede parametrizar la 2-esfera utilizando dos coordenadas (como latitud y longitud ). Debido a la topología no trivial de $S 3$ , es imposible encontrar un único conjunto de coordenadas que cubra todo el espacio. Al igual que en la 2-esfera, se deben utilizar al menos dos gráficos de coordenadas . A continuación se ofrecen algunas opciones diferentes de coordenadas.

Coordenadas hiperesféricas

Es conveniente tener algún tipo de coordenadas hiperesféricas en $S 3$ en analogía con las coordenadas esféricas habituales en $S 2$ . Una de esas opciones —de ninguna manera única— es usar $(ψ, θ, φ)$ , donde

{\begin{aligned}x_{0}&=r\cos \psi \\x_{1}&=r\sin \psi \cos \theta \\x_{2}&=r\sin \psi \sin \theta \cos \varphi \\x_{3}&=r\sin \psi \sin \theta \sin \varphi \end{aligned}}

donde $ψ$ y $θ$ van desde 0 hasta $π$ , y $φ$ va desde 0 hasta 2 $π$ . Nótese que, para cualquier valor fijo de $ψ$ , $θ$ y $φ$ parametrizan una 2-esfera de radio , excepto en los casos degenerados, cuando $ψ$ es igual a 0 o $π$ , en cuyo caso describen un punto. $r\sin \psi$

La métrica redonda de la 3-esfera en estas coordenadas está dada por ^[2]

ds^{2}=r^{2}\left[d\psi ^{2}+\sin ^{2}\psi \left(d\theta ^{2}+\sin ^{2}\theta \,d\varphi ^{2}\right)\right]

y el volumen se forma por

dV=r^{3}\left(\sin ^{2}\psi \,\sin \theta \right)\,d\psi \wedge d\theta \wedge d\varphi .

Estas coordenadas tienen una descripción elegante en términos de cuaterniones . Cualquier cuaternión unitario $q$ puede escribirse como un versor :

q=e^{\tau \psi }=\cos \psi +\tau \sin \psi

donde $τ$ es un cuaternión imaginario unitario ; es decir, un cuaternión que satisface $τ 2 = -1$ . Este es el análogo cuaterniónico de la fórmula de Euler . Ahora bien, todos los cuaterniones imaginarios unitarios se encuentran en la 2-esfera unitaria en $Im H$ , por lo que cualquier $τ$ de este tipo puede escribirse:

\tau =(\cos \theta )i+(\sin \theta \cos \varphi )j+(\sin \theta \sin \varphi )k

Con $τ$ en esta forma, el cuaternión unitario $q$ viene dado por

q=e^{\tau \psi}=x_{0}+x_{1}i+x_{2}j+x_{3}k

donde $x 0,1,2,3$ son como arriba.

Cuando $q$ se utiliza para describir rotaciones espaciales (cf. cuaterniones y rotaciones espaciales ), describe una rotación alrededor de $τ$ a través de un ángulo de $2 ψ$ .

Coordenadas de Hopf

Para el radio unitario, otra opción de coordenadas hiperesféricas, $(η, ξ 1, ξ 2)$ , hace uso de la incrustación de $S 3$ en $C 2$ . En coordenadas complejas $(z 1, z 2) \in C 2$ escribimos

{\begin{aligned}z_{1}&=e^{i\,\xi _{1}}\sin \eta \\z_{2}&=e^{i\,\xi _{2}}\cos \eta .\end{aligned}}

Esto también podría expresarse en $R 4$ como

{\begin{aligned}x_{0}&=\cos \xi _{1}\sin \eta \\x_{1}&=\sin \xi _{1}\sin \eta \\x_{2}&=\cos \xi _{2}\cos \eta \\x_{3}&=\sin \xi _{2}\cos \eta .\end{aligned}}

Aquí $η$ se extiende sobre el rango de 0 a ⁠ $π$ /2⁠ , y $ξ 1$ y $ξ 2$ pueden tomar cualquier valor entre 0 y 2 $π$ . Estas coordenadas son útiles en la descripción de la 3-esfera como el fibrado de Hopf

S^{1}\to S^{3}\to S^{2}.\,

Para cualquier valor fijo de $η$ entre 0 y ⁠ $π$ /2⁠ , las coordenadas $(ξ 1, ξ 2) parametrizan un$ toro bidimensional . Los anillos de constantes $ξ 1$ y $ξ 2$ anteriores forman cuadrículas ortogonales simples en los toros. Véase la imagen de la derecha. En los casos degenerados, cuando $η$ es igual a 0 o ⁠ $π$ /2⁠ , estas coordenadas describen un círculo .

La métrica redonda de la esfera tridimensional en estas coordenadas viene dada por

ds^{2}=d\eta ^{2}+\sin ^{2}\eta \,d\xi _{1}^{2}+\cos ^{2}\eta \,d\xi _{2}^{2}

y el volumen se forma por

dV=\sin \eta \cos \eta \,d\eta \wedge d\xi _{1}\wedge d\xi _{2}.

Para obtener los círculos entrelazados de la fibración de Hopf , haga una simple sustitución en las ecuaciones anteriores ^[3]

{\begin{aligned}z_{1}&=e^{i\,(\xi _{1}+\xi _{2})}\sin \eta \\z_{2}&=e^{i\,(\xi _{2}-\xi _{1})}\cos \eta .\end{aligned}}

En este caso , $η$ y $ξ 1$ especifican cuál es el círculo, y $ξ 2$ especifica la posición a lo largo de cada círculo. Un viaje de ida y vuelta (0 a 2 $π$ ) de $ξ 1$ o $ξ 2$ equivale a un viaje de ida y vuelta del toro en las 2 direcciones respectivas.

Coordenadas estereográficas

Otro conjunto conveniente de coordenadas se puede obtener mediante la proyección estereográfica de $S 3$ desde un polo sobre el hiperplano ecuatorial correspondiente $R 3$ . Por ejemplo, si proyectamos desde el punto $(-1, 0, 0, 0)$ podemos escribir un punto $p$ en $S$ $3$ como

p=\left({\frac {1-\|u\|^{2}}{1+\|u\|^{2}}},{\frac {2\mathbf {u} }{1+\|u\|^{2}}}\right)={\frac {1+\mathbf {u} }{1-\mathbf {u} }}

donde $u = (u 1, u 2, u 3)$ es un vector en $R 3$ y $‖ u ‖ 2 = u 12 + u 22 + u 32$ . En la segunda igualdad anterior, hemos identificado $p$ con un cuaternión unitario y $u = u 1 i + u 2 j + u 3 k$ con un cuaternión puro. (Obsérvese que el numerador y el denominador conmutan aquí aunque la multiplicación cuaterniónica generalmente no es conmutativa). La inversa de esta función toma $p = (x 0, x 1, x 2, x 3)$ en $S 3$ para

\mathbf {u} ={\frac {1}{1+x_{0}}}\left(x_{1},x_{2},x_{3}\right).

También podríamos haber proyectado desde el punto $(1, 0, 0, 0)$ , en cuyo caso el punto $p$ está dado por

p=\left({\frac {-1+\|v\|^{2}}{1+\|v\|^{2}}},{\frac {2\mathbf {v} }{1+\|v\|^{2}}}\right)={\frac {-1+\mathbf {v} }{1+\mathbf {v} }}

donde $v = (v 1, v 2, v 3)$ es otro vector en $R 3$ . La inversa de este mapa lleva $p$ a

\mathbf {v} ={\frac {1}{1-x_{0}}}\left(x_{1},x_{2},x_{3}\right).

Nótese que las coordenadas $u$ están definidas en todas partes excepto $(-1, 0, 0, 0)$ y las coordenadas $v$ $en todas partes excepto (1, 0, 0, 0)$ . Esto define un atlas en $S 3$ que consta de dos gráficos de coordenadas o "parches", que juntos cubren todo $S 3.$ Nótese que la función de transición entre estos dos gráficos en su superposición está dada por

\mathbf {v} ={\frac {1}{\|u\|^{2}}}\mathbf {u}

y viceversa.

Estructura del grupo

Cuando se considera como el conjunto de cuaterniones unidad , $S 3$ hereda una estructura importante, a saber, la de la multiplicación cuaterniónica. Debido a que el conjunto de cuaterniones unidad está cerrado bajo la multiplicación, $S 3$ asume la estructura de un grupo . Además, dado que la multiplicación cuaterniónica es suave , $S 3$ puede considerarse como un grupo de Lie real . Es un grupo de Lie no abeliano , compacto , de dimensión 3. Cuando se piensa en $S 3$ como un grupo de Lie , a menudo se denota $Sp(1)$ o $U(1, H)$ .

Resulta que las únicas esferas que admiten una estructura de grupo de Lie son $S 1$ , considerado como el conjunto de números complejos unitarios , y $S 3$ , el conjunto de cuaterniones unitarios (el caso degenerado $S 0$ que consiste en los números reales 1 y −1 es también un grupo de Lie, aunque de dimensión 0). Uno podría pensar que $S 7$ , el conjunto de octoniones unitarios , formaría un grupo de Lie, pero esto falla ya que la multiplicación de octoniones no es asociativa . La estructura octoniónica le da a $S 7$ una propiedad importante: paralelizabilidad . Resulta que las únicas esferas que son paralelizables son $S 1$ , $S 3$ y $S 7$ .

Al utilizar una representación matricial de los cuaterniones, $H$ , se obtiene una representación matricial de $S 3$ . Una opción conveniente la proporcionan las matrices de Pauli :

x_{1}+x_{2}i+x_{3}j+x_{4}k\mapsto {\begin{pmatrix}\;\;\,x_{1}+ix_{2}&x_{3}+ix_{4}\\-x_{3}+ix_{4}&x_{1}-ix_{2}\end{pmatrix}}.

Esta función da un homomorfismo de álgebra inyectiva de $H$ al conjunto de matrices complejas de 2 × 2. Tiene la propiedad de que el valor absoluto de un cuaternión $q$ es igual a la raíz cuadrada del determinante de la imagen matricial de $q$ .

El conjunto de cuaterniones unitarios viene dado entonces por matrices de la forma anterior con determinante unitario. Este subgrupo matricial es precisamente el grupo unitario especial $SU(2)$ . Por tanto, $S 3$ como grupo de Lie es isomorfo a $SU(2)$ .

Usando nuestras coordenadas de Hopf $(η, ξ 1, ξ 2)$ podemos escribir cualquier elemento de $SU(2)$ en la forma

{\begin{pmatrix}e^{i\,\xi _{1}}\sin \eta &e^{i\,\xi _{2}}\cos \eta \\-e^{-i\,\xi _{2}}\cos \eta &e^{-i\,\xi _{1}}\sin \eta \end{pmatrix}}.

Otra forma de expresar este resultado es si expresamos la representación matricial de un elemento de $SU(2)$ como exponencial de una combinación lineal de las matrices de Pauli. Se ve que un elemento arbitrario $U \in SU(2)$ se puede escribir como

U=\exp \left(\sum _{i=1}^{3}\alpha _{i}J_{i}\right).

^[4]

La condición de que el determinante de $U$ sea +1 implica que los coeficientes $α 1$ están restringidos a estar en una 3-esfera.

En la literatura

En Flatland de Edwin Abbott Abbott , publicada en 1884, y en Sphereland , una secuela de Flatland de Dionys Burger de 1965 , la 3-esfera se denomina superesfera , y la 4-esfera se denomina hiperesfera .

En un artículo publicado en el American Journal of Physics , ^[5] Mark A. Peterson describe tres formas diferentes de visualizar las 3-esferas y señala un lenguaje en La Divina Comedia que sugiere que Dante veía el Universo de la misma manera; Carlo Rovelli apoya la misma idea. ^[6]

En El arte se encuentra con las matemáticas en la cuarta dimensión , ^[7] Stephen L. Lipscomb desarrolla el concepto de las dimensiones de la hiperesfera en relación con el arte, la arquitectura y las matemáticas.

Véase también

Referencias

^ Lemaître, Georges (1948). "Cuaterniones y espacio elíptico". Acta . 12 . Academia Pontificia de Ciencias : 57–78.
^ Landau, Lev D .; Lifshitz, Evgeny M. (1988). Teoría clásica de campos. Curso de física teórica . Vol. 2 (7.ª ed.). Moscú: Nauka . pág. 385. ISBN. 978-5-02-014420-0.
^ Banchoff, Thomas. "El toro plano en las tres esferas".
^ Schwichtenberg, Jakob (2015). Física desde la simetría . Cham: Springer. ISBN 978-3-319-19201-7.OCLC 910917227 .
^ Peterson, Mark A. (1979). "Dante y la 3-esfera". American Journal of Physics . 47 (12): 1031–1035. Código Bibliográfico :1979AmJPh..47.1031P. doi :10.1119/1.11968. Archivado desde el original el 23 de febrero de 2013.
^ Rovelli, Carlo (9 de septiembre de 2021). Relatividad general: lo esencial. Cambridge: Cambridge University Press. ISBN 978-1-00-901369-7. Recuperado el 13 de septiembre de 2021 .
^ Lipscomb, Stephen (2014). El arte se encuentra con las matemáticas en la cuarta dimensión (2.ª ed.). Berlín: Springer. ISBN 978-3-319-06254-9.OCLC 893872366 .

Lectura adicional

Henderson, David W. (2001). "Capítulo 20: 3-esferas y 3-espacios hiperbólicos". Experimentando la geometría: en espacios euclidianos, esféricos e hiperbólicos (segunda edición). Prentice-Hall. Archivado desde el original el 19 de junio de 2018.
Weeks, Jeffrey R. (1985). "Capítulo 14: La hiperesfera". La forma del espacio: cómo visualizar superficies y variedades tridimensionales. Una advertencia sobre la terminología: nuestra biesfera se define en el espacio tridimensional, donde es el límite de una bola tridimensional. Esta terminología es estándar entre los matemáticos, pero no entre los físicos. Así que no se sorprenda si encuentra gente que llama a la biesfera una triesfera.
Zamboj, Michal (8 de enero de 2021). "Construcción sintética de la fibración de Hopf en una proyección ortogonal doble de 4-espacios". Revista de diseño e ingeniería computacional . 8 (3): 836–854. arXiv : 2003.09236v2 . doi :10.1093/jcde/qwab018.

Enlaces externos

Weisstein, Eric W. "Hiperesfera". MundoMatemático . Nota : Este artículo utiliza un esquema de nombres alternativo para esferas en el que una esfera en un espacio $n$ -dimensional se denomina $n$ -esfera.