Метрический тензор
Величины, которые касаются геометрии – это расстояния, длины кривых, площади и объемы (в том числе m-мерные объемы) геометрических фигур, а также углы между векторами, прямыми и т.д. Рассмотрим сначала прямоугольную декартову систему координат
в n-мерном пространстве. Как известно из аналитической геометрии, квадрат расстояния между двумя точками A и B дается следующей формулой, которая является обобщением теоремы Пифагора:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133952_2ccf44039c01c2f0c0caddcd9043e086e.png)
где индексами внизу обозначено, к какой точки данная координата относится.
Мы не можем непосредственно распространить формулу (1) на измерение длин кривых (поскольку длина зависит не только от положения двух крайних точек, но и от положения всех промежуточных точек), а также для измерения внутри кривых многообразия (поскольку в них даже не существует декартовой системы координат). Но в обоих этих случаях аналогичную формулу мы можем написать для двух бесконечно близких точек. Обозначим их являются P с координатами [thumb=left]https://mir-prekrasen.net/uploads/posts/2011-02/1298134010_14ee48c746b63b12863830ae5a0b295ae.png[/img] и точка P 'с координатами [img=left]https://mir-prekrasen.net/uploads/posts/2011-02/1298134017_3a84d0b39c8916d8f1f02acc503861134.png[/thumb]. Расстояние между этими точками обозначим d s, тогда формула (1) в новых обозначениях (дифференциалах) перепишется так:
[img=left]https://mir-prekrasen.net/uploads/posts/2011-02/1298133995_42adf6cedc187b5138d1e437aa8c6c1a7.png[/img]
Если от прямоугольной декартовой системы координат перейти в любую другую, в общем случае криволинейную, то вид формулы (2) как суммы квадратов не сохранится. Обозначим координаты новой системы
. Тогда дифференциалы старых и новых координат связаны формулами:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133982_6f27f640137a1c4204d2ca7d2bcfdd2ad.png)
и для квадрат а расстояния (2) мы получаем квадратичную форму относительно дифференциалов новых координат:
Sum_ {i = 1} ^ n sum_ {j = 1} ^ n sum_ {k = 1} ^ n left ({ partial x ^ i over partial u ^ j} du ^ j right) left ({ partial x ^ i over partial u ^ k} du ^ k right) = sum_ {j, k = 1} ^ n g_ {jk} du ^ jdu ^ k "src =" http: / / upload.wikimedia.org/math/7/6/9/7694a278a7595f510032fb40e86df89e.png "/>
где коэффициенты g j k равны сумме:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134043_759ca5af1ae0fb8e6b57ea410d98800ca.png)
В формулах (3), (4) все суммы берутся по индексам, повторяющиеся в пределах от первого (1) до последнего индекса (n). Поэтому для упрощения вида формул целесообразно в этих формулах не писать знак суммы (правило Эйнштейна). При использовании правила Эйнштейна формула (4) запишется так:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133968_8792054320005301a890687ad99938712.png)
Пусть имеем N-мерный евклидово пространство с координатами
. Радиус-вектор точки обозначим через
:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134003_11499317ec5a877ebdeb22f228b9019f01.png)
Рассмотрим в этом пространстве n-мерный многообразие, заданное параметрически через
. Точки многообразиях определяются через некоторые функции радиус-вектора от этих параметров:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134045_127177273958f7611f2f2359923eecbd1a.png)
Тогда две близкие точки многообразиях образуют вектор смещения:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134030_13cbb7656f39c33db764042352d5292cae.png)
а квадрат расстояния равен скалярному квадрату вектора смещения:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134011_14dd27ceb064d66a5ed615394e860ee5b7.png)
То есть мы опять получили формулу (6), но коэффициенты даются другими чем (5) по виду, но аналогичными формулам:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133971_157553f0d928e9d0e104ef1693db2218dc.png)
Действительно, расписав скалярное произведение в (11) как сумму попарных произведений компонент векторов
и
. Равенство достигается, когда многообразие является евклидовым пространством, которое помещено сам в себя.
Пусть на многообразии задано еще одну (новую) систему координат
, Координаты которой мы обозначим шляпками, чтобы отличить от старой системы координат. Ясно, что существует взаимно-однозначное соответствие между старой и новой системой координат через посредство точек многообразия. А именно, набор каких n чисел
задает некоторую точку P на многообразия, а эта точка P имеет координаты
в новой системе координат. Это соответствие мы можем записать через набор функций:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133999_19613449d1f07abfd68058482a7ab39746.png)
выражающие новые координаты через старые. Поскольку это соответствие взаимно-однозначное, то и наоборот, новые координаты можно выразить через старые:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133993_20f0b162fd66a81eba0671977ce347c886.png)
Мы будем считать эти функции дифференцируемы. Тогда дифференциалы этих координат (для двух бесконечно близких точек) связаны формулами:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134032_21ee0838b535067755d0fdfe6ff3e71744.png)
Подставляя (14) в (6), находим:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133968_225af1c8fd8e05c4d5a23c28fe4a3e486d.png)
и коэффициенты
метрики в новой системе координат равны
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133991_2497f70ddaba6ca4e3b065b90b8181300d.png)
Из этой формулы мы видим, что коэффициенты метрики образуют дважды ковариантный тензор.
Имея метрический тензор g i j, мы можем вычислять все геометрические характеристики фигур, находящиеся внутри многообразия. Пусть например задан кривую линию в параметрической форме u i = u i (t). Тогда мы можем вычислить длину дуги этой кривой (при изменении параметра t в пределах отрезка [a, b]), тоскуя расстоянии всех соседних точек и переходя к интегралу:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134016_257f492236718fe5e1d3330030bfa81a2b.png)
Далее, мы можем вычислять скалярные произведения касающихся многообразия векторов. Пусть заданы два касательные векторы
и
. Разложим их по базису системы координат:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134046_28d3221b4fb7662a2fd4dfe787464d8fdf.png)
тогда их скалярное произведение равно:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133950_29c1921ab5db4a9b4406ea23835292ae70.png)
Имея скалярное произведение, мы можем вычислять длины векторов:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134006_30cccefba910d0157bf45c838e4e30aa01.png)
и углы между двумя векторами:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133969_31cd9e371eadfe59f525ef40bd0c3cce8b.png)
Эту же формулу можно использовать для вычисления угла между двумя кривыми в точке пересечения. Для этого в (21) надо подставить касательные векторы к этим кривых.
Далее, поиск кратчайшего кривой между двумя точками многообразия приводит к уравнению геодезической линии, которое с очевидностью зависит только от метрического тензора g i j и его производных по координатам. Геодезическая линия является аналогом прямой в евклидовом пространстве. С отрезков геодезических мы можем конструировать треугольник и другие закнени и незакрытые ломаные. Умея искать углы между кривыми по формуле (21), мы можем определить углы геодезического треугольника, и как они зависят от длин сторон (формула (17) для геодезических).
Далее, мы можем вычислить площадь параллелограмма, построенного на векторам
и
:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134033_32445e31b7984614b3e6989be6d93caf34.png)
где введено обозначение метрической матрешки (смотрите также статью Единичный антисимметричный тензор):
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133975_3393f9145e96db6c79a938afc7f0c68db8.png)
Имея какую гладкую двумерную поверхность F внутри многообразия, мы можем разбить ее на маленькие параллелограммы, и воспользовавшись формулой (22) найти площадь каждого из этих параллелограммов. Добавляя все эти площади, и переходя к интегрированию, мы очевидно можем найти площадь всей поверхности F.
Аналогично мы можем m-мерный объем любого m-мерного подмноговидов (
), В том числе объем самого многообразия:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134041_3558167760d7d1a2410bd722bccbeb56c8.png)
где буквой g обозначено определитель метрике метрического тензора:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134033_363e842eebb6da2af9d6773feff7cf3aa6.png)
Аналогично геодезической линии, мы можем рассматривать минимальные многообразия высших размерностей. Например, мы можем "натянуть" минимальную двумерную поверхность на треугольник, составленный из отрезков геодезических – и таким образом вычислить площадь этого треугольника.
Далее, измеряя отрезки геодезических, мы можем говорить о расстоянии между двумя удаленными точками многообразия. Пользуясь понятием расстояния, мы можем рассматривать такие геометрические объекты как шар и гиперсфера внутри многообразиях с центром в какой точке этого многообразия.
Поскольку метрического тензора оказывается достаточно, чтобы вычислять различные свойства фигур внутри многообразия, мы можем абстрагироваться от внешнего евклидова пространства (размерности
с одним верхним и одним нижним индексами. В старой системе координат
координаты этого тензора образуют единичную матрицу:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134020_385c61e86358f3b78758cfb15e873473ff.png)
Вычислим координаты этого единичного тензора в новой системе координат
. Имеем тензорными правилами:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133982_3985d05952889ac931fddddbed63b364c9.png)
поскольку матрицы перехода между этими системами координат
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133955_403afbd7c9bfce8992137763d0fd977f0c.png)
являются взаимно обратными матрицами.
Формула (27) показывает, что компоненты тензора
образуют единичную матрицу не только в старой, а вообще в любой системе координат. Спрашивается, какие еще тензоры мы можем образовать, имея метрический тензор g i j и единичный тензор
? Добавлять эти тензоры покомпонентно мы не можем, поскольку они по-разному изменяются при замене координат. Обратимся к алгебре матриц. Имея матрицу
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134037_41113348b4196e9af4ae4a98505013d95e.png)
Можно проверить, что из всех таких функций только прямая пропорциональность и обратная пропорциональность образуют тензор – т.е. правильно изменяются при замене координат:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133987_42a10c350e71546519db2c35656cbeb2fc.png)
Ясно, что обратная матрица G - 1 превращается по законам дважды контравариантный тензор. Этот тензор принято обозначать той же буквой g i j, что и метрический тензор g i j, но с двумя верхними индексами и называть обратным метрическим тензором. Из определения имеем:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134041_43fcc2b3c41627d37480d0b5da4f6054cb.png)
Метрический тензор вместе со своим обратным позволяет установить эквивалентность между ковариантный и контравариантный тензор. Это осуществляется с помощью формулы опускания индексов из свертку с метрическим тензором, наприкдад:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134043_44856178616e02dd1714fa7cb4b6598808.png)
и поднятия индексов из свертку с обратным метрическим тензором, например:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133967_456391833c7c1680dffa0758d3946e3c93.png)
Поскольку тензоры g i j и g i j взаимно обратные (формула 31), то после последовательного применения двух операций: поднять индекс затем опустить, или наоборот, опустить индекс затем поднять – мы вернемся к оригинальному тензора, который был в начале, например :
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134020_46c6954bd625241c5ce9e0f13dea21875a.png)
Подъема и опускания индексов с помощью метрического тензора называется жонглированием индексами. В результате подъема одного индекса в самом метрического тензора g i j мы получим единичный тензор
:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134004_47b1b16356f74ea287839351956aa6a947.png)
Подняв еще один индекс метрического тензора, мы придем к обратной метрического тензора:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133960_48b2c3daca64b40f81277ab2640a0e9559.png)
Из формул (35) и (36) мы видим, что с точностью до жонглирования индексов тензоры g i j,
и g i j представляют один и тот же тензор. Так что мы совершили разумно, обозначив обращен метрический тензор g i j той же буквой g, что и метрический тензор g i j. Сравним формулы поднятия двух индексов для произвольного тензора a i j и для метрического тензора g i j:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133957_494d3061241761512774174105e6a00f80.png)
Коваринтна производная
тензора
дается формулой:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133977_5284ac6d418c7d3910bb5e38a07616808d.png)
Вычислим сначала ковариантная производную единичного тензора:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134018_539ca6a93d29c81828ad0b73e46f925269.png)
Как видим, эта производная равна нулю всегда, не только для символов Кристоффеля, но и для более общего случая коэффициентов аффинной связности. Перейдем теперь к метрического тензора. В охватывающего евклидовом пространстве вторая производная
радиус-вектора
розгладаеться на касательную к многообразиях составляющую, и на ортогональную
:
Mathbf {b} _ {ij} "src =" http://upload.wikimedia.org/math/3/3/1/331...5099a920eb8.png "/>
домножуючы обе части этого уравнения скалярно на вектор
, Получаем:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133963_574bf208ee7764944b8e94f3f160ce1cea.png)
Отсюда имеем для частных производных метрического тензора формулу:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133983_581e823976235a529922f7d00b78c8952a.png)
Пользуясь уравнением (42), находим ковариантная производную метрического тензора:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133976_594e19915c473259e6ea68e78736100c51.png)
Итак ковариантные производные метрического тензора g i j и единичного
равны нулю. Это также означает, что эти тензоры перестановочное со значком ковариантной производной
:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133994_61138550c1c7431eb9459346da32b8d27e.png)
Проверим для полноты картины, ковариантная производная обратной метрического тензора g i j также равна нулю:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133997_62e496aa524e2bb5eb446135c40e85ac4f.png)
Метрический тензор g i j можно рассматривать как набор
функций от координат
. Поскольку мы можем брать различные системы координат для одного и того же многообразия, то мы будем иметь и разный набор функций. Это эквивалентно тому, как мы можем сфотографировать один и тот же предмет под разными ракурсами. В общем случае задача распознать на двух фотографиях один и тот же объект оказывается слишком сложной для компьютера, универсальный алгоритм распознавания еще неизвестен. То же с метрическим тензором – имея два набора
функций, мы не можем сразу сказать, представляют ли они один и тот же многообразие в разных системах координат. Но в двух случаях этот анализ оказывается несложным.
Пространство постоянной кривизны
Первый простой случай – это пространство постоянной кривизны, в котором тензор Римана пропорционален метрической матрешке четвертого ранга с постоянным коэффициентом пропорциональности K:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133978_6459e1dc29c4122faa5735483a86c0786c.png)
Мы можем проверить для двух наборов функций
, И
удовлетворяют ли они уравнения (46) с одним и тем же коэффициентом K. Продолжая аналогию с фотографиями, это эквивалентно, что мы имеем две равномерно засвеченные фотографии, все пиксели битмапами равны одному и тому же числу.
Малая деформация системы координат
Второй простой случай – когда система координат смещается на малый вектор v i:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134009_67318201ca6c74a5fd80ba514939de35ba.png)
Малость смещение означает, что мы можем разложить функции метрического тензора в ряд Тейлора и ограничиться линейным членом:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133982_68b4f317657f2953f4784b684aae749a8a.png)
Найдем вариацию компонент метрического тензора (разница функций при одних и тех же аргументах):
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133987_69ac0e1c0e696c638e844de0adbc206cf4.png)
Подставим (49) в (48):
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134009_70334b75ee985de5a685e367ad0ef80219.png)
Далее, запишем формулу замены координат:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134026_71bba5cd0327a3b9286d4c9def1ee661a4.png)
Матрицы перехода для функций (47) легко вычисляются:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133982_7263b6a542565239a31f8c95d32db75696.png)
Раскроем скобки, сохраняя лишь постоянные и линейные по v i слагаемые. После сокращений получаем:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133996_73c55816e9284dd5d6a7855e47dce0a0d4.png)
откуда
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133970_74b555eaad2fd73e9fa63c92388ed2728f.png)
Эта формула применяется для вывода линеаризованные уравнения Эйнштейна в теории гравитации. Аналогом этого случая в машинной обработке изображений является алгоритм линейного слежения за подвижными объектами по двум смежным кадрах видеокамеры. Данная аналогия лишь концептуальная, формулы получаются различные.
Метрический тензор допускает обобщение, когда мы не обмежуемся действительными положительно-определенными матрицами – Псевдометрика
В псевдометрици большинство формул внутренней геометрии остаются неизменными – и мы можем рассматривать понятие геодезической линии, ковариатного дифференцировки, тензора Римана. Но неопределенность знаков вносит коррективы в интерпретацию этих понятий. В частности геодезическая линия не является кратчайшей, и понятие расстояния становится сложнее чем в евклидовом случае (корень из отрицательного числа). Изучение псевдометрикы побуждается свойствами физического пространства, в котором мы живем – смотрите статью Метрика пространства-времени
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134010_14ee48c746b63b12863830ae5a0b295ae.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133952_2ccf44039c01c2f0c0caddcd9043e086e.png)
где индексами внизу обозначено, к какой точки данная координата относится.
Мы не можем непосредственно распространить формулу (1) на измерение длин кривых (поскольку длина зависит не только от положения двух крайних точек, но и от положения всех промежуточных точек), а также для измерения внутри кривых многообразия (поскольку в них даже не существует декартовой системы координат). Но в обоих этих случаях аналогичную формулу мы можем написать для двух бесконечно близких точек. Обозначим их являются P с координатами [thumb=left]https://mir-prekrasen.net/uploads/posts/2011-02/1298134010_14ee48c746b63b12863830ae5a0b295ae.png[/img] и точка P 'с координатами [img=left]https://mir-prekrasen.net/uploads/posts/2011-02/1298134017_3a84d0b39c8916d8f1f02acc503861134.png[/thumb]. Расстояние между этими точками обозначим d s, тогда формула (1) в новых обозначениях (дифференциалах) перепишется так:
[img=left]https://mir-prekrasen.net/uploads/posts/2011-02/1298133995_42adf6cedc187b5138d1e437aa8c6c1a7.png[/img]
Если от прямоугольной декартовой системы координат перейти в любую другую, в общем случае криволинейную, то вид формулы (2) как суммы квадратов не сохранится. Обозначим координаты новой системы
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133985_5239fe30d21ee1fa1cce46a87c87ffffc.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133982_6f27f640137a1c4204d2ca7d2bcfdd2ad.png)
и для квадрат а расстояния (2) мы получаем квадратичную форму относительно дифференциалов новых координат:
Sum_ {i = 1} ^ n sum_ {j = 1} ^ n sum_ {k = 1} ^ n left ({ partial x ^ i over partial u ^ j} du ^ j right) left ({ partial x ^ i over partial u ^ k} du ^ k right) = sum_ {j, k = 1} ^ n g_ {jk} du ^ jdu ^ k "src =" http: / / upload.wikimedia.org/math/7/6/9/7694a278a7595f510032fb40e86df89e.png "/>
где коэффициенты g j k равны сумме:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134043_759ca5af1ae0fb8e6b57ea410d98800ca.png)
В формулах (3), (4) все суммы берутся по индексам, повторяющиеся в пределах от первого (1) до последнего индекса (n). Поэтому для упрощения вида формул целесообразно в этих формулах не писать знак суммы (правило Эйнштейна). При использовании правила Эйнштейна формула (4) запишется так:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133968_8792054320005301a890687ad99938712.png)
Пусть имеем N-мерный евклидово пространство с координатами
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133982_973ed6138c23ae1885a97c0acb6b1be84.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134006_1028ebd9df135b0bcfe8263a7a192aa2f7.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134003_11499317ec5a877ebdeb22f228b9019f01.png)
Рассмотрим в этом пространстве n-мерный многообразие, заданное параметрически через
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133985_5239fe30d21ee1fa1cce46a87c87ffffc.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134045_127177273958f7611f2f2359923eecbd1a.png)
Тогда две близкие точки многообразиях образуют вектор смещения:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134030_13cbb7656f39c33db764042352d5292cae.png)
а квадрат расстояния равен скалярному квадрату вектора смещения:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134011_14dd27ceb064d66a5ed615394e860ee5b7.png)
То есть мы опять получили формулу (6), но коэффициенты даются другими чем (5) по виду, но аналогичными формулам:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133971_157553f0d928e9d0e104ef1693db2218dc.png)
Действительно, расписав скалярное произведение в (11) как сумму попарных произведений компонент векторов
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133975_169fb7b3cd7588dfce2b8886243342b001.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133980_17b7cf8915046b9ef5de37fbcccd5c47b4.png)
Пусть на многообразии задано еще одну (новую) систему координат
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133968_18ac4e71efb0e09e271388b51547981281.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133985_5239fe30d21ee1fa1cce46a87c87ffffc.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133968_18ac4e71efb0e09e271388b51547981281.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133999_19613449d1f07abfd68058482a7ab39746.png)
выражающие новые координаты через старые. Поскольку это соответствие взаимно-однозначное, то и наоборот, новые координаты можно выразить через старые:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133993_20f0b162fd66a81eba0671977ce347c886.png)
Мы будем считать эти функции дифференцируемы. Тогда дифференциалы этих координат (для двух бесконечно близких точек) связаны формулами:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134032_21ee0838b535067755d0fdfe6ff3e71744.png)
Подставляя (14) в (6), находим:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133968_225af1c8fd8e05c4d5a23c28fe4a3e486d.png)
и коэффициенты
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133970_230a5c9713e39453729370f18043915152.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133991_2497f70ddaba6ca4e3b065b90b8181300d.png)
Из этой формулы мы видим, что коэффициенты метрики образуют дважды ковариантный тензор.
Имея метрический тензор g i j, мы можем вычислять все геометрические характеристики фигур, находящиеся внутри многообразия. Пусть например задан кривую линию в параметрической форме u i = u i (t). Тогда мы можем вычислить длину дуги этой кривой (при изменении параметра t в пределах отрезка [a, b]), тоскуя расстоянии всех соседних точек и переходя к интегралу:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134016_257f492236718fe5e1d3330030bfa81a2b.png)
Далее, мы можем вычислять скалярные произведения касающихся многообразия векторов. Пусть заданы два касательные векторы
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134029_263c47f830945ee6b24984ab0ba188e10e.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133999_2751e355f73e82b295cc3b04e2a2bf3d2c.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134046_28d3221b4fb7662a2fd4dfe787464d8fdf.png)
тогда их скалярное произведение равно:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133950_29c1921ab5db4a9b4406ea23835292ae70.png)
Имея скалярное произведение, мы можем вычислять длины векторов:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134006_30cccefba910d0157bf45c838e4e30aa01.png)
и углы между двумя векторами:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133969_31cd9e371eadfe59f525ef40bd0c3cce8b.png)
Эту же формулу можно использовать для вычисления угла между двумя кривыми в точке пересечения. Для этого в (21) надо подставить касательные векторы к этим кривых.
Далее, поиск кратчайшего кривой между двумя точками многообразия приводит к уравнению геодезической линии, которое с очевидностью зависит только от метрического тензора g i j и его производных по координатам. Геодезическая линия является аналогом прямой в евклидовом пространстве. С отрезков геодезических мы можем конструировать треугольник и другие закнени и незакрытые ломаные. Умея искать углы между кривыми по формуле (21), мы можем определить углы геодезического треугольника, и как они зависят от длин сторон (формула (17) для геодезических).
Далее, мы можем вычислить площадь параллелограмма, построенного на векторам
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134029_263c47f830945ee6b24984ab0ba188e10e.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133999_2751e355f73e82b295cc3b04e2a2bf3d2c.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134033_32445e31b7984614b3e6989be6d93caf34.png)
где введено обозначение метрической матрешки (смотрите также статью Единичный антисимметричный тензор):
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133975_3393f9145e96db6c79a938afc7f0c68db8.png)
Имея какую гладкую двумерную поверхность F внутри многообразия, мы можем разбить ее на маленькие параллелограммы, и воспользовавшись формулой (22) найти площадь каждого из этих параллелограммов. Добавляя все эти площади, и переходя к интегрированию, мы очевидно можем найти площадь всей поверхности F.
Аналогично мы можем m-мерный объем любого m-мерного подмноговидов (
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133956_34f05c1117f7cc1c070b9dc35da019fafb.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134041_3558167760d7d1a2410bd722bccbeb56c8.png)
где буквой g обозначено определитель метрике метрического тензора:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134033_363e842eebb6da2af9d6773feff7cf3aa6.png)
Аналогично геодезической линии, мы можем рассматривать минимальные многообразия высших размерностей. Например, мы можем "натянуть" минимальную двумерную поверхность на треугольник, составленный из отрезков геодезических – и таким образом вычислить площадь этого треугольника.
Далее, измеряя отрезки геодезических, мы можем говорить о расстоянии между двумя удаленными точками многообразия. Пользуясь понятием расстояния, мы можем рассматривать такие геометрические объекты как шар и гиперсфера внутри многообразиях с центром в какой точке этого многообразия.
Поскольку метрического тензора оказывается достаточно, чтобы вычислять различные свойства фигур внутри многообразия, мы можем абстрагироваться от внешнего евклидова пространства (размерности
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134040_37aaac6fe7d80126d5e99a8d25b88a6d65.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133985_5239fe30d21ee1fa1cce46a87c87ffffc.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134020_385c61e86358f3b78758cfb15e873473ff.png)
Вычислим координаты этого единичного тензора в новой системе координат
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133968_18ac4e71efb0e09e271388b51547981281.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133982_3985d05952889ac931fddddbed63b364c9.png)
поскольку матрицы перехода между этими системами координат
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133955_403afbd7c9bfce8992137763d0fd977f0c.png)
являются взаимно обратными матрицами.
Формула (27) показывает, что компоненты тензора
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134040_37aaac6fe7d80126d5e99a8d25b88a6d65.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134040_37aaac6fe7d80126d5e99a8d25b88a6d65.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134037_41113348b4196e9af4ae4a98505013d95e.png)
Можно проверить, что из всех таких функций только прямая пропорциональность и обратная пропорциональность образуют тензор – т.е. правильно изменяются при замене координат:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133987_42a10c350e71546519db2c35656cbeb2fc.png)
Ясно, что обратная матрица G - 1 превращается по законам дважды контравариантный тензор. Этот тензор принято обозначать той же буквой g i j, что и метрический тензор g i j, но с двумя верхними индексами и называть обратным метрическим тензором. Из определения имеем:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134041_43fcc2b3c41627d37480d0b5da4f6054cb.png)
Метрический тензор вместе со своим обратным позволяет установить эквивалентность между ковариантный и контравариантный тензор. Это осуществляется с помощью формулы опускания индексов из свертку с метрическим тензором, наприкдад:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134043_44856178616e02dd1714fa7cb4b6598808.png)
и поднятия индексов из свертку с обратным метрическим тензором, например:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133967_456391833c7c1680dffa0758d3946e3c93.png)
Поскольку тензоры g i j и g i j взаимно обратные (формула 31), то после последовательного применения двух операций: поднять индекс затем опустить, или наоборот, опустить индекс затем поднять – мы вернемся к оригинальному тензора, который был в начале, например :
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134020_46c6954bd625241c5ce9e0f13dea21875a.png)
Подъема и опускания индексов с помощью метрического тензора называется жонглированием индексами. В результате подъема одного индекса в самом метрического тензора g i j мы получим единичный тензор
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134040_37aaac6fe7d80126d5e99a8d25b88a6d65.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134004_47b1b16356f74ea287839351956aa6a947.png)
Подняв еще один индекс метрического тензора, мы придем к обратной метрического тензора:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133960_48b2c3daca64b40f81277ab2640a0e9559.png)
Из формул (35) и (36) мы видим, что с точностью до жонглирования индексов тензоры g i j,
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134040_37aaac6fe7d80126d5e99a8d25b88a6d65.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133957_494d3061241761512774174105e6a00f80.png)
Коваринтна производная
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133954_5039c1e7186228eb4e928a8d9a593e6c0c.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133970_516fcb54b112515e2e052bcd951a22dcb4.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133977_5284ac6d418c7d3910bb5e38a07616808d.png)
Вычислим сначала ковариантная производную единичного тензора:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134018_539ca6a93d29c81828ad0b73e46f925269.png)
Как видим, эта производная равна нулю всегда, не только для символов Кристоффеля, но и для более общего случая коэффициентов аффинной связности. Перейдем теперь к метрического тензора. В охватывающего евклидовом пространстве вторая производная
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134041_54cb3bc046b55b99c0cad5eca63252f36f.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134006_1028ebd9df135b0bcfe8263a7a192aa2f7.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134033_550e0720a56a8418112ad30e7966eccc9b.png)
Mathbf {b} _ {ij} "src =" http://upload.wikimedia.org/math/3/3/1/331...5099a920eb8.png "/>
домножуючы обе части этого уравнения скалярно на вектор
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134044_5613207c35357df27832326afba557b072.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133963_574bf208ee7764944b8e94f3f160ce1cea.png)
Отсюда имеем для частных производных метрического тензора формулу:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133983_581e823976235a529922f7d00b78c8952a.png)
Пользуясь уравнением (42), находим ковариантная производную метрического тензора:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133976_594e19915c473259e6ea68e78736100c51.png)
Итак ковариантные производные метрического тензора g i j и единичного
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134040_37aaac6fe7d80126d5e99a8d25b88a6d65.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133965_60fe3a83e41074834731743ab803cd4936.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133994_61138550c1c7431eb9459346da32b8d27e.png)
Проверим для полноты картины, ковариантная производная обратной метрического тензора g i j также равна нулю:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133997_62e496aa524e2bb5eb446135c40e85ac4f.png)
Метрический тензор g i j можно рассматривать как набор
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134010_63de47e8a5a1aa190a50edafde9c53a71c.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298133985_5239fe30d21ee1fa1cce46a87c87ffffc.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134010_63de47e8a5a1aa190a50edafde9c53a71c.png)
Пространство постоянной кривизны
Первый простой случай – это пространство постоянной кривизны, в котором тензор Римана пропорционален метрической матрешке четвертого ранга с постоянным коэффициентом пропорциональности K:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133978_6459e1dc29c4122faa5735483a86c0786c.png)
Мы можем проверить для двух наборов функций
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134040_6591e07ff1cc10c919d91569955bad4d4f.png)
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134029_666711944a5ee6522ef6afa0ca34ad17e8.png)
Малая деформация системы координат
Второй простой случай – когда система координат смещается на малый вектор v i:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/1298134009_67318201ca6c74a5fd80ba514939de35ba.png)
Малость смещение означает, что мы можем разложить функции метрического тензора в ряд Тейлора и ограничиться линейным членом:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133982_68b4f317657f2953f4784b684aae749a8a.png)
Найдем вариацию компонент метрического тензора (разница функций при одних и тех же аргументах):
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133987_69ac0e1c0e696c638e844de0adbc206cf4.png)
Подставим (49) в (48):
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134009_70334b75ee985de5a685e367ad0ef80219.png)
Далее, запишем формулу замены координат:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298134026_71bba5cd0327a3b9286d4c9def1ee661a4.png)
Матрицы перехода для функций (47) легко вычисляются:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133982_7263b6a542565239a31f8c95d32db75696.png)
Раскроем скобки, сохраняя лишь постоянные и линейные по v i слагаемые. После сокращений получаем:
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133996_73c55816e9284dd5d6a7855e47dce0a0d4.png)
откуда
![Метрический тензор Метрический тензор](/uploads/posts/2011-02/thumbs/1298133970_74b555eaad2fd73e9fa63c92388ed2728f.png)
Эта формула применяется для вывода линеаризованные уравнения Эйнштейна в теории гравитации. Аналогом этого случая в машинной обработке изображений является алгоритм линейного слежения за подвижными объектами по двум смежным кадрах видеокамеры. Данная аналогия лишь концептуальная, формулы получаются различные.
Метрический тензор допускает обобщение, когда мы не обмежуемся действительными положительно-определенными матрицами – Псевдометрика
В псевдометрици большинство формул внутренней геометрии остаются неизменными – и мы можем рассматривать понятие геодезической линии, ковариатного дифференцировки, тензора Римана. Но неопределенность знаков вносит коррективы в интерпретацию этих понятий. В частности геодезическая линия не является кратчайшей, и понятие расстояния становится сложнее чем в евклидовом случае (корень из отрицательного числа). Изучение псевдометрикы побуждается свойствами физического пространства, в котором мы живем – смотрите статью Метрика пространства-времени
![](/templates/simpletape-v2-105/images/full-news-line1.png)
![](/templates/simpletape-v2-105/images/full-news-line2.png)
Дифференциальная геометрия
Дифференциальная геометрия – это математическая дисциплина применяющая методы математического анализа для изучения гладких кривых, поверхностей и, в общем виде, их n-мерных аналогов, которые
ПОДРОБНЕЕ
Аналитическая геометрия
Аналитическая геометрия, раздел геометрии, в котором свойства геометрических образов (точек, линий, поверхностей) устанавливаются средствами алгебры при помощи метода координат, то есть путем
ПОДРОБНЕЕ
Многообразие
Многообразие – это объект, который локально имеет характер метрического пространства размерности n. Он имеет целочисленных размерность, которая указывает сколькими параметрами (координатами) можно
ПОДРОБНЕЕ
Системы координат
Координаты на плоскости и в пространстве можно вводить бесконечным числом разных способов. Решая ту или иную математическую или физическую задачу методом координат, можно использовать различные
ПОДРОБНЕЕ
Прямая
Прямая – одно из основных понятий геометрии. При систематическом изложении геометрии прямая линия обычно принимается за одно из исходных понятий, которое лишь косвенным образом определяется аксиомами
ПОДРОБНЕЕ
Географические координаты
Географическая сфера Географические координаты – величины, определяющие положение определенной точки на местности (на плане или на карте) относительно принятой системы координат. Система координат
ПОДРОБНЕЕ