Конформно плоское многообразие: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м исправление тире перед скобкой, см. ФВ
Нет описания правки
Строка 1: Строка 1:
'''Конформно плоское многообразие''' ([[Псевдориманово многообразие|псевдо]]) [[риманово многообразие]], каждая точка которого имеет окрестность, которая может быть [[Конформное отображение|конформно]] отображена на область евклидова пространства.
'''Конформно плоское многообразие''' — [[Риманово многообразие|риманово]] или [[Псевдориманово многообразие|псевдориманово]] многообразие, каждая точка которого имеет окрестность, которая может быть [[Конформное отображение|конформно]] отображена на область евклидова пространства.


Более формально, пусть ''M'' — псевдориманово многообразие с метрикой ''g''.
Более формально, пусть ''M'' — псевдориманово многообразие с метрикой ''g''.
Тогда ''M'' является конформно плоским, если для каждой точки <math>x \in M </math>существует окрестность <math>U \ni x</math> и [[гладкая функция]] <math>\phi</math>, определённая на ''U'' и такая, что метрика <math>e^{2\phi}\cdot g</math> на <math>U</math> является плоской
Тогда ''M'' является конформно плоским, если для каждой точки <math>x \in M </math>существует окрестность <math>U \ni x</math> и [[гладкая функция]] <math>\phi</math>, определённая на ''U'' и такая, что метрика <math>e^{2\phi}\cdot g</math> на <math>U</math> является плоской
(то есть [[Тензор кривизны|кривизны]] <math> e^{2\phi}\cdot g</math> обращаются в нуль на <math>U</math>).
(то есть [[Тензор кривизны|кривизны]] <math> e^{2\phi}\cdot g</math> обращаются в нуль на <math>U</math>).


Функция <math>\phi</math> называется конформным фактором, она не должна быть определена на всём ''М''.
Функция <math>\phi</math> называется конформным фактором, она не должна быть определена на всём ''М''.

Версия от 08:50, 28 ноября 2018

Конформно плоское многообразие — риманово или псевдориманово многообразие, каждая точка которого имеет окрестность, которая может быть конформно отображена на область евклидова пространства.

Более формально, пусть M — псевдориманово многообразие с метрикой g. Тогда M является конформно плоским, если для каждой точки существует окрестность и гладкая функция , определённая на U и такая, что метрика на является плоской (то есть кривизны обращаются в нуль на ).

Функция называется конформным фактором, она не должна быть определена на всём М. Некоторые авторы используют термин локально конформно плоское для описания понятия, введённого выше, и оставляют термин конформно плоское для случая, в котором функция определяется на всём М.

Примеры

  • Любое многообразие с постоянной секционной кривизной является конформно плоским.
  • Любое 2-мерное псевдориманово многообразие является конформно плоским.
  • 3-мерное псевдориманово многообразие является конформно плоским тогда и только тогда, когда тензор Коттона обращается в нуль.
  • n-мерное псевдориманово многообразие для n ≥ 4 является конформно плоским, тогда и только тогда, когда тензор Вейля обращается в нуль.

Свойства