Гиперсфера

Стереографическая проекция поверхности 3-сферы на трёхмерное пространство. На рисунке изображены три координатных направления на 3-сфере: параллели (красный), меридианы (синий) и гипермеридианы (зелёный). В исходном пространстве эти линии являются окружностями и образуют прямоугольную сетку на 3-сфере. Стереографическая проекция — конформное отображение, поэтому их образы также являются окружностями или прямыми и ортогональны друг другу.

Проекция трёхмерной проекции аппроксимации гиперсферы четырёхмерного пространства

Гиперсфера — гиперповерхность в $n$-мерном евклидовом пространстве, образованная точками, равноудалёнными от заданной точки, называемой центром сферы.

• при $n=1$ гиперсфера вырождается в две точки, равноудалённые от центра;
• при $n=2$ она представляет собой окружность;
• при $n=3$ гиперсфера является сферой.
• при $n=4$ гиперсфера является 3-сферой.

Расстояние от центра гиперсферы до её поверхности называется радиусом гиперсферы. Гиперсфера является $(n-1)$-мерным подмногообразием в $n$-мерном пространстве, все нормали к которому пересекаются в её центре.

Уравнения

Гиперсфера радиуса $R$ с центром в точке $a=\left\{a_{1},a_{2},\dots a_{n}\right\}$ задаётся как геометрическое место точек, удовлетворяющих условию:

$(x_{1}-a_{1})^{2}+(x_{2}-a_{2})^{2}+\cdots +(x_{n}-a_{n})^{2}=R^{2}$

Гиперсферические координаты

Как известно, полярные координаты описываются следующим образом:

$x=\rho \cdot \cos \alpha$

$y=\rho \cdot \sin \alpha$

а сферические координаты так:

$x=\rho \cdot \cos \alpha \cdot \sin \beta$

$y=\rho \cdot \sin \alpha \cdot \sin \beta$

$z=\rho \cdot \cos \beta$

n-мерный шар можно параметризовать следующим набором гиперсферических координат:

$x_{1}=\rho \cdot \sin \alpha _{1}\cdot \sin \alpha _{2}\cdot \dots \cdot \sin \alpha _{n-1}$

$x_{2}=\rho \cdot \cos \alpha _{1}\cdot \sin \alpha _{2}\cdot \dots \cdot \sin \alpha _{n-1}$

$x_{3}=\rho \cdot \cos \alpha _{2}\cdot \sin \alpha _{3}\cdot \dots \cdot \sin \alpha _{n-1}$

$\dots$

$x_{n}=\rho \cdot \cos \alpha _{n-1}$

Якобиан этого преобразования равен

$J=\rho ^{n-1}\sin \,\alpha _{2}\cdot \sin ^{2}\,\alpha _{3}\cdot \dots \cdot \sin ^{n-2}\,\alpha _{n-1}$

Площадь и объём

Площадь поверхности гиперсферы размерности x единичного радиуса в зависимости от x.

Объем гипершара размерности x единичного радиуса в зависимости от x.

Площадь поверхности $S_{n}$ гиперсферы размерности $n$ и объём $V_{n}$, ограниченный ею (объём шара), можно рассчитать по формулам:

$S_{n}=nC_{n}R^{n-1}$

$V_{n}=C_{n}R^{n}\$

где

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

а $\Gamma (x)$ — гамма-функция. Этому выражению можно придать другой вид:

$C_{2k}={\frac {\pi ^{k}}{k!}}$

$C_{2k+1}={\frac {2^{k+1}\pi ^{k}}{(2k+1)!!}}$

Здесь $n!!$ — двойной факториал.

Так как

$V_{n}/S_{n-1}=R/n$

$S_{n+1}/V_{n}=2\pi R$

то объёмы шаров удовлетворяют рекуррентному соотношению

$V_{n}={\frac {2\pi R^{2}}{n}}V_{n-2}$

Следующая таблица показывает, что единичные сфера и шар принимают экстремальный объем для $S_{6}$ и $V_{5}$ соответственно.

Площади и объёмы гиперсфер и гипершаров при единичном радиусе

Размерность	1 (длина)	2 (площадь)	3 (объём)	4	5	6	7	8
Единичная сфера	$2\pi$	$4\pi$	$2\pi ^{2}$	${\frac {8}{3}}\pi ^{2}$	$\pi ^{3}$	${\frac {16}{15}}\pi ^{3}$	${\frac {1}{3}}\pi ^{4}$	${\frac {32}{105}}\pi ^{4}$
Десятичная запись	6.2832	12.5664	19.7392	26.3189	31.0063	33.0734	32.4697	29.6866
Единичный шар	$2$	$\pi$	${\frac {4}{3}}\pi$	${\frac {1}{2}}\pi ^{2}$	${\frac {8}{15}}\pi ^{2}$	${\frac {1}{6}}\pi ^{3}$	${\frac {16}{105}}\pi ^{3}$	${\frac {1}{24}}\pi ^{4}$
Десятичная запись	2.0000	3.1416	4.1888	4.9348	5.2638	5.1677	4.7248	4.0587

Обратите внимание, что в строке "размерность" таблицы содержится размерность поверхности геометрической фигуры, а не размерность пространства, в котором она находится.

Топология гиперсферы

В данном разделе под сферой $S_{n}$ будем понимать n-мерную гиперсферу, под шаром $B_{n}$ — n-мерный гипершар, то есть $S_{n}\hookrightarrow \mathbb {R} ^{n+1}$, $B_{n}\hookrightarrow \mathbb {R} ^{n}$.

• Сфера $S_{n}$ гомеоморфна факторизации шара $B_{n}$ по его границе.
• Шар $B_{n}$ гомеоморфен факторизации $B_{n}\simeq (S_{n-1}\times [0,1])/(S_{n-1}\times \{1\})$.
• Сфера является клеточным пространством. Простейшее клеточное разбиение состоит из двух клеток, гомеоморфных $B_{0}=\mathrm {pt}$ и $B_{n}$. Оно получается напрямую из построения сферы как факторпространства замкнутого шара. Клеточное разбиение также можно построить по индукции, разбивая $S_{n}$ вдоль экватора на две n-мерные клетки, гомеоморфные $B_{n}$, и сферу $S_{n-1}$, являющуюся их общей границей.

См. также

• Расслоение Хопфа

Ссылки

• Гиперсфера (проект d’Amateur). Программы моделирования аппроксимации четырёхмерной гиперсферы и меридианов
• Тренажер для развития воображения гиперсферы: кубик Рубика в 4 и более измерениях