Гомогенные многообразия: геометрия пространств постоянной кривизны

Векторные поля Киллинга и метрика симметрии

Математическим критерием симметрии пространства является наличие в нем изометрий — преобразований, которые перемещают точки, но абсолютно не искажают расстояния между ними. В дифференциальной геометрии непрерывные изометрии описываются генераторами, называемыми векторными полями Киллинга. Если сместить метрический тензор вдоль направления вектора Киллинга, производная Ли от метрического тензора должна тождественно обратиться в нуль. Количество независимых полей Киллинга в n-мерном пространстве ограничено: оно не может превышать n*(n+1)/2. Пространства, обладающие максимально возможным количеством таких полей симметрии, называются максимально симметричными. Они полностью однородны (можно перенести любую точку в любую другую) и изотропны (вокруг каждой точки можно свободно вращать пространство без изменения его свойств).

Теорема Киллинга-Хопфа о классификации

Великая теорема Вильгельма Киллинга и Хайнца Хопфа предоставляет строгую аналитическую классификацию всех полных, односвязных и максимально симметричных римановых пространств. Теорема доказывает, что геометрия такого пространства полностью и однозначно определяется одним-единственным числом — константой скалярной кривизны (K). Если кривизна K равна строго нулю, мы получаем классическое евклидово пространство, где сумма углов треугольника равна 180 градусам. Если кривизна K положительна, мы получаем сферическую геометрию (многомерную гиперсферу), замкнутую саму на себя (сумма углов больше 180). Если кривизна K отрицательна, формируется гиперболическое пространство Лобачевского (открытое, седловидное многообразие, сумма углов меньше 180).

Аналитические модели: псевдосфера и сфера

Аналитическая геометрия предлагает наглядные модели для этих пространств. Положительную постоянную кривизну проще всего визуализировать на поверхности обычной двумерной сферы x^2 + y^2 + z^2 = R^2. Отрицательную постоянную кривизну (в локальном масштабе) можно смоделировать с помощью псевдосферы Бельтрами. Псевдосфера образуется кинематически, путем вращения кривой, называемой трактрисой, вокруг своей оси-асимптоты. Парадоксально, но площадь поверхности и объем псевдосферы конечны, несмотря на то, что ее острый «шпиль» бесконечно вытягивается вдоль оси. Локально геометрия на поверхности псевдосферы в точности подчиняется законам планиметрии Лобачевского, позволяя физически проверять постулаты неевклидовой математики.

Космологические модели ФЛРУ

Классификация гомогенных многообразий является математическим стержнем современной астрофизики и космологии. Согласно космологическому принципу, наша Вселенная в глобальных масштабах однородна и изотропна (распределение галактик примерно одинаково во всех направлениях). Используя тензорные уравнения Эйнштейна, ученые Александр Фридман, Жорж Леметр, Говард Робертсон и Артур Уокер создали метрику ФЛРУ (Метрика Фридмана-Леметра-Робертсона-Уокера). В этой алгебраической модели пространственная часть Вселенной описывается одним из трех гомогенных многообразий (сферой, плоскостью или гиперболоидом), а масштабный фактор описывает расширение этого пространства во времени. Измерение кривизны Вселенной с помощью телескопов (свет от реликтового излучения) математически доказывает, что наша реальная Вселенная с фантастической точностью является плоской (евклидовой).