Стереографическая проекция отображает n -сферу на n -пространство с единственной присоединенной точкой, находящейся на бесконечности ; согласно определенной таким образом метрике , является моделью n -сферы.
В более общем понимании топологии любое топологическое пространство , гомеоморфное единичной n - сфере, называется n - сферой . При обратной стереографической проекции n -сфера представляет собой одноточечную компактификацию n -пространства . n -сферы допускают несколько других топологических описаний: например, их можно построить, склеив вместе два n -мерных пространства, отождествив границу n -куба с точкой или (индуктивно) образовав надстройку ( n − 1) -сфера. При n ≥ 2 он односвязен ; 1 - сфера (круг) не является односвязной; 0 -сфера даже не связна и состоит из двух дискретных точек .
Описание
Для любого натурального числа n n - сфера радиуса r определяется как набор точек в ( n + 1) -мерном евклидовом пространстве , которые находятся на расстоянии r от некоторой фиксированной точки c , где r может быть любым положительным действительным числом и где c может быть любой точкой в ( n + 1) -мерном пространстве. В частности:
0-сфера — это пара точек { c − r , c + r } и граница отрезка прямой (1-шар).
1 -сфера представляет собой круг радиуса r с центром в точке c и является границей диска (2-шара).
2 -сфера — это обычная 2-мерная сфера в 3-мерном евклидовом пространстве и граница обычного шара (3-шара).
3-сфера — это 3-мерная сфера в 4-мерном евклидовом пространстве.
Декартовы координаты
Набор точек в ( n + 1) -пространстве ( x 1 , x 2 , ..., x n +1 ) , которые определяют n -сферу, S n ( r ) , представлен уравнением:
где c = ( c 1 , c 2 , ..., c n +1 ) — центральная точка, а r — радиус.
Вышеупомянутая n -сфера существует в ( n + 1) -мерном евклидовом пространстве и является примером n - многообразия . Форма объема ω n -сферы радиуса r определяется выражением
где – оператор звезды Ходжа ; см. Flanders (1989, §6.1) для обсуждения и доказательства этой формулы в случае r = 1 . Как результат,
н -шар
Пространство, окруженное n -сферой , называется ( n +1) -шаром . ( n + 1) -шар закрыт, если он включает в себя n -сферу, и открыт, если он не содержит n -сферы.
Конкретно:
1- шар , отрезок прямой , является внутренней частью 0-сферы.
2- шар , диск — это внутренняя часть круга (1-сферы).
3- шар , обычный шар , является внутренней частью сферы (2-сферы).
Топологически n - сфера может быть построена как одноточечная компактификация n -мерного евклидова пространства . Вкратце, n -сферу можно описать как S n = ℝ n ∪ {∞} , которая представляет собой n -мерное евклидово пространство плюс единственная точка, представляющая бесконечность во всех направлениях. В частности, если из n -сферы удалить одну точку , она станет гомеоморфной ℝ n . Это формирует основу для стереографической проекции . [1]
Объем и площадь
Пусть S n −1 — площадь поверхности единичной ( n − 1) -сферы радиуса 1 , вложенной в n -мерное евклидово пространство, и пусть V n — объем ее внутренней части, единичного n -шара. Площадь поверхности произвольной ( n - 1) -сферы пропорциональна ( n - 1) -й степени радиуса, а объем произвольного n - шара пропорционален n- й степени радиуса.
0 - шар иногда определяют как одну точку. 0 -мерная мера Хаусдорфа — это количество точек в множестве. Так
Единичный 1 -шар — это отрезок прямой, точки которого имеют одну координату в интервале [−1, 1] длины 2, а 0 -сфера состоит из двух его конечных точек с координатой {−1, 1} .
Единичная 1-сфера — это единичный круг в евклидовой плоскости, а ее внутренняя часть — единичный диск (2-шар).
При стремлении n к бесконечности объём единичного n -шара (отношение объёма n -шара радиуса 1 и n -куба с длиной стороны 1 ) стремится к нулю. [2]
Рецидивы
Площадь поверхности или, собственно, n -мерный объём n -сферы на границе ( n + 1) -шара радиуса R связана с объёмом шара дифференциальным уравнением
Эквивалентно, представляя единицу n -шара как объединение концентрических ( n - 1) -сферных оболочек ,
Мы также можем представить единичную ( n + 2) -сферу как объединение произведений круга (1-сферы) с n -сферой. Тогда поскольку S 1 = 2π V 0 , уравнение
справедливо для всех n . Наряду с базовыми случаями, рассмотренными выше, эти рекурренты можно использовать для вычисления площади поверхности любой сферы или объема любого шара.
Сферические координаты
Мы можем определить систему координат в n -мерном евклидовом пространстве, которая аналогична сферической системе координат , определенной для трехмерного евклидова пространства, в которой координаты состоят из радиальной координаты r и n - 1 угловых координат φ 1 , φ. 2 , ..., φ n −1 , где углы φ 1 , φ 2 , ..., φ n −2 варьируются в пределах [0, π] радиан (или более [0, 180] градусов) и φ n − 1 варьируется в пределах [0, 2π) радиан (или более [0, 360) градусов). Если x i - декартовы координаты, то мы можем вычислить x 1 , ..., x n по r , φ 1 , ..., φ n −1 с помощью: [3]
За исключением особых случаев, описанных ниже, обратное преобразование уникально:
Есть некоторые особые случаи, когда обратное преобразование не уникально; φ k для любого k будет неоднозначным, если все x k , x k +1 , ... x n равны нулю; в этом случае φ k можно выбрать равным нулю. (Например, для 2 -сферы, когда полярный угол равен 0 или π , то точка является одним из полюсов, зенитом или надиром, и выбор азимутального угла произволен.)
Сферические элементы объема и площади
Чтобы выразить элемент объема n -мерного евклидова пространства через сферические координаты, пусть и для краткости, заметим, что матрица Якоби преобразования равна:
Определитель этой матрицы можно вычислить по индукции. Когда n = 2 , простые вычисления показывают, что определителем является r . Для больших n заметим, что J n можно построить из J n −1 следующим образом. За исключением столбца n , строки n −1 и n строки Jn такие же, как строка n −1 таблицы Jn − 1 , но умножаются на дополнительный коэффициент cos φn − 1 в строке n − 1 и дополнительный коэффициент грех φ n −1 в строке n . В столбце n строки n - 1 и n строки J n такие же, как столбец n - 1 строки n - 1 таблицы J n -1 , но умножаются на дополнительные множители sin φ n -1 в строке n - 1 и cos φ n −1 в строке n соответственно. Определитель J n можно рассчитать с помощью разложения Лапласа в последнем столбце. Согласно рекурсивному описанию J n подматрица, образованная удалением записи в позиции ( n − 1, n ), а также ее строки и столбца, почти равна J n −1 , за исключением того, что ее последняя строка умножается на sin φ n −1 . Аналогично, подматрица, образованная удалением записи в позиции ( n , n ) , а также ее строки и столбца, почти равна J n −1 , за исключением того, что ее последняя строка умножается на cos φ n −1 . Поэтому определитель J n равен
Тогда индукция дает замкнутое выражение для элемента объема в сферических координатах.
Отсюда путем интегрирования можно вывести формулу объема n -шара.
Аналогично элемент площади поверхности ( n - 1) -сферы радиуса R , который обобщает элемент площади 2-сферы, определяется выражением
Естественный выбор ортогонального базиса по угловым координатам представляет собой произведение ультрасферических полиномов ,
для j = 1, 2, ..., n − 2 , а e равно φ j для угла j = n − 1 в соответствии со сферическими гармониками .
Полисферические координаты
Стандартная сферическая система координат возникает из записи ℝ n как произведения ℝ × ℝ n −1 . Эти два фактора можно связать с помощью полярных координат. Для каждой точки x из ℝ n стандартные декартовы координаты
можно преобразовать в смешанную полярно-декартову систему координат:
Это говорит о том, что точки в ℝ n можно выразить, взяв луч, начинающийся в начале координат и проходящий через , повернув его в сторону и пройдя определенное расстояние вдоль луча. Повторение этого разложения в конечном итоге приводит к стандартной сферической системе координат.
Полисферические системы координат возникают в результате обобщения этой конструкции. [4] Пространство ℝ n разбивается на произведение двух евклидовых пространств меньшей размерности, но ни одно из них не обязательно должно быть линией. В частности, предположим, что p и q — положительные целые числа такие, что n = p + q . Тогда ℝ n = ℝ p × ℝ q . Используя это разложение, точку x ∈ ℝ n можно записать как
Ее можно преобразовать в смешанную полярно-декартову систему координат, написав:
Здесь и — единичные векторы, связанные с y и z . Это выражает x через , , r ≥ 0 и угол θ . Можно показать, что областью определения θ является [0, 2π) , если p = q = 1 , [0, π], если ровно одно из p и q равно 1, и [0, π/2] , если ни p , ни q равны 1. Обратное преобразование
Эти разделения могут повторяться до тех пор, пока один из задействованных факторов имеет размерность два или больше. Полисферическая система координат является результатом повторения этих расщеплений до тех пор, пока не останутся декартовы координаты. Расщепления после первого не требуют радиальной координаты, поскольку области и являются сферами, поэтому координатами полисферической системы координат являются неотрицательный радиус и n - 1 углов. Возможные полисферические системы координат соответствуют двоичным деревьям с n листьями. Каждый нелистовой узел дерева соответствует разбиению и определяет угловую координату. Например, корень дерева представляет ℝ n , а его непосредственные дочерние элементы представляют первое разбиение на ℝ p и ℝ q . Листовые узлы соответствуют декартовым координатам для S n -1 . Формулы преобразования полисферических координат в декартовы координаты можно определить путем нахождения путей от корня к листовым узлам. Эти формулы представляют собой произведения с одним множителем для каждой ветви пути. Для узла, чья соответствующая угловая координата равна θ i , выбор левой ветви вводит коэффициент sin θ i , а переход правой ветви вводит коэффициент cos θ i . Обратное преобразование из полисферических координат в декартовы координаты определяется группировкой узлов. Каждую пару узлов, имеющих общего родителя, можно преобразовать из смешанной полярно-декартовой системы координат в декартову систему координат, используя приведенные выше формулы разделения.
Полисферические координаты также имеют интерпретацию в терминах специальной ортогональной группы . Расщепление ℝ n = ℝ p × ℝ q определяет подгруппу
Это подгруппа, в которой каждый из двух факторов остается фиксированным. Выбор набора представителей смежного класса для частного аналогичен выбору репрезентативных углов для этого шага разложения полисферических координат.
В полисферических координатах мера объема на ℝ n и мера площади на S n -1 являются произведениями. Для каждого угла имеется один коэффициент, а мера объема на ℝ n также имеет коэффициент для радиальной координаты. Мера площади имеет вид:
где факторы F i определяются деревом. Аналогично, мера объема равна
Предположим, у нас есть узел дерева, соответствующий разложению ℝ n 1 + n 2 = ℝ n 1 × ℝ n 2 и имеющий угловую координату θ . Соответствующий коэффициент F зависит от значений n 1 и n 2 . Когда мера площади нормализована так, что площадь сферы равна 1, эти факторы выглядят следующим образом. Если n 1 = n 2 = 1 , то
Если n 1 > 1 и n 2 = 1 , и если B обозначает бета-функцию , то
Если n 1 = 1 и n 2 > 1 , то
Наконец, если оба n 1 и n 2 больше единицы, то
Стереографическая проекция
Точно так же, как двумерная сфера, заключенная в трех измерениях, может быть отображена на двумерную плоскость с помощью стереографической проекции , n -сфера может быть отображена на n -мерную гиперплоскость с помощью n -мерной версии стереографической проекции. Например, точка [ x , y , z ] на двумерной сфере радиуса 1 отображается в точку [Икс/1 - я,й/1 - я] на плоскости xy . Другими словами,
Аналогично, стереографическая проекция n -сферы S n радиуса 1 будет отображаться в ( n - 1) -мерную гиперплоскость ℝ n -1 , перпендикулярную оси x n , как
Распределения вероятностей
Равномерно случайным образом на ( n − 1) -сфере
Для генерации равномерно распределенных случайных точек на единичной ( n - 1) -сфере (то есть на поверхности единичного n -шара) Марсалья (1972) предлагает следующий алгоритм.
Сгенерировать n -мерный вектор нормальных отклонений (достаточно использовать N(0, 1) , хотя на самом деле выбор дисперсии произволен), x = ( x 1 , x 2 , ..., x n ) . Теперь вычислим «радиус» этой точки:
Вектор1/рx равномерно распределен по поверхности единичного n -шара.
Альтернатива, предложенная Марсальей, состоит в том, чтобы равномерно случайным образом выбрать точку x = ( x 1 , x 2 , ..., x n ) в единичном n -кубе путем выборки каждого x i независимо от равномерного распределения по (–1, 1 ) , вычисление r, как указано выше, и отклонение точки и повторная выборка, если r ≥ 1 (т. е. если точка не находится в n -шаре), и когда точка в шаре получена, масштабируя ее до сферической поверхности с помощью фактор1/р; затем снова1/рx равномерно распределен по поверхности единичного n -шара. Этот метод становится очень неэффективным для более высоких измерений, поскольку в сфере содержится исчезающе малая часть единичного куба. В десяти измерениях сферой заполнено менее 2% куба, поэтому обычно требуется более 50 попыток. В семидесяти измерениях заполнено меньшекуба, а это означает, что обычно потребуется триллион квадриллионов испытаний, что намного больше, чем компьютер мог бы когда-либо выполнить.
Равномерно случайным образом внутри n -шара
Если точка выбрана равномерно случайным образом с поверхности единичной ( n - 1) -сферы (например, с помощью алгоритма Марсальи), то нужен только радиус, чтобы получить точку равномерно случайным образом изнутри единичного n -шара. Если u — число, равномерно сгенерированное случайным образом из интервала [0, 1], а x — точка, равномерно выбранная случайным образом из единичной ( n − 1) -сферы, то u 1/ n x равномерно распределено внутри единицы n -мяч.
Альтернативно, точки могут быть выбраны равномерно из единичного n -шара путем сокращения из единичной ( n + 1) -сферы. В частности, если ( x 1 , x 2 , ..., x n +2 ) — точка, равномерно выбранная из единичной ( n + 1) -сферы, то ( x 1 , x 2 , ..., x n ) равномерно распределяется внутри единичного n -шара (т.е. путем простого отбрасывания двух координат). [5]
Если n достаточно велико, большая часть объема n -шара будет находиться в области, очень близкой к его поверхности, поэтому точка, выбранная из этого объема, вероятно, также будет находиться близко к поверхности. Это одно из явлений, приводящее к так называемому проклятию размерности , возникающему в некоторых численных и других приложениях.
Распределение первой координаты
Пусть будет квадратом первой координаты точки, равномерно выбранной случайным образом из (n-1)-сферы, тогда ее функция плотности вероятности для , равна
Пусть это соответствующим образом масштабированная версия, тогда в пределе функция плотности вероятности сходится к . Иногда это называют распределением Портера-Томаса. [6]
Обычно называют кругом . Имеет нетривиальную фундаментальную группу. Структура абелевой группы Ли U(1) ; группа круга . Гомеоморфна вещественной проективной прямой .
Топологическая квазигрупповая структура как совокупность единичных октонионов . Главное Sp(1) -расслоение над S 4 . Параллелизуемый. SO(8)/SO(7) = SU(4)/SU(3) = Sp(2)/Sp(1) = Spin(7)/ G2 = Spin(6)/SU(3) . Особый интерес представляет 7-сфера, поскольку именно в этом измерении были открыты первые экзотические сферы .
8-сфера
Гомеоморфна октонионной проективной прямой O P 1 .
Октаэдрическая n -сфера определяется аналогично n -сфере, но с использованием 1-нормы .
В общем случае он принимает форму перекрестного многогранника .
Октаэдрическая 1-сфера представляет собой квадрат (без внутренней части). Октаэдрическая 2-сфера представляет собой правильный октаэдр ; отсюда и название. Октаэдрическая n -сфера представляет собой топологическое соединение n + 1 пар изолированных точек. [9] Интуитивно понятно, что топологическое соединение двух пар создается путем рисования сегмента между каждой точкой одной пары и каждой точкой другой пары; это дает квадрат. Чтобы соединить это с третьей парой, нарисуйте отрезок между каждой точкой квадрата и каждой точкой третьей пары; это дает октаэдр.
Смотрите также
Конформная геометрия - Исследование преобразований геометрического пространства, сохраняющих углы.
Экзотическая сфера - гладкое многообразие, гомеоморфное, но не диффеоморфное сфере.
Сфера гомологии - топологическое многообразие, гомология которого совпадает с гомологией сферы.
^ Джеймс В. Вик (1994). Теория гомологии , с. 60. Спрингер
^ Смит, Дэвид Дж.; Ваманамурти, Мавина К. (1989). «Насколько мал единичный шар?». Журнал «Математика» . 62 (2): 101–107. дои : 10.1080/0025570X.1989.11977419. JSTOR 2690391.
^ Блюменсон, LE (1960). «Вывод n-мерных сферических координат». Американский математический ежемесячник . 67 (1): 63–66. дои : 10.2307/2308932. JSTOR 2308932.
^ Н.Я. Виленкин, А.Ю. Климык, Представление групп Ли и специальные функции, Vol. 2: Представления класса I, специальные функции и интегральные преобразования , перевод с русского В. А. Грозы и А. А. Грозы, Матем. Приложение, вып. 74, Клювер Акад. Публикация, Дордрехт, 1992, ISBN 0-7923-1492-1 , стр. 223–226.
^ Фёлкер, Аарон Р.; Госманн, Ян; Стюарт, Терренс К. (2017). Эффективная выборка векторов и координат из n-сферы и n-шара (Отчет). Центр теоретической нейронауки. дои : 10.13140/RG.2.2.15829.01767/1.
^ Ливан, Джакомо; Новаес, Марсель; Виво, Пьерпаоло (2018), Ливан, Джакомо; Новаес, Марсель; Виво, Пьерпаоло (ред.), «Один пейджер о собственных векторах», « Введение в случайные матрицы: теория и практика» , SpringerBriefs in Mathematical Physics, Cham: Springer International Publishing, стр. 65–66, doi : 10.1007/978-3-319 -70885-0_9, ISBN978-3-319-70885-0, получено 19 мая 2023 г.
^ Стиллвелл, Джон (1993), Классическая топология и комбинаторная теория групп, Тексты для аспирантов по математике, том. 72, Спрингер, с. 247, ISBN9780387979700.
^ Агрикола, Илька ; Баццони, Джованни; Герчес, Оливер; Константис, Панайотис; Ролленске, Зёнке (2018). «К истории проблемы Хопфа». Дифференциальная геометрия и ее приложения . 57 : 1–9. arXiv : 1708.01068 . doi :10.1016/j.difgeo.2017.10.014. S2CID 119297359.
^ Мешулам, Рой (1 января 2001 г.). «Комплекс клик и сопоставление гиперграфов». Комбинаторика . 21 (1): 89–94. дои : 10.1007/s004930170006. ISSN 1439-6912. S2CID 207006642.
Рекомендации
Марсалья, Г. (1972). «Выбор точки на поверхности сферы». Анналы математической статистики . 43 (2): 645–646. дои : 10.1214/aoms/1177692644 .
Уикс, Джеффри Р. (1985). Форма пространства: как визуализировать поверхности и трехмерные многообразия . Марсель Деккер. ISBN 978-0-8247-7437-0(Глава 14: Гиперсфера).{{cite book}}: CS1 maint: postscript (link)
Калниньш Е.Г.; Миллер, В. (1986). «Разделение переменных на n-мерных римановых многообразиях. I. n-сфера S_n и евклидова n-разреженная R_n». Дж. Математика. Физ . 27 : 1721–1746. дои : 10.1063/1.527088 . HDL : 10289/1219 .
Моура, Эдуарда; Хендерсон, Дэвид Г. (1996). Знакомство с геометрией: на плоскости и сфере . Прентис Холл . ISBN 978-0-13-373770-7(Глава 20: 3-сферы и гиперболические 3-пространства).{{cite book}}: CS1 maint: postscript (link)
Барнеа, Нир (1999). «Гиперсферические функции с произвольной перестановочной симметрией: обратная конструкция». Физ. Преподобный А. 59 (2): 1135–1146. Бибкод : 1999PhRvA..59.1135B. doi : 10.1103/PhysRevA.59.1135.