- НЭША ТЕОРЕМЫ
в дифференциальной геометрии - две группы теорем об изометрич. вложениях и погружениях римановых многообразий в евклидовы пространства, и первоначальные варианты к-рых принадлежат Дж. Нэшу (J. Nash).
1) Н. т. о
-вложениях и
-погружениях. Погружение класса
(вложение)
n-мерного риманова пространства
класса
с метрикой
в m-мерное евклидово пространство
наз. коротким, если индуцированная им на
метрика
такова, что квадратичная форма
положительно определена. Тогда если
допускает короткое погружение (вложение) в
то
допускает и изометрич. погружение (вложение) класса
в
. Эта теорема при ограничении
доказана в [1], а в приведенной формулировке доказана в [2]. Из этой теоремы вытекает, в частности, что если компактное риманово многообразие
имеет
вложение (погружение) в
допускает и изометрич.
-вложение (погружение) в
Другим следствием Н. т. является наличие у каждой точки
достаточно малой окрестности, допускающей изометрич. вложение класса
в
2) Н. т. о регулярных вложениях. Всякое компактное риманово многообразие
класса
допускает изометрич.
вложение в
, где
. Если
некомпактно, то оно допускает. <изометрич.
вложение в
, где
Н. т. о регулярных вложениях получена в результате применения теоремы об обращении широкого класса дифференциальных операторов - Н. т. о неявной функции. Смысл этой теоремы состоит в том, что из разрешимости нек-рой линейной алгебраич. системы уравнений, естественно связанной с дифференциальным оператором L, и при введении разумной топологии в образе и прообразе рассматриваемый оператор является открытым отображением, т. е. оператор Lлокально обратим вблизи любой точки из множества его значений. Для уравнений вложения риманова пространства в евклидово эти условия сводятся к тому, что первые и вторые производные отображения
по внутренним координатам
должны быть линейно независимыми. Такие вложения были впервые рассмотрены в [4]; они наз. свободными вложениями. Из Н. т. о неявной функции вытекает, что компактное риманово многообразие
, достаточно близкое к компактному риманову многообразию
, допускающему свободное вложение в
, также допускает свободное вложение в
. Этот факт и своеобразный метод продолжения по параметру привели к Н. т. о регулярных вложениях (см. [3]). С помощью распространения методов Нэша на некомпактные многообразия и аналитич. вложения, а также с помощью кардинального усовершенствования процесса продолжения по параметру доказано, что всякое бесконечно дифференцируемое (аналитическое) риманово многообразие
допускает изометрическое дифференцируемое (аналитическое) вложение в
, где
Лит.:[1] Наш Д ж., "Математика", 1957, т. 1, № 2, с. 3-16; [2] Кёйпер Н., там же, т. 1, №2, с. 17-28; [3] Нэш Дж., "Успехи матем. наук", 1971, т. 26, в. 4, с. 173- 216; [4] Бурстин К., "Матем. сб.", 1931, т. 38, № 3-4, с. 74-85.
Д. Д. Соколов.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.