Проще всего мерить пространство в одном измерении. Все, что необходимо для измерения, например, прямой линии, — это линейка. Для двухмерного пространства, такого как пол большого танцевального зала, мы обычно берем две перпендикулярные линейки — одна из которых сопоставляется оси x , а вторая — оси y — и находим расстояние между двумя точками путем построения прямоугольного треугольника и применения теоремы Пифагора. В свою очередь, в трех измерениях нам необходимы три перпендикулярные линейки, соответствующие осям x , y и z . В искривленных, неевклидовых пространствах все становится сложнее и интереснее, поскольку точно откалиброванные перпендикулярные линейки для измерения искривленного пространства уже не пригодны. Однако в этом случае для расчета расстояний мы можем использовать риманову геометрию. Подход, который мы применяем для расчета длины кривой, лежащей на искривленном многообразии, вам уже знаком: кривую представляют в виде ломаной, состоящей из касательных бесконечно малой длины, и затем берут интеграл вдоль всей линии, чтобы получить полную длину. Сложность этого подхода обусловлена тем, что в искривленном пространстве длина каждого отрезка ломаной может изменяться при перемещении от одной точки многообразия к другой. Для того чтобы преодолеть эту трудность, Риман создал инструмент, известный как метрический тензор , дающий алгоритм для расчета длины отрезка касательной в каждой точке. В двух измерениях метрический тензор представляет собой матрицу 2?2, в n измерениях — матрицу n?n . Следует отметить, что этот новый подход к измерению, несмотря на всю важность нововведений Римана, по-прежнему основан на теореме Пифагора, только переформулированной для неевклидового пространства. Пространство, наделенное римановой метрикой, носит название риманова многообразия . Вооружившись метрикой, мы можем измерить длину любой кривой, принадлежащей многообразию произвольной размерности. Впрочем, мы не ограничены возможностью измерения длин кривых — таким же способом мы можем измерять и площади поверхностей в подобных пространствах, причем понятие «поверхность» в этом случае не ограничено привычными нам двумя измерениями. Изобретя понятие метрики, Риман показал, что пространству, имевшему до этого весьма неясное определение, можно строго приписать определенную геометрию, кривизну же лучше представлять не в виде расплывчатого понятия, а в виде точных чисел, соответствующих различным точкам пространства. И этот подход, как показал Риман, применим к пространствам любой размерности. — 34 —
|