8 votos

¿Por qué el volumen de una hiperesfera disminuye en dimensiones superiores?

En primer lugar, definamos un $n$ -como la esfera euclidiana en $\mathbb{R}^n$ incluyendo su interior y su superficie donde $n$ se refiere al número de coordenadas necesarias para describir el objeto (la notación geométrica), NO la notación topológica que se refiere a la dimensión del colector. Todos los $n$ -Las bolas consideradas aquí son de radio 1 centradas en el origen. Por lo tanto, un $n$ -el balón es el conjunto de puntos

$$\{x=(x_1,x_2,...,x_n)\in \mathbb{R}^n : \sum_{i=1}^n x_i^2 \leq 1\}.$$

Es bien sabido que el volumen de la unidad $n$ -es dada por

$$V(n)=\frac{\pi^{n/2}}{\Gamma(\frac{n}{2}+1)}$$

y antes de que alguien lo señale, consideraremos que todos los volúmenes son sin unidad para poder compararlos entre sí. Así, por ejemplo

$$\pi=V(2)<V(3)=\frac{4}{3}\pi.$$

Ahora, mi pregunta es por qué $V(n)\rightarrow 0$ como $n\rightarrow\infty$ ? Este comportamiento es independiente del radio. Dependiendo del radio, $V(n)$ puede (o no) aumentar al principio, alcanzar un pico en algún $n$ y luego disminuye monotónicamente y converge a cero. Considerando $n\in\mathbb{N}$ para tomar sólo valores discretos, para la unidad $n$ -bola, el volumen máximo se alcanza a $n=5$ .

He leído todo lo que he podido encontrar (aquí/wikipedia y otros lugares) y sí veo que el $n$ -la bola ocupa una porción cada vez más pequeña del cubo circunscrito $[-1,1]^n$ y he visto los argumentos de que se debería utilizar el diámetro como cantidad fundamental en lugar del radio. De esta manera, el volumen disminuye monotónicamente hasta llegar a cero para todo $n$ al menos para la bola de la unidad. También veo la razón analítica por la que la función converge a cero. La función gamma en el denominador crece mucho más rápido que el numerador y finalmente toda la fracción converge a cero aunque el radio sea un googol.

Pero mi pregunta es, intuitivamente hablando (como si la intuición fuera una buena guía en dimensiones superiores), $V(n)$ debe ser monótonamente creciente o, al menos, no decreciente. Tal y como yo lo veo, una bola 2 está contenida en una bola 3 y una bola 2 puede girar en $\mathbb{R}^3$ para crear una bola 3. Del mismo modo, se puede girar cualquier $(n-1)$ -bola en $\mathbb{R}^n$ alrededor del eje correspondiente para crear un $n$ - bola. Sé que cualquier $(n-1)$ -bola en $\mathbb{R}^n$ tiene medida de Lebesgue cero pero dentro de cualquier $n$ -bola, un $(n-1)$ -La bola puede girar alrededor de cualquiera de los $n$ ejes para que $V(n)$ debe ser mayor que $V(n-1)$ . Este "argumento" concreto no se ha tratado en ninguna de las preguntas anteriores que he podido encontrar.

¿Alguna interpretación geométrica de lo que ocurre? Puntos extra para algo intuitivo y/o ejemplos de 1-2-3 dimensiones para mostrarme la falacia de mi argumento. Gracias.


Adenda: He visto este hilo (e incluso este y muchos otros en stack exchange y math overflow) y como dije, no abordan mi argumento presentado en esta pregunta. Sí mencionan otros argumentos como la comparación con el cubo circunscrito o mirar analíticamente la fracción para ver por qué llega a cero. Pero esos ya los conozco... concretamente leyendo estos mismos hilos.

3voto

njguliyev Puntos 12471

Creo que este es uno de los mejores ejemplos que demuestran que no debemos confiar demasiado en nuestra intuición (geométrica de baja dimensión). El libro de texto "Mathematical analysis" de Kudryavtsev contiene otro:

El $n$ -El cubo unitario pertenece a la $n$ -bola unitaria de dimensiones sólo para $n=1,2,3,4$ .

1voto

Simon D Puntos 1414

El límite superior de una esfera debe estar contenido en un volumen de $(2\pi r^2)^n$ para $2n$ pero el denominador aumenta con el factorial, porque es una especie de prisma sobre una base, así que el denominador está aquí $2 n$ por pasar de $n-1$ a $n$ .

Dado que en última instancia el aumento es $2\pi$ en dos dimensiones, pero disminuye en $2n$ sobre 2 dimensiones, el valor de $2n > 2\pi$ ocurre en n=3,5 o 4 (para N=7 y N=8). A partir de ahí, el denominador se expande más rápido que el numerador, sin límite.

Aunque sólo está relacionado de forma imprecisa, considere el empaquetamiento de cubos, que llena todo el espacio, frente al empaquetamiento de esferas. El empaquetamiento máximo de esferas supone que todos los agujeros tienen forma simple. Esto significa que si se tiene un empaquetamiento de esferas de radio unitario, no hay más de $n+1$ esferas-sectores en un simplex de borde $2$ .

No es fácil calcular la porción de la esfera en el sector, pero sale como $s/n!$ , donde $1 < s < \sqrt{n/4}$ . El volumen de un simplex de borde $2$ es $\sqrt{2^n/(n+1)}/n!$ por lo que las esferas ocupan una parte cada vez menor del espacio, incluso con el empaquetamiento más apretado, es decir $s \sqrt{(n+1)/2^n}$ del espacio.

El famoso $E_8$ celosía, por ejemplo, el empaquetamiento más denso en ocho dimensiones, las esferas ocupan $1/3.98$ del espacio.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X