ИНВАРИАНТНАЯ МЕТРИКА это:

ИНВАРИАНТНАЯ МЕТРИКА

- риманова метрика mна многообразии М, не изменяющаяся при всех преобразованиях из данной группы Ли G преобразований. Сама группа G при этом наз. группой движений (изометрий) метрики m(или риманова пространства ( М, т)).

Группа Ли G преобразований многообразия М, действующая на Мсовершенно (т. е. так, что отображение

является собственным), обладает инвариантной метрикой. Обратно, группа всех движений любой римановой метрики (а также любая ее замкнутая подгруппа) является совершенной группой Ли преобразований. В этом случае стабилизатор

любой точки - компактная подгруппа в G.

Если сама группа G компактна, то G-инвариантную метрику т 0 на Мможно построить, усреднив произвольную метрику тна Мпо группе G:

где интеграл берется по мере Хаара.

В случае, когда группа Gтранзитивна, многообразие Мотождествляется с пространством смежных классов G/H группы Gпо стабилизатору фиксированной точки и для существования G-инвариантной метрики на Мнеобходимо и достаточно, чтобы линей ная группа изотропии (см. Изотропии представление )имела компактное замыкание в (в частности, достаточно, чтобы Нбыла компактна). В этом случае пространство G/H редуктивно, т. е. алгебра Ли группы Gдопускает разложение где - подалгебра, отвечающая - подпространство, инвариантное относительно AdH, где Ad - присоединенное представление группы G. Если отождествить тс Т х0 (М), то любая G-инвариантная метрика mна Мполучается из нек-рой AdН-инвариантной евклидовой метрики на следующим образом:

где - такой элемент, что gx0=x.

Тензорные ноля, связанные с G-инвариантной метрикой (тензор кривизны, его ковариантные производные и т. п.), суть G-инвариантные поля. В случае однородного пространства M=G/H их значение в точке х 0 выражается через операторы Номидзу задаваемые формулой

где X*- поле скоростей однопараметрич. группы преобразований exp tX, -оператор ковариантного дифференцирования римановой связности, а - оператор производной Ли. В частности, для оператора кривизны Riem (X, Y )и для секционной кривизны К( Х, Y )по направлению, задаваемому ортонормальным базисом, справедливы следующие формулы:

где Zm- проекция на вдоль

Операторы Номидзу выражаются в терминах алгебры Ли и метрики формулой

где Из определения операторов Номидзу следует, что их действие на G-инвариантные поля отличается только знаком от действия ковариантной производной в точке х 0. Если риманово пространство (G/H, m )не содержит плоских сомножителей в разложении де Рама, то линейная алгебра Ли, порожденная операторами Номидзу совпадает с алгеброй голономии пространства (GlH, m )в точке х 0.

Описание геодезических инвариантной метрики на однородном пространстве можно дать следующим образом. Пусть сначала M=G - группа Ли, действующая на себе при помощи левых сдвигов. Пусть gt- геодезическая левоинвариантной метрики mна группе Ли G и - соответствующая ей кривая в алгебре Ли (годограф скорости). Кривая Xt удовлетворяет уравнению годографа

где ad* X- оператор, сопряженный оператору присоединенного представления adX. Геодезическая gt восстанавливается по своему годографу скорости ct из дифференциального уравнения gt=ctXt (линейного, если группа G линейна) или из функциональных соотношений задающих первые интегралы этого уравнения. Таким образом, описание геодезических метрики mсводится к интегрированию уравнения годографа, к-рое иногда удается полностью проинтегрировать. Напр., в случае, когда метрика тинвариантна и относительно правых сдвигов, геодезические, проходящие через точку е, суть однопараметрич. подгруппы группы G. Такая метрика существует на любой компактной группе Ли. В случае произвольного однородного пространства M=G/H инвариантную метрику m на G можно "поднять" до такой левоинвариантной метрики тна G, что естественное расслоение риманова пространства (G, т)над римановым пространством (G/H, т )является римановым расслоением, т. е. при проектировании длина касательных векторов, ортогональных к слою, не меняется. Для этого достаточно продолжить метрику ( ,) на всю алгебру полагая

и разнести ее левыми сдвигами до метрики тна G. Геодезические риманова пространства (G/H, т )являются проекциями ортогональных к слоям геодезических риманова пространства

Поскольку функция на всегда является первым интегралом уравнения годографа (интегралом энергии), соответствующее уравнению векторное поле на касается сфер =const. Это влечет за собой полноту уравнения годографа, а тем самым и полноту любой инвариантной римановой метрики на однородном пространстве. Для псевдоримановых метрик свойство полноты, вообще говоря, уже не имеет места. Однако любая инвариантная псевдориманова метрика на компактном однородном пространстве полна.

См. также Симметрическое пространство. Лит.:[1] Xелгасон С, Дифференциальная геометрия и симметрические пространства, пер. с англ., М., 1964; [2] Петров А. 3., Новые методы в общей теории относительности, М., 1966; [3] Коbауаshi S., Nоmizu K., Foundation of differential geometry, v. 2, N.Y., 1969; [4] Коbауashi S., Transformation groups in differential geometry, B.-Hdlb.-N.Y., 1972; [5] Wolf J. A., Spaces of constant curvature, N. Y., 1967; [6] Lichnerowicz A., Geometrie des groupes de transformations, P., 1958.

Д. В. Алексеевский.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ИНВАРИАНТНАЯ МЕТРИКА" в других словарях:

  • КОНФОРМНО-ИНВАРИАНТНАЯ МЕТРИКА — на римановой поверхности R правило, к рое каждому локальному параметру z, отображающему параметрич. окрестность в замкнутую комплексную плоскость ставит в соответствие действительную функцию такую, что для всяких локальных параметров z1 : и z2 :… …   Математическая энциклопедия

  • ГИПЕРБОЛИЧЕСКАЯ МЕТРИКА — гиперболическая мера, метрика в области комплексной плоскости, обладающей по крайней мере тремя граничными точками, инвариантная относительно автоморфизмов этой области. Гиперболическая метрика в круге Е : . определяется линейным элементом где… …   Математическая энциклопедия

  • ФУБИНИ - ШТУДИ МЕТРИКА — эрмитова метрика на комплексном проективном пространстве определяемая эрмитовым скалярным произведением ( и, v )в пространстве Была введена почти одновременно Г. Фубини [1] и Э. Штуди [2]. Ф. Ш. м. задается формулой где |x|3 = (x,х); расстояние… …   Математическая энциклопедия

  • РИМАНОВО ПРОСТРАНСТВО ОДНОРОДНОЕ — риманово пространство ( М,g) вместе с транзитивной эффективной группой Gего движений. Пусть K стационарная подгруппа фиксированной точки Тогда многообразие Мотождествляется с факторпространством G/K с помощью биекции , а риманова метрика g… …   Математическая энциклопедия

  • КАВАГУТИ ПРОСТРАНСТВО — гладкое n мерное многообразие Vn, в к ром элемент дуги ds регулярной кривой x=x(t), выражается формулой: причем метрическая функция Fподчиняется условиям Цермело: где Условия (2) обеспечивают независимость элемента дуги ds от параметризации… …   Математическая энциклопедия

  • ПОЧТИ ПЕРИОДИЧЕСКАЯ ФУНКЦИЯ — функция, к рая может быть представлена обобщенным рядом Фурье. Существуют различные способы определения классов П. п. ф., основанные на понятиях замыкания, почти периода, сдвига. Каждый из классов П. п. ф. получается в результате замыкания в том… …   Математическая энциклопедия

  • ЭРГОДИЧЕСКАЯ ТЕОРИЯ — Введение Э. т. (метрическая теория динамических систем) раздел теории динамических систем, изучающий их статистич. свойства. Возникновение Э. т. (1 я треть 20 в.) было стимулировано попытками доказать эргодическую гипотезу (термин введён П. и Т.… …   Физическая энциклопедия

  • ИНВАРИАНТНЫЙ ОБЪЕКТ — на однородном пространстве поле геометрич. величин на однородном пространстве M=G/H группы Ли G, не меняющееся при всех преобразованиях из G. Более строгое определение И. о. состоит в следующем. Пусть локально тривиальное однородное расслоение… …   Математическая энциклопедия

  • Чёрная дыра — У этого термина существуют и другие значения, см. Чёрная дыра (значения). Изображение, полученное с помощью телескопа «Хаббл»: Активная галактика M87. В ядре галактики, предположительно, находится чёрная дыра. На сни …   Википедия

  • Квантовая чёрная дыра — Общая теория относительности Математическая формулировка ОТО Космология Фундаментальные идеи Специальная теория относительности …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»