Como es bien sabido, el espacio que nos rodea es un espacio tridimensional dotado de una métrica euclídea. Ya sabéis, eso de que la distancia más corta entre dos puntos es la recta que los une. Matemáticamente a un espacio de estas características le decimos con la métrica (distanca entre dos puntos) . Esto no es difícil de generalizar a dimensión arbitraria. Tomaremos pues como un espacio dimensional con la métrica euclídea . Dentro de este espacio tendremos diversas variedades de dimensión menor o igual que (planos, rectas, esferas, cubos,...). La esfera de , también llamada circunferencia, y la de son conocidas. Su definición es simple: Fijado un centro (que por simplicidad tomaremos el origen de coordenadas) y una constante a la que llamaremos radio, buscamos la superficie tal que la distancia del origen a la superficie sea constante e igual a . En con la distancia euclídea antes definida obtenemos que esta superficie es . Observad que no es un objeto sólido, sino tan solo la superficie que la recubre (el 2 indica la dimensión de la variedad, que será 1 menos que el espacio en el que está). Permitidme generalizar el concepto de volumen como el espacio encerrado por una esfera . Así, llamaré volumen de la esfera al área del círculo, que vale , mientras que el volumen de la esfera tridimensional es .
Antes de entrar en materia, vamos a jugar a un juego. Supongamos una circunferencia de radio , la cual vamos a circunscribir dentro de un cuadrado de lado unidad. El área del círculo es mientras que el área del cuadrado que la circunscribe vale . Es decir, que de todo el área del cuadrado, la proporción de área que le corresponde al círculo es . Nos preguntamos si esta proporción se mantiene constante para . Ahora tenemos una esfera de radio de nuevo circunscrita en un cubo de lado unidad. Como el volumen del cubo sigue valiendo uno, la proporción entre el volumen de la esfera y el cubo será igual a . ¿¡Ha disminuido!? Pues en efecto sí, al aumentar en uno la dimensión ha disminuido la proporción que ocupa una esfera en el cubo unidad. El objetivo de este artículo será ver si esa tendencia es general al aumentar las dimensiones.

Para empezar el estudio necesitaremos la fórmula del volumen de la esfera de , también llamada hiperesfera. Por generalización tenemos que la hiperesfera es . Ahora bien, por simple análisis dimensional sabemos que , donde es una constante a determinar. Sea la región . Se tiene que
Este volumen podemos pensarlo también como la suma de las infinitas áreas de las cortezas esféricas de radio , con . Es decir,
Y por el teorema fundamental del cálculo se tiene
Por tanto la expresión del volumen de la hiperesfera se puede expresar como
En realidad, la expresión de la izquierda y la de la derecha son la misma expresada en las coordenadas cartesianas e (hiper)esféricas, respectivamente. Sabemos que el diferencial de volumen en las coordenadas esféricas de es . En general, para coordenadas hiperesféricas podemos escribir este diferencial de volumen como , donde contiene las variables angulares. Sustituyendo en la relación anterior tenemos
Y por simple comparativa nos queda que

Si explicitásemos podríamos calcular , pero es una tarea muy tediosa. Para simplificarlo, fijémonos en el siguiente resultado: Si es una función expresada en coordenadas cartesianas y esféricas, respectivamente, tenemos que

Y esto es válido para cualquier función. En particular tomando la función , la cual no depende de variables angulares en coordenadas esféricas, obtenemos


Y como las siguientes integrales valen

Siendo la función gamma. Basta sustituirlas en la ecuación y obtenemos
Donde hemos utilizado la propiedad de la función Gamma . Finalmente llegamos a que el volumen de la hiperesfera es
Se deja como ejercicio para el lector sustituir los valores y y comprobar que se obtienen los valores esperados. Podemos evitar trabajar con la función , ya que los argumentos de la misma solo son valores naturales y seminaturales.
Utilizando las propiedades de la función (que no se demostrarán)

Siendo la función doble factorial que para un número impar vale . Así, tenemos que el volumen de la hiperesfera vale
Si es par:
Si es impar:
El límite de la sucesión . No es difícil demostrarlo, pero se puede intuir viendo que en el numerador se va multiplicando por una constante () conforme crece la mientras que en el denominador se va multiplicando cada vez por un número más grande. Del mismo modo, sabiendo que la función Gamma es una generalización de la función discreta factorial, se puede demostrar que . Por tanto se tiene que
Por sorprendente que parezca, el volumen de las hiperesferas tiende a cero cuando aumentamos la dimensión. Esto se entiende visualmente como que la proporción entre el volumen de la hiperesfera y el volumen del hipercubo que la inscribe es cada vez más pequeña, tal y como mostraba la tendencia para los casos particulares de dimensión 2 y 3. En efecto, dada una esfera de radio , el hipercubo que la inscribe tendrá lado y volumen , por lo que el cociente de volúmenes valdrá
[Error LaTeX: Compilación LaTeX fallida] Que claramente tiende a 0 cuando . Además, tiende a cero muy rápidamente. Para este cociente vale , lo cual quiere decir que la 6-esfera ocupa un del 6-cubo más pequeño que la contiene. Para pasa a ser el .
Supongo que estaréis pensando que hablar de 10-esferas es una abstracción de matemático. No obstante, en física tiene cierta utilidad. No hace falta irse a teorías de cuerdas ni nada, lo tenemos en la física clásica. En la formulación de la mecánica teórica/lagrangiana se define el llamado espacio de fases, donde dado unas coordenadas generalizadas y sus momentos , cada eje será una de estas coordenadas. Es decir, que dado un sistema con N grados de libertad el espacio fásico será (isomorfo a) . ¿Y donde aparecen las hiperesferas? Pues cuando un Hamiltoniano tiene una dependencia cuadrática con las coordenadas y/o momentos generalizados, que ocurre en multitud de sistemas físicos. Os invito a calcular el volumen de una N-esfera en el espacio de fases cuando N sea del orden del número de Avogadro. ¡Suerte!