Приводимое Риманово Пространство

риманово пространство М, у к-рого линейная (или, иначе, однородная) голономии группа приводима, т. Е. Имеет нетривиальные инвариантные подпространства. Риманово пространство с неприводимой группой голономии наз. Неприводимым. Полное односвязное П. Р. П. Разложимо (теорема де Рама), т. Е. Разлагается в прямое произведение римановых пространств положительной размерноети. Более точно, любое полное односвязное риманово пространство изометрично прямому произведению евклидова пространства M0 и полных односвязных неприводимых римановых пространств Mi, i>0, причем такое разложение Мединственно с точностью до порядка сомножителей. Ослабленный вариант этой теоремы справедлив для псевдоримановых пространств. Псевдориманово пространство наз.

Слабо неприводимым, если все нетривиальные инвариантные относительно группы голономии Г подпространства касательного пространства изотропны, т. Е. Индуцированное на них скалярное произведение вырождено. Любое полное односвязное псевдориманово пространство разлагается в прямое произведение слабо неприводимых псевдоримановых пространств. Если подпространство неподвижных относительно группы голономии векторов неизотропно, то такое разложение единственно с точностью до порядка сомножителей. Слабо неприводимое псевдориманово пространство не разлагается в прямое произведение псевдоримановых пространств [3]. Лит.:[1] Лихнерович А., Теория связностей в целом и групп голономии, пер. С франц., М., 1960. [2] Кобаяси Ш., Номидзу К., Основы дифференциальной геометрии, пер.

С англ., т. 1, М., 1981. [3] W u H., "Illinois J. Math.", 1964, v. 8, №2, p. 291-311. [4] Шапиро Я. Л., "Докл. АН СССР", 1972, т. 206, №' 4, с. 831-33. Д. В. Алексеевский.