Эллиптическая геометрия

Эллиптическая геометрия — это одна из неевклидовых геометрий, в которой, в отличие от геометрии Евклида, не выполняется аксиома о параллельных прямых, а сумма углов треугольника всегда превышает 180°. В эллиптической геометрии не существует параллельных прямых: любые две прямые на плоскости пересекаются. Эта геометрия является частным случаем геометрии Римана (геометрии постоянной положительной кривизны) и находит применение в теории относительности, топологии и математическом моделировании.

История

Эллиптическая геометрия возникла как результат попыток опровергнуть или доказать пятый постулат Евклида (аксиому о параллельных). В XIX веке математики, такие как Карл Фридрих Гаусс, Николай Лобачевский и Янош Бойяи, независимо друг от друга пришли к выводу, что существуют непротиворечивые геометрии, в которых аксиома о параллельных не выполняется. Однако Лобачевский и Бойяи разработали гиперболическую геометрию (отрицательная кривизна), а эллиптическая геометрия была впервые последовательно изложена Бернхардом Риманом в 1854 году в его знаменитой лекции «О гипотезах, лежащих в основаниях геометрии». Риман предложил геометрию с постоянной положительной кривизной, где прямые замкнуты и имеют конечную длину.

В 1871 году немецкий математик Феликс Клейн дал систематическую классификацию неевклидовых геометрий, выделив эллиптическую геометрию как один из трёх основных типов (наряду с евклидовой и гиперболической), в зависимости от значения кривизны пространства.

Основные аксиомы и отличия от евклидовой геометрии

Эллиптическая геометрия сохраняет большинство аксиом евклидовой геометрии, за исключением аксиомы о параллельных. Вместо неё вводится аксиома: через точку, не лежащую на данной прямой, не проходит ни одной прямой, параллельной данной (или, что эквивалентно, любые две прямые пересекаются). Кроме того, в эллиптической геометрии прямая является замкнутой линией (напоминает окружность), и расстояние вдоль неё конечно.

Ключевые отличия:

• Сумма углов треугольника: всегда больше 180° (в евклидовой геометрии — ровно 180°). Величина превышения (избыток) пропорциональна площади треугольника.
• Параллельные прямые: отсутствуют. Любые две прямые пересекаются ровно в одной точке (в отличие от сферической геометрии, где две «прямые» — большие круги — пересекаются в двух точках).
• Прямая: замкнута, имеет конечную длину (равную 2πR, где R — радиус кривизны пространства).
• Площадь и объём: пространство эллиптической геометрии конечно (хотя и безгранично), его объём равен 2π²R³.

Модели эллиптической геометрии

Для наглядного представления эллиптической геометрии используются несколько математических моделей.

Сферическая модель (с отождествлением антиподов)

Наиболее простая модель — сфера в трёхмерном евклидовом пространстве. В этой модели «прямыми» являются большие круги (окружности, проходящие через центр сферы). Однако на сфере две прямые (большие круги) пересекаются в двух диаметрально противоположных точках (антиподах), что нарушает аксиому эллиптической геометрии (две прямые должны пересекаться ровно в одной точке). Чтобы устранить это противоречие, в эллиптической геометрии отождествляют (склеивают) диаметрально противоположные точки сферы. Полученное пространство называется эллиптической плоскостью (или проективной плоскостью). В этой модели расстояние между точками измеряется по дуге большого круга, а сумма углов треугольника превышает 180°.

Проективная модель

Эллиптическая геометрия может быть реализована на проективной плоскости, где точки — это прямые, проходящие через начало координат в трёхмерном пространстве, а прямые — это плоскости, проходящие через то же начало. В этой модели аксиома о параллельных не выполняется, так как любые две плоскости пересекаются по прямой, что соответствует пересечению двух прямых. Проективная модель удобна для алгебраического описания и изучения свойств эллиптической геометрии.

Модель Клейна (диск)

В модели Клейна эллиптическая геометрия представляется внутри единичного круга, где «прямыми» являются хорды этого круга. Однако, в отличие от гиперболической геометрии, в эллиптической модели Клейна точки на границе круга отождествляются (противоположные точки склеиваются), что делает пространство компактным.

Свойства и теоремы

Треугольники

В эллиптической геометрии треугольник обладает следующими свойствами:

• Сумма углов: α + β + γ = π + S / R², где S — площадь треугольника, R — радиус кривизны.
• Избыток суммы углов (сферический избыток) пропорционален площади.
• Треугольники могут быть «двуугольниками» (с двумя прямыми углами), если одна из сторон является полюсом.
• Теорема Пифагора не выполняется в классическом виде; вместо неё используется сферическая теорема косинусов.

Окружности

Окружность в эллиптической геометрии — это геометрическое место точек, равноудалённых от данной точки (центра). Длина окружности равна 2πR sin(r/R), где r — радиус окружности, R — радиус кривизны пространства. При малых r (по сравнению с R) эта формула приближается к евклидовой 2πr.

Движения (изометрии)

Группа движений эллиптической плоскости совпадает с группой ортогональных преобразований трёхмерного пространства (O(3)), сохраняющих начало координат. В эту группу входят повороты и отражения. Все движения сохраняют расстояния и углы.

Применение

В физике

Эллиптическая геометрия является основой для описания пространства в общей теории относительности (ОТО) в случае положительной кривизны. Модель Вселенной с положительной кривизной (замкнутая Вселенная) соответствует эллиптической геометрии: такая Вселенная конечна по объёму, но не имеет границ. В 2019 году данные космического телескопа «Планк» (ESA) показали, что кривизна наблюдаемой Вселенной близка к нулю, но небольшая положительная кривизна не исключается.

В математике

Эллиптическая геометрия используется в топологии при изучении трёхмерных многообразий (например, сферы S³ и проективного пространства RP³). Она также лежит в основе теории эллиптических функций и модулярных форм, которые применяются в алгебраической геометрии и теории чисел (например, в доказательстве Великой теоремы Ферма).

В навигации и картографии

Сферическая геометрия (близкая к эллиптической, но с двумя точками пересечения прямых) используется для расчёта кратчайших расстояний на поверхности Земли (ортодромия). Однако для глобальных навигационных систем (GPS) применяются модели, учитывающие эллипсоидную форму Земли, что является обобщением эллиптической геометрии.

В компьютерной графике и робототехнике

Эллиптическая геометрия применяется для моделирования пространств с неевклидовой метрикой, например, в виртуальной реальности и при проектировании алгоритмов навигации для роботов в искривлённых пространствах.

Интересные факты

• В эллиптической геометрии существует понятие «полюса» прямой: для каждой прямой есть две точки (полюса), которые находятся на одинаковом расстоянии от всех точек этой прямой.
• Эллиптическая плоскость является неориентируемой (как лист Мёбиуса): если двигаться вдоль прямой, можно вернуться в исходную точку с противоположной ориентацией.
• В отличие от евклидовой геометрии, в эллиптической геометрии не существует подобия фигур: все фигуры одного размера, но разной площади имеют разные углы.
• Первая математическая модель эллиптической геометрии (сфера с отождествлением антиподов) была предложена Феликсом Клейном в 1871 году.

Критика и ограничения

Эллиптическая геометрия долгое время воспринималась как чисто абстрактная математическая конструкция, не имеющая отношения к физическому пространству. Однако с развитием ОТО её применимость к реальному миру стала предметом серьёзных научных дискуссий. Экспериментальные проверки (например, измерение углов треугольников между далёкими галактиками) показывают, что пространство нашей Вселенной с высокой точностью евклидово, хотя небольшая положительная кривизна не исключена. Кроме того, эллиптическая геометрия не может быть вложена в трёхмерное евклидово пространство без искажений (например, без самопересечений), что ограничивает её наглядность.

Источники

• Бернхард Риман, «О гипотезах, лежащих в основаниях геометрии» (1854)
• Феликс Клейн, «Лекции о неевклидовой геометрии» (1871)
• Джон Милнор, «Гиперболическая геометрия» (1982)
• Марсель Берже, «Геометрия» (том 1, 1987)
• Энциклопедия Britannica, статья «Elliptic geometry»
• Данные миссии «Планк» (ESA, 2018)