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 , denotada en general como . Constituye uno de los ejemplos más sencillos de variedad matemática.
Desde un punto de vista analítico, una n-esfera es un espacio topológico que es homeomorfo a una n-esferaestándar, que es el conjunto de puntos en un espacio euclídeo(n+1)-dimensional que se encuentran a una distancia constante r respecto a un punto fijo, llamado centro. Cuando la esfera tiene un radio unidad, es habitual llamarla n-esfera unidad, o simplemente n-esfera por brevedad. En términos de la norma estándar, una n-esfera se define como
y una n-esfera de radio r se puede definir como
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 n-esfera es n, y no debe confundirse con la dimensión (n+1) del espacio euclídeo en el que queda naturalmente embebida. Una n-esfera es la superficie o límite de una bola(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 1-esfera
La superficie bidimensional de una bola (tridimensional) en un espacio tridimensional es una 2-esfera, a menudo simplemente llamada esfera
La 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 (n–1)-dimensional de una n-bola (n-dimensional) es una (n–1)-esfera.
Para n≥2, las n-esferas que son variedades diferenciables pueden caracterizarse (hasta un difeomorfismo) como variedadesn-dimensionales conexas de curvatura constante y positiva. Las n-esferas admiten varias otras descripciones topológicas: por ejemplo, se pueden construir pegando dos espacios euclídeos n-dimensionales, identificando el límite de un n-cubo con un punto, o (inductivamente) formando la suspensión de una (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ónn+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 (x1,x2,…,xn+1) que están en una n-esfera (Sn) se representa con la ecuación:
,
donde el centro es el origen de coordenadas O (0,0,...,0).[1] Teniendo como datos un punto fijo llamado centro y el radio R, real positivo, siendo un punto cualquiera de la hiperesfera, la ecuación correspondiente es,[2][3]
o escrito en forma vectorial, como:
Descripción
Para cualquier número naturaln, una n-esfera de radio r se define como el conjunto de puntos en el espacio euclídeo(n+1)-dimensional que están a una distancia r de un punto fijo c, donde r puede ser cualquier número realpositivo y donde c puede ser cualquier punto en el espacio (n+1) dimensional. En particular:
Una 0-esfera es un par de puntos {c − r, c + r}, y es el límite de un segmento recto (1-bola)
Una 1-esfera es una circunferencia de radio r centrada en c, y es el límite de un disco (2-bola)
Una 2-esfera es un esfera bidimensional ordinaria en un espacio euclídeo tridimensional, y es el límite de una bola ordinaria (3-bola)
Una 3-esfera es una esfera tridimensional en un espacio euclídeo de 4 dimensiones
Coordenadas euclídeas en el (n+1)-espacio
El conjunto de puntos en el espacio (n+1), (x1, x2, ..., xn+1), que definen una n-esfera, , está representado por la ecuación:
donde c = (c1, c2, ..., cn+1) es un punto central y r es el radio.
La n-esfera anterior existe en el espacio euclídeo (n+1)-dimensional y es un ejemplo de n-variedad. La forma de volumenω de una n-esfera de radio r viene dada por
Una 3-bola, una 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
Topológicamente, una n-esfera se puede construir como una compactación en un punto del espacio euclídeo n-dimensional. Brevemente, la n-esfera puede describirse como Sn = Rn ∪ {∞}, que es un espacio euclídeo 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 n-esfera, se convierte en homeomórfica a Rn. Esta circunstancia sustenta la base de la proyección estereográfica.[4]
Vn(R) y Sn(R) son el volumen n-dimensional de una n-bola y el área de la superficie de la n-esfera incrustada en la dimensión n+1, respectivamente, ambas de radio R.
Las constantes Vn y Sn (para R = 1, la bola unitaria y la esfera) están relacionadas por las recurrencias:
Las superficies y los volúmenes también se pueden dar en forma cerrada:
donde Γ es la función gamma. Las deducciones de estas ecuaciones se dan en esta sección.
En general, el volumen de la n-bola en el espacio euclídeo n y el área de la superficie de la n-esfera en el espacio euclídeo (n+1)-dimensional, de radio R, son proporcionales a la potencia n del radio R (con diferentes constantes de proporcionalidad que varían con n). Se escribe Vn(R) = VnRn para el volumen de la n-bola y Sn(R) = SnRn para el área de la superficie de la n-esfera, ambas de radio R, donde Vn = Vn(1) y Sn = Sn(1) son los valores para el caso del radio unidad.
En teoría, se podrían comparar los valores de Sn(R) y Sm(R) para n≠m. Sin embargo, esto es algo sin sentido. Por ejemplo, si n=2 y 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 Vn(R) y Vm(R) para 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 euclídea de dimensión n viene determinado por:
Nótese la particularidad de que 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 (1) para n=4 resulta
.
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,
La 1-bola unidad es el intervalo [−1,1] de longitud 2. Entonces,
La 0-esfera consiste en sus dos puntos finales, {−1,1}. Entonces,
La 1-esfera unidad es la circunferencia unidad en el plano euclídeo, cuyo perímetro (medida unidimensional) mide
La región encerrada por la 1-esfera unidad es la 2-bola o disco unidad, que tiene un área (medida bidimensional) de
Análogamente, en el espacio euclídeo tridimensional, el área de la superficie (medida bidimensional) de la 2-esfera unidad está dada por
y el volumen incluido es la capacidad (medida tridimensional) de la 3-bola unidad, dada por
Recurrencias
El área de la superficie, o más adecuadamente, el volumen n-dimensional, de la n-esfera en el límite de la (n+1)-bola de radio R está relacionado con el volumen de la bola por la ecuación diferencial
o, de manera equivalente, representando la n-bola unidad como la unión de (n-1)-esferas concéntricas anidadas en forma de corona esférica,
Entonces,
También se puede representar la (n+2)-esfera unidad como la unión de toros, cada uno el producto de un círculo (1-esfera) con una n-esfera. Siendo r = cos θ y r2 + R2 = 1, de modo que R = sen θ y dR = cos θdθ, entonces:
Desde S1 = 2π V0, la ecuación
se cumple para todos los n.
Esto completa la deducción de las recurrencias:
Formas cerradas
Combinando las recurrencias, se puede ver que
Entonces, es simple mostrar por inducción que para k,
donde !! denota el doble factorial, definido para números naturales impares 2k + 1 por (2k + 1)!! = 1 × 3 × 5 × ... × (2k − 1) × (2k + 1) y de manera similar para números pares (2k)!! = 2 × 4 × 6 × ... × (2k − 2) × (2k).
En general, el volumen en el espacio euclídeo n-dimensional de la n-bola unidad viene dado por
donde Γ es la función gamma, que satisface Γ(1/2) = √π, Γ(1) = 1 y Γ(x + 1) = xΓ(x).
Multiplicando Vn por Rn, diferenciando con respecto a R, y luego configurando R = 1, se obtiene la forma cerrada
Otras relaciones
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:
El cambio del índice n a n-2 produce las relaciones de recurrencia siguientes:
donde S0 = 2, V1 = 2, S1 = 2π y V2 = π.
La relación de recurrencia para Vn también se puede probar a través de la integración con coordenadas polares bidimensionales:
Coordenadas esféricas
Se puede definir un sistema de coordenadas en un espacio euclídeo 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 r, y las coordenadas angulares n-1φ1, φ2, ... φn−1, donde los ángulos φ1, φ2, ... φn−2 se extienden sobre [0,π) radianes (o entre [0,180] grados) y φn−1 varía sobre [0,2π) radianes (o entre [0,360) grados). Si xi son las coordenadas cartesianas, entonces se puede calcular x1, ... xn a partir de r, φ1, ... φn−1 con:[5]
Excepto en los casos especiales descritos a continuación, la transformación inversa es única:
donde si xk ≠ 0 para algunos k pero todos xk+1, ... xn son cero, entonces φk = 0 cuando xk > 0 y φk = π (180 grados) cuando xk < 0.
Hay algunos casos especiales donde la transformación inversa no es única; φk para cualquier k será ambiguo siempre que todos los xk, xk+1, ... xn sean cero; en este caso, φk 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 n-dimensional se encontrará a partir del Jacobiano de la transformación:
y la ecuación anterior para el volumen de la n-bola se puede recuperar integrando:
De manera similar, el elemento del área de superficie de la (n-1)-esfera, que generaliza el elemento de área de la 2-esfera, viene dado por
La elección natural de una base ortogonal sobre las coordenadas angulares es un producto de polinomios ultraesféricos,
para j = 1, 2,... n-2, y eisφj para el ángulo j = n-1 en concordancia con los armónicos esféricos.
Al igual que una esfera bidimensional incrustada en tres dimensiones se puede representar en un plano bidimensional mediante una proyección estereográfica, una n-esfera se puede representar en un hiperplano n-dimensional mediante la versión n-dimensional de la proyección estereográfica. Por ejemplo, el punto [x,y,z] en una esfera bidimensional de radio 1 se asigna al punto [x/1 − z,y/1 − z] en el plano xy. En otras palabras,
Del mismo modo, la proyección estereográfica de una n-esfera Sn−1 de radio 1 se correlacionará con el hiperplano dimensional (n-1)Rn−1 perpendicular al eje xn como
Generación de puntos aleatorios
Uniformemente al azar en una (n-1)-esfera
Para generar puntos aleatorios distribuidos uniformemente en la (n-1)-esfera unidad (es decir, la superficie de la n-bola unidad),Marsaglia (1972) proporciona el siguiente algoritmo:
Genérese un vector n-dimensional de distribución normal (es suficiente usar N(0, 1), aunque en realidad la elección de la varianza es arbitraria), x = (x1, x2,... xn). Ahora, calcúlese el radio de este punto:
El vector 1/rx se distribuye uniformemente sobre la superficie de la n-bola unidad.
Una alternativa dada por Marsaglia es seleccionar uniformemente al azar un punto x = (x1, x2,... xn) en el n-cubo unidad, muestreando cada xi independientemente de la distribución uniforme continua sobre (–1,1), calculando r como arriba, y rechazando el punto y remuestreando si r ≥ 1 (es decir, si el punto no está en la n-bola), y cuando se obtiene un punto en la bola, se escala hacia la superficie esférica por el factor 1/r; de forma que de nuevo 1/rx se distribuye uniformemente sobre la superficie de la n-bola unidad.
Uniformemente al azar dentro de una n-bola
Con un punto seleccionado al azar uniformemente desde la superficie de la (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 n-bola unidad. Si u es un número generado uniformemente al azar en el intervalo [0, 1] y x es un punto seleccionado uniformemente al azar de la (n-1)-esfera unidad, entonces u(1/n)x se distribuye uniformemente dentro de la n-bola unidad.
Alternativamente, los puntos se pueden muestrear uniformemente desde dentro de la n-bola unidad mediante una reducción desde la (n+1)-esfera unidad. En particular, si (x1,x2,...,xn+2) es un punto seleccionado uniformemente de la (n+1)-esfera unidad, entonces (x1,x2,...,xn) se distribuye uniformemente dentro de la n-bola unidad (es decir, simplemente descartando dos coordenadas).[6]
Si n es suficientemente grande, la mayor parte del volumen de la 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
0-esfera
El par de puntos {±R} con topología discreta para 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
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 P1. Paralelizable. SO(2) = U(1).
Estructura topológica de cuasigrupo como el conjunto de unidades de los octoniones. Sp(1)-haz principal sobre S4. Paralelizable. SO(8)/SO(7) = SU(4)/SU(3) = Sp(2)/Sp(1) = Spin(7)/G2 = 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 OP1.
↑Lang, Serge: Introducción al Análisis Matemático, ISBN 0-201-62907-0, pg. 100
↑James W. Vick (1994). Homology theory, p. 60. Springer
↑Blumenson, L. E. (1960). «A Derivation of n-Dimensional Spherical Coordinates». The American Mathematical Monthly67 (1): 63-66. JSTOR2308932. doi:10.2307/2308932.