Эллиптическая геометрия¶
Эллиптическая геометрия — это одна из неевклидовых геометрий, в которой, в отличие от геометрии Евклида, не выполняется аксиома о параллельных прямых, а сумма углов треугольника всегда превышает 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)