3-esfera

Proyección estereográfica de los paralelos de una hiperesfera (rojo), los meridianos (azul) y los hipermeridianos (verde). Debido a la propiedad conforme de la proyección estereográfica, todas estas curvas se intersecan unas a otras ortogonalmente (en los puntos amarillos) como en 4D. Todas las curvas son círculos: las curvas que se intersecan en <0,0,0,1> tienen radio infinito (= líneas rectas).

En geometría, 3-esfera es la superficie de una esfera, mientras que en topología se refieren a ella como 2-esfera y la indican como $S^2\;$ . Lamentablemente, geómetras y topólogos adoptan convenios incompatibles para el significado de "n-esfera".^[1]

Contenido

1 3-esfera en topología
2 Definición
3 Propiedades
- 3.1 Propiedades topológicas
- 3.2 Estructura de grupo
4 Sistemas de coordenadas sobre la 3-esfera
5 Tangentes
6 n-esferas
7 En literatura
8 Véase también
9 Referencias
10 Enlaces externos

3-esfera en topología

En topología, una 3-esfera o hiperesfera es análoga a una esfera en un espacio de mayor número de dimensiones. Una esfera ordinaria, o 2-esfera, consiste de todos los puntos equidistantes de un punto dado en el espacio euclídeo tridimensional ordinario, R³. Una 3-esfera consiste de todos los puntos equidistantes de un punto dado en R⁴. Mientras que una 2-esfera es una superficie "suave" de dos dimensiones, una 3-esfera es un ejemplo de una 3-variedad.

De forma enteramente análoga, es posible definir esferas de un número de dimensiones mayor, llamadas hiperesferas o n-esferas. Dichos objetos son variedades n-dimensionales.

Alguna literatura se refiere a la 3-esfera como glomo, del latín glomus, balón. Informalmente, un glomo es a una esfera lo que ésta es a un círculo.

Definición

En coordenadas, una 3-esfera con centro (x₀, y₀, z₀, w₀) y radio r es el conjunto de todos los puntos (x, y, z, w) en R⁴ tales que

$( x - x_0 )^2 + ( y - y_0 )^2 + ( z - z_0 )^2 + ( w - w_0 )^2 = r^2. \,$

La 3-esfera centrada en el origen y con radio 1 se llama 3-esfera unitaria o 3-esfera unidad, y habitualmente se denota S³. Puede ser descrita como un subconjunto de R⁴, de C², o de H (los cuaterniones):

$S^3 = \left\{(x_1,x_2,x_3,x_4)\in\mathbb{R}^4\mid x_1^2 + x_2^2 + x_3^2 + x_4^2 = 1\right\}$

$S^3 = \left\{(z_1,z_2)\in\mathbb{C}^2\mid |z_1|^2 + |z_2|^2 = 1\right\}$

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

La última descripción es habitualmente la más útil. Describe la 3-esfera como el conjunto de todos los cuaterniones unidad, es decir, los cuaterniones con valor absoluto igual a 1. Así como el conjunto de todos los números complejos unidad es importante en geometría compleja, el conjunto de todos los cuaterniones unidad es importante para la geometría de los cuaterniones.

Propiedades

El volumen tridimensional (o hiperárea) de una 3-esfera de radio r es

$2\pi^2 r^3 \,$

mientras que el hipervolumen tetradimensional (el volumen de la región de 4 dimensiones delimitada por la 3-esfera) es

$\begin{matrix} \frac{1}{2} \end{matrix} \pi^2 r^4.$

Cada intersección no vacía de una 3-esfera con un hiperplano tridimensional es una 2-esfera, a menos que el hiperplano sea tangente a la 3-esfera, en cuyo caso la intersección es un único punto. Cuando la 3-esfera se mueve a través de un hiperplano tridimensional dado, la intersección comienza como un punto, luego se convierte en una 2-esfera creciente que alcanza su tamaño máximo cuando el hiperplano corta directamente a través del "medio" de la 3-esfera, y finalmente la 2-esfera se "encoge" nuevamente hasta ser un solo punto a medida que la 3-esfera abandona el hiperplano.

Propiedades topológicas

Una 3-esfera es una variedad compacta sin delimitación. También es simplemente conexa. Lo que esto significa, informalmente, es que cualquier camino circular, o cualquier rizo, en la 3-esfera puede encogerse continuamente a un punto sin abandonar la 3-esfera. Existe desde hace tiempo una conjetura, llamada conjetura de Poincaré, que sostiene que la 3-esfera es la única variedad tridimensional con estas propiedades (salvo homeomorfismo). Aparentemente, esta conjetura ha sido probada por Grigori Perelmán en una serie de trabajos producidos a partir de noviembre de 2002.

La 3-esfera es también homeomórfica con la compactación en un punto R³.

Los grupos de homología no triviales de la 3-esfera son los siguientes: H₀(S³,Z) y H₃(S³,Z) son ambos cíclicos infinitos, mientras que H_i(S³,Z) = {0} para todo otro índice i. Cualquier espacio topológico con estos grupos de homología es conocido como una 3-esfera homológica. Inicialmente Poincaré conjeturó que todas las 3-esferas de homología eran homomórficas a S³, pero luego logró construir una no homomórfica, ahora conocida como la esfera de Poincaré. Se conoce la existencia de un número infinito de esferas de homología. Por ejemplo, un llenado de Dehn con pendiente 1/n sobre cualquier nudo en la 3-esfera da una esfera de homología; típicamente, éstas no son homomorfas de la 3-esfera.

Respecto de los grupos de homotopía, tenemos π₁(S³) = π₂(S³) = {0} y π₃(S³) es cíclico infinito. Los grupos de homotopia más grandes (k ≥ 4) son todos abelianos finitos, pero además de ello no siguen ningún patrón discernible. Para mayor detalle, véase grupos de homotopia de las esferas.

**Grupos de homotopia de S³**
k	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16
π_k(S³)	0	0	0	Z	Z₂	Z₂	Z₁₂	Z₂	Z₂	Z₃	Z₁₅	Z₂	Z₂⊕Z₂	Z₁₂⊕Z₂	Z₈₄⊕Z₂⊕Z₂	Z₂⊕Z₂	Z₆

Hay una interesante acción de grupo de S¹ (imaginado como el grupo de los números complejos de valor absoluto 1) sobre S³ (imaginada como un subconjunto de C²): λ·(z₁,z₂) = (λz₁,λz₂). El espacio orbital de esta acción es naturalmente homomorfo con la 2-esfera S². El mapa resultante de la 3-esfera en la 2-esfera es conocido como haz de Hopf. Es el generador del grupo de homotopia π₃(S²).

Estructura de grupo

Cuando se la considera como el conjunto de los cuaterniones unidad, S³ hereda la estructura de la multiplicación cuaterniónica. Dado que el conjunto de los cuaterniones unidad es cerrado bajo la multiplicación S³ tiene la estructura de un grupo. Además, como la multiplicación cuaterniónica es regular (infinitamente diferenciable), S³ puede ser visto como un grupo de Lie. Es un grupo de Lie que no es abeliano, compacto, de dimensión 3. Cuando se lo imagina como un grupo de Lie se lo suele denotar Sp(1) o U(1, H).

Resulta ser que las únicas esferas que admiten la estructura de un grupo de Lie son el círculo unidad, S¹, imaginado como el cojunto de los números complejos unidad, y S³, el conjunto de los cuaterniones unidad. Se podría pensar que S⁷, el conjunto de los octoniones unidad, formaría un grupo de Lie, pero esto no es así porque la multiplicación de octoniones no es asociativa. La estructura octoniónica da a S⁷ una importante propiedad: la paralelizabilidad. Las únicas esferas paralelizables son S¹, S³ y S⁷.

Usando una representación matricial de los cuaterniones, H, se obtiene una representación matricial de S³. Una elección conveniente es

$x_1+ x_2 i + x_3 j + x_4 k \mapsto \begin{pmatrix}\;\;\,x_1 + i x_2 & x_3 + i x_4 \\ -x_3 + i x_4 & x_1 - i x_2\end{pmatrix}.$

Este mapa da un homomorfismo algebraico inyectivo de H en el conjunto de matrices complejas 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 matriz imagen de q.

El conjunto de los cuaterniones unidad está por lo tanto dado por matrices de la forma arriba indicada con determinante unidad. Resulta que este grupo es precisamente el grupo especial unitario SU(2). Por lo tanto S³ como grupo de Lie es isomorfo a SU(2).

Usiando nuestras coordenadas hiperesféricas (η, ξ₁, ξ₂) podemos escribir cualquier elemento de SU(2) como

$\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}.$

Sistemas de coordenadas sobre la 3-esfera

Coordenadas hiperesféricas

Resulta conveniente contar con algún tipo de coordenadas hiperesféricas en S³, analógicamente a las coordenadas esféricas usuales en S². Una elección (de ningún modo la única posible) es utilizar (ψ, θ, φ) donde

$x_0 = \cos\psi\,$

$x_1 = \cos\phi\,\sin\theta\,\sin\psi$

$x_2 = \sin\phi\,\sin\theta\,\sin\psi$

$x_3 = \cos\theta\,\sin\psi$

donde ψ y θ se desplazan en el rango de [0,π], y φ se desplaza en [0,2π]. Nótese que para cualquier valor fijo de ψ, θ y φ parametrizan una 2-esfera de radio sin(ψ), excepto en los casos degenerados, cuando ψ es igual a 0 o a π, en cuyo caso describen un punto.

El tensor métrico sobre la 3-esfera en estas coordenadas está determinado por

$ds^2 = d\psi^2 + \sin^2\psi\left(d\theta^2 + \sin^2\theta\, d\phi^2\right)$

y la forma de volumen por

$dV = \left(\sin^2\psi\,\sin\theta\right)\,d\psi\wedge d\theta\wedge d\phi.$

Estas coordenadas pueden ser descritas en términos de cuaterniones. Cualquier cuaternión unidad q puede escribirse de la forma:

q = e^τψ = cos ψ + τ sin ψ

donde τ es un cuaternión imaginario unidad (es decir, cualquier cuaternión que satisface τ² = −1). Este es el análogo cuaterniónico de la fórmula de Euler. Ahora los cuaterniones imaginarios unidad yacen todos sobre la 2-esfera unidad en Im H, de modo que cualquier τ puede escribirse como:

τ = cos φ sin θ i + sin φ sin θ j + cos θ k

Con τ de esta forma, el cuaternión unidad q está dado por

q = e^τψ = x₀ + x₁ i + x₂ j + x₃ k

donde las x son como se indica más arriba.

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

Coordenadas de Hopf

Otra elección de coordenadas hiperesféricas, (η, ξ₁, ξ₂), usa el encaje de S³ en C². En coordenadas complejas (z₁, z₂) ∈ C² escribiremos

$z_1 = e^{i\,\xi_1}\sin\eta$

$z_2 = e^{i\,\xi_2}\cos\eta.$

Aquí η se desplaza en el rango 0 a π/2, y ξ₁ y ξ₂ pueden tomar cualquier valor entre 0 y 2π. Estas coordenadas son útiles en la descripción de la 3-esfera como un haz de Hopf

$S^1 \to S^3 \to S^2.\,$

Para cualquier valor de η entre 0 y π/2, las coordenadas (ξ₁, ξ₂) parametrizan un toro bidimensional. En los caso degenerados, cuando η es igual a 0 o a π/2, estas coordenadas describen un círculo.

El tensor métrico sobre la 3-esfera en estas coordenadas está dado por

$ds^2 = d\eta^2 + \sin^2\eta\,d\xi_1^2 + \cos^2\eta\,d\xi_2^2$

y la forma de volumen por

$dV = \sin\eta\cos\eta\,d\eta\wedge d\xi_1\wedge d\xi_2.$

Coordenadas estereográficas

Otra conjunto de coordenadas conveniente puede obtenerse por proyección estereográfica de S³ sobre un hiperplano de R³ tangente. Por ejemplo, si proyectamos sobre el plano tangente al punto (1, 0, 0, 0) se podría escribir un punto p en S³ 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₁, u₂, u₃) es un vector en R³ and ||u||² = u₁² + u₂² + u₃². En la segunda igualdad de arriba hemos identificado p con un cuaternión unidad y u = u₁ i + u₂ j + u₃ k con un cuaternión puro. (Nótese que aquí la división está bien definida, aún cuando la multiplicación cuaterniiónica es generalmente no conmutativa). La inversa de este mapa transforma p = (x₀, x₁, x₂, x₃) en S³ en

$\mathbf{u} = \frac{1}{1+x_0}\left(x_1, x_2, x_3\right).$

Bien podríamos haber proyectado sobre el plano tangente al punto (−1, 0, 0, 0), en cuyo caso el punto p estaría 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₁, v₂, v₃) es un vector en el segundo R³. La inversa de este mapa transforma p en

$\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). Ambos "parches" juntos cubren la totalidad S³. Esto define un atlas sobre S³ que consiste de dos cartas coordinadas. Nótese también que la función de transición entre estas dos cartas en su superposición está dada por

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

y viceversa.

Tangentes

Una 3-esfera unidad embebida en el 4-espacio tiene un 3-espacio de vectores tangentes, T_pS³, en cualquier punto p. Si (x₀,x₁,x₂,x₃) son las coordenadas de p, entonces el vector con coordenadas (−x₁,x₀,−x₃,x₂) está en T_pS³, y la colección de todos esos vectores forma un campo continuo de vectores unidad en S³. (Esta es una sección del haz de tangentes, TS³.) Tal construcción claramente es posible para esferas en todos los espacios con un número par de dimensiones, S²ⁿ⁻¹; pero una implicación del teorema de índices de Atiyah-Singer es que resulta imposible para S²ⁿ (para n positivo).

n-esferas

Se puede generalizar la noción de esfera en espacios vectoriales de dimensiones superiores a tres. A partir de la cuarta dimensión ya no es representable gráficamente, pero la definición sigue siendo que la esfera es el conjunto de los puntos equidistantes de un punto fijo. En un espacio euclídeo de n+1 dimensiones, usando coordenas cartesianas, la ecuación de una n-esfera:

$x_1^2 + x_2^2 + x_3 ^2 + \cdots + x_{n+1}^2 = 1$

Y para una esfera de radio r, y centro (c₁, c₂, ..., c_n):

$(x_1 - c_1)^2 + (x_2 - c_2)^2 + (x_3 - c_3)^2 + \cdots + (x_{n+1} - c_{n+1})^2 = R^2$

El volumen de la bola contenida en la superficie cerrada anterior, en dimensión n se calcula por inducción sobre n. Aquí están los diez primeros valores de V_n(r) y las superficies correspondientes:

Dimensión	1	2	3	4	5	6	7	8	9	10
Volumen	2r	πr²	4πr³ 3	π²r⁴ 2	8π²r⁵ 15	π³r⁶ 6	16π³r⁷ 105	π⁴r⁸ 24	32π⁴r⁹ 945	π⁵r¹⁰ 120
Superficie	2	2πr	4πr²	2π²r³	8π²r⁴ 3	π³r⁵	16π³r⁶ 15	π⁴r⁷ 3	32π⁴r⁸ 105	π⁵r⁹ 12

El volumen de la bola alcanza su máximo en dimensión 5, mientras que la superficie de la esfera lo alcanza en dimensión 7.

Derivación de las ecuaciones de movimiento

Las ecuaciones de volumen pueden ser probadas por inducción matemática. En efecto, si llamamos V_n el volumen de la esfera unitaria (r = 1) en dimensión n. Entonces la integral de Wallis:

$V_{n+1} = I_{n+1} V_{n} \ \mbox{ con } \ I_n = 2\int_0^{\frac {\Pi} 2} \mbox{sen}^n \ t \ dt$

Por una integración por partes, se obtiene la relación:

$I_n = \frac {n-1} n I_{n-2}$

lo que permite calcular los I_n también por inducción, conociendo I₀ e I₁.

La función gamma Γ íntimamente relacionada con los factoriales permite expresar sin inducción el volumen de una esfera de radio r en dimensión n.

$V_n(r) = \frac {\pi^{\frac n 2} r^n} {\Gamma (\frac n 2 +1)}$

Existe la posibilidad de representar una n-esfera o hiperesfera de n dimensiones como fibrado de otra hiperesfera de dimensión inferior. Esto sólo sucede en tres casos:

$S^3\;$ , puede ser representada como fibrado no trivial con espacio base $S^2\;$ y fibra $S^1\;$ , esta construcción puede obtenerse a partir de una construcción geométrico-algebraica utilizando números complejos.
$S^7\;$ , puede ser representada como fibrado no trivial con espacio base $S^4\;$ y fibra $S^3\;$ , esta construcción puede obtenerse a partir de una construcción geométrico-algebraica utilizando números cuaterniónicos.
$S^{15}\;$ , puede ser representada como fibrado no trivial con espacio base $S^8\;$ y fibra $S^7\;$ , esta construcción puede obtenerse a partir de una construcción geométrico-algebraica utilizando números octoniónicos.

Para dimensión superior no existen otros casos en que esto sea posible.^[2]

En literatura

Stephen Baxter usó la 3-esfera en su cuento Dante and the 3-Sphere, una historia en la que un científico y teólogo aparentemente loco "se da cuenta" de que Dante en la "Divina Comedia" se refiere a una transversal a través de múltiples 3-esferas. El personaje principal es llevado por el científico a un viaje a través de múltiples 3-esferas.

En Flatland de Edwin Abbott Abbott, publicado en 1884, se hace referencia a las 3-esferas como sobresferas.

Véase también

Anexo:Ecuaciones de figuras geométricas
1-esfera, 2-esfera
Teseracto, polícoro, simplex
Matrices de Pauli
Grupo de rotación SO(3)
- cartas en SO(3)
- cuaterniones y rotación espacial
Haz de Hopf, esfera de Riemann
Esfera de Poincaré
Foliación de Reeb
Toro de Clifford
Teorema de Poincaré

Referencias

↑ «Sphere - from Wolfram MathWorld».
↑ R. Penrose: El camino de la realidad, Ed. Debate, Barcelona, 2006, p. 464, ISBN 84-8306-681-5.

Enlaces externos

Hiperesferas en Mathworld (en inglés)
La versión original de este artículo es una traducción y adaptación de en:3-sphere en Wikipedia en inglés

Categorías:

Topología
Análisis matemático
Geometría tetradimensional

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

Esfera de Dyson — Saltar a navegación, búsqueda Corte de una «concha de Dyson», variación de la idea original de esfera de Dyson con un radio de 1 UA. Una esfera de Dyson es una hipotética megaestructura propuesta en 1960 por el físico Freeman Dyson, en un … Wikipedia Español
Esfera de Hill — Saltar a navegación, búsqueda La esfera de Hill es la esfera de influencia gravitacional de un cuerpo celeste sometido a la gravedad de otro cuerpo de más masa alrededor del cual orbita. Lo definió el astrónomo norteamericano George William Hill … Wikipedia Español
Esfera cornuda de Alexander — Saltar a navegación, búsqueda Esfera cornuda de Alexander. En topología, la esfera cornuda de Alexander es una 2 esfera embebida en R3, cuyo exterior no es homeomorfo al exterior de la 2 esfera canónica en R3. Fue descubierta en 1924 por el ma … Wikipedia Español
Esfera de Bloch — Saltar a navegación, búsqueda esfera de Bloch En mecánica cuántica, la esfera de Bloch es una representación geométrica del espacio de estados puros de un sistema cuántico de dos niveles. Su nombre alude al físico suizo Felix Bloch. Por extensión … Wikipedia Español
Esfera celeste — Saltar a navegación, búsqueda Elementos principales de la esfera celeste. La esfera celeste es una esfera ideal, sin radio definido, concéntrica en el globo terrestre, en la cual aparentemente se mueven los astros. Permite representar las… … Wikipedia Español
esfera — (Del lat. sphaera, y este del gr. σφαῖρα). 1. f. Geom. Sólido terminado por una superficie curva cuyos puntos equidistan todos de otro interior llamado centro. 2. Geom. Superficie de este sólido. 3. Círculo en que giran las manecillas del reloj.… … Diccionario de la lengua española
Esfera armilar — Saltar a navegación, búsqueda Esfera armilar En astronomía una esfera armilar, conocida también con el nombre de astrolabio esférico es un modelo de la esfera celeste utilizada para mostrar el movimiento aparente de las estrellas alrededor de la… … Wikipedia Español
Esfera de Bernal — Saltar a navegación, búsqueda La esfera de Bernal es un tipo de hábitat en el espacio, previsto como hogar a largo plazo para residentes permanentes. Fue propuesto en 1929 por el científico John Desmond Bernal. Describió una esfera hueca de 16… … Wikipedia Español
Esfera homológica — Saltar a navegación, búsqueda En la topología algebraica, una esfera homológica M es una n variedad cuyos grupos de homología son iguales a los de la esfera de la dimensión correspondiente. Esto quiere decir que H1(M) = {0} ... Hn − 1(M) = {0} … Wikipedia Español
Esfera (desambiguación) — Saltar a navegación, búsqueda Esfera puede referirse a: En geometría, una esfera es un cuerpo sólido limitado por una superficie curva cuyos puntos equidistan de otro interior llamado centro de la esfera. Como nombre propio: Esfera es una novela… … Wikipedia Español
Esfera de Hoberman — Saltar a navegación, búsqueda Esfera Hoberman Una esfera Hoberman es una estructura que se asemeja a una cúpula geodésica, pero es capaz de plegarse hasta ocupar un tamaño mucho menor que el original, gracias a la acción de los mecanismos de las… … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

3-esfera

Contenido

3-esfera en topología

Definición