Но магия проекции — лишь начало. Важность сферы в том, что она — первый и наглядный провал нашей евклидовой интуиции. Трещина в монолите «очевидного». Она — портал в мир, где правила игры иные, и где геометрия становится не измерением бытия, а его определением. Возьмите на сфере три точки: на Северном полюсе и две на экваторе. Соедините их «прямыми» — дугами больших кругов, кратчайшими путями. Что получилось? Треугольник. Но сложите его углы. Вы получите сумму больше 180 градусов. Для евклидового сознания это нонсенс, абсурд. Треугольник на сфере кричит: «Ваш плоский мир — лишь частный случай! Существуют миры, где внутренняя геометрия диктует свои законы».
А где же на сфере параллельные прямые? Проведите один меридиан. Попробуйте провести другой, который нигде его не пересечет. Не получится. Все «прямые» на сфере (все меридианы) пересекаются в двух точках — на полюсах. Аксиома о параллельных, краеугольный камень евклидовой геометрии, здесь не просто неверна — она бессмысленна. Ее просто нет.
От отрицания — к творению: рождение вселенных Лобачевского. Именно здесь, у этого провала, и родилась величайшая идея. Лобачевский и Риман не пытались «исправить» сферу. Они спросили: «А что, если аксиома о параллельных — не истина, а всего лишь выбор?»
- Выбор Евклида: через точку вне прямой проходит одна параллельная.
- Выбор Римана (на сфере): нет ни одной.
- Выбор Лобачевского (на гиперболической плоскости, «седле»): их бесконечно много.
Это был момент, когда математика перестала быть «наукой об истине» и стала наукой о возможных мирах. Отрицание одной аксиомы породило не ошибку, а две новые, полноправные геометрии. Это квинтэссенция принципа неполноты: внутри старой системы нельзя доказать ее же основания. Нужно выйти вовне — и создать новую.
Модель Клейна: геометрия как наука о сохранении. Но как упорядочить этот внезапно расплодившийся зоопарк реальностей? Феликс Клейн дал гениальный ответ в своей «Эрлангенской программе». Он предложил определять геометрию не через аксиомы о точках и прямых, а через инварианты — то, что сохраняется при определенных преобразованиях.
- Геометрия Евклида — это наука о свойствах фигур, неизменных при движениях (поворотах, переносах). Что сохраняется? Расстояния и углы.
- Геометрия сферы — это наука о свойствах, инвариантных относительно вращений сферы.
- Проективная геометрия — инвариантность пересечений (если прямые пересекались, они пересекутся и после преобразования).
Клейн превратил геометрию из сборника фактов о мире в науку о симметрии. Каждая геометрия — это ответ на вопрос: «Что для тебя свято? Что ты оберегаешь при всех превращениях?»
От пространства к пространству-времени: геометрии Минковского и Галилея. И вот этот принцип вырывается за пределы воображаемых миров. Наш физический мир — тоже геометрия. Но какая?
- Геометрия Галилея — это геометрия нашего здравого смысла, мира медленных скоростей. Ее группа преобразований (преобразования Галилея) сохраняет интервалы времени и расстояния в пространстве по отдельности. Время абсолютно и течет для всех одинаково. Это геометрия, где «одновременно» — это неоспоримый факт.
- Геометрия Минковского — это геометрия теории относительности, мир, где скорость света — инвариант. Ее группа преобразований (преобразования Лоренца) сохраняет уже не время и пространство по отдельности, а интервал в пространстве-времени. Здесь «одновременно» — понятие относительное. Это геометрия, где прошлое, настоящее и будущее сплетены в единый континуум, а наша жизнь — это мировая линия, пересекающая его.