Теорема Нэша о регулярных вложениях
Теорема Нэша о регулярных вложениях, иногда называемая основная теорема римановой геометрии, — утверждение о том, что любое риманово многообразие допускает гладкое вложение в евклидово пространство достаточно высокой размерности. Формально, всякое [math]\displaystyle{ m }[/math]-мерное риманово многообразие [math]\displaystyle{ (V^m,\;g) }[/math] класса [math]\displaystyle{ C^r }[/math], [math]\displaystyle{ 3\leqslant r\leqslant\infty }[/math], допускает изометрическое [math]\displaystyle{ C^r }[/math] вложение в [math]\displaystyle{ \R^n }[/math] для достаточно большого [math]\displaystyle{ n }[/math].
Установлена американским математиком Джоном Нэшем, Нэш также дал явную оценку [math]\displaystyle{ n \geqslant m(m+1)(3m+11)/2 }[/math], которая позднее несколько раз улучшалась, в частности теорема справедлива для [math]\displaystyle{ n\geqslant m^2+10m+3 }[/math][1].
В доказательстве был введён новый метод решения дифференциальных уравнений, так называемая теорема Нэша — Мозера изначально доказанная Нэшем. Существенное упрощение этой части доказательства было дано Матиасом Гюнтером.[2] Его метод был слегка упрощён в нескольких заметках Дэна Янга[3] Теренсa Тао[4] и Ральфа Хоурда[5]
Вариации и обобщения
- Теорема Нэша — Кейпера — аналогичный результат для [math]\displaystyle{ C^1 }[/math]-гладких вложений.
- Аналогичная теорема для псевдоримановых многообразий следует из теоремы Нэша, но её можно доказать без использования теоремы Нэша — Мозера. Возможно построить изометрическое вложение в псевдоевклидово пространство только с помощью скручиваний Нэша.
- Любое гладкое компактное финслерово многообразие со строго выпуклыми нормами допускает изометрическое вложение в конечномерное Банахово пространство.[6].
- Справедлив аналогичный результат для аналитических вложений, установлен также Нэшем, но существенно позднее[7].
- Теорема Позняка утверждает, что любой диск на плоскости с римановой метрикой [math]\displaystyle{ (\R^2,g) }[/math] допускает изометрическое погружение в 4-мерное евклидово пространство.[8]
- Вопрос о существовании локального гладкого изометрического вложения в 3-мерное евклидово пространство остаётся открытым.
Примечания
- ↑ см. стр. 319, Громов М., Дифференциальные соотношения с частными производными, Мир 1990
- ↑ Matthias Günther, On the perturbation problem associated to isometric embeddings of Riemannian manifolds, Annals of Global Analysis and Geometry 7 (1989), 69—77.
- ↑ Yang, Deane, Gunther's proof of Nash's isometric embedding theorem, arΧiv:math/9807169.
- ↑ Terence Tao Notes on the Nash embedding theorem
- ↑ Ralph Howard Notes on Günther’s Method and the Local Version of the Nash Isometric Embedding Theorem
- ↑ Д. Ю. Бураго, С. В. Иванов. Изометрические вложения финслеровых многообразий // Алгебра и анализ. — 1993. — Т. 5, № 1. — С. 179—192.
- ↑ Дж. Нэш. Аналитичность решений задач о неявной функции с аналитическими исходными данными // УМН. — 1971. — Т. 26, № 4(160). — С. 217—226.
- ↑ Э. Г. Позняк. Изометрические погружения двумерных римановых метрик в евклидовы пространства // УМН. — 1973. — Т. 28, № 4(172). — С. 47–76.
Литература
- Дж. Нэш. Проблема вложений для римановых многообразий // УМН. — 1971. — Т. 26, № 4(160). — С. 173—216.