Геометрия Лобачевского

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

История

Предпосылки возникновения

На протяжении более двух тысяч лет после появления «Начал» Евклида (около 300 г. до н. э.) математики пытались доказать пятый постулат (аксиому о параллельных) как теорему, выводимую из остальных аксиом. Многочисленные попытки, предпринимавшиеся в том числе Птолемеем, Проклом, Омаром Хайямом, Насир ад-Дином ат-Туси, Джованни Саккери, Иоганном Ламбертом и Адриеном Лежандром, не увенчались успехом, но привели к накоплению фактов, указывающих на возможность иной геометрии.

Создание геометрии Лобачевским

Русский математик Николай Иванович Лобачевский (1792—1856) впервые опубликовал свою систему неевклидовой геометрии в 1829 году в работе «О началах геометрии» в журнале Казанского университета. Лобачевский исходил из предположения, что через точку вне прямой можно провести бесконечно много прямых, не пересекающих данную. Он построил непротиворечивую геометрическую систему, в которой сумма углов треугольника меньше 180°, а отношение длины окружности к радиусу растёт быстрее, чем в евклидовой плоскости.

Независимо от Лобачевского, к аналогичным выводам пришёл венгерский математик Янош Бойяи (1802—1860), опубликовавший свою работу в 1832 году. Ранее, в 1820-х годах, немецкий математик Карл Фридрих Гаусс также разработал основы неевклидовой геометрии, но не опубликовал свои результаты.

Признание и развитие

При жизни Лобачевского его идеи не получили широкого признания. Первым математиком, открыто поддержавшим геометрию Лобачевского, стал немецкий учёный Фридрих Вильгельм Бессель (1840). Позднее, в 1868 году, итальянский математик Эудженио Бельтрами построил первую модель гиперболической плоскости (псевдосферу), что доказало непротиворечивость геометрии Лобачевского. В дальнейшем модели были разработаны Анри Пуанкаре (модель в круге) и Феликсом Клейном (модель в диске).

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

Система аксиом

Геометрия Лобачевского использует все аксиомы абсолютной геометрии (аксиомы Гильберта, кроме аксиомы о параллельных) и собственную аксиому параллельности:

• Аксиома Лобачевского (гиперболическая аксиома параллельности): Через точку, не лежащую на данной прямой, проходят по крайней мере две прямые, лежащие с данной прямой в одной плоскости и не пересекающие её.

Следствия

Из этой аксиомы вытекают ключевые отличия:

Угол параллельности

В геометрии Лобачевского угол параллельности Π(a) — это угол между перпендикуляром к прямой, опущенным из точки, и прямой, проходящей через эту точку и параллельной данной. Он выражается формулой: \[ \Pi(a) = 2 \arctan(e^{-a/k}) \] где a — расстояние от точки до прямой, k — кривизна пространства (постоянная Лобачевского). При a → 0 угол стремится к 90°, при a → ∞ — к 0°.

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

Модель Пуанкаре в круге

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

Модель Клейна (диск Бельтрами—Клейна)

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

Модель на псевдосфере

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

Модель Лобачевского (полуплоскость Пуанкаре)

Гиперболическая плоскость представляется как верхняя полуплоскость евклидовой плоскости. Прямыми являются полуокружности с центром на границе (оси x) и вертикальные лучи. Эта модель широко используется в комплексном анализе и теории чисел.

Геометрия в пространстве

Трёхмерное пространство Лобачевского (гиперболическое пространство) имеет постоянную отрицательную кривизну. В нём выполняются аналогичные свойства: сумма углов треугольника меньше 180°, объём шара растёт быстрее, чем в евклидовом пространстве, и существует бесконечно много плоскостей, проходящих через точку и не пересекающих данную плоскость.

Применение

В математике

• Теория групп: Геометрия Лобачевского тесно связана с группами Ли, группами автоморфизмов и теорией дискретных групп. Фундаментальные группы гиперболических многообразий являются гиперболическими группами в смысле Громова.
• Топология: Гиперболические многообразия (трёхмерные, в частности) играют ключевую роль в геометризации трёхмерных многообразий (теорема Тёрстона).
• Комплексный анализ: Модель Пуанкаре в полуплоскости используется для изучения автоморфных функций и модулярных форм.
• Теория чисел: Гиперболическая геометрия применяется в теории квадратичных форм, решётках и арифметике.

В физике

• Теория относительности: Пространство-время специальной теории относительности (пространство Минковского) имеет гиперболическую структуру в части временных сечений. Геометрия Лобачевского описывает пространство скоростей в релятивистской кинематике.
• Космология: Некоторые модели Вселенной (открытые модели Фридмана) имеют пространственные сечения отрицательной кривизны, описываемые геометрией Лобачевского.
• Квантовая гравитация: Гиперболические многообразия используются в теории струн и AdS/CFT-соответствии.

В других науках

• Кристаллография: Гиперболическая геометрия используется для описания структур с отрицательной кривизной (например, некоторых жидких кристаллов и фуллеренов).
• Биология: Формы некоторых живых организмов (например, листьев салата, кораллов) аппроксимируются гиперболическими поверхностями.
• Компьютерная графика: Гиперболические пространства применяются для визуализации больших объёмов данных и создания неевклидовых миров.

Критика и исторические споры

При жизни Лобачевского его работы подвергались резкой критике. В 1834 году в журнале «Сын отечества» была опубликована анонимная рецензия (автор — М. В. Остроградский), в которой геометрия Лобачевского называлась «нелепой» и «бредом». Лишь после смерти Лобачевского, благодаря работам Бельтрами, Римана и Клейна, геометрия была признана математическим сообществом.

Вопрос о физической реализуемости геометрии Лобачевского оставался предметом дискуссий до начала XX века. Экспериментальные проверки (например, измерения суммы углов треугольников, образованных лучами света) не выявили отклонений от евклидовой геометрии в пределах точности измерений. В общей теории относительности Эйнштейна (1915) геометрия пространства-времени является псевдоримановой, и в присутствии гравитации пространственные сечения могут иметь отрицательную кривизну.

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

• Лобачевский назвал свою геометрию «воображаемой», подчёркивая её чисто логический характер.
• В 1893 году в Казани был установлен памятник Лобачевскому — один из первых памятников математику в мире.
• Гиперболическая геометрия используется в современных компьютерных играх (например, в игре HyperRogue) для создания неевклидовых миров.
• В 2012 году группа учёных из Корнеллского университета создала физическую модель гиперболической плоскости из бумаги и эластичных нитей.