Антиподальная точка

В математике две точки сферы ( или n-сферы , включая круг ) называются антиподальными или диаметрально противоположными , если они являются концами диаметра , отрезка прямой между двумя точками на сфере и проходящей через ее центр . ^[1]

Для любой точки на сфере ее антиподальная точка является единственной точкой наибольшего расстояния , независимо от того, измеряется ли она внутренне ( расстояние по большому кругу на поверхности сферы) или внешне ( хордальное расстояние через внутреннюю часть сферы). Каждый большой круг на сфере, проходящий через точку, также проходит через свою антиподальную точку, и существует бесконечно много больших кругов, проходящих через пару противоположных точек (в отличие от ситуации для любой неантиподальной пары точек, которая имеет единственный большой круг проходя через оба). Многие результаты в сферической геометрии зависят от выбора неантиподальных точек и вырождаются , если допускаются антиподальные точки; например, сферический треугольник вырождается в неопределенную луну , если две вершины противоположны.

Точка, антиподальная к данной точке, называется ее антиподами , от греческого ἀντίποδες ( антиподы ), что означает «противоположные ноги»; см. Антиподы § Этимология . Иногда буква s опускается, и получается антипод , задняя формация .

Высшая математика

Понятие антиподальных точек распространяется на сферы любого измерения: две точки на сфере являются антиподальными, если они противоположны через центр . Каждая линия, проходящая через центр, пересекает сферу в двух точках, по одной для каждого луча, исходящего из центра, и эти две точки противоположны.

Теорема Борсука–Улама является результатом алгебраической топологии, имеющей дело с такими парами точек. Он говорит, что любая непрерывная функция из $S^{n}$ к $\mathbb {R} ^{n}$ отображает некоторую пару противоположных точек в $S^{n}$ в ту же точку в $\mathbb {R} ^{n}.$ Здесь, $S^{n}$ обозначает $n$ -мерная сфера и $\mathbb {R} ^{n}$ является $n$ -мерное реальное координатное пространство .

Антиподальная карта $A:S^{n}\to S^{n}$ отправляет каждую точку сферы в противоположную точку. Если точки на $n$ -сфера представлены в виде векторов смещения от центра сферы в евклидовом виде. $(n+1)$ -пространстве, то две противоположные точки представляются аддитивными обратными $\mathbf {v}$ и $-\mathbf {v} ,$ и антиподальное отображение можно определить как $A(\mathbf {x} )=-\mathbf {x} .$ Антиподальное отображение сохраняет ориентацию ( гомотопно тождественному отображению ) ^[2] когда $n$ является нечетным и меняет его, когда $n$ четный. Его степень $(-1)^{n+1}.$

Если антиподальные точки идентифицированы (считаются эквивалентными), сфера становится моделью реального проективного пространства .

См. также

Вырезать локус

Ссылки

^ Чисхолм, Хью , изд. (1911). «Антиподы» . Британская энциклопедия . Том. 2 (11-е изд.). Издательство Кембриджского университета. стр. 133–34.
^ В. Гиймен; А. Поллак (1974). Дифференциальная топология . Прентис-Холл.

Внешние ссылки

«Антиподы» , Математическая энциклопедия , EMS Press , 2001 [1994]
«антиподальный» . ПланетаМатематика .

[EB1911-1] Чисхолм, Хью , изд. (1911). «Антиподы» . Британская энциклопедия . Том. 2 (11-е изд.). Издательство Кембриджского университета. стр. 133–34.

[2] В. Гиймен; А. Поллак (1974). Дифференциальная топология . Прентис-Холл.

[1]

[2]