Большинство людей изучают геометрию в школе и считают, что она касается только плоских поверхностей. Сумма углов треугольника равна 180 градусам. Параллельные линии никогда не пересекаются. Это евклидова геометрия. Она отлично подходит для домашних заданий. Она вполне приемлема для строительства дома. Но она дает сбой, когда вы смотрите на звезды или прокладываете маршрут полета через Тихий океан.
Неевклидова геометрия — это просто любая система, которая нарушает правила плоских поверхностей. Хотя этот термин часто используется как сокращение для гиперболической геометрии, на самом деле он охватывает любую форму, к которой не применяются старые правила Евклида. Два основных направления здесь — это сферическая геометрия и гиперболическая геометрия.
Как изменение параллельного постулата меняет всё
Настоящие проблемы начались с пятого постулата Евклида, касающегося параллельных линий. Он гласит, что если у вас есть прямая и точка, не лежащая на этой прямой, то через эту точку проходит ровно одна прямая, параллельная первой.
На протяжении веков математики ненавидели это правило. Оно казалось громоздким. Оно не выглядело таким «очевидным», как остальные. Они потратили 2000 лет, пытаясь доказать его, используя другие четыре постулата. У них ничего не вышло.
В конце концов, двое мужчин перестали пытаться доказывать его и начали исследовать, что произойдет, если его убрать. Николай Лобачевский в России и Янош Бойяи в Венгрии независимо друг от друга опубликовали свои результаты примерно в 1829 и 1831 годах. Они обнаружили геометрию, которая прекрасно работала без параллельного постулата. Это была гиперболическая геометрия.
Вот как сравниваются три системы при изменении правил:
- Евклидова: Через точку проходит ровно одна параллельная прямая. Постулат истинен. Сумма углов треугольника равна ровно 180 градусам.
- Сферическая: Параллельных прямых нет. Любые две «прямые» (большие круги) в конечном итоге пересекутся. Постулат ложен. Сумма углов треугольника больше 180 градусов.
- Гиперболическая: Через точку проходит бесконечно много параллельных прямых. Постулат ложен. Сумма углов треугольника меньше 180 градусов.
Небо и море: рождение сферической геометрии
Одна ветвь неевклидовой геометрии возникла благодаря взгляду вверх. Древним астрономам нужно было отслеживать звезды и планеты на полусферическом небе. Сам Евклид писал о сферической геометрии в своем труде Феномены примерно в 300 году до н. э.
Другая ветвь возникла благодаря взгляду вниз — или, точнее, через океан. Навигаторам нужно было понять форму Земли, чтобы находить путь. Если Земля круглая, прямые линии на карте вас обманывают. Эта практическая потребность стимулировала изучение сферической геометрии. Это была не просто теория. Речь шла о том, чтобы не заблудиться.
Большие круги — новые прямые линии
В сферической геометрии понятие «прямой линии» становится странным. На глобусе кратчайшее расстояние между двумя точками — это маршрут по большому кругу. Представьте натянутую струну между Нью-Йорком и Лондоном. Эта струна не летит по прямой через воздух. Она изгибается вдоль поверхности.
Птолемей отметил это в «Географии» примерно в 150 году н. э. Он писал, что поверхность суши и воды является сферой. Любая плоскость, проходящая через центр Земли, пересекает поверхность по большому кругу.
Эти большие круги являются «прямыми линиями» этой геометрии. Они изнутри прямые. Если вы идете по одному из них, вы не поворачиваете. Вы движетесь максимально прямо по искривленной поверхности.
Когда три таких дуги пересекаются, они образуют сферический треугольник. На плоской карте он выглядит искаженным. Но на сфере это просто треугольник. Разница между треугольниками на маленькой и большой сферах заключается только в масштабе. С точки зрения дифференциальной геометрии, сферическая геометрия — это изучение поверхностей с постоянной положительной кривизной.
Почему карты врут вам
Если сферическая геометрия настолько полезна, почему мы не видим ее повсюду? Потому что мы любим плоские карты.
Картографам приходится проецировать части сферы на плоскую поверхность. Сделать это без искажений невозможно. Вы можете сохранить расстояния. Вы можете сохранить площади. Вы можете сохранить углы. Но вы не можете сделать все три одновременно.
Необходимость балансировать эти компромиссы при создании карт дала ранний практический импульс изучению сферической геометрии. Это была не просто абстрактная математика. Это было о представлении мира, не слишком сильно искажая его.
Скрытая геометрия гиперболического пространства
Затем есть гиперболическая геометрия. Это другая половина неевклидовой семьи. Она не совпадает с нашей физической глобусом. Она не совпадает с плоским полом наших классов. Она описывает пространство, которое изгибается внутрь, как седло или чипсы Pringles.
В этом пространстве правила изгибаются в другую сторону. Линии расходятся. Треугольники становятся узкими. Углы уменьшаются. Это кажется контринтуитивным, потому что мы не сталкиваемся с такой формой в повседневной жизни. Но она существует в математике. А позже — и в физике.
Переход от евклидовой к неевклидовой геометрии не был внезапным откровением. Это было медленное разрушение уверенности. Математикам пришлось признать, что их «истины» были просто предположениями. Предположениями о плоскостности. Предположениями о параллельных линиях.
Когда вы отбрасываете параллельный постулат, вся структура меняется. Какой путь вы выберете — сферический или гиперболический — зависит от того, изгибается ли пространство, которое вы отображаете, само на себя или раскрывается бесконечно.
Эллиптическая геометрия — это, по сути, сферическая геометрия с внесённым в неё специфическим изменением правила. Представьте себе глобус, на котором Северный и Южный полюсы считаются одной и той же точкой. Именно в этом заключается основная идея аксиоматической формализации эллиптической геометрии. Это не просто теоретическое упражнение. Немецкий математик Бернхард Риман в XIX веке разработал внутреннее аналитическое представление об этом. Он назвал это сферой Римана. Вероятно, вы встретитесь с ней на курсах комплексного анализа в университете.
Некоторые учебники запутывают ситуацию. Они называют эту конкретную модель римановой геометрией. Это вводит в заблуждение. Термин риманова геометрия на самом деле относится к более широкой ветви дифференциальной геометрии. Она предоставляет инструменты для описания любой поверхности внутренним образом, а не только сферы. Соблюдайте это различие. Эллиптическая геометрия — это формализация сферы со слитыми антиподальными точками. Риманова геометрия — это框架 для изучения искривлённых пространств в целом.
Загадка гиперболической геометрии
Если эллиптическая геометрия изгибает пространство внутрь, то гиперболическая геометрия изгибает его наружу. Первые описания гиперболической геометрии появились из-за попыток доказать пятый постулат Евклида. Математики предполагали, что если убрать постулат о параллельных, то получится бессмыслица. Вместо этого они получили согласованную альтернативу.
Потребовалось время, чтобы разобраться в деталях. Исследователи доказали, что все гиперболические геометрии отличаются только масштабом. Подумайте о сферах. Баскетбольный мяч и пляжный мяч имеют одинаковую геометрию. Они отличаются только размером. Масштаб не меняет правила пространства.
К середине XIX века математика укрепилась. Стало ясно, что гиперболические поверхности должны иметь постоянную отрицательную кривизну. Положительная кривизна определяет эллиптические/сферические пространства. Плоская, нулевая кривизна определяет евклидово пространство. Отрицательная кривизна является отличительной чертой гиперболического типа.
Но вот в чём загвоздка. Уравнения работали. Логика выдерживала проверку. Однако математики всё ещё не могли с уверенностью сказать, существует ли такая поверхность на самом деле в реальности. Модели были абстрактными. Вопрос оставался открытым: предоставляет ли природа или даже чистая математика конкретную поверхность, удовлетворяющую этим условиям? Существование объекта всё ещё оставалось открытым вопросом, ожидающим физического или строгого математического построения, чтобы доказать, что это не просто искусная выдумка.
Невозможная форма наконец найдена
Десятилетиями математики считали, что уперлись в стену. Суть проблемы заключалась в поиске физического представления гиперболической геометрии, которое не нарушало бы законы вселенной.
Все началось с Эудженио Бельтрами в 1868 году. Он описал поверхность, называемую псевдосферой. Она имела постоянную отрицательную кривизну — определяющую черту гиперболического пространства. Но у нее были недостатки. Геометрически прямые линии на псевдосфере пересекают сами себя. Они также достигают ограничивающей окружности и резко обрываются. Так не работает гиперболическая геометрия. Линии в ней продолжаются бесконечно, не замыкаясь в петли и не натыкаясь на жесткий край.
Затем в 1901 году появился Дэвид Гильберт. Он доказал нечто, что фактически положило конец этому проекту. Гильберт показал, что невозможно определить полную гиперболическую поверхность с помощью вещественных аналитических функций. Это стандартные гладкие формулы, которые мы используем для описания форм. В то время поверхность была аналитической функцией. Поскольку Гильберт доказал невозможность этого, исследователи отказались от поисков. Математическое сообщество приняло этот предел как данность.
Но этот предел был ошибочным.
В 1955 году голландский математик Николас Кёйпер доказал, что ограничение Гильберта не применимо ко всем возможным поверхностям. Он доказал, что полная гиперболическая поверхность существует. Просто ее нельзя нарисовать с помощью простых гладких формул.
Десятилетия спустя, в 1970-х годах, американский математик Уильям Тёрстон подробно описал, как ее построить. Он не просто теоретизировал. Он описал саму геометрию. И вот странная часть: для ее создания не нужен суперкомпьютер.
Ее можно связать крючком.
Почему вязание крючком меняет правила игры
Гиперболическая поверхность Тёрстона — это не просто теоретический объект. Она осязаема. Если следовать определенным схемам вязания, можно создать физическую модель бесконечной отрицательной кривизны.
Почему это важно? Потому что это превращает абстрактное доказательство во что-то, что можно подержать в руках. Техника гиперболического вязания использует увеличение петель, чтобы заставить ткань изгибаться наружу. Каждый ряд добавляет больше материала, чем предыдущий, создавая характерный для гиперболической геометрии расклешенный, волнистый вид.
Это не просто рукодельный проект. Это прямое применение доказательства существования Кёйпера. Это реализация конструкции Тёрстона.
От псевдосферы к практической модели
Путь от неполной псевдосферы Бельтрами к связанной крючком гиперболической поверхности показывает, как эволюционируют математические определения. Мы перешли от:
- 1868: Псевдосфера (неполная, самопересекающаяся)
- 1901: Доказательство невозможности Гильберта (основанное только на гладких функциях)
- 1955: Доказательство существования Кёйпера (расширение определения поверхности)
- 1970-е: Конструкция Тёрстона (практичные, визуализируемые модели)
Сегодня студенты и художники используют вязание крючком для визуализации этих сложных концепций. Это конкретный способ понять отрицательную кривизну. Никакого продвинутого исчисления не требуется. Только пряжа и крючок.
Форма существует. Она полна. И она у вас в руках.
Плоские карты Земли всегда врут. Они растягиваются, сжимаются и рвутся, чтобы уместить сферу на бумаге. Гиперболическая геометрия сталкивается с той же проблемой. Нельзя расплющить седлообразную поверхность, не нарушив её структуру. Однако в XIX веке математики не сдались. Они создали три различные модели для отображения этой искривлённой реальности. Это не просто абстрактные головоломки. Это инструменты. Если использовать их вместе, невидимая форма гиперболического пространства начинает обретать смысл.
Настоящая история разворачивается в период между 1869 и 1871 годами. Эудженио Бельтрами и Феликс Кляйн, немецкий математик, взломали код. Они создали первую полную структуру для того, что буквально назвали «гиперболической» геометрией. До этого момента концепция была шаткой. Теперь у неё появился дом.
Парадокс прямой линии в модели Клейна — Бельтрами
Посмотрите на верхний левый угол на рисунке. Это модель Клейна — Бельтрами. Она сжимает всю гиперболическую плоскость внутрь круга. Просто, верно?
Вот подвох. В этой модели прямые линии — называемые геодезическими в гиперболическом мире — становятся прямыми хордами внутри круга. Если вы хотите попасть из точки A в точку B, вы проводите прямую линию. Она выглядит евклидовой. Она кажется знакомой.
Но за это удобство приходится платить. Модель сохраняет «прямолинейность», но искажает углы. То, что должно быть девяносто градусов, выглядит скошенным. Это карта, которая точно указывает, где север, даже если ландшафт выглядит искажённым.
Изогнутые пути и сохранение углов
Перенесёмся примерно на 1880 год. Анри Пуанкаре, французский математик, входит в игру и предлагает ещё две модели. Они совершенно другие. Гораздо более другие.
Сначала рассмотрим модель диска Пуанкаре (верхний правый угол). Опять же, мы имеем дело с кругом. Но правила меняются. Геодезические больше не являются прямыми линиями. Это дуги окружностей или диаметры. Эти дуги пересекают внешнюю границу круга под прямыми углами.
Почему это важно? Потому что Пуанкаре хотел не просто показать форму. Он стремился сохранить углы.
В диске Пуанкаре локальная геометрия выглядит точно так же, как на плоской евклидовой плоскости, даже если глобальная структура радикально отличается.
Это называется конформностью. Расстояния растягиваются. Края диска находятся на бесконечном расстоянии. Но если вы измерите угол транспортиром, он покажет правильное значение. Для задач, связанных с навигацией или оптическими иллюзиями, это золотой стандарт.
Бесконечная полуплоскость
Третья модель — модель верхней полуплоскости Пуанкаре (внизу рисунка). Забудьте о круге. Здесь гиперболическая поверхность отображается на всё полупространство над осью x.
Геодезические здесь представляют собой полукружности или вертикальные лучи. Они всегда пересекают ось x под прямыми углами. Это чистая, линейная компоновка.
Как и в модели диска, здесь расстояния искажаются. Чем ближе вы подходите к оси x, тем больше расширяется пространство. Но, опять же, углы сохраняются. Если вы нарисуете
