Теорема Нэша — Кёйпера утверждает, что любое гладкое короткое вложение (или погружение ) ${\displaystyle n}$ -мерного Риманова многообразия в Евклидово пространство ${\displaystyle \mathbb {R} ^{q}}$ при ${\displaystyle q>n}$ можно аппроксимировать ${\displaystyle C^{1}}$ -гладким изометрическим вложением (или соответственно погружением).

Формулировка

Термин «изометрическое вложение/погружение» здесь означает соответственно вложение/погружение, которое сохраняет длины кривых.

Более точно:

Пусть ${\displaystyle (M,g)}$ есть Риманово многообразие и ${\displaystyle f\colon M^{n}\to \mathbb {R} ^{q}}$ есть короткое ${\displaystyle C^{\infty }}$ -гладкое вложение (или погружение ) в Евклидово пространство ${\displaystyle {\mathbb {R} }^{q}}$ и ${\displaystyle q>n}$ . Тогда для любого ${\displaystyle \varepsilon >0}$ существует вложение (или соответственно погружение) ${\displaystyle f_{\varepsilon }\colon M^{n}\to \mathbb {R} ^{q}}$ такое, что ${\displaystyle f_{\varepsilon }}$ является ${\displaystyle C^{1}}$ -гладким, (изометричность) для любых двух касательных векторов ${\displaystyle v,w\in T_{x}(M)}$ в касательном пространстве точки ${\displaystyle x\in M}$ мы имеем: ${\displaystyle g(v,w)=\langle df_{\epsilon }(v),df_{\epsilon }(w)\rangle .}$ ( ${\displaystyle C^{0}}$ -близость) ${\displaystyle |f(x)-f_{\varepsilon }(x)|<\varepsilon }$ для всех ${\displaystyle x\in M}$ .

Этот результат является весьма контринтуитивным . В частности из него следует что любая замкнутая ориентированная поверхность может быть изометрично ${\displaystyle C^{1}}$ -вложена в произвольно малый трёхмерный шар. Из формулы Гаусса следует, что такое вложение невозможно в классе ${\displaystyle C^{2}}$ -вложений.

История

Теорема была доказана Нэшем в предположении ${\displaystyle q>n+1}$ вместо ${\displaystyle q>n}$ и приведена к настоящему виду Кёйпером с помощью нехитрого трюка.

Вариации обобщения

• Теорема Нэша о регулярных вложениях
• Теорема Громова о складках утверждает, что для любого короткого отображения из ${\displaystyle n}$ -мерного риманова многообразия в ${\displaystyle \mathbb {R} ^{n}}$ существует сколь угодно близкое (негладкое) отображение, сохраняющее длины кривых.

Литература

• Н. Х. Кёйпер . (рус.) // Математика . — 1957. — Т. 1 , № 2 . — С. 17—28 .

• Дж. Нэш . (рус.) // Математика . — 1957. — Т. 1 , № 2 . — С. 3—16 .