目录
子流形
数学上，流形M的子流形是子集S，且本身也有流形的结构，并且内含映射S → M满足特定属性。根据具体所需的属性，有各种不同类型的子流形。不同作者经常采用不同的定义。.
查看 纳什嵌入定理和子流形
微分几何
微分幾何研究微分流形的幾何性質，是現代數學中一主流；是廣義相對論的基礎，與拓撲學、代數幾何及理論物理關係密切。 古典微分几何起源于微积分，主要内容为曲线论和曲面论。歐拉、蒙日和高斯被公认为古典微分几何的奠基人。近代微分几何的创始人是黎曼，他在1854年创立了黎曼几何（实际上黎曼提出的是芬斯勒几何），这成为近代微分几何的主要内容，并在相对论有极为重要的作用。埃利·嘉当和陈省身等人曾在微分几何领域做出极为杰出的贡献。.
查看 纳什嵌入定理和微分几何
约翰·福布斯·纳什
小约翰·--·納殊（John Forbes Nash Jr.，），美國數學家，前麻省理工學院摩爾榮譽講師，主要研究博弈論、微分幾何学和偏微分方程。晚年為普林斯頓大學的資深研究數學家。 1950年，納殊获得美国普林斯頓大學的博士学位，他在仅仅28页的博士论文中提出了一个重要概念，成為博弈论中一項重要突破。這個概念被稱為“納許均衡”，廣泛運用在經濟學、計算機科學、演化生物學、人工智慧、會計學、政策和軍事理論等方面。1994年，他和其他两位博弈論学家约翰·海薩尼和萊因哈德·澤爾騰共同獲得了诺贝尔经济学奖。 他最重要的數學成就是在微分幾何和偏微分方程的領域，特別是黎曼流形等距嵌入到歐氏空間的一系列結果。因為在非線性偏微分方程上的貢獻，他与路易·尼伦伯格共同获得了2015年阿贝尔奖。著名幾何學家米哈伊爾·格羅莫夫評價納殊的工作：「他有巨大的分析（指數學分析）能力與幾何洞察力結合。……他的幾何工作，不論是他的結果、技術、用的想法，都與任何人原先預期的相反。……他在幾何學所做的，從我看來，比起他在經濟學所做的無可比擬地偉大得多，相差很多個數量級。」 在1959年之後，由於出現精神上的症狀，他的研究生涯曾經中斷，在1959年及1961年兩度進入醫院療養，被診斷為思覺失調症。納殊拒絕接受精神藥物治療，在1970年後，症狀逐漸好轉，因此再度回到學術研究工作。他這段時間的經歷，由Sylvia Nasar寫成傳記，並翻拍為電影《美麗境界》，使得他的事蹟廣為人知。.
黎曼几何
微分幾何中，黎曼幾何（英語：Riemannian geometry）研究具有黎曼度量的光滑流形，即流形切空間上二次形式的選擇。它特別關注于角度、弧線長度及體積。把每个微小部分加起來而得出整體的數量。 19世紀，波恩哈德·黎曼把這個概念加以推广。 任意平滑流形容許黎曼度量及這個額外結構幫助解決微分拓扑問題。它成為伪黎曼流形複雜結構的入門。其中大部分都是廣義相對論的四維研究对象。 黎曼幾何与以下主題有关：.
查看 纳什嵌入定理和黎曼几何
黎曼流形
黎曼流形（Riemannian manifold）是一個微分流形，其中每點p的切空間都定義了點積，而且其數值隨p平滑地改變。它容許我們定義弧線長度、角度、面積、體積、曲率、函數梯度及向量域的散度。 每個Rn的平滑子流形可以导出黎曼度量：把Rn的點積都限制於切空間內。實際上，根据纳什嵌入定理，所有黎曼流形都可以這樣产生。 我們可以定義黎曼流形為和Rn的平滑子流形是等距同构的度量空間，等距是指其内蕴度量（intrinsic metric）和上述从Rn导出的度量是相同的。这對建立黎曼幾何是很有用的。 黎曼流形可以定义为平滑流形，其中给出了一个切丛的正定二次形的光滑截面。它可產生度量空間： 如果γ: → M是黎曼流形M中一段連續可微分的弧線，我們可以定義它的長度L（γ）為 （注意：γ'（t）是切空間M在γ（t）點的元素；||·||是切空間的內積所得出的範數。） 使用这个长度的定义，每个连通的黎曼流形M很自然的成为一个度量空間（甚至是長度度量空間）：在x與y兩點之間的距離d（x, y）定義為： 虽然黎曼流形通常是弯曲的，“直線”的概念依然存在：那就是測地線。 在黎曼流形中，測地線完备的概念，和拓撲完备及度量完备是等价的：每个完备性都可以推出其他的完备性，这就是Hopf-Rinow定理的内容。.
查看 纳什嵌入定理和黎曼流形
数学定理列表
以下是数学定理的列表：.