查看“纳什嵌入定理”的源代码

{{noteTA
|t=zh-hans:纳什嵌入定理; zh-hant:納許嵌入定理;
|1=zh-hans:纳什; zh-hant:納許;
}}
'''納許嵌入定理'''(Nash embedding theorems)：，以[[约翰·福布斯·纳什]]命名，指出每个[[黎曼流形]]可以等距[[嵌入_(数学)|嵌入]]到[[欧几里得空间]] '''R'''<sup>''n''</sup>。

「等距」表示「保持曲线长度」。因此，该结果表明每个黎曼流形可以看作是欧几里得空间的子流形。第一个定理适用于 ''C''<sup>1</sup>-[[光滑函数|光滑]]嵌入，第二个用于[[解析函数|解析]]或''C''<sup>''k''</sup>, 3 &le; ''k'' &le; &infin;的情形。两个定理非常不同；第一个有很简单的证明但有一些很違反直觀的結果，而第二个非常具有技术性但其结论比較不太出乎意料。

''C''<sup>1</sup>定理發表于1954年，''C''<sup>''k''</sup>定理發表于1956年。解析的情形则最先由納什于1966年處理，其中的論證後來在{{harvtxt|Greene|Jacobowitz|1971}}中簡化了很多。（這個定理的一個局部版本由埃利·嘉當與Maurice Janet 在1920年代證出。）納什對''C''<sup>''k''</sup>的證明後來发展成{{tsl|en|h-principle|h-原则}}和[[納什–Moser隱函數定理]]。納什的第二個嵌入定理的一個簡化證明由{{harvtxt|Günther|1989}}給出，方法是將納什的非線性偏微分方程組約化成橢圓系統，而[[巴拿赫不動點定理|壓縮映射定理]]能夠應用於後者。

== 纳什-科伊伯定理(Nash-Kuiper theorem ,''C''<sup>1</sup>嵌入定理) ==

'''定理''' 令<math>(M,g)</math>为一黎曼流形而<math>f:M^m\to \R^n </math>为一个[[短映射|短]]的<math>C^\infty </math>光滑[[嵌入]]（或浸入(immersion)）到欧几里得空间<math>\R^n</math>, <math>n\ge m+1</math>。（「短」表示縮短曲線長度。）则对于任意<math>\epsilon>0 </math>存在嵌入(或浸入)<math>f_\epsilon:M^m\to \R^n</math>满足

:(i) <math>C^1</math>-光滑,

:(ii) 等距， 也即对于在点<math>x\in M</math>的切空间任何两个向量<math>v,w\in T_x(M)</math>，我们有<math>g(v,w)=\langle df_\epsilon(v),df_\epsilon(w)\rangle</math>.

:(iii) <math>\epsilon</math>-接近''f'', i.e. :<math>|f(x)-f_\epsilon(x)|<\epsilon</math> 对于所有<math>x\in M</math>。

特别的是，因为它从[[惠特尼嵌入定理]]（Whitney embedding theorem）得出，任何''m''-维黎曼流形可以有一个等距<math>C^1</math>-嵌入到2''m''-维欧几里得空间中的'''任意小的鄰域'''。定理最初由纳什在条件<math>n\ge m+2 </math>而不是<math>n\ge m+1 </math>下证明，不過他提示了改進到<math>n\ge m+1 </math>的方法，尔后被[[尼古拉&middot;科伊伯]](Nicolaas Kuiper)推廣到<math>n\ge m+1 </math>。

定理有很多反直觀的推導結果。例如，可以得出任何闭可定向黎曼曲面可以<math>C^1</math>等距嵌入到在欧几里得三维空间中的任意小[[球 (数学)|球]]（對足夠小的ε，不存在这样的等距<math>C^2</math>-嵌入，因為由[[高斯曲率]]的公式，這樣的嵌入的極點會有曲率≥ ε<sup>−2</sup>，違反[[絕妙定理]]所指出的等距<math>C^2</math>-嵌入保持高斯曲率不變）。

== ''C''<sup>k</sup>嵌入定理 ==

技术性的陈述如下: 若''M''为一给定''m''-维黎曼流形 (解析或属于C<sup>''k''</sup>类, 3 &le; ''k'' &le; &infin;), 则存在''n'' (<math> n = m^2+5m+3</math> 就可以)和一个[[单射]]''f'' : ''M'' <tt>-></tt> '''R'''<sup>''n''</sup> (也是解析的或者属于C<sup>''k''</sup>类)使得对于''M''的所有点''p''，[[导数]] d''f''<sub>''p''</sub> 是一个[[线性算子|线性映射]]从[[切空间]] T<sub>''p''</sub>''M'' 到'''R'''<sup>''n''</sup>，和给定在T<sub>''p''</sub>''M''上的[[内积空间|内积]]和'''R'''<sup>''n''</sup>的标准[[标量积|內积]]在如下意义下兼容:
: &lt; ''u'', ''v'' &gt; = d''f''<sub>''p''</sub>(''u'') &middot; d''f''<sub>''p''</sub>(''v'') 
对于T<sub>''p''</sub>''M''中的所有向量''u'', ''v''。 
这是[[偏微分方程]](PDE)的不定系统。

纳什嵌入定理是全局系统，因为整个流形嵌入到了'''R'''<sup>''n''</sup>。局部嵌入定理要简单得多，可以在流形的座標鄰域中用高等微積分的[[隐函数定理]]证明。这里给出的全局嵌入定理的证明依赖于纳什对隐函数定理的极大推广版本，[[Nash-Moser定理]]和带后处理(postconditioning)的牛顿法(见参考)。纳什解决嵌入问题的基本思想是采用[[牛顿法]]来证明该PDE系统有解。标准的牛顿法应用于该系统时不收敛，所以纳什利用光滑化算子来保证牛顿循环收敛。这个改变了的牛顿法成为带后处理的牛顿法。平滑算子由[[卷积]]定义。该平滑算子保证了循环的趋向于一个根，使得它可以用来作为[[存在性定理]]。通过证明PDE系统存在一个根就证明了黎曼流形的等距嵌入的存在性。有一个更老的循环称为[[Kantovorich循环]]，它是只用牛顿方法的存在性定理(所以不用平滑算子)。

== 参考文獻 ==
* {{citation|last=Greene|first=Robert E.|last2 = Jacobowitz|first2=Howard|title= Analytic Isometric Embeddings|journal=[[Annals of Mathematics]]|volume=93|pages=189–204|doi=10.2307/1970760|issue=1|year=1971|jstor=1970760|mr=0283728}}
* {{citation|first=Matthias|last=Günther|title=Zum Einbettungssatz von J. Nash | trans-title=On the embedding theorem of J. Nash | language=de |
journal=[[Mathematische Nachrichten]]|volume= 144 |year=1989|pages= 165–187|doi=10.1002/mana.19891440113 | mr=1037168}}
* N.H.Kuiper: "On ''C''<sup>1</sup>-isometric imbeddings I", Nederl. Akad. Wetensch. Proc. Ser. A., 58 (1955), pp 545-556.
* John Nash: "''C''<sup>1</sup>-isometric imbeddings", Annals of Mathematics, 60 (1954), pp 383-396.
* John Nash: "The imbedding problem for Riemannian manifolds", Annals of Mathematics, 63 (1956), pp 20-63.
* John Nash: "Analyticity of the solutions of implicit function problem with analytic data" Annals of Mathematics, 84 (1966), pp 345-355.

==外部連結==
*{{cite web|url=http://math.univ-lyon1.fr/~borrelli/Hevea/Presse/index-en.html|title=Hevea Project: The Press Folder|language=en|deadurl=yes|archiveurl=https://web.archive.org/web/20120618084643/http://math.univ-lyon1.fr/~borrelli/Hevea/Presse/index-en.html|archivedate=2012-06-18}}描繪平坦環面等距''C''<sup>1</sup>-嵌入到'''R'''<sup>3</sup>的圖像的計劃
[[Category:黎曼几何]]
[[Category:数学定理|N]]

[[ru:Теорема Нэша — Кейпера]]