Ver el código de «N-esfera»

{{Título en minúscula}}
[[File:Sphere wireframe.svg|thumb|Vista alámbrica de una 2-esfera como un [[operador de proyección]]]]
[[File:Hypersphere coord.PNG|right|thumb|Así como una [[proyección estereográfica]] puede representar la superficie de una esfera en un plano, también se puede proyectar una 3-esfera en el espacio tridimensional. Esta imagen muestra las tres direcciones de coordenadas proyectadas en el espacio tridimensional:
paralelos (rojo), [[Meridiano|meridianos]] (azul) e hipermeridianos (verde).
Debido a la propiedad de [[Transformación conforme|conformidad]] de la proyección estereográfica, las curvas se cruzan entre sí ortogonalmente (en los puntos amarillos) al igual que en 4D. Todas las curvas son circunferencias: las curvas que intersecan {{angbr|0,0,0,1}} tienen un radio infinito (se proyectan como líneas rectas)]]

En [[matemáticas]], una '''''n-esfera''''' (o '''hiperesfera''') es la generalización de la «''[[esfera]]''» a un [[espacio euclídeo]] de dimensión arbitraria. En otras palabras, la ''n''-esfera es una [[hipersuperficie]] del espacio euclídeo <math>\mathbb R^{n+1}</math>, denotada en general como <math>\mathbb S^n</math>. Constituye uno de los ejemplos más sencillos de [[Variedad (matemática)|variedad matemática]].

Desde un punto de vista analítico, una '''{{math|''n''}}-esfera''' es un [[espacio topológico]] que es [[homeomorfismo|homeomorfo]] a una {{math|''n''}}-''esfera'' ''estándar'', que es el conjunto de puntos en un [[espacio euclídeo]] {{math|(''n''+1)}}-dimensional que se encuentran a una distancia constante {{mvar|r}} respecto a un punto fijo, llamado ''centro''. Cuando la esfera tiene un radio unidad, es habitual llamarla '''{{math|''n''}}-esfera unidad''', o simplemente '''{{math|''n''}}-esfera''' por brevedad. En términos de la norma estándar, una {{math|''n''}}-esfera se define como
: <math> S^n = \left\{ x \in \mathbb{R}^{n+1} : \left\| x \right\| = 1 \right\} ,</math>
y una {{math|''n''}}-esfera de radio {{mvar|r}} se puede definir como
: <math> S^n(r) = \left\{ x \in \mathbb{R}^{n+1} : \left\| x \right\| = r \right\} .</math>

La 0-esfera es un par de puntos sobre una recta a una unidad de distancia del origen, la 1-esfera es una circunferencia en el plano y la 2-esfera es una esfera ordinaria dentro del espacio tridimensional.

La dimensión de una {{math|''n''}}-esfera es {{mvar|n}}, y no debe confundirse con la dimensión {{math|(''n''+1)}} del espacio euclídeo en el que queda naturalmente [[Encaje (matemática)|embebida]]. Una {{math|''n''}}-esfera es la superficie o límite de una [[Bola (matemática)|bola]] {{math|(''n''+1)}} dimensional.

En particular:
* El par de puntos en los extremos de un [[segmento]] (unidimensional) es una 0-esfera
* Un [[circunferencia]], que es el contorno unidimensional de un [[círculo]] (bidimensional), es una {{nowrap|1-esfera}}
* La superficie bidimensional de una bola (tridimensional) en un espacio tridimensional es una {{nowrap|2-esfera}}, a menudo simplemente llamada esfera
* La [[Frontera (topología)|frontera]] tridimensional de una 4-bola (cuatro dimensiones) en el espacio euclídeo tetradimensional, es un [[3-esfera]], también conocida como ''glomo''
* El límite {{math|(''n''–1)}}-dimensional de una {{mvar|n}}-bola ({{mvar|n}}-dimensional) es una {{nowrap|{{math|(''n''–1)}}-esfera}}.

Para {{math|''n''≥2}}, las {{math|''n''}}-esferas que son [[variedad diferenciable|variedades diferenciables]] pueden caracterizarse ([[salvo (matemáticas)|hasta]] un [[difeomorfismo]]) como [[variedad (matemáticas)|variedades]] {{math|''n''}}-dimensionales [[conjunto simplemente conexo|conexas]] de [[curvatura]] constante y positiva. Las {{math|''n''}}-esferas admiten varias otras descripciones topológicas: por ejemplo, se pueden construir pegando dos espacios euclídeos {{math|''n''}}-dimensionales, identificando el límite de un [[Hipercubo|{{math|''n''}}-cubo]] con un punto, o (inductivamente) formando la [[suspensión (topología)|suspensión]] de una {{math|(''n''-1)}}-esfera. La 1-esfera es la 1-variedad que es una circunferencia, que no es simplemente conexa. La 0-esfera es la 0-variedad que consta de dos puntos, que ni siquiera es conexa.

== Definición ==

Dado un espacio euclídeo ''E'' de [[dimensión de un espacio vectorial|dimensión]] ''n''+1, ''A'' un punto de ''E'', y ''R'' un [[número real]] estrictamente positivo, se le llama '''hiperesfera de centro ''A'' y radio ''R''''' al conjunto de puntos ''M'' tales que su distancia a ''A'' vale exactamente ''R''.

La ''n''+1-[[tupla]] de puntos (''x''<sub>1</sub>,''x''<sub>2</sub>,…,''x''<sub>''n''+1</sub>) que están en una ''n-esfera'' ('''S'''<sup>''n''</sup>) se representa con la ecuación:

{{ecuación|
<math>x_1^2+x_2^2+ \dots +x_{n+1}^2=R^2~</math>,
||left}}

donde el centro es el origen de coordenadas O (0,0,...,0).<ref>Consistencia con la definición de hiperesfera y la fórmula de distancia en E<sup>''n''+1</sup></ref> Teniendo como datos un punto fijo <math>P=(p_1,p_2,\dots,p_n)\,</math> llamado centro y el radio ''R'', real positivo, siendo <math>X=(x_1,x_2,\dots,x_n)\,</math> un punto cualquiera de la hiperesfera, la ecuación correspondiente es,<ref>Desarrollo analítico de la definición</ref><ref>Lang, Serge: ''Introducción al Análisis Matemático'', ISBN 0-201-62907-0, pg. 100</ref>

{{ecuación|
<math> \sqrt{(x_1-p_1)^2 + (x_2-p_2)^2 + \cdots + (x_n-p_n)^2} = \sqrt{\sum_{i=1}^n (x_i-p_i)^2} = R.</math>
||left}}

o escrito en forma vectorial, como:

{{ecuación|
<math>\| \mathbf{x} - \mathbf{p} \| = R</math>
||left}}

==Descripción==

Para cualquier [[número natural]] {{math|''n''}}, una {{math|''n''}}-esfera de radio {{math|''r''}} se define como el conjunto de puntos en el [[espacio euclídeo]] {{math|(''n''+1)}}-dimensional que están a una distancia {{math|''r''}} de un punto fijo {{math|'''c'''}}, donde {{math|''r''}} puede ser cualquier [[número real]] [[Signo (matemáticas)|positivo]] y donde {{math|'''c'''}} puede ser cualquier punto en el espacio {{math|(''n''+1)}} dimensional. En particular:
* Una 0-esfera es un par de puntos {{math|{''c'' − ''r'', ''c'' + ''r''<nowiki>}</nowiki>}}, y es el límite de un segmento recto (1-bola)
* Una [[circunferencia|1-esfera]] es una [[circunferencia]] de radio {{math|''r''}} centrada en {{math|'''c'''}}, y es el límite de un disco (2-bola)
* Una [[esfera|2-esfera]] es un [[esfera]] bidimensional ordinaria en un espacio euclídeo tridimensional, y es el límite de una bola ordinaria {{nowrap|(3-bola)}}
* Una [[3-esfera]] es una esfera tridimensional en un espacio euclídeo de 4 dimensiones

===Coordenadas euclídeas en el {{math|(''n''+1)}}-espacio===

El conjunto de puntos en el espacio {{math|(''n''+1)}}, {{math|(''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''+1</sub>)}}, que definen una {{math|''n''}}-esfera, <math>S^n(r)</math>, está representado por la ecuación:

: <math>r^2=\sum_{i=1}^{n+1} \left(x_i - c_i\right)^2</math>

donde {{math|'''c'''}} = {{math|(''c''<sub>1</sub>, ''c''<sub>2</sub>, ..., ''c''<sub>''n''+1</sub>)}} es un punto central y {{math|''r''}} es el radio.

La {{math|''n''}}-esfera anterior existe en el espacio euclídeo {{math|(''n''+1)}}-dimensional y es un ejemplo de {{math|''n''}}-[[variedad (matemáticas)|variedad]]. La [[forma de volumen]] {{math|''ω''}} de una {{math|''n''}}-esfera de radio {{math|''r''}} viene dada por

: <math>\omega = \frac{1}{r} \sum_{j=1}^{n+1} (-1)^{j-1} x_j \,dx_1 \wedge \cdots \wedge dx_{j-1} \wedge dx_{j+1}\wedge \cdots \wedge dx_{n+1} = * dr</math>

donde {{math|∗}} es el [[dual de Hodge]]; véase {{harvtxt|Flanders|1989|loc=§6.1}} para una discusión y prueba de esta fórmula en el caso {{math|''r'' {{=}} 1}}. Como resultado,
: <math>dr \wedge \omega = dx_1 \wedge \cdots \wedge dx_{n+1}.</math>

=== {{math|''n''}}-bola ===
{{AP|Bola (matemática)}}

El espacio encerrado por una {{math|''n''}}-esfera se llama {{math|(''n''+1)}}-[[Bola (matemática)|bola]]. Una {{math|(''n''+1)}}-bola es [[Conjunto cerrado|cerrada]] si incluye la {{math|''n''}}-esfera, y es [[Conjunto abierto|abierta]] si no incluye la {{math|''n''}}-esfera.

Específicamente:
* Una 1-''bola'', un [[segmento]], es el interior de una 0-esfera
* Una 2-''bola'', un [[círculo]], es el interior de una [[circunferencia]] (1-esfera)
* Una 3-''bola'', una [[Bola (matemática)|bola]] ordinaria, es el interior de una [[esfera]] (2-esfera)
* Una 4-''bola'' es el interior de una [[3-esfera]], y así sucesivamente

===Descripción topológica===

[[Topología|Topológicamente]], una {{math|''n''}}-esfera se puede construir como una [[extensión de Alexandroff|compactación en un punto]] del espacio euclídeo {{math|''n''}}-dimensional. Brevemente, la {{math|''n''}}-esfera puede describirse como {{math|'''S'''<sup>''n''</sup> {{=}} '''R'''<sup>''n''</sup> ∪ {∞<nowiki>}</nowiki>}}, que es un espacio euclídeo {{math|''n''}}-dimensional más un único punto que representa el infinito en todas las direcciones.
En particular, si se elimina un único punto de una {{math|''n''}}-esfera, se convierte en [[Homeomorfismo|homeomórfica]] a {{math|'''R'''<sup>''n''</sup>}}. Esta circunstancia sustenta la base de la [[proyección estereográfica]].<ref>James W. Vick (1994). ''Homology theory'', p. 60. Springer</ref>

==Volumen y área de la superficie==
{{VT|Volumen de una n-bola}}
<div style="display:block; width:300px; float:right; background-color:#eeeeff; border: solid 1px #cccccc; padding: 10px">
{{math|''V<sub>n</sub>''(''R'')}} y {{math|''S<sub>n</sub>''(''R'')}} son el volumen {{math|''n''}}-dimensional de una [[Bola (matemática)|{{math|''n''}}-bola]] y el área de la superficie de la {{math|''n''}}-esfera incrustada en la dimensión {{math|''n''+1}}, respectivamente, ambas de radio {{math|''R''}}.

Las constantes {{math|''V<sub>n</sub>''}} y {{math|''S<sub>n</sub>''}} (para {{math|''R'' {{=}} 1}}, la bola unitaria y la esfera) están relacionadas por las recurrencias:
: <math>\begin{align}
V_0&=1 & V_{n+1}&=\frac{S_n}{n+1} \\[6pt]
S_0&=2 & S_{n+1}&=2\pi V_n
\end{align}</math>

Las superficies y los volúmenes también se pueden dar en forma cerrada:
: <math>\begin{align}
S_{n}(R) &= \frac{2\pi^{n/2}}{\Gamma\left(\frac{n}{2}\right)}R^{n-1} \\[6pt]
V_n(R) &= \frac{\pi^\frac{n}{2}}{\Gamma\left(\frac{n}{2} + 1\right)}R^n
\end{align}</math>

donde {{math|''Γ''}} es la [[función gamma]]. Las deducciones de estas ecuaciones se dan en esta sección.
</div>
[[File:Hypersphere_volume_and_surface_area_graphs.svg|mini|310px|Gráficos de volúmenes (V) y de áreas de la superficie (S) de n-bolas de radio 1. Desplazar el cursor en el archivo SVG sobre un punto para resaltarlo y obtener su valor]]

<div style="overflow-wrap: normal"><!-- Prevent words from breaking in the middle due to the column being very narrow (e.g. on mobile). --> En general, el volumen de la {{math|''n''}}-bola en el espacio euclídeo {{math|''n''}} y el área de la superficie de la {{math|''n''}}-esfera en el espacio euclídeo {{math|(''n''+1)}}-dimensional, de radio {{math|''R''}}, son proporcionales a la potencia {{math|''n''}} del radio {{math|''R''}} (con diferentes constantes de proporcionalidad que varían con {{math|''n''}}). Se escribe {{math|''V<sub>n</sub>''(''R'') {{=}} ''V<sub>n</sub>R<sup>n</sup>''}} para el volumen de la {{math|''n''}}-bola y {{math|''S<sub>n</sub>''(''R'') {{=}} ''S<sub>n</sub>R<sup>n</sup>''}} para el área de la superficie de la {{math|''n''}}-esfera, ambas de radio {{math|''R''}}, donde {{math|''V<sub>n</sub>'' {{=}} ''V<sub>n</sub>''(1)}} y {{math|''S<sub>n</sub>'' {{=}} ''S<sub>n</sub>''(1)}} son los valores para el caso del radio unidad.<div>

En teoría, se podrían comparar los valores de {{math|''S<sub>n</sub>''(''R'')}} y {{math|''S<sub>m</sub>''(''R'')}} para {{math|''n''≠''m''}}. Sin embargo, esto es algo sin sentido. Por ejemplo, si {{math|1=''n''=2}} y {{math|1=''m''=3}}, es como comparar un número de metros cuadrados con un número diferente de metros cúbicos. La misma falta de sentido se aplica a una comparación de {{math|''V<sub>n</sub>''(''R'')}} y {{math|''V<sub>m</sub>''(''R'')}} para {{math|''n''≠''m''}}.

===Fórmula del volumen===

El volumen del espacio delimitado por una hiperesfera de dimensión ''n-1'' y de radio ''R'', que es una [[Bola (matemática)|bola]] euclídea de dimensión ''n'' viene determinado por:

{{ecuación|
<math>V_n={\pi^{n/2}R^n\over\Gamma(n/2+1)}\ \ ,</math>
|1|left}}

donde <math>\Gamma</math> es la [[función gamma]].

Nótese la particularidad de que <math>V_n</math> se incrementa desde ''n''=1 hasta un máximo y luego comienza a disminuir y tiende a cero cuando ''n'' tiende a infinito. En el caso de que ''R''=1  el volumen máximo se obtiene cuando ''n''=5.

Por ejemplo, el volumen de una hiperfesfera de radio ''R'' en el espacio cuadridimensional aplicando la fórmula {{Eqnref|1}} para ''n''=4 resulta

{{ecuación|
<math>V_4 = \frac{\pi^{2} R^4}{2}</math> .
||left}}

===Ejemplos===
La 0-bola consiste en un solo punto. La [[medida de Hausdorff]] en 0 dimensiones es el número de puntos en un conjunto. Entonces,
: <math>V_0=1.</math>
La 1-bola unidad es el intervalo {{math|[−1,1]}} de longitud 2. Entonces,
: <math>V_1 = 2.</math>
La 0-esfera consiste en sus dos puntos finales, {{math|{−1,1<nowiki>}</nowiki>}}. Entonces,
: <math>S_0 = 2.</math>
La 1-esfera unidad es la circunferencia unidad en el plano euclídeo, cuyo perímetro (medida unidimensional) mide
: <math>S_1 = 2\pi.</math>
La región encerrada por la 1-esfera unidad es la 2-bola o disco unidad, que tiene un área (medida bidimensional) de
: <math>V_2 = \pi.</math>
Análogamente, en el espacio euclídeo tridimensional, el área de la superficie (medida bidimensional) de la 2-esfera unidad está dada por
: <math>S_2 = 4\pi.</math>
y el volumen incluido es la capacidad (medida tridimensional) de la 3-bola unidad, dada por
: <math>V_3 = \tfrac{4}{3} \pi.</math>

===Recurrencias===
El ''área de la superficie'', o más adecuadamente, el volumen {{math|''n''}}-dimensional, de la {{math|''n''}}-esfera en el límite de la {{math|(''n''+1)}}-bola de radio {{math|''R''}} está relacionado con el volumen de la bola por la ecuación diferencial
: <math>S_{n}R^{n}=\frac{dV_{n+1}R^{n+1}}{dR}={(n+1)V_{n+1}R^{n}},</math>
o, de manera equivalente, representando la {{math|''n''}}-bola unidad como la unión de {{math|(''n''-1)}}-esferas concéntricas anidadas en forma de ''[[corona esférica]]'',
: <math>V_{n+1} = \int_0^1 S_{n}r^{n}\,dr.</math>
Entonces,
: <math>V_{n+1} = \frac{S_n}{n+1}.</math>

También se puede representar la {{math|(''n''+2)}}-esfera unidad como la unión de [[Toro (geometría)|toros]], cada uno el producto de un círculo (1-esfera) con una {{math|''n''}}-esfera. Siendo {{math|''r'' {{=}} cos ''θ''}} y {{math|''r''<sup>2</sup> + ''R''<sup>2</sup> {{=}} 1}}, de modo que {{math|''R'' {{=}} sen ''θ''}} y {{math|''dR'' {{=}} cos ''θ'' ''dθ''}}, entonces:
: <math>
\begin{align}
S_{n+2} &= \int_0^\frac{\pi}{2}S_1 r \cdot S_n R^n\, d\theta \\[6pt]
&=\int_0^\frac{\pi}{2}S_1 \cdot S_n R^n\cos\theta\,d\theta\\[6pt]
&=\int_0^1 S_1 \cdot S_n R^n \,dR\\[6pt]
&= S_1 \int_0^1 S_n R^n \,dR\\[6pt]
&= 2\pi V_{n+1}.
\end{align}
</math>
Desde {{math|''S''<sub>1</sub> {{=}} 2π ''V''<sub>0</sub>}}, la ecuación
: <math>S_{n+1} = 2\pi V_{n}</math>
se cumple para todos los {{math|''n''}}.

Esto completa la deducción de las recurrencias:
: <math>\begin{align}
V_0&=1 & V_{n+1}&=\frac{S_n}{n+1} \\[6pt]
S_0&=2 & S_{n+1}&=2\pi V_n
\end{align}</math>

===Formas cerradas===
Combinando las recurrencias, se puede ver que
: <math>V_{n+2}=2\pi \frac{V_n}{n+2}.</math>
Entonces, es simple mostrar por inducción que para ''k'',
: <math>\begin{align}
V_{2k} &= \frac{\left(2\pi\right)^k}{(2k)!!} = \frac{\pi^k}{k!} \\[6pt]
V_{2k+1} &= \frac{2\left(2\pi\right)^k}{(2k+1)!!} = \frac{2 k! \left(4\pi\right)^k}{(2k+1)!}
\end{align}</math>
donde {{math|!!}} denota el [[doble factorial]], definido para números naturales impares {{math|2''k'' + 1}} por {{math|1=(2''k'' + 1)!! = 1 × 3 × 5 × ... × (2''k'' − 1) × (2''k'' + 1)}} y de manera similar para números pares {{math|1=(2''k'')!! = 2 × 4 × 6 × ... × (2''k'' − 2) × (2''k'')}}.

En general, el volumen en el espacio euclídeo {{math|''n''}}-dimensional de la {{math|''n''}}-bola unidad viene dado por

: <math>V_n = \frac{\pi^\frac{n}{2}}{\Gamma\left(\frac{n}{2} + 1\right)}</math>

donde {{math|''Γ''}} es la [[función gamma]], que satisface {{math|''Γ''({{sfrac|1|2}}) {{=}} {{sqrt|π}}}}, {{math|''Γ''(1) {{=}} 1}} y {{math|''Γ''(''x'' + 1) {{=}} ''xΓ''(''x'')}}.

Multiplicando {{math|''V<sub>n</sub>''}} por {{math|''R<sup>n</sup>''}}, diferenciando con respecto a {{math|''R''}}, y luego configurando {{math|''R'' {{=}} 1}}, se obtiene la forma cerrada

: <math>S_{n-1} = \frac{n\pi^\frac{n}{2}}{\Gamma\left(\frac{n}{2}+1 \right)}.</math>

===Otras relaciones===
[[File:N SpheresVolumeAndSurfaceArea es.png|thumb|580px|En la imagen, {{math|''n''}} se refiere a la dimensión del espacio euclídeo de contorno, que también es la dimensión intrínseca del sólido cuyo volumen se enumera, pero que es 1 más que la dimensión intrínseca de la esfera cuya área de la superficie se indica.<br /><br />Las flechas rojas curvas muestran la relación entre diferentes fórmulas: la fórmula a la que apunta la flecha, se obtiene multiplicando la fórmula de la cola por el factor que figura en la punta de la flecha (donde {{math |''n''}} se toma el valor asociado a la celda a la que se señala).<br /><br />Si se quisiera invertir el sentido de las flechas de abajo, se debería tomar la fórmula a la que señala la flecha, y multiplicarla por {{math|{{sfrac|2π|''n''-2}}}}, siendo ''n'' la de la celda de mayor grado.<br /><br />Por otro lado, el área de la superficie {{math|''S''<sub>''n''+1</sub>}} de la esfera en {{math|''n''+2}} dimensiones, es exactamente {{math|2π''R''}} veces el volumen {{math|''V''<sub>''n''</sub>}} contenido por la esfera en {{math|''n''}} dimensiones (flechas de color verde claro)]]

Las recurrencias se pueden combinar para dar una relación de recurrencia de "dirección inversa" para el área de la superficie, como se muestra en el diagrama:

: <math>S_{n-1} = \frac{n}{2 \pi} S_{n+1}</math>

El cambio del índice {{math|''n''}} a {{math|''n''-2}} produce las relaciones de recurrencia siguientes:

: <math>\begin{align}
V_n &= \frac{2 \pi}{n} V_{n-2} \\[6pt]
S_{n-1} &= \frac{2 \pi}{n-2} S_{n-3}
\end{align}</math>

donde {{math|''S''<sub>0</sub> {{=}} 2}}, {{math|''V''<sub>1</sub> {{=}} 2}}, {{math|''S''<sub>1</sub> {{=}} 2π}} y {{math|''V''<sub>2</sub> {{=}} π}}.

La relación de recurrencia para {{math|''V''<sub>n</sub>}} también se puede probar a través de la [[integración]] con [[coordenadas polares]] bidimensionales:

: <math>\begin{align}
V_n 
& = \int_0^1 \int_0^{2\pi} V_{n-2}\left(\sqrt{1-r^2}\right)^{n-2} \, r \, d\theta \, dr \\[6pt]
& = \int_0^1 \int_0^{2\pi} V_{n-2} \left(1-r^2\right)^{\frac{n}{2}-1}\, r \, d\theta \, dr \\[6pt]
& = 2 \pi V_{n-2} \int_{0}^{1} \left(1-r^2\right)^{\frac{n}{2}-1}\, r \, dr \\[6pt]
& = 2 \pi V_{n-2} \left[ -\frac{1}{n}\left(1-r^2\right)^\frac{n}{2} \right]^{r=1}_{r=0} \\[6pt]
& = 2 \pi V_{n-2} \frac{1}{n} = \frac{2 \pi}{n} V_{n-2}.
\end{align}</math>

==Coordenadas esféricas==<!-- This section is linked from [[Coordenadas esféricas]] -->

Se puede definir un sistema de coordenadas en un espacio euclídeo {{math|''n''}}-dimensional que es análogo al sistema de [[coordenadas esféricas]] definido para el espacio euclídeo tridimensional, en el que las coordenadas consisten en una coordenada radial {{math|''r''}}, y las coordenadas angulares {{math|''n''-1}} {{math|''φ''<sub>1</sub>, ''φ''<sub>2</sub>, ... ''φ''<sub>''n''−1</sub>}}, donde los ángulos {{math|''φ''<sub>1</sub>, ''φ''<sub>2</sub>, ... ''φ''<sub>''n''−2</sub>}} se extienden sobre {{math|[0,π)}} radianes (o entre {{math|[0,180]}} grados) y {{math|''φ''<sub>''n''−1</sub>}} varía sobre {{math|[0,2π)}} radianes (o entre {{math|[0,360)}} grados). Si {{math|''x<sub>i</sub>''}} son las [[coordenadas cartesianas]], entonces se puede calcular {{math|''x''<sub>1</sub>, ... ''x<sub>n</sub>''}} a partir de {{math|''r'', ''φ''<sub>1</sub>, ... ''φ''<sub>''n''−1</sub>}} con:<ref>{{cite journal |last1=Blumenson |first1=L. E. |title=A Derivation of n-Dimensional Spherical Coordinates |journal=The American Mathematical Monthly |date=1960 |volume=67 |issue=1 |pages=63–66 |jstor=2308932 |doi=10.2307/2308932 }}</ref>

: <math>\begin{align}
x_1 &= r \cos(\varphi_1) \\
x_2 &= r \sen(\varphi_1) \cos(\varphi_2) \\
x_3 &= r \sen(\varphi_1) \sen(\varphi_2) \cos(\varphi_3) \\
 &\vdots\\
x_{n-1} &= r \sen(\varphi_1) \cdots \sen(\varphi_{n-2}) \cos(\varphi_{n-1}) \\
x_n &= r \sen(\varphi_1) \cdots \sen(\varphi_{n-2}) \sen(\varphi_{n-1})  .
\end{align}</math>

Excepto en los casos especiales descritos a continuación, la transformación inversa es única:

: <math>
\begin{align}
r &= \sqrt{{x_n}^2 + {x_{n-1}}^2 + \cdots + {x_2}^2 + {x_1}^2} \\[6pt]
\varphi_1 &= \arccot \frac{x_{1}}{\sqrt{{x_n}^2+{x_{n-1}}^2+\cdots+{x_2}^2}} &&= \arccos \frac{x_{1}}{\sqrt{{x_n}^2+{x_{n-1}}^2+\cdots+{x_1}^2}} \\[6pt]
\varphi_2 &= \arccot \frac{x_{2}}{\sqrt{{x_n}^2+{x_{n-1}}^2+\cdots+{x_3}^2}} &&= \arccos \frac{x_{2}}{\sqrt{{x_n}^2+{x_{n-1}}^2+\cdots+{x_2}^2}} \\[6pt]
 &\vdots &&\vdots \\[6pt]
\varphi_{n-2} &= \arccot \frac{x_{n-2}}{\sqrt{{x_n}^2+{x_{n-1}}^2}} &&= \arccos \frac{x_{n-2}}{\sqrt{{x_n}^2+{x_{n-1}}^2+{x_{n-2}}^2}} \\[6pt]
\varphi_{n-1} &= 2\arccot \frac{x_{n-1}+\sqrt{x_n^2+x_{n-1}^2}}{x_n} &&= \begin{cases}
 \arccos \frac{x_{n-1}}{\sqrt{{x_n}^2+{x_{n-1}}^2}} & x_n\geq 0 \\[6pt]
 2\pi - \arccos \frac{x_{n-1}}{\sqrt{{x_n}^2+{x_{n-1}}^2}} & x_n < 0
\end{cases} \,.
\end{align}
</math>

donde si {{math|''x<sub>k</sub>'' ≠ 0}} para algunos {{math|''k''}} pero todos {{math|''x''<sub>''k''+1</sub>, ... ''x<sub>n</sub>''}} son cero, entonces {{math|''φ<sub>k</sub>'' {{=}} 0}} cuando {{math|''x<sub>k</sub>'' > 0}} y {{math|''φ<sub>k</sub>'' {{=}} π}} (180 grados) cuando {{math|''x<sub>k</sub>'' < 0}}.

Hay algunos casos especiales donde la transformación inversa no es única; {{math|''φ<sub>k</sub>''}} para cualquier {{math|''k''}} será ambiguo siempre que todos los {{math|''x<sub>k</sub>'', ''x''<sub>''k''+1</sub>, ... ''x<sub>n</sub>''}} sean cero; en este caso, {{math|''φ<sub>k</sub>''}} puede elegirse como cero.

===Volumen esférico y elementos de área===
Expresando las medidas angulares en radianes, el [[elemento volumen]] en el espacio euclídeo {{math|''n''}}-dimensional se encontrará a partir del [[Jacobiano]] de la transformación:

: <math>
\begin{pmatrix} 
\cos(\varphi_{1}) &-r\sen(\varphi_{1}) &0 &0&\cdots &0 \\
\sen(\varphi_{1})\cos(\varphi_{2}) &r\cos(\varphi_{1})\cos(\varphi_{2}) &-r\sen(\varphi_{1})\sen(\varphi_{2})&0&\cdots &0 \\
\vdots & \vdots & \vdots &\ddots & &\vdots\\
 & & & & &0 \\
\sen(\varphi_{1})\cdots\sen(\varphi_{n-2})\cos(\varphi_{n-1})& \cdots &\cdots & & &-r\sen(\varphi_{1})\cdots\sen(\varphi_{n-2})\sen(\varphi_{n-1}) \\
\sen(\varphi_{1})\cdots\sen(\varphi_{n-2})\sen(\varphi_{n-1})& r\cos(\varphi_{1})\cdots\sen(\varphi_{n-1})& \cdots & & &r\sen(\varphi_{1})\cdots\sen(\varphi_{n-2})\cos(\varphi_{n-1})
\end{pmatrix}
</math>

: <math>\begin{align}
d^nV & = 
\left|\det\frac{\partial (x_i)}{\partial\left(r,\varphi_j\right)}\right|
dr\,d\varphi_1 \, d\varphi_2\cdots d\varphi_{n-1} \\[6pt]
& = r^{n-1}\sen^{n-2}(\varphi_1)\sen^{n-3}(\varphi_2)\cdots \sen(\varphi_{n-2})\,
dr\,d\varphi_1 \, d\varphi_2\cdots d\varphi_{n-1}
\end{align}</math>

y la ecuación anterior para el volumen de la {{math|''n''}}-bola se puede recuperar integrando:

: <math>V_n=\int_{\varphi_{n-1}=0}^{2\pi} \int_{\varphi_{n-2}=0}^\pi \cdots \int_{\varphi_1=0}^\pi\int_{r=0}^R d^nV.</math>

De manera similar, el elemento del área de superficie de la {{math|(''n''-1)}}-esfera, que generaliza el [[elemento de área]] de la 2-esfera, viene dado por

: <math>d_{S^{n-1}}V = \sen^{n-2}(\varphi_1)\sen^{n-3}(\varphi_2)\cdots \sen(\varphi_{n-2})\, d\varphi_1 \, d\varphi_2\cdots d\varphi_{n-1}.</math>

La elección natural de una base ortogonal sobre las coordenadas angulares es un producto de [[polinomio de Gegenbauer|polinomios ultraesféricos]],

: <math>\begin{align}
& {} \quad \int_0^\pi \sen^{n-j-1}\left(\varphi_j\right) C_s^{\left(\frac{n-j-1}{2}\right)}\cos \left(\varphi_j \right)C_{s'}^{\left(\frac{n-j-1}{2}\right)}\cos \left(\varphi_j\right) \, d\varphi_j \\[6pt]
& = \frac{2^{3-n+j}\pi \Gamma(s+n-j-1)}{s!(2s+n-j-1)\Gamma^2\left(\frac{n-j-1}{2}\right)}\delta_{s,s'}
\end{align}</math>

para {{math|''j'' {{=}} 1, 2,... ''n''-2}}, y {{math|''e''<sup>''isφ''<sub>''j''</sub></sup>}} para el ángulo {{math|''j'' {{=}} ''n''-1}} en concordancia con los [[armónicos esféricos]].

==Proyección estereográfica==

{{AP|Proyección estereográfica}}

Al igual que una esfera bidimensional incrustada en tres dimensiones se puede representar en un plano bidimensional mediante una [[proyección estereográfica]], una {{math|''n''}}-esfera se puede representar en un hiperplano {{math|''n''}}-dimensional mediante la versión {{math|''n''}}-dimensional de la proyección estereográfica. Por ejemplo, el punto {{math|[''x'',''y'',''z'']}} en una esfera bidimensional de radio 1 se asigna al punto {{math|[{{sfrac|''x''|1 − ''z''}},{{sfrac|''y''|1 − ''z''}}]}} en el plano {{math|''xy''}}. En otras palabras,

: <math>[x,y,z] \mapsto \left[\frac{x}{1-z},\frac{y}{1-z}\right].</math>

Del mismo modo, la proyección estereográfica de una {{math|''n''}}-esfera {{math|'''S'''<sup>''n''−1</sup>}} de radio 1 se correlacionará con el hiperplano dimensional {{math|(''n''-1)}} {{math|'''R'''<sup>''n''−1</sup>}} perpendicular al eje {{math|''x<sub>n</sub>''}} como
: <math>[x_1,x_2,\ldots,x_n] \mapsto \left[\frac{x_1}{1-x_n},\frac{x_2}{1-x_n},\ldots,\frac{x_{n-1}}{1-x_n}\right].</math>

==Generación de puntos aleatorios==

===Uniformemente al azar en una {{math|(''n''-1)}}-esfera===

[[File:2sphere-uniform.png|thumbnail|Un conjunto de puntos distribuidos uniformemente en la superficie de una 2-esfera unidad generado usando el algoritmo de Marsaglia]]

Para generar puntos aleatorios distribuidos uniformemente en la {{math|(''n''-1)}}-esfera unidad (es decir, la superficie de la {{math|''n''}}-bola unidad),{{harvtxt|Marsaglia|1972}} proporciona el siguiente algoritmo:

Genérese un vector {{math|''n''}}-dimensional de [[distribución normal]] (es suficiente usar {{math|N(0, 1)}}, aunque en realidad la elección de la varianza es arbitraria), {{math|'''x''' {{=}} (''x''<sub>1</sub>, ''x''<sub>2</sub>,... ''x<sub>n</sub>'')}}. Ahora, calcúlese el ''radio'' de este punto:

: <math>r=\sqrt{x_1^2+x_2^2+\cdots+x_n^2}.</math>

El vector {{math|{{sfrac|1|''r''}}'''x'''}} se distribuye uniformemente sobre la superficie de la {{math|''n''}}-bola unidad.

Una alternativa dada por Marsaglia es seleccionar uniformemente al azar un punto {{math|'''x''' {{=}} (''x''<sub>1</sub>, ''x''<sub>2</sub>,... ''x<sub>n</sub>'')}} en el [[Hipercubo|{{math|''n''}}-cubo]] unidad, muestreando cada {{math|''x''<sub>''i''</sub>}} independientemente de la [[distribución uniforme continua]] sobre {{math|(–1,1)}}, calculando {{math|''r''}} como arriba, y rechazando el punto y remuestreando si {{math|''r'' ≥ 1}} (es decir, si el punto no está en la {{math|''n''}}-bola), y cuando se obtiene un punto en la bola, se escala hacia la superficie esférica por el factor {{math|{{sfrac|1|''r''}}}}; de forma que de nuevo {{math|{{sfrac|1|''r''}}'''x'''}} se distribuye uniformemente sobre la superficie de la {{math|''n''}}-bola unidad.

===Uniformemente al azar dentro de una {{math|''n''}}-bola===
Con un punto seleccionado al azar uniformemente desde la superficie de la {{math|(''n''-1)}}-esfera unidad (por ejemplo, usando el algoritmo de Marsaglia), se necesita solo un radio para obtener un punto uniformente al azar desde dentro de la {{math|''n''}}-bola unidad. Si {{math|''u''}} es un número generado uniformemente al azar en el intervalo {{math|[0, 1]}} y {{math|'''x'''}} es un punto seleccionado uniformemente al azar de la {{math|(''n''-1)}}-esfera unidad, entonces {{math|''u''<sup>(1/''n'')</sup>'''x'''}} se distribuye uniformemente dentro de la {{math|''n''}}-bola unidad.

Alternativamente, los puntos se pueden muestrear uniformemente desde dentro de la {{math|''n''}}-bola unidad mediante una reducción desde la {{math|(''n''+1)}}-esfera unidad. En particular, si {{math|(''x''<sub>1</sub>,''x''<sub>2</sub>,...,''x''<sub>''n''+2</sub>)}} es un punto seleccionado uniformemente de la {{math|(''n''+1)}}-esfera unidad, entonces {{math|(''x''<sub>1</sub>,''x''<sub>2</sub>,...,''x''<sub>''n''</sub>)}} se distribuye uniformemente dentro de la {{math|''n''}}-bola unidad (es decir, simplemente descartando dos coordenadas).<ref>{{cite report|first1=Aaron R. | last1=Voelker | first2=Jan | last2=Gosmann | first3=Terrence C. | last3=Stewart | title=Efficiently sampling vectors and coordinates from the n-sphere and n-ball | year=2017 | publisher=Centre for Theoretical Neuroscience | url=http://compneuro.uwaterloo.ca/publications/voelker2017.html | doi=10.13140/RG.2.2.15829.01767/1}}</ref>

Si {{math|''n''}} es suficientemente grande, la mayor parte del volumen de la {{math|''n''}}-bola estará contenido en la región muy cercana de su superficie, por lo que un punto seleccionado de ese volumen probablemente también estará cerca de la superficie. Este es uno de los fenómenos que conducen a la llamada ''[[maldición de la dimensión]]'', que surge en algunas aplicaciones numéricas.

==Esferas específicas==
[[Archivo:Hypersphere.png|miniaturadeimagen|Proyección en 2D de una proyección en 3D de una hiperesfera 4D.]]
; 0-esfera
: El par de puntos {{math|{±''R''<nowiki>}</nowiki>}} con [[topología discreta]] para {{math|''R'' > 0}}. Se trata de la única esfera que no es un [[conjunto conexo]]. Posee una estructura de [[grupo de Lie]] natural; isomorfo a O (1). Paralelizable
; [[circunferencia|1-esfera]]
: También conocida como circunferencia. Posee un grupo fundamental no trivial. Estructura del grupo de Lie abeliano, el [[grupo circular]], topológicamente equivalente a la [[recta proyectiva real]], '''R''' P<sup>1</sup>. Paralelizable. SO(2) = U(1).
; [[esfera|2-esfera]]
: También conocida simplemente como esfera. Estructura compleja; equivalente a la [[esfera de Riemann|recta proyectiva compleja]], '''C''' P<sup>1</sup>. SO(3)/SO(2).
; [[3-esfera]]
: También conocida como [[3-esfera|''glomo'']]. Paralelizable, [[haz circular|U(1)-haz]] [[Fibrado principal|principal]] [[Fibración de Hopf|sobre]] la 2-esfera, estructura de grupo de Lie [[Sp(1)]], donde también
: <math>\mathrm{Sp}(1) \cong \mathrm{SO}(4)/\mathrm{SO}(3) \cong \mathrm{SU}(2) \cong \mathrm{Spin}(3)</math>.
; 4-esfera
: Equivalente a la [[recta proyectiva cuaterniónica]], '''H'''P<sup>1</sup>. SO(5)/SO(4).
; 5-esfera
: [[haz circular|U(1)-haz]] [[Fibrado principal|principal]] sobre [[Espacio proyectivo complejo|'''C'''P<sup>2</sup>]]. SO(6)/SO(5) = SU(3)/SU(2).
; 6-esfera
: Posee una [[variedad casi compleja]] proveniente del conjunto de unidades de [[octonión]] puras. SO(7)/SO(6) = ''G''<sub>2</sub>/SU (3). La pregunta de si posee un [[Variedad compleja|estructura compleja]] se conoce como el "problema de Hopf", en referencia a [[Heinz Hopf]].<ref>{{cite journal|last1=Agricola |first1=Ilka |authorlink1=Ilka Agricola |first2=Giovanni |last2=Bazzoni |first3=Oliver |last3=Goertsches |first4=Panagiotis |last4=Konstantis |first5=Sönke |last5=Rollenske |title=On the history of the Hopf problem |arxiv=1708.01068 |journal=[[ Differential Geometry and Its Applications]] |year=2018 |volume=57 |pages=1–9|doi=10.1016/j.difgeo.2017.10.014 }}</ref>
; 7-esfera
: Estructura topológica de [[cuasigrupo]] como el conjunto de unidades de los [[octonión|octoniones]]. Sp(1)-haz principal sobre ''S''<sup>4</sup>. Paralelizable. SO(8)/SO(7) = SU(4)/SU(3) = Sp(2)/Sp(1) = Spin(7)/''G''<sub>2</sub> = Spin(6)/SU(3). La 7-esfera es de particular interés, ya que fue en esta dimensión en la que se descubrió la primera [[esfera exótica]].
; 8-esfera
: Equivalente a la línea proyectiva octoniónica '''O'''P<sup>1</sup>.
; 23-esfera
: Es posible un [[empaquetamiento de esferas]] altamente denso en un espacio de 24 dimensiones, que está relacionado con las cualidades únicas de la [[retícula de Leech]].

==Véase también==
{{Lista de columnas|4|
* [[Esfera afín]]
* [[Geometría conforme]]
* [[Esfera exótica]]
* [[Esfera homológica]]
* [[Grupos de homotopía de esferas]]
* [[Esfera homotópica]]
* [[Grupo hiperbólico]]
* [[Hipercubo]]
* [[Geometría inversiva]]
* [[Grupo fundamental]]
* [[Variedad (matemáticas)|Variedad]]
* [[Transformación de Möbius]]
* [[Grupo ortogonal]]
* [[Casquete esférico]]
* [[Volumen de una n-bola|Volumen de una {{math|''n''}}-bola]]
* [[Distribución semicircular de Wigner]]
}}

==Referencias==
{{listaref}}

==Bibliografía==
* {{cite book | last1=Flanders | first1=Harley | title=Differential forms with applications to the physical sciences | publisher=[[Dover Publications]] | location=New York | isbn=978-0-486-66169-8 | year=1989}}
* {{Cite book | last1=Moura | first1=Eduarda | last2=Henderson | first2=David G. | title=Experiencing geometry: on plane and sphere | url=https://archive.org/details/experiencinggeom0000hend | publisher=[[ Prentice Hall]] | isbn=978-0-13-373770-7 | year=1996| postscript=&nbsp;(Chapter 20: 3-spheres and hyperbolic 3-spaces).}}
* {{Cite book | last1=Weeks | first1=Jeffrey R. | author1-link=Jeffrey Weeks (mathematician) | title=The Shape of Space: how to visualize surfaces and three-dimensional manifolds | url=https://archive.org/details/shapeofspacehowt0000week | publisher=Marcel Dekker | isbn=978-0-8247-7437-0 | year=1985| postscript=&nbsp;(Chapter 14: The Hypersphere).}}
* {{cite journal|last1=Marsaglia|first1=G.|title=Choosing a Point from the Surface of a Sphere|journal=Annals of Mathematical Statistics|volume=43|pages=645–646|year=1972|doi=10.1214/aoms/1177692644|issue=2}}
* {{cite journal|first1=Greg|last1=Huber|title=Gamma function derivation of n-sphere volumes|journal=Amer. Math. Monthly|volume=89|year=1982|pages=301–302|mr=1539933 |jstor=2321716|issue=5|doi=10.2307/2321716
}}
* {{cite journal|first1=Nir | last1=Barnea | title=Hyperspherical functions with arbitrary permutational symmetry: Reverse construction
|year=1999 | journal = Phys. Rev. A | doi=10.1103/PhysRevA.59.1135
|volume=59 | number=2|pages=1135–1146| bibcode=1999PhRvA..59.1135B}}

==Enlaces externos==
* {{MathWorld|title=Hypersphere|urlname=Hypersphere}}
* [https://web.archive.org/web/20111108053744/http://planetmath.org/encyclopedia/Sphere.html ''Hypersphere'' en Planetmath.]

{{Control de autoridades}}
[[Categoría:Círculos]]
[[Categoría:Topología]]
[[Categoría:Sistemas de coordenadas ortogonales]]