Articulo de referencia

Esfera unitaria

Bola unitaria (roja) y esfera unitaria (azul) para la norma euclidiana en dos dimensiones. En matemáticas , una esfera unitaria es una esfera de radio unitario : el conjunto de ...

Bola unitaria (roja) y esfera unitaria (azul) para la norma euclidiana en dos dimensiones.

En matemáticas , una esfera unitaria es una esfera de radio unitario : el conjunto de puntos a una distancia euclidiana 1 de algún punto central en el espacio tridimensional . Más generalmente, la unidadnorte{\displaystyle n} -esferaes unanorte{\displaystyle n}-esfera deradio unitario en(norte+1){\displaystyle (n+1)}- espacio euclidiano dimensional ;el círculo unitario es un caso especial, la unidad1{\displaystyle 1}-esfera en el plano . Una bola unitaria ( abierta )es la región dentro de una esfera unitaria, el conjunto de puntos a una distancia menor que 1 del centro.

Una esfera unitaria o bola unitaria con centro en el origen del espacio se denomina esfera unitaria (canónica) o bola unitaria (canónica). Cualquier esfera arbitraria puede transformarse en la esfera unitaria mediante una combinación de traslación y escalado , por lo que el estudio de las esferas en general a menudo se reduce al estudio de la esfera unitaria.

La esfera unitaria se usa a menudo como modelo para la geometría esférica porque tiene una curvatura seccional constante de 1, lo que simplifica los cálculos. En trigonometría , la longitud del arco circular en el círculo unitario se llama radianes y se usa para medir la distancia angular ; en trigonometría esférica, el área de la superficie de la esfera unitaria se llama estereorradianes y se usa para medir el ángulo sólido .

En contextos más generales, una esfera unitaria es el conjunto de puntos a distancia 1 de un punto central fijo, donde se pueden utilizar diferentes normas como nociones generales de "distancia", y una bola unitaria (abierta) es la región interior.

Algunas 1-esferas: x2 es la norma para el espacio euclidiano.

Esferas unitarias y bolas en el espacio euclidiano

En el espacio euclidiano de norte{\displaystyle n}dimensiones , el(norte1){\displaystyle (n-1)}La esfera unitaria n -dimensional es el conjunto de todos los puntos(incógnita1,,incógnitanorte){\displaystyle (x_{1},\ldots ,x_{n})}que satisfacen la ecuación incógnita12+incógnita22++incógnitanorte2=1.{\displaystyle x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}=1.}

La unidad abiertanorte{\displaystyle n}-bola es el conjunto de todos los puntos que satisfacen la desigualdadincógnita12+incógnita22++incógnitanorte2<1,{\displaystyle x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}<1,} y unidad cerradanorte{\displaystyle n}-bola es el conjunto de todos los puntos que satisfacen la desigualdad incógnita12+incógnita22++incógnitanorte21.{\displaystyle x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}\leq 1.}

Volumen y área

Gráficas de volúmenes ( V ) y áreas superficiales ( S ) de n -bolas unitarias.

La ecuación clásica de una esfera unitaria es la del elipsoide con radio 1 y sin alteraciones en laincógnita{\displaystyle x}- ,y{\displaystyle y}- , oz{\displaystyle z}- ejes: incógnita2+y2+z2=1{\displaystyle x^{2}+y^{2}+z^{2}=1}

El volumen de la bola unitaria en el sistema euclidianonorte{\displaystyle n}El espacio y el área de la superficie de la esfera unitaria aparecen en muchas fórmulas importantes de análisis . El volumen de la unidadnorte{\displaystyle n}-bola , que denotamosVnorte,{\displaystyle V_{n},}se puede expresar haciendo uso de la función gamma . Es Vnorte=πnorte/2Γ(1+norte/2)={πnorte/2/(norte/2)¡iF norte0 is mivminorte2(2π)(norte1)/2/norte¡¡iF norte0 is odd,{\displaystyle V_{n}={\frac {\pi ^{n/2}}{\Gamma (1+n/2)}}={\begin{casos}{\pi ^{n/2}}/{(n/2)!}&\mathrm {si~} n\geq 0\mathrm {~es~par} \\[6mu]{2(2\pi )^{(n-1)/2}}/{n!!}&\mathrm {si~} n\geq 0\mathrm {~es~impar,} \end{casos}}} dóndenorte¡¡{\displaystyle n!!}es el factorial doble .

El hipervolumen del (norte1){\displaystyle (n-1)}esfera unitaria dimensional ( es decir , el "área" del límite de lanorte{\displaystyle n}bola unitaria -dimensional ), que denotamosAnorte1,{\displaystyle A_{n-1},}puede expresarse como Anorte1=norteVnorte=norteπnorte/2Γ(1+norte/2)=2πnorte/2Γ(norte/2)={2πnorte/2/(norte/21)¡iF norte1 is mivminorte2(2π)(norte1)/2/(norte2)¡¡iF norte1 is odd.{\displaystyle A_{n-1}=nV_{n}={\frac {n\pi ^{n/2}}{\Gamma (1+n/2)}}={\frac {2\pi ^{n/2}}{\Gamma (n/2)}}={\begin{casos}{2\pi ^{n/2}}/{(n/2-1)!}&\mathrm {si~} n\geq 1\mathrm {~es~par} \\[6mu]{2(2\pi )^{(n-1)/2}}/{(n-2)!!}&\mathrm {si~} n\geq 1\mathrm {~es~impar.} \end{casos}}} Por ejemplo,A0=2{\displaystyle A_{0}=2}es el "área" del límite de la bola unitaria[1,1]R{\displaystyle [-1,1]\subset \mathbb {R} }, que simplemente cuenta los dos puntos. EntoncesA1=2π{\displaystyle A_{1}=2\pi }es el "área" del límite del disco unitario, que es la circunferencia del círculo unitario.A2=4π{\displaystyle A_{2}=4\pi }es el área del límite de la bola unitaria{incógnitaR3:incógnita12+incógnita22+incógnita321}{\displaystyle \{x\in \mathbb {R} ^{3}:x_{1}^{2}+x_{2}^{2}+x_{3}^{2}\leq 1\}}, que es el área de la superficie de la esfera unitaria{incógnitaR3:incógnita12+incógnita22+incógnita32=1}{\displaystyle \{x\in \mathbb {R} ^{3}:x_{1}^{2}+x_{2}^{2}+x_{3}^{2}=1\}}.

Las áreas de superficie y los volúmenes para algunos valores de norte{\displaystyle n}son los siguientes :

donde los valores expandidos decimales paranorte2{\displaystyle n\geq 2}se redondean a la precisión indicada.

Recursión

ElAnorte{\displaystyle A_{n}}Los valores satisfacen la recursión: A0=2{\displaystyle A_{0}=2}A1=2π{\displaystyle A_{1}=2\pi }Anorte=2πnorte1Anorte2{\displaystyle A_{n}={\frac {2\pi }{n-1}}A_{n-2}}paranorte>1{\displaystyle n>1} .

ElVnorte{\displaystyle V_{n}}Los valores satisfacen la recursión: V0=1{\displaystyle V_{0}=1}V1=2{\displaystyle V_{1}=2}Vnorte=2πnorteVnorte2{\displaystyle V_{n}={\frac {2\pi }{n}}V_{n-2}}paranorte>1{\displaystyle n>1} .

Dimensiones reales no negativas

El valor2norteVnorte=πnorte/2/2norteΓ(1+12norte){\textstyle 2^{-n}V_{n}=\pi ^{n/2}{\big /}\,2^{n}\Gamma {\bigl (}1+{\tfrac {1}{2}}n{\bigr )}}en valores reales no negativos de norte{\displaystyle n}A veces se utiliza para la normalización de la medida de Hausdorff. [ 1 ] [ 2 ]

Otros radios

El área de superficie de un (norte1){\displaystyle (n-1)}-esfera con radior{\displaystyle r}esAnorte1rnorte1{\displaystyle A_{n-1}r^{n-1}}y el volumen de un norte{\displaystyle n}-bola con radior{\displaystyle r}esVnorternorte.{\displaystyle V_{n}r^{n}.} Por ejemplo, el área esA2=4πr2{\displaystyle A_{2}=4\pi r^{2}}para la superficie bidimensional de la bola tridimensional de radior.{\displaystyle r.} El volumen esV3=43πr3{\displaystyle V_{3}={\tfrac {4}{3}}\pi r^{3}}para la bola tridimensional de radio  r{\displaystyle r} .

Bolas unitarias en espacios vectoriales normados

La bola unitaria abierta de un espacio vectorial normadoV{\displaystyle V}con la norma{\displaystyle \|\cdot \|}es dado por {incógnitaV:incógnita<1}{\displaystyle \{x\in V:\|x\|<1\}}

Es el interior topológico de la bola unitaria cerrada de(V,):{\displaystyle (V,\|\cdot \|)\colon }{incógnitaV:incógnita1}{\displaystyle \{x\in V:\|x\|\leq 1\}}

Esta última es la unión disjunta de la primera y su frontera común, la esfera unitaria de(V,):{\displaystyle (V,\|\cdot \|)\colon }{incógnitaV:incógnita=1}{\displaystyle \{x\in V:\|x\|=1\}}

La "forma" de la bola unitaria depende completamente de la norma elegida; bien puede tener "esquinas" y, por ejemplo, puede parecerse a[1,1]norte{\displaystyle [-1,1]^{n}}en el caso de la norma máxima en Rnorte{\displaystyle \mathbb {R} ^{n}} . Se obtiene una bola naturalmente redonda como la bola unitaria perteneciente a la norma usual del espacio de Hilbert , basada en el caso de dimensión finita en la distancia euclidiana ; su frontera es lo que usualmente se entiende por esfera unitaria .

Dejar incógnita=(incógnita1,...incógnitanorte)Rnorte.{\displaystyle x=(x_{1},...x_{n})\in \mathbb {R} ^{n}.}Defina lo habitualpag{\displaystyle \ell _{p}}-norma parapag1{\displaystyle p\geq 1}como: incógnitapag=(k=1norte|incógnitak|pag)1/pag{\displaystyle \|x\|_{p}={\biggl (}\sum _{k=1}^{n}|x_{k}|^{p}{\biggr )}^{1/p}}

Entoncesincógnita2{\displaystyle \|x\|_{2}}es la norma habitual del espacio de Hilbert . incógnita1{\displaystyle \|x\|_{1}}se denomina norma de Hamming, o1{\displaystyle \ell _{1}}-norma . La condiciónpag1{\displaystyle p\geq 1}es necesario en la definición de lapag{\displaystyle \ell _{p}}norma, ya que la bola unitaria en cualquier espacio normado debe ser convexa como consecuencia de la desigualdad triangular . Seaincógnita{\displaystyle \|x\|_{\infty }}denota la norma máxima o{\displaystyle \ell _{\infty }}-norma deincógnita{\displaystyle x} .

Tenga en cuenta que para las circunferencias unidimensionalesdopag{\displaystyle C_{p}}De las bolas unitarias bidimensionales, tenemos: do1=42{\displaystyle C_{1}=4{\sqrt {2}}}es el valor mínimo. do2=2π{\displaystyle C_{2}=2\pi }do=8{\displaystyle C_{\infty }=8}es el valor máximo.

Generalizaciones

Espacios métricos

Las tres definiciones anteriores pueden generalizarse fácilmente a un espacio métrico con respecto a un origen elegido. Sin embargo, las consideraciones topológicas (interior, cierre, frontera) no tienen por qué aplicarse de la misma manera (por ejemplo, en espacios ultramétricos , los tres son simultáneamente conjuntos abiertos y cerrados), e incluso la esfera unitaria puede estar vacía en algunos espacios métricos.

Formas cuadráticas

SiV{\displaystyle V}es un espacio lineal con una forma cuadrática realF:VR,{\displaystyle F:V\to \mathbb {R} ,}entonces{pagV:F(pag)=1}{\displaystyle \{p\in V:F(p)=1\}}puede denominarse esfera unitaria [ 3 ] [ 4 ] o cuasi-esfera unitaria deV.{\displaystyle V.}Por ejemplo, la forma cuadráticaincógnita2y2{\displaystyle x^{2}-y^{2}}Cuando se iguala a uno, produce la hipérbola unitaria , que desempeña el papel del "círculo unitario" en el plano de los números complejos divididos . De manera similar, la forma cuadráticaincógnita2{\displaystyle x^{2}}produce un par de líneas para la esfera unitaria en el plano numérico dual .

Véase también

Notas y referencias

  1. Universidad China de Hong Kong, Matemáticas 5011, Capítulo 3, Medidas de Lebesgue y Hausdorff
  2. Manin, Yuri I. (2006). "La noción de dimensión en geometría y álgebra" (PDF) . Boletín de la Sociedad Matemática Americana . 43 (2): 139– 161. doi : 10.1090/S0273-0979-06-01081-0 . Recuperado el 17 de diciembre de 2021 .
  3. Takashi Ono (1994) Variaciones sobre un tema de Euler: formas cuadráticas, curvas elípticas y mapas de Hopf , capítulo 5: Mapas esféricos cuadráticos, página 165, Plenum Press , ISBN 0-306-44789-4
  4. F. Reese Harvey (1990) Spinors and calibrations , "Generalized Spheres", página 42, Academic Press , ISBN 0-12-329650-1
  • Mahlon M. Day (1958) Espacios lineales normados , página 24, Springer-Verlag .
  • Deza, E .; Deza, M. (2006), Diccionario de distancias , Elsevier, ISBN 0-444-52087-2Reseñado en Newsletter of the European Mathematical Society 64 (junio de 2007) , pág.  57. Este libro está organizado como una lista de distancias de muchos tipos, cada una con una breve descripción.