|
Для того чтобы количественно оценить степень близости определенного многообразия к евклидовому пространству, необходимо знать его метрику. В плоском пространстве с взаимно перпендикулярными координатными осями для расчета расстояний можно использовать теорему Пифагора. В искривленных пространствах дело обстоит несколько сложнее, поскольку оси координат в этом случае могут уже не быть взаимно перпендикулярными, что приводит к необходимости использования модифицированной версии теоремы Пифагора. Для расчета расстояний в искривленных пространствах необходимо знать метрические коэффициенты — набор чисел, изменяющийся от точки к точке и зависящий от ориентации координатных осей. Выбор той или иной ориентации осей ведет к возникновению разных наборов метрических коэффициентов. При этом значение имеют не столько величины этих коэффициентов, которые во многом произвольны, сколько характер их изменения при переходе от одной точки многообразия к другой. Это дает возможность узнать положение различных точек по отношению друг к другу и таким образом свести воедино все, что касается геометрии данного многообразия. Как уже было сказано в предыдущих главах, для описания четырехмерного пространства необходимы десять метрических коэффициентов. На самом деле коэффициентов всего шестнадцать, поскольку метрический тензор в данном случае представляет собой матрицу 4?4. Однако метрический тензор всегда симметричен относительно диагонали, проходящей из левого верхнего угла матрицы в правый нижний. Таким образом, четыре числа лежат непосредственно на диагонали матрицы и еще два одинаковых набора из шести чисел каждый лежат по разные стороны от нее. За счет наличия симметрии вместо шестнадцати чисел можно рассматривать только десять: четыре на диагонали и шесть — по одну сторону от нее. Это, впрочем, еще не объясняет механизм работы метрики. Рассмотрим весьма простой пример, имеющий место для одного комплексного или двух вещественных измерений, — метрику Пуанкаре единичного круга, центр которого находится в точке плоскости с координатами (0, 0). Этот круг представляет собой набор точек (x , y ), удовлетворяющих неравенству x2 + y2 < 1 . Формально такой круг называют «открытым», поскольку он не включает в себя свою границу — окружность, определяемую выражением x2 + y2 = 1 . Поскольку рассматриваемый случай относится к двум измерениям, тензор метрики Пуанкаре представляет собой матрицу 2?2. В каждой из ячеек этой матрицы стоит коэффициент вида Gij , где i — номер строки, j — номер столбца. Таким образом, матрица будет иметь вид: — 82 —
|