納什嵌入定理

"等距"表示"保持曲線長度"。因此，該結果表明每個黎曼流形可以看作是歐氏空間的子流形。第一個定理適用於 C1-光滑嵌入，第二個用於解析或Ck, 3 ≤ k ≤ ∞的情形。兩個定理非常不同；第一個有很簡單的證明但並不直觀，而第二個非常具有技術性但其結論並不讓人吃驚。

C1定理發表於1954年, Ck定理發表於1956年,解析的情形則發表於1966年，都由納什給出。其深入發展見h-原則。