ナッシュの埋め込み定理
Solovay) との後の会話 において、非コンパクトな多様体の場合の埋め込む空間の次元の充分な値を導出する元々の議論の誤りについて言及している。
ナッシュの埋め込み定理は、多様体全体が R の中へ埋め込まれると意味で、大域的な定理である。局所的な埋め込み定理ははるかに簡単であり、多様体の座標近傍において解析学の陰関数定理を用いて証明できる。大域的な埋め込み定理の証明は、陰関数定理のナッシュによる大きな一般化や、ナッシュ・モーザーの定理(英語版)や、前提条件を持つニュートン法に依存している。埋め込み問題のナッシュの解法の基本的なアイデアは、上記の偏微分方程式系の解の存在を証明するためにニュートン法を使うことである。標準的なニュートン法をその系に適用すると発散によりうまくいかない。ナッシュは、ニュートンの逐次近似を収束させるために、畳み込みにより定義された smoothing operator を用いる。このテクニックが解をもたらすという事実は、それ自身が存在定理であり独立した興味の対象である。(smoothing operator を導入することなく)ニュートン法を直接使うカントロヴィッチの逐次近似(Kantorovich iteration)と呼ばれるより古い手法もある。