stringtranslate.com

n-esfera

Estructura alámbrica de 2 esferas como proyección ortogonal
Así como una proyección estereográfica puede proyectar la superficie de una esfera en un plano, también puede proyectar una esfera tridimensional en un espacio tridimensional. Esta imagen muestra tres direcciones de coordenadas proyectadas en un espacio tridimensional: paralelos (rojo), meridianos (azul) e hipermeridianos (verde). Debido a la propiedad conforme de la proyección estereográfica, 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 matemáticas , una n -esfera o hiperesfera es una generalización ⁠ ⁠ -dimensional del círculo -dimensional y la esfera -dimensional a cualquier entero no negativo ⁠ . El círculo se considera unidimensional y la esfera bidimensional, porque las superficies en sí son unidimensionales y bidimensionales respectivamente, no porque existan como formas en el espacio unidimensional y bidimensional. Como tal, la -esfera es el escenario de la geometría esférica -dimensional .

Considerada extrínsecamente, como una hipersuperficie incrustada en un espacio euclidiano de dimensión ⁠ ⁠ -dimensional , una -esfera es el lugar geométrico de los puntos a igual distancia (el radio ) de un punto central dado . Su interior , que consiste en todos los puntos más cercanos al centro que el radio, es una -esfera dimensional . En particular:

Dado un sistema de coordenadas cartesianas , la esfera unitaria de radio se puede definir como :

Considerada intrínsecamente, cuando ⁠ ⁠ , la ⁠ ⁠ -esfera es una variedad riemanniana de curvatura constante positiva , y es orientable . Las geodésicas de la ⁠ ⁠ -esfera se denominan círculos máximos .

La proyección estereográfica proyecta la -esfera sobre el -espacio con un único punto adyacente en el infinito; bajo la métrica así definida, hay un modelo para la -esfera .

En el contexto más general de la topología , cualquier espacio topológico que sea homeomorfo a la unidad -esfera se llama -esfera . Bajo la proyección estereográfica inversa, la -esfera es la compactificación de un punto del -espacio . Las -esferas admiten varias otras descripciones topológicas: por ejemplo, pueden construirse pegando dos espacios -dimensionales , identificando el límite de un -cubo con un punto, o (inductivamente) formando la suspensión de una -esfera . Cuando está simplemente conexa ; la -esfera (círculo) no está simplemente conexa; la -esfera ni siquiera está conexa, y consiste en dos puntos discretos .

Descripción

Para cualquier número natural , una -esfera de radio se define como el conjunto de puntos en el espacio euclidiano de dimensión ⁠que están a distancia de algún punto fijo , dondepuede ser cualquier número real positivo y donde puede ser cualquier punto en el espacio de dimensión . En particular:

Coordenadas cartesianas

El conjunto de puntos en el ⁠ ⁠ -espacio, ⁠ ⁠ , que definen una ⁠ ⁠ -esfera, ⁠ ⁠ , está representado por la ecuación:

donde ⁠ ⁠ es un punto central, y ⁠ ⁠ es el radio.

La ⁠ ⁠ -esfera anterior existe en el espacio euclidiano de dimensión ⁠ y es un ejemplo de una ⁠ ⁠ -variedad . La forma de volumen de una -esfera de radio está dada por

donde es el operador de estrella de Hodge ; véase Flanders (1989, §6.1) para una discusión y prueba de esta fórmula en el caso . Como resultado,

norte-pelota

El espacio encerrado por una ⁠ ⁠ -esfera se llama ⁠ ⁠ -bola . Una -esfera está cerrada si incluye la -esfera, y está abierta si no incluye la -esfera.

Específicamente:

Descripción topológica

Topológicamente , una -esfera se puede construir como una compactificación de un punto del espacio euclidiano de dimensión . Brevemente, la -esfera se puede describir como , que es un espacio euclidiano de dimensión , más un único punto que representa el infinito en todas las direcciones. En particular, si se elimina un único punto de una -esfera , se vuelve homeomorfa a . Esto forma la base de la proyección estereográfica . [1]

Volumen y área

Sea ⁠ ⁠ el área de la superficie de la esfera unitaria de radio incrustada en el espacio euclidiano de dimensión ⁠ ⁠ y sea ⁠ el volumen de su interior, la bola unitaria . El área de la superficie de una esfera arbitraria es proporcional a la ⁠ ⁠ potencia del radio, y el volumen de una bola arbitraria es proporcional a la potencia del radio.

Gráficas de volúmenes ( ⁠ ⁠ ) y áreas superficiales ( ⁠ ⁠ ) de n -bolas de radio 1 .

La bola ⁠ ⁠ a veces se define como un único punto. La medida de Hausdorff ⁠ ⁠ -dimensional es el número de puntos en un conjunto. Por lo tanto

Una ⁠ ⁠ -bola es un segmento de línea cuyos puntos tienen una sola coordenada en el intervalo ⁠ ⁠ de longitud ⁠ ⁠ , y la ⁠ ⁠ -esfera consiste en sus dos puntos finales, con coordenada ⁠ ⁠ .

Una ⁠ ⁠ -esfera unitaria es el círculo unitario en el plano euclidiano, y su interior es el disco unitario ( ⁠ ⁠ -bola).

El interior de una 2-esfera en el espacio tridimensional es la unidad -bola .

En general, ⁠ ⁠ y ⁠ ⁠ se dan en forma cerrada mediante las expresiones

donde ⁠ ⁠ es la función gamma .

A medida que tiende a infinito , el volumen de la bola unitaria ( relación entre el volumen de una bola de radio y un cubo de lado ) tiende a cero. [ 2]

Recurrencias

El área de la superficie , o propiamente el volumen dimensional , de la esfera en el límite de la bola de radio está relacionado con el volumen de la bola mediante la ecuación diferencial

De manera equivalente, representando la unidad ⁠ ⁠ -esfera como una unión de capas de ⁠ ⁠ -esferas concéntricas ,

También podemos representar la unidad ⁠ ⁠ -esfera como una unión de productos de un círculo ( ⁠ ⁠ -esfera) con una ⁠ ⁠ -esfera. Entonces ⁠ ⁠ . Como ⁠ ⁠ , la ecuación

se cumple para todos ⁠ ⁠ . Junto con los casos base ⁠ ⁠ , ⁠ ⁠ de arriba, estas recurrencias se pueden usar para calcular el área de superficie de cualquier esfera o el volumen de cualquier bola.

Coordenadas esféricas

Podemos definir un sistema de coordenadas en un espacio euclidiano de dimensión ⁠ ⁠ que sea análogo al sistema de coordenadas esféricas definido para el espacio euclidiano de dimensión ⁠ , en el que las coordenadas consisten en una coordenada radial ⁠ ⁠ , y coordenadas angulares , donde los ángulos ⁠ ⁠ varían en radianes (o ⁠ ⁠ grados) y ⁠ ⁠ varían en radianes (o ⁠ ⁠ grados). Si ⁠ ⁠ son las coordenadas cartesianas, entonces podemos calcular ⁠ ⁠ a partir de ⁠ ⁠ con: [3] [a]

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

donde atan2 es la función arcotangente de dos argumentos.

Hay algunos casos especiales en los que la transformada inversa no es única; ⁠ ⁠ para cualquier ⁠ ⁠ será ambigua siempre que todos ⁠ ⁠ sean cero; en este caso ⁠ ⁠ puede elegirse que sea cero. (Por ejemplo, para la ⁠ ⁠ -esfera, cuando el ángulo polar es ⁠ ⁠ o ⁠ ⁠ entonces el punto es uno de los polos, cenit o nadir, y la elección del ángulo azimutal es arbitraria).

Elementos de área y volumen esféricos

Para expresar el elemento de volumen del espacio euclidiano ⁠ ⁠ -dimensional en términos de coordenadas esféricas, sean ⁠ ⁠ y ⁠ ⁠ para concisión, luego observe que la matriz jacobiana de la transformación es:

El determinante de esta matriz se puede calcular por inducción. Cuando ⁠ ⁠ , un cálculo sencillo muestra que el determinante es ⁠ ⁠ . Para ⁠ ⁠ mayores , observe que ⁠ ⁠ se puede construir a partir de ⁠ ⁠ de la siguiente manera. Excepto en la columna ⁠ ⁠ , las filas ⁠ ⁠ y ⁠ ⁠ de ⁠ ⁠ son iguales que la fila ⁠ ⁠ de ⁠ ⁠ , pero multiplicadas por un factor adicional de ⁠ ⁠ en la fila ⁠ ⁠ y un factor adicional de ⁠ ⁠ en la fila ⁠ ⁠ . En la columna ⁠ ⁠ , las filas ⁠ ⁠ y ⁠ ⁠ de ⁠ ⁠ son las mismas que la columna ⁠ ⁠ de la fila ⁠ ⁠ de ⁠ ⁠ , pero multiplicadas por factores adicionales de ⁠ ⁠ en la fila ⁠ ⁠ y ⁠ ⁠ en la fila ⁠ ⁠ , respectivamente. El determinante de ⁠ ⁠ se puede calcular por expansión de Laplace en la columna final. Por la descripción recursiva de ⁠ ⁠ , la submatriz formada al eliminar la entrada en ⁠ ⁠ y su fila y columna es casi igual a ⁠ ⁠ , excepto que su última fila se multiplica por ⁠ ⁠ . De manera similar, la submatriz formada al eliminar la entrada en ⁠ ⁠ y su fila y columna es casi igual a ⁠ ⁠ , excepto que su última fila se multiplica por ⁠ ⁠ . Por lo tanto, el determinante de ⁠ ⁠ es

La inducción proporciona entonces una expresión de forma cerrada para el elemento de volumen en coordenadas esféricas.

La fórmula para el volumen de la bola se puede derivar de esto mediante integración.

De manera similar, el elemento de área de superficie de la ⁠ ⁠ -esfera de radio ⁠ ⁠ , que generaliza el elemento de área de la ⁠ ⁠ -esfera, está dado por

La elección natural de una base ortogonal sobre las coordenadas angulares es un producto de polinomios ultrasféricos ,

para ⁠ ⁠ , y el ⁠ ⁠ para el ángulo ⁠ ⁠ en concordancia con los armónicos esféricos .

Coordenadas polisféricas

El sistema de coordenadas esféricas estándar surge de escribir ⁠ ⁠ como el producto ⁠ ⁠ . Estos dos factores pueden relacionarse utilizando coordenadas polares. Para cada punto ⁠ ⁠ de , las coordenadas cartesianas estándar

se puede transformar en un sistema de coordenadas polar-cartesiano mixto:

Esto dice que los puntos en ⁠ ⁠ pueden expresarse tomando el rayo que comienza en el origen y pasa por , rotándolo hacia , y recorriendo una distancia a lo largo del rayo. La repetición de esta descomposición conduce eventualmente al sistema de coordenadas esféricas estándar.

Los sistemas de coordenadas polisféricas surgen de una generalización de esta construcción. [4] El espacio ⁠ ⁠ se divide como el producto de dos espacios euclidianos de menor dimensión, pero no se requiere que ninguno de los dos espacios sea una línea. Específicamente, supongamos que ⁠ ⁠ y ⁠ ⁠ son números enteros positivos tales que ⁠ ⁠ . Entonces ⁠ ⁠ . Usando esta descomposición, un punto ⁠ ⁠ puede escribirse como

Esto se puede transformar en un sistema de coordenadas polar-cartesiano mixto escribiendo:

Aquí y son los vectores unitarios asociados a y . Esto expresa en términos de , , , y un ángulo . Se puede demostrar que el dominio de es si , si exactamente uno de y es , y si ni ni son . La transformación inversa es

Estas divisiones pueden repetirse siempre que uno de los factores involucrados tenga dimensión dos o mayor. Un sistema de coordenadas poliesférico es el resultado de repetir estas divisiones hasta que no queden coordenadas cartesianas. Las divisiones posteriores a la primera no requieren una coordenada radial porque los dominios de y son esferas, por lo que las coordenadas de un sistema de coordenadas poliesférico son un radio no negativo y ángulos . Los posibles sistemas de coordenadas poliesféricos corresponden a árboles binarios con hojas . Cada nodo que no es hoja en el árbol corresponde a una división y determina una coordenada angular. Por ejemplo, la raíz del árbol representa , y sus hijos inmediatos representan la primera división en y . Los nodos hoja corresponden a coordenadas cartesianas para . Las fórmulas para convertir de coordenadas polisféricas a coordenadas cartesianas se pueden determinar hallando los caminos desde los nodos raíz hasta los nodos hoja. Estas fórmulas son productos con un factor para cada rama tomada por el camino. Para un nodo cuya coordenada angular correspondiente es , tomar la rama izquierda introduce un factor de y tomar la rama derecha introduce un factor de . La transformación inversa, de coordenadas polisféricas a coordenadas cartesianas, se determina agrupando nodos. Cada par de nodos que tienen un padre común se puede convertir de un sistema de coordenadas polares-cartesianas mixto a un sistema de coordenadas cartesianas utilizando las fórmulas anteriores para una división.

Las coordenadas polisféricas también tienen una interpretación en términos del grupo ortogonal especial . Una división determina un subgrupo .

Este es el subgrupo que deja fijos cada uno de los dos factores . Elegir un conjunto de coconjuntos representativos para el cociente es lo mismo que elegir ángulos representativos para este paso de la descomposición de coordenadas poliesféricas.

En coordenadas poliesféricas, la medida del volumen en ⁠ ⁠ y la medida del área en ⁠ ⁠ son productos. Hay un factor para cada ángulo, y la medida del volumen en ⁠ ⁠ también tiene un factor para la coordenada radial. La medida del área tiene la forma:

donde los factores ⁠ ⁠ están determinados por el árbol. De manera similar, la medida del volumen es

Supongamos que tenemos un nodo del árbol que corresponde a la descomposición ⁠ ⁠ y que tiene coordenadas angulares ⁠ ⁠ . El factor correspondiente ⁠ ⁠ depende de los valores de ⁠ ⁠ y ⁠ ⁠ . Cuando la medida del área se normaliza de modo que el área de la esfera sea ⁠ ⁠ , estos factores son los siguientes. Si ⁠ ⁠ , entonces

Si ⁠ ⁠ y ⁠ ⁠ , y si ⁠ ⁠ denota la función beta , entonces

Si y , entonces​​

Finalmente, si tanto ⁠ ⁠ como ⁠ ⁠ son mayores que uno, entonces

Proyección estereográfica

Así como una esfera bidimensional incrustada en tres dimensiones puede ser mapeada en un plano bidimensional mediante una proyección estereográfica , una ⁠ ⁠ -esfera puede ser mapeada en un hiperplano ⁠ ⁠ -dimensional mediante la versión ⁠ ⁠ -dimensional de la proyección estereográfica. Por ejemplo, el punto ⁠ ⁠ en una esfera bidimensional de radio ⁠ ⁠ se mapea al punto ⁠ ⁠ en el ⁠ ⁠ plano. En otras palabras,

De la misma manera , la proyección estereográfica de una -esfera de radio se asignará al hiperplano de dimensión perpendicular al eje como

Distribuciones de probabilidad

Uniformemente al azar en el( n -1)-esfera

Un conjunto de puntos extraídos de una distribución uniforme en la superficie de una esfera unitaria 2 , generado mediante el algoritmo de Marsaglia.

Para generar puntos aleatorios distribuidos uniformemente en la esfera unitaria ( es decir, la superficie de la bola unitaria ) , Marsaglia (1972) da el siguiente algoritmo.

Generar un vector ⁠ ⁠ -dimensional de desviaciones normales (basta con utilizar ⁠ ⁠ , aunque de hecho la elección de la varianza es arbitraria), ⁠ ⁠ . Ahora calcular el "radio" de este punto:

El vector ⁠ ⁠ se distribuye uniformemente sobre la superficie de la unidad ⁠ ⁠ -bola.

Una alternativa dada por Marsaglia es seleccionar aleatoriamente de manera uniforme un punto ⁠ ⁠ en el cubo unitario n muestreando cada ⁠ ⁠ independientemente de la distribución uniforme sobre ⁠ ⁠ , calculando ⁠ ⁠ como se indicó anteriormente, y rechazando el punto y volviendo a muestrear si ⁠ ⁠ (es decir, si el punto no está en la ⁠ ⁠ -bola), y cuando se obtiene un punto en la bola, escalarlo hasta la superficie esférica por el factor ⁠ ⁠ ; luego, nuevamente , ⁠ ⁠ se distribuye uniformemente sobre la superficie de la ⁠ ⁠ -bola unitaria. Este método se vuelve muy ineficiente para dimensiones superiores, ya que una fracción extremadamente pequeña del cubo unitario está contenida en la esfera. En diez dimensiones, menos del 2% del cubo está lleno por la esfera, por lo que típicamente se necesitarán más de 50 intentos. En setenta dimensiones, se llena menos de una parte del cubo, lo que significa que normalmente se necesitarán un billón de cuatrillones de ensayos, mucho más de lo que una computadora podría llevar a cabo.

Uniformemente al azar dentro delnorte-pelota

Con un punto seleccionado uniformemente al azar de la superficie de la esfera unitaria ( por ejemplo, utilizando el algoritmo de Marsaglia), solo se necesita un radio para obtener un punto uniformemente al azar de dentro de la esfera unitaria . Si⁠ es un número generado uniformemente al azar a partir del intervalo ⁠ ⁠ y ⁠ ⁠ es un punto seleccionado uniformemente al azar de la esfera unitaria , entonces⁠ está distribuido uniformemente dentro de la esfera unitaria .

Alternativamente, los puntos pueden ser muestreados uniformemente desde dentro de la esfera unitaria mediante una reducción desde la esfera unitaria . En particular, si ⁠ ⁠ es un punto seleccionado uniformemente desde la esfera unitaria , entonces⁠ se distribuye uniformemente dentro de la esfera unitaria ( es decir, simplemente descartando dos coordenadas). [5]

Si ⁠ ⁠ es suficientemente grande, la mayor parte del volumen de la ⁠ ⁠ -bola estará contenido en la región muy cercana a 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 dimensionalidad que surge en algunas aplicaciones numéricas y de otro tipo.

Distribución de la primera coordenada

Sea ⁠ ⁠ el cuadrado de la primera coordenada de un punto muestreado uniformemente al azar de la ⁠ ⁠ -esfera, entonces su función de densidad de probabilidad, para , es

Sea la versión escalada apropiadamente, entonces en el límite, la función de densidad de probabilidad de converge a . Esto a veces se denomina distribución de Porter-Thomas. [6]

Esferas específicas

0 -esfera
El par de puntos ⁠ ⁠ con la topología discreta para algún ⁠ ⁠ . La única esfera que no está conexa por trayectorias . Paralelizable .
1 -esfera
Comúnmente llamado círculo . Tiene un grupo fundamental no trivial. Estructura del grupo de Lie abeliano U(1) ; el grupo del círculo . Homeomorfo a la línea proyectiva real .
2- esfera
Comúnmente llamada simplemente esfera . Para su estructura compleja, véase esfera de Riemann . Homeomorfa de la línea proyectiva compleja
3- esfera
Paralelizable, haz principal U(1) sobre la ⁠ ⁠ -esfera, estructura de grupo de Lie Sp(1) .
4- esfera
Homeomorfo a la línea proyectiva cuaterniónica , ⁠ ⁠ . ⁠ ⁠ .
5- esfera
Fibrado principal U (1) sobre el espacio proyectivo complejo ⁠ ⁠ . ⁠ ⁠ . Es indecidible si una variedad ⁠ ⁠ -dimensional dada es homeomorfa a ⁠ ⁠ para ⁠ ⁠ . [7]
6- esfera
Posee una estructura casi compleja que proviene del conjunto de octoniones unitarios puros . ⁠ ⁠ . La cuestión de si tiene una estructura compleja se conoce como el problema de Hopf, en honor a Heinz Hopf . [8]
7- esfera
Estructura topológica de cuasigrupo como el conjunto de octoniones unitarios . Fibrado principal sobre . Paralelizable . . La . La . es de particular interés ya que fue en esta dimensión donde se descubrieron las primeras esferas exóticas .
8- esfera
Homeomorfo a la recta proyectiva octoniónica ⁠ ⁠ .
23 -esfera
Es posible un empaquetamiento de esferas altamente denso en el espacio dimensional , lo que está relacionado con las cualidades únicas de la red Leech .

Esfera octaédrica

La -esfera octaédrica se define de manera similar a la ⁠ ⁠ -esfera pero utilizando la norma 1

En general, toma la forma de un politopo cruzado .

La ⁠ ⁠ -esfera octaédrica es un cuadrado (sin su interior). La ⁠ ⁠ -esfera octaédrica es un octaedro regular ; de ahí el nombre. La ⁠ ⁠ -esfera octaédrica es la unión topológica de ⁠ ⁠ pares de puntos aislados. [9] Intuitivamente, la unión topológica de dos pares se genera dibujando un segmento entre cada punto de un par y cada punto del otro par; esto produce un cuadrado. Para unir esto con un tercer par, dibuja un segmento entre cada punto del cuadrado y cada punto del tercer par; esto da un octaedro.

Véase también

Notas

  1. ^ Formalmente, esta fórmula solo es correcta para ⁠ ⁠ . Para ⁠ ⁠ , se debe omitir la línea que comienza con ⁠ ⁠ , y para ⁠ ⁠ , se debe utilizar la fórmula para coordenadas polares . El caso ⁠ ⁠ se reduce a ⁠ ⁠ . Usando la notación pi mayúscula y la convención usual para el producto vacío , una fórmula válida para ⁠ ⁠ está dada por ⁠ ⁠ y ⁠ ⁠ para ⁠ ⁠ .
  1. ^ James W. Vick (1994). Teoría de la homología , pág. 60. Springer
  2. ^ Smith, David J.; Vamanamurthy, Mavina K. (1989). "¿Qué tan pequeña es una bola unitaria?". Revista de matemáticas . 62 (2): 101–107. doi :10.1080/0025570X.1989.11977419. JSTOR  2690391.
  3. ^ Blumenson, LE (1960). "Una derivación de coordenadas esféricas n-dimensionales". The American Mathematical Monthly . 67 (1): 63–66. doi :10.2307/2308932. JSTOR  2308932.
  4. ^ N. Ja. Vilenkin y AU Klimyk, Representación de grupos de Lie y funciones especiales, vol. 2: Representaciones de clase I, funciones especiales y transformadas integrales , traducido del ruso por VA Groza y AA Groza, Math. Appl., vol. 74, Kluwer Acad. Publ., Dordrecht, 1992, ISBN 0-7923-1492-1 , págs. 223-226. 
  5. ^ Voelker, Aaron R.; Gosmann, Jan; Stewart, Terrence C. (2017). Muestreo eficiente de vectores y coordenadas de la n-esfera y la n-bola (informe). Centro de Neurociencia Teórica. doi :10.13140/RG.2.2.15829.01767/1.
  6. ^ Livan, Giacomo; Novaes, Marcel; Vivo, Pierpaolo (2018), Livan, Giacomo; Novaes, Marcel; Vivo, Pierpaolo (eds.), "One Pager on Eigenvectors", Introducción a las matrices aleatorias: teoría y práctica , SpringerBriefs in Mathematical Physics, Cham: Springer International Publishing, págs. 65-66, doi :10.1007/978-3-319-70885-0_9, ISBN 978-3-319-70885-0, consultado el 19 de mayo de 2023
  7. ^ Stillwell, John (1993), Topología clásica y teoría de grupos combinatorios, Textos de posgrado en matemáticas, vol. 72, Springer, pág. 247, ISBN 9780387979700.
  8. ^ Agricola, Ilka ; Bazzoni, Giovanni; Goertsches, Oliver; Konstantis, Panagiotis; Rollenske, Sönke (2018). "Sobre la historia del problema de Hopf". Geometría diferencial y sus aplicaciones . 57 : 1–9. arXiv : 1708.01068 . doi :10.1016/j.difgeo.2017.10.014. S2CID  119297359.
  9. ^ Meshulam, Roy (1 de enero de 2001). "El complejo de camarillas y la correspondencia de hipergrafos". Combinatorica . 21 (1): 89–94. doi :10.1007/s004930170006. ISSN  1439-6912. S2CID  207006642.

Referencias

Enlaces externos