В математике две точки сферы ( или n-сферы , включая круг ) называются антиподальными или диаметрально противоположными, если они являются концами диаметра , отрезка прямой между двумя точками на сфере и проходящей через ее центр . [1]
Для любой точки на сфере ее антиподальная точка является единственной точкой наибольшего расстояния , независимо от того, измерена ли она внутренне ( расстояние по большому кругу на поверхности сферы) или внешне ( хордальное расстояние через внутреннюю часть сферы). Каждый большой круг на сфере, проходящий через точку, также проходит через свою антиподальную точку, и существует бесконечно много больших кругов, проходящих через пару противоположных точек (в отличие от ситуации для любой неантиподальной пары точек, которая имеет единственный большой круг проходя через оба). Многие результаты в сферической геометрии зависят от выбора неантиподальных точек и вырождаются , если допускаются антиподальные точки; например, сферический треугольник вырождается в неопределенную луну , если две вершины противоположны.
Точка, антиподальная к данной точке, называется ее антиподами , от греческого ἀντίποδες ( антиподы ), что означает «противоположные ноги»; см. Антиподы § Этимология . Иногда буква s опускается, и получается антипод , задняя формация .
Понятие антиподальных точек распространяется на сферы любого измерения: две точки на сфере являются антиподальными, если они противоположны через центр . Каждая линия, проходящая через центр, пересекает сферу в двух точках, по одной для каждого луча , исходящего из центра, и эти две точки противоположны.
Теорема Борсука-Улама является результатом алгебраической топологии , имеющей дело с такими парами точек. Он говорит, что любая непрерывная функция от до отображает некоторую пару противоположных точек в одну и ту же точку в Здесь обозначает -мерную сферу и -мерное действительное координатное пространство .
Антиподальная карта отправляет каждую точку сферы в свою антиподальную точку. Если точки на -сфере представлены как векторы смещения из центра сферы в евклидовом -пространстве, то две антиподальные точки представлены аддитивными инверсиями , и антиподальное отображение может быть определено как Антиподальное отображение сохраняет ориентацию ( гомотопно тождественному отображению ) [2] когда нечетно, и меняет его, когда четно. Его степень _
Если идентифицированы противоположные точки (считающиеся эквивалентными), сфера становится моделью реального проективного пространства .