ch02微分流形

微分流形基本概念 详细讲解与推导证明

我将以60余年微分几何研究与教学的经验，从动机引入→概念拆解→严格推导→本质解读的逻辑，完整讲解本节内容，最后用表格归纳核心知识点。

---

一、引入：为什么要定义微分流形？

微积分的基础是欧氏空间\(\mathbb{R}^m\)：我们可以在\(\mathbb{R}^m\)上定义坐标系、求极限、做微分运算。但大量几何对象不存在整体的欧氏坐标系，最典型的例子就是2维球面\(S^2\)：

• 拓扑学严格证明：\(S^2\)与\(\mathbb{R}^2\)不同胚（不存在双连续的一一映射），因此无法给\(S^2\)上所有点建立一个全局的、与\(\mathbb{R}^2\)一一对应的坐标系；
• 但\(S^2\)的局部可以和\(\mathbb{R}^2\)的开集同胚：比如用球极投影，把去掉北极的球面映到\(\mathbb{R}^2\)，去掉南极的球面也映到\(\mathbb{R}^2\)，两个局部坐标覆盖整个球面。

微分流形的核心思想，就是用一族局部欧氏坐标系覆盖拓扑空间，再通过相容的坐标变换，给拓扑空间赋予可以做微积分的结构，让我们能在弯曲的几何对象上建立微分学。

---

二、核心概念1：拓扑流形（定义2.1.1）

定义原文重述

设\(M\)是一个Hausdorff拓扑空间，若对每一点\(p\in M\)，都有\(p\)的一个邻域\(U\)与\(\mathbb{R}^m\)的一个开集同胚，则称\(M\)为\(m\)维拓扑流形。

概念拆解与本质解读

我们把定义拆成3个不可缺少的核心条件，逐一讲解：

1. 底空间：Hausdorff拓扑空间
   Hausdorff分离性：对\(M\)中任意两个不同的点\(p\neq q\)，存在\(p\)的开邻域\(U_p\)、\(q\)的开邻域\(U_q\)，使得\(U_p\cap U_q=\emptyset\)。
   • 作用：排除“病态拓扑空间”（比如带两个原点的直线），保证拓扑空间的点是“可分离的”，为后续极限、微分运算的良定性提供基础。
2. 核心性质：局部欧氏性
   对任意\(p\in M\)，存在开邻域\(U\ni p\)，以及同胚映射\(\varphi_U: U\to \varphi_U(U)\subset\mathbb{R}^m\)，其中\(\varphi_U(U)\)是\(\mathbb{R}^m\)的开集。
   • 同胚的含义：双射、连续、逆映射也连续，拓扑意义上“完全等价”。
   • 本质：拓扑流形的每一个局部，都可以“拉直”成欧氏空间的开集，我们可以用欧氏空间的坐标来标记局部的点。
3. 维数良定性
   定义中的\(m\)是流形的维数，由区域不变性定理保证：\(\mathbb{R}^m\)的开集与\(\mathbb{R}^n\)的开集同胚，当且仅当\(m=n\)。因此拓扑流形的维数是唯一确定的，不会出现同一个流形有两个不同维数的情况。

坐标卡与坐标函数

基于局部同胚，我们定义流形上的局部坐标系：

• 坐标卡（坐标图、坐标邻域）：称二元组\((U,\varphi_U)\)为\(M\)的一个坐标卡，其中\(U\)是开邻域，\(\varphi_U:U\to\mathbb{R}^m\)是局部同胚。
• 坐标函数：设\(\pi^i:\mathbb{R}^m\to\mathbb{R}\)是欧氏空间到第\(i\)个分量的投影映射，定义
  \[x^i(q) = \pi^i\circ\varphi_U(q),\quad i=1,2,\dots,m,\ \forall q\in U \]
  \(x^i:U\to\mathbb{R}\)称为第\(i\)个坐标函数，\(x^i(q)\)就是点\(q\)在坐标卡\((U,\varphi_U)\)下的第\(i\)个坐标，因此\(\varphi_U(q)=(x^1(q),x^2(q),\dots,x^m(q))\)。

  注：微分几何中使用上标标记坐标，是爱因斯坦求和约定的惯例，与幂次区分，后续所有推导均遵循此规则。

---

三、核心概念2：坐标变换（转移函数）

同一个点可能落在两个不同的坐标卡中，此时同一个点有两套不同的局部坐标，两套坐标之间的映射就是坐标变换，它是连接局部坐标、定义微分结构的核心桥梁。

定义与表达式推导

设点\(q\)同时属于两个坐标卡\((U,\varphi_U)\)和\((V,\varphi_V)\)，即\(q\in U\cap V\)：

• 在\((U,\varphi_U)\)下，\(q\)的坐标为\((x^1(q),\dots,x^m(q))\)，即\(\varphi_U(q)=(x^1,\dots,x^m)\)；
• 在\((V,\varphi_V)\)下，\(q\)的坐标为\((\bar{x}^1(q),\dots,\bar{x}^m(q))\)，即\(\varphi_V(q)=(\bar{x}^1,\dots,\bar{x}^m)\)。

由于\(\varphi_U\)和\(\varphi_V\)都是同胚，因此：

1. \(\varphi_U(U\cap V)\)和\(\varphi_V(U\cap V)\)都是\(\mathbb{R}^m\)的开集（同胚把开集映为开集）；
2. 映射\(\varphi_V\circ\varphi_U^{-1}: \varphi_U(U\cap V)\to\varphi_V(U\cap V)\)是双射，且连续、逆也连续（两个同胚的复合仍是同胚），这个映射就是从\(U\)坐标到\(V\)坐标的变换（转移函数）。

坐标分量形式推导

\(\varphi_V\circ\varphi_U^{-1}\)是从\(\mathbb{R}^m\)的开集到\(\mathbb{R}^m\)的开集的映射，因此可以写成分量形式：
对任意\((x^1,\dots,x^m)\in\varphi_U(U\cap V)\)，有

\[\varphi_V\circ\varphi_U^{-1}(x^1,\dots,x^m) = \left(\bar{x}^1(x^1,\dots,x^m),\bar{x}^2(x^1,\dots,x^m),\dots,\bar{x}^m(x^1,\dots,x^m)\right) \]

即

\[\bar{x}^i = \bar{x}^i(x^1,\dots,x^m),\quad i=1,\dots,m \tag{2.1.1} \]

这就是教材中的坐标变换公式。

同理，逆变换\(\varphi_U\circ\varphi_V^{-1}: \varphi_V(U\cap V)\to\varphi_U(U\cap V)\)的分量形式为：

\[x^i = x^i(\bar{x}^1,\dots,\bar{x}^m),\quad i=1,\dots,m \tag{2.1.1}' \]

显然，(2.1.1)和(2.1.1)'是互逆的函数组。

---

四、核心概念3：\(C^k\)坐标图册与\(C^k\)相容性（定义2.1.2）

定义原文重述

设\(M\)为\(m\)维拓扑流形，
(i) \(M\)的一个坐标图开覆盖\(\mathscr{U}=\{(U_\alpha,\varphi_\alpha)\mid \alpha\in\mathscr{A},\mathscr{A}\text{为指标集},\bigcup_{\alpha\in\mathscr{A}}U_\alpha=M\}\)，称为一个坐标图册；
(ii) 若\(\mathscr{U}\)中，对任何\(\alpha,\beta\in\mathscr{A}\)，当\(U_\alpha\cap U_\beta\neq\emptyset\)时，\(\varphi_\beta\circ\varphi_\alpha^{-1}:\varphi_\alpha(U_\alpha\cap U_\beta)\to\varphi_\beta(U_\alpha\cap U_\beta)\)为\(C^k\)映射，则称\(\mathscr{U}\)为\(C^k\)坐标图册，称\(\mathscr{U}\)中的坐标图是\(C^k\)相容的；
(iii) 若\(\mathscr{U}\)是最大的\(C^k\)坐标图册，即对于\(M\)的任一坐标图\((V,\varphi_V)\)，当它与\(\mathscr{U}\)的坐标图\(C^k\)相容时，它也一定属于\(\mathscr{U}\)，则\(\mathscr{U}\)称为\(M\)上的一个\(C^k\)可微结构（微分结构）。

概念拆解与本质解读

1. 坐标图册：局部坐标的覆盖
   坐标图册就是一族坐标卡，它们的定义域覆盖了整个流形\(M\)，保证\(M\)上的每一个点都至少有一个局部坐标系。
2. \(C^k\)相容性：微分结构的核心条件
   \(C^k\)映射：指映射的每个分量函数，都具有直到\(k\)阶的连续偏导数（\(k\geq0\)，\(C^0\)为连续，\(C^\infty\)为任意阶连续可微，\(C^\omega\)为实解析）。
   • 本质：\(C^k\)相容性要求，重叠区域的两套坐标之间的变换是\(k\)阶连续可微的。这是我们能在流形上做微积分的关键：如果坐标变换是\(C^k\)的，那么我们在一个坐标卡下定义的“可微性”，在另一个坐标卡下也能保持一致，不会出现“在这个坐标下可微、换个坐标就不可微”的矛盾。
   • 补充：由于转移函数是同胚，若\(\varphi_\beta\circ\varphi_\alpha^{-1}\)是\(C^k\)的，则其逆\(\varphi_\alpha\circ\varphi_\beta^{-1}\)也一定是\(C^k\)的（反函数定理），因此\(C^k\)相容性是双向的，转移函数是\(C^k\)微分同胚。
3. 最大坐标图册：微分结构的完备性
   我们实际构造流形时，往往只给出一个有限的\(C^k\)坐标图册（比如球面的2个球极投影坐标卡），但这个图册不是“最大的”。最大性的要求，是把所有和现有坐标卡\(C^k\)相容的坐标卡都纳入图册，保证微分结构是完备的、唯一的（由初始的\(C^k\)坐标图册唯一生成）。

---

五、核心概念4：微分流形的定义（定义2.1.3）

定义原文重述

设\(M\)是\(m\)维拓扑流形，\(\mathscr{U}\)是\(M\)上一个\(C^k\)可微结构，则称\((M,\mathscr{U})\)为\(m\)维\(C^k\)可微流形，简称\(m\)维\(C^k\)微分流形，简称\(M\)为\(m\)维\(C^k\)流形。特别地，一个\(C^\infty\)可微流形称为光滑流形，\(C^\omega\)可微流形称为解析流形。

本质解读

微分流形 = 拓扑流形 + 微分结构：

• 拓扑流形是“骨架”，保证了空间的局部欧氏性和分离性；
• 微分结构是“灵魂”，给拓扑空间赋予了做微积分的能力，让我们能在流形上定义可微函数、切向量、张量、曲率等所有微分几何的核心概念。

标准微分流形的补充要求：教材最后提到“对拓扑空间\(M\)附加具有可数基的要求”，即第二可数性。这是微分流形的标准公理，作用是保证流形上存在单位分解，而单位分解是把局部微分结构拼接为整体结构的核心工具（比如流形上黎曼度量的存在性、积分的定义都依赖单位分解）。因此标准的微分流形定义，要求底空间是Hausdorff、第二可数、局部欧氏的拓扑空间。

---

六、核心定理：从\(C^k\)坐标图册构造微分结构的严格证明

教材中给出了核心结论：只要给出拓扑流形\(M\)的一个\(C^k\)坐标图册，就可以构造\(M\)上的一个\(C^k\)微分结构，从而\(M\)为\(C^k\)流形。下面给出完整、严谨的证明过程。

已知条件

设\(\mathscr{U}=\{(U_\alpha,\varphi_\alpha)\mid\alpha\in\mathscr{A}\}\)是\(m\)维拓扑流形\(M\)的一个\(C^k\)坐标图册，即：

1. \(\bigcup_{\alpha\in\mathscr{A}}U_\alpha = M\)；
2. 任意\((U_\alpha,\varphi_\alpha),(U_\beta,\varphi_\beta)\in\mathscr{U}\)，若\(U_\alpha\cap U_\beta\neq\emptyset\)，则\(\varphi_\beta\circ\varphi_\alpha^{-1}\)是\(C^k\)映射。

构造最大坐标图册

定义

\[\widetilde{\mathscr{U}} = \{(U,\varphi)\mid (U,\varphi)\text{是}M\text{的坐标图，且与}\mathscr{U}\text{中所有坐标图均}C^k\text{相容}\} \]

证明\(\widetilde{\mathscr{U}}\)是\(M\)上的\(C^k\)微分结构

我们需要证明\(\widetilde{\mathscr{U}}\)满足微分结构的三个条件：覆盖性、\(C^k\)相容性、最大性。

步骤1：证明\(\widetilde{\mathscr{U}}\)是\(M\)的坐标图开覆盖

• 首先，\(\mathscr{U}\subset\widetilde{\mathscr{U}}\)：对任意\((U_\alpha,\varphi_\alpha)\in\mathscr{U}\)，由\(\mathscr{U}\)是\(C^k\)坐标图册，它与\(\mathscr{U}\)中所有坐标卡都是\(C^k\)相容的，因此\((U_\alpha,\varphi_\alpha)\in\widetilde{\mathscr{U}}\)。
• 其次，\(\mathscr{U}\)是\(M\)的开覆盖，因此\(\bigcup_{(U,\varphi)\in\widetilde{\mathscr{U}}}U \supseteq \bigcup_{(U_\alpha,\varphi_\alpha)\in\mathscr{U}}U_\alpha = M\)，即\(\widetilde{\mathscr{U}}\)覆盖\(M\)。
• 显然\(\widetilde{\mathscr{U}}\)的每个元素都是\(M\)的坐标图，因此\(\widetilde{\mathscr{U}}\)是\(M\)的坐标图开覆盖。

步骤2：证明\(\widetilde{\mathscr{U}}\)中任意两个坐标卡都是\(C^k\)相容的

任取\((U,\varphi),(U',\varphi')\in\widetilde{\mathscr{U}}\)，且\(U\cap U'\neq\emptyset\)，我们需要证明：转移函数\(\varphi'\circ\varphi^{-1}:\varphi(U\cap U')\to\varphi'(U\cap U')\)是\(C^k\)映射。

1. 任取\(p\in U\cap U'\)，由于\(\mathscr{U}\)是\(M\)的开覆盖，存在\((U_\beta,\varphi_\beta)\in\mathscr{U}\)，使得\(p\in U_\beta\)。记\(W = U\cap U'\cap U_\beta\)，则\(W\)是\(M\)中的开集，因此\(\varphi(W)\)是\(\varphi(U\cap U')\)中的开邻域（包含\(\varphi(p)\)）。
2. 在\(W\)上，我们对转移函数做分解：
   \[\varphi'\circ\varphi^{-1} = (\varphi'\circ\varphi_\beta^{-1}) \circ (\varphi_\beta\circ\varphi^{-1}) \]

3. 由\(\widetilde{\mathscr{U}}\)的定义：
   • \((U,\varphi)\)与\(\mathscr{U}\)中所有坐标卡\(C^k\)相容，因此\(\varphi_\beta\circ\varphi^{-1}:\varphi(U\cap U_\beta)\to\varphi_\beta(U\cap U_\beta)\)是\(C^k\)映射；
   • \((U',\varphi')\)与\(\mathscr{U}\)中所有坐标卡\(C^k\)相容，因此\(\varphi'\circ\varphi_\beta^{-1}:\varphi_\beta(U'\cap U_\beta)\to\varphi'(U'\cap U_\beta)\)是\(C^k\)映射。
4. 由于\(W\subset U\cap U'\cap U_\beta\)，因此\(\varphi(W)\subset\varphi(U\cap U_\beta)\)，\(\varphi_\beta(W)\subset\varphi_\beta(U'\cap U_\beta)\)，两个\(C^k\)映射的复合仍是\(C^k\)映射，因此\(\varphi'\circ\varphi^{-1}\)在\(\varphi(W)\)上是\(C^k\)的。
5. 由于\(p\)是\(U\cap U'\)中的任意一点，因此\(\varphi'\circ\varphi^{-1}\)在定义域\(\varphi(U\cap U')\)的每一点的开邻域上都是\(C^k\)的。根据\(C^k\)映射的局部性，\(\varphi'\circ\varphi^{-1}\)在整个\(\varphi(U\cap U')\)上是\(C^k\)映射。

因此\(\widetilde{\mathscr{U}}\)中任意两个坐标卡都是\(C^k\)相容的，\(\widetilde{\mathscr{U}}\)是\(C^k\)坐标图册。

步骤3：证明\(\widetilde{\mathscr{U}}\)是最大的\(C^k\)坐标图册

任取\(M\)的一个坐标卡\((V,\psi)\)，若它与\(\widetilde{\mathscr{U}}\)中所有坐标卡都是\(C^k\)相容的，我们需要证明\((V,\psi)\in\widetilde{\mathscr{U}}\)。

• 由于\(\mathscr{U}\subset\widetilde{\mathscr{U}}\)，因此\((V,\psi)\)与\(\mathscr{U}\)中所有坐标卡都是\(C^k\)相容的；
• 根据\(\widetilde{\mathscr{U}}\)的定义，所有与\(\mathscr{U}\)中所有坐标卡\(C^k\)相容的坐标卡都属于\(\widetilde{\mathscr{U}}\)，因此\((V,\psi)\in\widetilde{\mathscr{U}}\)。

综上，\(\widetilde{\mathscr{U}}\)是\(M\)上的\(C^k\)微分结构，\((M,\widetilde{\mathscr{U}})\)是\(m\)维\(C^k\)微分流形。

---

七、核心知识点归纳总结表

核心概念	严格定义	核心性质	本质与备注
\(m\)维拓扑流形	Hausdorff、第二可数的拓扑空间\(M\)，每一点都有邻域与\(\mathbb{R}^m\)的开集同胚	1. 局部欧氏性；2. 维数唯一（区域不变性定理）；3. 局部连通、局部紧	微分流形的拓扑骨架，保证空间可以被局部欧氏坐标覆盖
坐标卡（坐标图）	二元组\((U,\varphi_U)\)，其中\(U\subset M\)是开集，\(\varphi_U:U\to\varphi_U(U)\subset\mathbb{R}^m\)是同胚	1. 双射、双连续；2. 给出\(U\)上的局部坐标系	流形上的局部坐标系，是流形上做微积分的基本单元
坐标函数	\(x^i = \pi^i\circ\varphi_U:U\to\mathbb{R}\)，\(\pi^i\)是\(\mathbb{R}^m\)的第\(i\)分量投影	是\(U\)上的连续实值函数，\(\varphi_U(q)=(x^1(q),\dots,x^m(q))\)	点的局部坐标的分量形式，遵循微分几何上标惯例
坐标变换（转移函数）	对重叠坐标卡\((U,\varphi_U),(V,\varphi_V)\)，\(\varphi_V\circ\varphi_U^{-1}:\varphi_U(U\cap V)\to\varphi_V(U\cap V)\)	1. 是\(\mathbb{R}^m\)开集间的同胚；2. 分量形式为\(\bar{x}^i=\bar{x}^i(x^1,\dots,x^m)\)	连接不同局部坐标的桥梁，其光滑性决定了流形的微分结构
\(C^k\)坐标图册	覆盖\(M\)的坐标卡族，任意重叠坐标卡的转移函数是\(C^k\)映射	1. 覆盖整个流形；2. 坐标卡之间\(C^k\)相容	生成微分结构的“基”，实际构造流形时只需给出此类图册
\(C^k\)微分结构	最大的\(C^k\)坐标图册：所有与图册中坐标卡\(C^k\)相容的坐标卡都属于该图册	1. 覆盖性；2. 两两\(C^k\)相容；3. 最大性	微分流形的核心，给拓扑流形赋予了做微积分的能力
\(m\)维\(C^k\)微分流形	带有\(C^k\)微分结构的\(m\)维拓扑流形	1. 拓扑流形的所有性质；2. 局部可定义\(C^k\)微分运算	微分几何的研究对象，\(C^\infty\)情形为光滑流形（最常用）

---

补充说明（教学经验总结）

1. 微分结构的非唯一性：同一个拓扑流形，可以存在多个互不等价的微分结构。最经典的例子是7维球面\(S^7\)，存在28种不同的光滑结构，这是Milnor在1956年的里程碑结果，证明了微分结构是拓扑流形上额外的、非拓扑决定的结构。
2. 低维流形的特殊性：1、2、3维拓扑流形上，光滑结构是唯一的（在微分同胚意义下），这也是我们日常接触的曲面、曲线的光滑结构是唯一的原因。
3. 公理的必要性：Hausdorff和第二可数性公理，是为了排除病态空间、保证单位分解的存在性，是微分几何整体理论的基础，绝大多数教材都会将这两个条件纳入微分流形的标准定义。

---

微分流形经典实例 详细讲解与严格证明

我将延续资深微分几何研究员的教学逻辑，紧扣上一节的微分流形核心定义，对5个经典实例进行逐例拆解、严格证明与本质解读，完整覆盖从拓扑流形验证、坐标卡构造、坐标变换相容性证明到微分结构确立的全流程。

---

前置说明

所有实例均遵循微分流形的构造逻辑：

1. 验证底空间是Hausdorff、第二可数的拓扑空间；
2. 构造覆盖全空间的坐标卡，证明每个坐标卡是到\(\mathbb{R}^m\)开集的同胚，验证局部欧氏性，确立拓扑流形结构；
3. 证明重叠坐标卡的转移函数满足\(C^k\)相容性，构造\(C^k\)微分结构，最终确立微分流形。

---

例1 \(\mathbb{R}^m\)是\(m\)维解析流形

详细证明与解读

\(\mathbb{R}^m\)是微分流形的局部模型，所有微分流形的局部都与它同胚，是最基础的实例。

1. 拓扑流形验证
   \(\mathbb{R}^m\)自带欧氏拓扑，是Hausdorff空间（任意两点可被开球分离）、第二可数空间（以有理点为球心、正有理数为半径的开球构成可数基），满足拓扑流形的底空间要求。
2. 坐标卡构造
   取唯一的坐标卡\((\mathbb{R}^m, \varphi)\)，其中\(\varphi: \mathbb{R}^m \to \mathbb{R}^m\)是恒等映射：\(\varphi(x^1,x^2,\dots,x^m)=(x^1,x^2,\dots,x^m)\)。
   • 显然\(\varphi\)是同胚（双射、连续、逆映射为自身，也连续）；
   • 像集是\(\mathbb{R}^m\)本身，是\(\mathbb{R}^m\)的开集；
   • 该坐标卡覆盖全空间，因此\(\mathbb{R}^m\)是\(m\)维拓扑流形。
3. 微分结构确立
   坐标图册仅含一个坐标卡，无重叠区域，相容性自动满足。坐标变换为恒等映射，是实解析（\(C^\omega\)）映射，因此该图册是\(C^\omega\)坐标图册，生成\(\mathbb{R}^m\)的标准解析微分结构。
   综上，\(\mathbb{R}^m\)是\(m\)维解析流形。

---

例2 \(m\)维单位球面\(S^m\)是\(m\)维解析流形

单位球面是最经典的紧微分流形，也是非欧氏空间的微分流形入门实例，定义为：

\[S^m = \left\{ (x^1,x^2,\dots,x^{m+1})\in\mathbb{R}^{m+1} \mid \sum_{i=1}^{m+1} (x^i)^2 = 1 \right\} \]

步骤1 拓扑流形验证

\(S^m\)赋予\(\mathbb{R}^{m+1}\)的相对拓扑：

• 子空间继承了\(\mathbb{R}^{m+1}\)的Hausdorff性和第二可数性，满足底空间要求；
• 后续将通过坐标卡构造验证局部欧氏性。

步骤2 坐标卡构造与同胚证明

构造\(2(m+1)\)个坐标卡，覆盖整个球面：

1. 定义\(\mathbb{R}^{m+1}\)中的开集：

   \[\widetilde{U}_i^+ = \{ (x^1,\dots,x^{m+1}) \mid x^i > 0 \},\quad \widetilde{U}_i^- = \{ (x^1,\dots,x^{m+1}) \mid x^i < 0 \},\quad i=1,2,\dots,m+1 \]

   与球面取交，得到球面的开覆盖：

   \[U_i^+ = \widetilde{U}_i^+ \cap S^m,\quad U_i^- = \widetilde{U}_i^- \cap S^m \]

   球面任意点至少有一个坐标非零，因此必属于某个\(U_i^+\)或\(U_i^-\)，覆盖性成立。

2. 定义坐标映射（以\(U_i^+\)为例）：

   \[\varphi_i^+: U_i^+ \to \mathbb{R}^m,\quad \varphi_i^+(x^1,\dots,x^{m+1}) = (x^1,\dots,\hat{x^i},\dots,x^{m+1}) \]

   其中\(\hat{x^i}\)表示去掉第\(i\)个坐标。

   • 像集验证：映射的像为\(m\)维单位开球\(W_i = \{ (y^1,\dots,y^m) \in \mathbb{R}^m \mid \sum_{j=1}^m (y^j)^2 < 1 \}\)，是\(\mathbb{R}^m\)的开集；
   • 同胚证明：
     1. 双射：逆映射为
        \[(\varphi_i^+)^{-1}(y^1,\dots,y^m) = \left( y^1,\dots,y^{i-1}, \sqrt{1-\sum_{j=1}^m (y^j)^2}, y^i,\dots,y^m \right) \]
        第\(i\)个坐标取正根，与\(U_i^+\)的\(x^i>0\)对应，显然是双射；
     2. 连续性：\(\varphi_i^+\)是投影映射，连续；逆映射的每个分量都是连续函数（根号内为正多项式，开方在正实数域连续），因此逆映射连续。
        综上，\(\varphi_i^+\)是同胚，\((U_i^+,\varphi_i^+)\)是合法坐标卡。同理可证\((U_i^-,\varphi_i^-)\)也是合法坐标卡（第\(i\)个坐标取负根）。

   至此，\(S^m\)是\(m\)维拓扑流形。

步骤3 坐标变换的\(C^\omega\)相容性证明

以教材中的\(\varphi_2^- \circ (\varphi_1^+)^{-1}\)为例，完整推导坐标变换并验证光滑性：

1. 明确两个坐标卡的对应关系：

   • \(U_1^+\)（\(x^1>0\)）的坐标：\(\varphi_1^+(x)=(x^2,x^3,\dots,x^{m+1})=(u^1,u^2,\dots,u^m)\)，即\(u^\alpha = x^{\alpha+1}\)；
   • \(U_2^-\)（\(x^2<0\)）的坐标：\(\varphi_2^-(x)=(x^1,x^3,\dots,x^{m+1})=(v^1,v^2,\dots,v^m)\)，即\(v^1=x^1\)，\(v^\alpha = x^{\alpha+1}(\alpha\geq2)\)。

2. 转移函数推导：
   重叠区域\(U_1^+ \cap U_2^-\)满足\(x^1>0, x^2<0\)，非空。转移函数为：

   \[\varphi_2^- \circ (\varphi_1^+)^{-1}: \varphi_1^+(U_1^+ \cap U_2^-) \to \varphi_2^-(U_1^+ \cap U_2^-) \]

   第一步，\((\varphi_1^+)^{-1}\)将\((u^1,\dots,u^m)\)映回球面：

   \[x^1 = \sqrt{1-\sum_{\alpha=1}^m (u^\alpha)^2},\ x^2=u^1,\ x^3=u^2,\ \dots,\ x^{m+1}=u^m \]

   第二步，\(\varphi_2^-\)去掉\(x^2\)，得到坐标表达式：

   \[v^1 = \sqrt{1-\sum_{i=1}^m (u^i)^2},\quad v^\alpha = u^\alpha\ (\alpha=2,\dots,m) \]

3. 光滑性验证：
   在重叠区域，\(x^1>0\)，因此\(\sqrt{1-\sum (u^i)^2} = x^1 > 0\)，根号内的多项式严格为正。\(\sqrt{t}\)在\(t>0\)时是实解析函数，多项式也是实解析函数，复合后仍为实解析函数；其余分量为恒等映射，显然解析。因此该转移函数是\(C^\omega\)映射。

   同理可证，所有重叠坐标卡的转移函数均为实解析函数，因此该坐标图册是\(C^\omega\)坐标图册，生成\(S^m\)的标准解析微分结构。

综上，\(S^m\)是\(m\)维解析流形。

---

例3 积流形：\(M\times N\)是\(m+n\)维\(C^k\)流形

定理与证明

设\(M\)是\(m\)维\(C^k\)微分流形，\(N\)是\(n\)维\(C^k\)微分流形，则二者的拓扑积空间\(M\times N\)是\(m+n\)维\(C^k\)微分流形，称为\(M\)与\(N\)的积流形。

1. 拓扑流形验证
   积拓扑空间\(M\times N\)继承了\(M\)和\(N\)的Hausdorff性与第二可数性，满足底空间要求。

2. 坐标卡构造
   设\(M\)的\(C^k\)坐标图册为\(\{(U_\alpha, \varphi_\alpha) \mid \alpha\in\mathscr{A}\}\)，\(N\)的\(C^k\)坐标图册为\(\{(V_\beta, \psi_\beta) \mid \beta\in\mathscr{B}\}\)。
   构造积坐标卡：

   \[(U_\alpha \times V_\beta,\ \varphi_\alpha \times \psi_\beta) \]

   其中积映射定义为：

   \[\varphi_\alpha \times \psi_\beta: U_\alpha \times V_\beta \to \mathbb{R}^m \times \mathbb{R}^n = \mathbb{R}^{m+n},\quad (\varphi_\alpha \times \psi_\beta)(p,q) = (\varphi_\alpha(p), \psi_\beta(q)) \]
   • 覆盖性：\(\bigcup_{\alpha,\beta} (U_\alpha \times V_\beta) = (\bigcup_\alpha U_\alpha) \times (\bigcup_\beta V_\beta) = M\times N\)；
   • 同胚验证：\(\varphi_\alpha\)和\(\psi_\beta\)均为同胚，因此积映射是双射、连续，逆映射为\(\varphi_\alpha^{-1} \times \psi_\beta^{-1}\)，也连续，故为同胚；
   • 像集：\(\varphi_\alpha(U_\alpha) \times \psi_\beta(V_\beta)\)是\(\mathbb{R}^{m+n}\)的开集，符合坐标卡要求。

3. \(C^k\)相容性证明
   取两个积坐标卡\((U_\alpha \times V_\beta, \varphi_\alpha \times \psi_\beta)\)与\((U_{\alpha'} \times V_{\beta'}, \varphi_{\alpha'} \times \psi_{\beta'})\)，重叠区域为\((U_\alpha \cap U_{\alpha'}) \times (V_\beta \cap V_{\beta'})\)，非空时转移函数为：

   \[(\varphi_{\alpha'} \times \psi_{\beta'}) \circ (\varphi_\alpha \times \psi_\beta)^{-1} = (\varphi_{\alpha'} \circ \varphi_\alpha^{-1}) \times (\psi_{\beta'} \circ \psi_\beta^{-1}) \]

   由于\(M\)的坐标变换\(\varphi_{\alpha'} \circ \varphi_\alpha^{-1}\)是\(C^k\)映射，\(N\)的坐标变换\(\psi_{\beta'} \circ \psi_\beta^{-1}\)是\(C^k\)映射，二者的积映射的每个分量均为\(C^k\)函数，因此整体是\(C^k\)映射。

   综上，积坐标卡构成\(C^k\)坐标图册，生成\(M\times N\)的\(C^k\)微分结构，\(M\times N\)是\(m+n\)维\(C^k\)流形。

经典实例

• 2维环面\(T^2 = S^1 \times S^1\)：\(S^1\)是1维光滑流形，因此\(T^2\)是2维光滑流形；
• \(m\)维环面\(T^m = \underbrace{S^1 \times S^1 \times \dots \times S^1}_{m个}\)：是\(m\)维光滑流形，也是紧李群的经典例子。

---

例4 开子流形：流形的开子集是同维数的\(C^k\)流形

定理与证明

设\(U\)是\(m\)维\(C^k\)微分流形\(M\)的非空开子集，则\(U\)是\(m\)维\(C^k\)微分流形，称为\(M\)的开子流形。

1. 拓扑流形验证
   \(U\)是\(M\)的开子空间，继承\(M\)的Hausdorff性与第二可数性，满足底空间要求。

2. 坐标卡构造
   设\(M\)的\(C^k\)微分结构为\(\{(U_\alpha, \varphi_\alpha) \mid \alpha\in\mathscr{A}\}\)，构造\(U\)的坐标卡：

   \[V_\alpha = U_\alpha \cap U,\quad \psi_\alpha = \varphi_\alpha |_{V_\alpha} \]

   即把\(M\)的坐标卡限制在\(U\)的交集上。

   • 覆盖性：\(\bigcup_\alpha V_\alpha = \bigcup_\alpha (U_\alpha \cap U) = U \cap (\bigcup_\alpha U_\alpha) = U\)；
   • 同胚验证：\(\psi_\alpha\)是同胚\(\varphi_\alpha\)在开子集上的限制，仍是同胚；像集\(\varphi_\alpha(V_\alpha)\)是\(\mathbb{R}^m\)的开集，符合要求。

3. \(C^k\)相容性证明
   两个限制坐标卡的重叠区域为\(V_\alpha \cap V_\beta = (U_\alpha \cap U_\beta) \cap U\)，非空时转移函数为：

   \[\psi_\beta \circ \psi_\alpha^{-1} = \left. (\varphi_\beta \circ \varphi_\alpha^{-1}) \right|_{\varphi_\alpha(V_\alpha \cap V_\beta)} \]

   即\(M\)的\(C^k\)坐标变换在开子集上的限制，仍为\(C^k\)映射，因此相容性成立。

综上，限制坐标卡构成\(C^k\)坐标图册，生成\(U\)的\(C^k\)微分结构，\(U\)是\(m\)维\(C^k\)流形。

经典实例

1. 实矩阵空间\(\mu_{m\times n}(\mathbb{R})\)：将\(m\times n\)矩阵按行展开为\(\mathbb{R}^{mn}\)的向量，与\(\mathbb{R}^{mn}\)同胚，是\(mn\)维光滑流形；
2. 一般线性群\(GL(n,\mathbb{R}) = \{ A\in\mu_{n\times n}(\mathbb{R}) \mid \det A \neq 0 \}\)：行列式\(\det A\)是矩阵元素的多项式，连续，因此\(\det A \neq 0\)的集合是\(\mu_{n\times n}(\mathbb{R})\)的开子集，是\(n^2\)维光滑开子流形，也是微分几何中最重要的李群实例。

---

例5 同一拓扑流形上的不同微分结构

该实例是微分几何的核心认知点：微分结构是拓扑流形上额外附加的结构，不是拓扑自带的，同一个拓扑流形可以存在多个互不相容的微分结构。

构造与证明

取拓扑流形为实数轴\(\mathbb{R}\)（标准欧氏拓扑），构造两个不同的光滑微分结构：

1. 标准微分结构\(\mathscr{U}\)
   由坐标卡\((\mathbb{R}, \varphi)\)生成，其中\(\varphi(x)=x\)（恒等映射），是\(\mathbb{R}\)的标准光滑结构，转移函数为恒等映射，\(C^\infty\)相容。

2. 非标准微分结构\(\mathscr{U}'\)
   由坐标卡\((\mathbb{R}, \varphi^*)\)生成，其中\(\varphi^*(x)=x^3\)（立方映射）。

   • 首先验证坐标卡合法性：\(\varphi^*\)是严格单调递增的连续双射，逆映射为\((\varphi^*)^{-1}(x)=\sqrt[3]{x}\)，也连续，因此是同胚，\((\mathbb{R}, \varphi^*)\)是合法坐标卡；
   • 单坐标卡的图册自动满足\(C^\infty\)相容性，因此生成\(\mathbb{R}\)的一个光滑微分结构\(\mathscr{U}'\)。

3. 两个微分结构不等价的证明
   两个微分结构等价的充要条件是：它们的坐标卡互相\(C^k(k\geq1)\)相容。我们验证二者的转移函数：

   \[\varphi \circ (\varphi^*)^{-1}(x) = \varphi(\sqrt[3]{x}) = \sqrt[3]{x} = x^{1/3} \]

   该函数在\(x=0\)处的导数为\(\frac{1}{3}x^{-2/3}\)，在\(x=0\)处导数不存在，即不可微，因此不是\(C^1\)映射，更不是\(C^k(k\geq1)\)映射。

   因此，两个坐标卡不是\(C^1\)相容的，生成的\(\mathscr{U}\)和\(\mathscr{U}'\)是\(\mathbb{R}\)上两个不同的光滑微分结构。

补充说明

\(\mathbb{R}\)上的这两个微分结构虽然不同，但是微分同胚的（存在光滑同胚映射将二者等价）；而7维球面\(S^7\)上存在28个互不等价、且不微分同胚的光滑结构，这是Milnor在1956年的里程碑成果，证明了微分拓扑与拓扑学的本质区别。

---

5个实例核心信息归纳表

流形实例	维数	坐标卡核心构造	微分结构类型	核心本质与要点
\(\mathbb{R}^m\)	\(m\)	恒等映射单坐标卡	实解析（\(C^\omega\)）	微分流形的局部模型，所有微分流形局部均与它同胚
\(m\)维单位球面\(S^m\)	\(m\)	2(m+1)个半球面投影坐标卡	实解析（\(C^\omega\)）	最经典的紧微分流形，低维光滑结构唯一，7维存在非平凡光滑结构
积流形\(M\times N\)	\(m+n\)	因子流形坐标卡的积映射	与因子流形同阶\(C^k\)	由低维流形构造高维流形的通用方法，典型实例为环面\(T^m\)
开子流形\(U\subset M\)	\(m\)（与原流形同维）	原流形坐标卡在开集上的限制	与原流形同阶\(C^k\)	流形的开子集自动继承微分结构，典型实例为一般线性群\(GL(n,\mathbb{R})\)
带非标准微分结构的\(\mathbb{R}\)	1	立方映射单坐标卡	光滑（\(C^\infty\)）	证明了微分结构是拓扑流形的附加结构，同一拓扑流形可存在不同微分结构

---

商拓扑与商流形预备知识 详细讲解与证明拆解

本节是构造抽象微分流形的核心理论铺垫：实射影空间\(P^m(\mathbb{R})\)、Grassmann流形均通过「商空间」构造，而商空间天然存在“不满足Hausdorff性、第二可数性”的病态问题。本节给出的两个引理，正是商空间成为拓扑流形的两大核心判定工具，完整覆盖了商拓扑的基础定义、核心性质与拓扑流形条件验证。

---

一、核心基础概念拆解

我们先逐一定义并解读本节的基础概念，明确每个定义的拓扑意义与微分流形中的作用。

1. 等价关系与商集

设\(X\)是拓扑空间，\(\sim\)是\(X\)上的等价关系（满足自反性\(x\sim x\)、对称性\(x\sim y\Rightarrow y\sim x\)、传递性\(x\sim y,y\sim z\Rightarrow x\sim z\)）。

• 等价类：\([x] = \{ y\in X \mid y\sim x \}\)，即所有与\(x\)等价的元素构成的集合，等价类的核心性质是：要么完全重合，要么完全不相交。
• 商集：\(X/{\sim} = \{ [x] \mid x\in X \}\)，即所有等价类构成的集合，本质是把\(X\)中互相等价的元素“捏成一个点”，是商空间的集合基础。

2. 自然射影与商拓扑

定义自然射影：\(\pi: X\to X/{\sim},\ \pi(x)=[x]\)，即把每个元素映射到它所属的等价类，天然是满射。

为了让商集\(X/{\sim}\)成为拓扑空间，我们定义商拓扑：

设\(U\subset X/{\sim}\)，若\(\pi^{-1}(U)\)是\(X\)中的开集，则称\(U\)是\(X/{\sim}\)中的开集。

本质解读

1. 商拓扑是使得自然射影\(\pi\)连续的最强拓扑：所有让\(\pi\)连续的拓扑，开集都包含在商拓扑的开集里，保证了商空间与原空间的拓扑兼容性。
2. 天然性质：商拓扑下，自然射影\(\pi\)一定是连续映射，但不一定是开映射（开映射的定义是“把开集映为开集”，与连续映射“开集的原像是开集”是完全不同的性质）。

3. 开等价关系

设\(A\subset X\)，定义\(A\)的饱和集\([A] = \bigcup_{a\in A} [a] = \{ y\in X \mid \exists a\in A,\ y\sim a \}\)，即所有与\(A\)中元素等价的点的集合，显然\([A] = \pi^{-1}(\pi(A))\)。

若对\(X\)中的任意开集\(A\)，其饱和集\([A]\)也是\(X\)中的开集，则称等价关系\(\sim\)是开等价关系。

本质解读

开等价关系是连接原空间拓扑与商空间拓扑的核心桥梁，它保证了原空间的开集，通过自然射影映到商空间后仍然是开集，为后续商空间的可数基、Hausdorff性验证提供基础。

---

二、引理1 详细证明与解读

引理原文

\(X\)上等价关系\(\sim\)是开的，当且仅当自然射影\(\pi\)是一个开映射。如果\(\pi\)是开映射且\(X\)具有可数基，则\(X/{\sim}\)也具有可数基。

核心作用

拓扑流形要求底空间是第二可数空间（存在可数拓扑基），该引理给出了商空间第二可数性的直接判定方法：只要原空间第二可数，且等价关系是开的，商空间自动满足第二可数性。

---

第一部分：等价关系开 ⇨⇦ \(\pi\)是开映射

正向证明（\(\Rightarrow\)）：开等价关系 ⇒ \(\pi\)是开映射

证明目标：任取\(X\)中的开集\(A\)，证明\(\pi(A)\)是\(X/{\sim}\)中的开集。

1. 根据商拓扑的定义，\(\pi(A)\)是开集 当且仅当 \(\pi^{-1}(\pi(A))\)是\(X\)中的开集；
2. 由饱和集的定义，\(\pi^{-1}(\pi(A)) = [A]\)；
3. 已知\(\sim\)是开等价关系，\(A\)是开集，因此\([A]\)是\(X\)中的开集；
4. 综上，\(\pi(A)\)是\(X/{\sim}\)中的开集，即\(\pi\)把开集映为开集，\(\pi\)是开映射。

反向证明（\(\Leftarrow\)）：\(\pi\)是开映射 ⇒ 等价关系开

证明目标：任取\(X\)中的开集\(A\)，证明其饱和集\([A]\)是\(X\)中的开集。

1. 已知\(\pi\)是开映射，\(A\)是开集，因此\(\pi(A)\)是\(X/{\sim}\)中的开集；
2. 商拓扑的定义保证了\(\pi\)是连续映射，因此开集\(\pi(A)\)的原像\(\pi^{-1}(\pi(A))\)是\(X\)中的开集；
3. 而\(\pi^{-1}(\pi(A)) = [A]\)，因此\([A]\)是开集，等价关系\(\sim\)是开的。

---

第二部分：开映射+原空间可数基 ⇒ 商空间可数基

证明目标：若\(X\)有可数拓扑基，\(\pi\)是开映射，则\(X/{\sim}\)也有可数拓扑基。

1. 设\(X\)的可数拓扑基为\(\{ U_i \mid i\in \mathbb{Z} \}\)，因为\(\pi\)是开映射，所以每个\(\pi(U_i)\)都是\(X/{\sim}\)中的开集，构造集族\(\mathscr{B} = \{ \pi(U_i) \mid i\in \mathbb{Z} \}\)，显然\(\mathscr{B}\)是可数集。
2. 验证\(\mathscr{B}\)是\(X/{\sim}\)的拓扑基：
   • 任取\(X/{\sim}\)中的开集\(W\)，根据商拓扑定义，\(\pi^{-1}(W)\)是\(X\)中的开集；
   • 因为\(\{ U_i \}\)是\(X\)的基，所以\(\pi^{-1}(W)\)可以表示为若干基元素的并：\(\pi^{-1}(W) = \bigcup_{j\in J} U_j\)，其中\(J\)是可数指标集；
   • 对等式两边作用\(\pi\)，由于\(\pi\)是满射，\(\pi(\pi^{-1}(W))=W\)，且映射的并等于并的映射，因此：
     \[W = \pi\left( \bigcup_{j\in J} U_j \right) = \bigcup_{j\in J} \pi(U_j) \]

   • 即\(X/{\sim}\)的任意开集都可以表示为\(\mathscr{B}\)中元素的并，因此\(\mathscr{B}\)是\(X/{\sim}\)的可数拓扑基。

---

三、引理2 详细证明与解读

引理原文

设\(\sim\)是拓扑空间\(X\)上的开等价关系。若\(S = \{ (x,y) \mid x\sim y \}\)为\(X\times X\)的闭子集，则商空间\(X/{\sim}\)为Hausdorff空间。

核心作用

拓扑流形要求底空间是Hausdorff空间（任意两个不同的点可被不相交的开集分离），而商空间极易出现非Hausdorff的病态情况（如带两个原点的直线）。该引理给出了商空间Hausdorff性的可验证判定条件，是商流形构造的核心工具。

---

完整证明拆解

证明目标：对\(X/{\sim}\)中任意两个不同的点\([x]\neq [y]\)，存在不相交的开集\(U,V\subset X/{\sim}\)，使得\([x]\in U\)，\([y]\in V\)。

1. 等价转化：\([x]\neq [y]\)意味着\(x\)与\(y\)不等价，即\((x,y)\notin S\)。已知\(S\)是\(X\times X\)的闭集，因此\(X\times X - S\)是\(X\times X\)中的开集，且\((x,y)\in X\times X - S\)。
2. 乘积拓扑的基性质：乘积空间\(X\times X\)的拓扑基是形如\(\widetilde{U}\times\widetilde{V}\)的开集（其中\(\widetilde{U},\widetilde{V}\)是\(X\)中的开集）。因此存在\(X\)的开集\(\widetilde{U},\widetilde{V}\)，使得：
   \[(x,y)\in \widetilde{U}\times\widetilde{V} \subset X\times X - S \]

   关键解读：\(\widetilde{U}\times\widetilde{V} \subset X\times X - S\)意味着：对任意\(a\in\widetilde{U}\)，\(b\in\widetilde{V}\)，都有\((a,b)\notin S\)，即\(a\)与\(b\)不等价。这是证明两个开集不相交的核心。

3. 构造商空间的分离开集：令\(U = \pi(\widetilde{U})\)，\(V = \pi(\widetilde{V})\)。
   • 因为\(\sim\)是开等价关系，由引理1知\(\pi\)是开映射，\(\widetilde{U},\widetilde{V}\)是\(X\)的开集，因此\(U,V\)是\(X/{\sim}\)中的开集；
   • 显然\([x] = \pi(x) \in \pi(\widetilde{U}) = U\)，\([y] = \pi(y) \in \pi(\widetilde{V}) = V\)。
4. 验证开集不相交：假设存在\(z\in U\cap V\)，则存在\(a\in\widetilde{U}\)，\(b\in\widetilde{V}\)，使得\(z=[a]=[b]\)，即\(a\sim b\)，因此\((a,b)\in S\)。但\(\widetilde{U}\times\widetilde{V} \subset X\times X - S\)，矛盾。因此\(U\cap V = \emptyset\)。

综上，我们找到了分离\([x]\)和\([y]\)的不相交开集，\(X/{\sim}\)是Hausdorff空间。

---

四、核心知识点归纳总结表

核心概念	严格定义	核心性质	微分流形中的作用
商拓扑	商集\(X/{\sim}\)上的拓扑：\(U\)是开集当且仅当\(\pi^{-1}(U)\)是\(X\)的开集	自然射影\(\pi\)天然连续，是使\(\pi\)连续的最强拓扑	给等价类集合赋予与原空间兼容的拓扑结构，是商流形的拓扑基础
开等价关系	对\(X\)的任意开集\(A\)，其饱和集\([A]\)也是开集	等价于自然射影\(\pi\)是开映射	保证原空间的开集在商空间中仍为开集，是商空间可数基、Hausdorff性的前提
引理1	等价关系开 ⇨⇦ \(\pi\)是开映射；开映射+原空间可数基 ⇒ 商空间可数基	把原空间的第二可数性传递给商空间	验证商空间满足拓扑流形的第二可数性要求
引理2	开等价关系+等价关系图像\(S\)是\(X\times X\)的闭集 ⇒ 商空间是Hausdorff空间	给出商空间Hausdorff性的可验证判定	验证商空间满足拓扑流形的Hausdorff分离性要求
等价关系图像\(S\)	\(S=\{(x,y)\in X\times X \mid x\sim y\}\)	\(S\)是闭集等价于：若\(x\)与\(y\)不等价，则存在\(x,y\)的开邻域，其中任意元素都不等价	商空间Hausdorff性的核心判定条件

---

补充说明（教学经验总结）

1. 两个引理的组合使用：后续构造实射影空间、Grassmann流形时，流程固定为：
   1. 定义等价关系，构造商空间；
   2. 用引理1验证商空间第二可数；
   3. 用引理2验证商空间Hausdorff；
   4. 构造局部坐标卡，验证局部欧氏性，得到拓扑流形；
   5. 验证坐标变换的光滑性，得到微分流形。
2. 引理2的条件不可省略：若等价关系不是开的，即使\(S\)是闭集，商空间也可能不是Hausdorff的，因为无法保证\(\pi(\widetilde{U})\)和\(\pi(\widetilde{V})\)是开集，无法完成分离。
3. 商拓扑的易错点：连续映射不一定是开映射，开映射也不一定是连续映射，只有商拓扑下的\(\pi\)天然连续，是否为开映射由等价关系是否为开决定，二者不可混淆。

---

实射影空间与Grassmann流形 详细讲解与严格证明

本节是商流形构造的核心实例，实射影空间是最基础的非平凡紧微分流形，Grassmann流形是其高维推广，二者均通过商空间构造，完整应用了上一节的商拓扑引理，是微分几何、代数拓扑、代数几何的核心研究对象。

---

例1 实射影空间\(P^m(\mathbb{R})\)

1.1 核心定义与几何本质

集合与等价关系定义

令\(X = \mathbb{R}^{m+1}\setminus\{0\}\)（去掉原点的\(m+1\)维欧氏空间），在\(X\)上定义等价关系\(\sim\)：

对\(x,y\in X\)，\(y\sim x\)当且仅当存在非零实数\(t\neq0\)，使得\(y=tx\)。

等价类\([x] = \{ tx \mid t\in\mathbb{R},t\neq0 \}\)，几何上对应\(\mathbb{R}^{m+1}\)中过原点的一条直线。商空间\(P^m(\mathbb{R}) = X/{\sim}\)称为\(m\)维实射影空间，其每个点对应\(\mathbb{R}^{m+1}\)中一条过原点的直线。

---

1.2 拓扑流形验证（商拓扑引理的应用）

拓扑流形要求底空间满足Hausdorff性、第二可数性、局部欧氏性，我们分步骤验证：

步骤1 验证第二可数性（引理1的应用）

1. 证明等价关系是开的：
   对任意非零实数\(t\)，定义映射\(\varphi_t:X\to X,\ \varphi_t(x)=tx\)。\(\varphi_t\)是同胚：双射、线性映射连续，逆映射\(\varphi_{1/t}(x)=x/t\)也连续。
   对\(X\)的任意开集\(U\)，其饱和集\([U] = \bigcup_{t\neq0} \varphi_t(U)\)，是开集的任意并，因此仍是\(X\)的开集。根据定义，等价关系\(\sim\)是开的。
2. 传递可数基：
   \(X\)是\(\mathbb{R}^{m+1}\)的开子集，\(\mathbb{R}^{m+1}\)具有可数基，因此\(X\)也具有可数基。根据引理1，开等价关系对应的商空间\(P^m(\mathbb{R})\)具有可数基。

步骤2 验证Hausdorff性（引理2的应用）

根据引理2，只需证明等价关系的图像\(S = \{ (x,y)\in X\times X \mid x\sim y \}\)是\(X\times X\)的闭子集。

1. 构造连续函数\(f:X\times X\to\mathbb{R}\)：
   \[f(x^1,\dots,x^{m+1},y^1,\dots,y^{m+1}) = \sum_{i,j=1}^{m+1} (x^i y^j - x^j y^i)^2 \]
   \(f\)是多项式的平方和，天然连续。
2. 零点等价于等价关系：
   \(f(x,y)=0\)当且仅当对所有\(i,j\)，\(x^i y^j = x^j y^i\)，即\(x\)与\(y\)线性相关，也就是存在\(t\neq0\)使得\(y=tx\)，即\(x\sim y\)。
   因此\(S = f^{-1}(0)\)，闭集的原像是闭集，故\(S\)是\(X\times X\)的闭子集。
3. 根据引理2，\(P^m(\mathbb{R})\)是Hausdorff空间。

---

1.3 坐标卡构造与同胚证明

我们构造\(m+1\)个覆盖全空间的坐标卡，验证局部欧氏性：

1. 坐标卡定义域：
   对\(i=1,2,\dots,m+1\)，定义

   \[\widetilde{U}_i = \{ x\in X \mid x^i \neq 0 \},\quad U_i = \pi(\widetilde{U}_i) \]

   \(\widetilde{U}_i\)是\(X\)的开集，\(\pi\)是开映射，因此\(U_i\)是\(P^m(\mathbb{R})\)的开集。显然\(\bigcup_{i=1}^{m+1} U_i = P^m(\mathbb{R})\)（任意非零\(x\)至少有一个坐标非零）。

2. 坐标映射定义：
   定义\(\varphi_i:U_i\to\mathbb{R}^m\)，对\([x]\in U_i\)，取代表元\(x=(x^1,\dots,x^{m+1})\)，令

   \[\varphi_i([x]) = \left( \frac{x^1}{x^i},\dots,\frac{x^{i-1}}{x^i},\frac{x^{i+1}}{x^i},\dots,\frac{x^{m+1}}{x^i} \right) \]

3. 良定性与同胚验证：

   • 良定性：若\([x]=[y]\)，则\(y=tx,t\neq0\)，因此\(\frac{y^j}{y^i} = \frac{tx^j}{tx^i} = \frac{x^j}{x^i}\)，与代表元选取无关。
   • 单射：若\(\varphi_i([x])=\varphi_i([y])\)，则对所有\(j\neq i\)，\(\frac{x^j}{x^i}=\frac{y^j}{y^i}\)，即\(x\)与\(y\)线性相关，故\([x]=[y]\)。
   • 满射：对任意\((z^1,\dots,z^m)\in\mathbb{R}^m\)，取\(x=(z^1,\dots,z^{i-1},1,z^i,\dots,z^m)\in\widetilde{U}_i\)，则\(\varphi_i([x])=(z^1,\dots,z^m)\)。
   • 连续性：\(\varphi_i\circ\pi:\widetilde{U}_i\to\mathbb{R}^m\)是有理函数（分母\(x^i\neq0\)），连续；根据商拓扑性质，\(\varphi_i\)连续。逆映射\(\varphi_i^{-1}(z^1,\dots,z^m) = [(z^1,\dots,z^{i-1},1,z^i,\dots,z^m)]\)是连续映射与\(\pi\)的复合，也连续。

   综上，\(\varphi_i\)是同胚，\((U_i,\varphi_i)\)是合法坐标卡，\(P^m(\mathbb{R})\)是\(m\)维拓扑流形。

---

1.4 坐标变换的\(C^\infty\)相容性证明

取两个重叠坐标卡\(U_i\cap U_j\neq\emptyset\)（\(i\neq j\)），证明转移函数\(\varphi_j\circ\varphi_i^{-1}\)是\(C^\infty\)映射。

1. 设\(\varphi_i([x]) = (\xi^1,\dots,\xi^{i-1},\xi^{i+1},\dots,\xi^{m+1})\)，即\(\xi^k = \frac{x^k}{x^i}\ (k\neq i)\)；
   设\(\varphi_j([x]) = (\eta^1,\dots,\eta^{j-1},\eta^{j+1},\dots,\eta^{m+1})\)，即\(\eta^l = \frac{x^l}{x^j}\ (l\neq j)\)。
2. 逆映射\(\varphi_i^{-1}(\xi^1,\dots,\xi^m) = [(\xi^1,\dots,\xi^{i-1},1,\xi^i,\dots,\xi^m)]\)，因此\(x^j = \xi^j \cdot x^i\)（\(j\neq i\)，\(\xi^j\)是\(\varphi_i\)的第\(j\)个分量），故\(\frac{x^i}{x^j} = \frac{1}{\xi^j}\)。
3. 坐标变换表达式：
   \[\begin{cases} \eta^h = \frac{\xi^h}{\xi^j} & (h\neq i,j) \\ \eta^i = \frac{1}{\xi^j} \end{cases} \]
   在重叠区域\(U_i\cap U_j\)中，\(x^i\neq0,x^j\neq0\)，故\(\xi^j\neq0\)，所有分量均为分母非零的有理函数，天然是\(C^\infty\)（光滑）映射。

综上，所有坐标卡\(C^\infty\)相容，\(P^m(\mathbb{R})\)是\(m\)维\(C^\infty\)微分流形。

---

例2 Grassmann流形\(G(k,m)\)

Grassmann流形是实射影空间的高维推广，实射影空间\(P^m(\mathbb{R})\)是\(G(1,m+1)\)（1维子空间的集合），Grassmann流形则是\(\mathbb{R}^m\)中所有\(k\)维线性子空间的集合。

---

2.1 核心定义与几何本质

集合与等价关系定义

1. k-标架空间：\(\mathbb{R}^m\)中的\(k\)-标架是\(k\)个线性无关的有序向量\((x_1,\dots,x_k)\)，等价于一个秩为\(k\)的\(k\times m\)实矩阵（每行对应一个向量）。记\(k\)-标架的全体为\(F(k,m)\)，它是\(\mu_{k\times m}(\mathbb{R})\cong\mathbb{R}^{km}\)的开子集（秩为\(k\)的矩阵满足所有\(k\)阶子式不全为零，是多项式非零的开集），因此是\(km\)维光滑开子流形。
2. 等价关系：在\(F(k,m)\)上定义\(\sim\)：\(Y\sim X\)当且仅当存在\(A\in GL(k,\mathbb{R})\)（\(k\)阶可逆实矩阵），使得\(Y=AX\)。
   几何意义：两个\(k\)-标架等价，当且仅当它们张成同一个\(k\)维线性子空间（可逆矩阵对应标架的基变换）。
3. Grassmann流形：商空间\(G(k,m) = F(k,m)/{\sim}\)，其每个点对应\(\mathbb{R}^m\)中的一个\(k\)维线性子空间。

---

2.2 拓扑流形验证

步骤1 验证第二可数性

1. 等价关系是开的：对任意\(A\in GL(k,\mathbb{R})\)，\(\varphi_A:F(k,m)\to F(k,m),\ \varphi_A(X)=AX\)是同胚（逆为\(\varphi_{A^{-1}}\)）。对开集\(U\subset F(k,m)\)，饱和集\([U]=\bigcup_{A\in GL(k,\mathbb{R})}\varphi_A(U)\)是开集的任意并，仍为开集，故等价关系是开的。
2. \(F(k,m)\)是\(\mathbb{R}^{km}\)的开子集，具有可数基，根据引理1，\(G(k,m)\)具有可数基。

步骤2 验证Hausdorff性

构造连续函数\(f:F(k,m)\times F(k,m)\to\mathbb{R}\)：

\[f(X,Y) = \sum_{r=1}^k \sum_{i_1,\dots,i_k=1}^m \left| \det \begin{pmatrix} x_1^{i_1} & \dots & x_1^{i_k} \\ \vdots & & \vdots \\ x_k^{i_1} & \dots & x_k^{i_k} \\ y_r^{i_1} & \dots & y_r^{i_k} \end{pmatrix} \right|^2 \]

• \(f\)是行列式的平方和，连续；
• \(f(X,Y)=0\)当且仅当所有\(y_r\)与\(x_1,\dots,x_k\)线性相关，即\(\text{span}(Y)=\text{span}(X)\)，也就是\(X\sim Y\)。

因此\(S=f^{-1}(0)\)是闭集，根据引理2，\(G(k,m)\)是Hausdorff空间。

---

2.3 坐标卡构造与同胚证明

1. 坐标卡定义域：
   取\((1,\dots,m)\)的一个有序\(k\)元子集\(J=(j_1,\dots,j_k)\)，记\(J'\)为其有序补集（剩余\(m-k\)个元素）。定义

   \[\widetilde{U}_J = \{ X\in F(k,m) \mid \det X_J \neq 0 \},\quad U_J = \pi(\widetilde{U}_J) \]

   其中\(X_J\)是\(X\)的第\(j_1,\dots,j_k\)列构成的\(k\times k\)子矩阵，\(\det X_J\neq0\)是多项式非零的开集，故\(U_J\)是\(G(k,m)\)的开集。所有\(U_J\)覆盖\(G(k,m)\)（任意秩为\(k\)的矩阵，至少存在一个\(k\)阶子式非零）。

2. 坐标映射定义：
   对\([X]\in U_J\)，因\(X_J\)可逆，取等价代表元\(X^* = X_J^{-1}X\)，其\(J\)列是\(k\)阶单位矩阵\(I_k\)，剩余\(J'\)列是\(k\times(m-k)\)矩阵\(X_{J'}^*\)。定义坐标映射：

   \[\varphi_J:U_J\to\mu_{k\times(m-k)}(\mathbb{R})\cong\mathbb{R}^{k(m-k)},\quad \varphi_J([X]) = X_{J'}^* = X_J^{-1}X_{J'} \]

3. 良定性与同胚验证：

   • 良定性：若\(Y=AX\)，则\(Y_J=AX_J\)，故\(Y_J^{-1}Y_{J'} = (AX_J)^{-1}(AX_{J'}) = X_J^{-1}X_{J'}\)，与代表元无关。
   • 单射：若\(\varphi_J([X])=\varphi_J([Y])\)，则二者的标准代表元\((I_k | X_{J'}^*)\)完全相同，故\([X]=[Y]\)。
   • 满射：对任意\(Z\in\mu_{k\times(m-k)}(\mathbb{R})\)，构造\(X=(I_k | Z)\in\widetilde{U}_J\)，则\(\varphi_J([X])=Z\)。
   • 连续性：\(\varphi_J\circ\pi:X\mapsto X_J^{-1}X_{J'}\)是矩阵求逆与乘法的复合，在可逆矩阵集合上连续；逆映射\(\varphi_J^{-1}(Z)=[(I_k | Z)]\)是连续映射与\(\pi\)的复合，也连续。

   综上，\(\varphi_J\)是同胚，\(G(k,m)\)是\(k(m-k)\)维拓扑流形。

---

2.4 坐标变换的\(C^\infty\)相容性证明

取两个重叠坐标卡\(U_J\cap U_L\neq\emptyset\)，转移函数\(\varphi_L\circ\varphi_J^{-1}\)的推导：

1. \(\varphi_J^{-1}(Z) = [(I_k | Z)]\)，记该矩阵为\(X\)，其\(L\)列构成的\(k\times k\)子矩阵为\(M\)，在重叠区域\(\det M\neq0\)，故\(M\)可逆。
2. \(\varphi_L([X]) = M^{-1} X_{L'}\)，其中\(X_{L'}\)是\(X\)的\(L'\)列构成的子矩阵。
3. \(M\)的元素是\(Z\)的线性函数，\(M^{-1}\)的元素是\(M\)的有理函数（伴随矩阵除以行列式），因此\(\varphi_L\circ\varphi_J^{-1}\)的所有分量都是\(Z\)的有理函数，分母\(\det M\neq0\)，故为\(C^\infty\)映射。

综上，所有坐标卡\(C^\infty\)相容，\(G(k,m)\)是\(k(m-k)\)维\(C^\infty\)微分流形。

---

核心知识点归纳总结表

流形	几何本质	维数	构造方式	核心性质	典型特例与推广
\(m\)维实射影空间\(P^m(\mathbb{R})\)	\(\mathbb{R}^{m+1}\)中所有过原点的直线的集合	\(m\)	\(\mathbb{R}^{m+1}\setminus\{0\}\)关于数乘等价的商空间	紧、光滑、不可定向（\(m\)为偶数时）、可定向（\(m\)为奇数时）	特例：\(P^1(\mathbb{R})\cong S^1\)（1维射影空间同胚于圆周）；推广：复射影空间\(P^m(\mathbb{C})\)
Grassmann流形\(G(k,m)\)	\(\mathbb{R}^m\)中所有\(k\)维线性子空间的集合	\(k(m-k)\)	\(k\)-标架空间\(F(k,m)\)关于基变换等价的商空间	紧、光滑、可定向；是向量丛的分类空间	特例：\(G(1,m+1)=P^m(\mathbb{R})\)；\(G(k,m)\cong G(m-k,m)\)（子空间与其正交补一一对应）

---

补充背景与意义

1. 实射影空间：是代数几何中最基础的射影代数簇，也是微分几何中紧流形的标准例子，在射影几何、拓扑学、计算机视觉中均有核心应用。
2. Grassmann流形：是微分拓扑中向量丛的分类空间（万有丛的底空间），示性类的定义、向量丛的分类均依赖Grassmann流形；同时在控制理论、机器学习（子空间学习）、计算机视觉中也有广泛应用。
3. 商流形构造范式：两个例子完整展示了商流形的构造流程：定义等价关系→用引理1验证第二可数性→用引理2验证Hausdorff性→构造坐标卡验证局部欧氏性→证明坐标变换光滑性，这是构造抽象微分流形的通用方法。

---

流形的映射 详细讲解与严格证明

本节是微分流形理论的核心运算基础，所有后续内容（切空间、张量、子流形、黎曼几何等）都建立在流形间映射的可微性之上。其核心思想是：微分流形没有全局欧氏坐标，因此通过局部坐标卡，将流形间的映射“拉回”为欧氏空间开集之间的映射，用欧氏空间的可微性定义流上映射的可微性，是微分几何“局部化思想”的核心体现。

---

一、流形上的可微函数（定义2.1.4）

1.1 定义重述与解读

设\(M\)为\(m\)维\(C^k\)流形，\(W\subset M\)是开子集，\(f:W\to\mathbb{R}\)为实值函数。

• 对\(p\in W\)，若存在包含\(p\)的坐标卡\((U,\varphi)\)（\(U\cap W\neq\emptyset\)），使得局部表示
  \[f\circ\varphi^{-1}: \varphi(U\cap W)\subset\mathbb{R}^m \to \mathbb{R} \]
  在\(\varphi(p)\)点是\(C^s\)（\(s\leq k\)）的，则称\(f\)在\(p\)点是\(C^s\)的。
• 若\(f\)在\(W\)的每一点都是\(C^s\)的，则称\(f\)为\(W\)上的\(C^s\)函数，全体\(C^s\)函数记为\(C^s(W)\)；特别地，\(C^s(M)\)表示\(M\)上的全体\(C^s\)函数。

核心解读

流形上的函数本身没有“可微性”的定义，我们通过坐标卡，把流形上的函数转化为欧氏空间上的函数，用欧氏空间的可微性来定义流上函数的可微性。

---

1.2 定义的良定性：可微性与坐标卡选取无关

这是定义成立的核心前提：函数在一点的可微性，不依赖于坐标卡的选取。

严格证明

设\((V,\psi)\)是另一个包含\(p\)的坐标卡，我们需要证明：若\(f\circ\varphi^{-1}\)在\(\varphi(p)\)点是\(C^s\)的，则\(f\circ\psi^{-1}\)在\(\psi(p)\)点也是\(C^s\)的。

1. 对映射做分解：
   \[f\circ\psi^{-1} = \left(f\circ\varphi^{-1}\right) \circ \left(\varphi\circ\psi^{-1}\right) \]

2. 分析复合项的可微性：
   • \(\varphi\circ\psi^{-1}\)是两个坐标卡之间的转移函数，由于\(M\)是\(C^k\)流形，转移函数是\(C^k\)微分同胚，而\(s\leq k\)，因此\(\varphi\circ\psi^{-1}\)是\(C^s\)映射；
   • 已知\(f\circ\varphi^{-1}\)在\(\varphi(p)\)点是\(C^s\)的。
3. 根据欧氏空间的复合函数可微性定理：两个\(C^s\)函数的复合仍是\(C^s\)函数，因此\(f\circ\psi^{-1}\)在\(\psi(p)\)点是\(C^s\)的。

综上，可微性与坐标卡选取无关，定义是良定的。

---

1.3 基础推论：坐标函数是\(C^k\)函数

设\((U,\varphi)\)是\(m\)维\(C^k\)流形的坐标卡，坐标函数\(x^i = \pi^i\circ\varphi\)（\(\pi^i\)是\(\mathbb{R}^m\)到第\(i\)分量的投影），则\(x^i\)是\(U\)上的\(C^k\)函数。

证明

\(x^i\)的局部表示为\(x^i\circ\varphi^{-1} = \pi^i\)，是\(\mathbb{R}^m\to\mathbb{R}\)的线性投影映射，天然是\(C^\infty\)的，自然满足\(C^k\)要求，因此\(x^i\)是\(U\)上的\(C^k\)函数。

---

二、流形之间的可微映射（定义2.1.5）

可微函数是流形到\(\mathbb{R}\)的映射，我们将其推广为两个微分流形之间的映射，这是微分流形范畴的核心研究对象。

2.1 定义重述与解读

设\(M\)为\(m\)维\(C^k\)流形，\(N\)为\(n\)维\(C^k\)流形，映射\(f:M\to N\)。

• 对\(p\in M\)，若存在\(M\)上包含\(p\)的坐标卡\((U,\varphi)\)、\(N\)上包含\(q=f(p)\)的坐标卡\((V,\psi)\)，使得\(f(U)\subset V\)，且局部表示（坐标表示）
  \[\hat{f} = \psi\circ f\circ\varphi^{-1}: \varphi(U)\subset\mathbb{R}^m \to \psi(V)\subset\mathbb{R}^n \]
  在\(\varphi(p)\)点是\(C^s\)（\(s\leq k\)）的，则称\(f\)在\(p\)点是\(C^s\)的。
• 若\(f\)在\(M\)的每一点都是\(C^s\)的，则称\(f\)为\(C^s\)映射。

核心解读

1. 局部表示的坐标形式：\(\hat{f}\)可以写为欧氏空间的向量值函数
   \[(y^1,y^2,\dots,y^n) = \left(f^1(x^1,\dots,x^m),f^2(x^1,\dots,x^m),\dots,f^n(x^1,\dots,x^m)\right) \]
   其中\(f^\alpha(x) = \pi^\alpha\circ\psi\circ f\circ\varphi^{-1}(x)\)，\(\alpha=1,2,\dots,n\)。因此\(f\)是\(C^s\)映射，当且仅当每个分量函数\(f^\alpha\)都是\(\varphi(U)\)上的\(C^s\)函数。
2. 良定性：与坐标卡选取无关，证明与可微函数的良定性完全一致：更换坐标卡等价于复合\(C^k\)微分同胚的转移函数，不改变映射的可微性。
3. 特例：定义2.1.4是本定义当\(N=\mathbb{R}\)（1维光滑流形）的特殊情况。

---

2.2 经典实例：流形上的参数曲线

设\(M=(a,b)\subset\mathbb{R}\)（1维光滑流形），\(N\)为\(n\)维\(C^k\)流形，则\(C^s\)映射\(f:(a,b)\to N\)（\(s\leq k\)）称为\(N\)上的一条\(C^s\)参数曲线。

这是后续切向量理论的核心基础：流形上一点的切向量，就是过该点的参数曲线的“切方向”。

---

三、映射的秩（定义2.1.6）

映射的秩是刻画流形间映射局部性质的核心不变量，是子流形、浸入、嵌入理论的基础。

3.1 定义重述与良定性

设\(f:M\to N\)在\(p\in M\)点是\(C^s\)的，\((U,\varphi),(V,\psi)\)是对应坐标卡，则\(f\)的局部表示\(\hat{f}\)在\(\varphi(p)\)点的秩，称为\(f\)在\(p\)点的秩。

良定性证明：秩与坐标卡选取无关

设\((U',\varphi')\)是\(p\)的另一组坐标卡，\((V',\psi')\)是\(f(p)\)的另一组坐标卡，新的局部表示为：

\[\hat{f}' = \psi'\circ f\circ\varphi'^{-1} = \left(\psi'\circ\psi^{-1}\right) \circ \hat{f} \circ \left(\varphi\circ\varphi'^{-1}\right) \]

1. \(\psi'\circ\psi^{-1}\)是\(N\)的坐标转移函数，是\(C^k\)微分同胚，其Jacobi矩阵处处可逆；
2. \(\varphi\circ\varphi'^{-1}\)是\(M\)的坐标转移函数，是\(C^k\)微分同胚，其Jacobi矩阵处处可逆。

根据线性代数基本结论：矩阵左乘、右乘可逆矩阵，秩保持不变。因此\(\hat{f}'\)在\(\varphi'(p)\)点的秩，等于\(\hat{f}\)在\(\varphi(p)\)点的秩，即\(f\)在\(p\)点的秩与坐标卡选取无关，定义良定。

---

3.2 秩的局部坐标计算

\(f\)在\(p\)点的秩，就是其局部表示\(\hat{f}\)在\(\varphi(p)\)点的Jacobi矩阵的秩，Jacobi矩阵为\(n\times m\)矩阵：

\[J_{\hat{f}}(\varphi(p)) = \begin{pmatrix} \frac{\partial f^1}{\partial x^1} & \frac{\partial f^1}{\partial x^2} & \dots & \frac{\partial f^1}{\partial x^m} \\ \vdots & \vdots & & \vdots \\ \frac{\partial f^n}{\partial x^1} & \frac{\partial f^n}{\partial x^2} & \dots & \frac{\partial f^n}{\partial x^m} \end{pmatrix}_{\varphi(p)}\]

\(f\)在\(p\)点的秩\(\text{rank}_p f = \text{rank}\,J_{\hat{f}}(\varphi(p))\)。

---

四、核心定理

4.1 定理2.1.1：流形上的截断函数定理

定理内容

设\(M\)是\(C^k\)流形，\(F\)是\(M\)的闭子集，\(K\)是\(M\)的紧子集，且\(F\cap K=\emptyset\)，则存在\(M\)上的\(C^k\)函数\(f\)，满足：

\[f|_K \equiv 1,\quad f|_F \equiv 0 \]

本质解读

这是单位分解定理的直接推论，是流形上“将局部性质拼接为整体性质”的核心工具：

• 欧氏空间上存在光滑bump函数（在紧集上为1、闭集上为0的光滑函数）；
• 流形上通过单位分解，将局部的bump函数拼接为整体的截断函数，实现了局部性质到整体性质的过渡。

重要推论

设\(U\)是\(C^k\)流形\(M\)的开集，\(f\)是\(U\)上的\(C^s\)函数（\(s\leq k\)），则对任意\(p\in U\)，存在\(p\)的邻域\(V\subset U\)，以及\(M\)上的\(C^s\)函数\(f^*\)，使得：

\[f^*|_V = f,\quad f^*|_{M\setminus U} \equiv 0 \]

该推论称为局部函数的整体延拓，是后续切空间、张量场定义的核心基础。

---

4.2 秩定理（定理2.1.2）

秩定理是欧氏空间反函数定理、隐函数定理在流形上的推广，是本节最重要的定理，是浸入、嵌入、子流形理论的核心支撑。

定理内容

设\(M\)是\(m\)维\(C^k\)流形，\(N\)是\(n\)维\(C^k\)流形，\(f:M\to N\)是\(C^s\)映射（\(1\leq s\leq k\)）。若\(f\)在\(p\in M\)的一个邻域内的秩恒为\(r\)，则存在：

1. \(M\)上包含\(p\)的坐标卡\((U,\varphi;x^i)\)，满足\(\varphi(p)=(0,0,\dots,0)\in\mathbb{R}^m\)；
2. \(N\)上包含\(q=f(p)\)的坐标卡\((V,\psi;y^\alpha)\)，满足\(\psi(q)=(0,0,\dots,0)\in\mathbb{R}^n\)；

使得\(f\)的局部表示化为标准形式：

\[\hat{f}(x^1,x^2,\dots,x^m) = (x^1,x^2,\dots,x^r,\underbrace{0,0,\dots,0}_{n-r个}) \]

即坐标分量满足：

\[y^\alpha = f^\alpha(x) = \begin{cases} x^\alpha, & \alpha=1,2,\dots,r \\ 0, & \alpha=r+1,\dots,n \end{cases}\]

本质解读

秩定理的核心是：在常秩映射的邻域内，可通过选取合适的局部坐标，将映射化为最简单的“投影+零延拓”的标准形式。
这与线性代数中“线性映射可通过基变换化为行最简形”完全对应：可微的常秩映射，可通过局部坐标变换化为线性标准形式，是反函数定理、隐函数定理的统一推广。

---

五、微分同胚（定义2.1.7）

微分同胚是微分流形范畴的“等价关系”，两个微分同胚的流形，在微分几何意义下是完全相同的。

5.1 定义重述

设\(M\)和\(N\)都是\(C^k\)流形，若映射\(f:M\to N\)满足：

1. \(f\)是双射；
2. \(f\)和\(f^{-1}\)都是\(C^s\)映射（\(s\leq k\)）；

则称\(f\)为\(C^s\)微分同胚。若存在这样的微分同胚，则称\(M\)和\(N\)是\(C^s\)微分同胚的。

核心性质

• 微分同胚一定是同胚（拓扑等价），但同胚不一定是微分同胚；
• 坐标卡\((U,\varphi)\)是\(U\)到\(\varphi(U)\subset\mathbb{R}^m\)的\(C^k\)微分同胚：\(\varphi\)是同胚，且\(\varphi\)和\(\varphi^{-1}\)的局部表示都是恒等映射，天然是\(C^k\)的。

---

5.2 经典实例：\(\mathbb{R}\)上不同微分结构的微分同胚

我们之前构造了\(\mathbb{R}\)上两个不同的光滑微分结构：

• \(\mathscr{U}_1\)：由坐标卡\((\mathbb{R},\varphi)\)生成，\(\varphi(x)=x\)（标准结构），对应流形\(R_1\)；
• \(\mathscr{U}_2\)：由坐标卡\((\mathbb{R},\varphi^*)\)生成，\(\varphi^*(x)=x^3\)（非标准结构），对应流形\(R_2\)。

两个微分结构不相容（坐标变换\(\varphi\circ(\varphi^*)^{-1}(x)=\sqrt[3]{x}\)在\(x=0\)处不可微），但两个流形是\(C^\infty\)微分同胚的。

证明

构造映射\(F:R_1\to R_2\)，\(F(x)=x^{1/3}\)。

1. \(F\)是双射，逆映射\(F^{-1}(x)=x^3\)；
2. 验证\(F\)是\(C^\infty\)映射：\(F\)的局部表示为
   \[\hat{F} = \varphi^*\circ F\circ\varphi^{-1}(x) = \varphi^*(x^{1/3}) = (x^{1/3})^3 = x \]
   是恒等映射，天然\(C^\infty\)；
3. 验证\(F^{-1}\)是\(C^\infty\)映射：\(F^{-1}\)的局部表示为
   \[\hat{F}^{-1} = \varphi\circ F^{-1}\circ(\varphi^*)^{-1}(x) = \varphi(x^3) = x^3 \]
   是多项式函数，天然\(C^\infty\)。

因此\(F\)是\(C^\infty\)微分同胚，\(R_1\)与\(R_2\)微分同胚。

---

5.3 里程碑结论：怪球与微分结构的非平凡性

上述例子中，不同的微分结构仍然是微分同胚的，一个自然的问题是：同一个拓扑流形上，是否存在两个微分结构，使得对应的流形不是微分同胚的？

1956年，Milnor证明了：7维球面\(S^7\)上存在至少28个互不等价、且不微分同胚的光滑结构，这类不与标准球面微分同胚的拓扑球面称为“怪球”。

该成果是微分拓扑的里程碑，证明了微分结构是拓扑结构之外的独立结构，微分拓扑与代数拓扑是两个独立的数学分支。

---

核心知识点归纳总结表

核心概念	严格定义	核心性质	几何/拓扑意义
流形上的\(C^s\)函数	通过局部坐标卡拉回为欧氏空间的\(C^s\)函数	可微性与坐标卡选取无关；坐标函数是\(C^k\)函数	流形上的“光滑函数”，是微分运算的基本对象
流形间的\(C^s\)映射	局部坐标表示为欧氏空间开集间的\(C^s\)映射	可微性与坐标卡选取无关；分量函数\(C^s\)等价于映射\(C^s\)	微分流形范畴的态射，连接不同流形的核心工具
映射的秩	局部表示的Jacobi矩阵的秩	与坐标卡选取无关；是映射的局部不变量	刻画映射的局部“自由度”，是子流形理论的核心
秩定理	常秩映射可通过局部坐标化为投影+零延拓的标准形式	统一推广了反函数定理、隐函数定理	将非线性常秩映射局部线性化，是微分几何的核心工具
微分同胚	双射、双向\(C^s\)的映射	是等价关系；坐标卡是局部微分同胚	微分流形的“同构”，微分同胚的流形在微分几何意义下完全等价
截断函数定理	紧集上为1、不交闭集上为0的\(C^k\)函数存在性	单位分解定理的直接推论	实现流形上局部性质到整体性质的拼接

---

浸入、淹没与子流形 详细讲解与证明

本节是微分流形理论的核心内容，基于映射的秩，将流形间的映射分为浸入、淹没两大类，进而定义了流形的子结构——浸入子流形与正则子流形，是后续黎曼几何、李群、纤维丛理论的基础。

---

一、核心定义：浸入与淹没

1.1 定义重述与本质解读

设\(M\)是\(m\)维\(C^k\)流形，\(N\)是\(n\)维\(C^k\)流形，\(f:M\to N\)是\(C^s\)映射（\(1\leq s\leq k\)）。

1. 浸入：若\(f\)在每一点\(p\in M\)的秩都等于\(M\)的维数\(m\)（即\(\text{rank}_p f \equiv m\)），则称\(f\)为浸入。
2. 淹没：若\(f\)在每一点\(p\in M\)的秩都等于\(N\)的维数\(n\)（即\(\text{rank}_p f \equiv n\)），则称\(f\)为淹没。

核心解读

• 秩的基本不等式：对任意映射，\(\text{rank}_p f \leq \min(m,n)\)，因此浸入要求\(m\leq n\)（定义域维数≤陪域维数），淹没要求\(m\geq n\)（定义域维数≥陪域维数）。
• 线性代数意义：
  • 浸入的微分\(\text{d}f_p:T_pM\to T_{f(p)}N\)是单线性映射（秩等于定义域维数），因此浸入在局部是“不折叠、不退化”的，不会把切空间压缩到更低维的子空间。
  • 淹没的微分\(\text{d}f_p:T_pM\to T_{f(p)}N\)是满线性映射（秩等于陪域维数），因此淹没在局部是“满射、不退化”的，切空间可以完整覆盖陪域的切空间。

---

1.2 浸入与淹没的局部标准型（秩定理的直接推论）

根据上一节的秩定理，浸入和淹没作为常秩映射，可以通过局部坐标变换化为最简单的标准形式，是分析局部性质的核心工具。

浸入的局部标准型

若\(f:M\to N\)是浸入，则对任意\(p\in M\)，存在：

• \(M\)上包含\(p\)的坐标卡\((U,\varphi;x^i)\)，满足\(\varphi(p)=(0,\dots,0)\in\mathbb{R}^m\)；
• \(N\)上包含\(f(p)\)的坐标卡\((V,\psi;y^\alpha)\)，满足\(\psi(f(p))=(0,\dots,0)\in\mathbb{R}^n\)；

使得\(f\)的局部表示为：

\[\hat{f}(x^1,x^2,\dots,x^m) = (x^1,x^2,\dots,x^m,\underbrace{0,0,\dots,0}_{n-m个}) \]

几何意义：浸入在局部等价于把\(m\)维欧氏空间“嵌入”到\(n\)维欧氏空间的前\(m\)个坐标平面，后\(n-m\)个坐标恒为零，是最直观的“局部嵌入”。

淹没的局部标准型

若\(f:M\to N\)是淹没，则对任意\(p\in M\)，存在：

• \(M\)上包含\(p\)的坐标卡\((U,\varphi;x^i)\)，满足\(\varphi(p)=(0,\dots,0)\in\mathbb{R}^m\)；
• \(N\)上包含\(f(p)\)的坐标卡\((V,\psi;y^\alpha)\)，满足\(\psi(f(p))=(0,\dots,0)\in\mathbb{R}^n\)；

使得\(f\)的局部表示为：

\[\hat{f}(x^1,x^2,\dots,x^m) = (x^1,x^2,\dots,x^n) \]

几何意义：淹没在局部等价于把\(m\)维欧氏空间“投影”到前\(n\)个坐标，是最直观的“局部投影映射”。

---

1.3 经典实例详解

例1 标准浸入与标准淹没

• 标准浸入：\(\alpha:\mathbb{R}^m\to\mathbb{R}^n\)（\(n>m\)），\(\alpha(x^1,\dots,x^m)=(x^1,\dots,x^m,0,\dots,0)\)。
  其Jacobi矩阵是前\(m\)行\(m\)列为单位矩阵，其余为零，秩恒为\(m\)，是浸入。
• 标准淹没：\(\beta:\mathbb{R}^n\to\mathbb{R}^m\)（\(n>m\)），\(\beta(x^1,\dots,x^n)=(x^1,\dots,x^m)\)。
  其Jacobi矩阵是前\(m\)列为单位矩阵，其余为零，秩恒为\(m\)，是淹没。

例2 自交浸入与单浸入（\(\mathbb{R}\to\mathbb{R}^2\)）

• 自交浸入\(f\)：\(f(t)=\left(2\cos\left(\frac{t}{2}-\frac{\pi}{2}\right),\sin\left(2\left(\frac{t}{2}-\frac{\pi}{2}\right)\right)\right)=(2\sin\frac{t}{2},\sin t)\)。
  导数\(f'(t)=\left(\cos\frac{t}{2},\cos t\right)\)，对所有\(t\in\mathbb{R}\)，\(f'(t)\neq 0\)，秩恒为1，是浸入。但\(f(t+2\pi)=f(t)\)，是周期映射，整体不是单射，像集是\(\mathbb{R}^2\)中自交的8字形曲线，是浸入但非单浸入。
• 单浸入\(g\)：\(g(t)=\left(2\cos\left(\frac{t}{2}+2\pi\tanh t\right),\sin\left(2\left(\frac{t}{2}+2\pi\tanh t\right)\right)\right)\)。
  导数恒不为零，是浸入；且\(\tanh t\)严格单调，映射整体是单射，无自交点，是单浸入。但像集的拓扑与\(\mathbb{R}\)的通常拓扑不一致，不是嵌入。

例3 范数平方映射（淹没）

\(f:\mathbb{R}^n\setminus\{0\}\to\mathbb{R}\)，\(f(x^1,\dots,x^n)=\sum_{i=1}^n (x^i)^2\)。
其梯度\(\nabla f=2(x^1,\dots,x^n)\)，在\(\mathbb{R}^n\setminus\{0\}\)上恒不为零，因此秩恒为1（等于\(\mathbb{R}\)的维数），是淹没。这是最经典的淹没实例，后续将用它构造球面正则子流形。

---

二、浸入子流形与单浸入

2.1 核心定义

设\(f:M\to N\)是单浸入（既是浸入，又是整体单射），则称\((M,f)\)是\(N\)的浸入子流形，通常将\(M\)与它的像\(f(M)\)等同，直接称\(f(M)\)是\(N\)的浸入子流形。

关键性质

浸入子流形的拓扑是由\(f\)诱导的拓扑：\(f(M)\)中的开集定义为\(f(U)\)，其中\(U\)是\(M\)的开集。这个拓扑不一定等于\(N\)的子空间拓扑，这是浸入子流形与正则子流形的核心区别。

---

2.2 经典实例：环面的无理流（稠密浸入子流形）

2维环面\(T^2=S^1\times S^1=\{(z_1,z_2)\in\mathbb{C}^2 \mid |z_1|=|z_2|=1\}\)，构造映射\(f:\mathbb{R}\to T^2\)：

\[f(t)=(e^{2\pi it},e^{2\pi i\alpha t}) \]

其中\(\alpha\)是无理数。

证明：\(f\)是单浸入

1. 浸入性：导数\(f'(t)=(2\pi i e^{2\pi it},2\pi i\alpha e^{2\pi i\alpha t})\)，对所有\(t\in\mathbb{R}\)，\(f'(t)\neq 0\)，秩恒为1，是浸入。
2. 单射性：若\(f(t_1)=f(t_2)\)，则\(e^{2\pi i(t_1-t_2)}=1\)且\(e^{2\pi i\alpha(t_1-t_2)}=1\)，即存在整数\(k,l\)使得\(t_1-t_2=k\)，\(\alpha(t_1-t_2)=l\)，因此\(\alpha=l/k\)，与\(\alpha\)是无理数矛盾。故\(f\)是单射。

综上，\(f\)是单浸入，\(f(\mathbb{R})\)是\(T^2\)的浸入子流形。

核心性质：像集在\(T^2\)中稠密

根据Kronecker逼近定理：若\(\alpha\)是无理数，则对任意\(\varepsilon>0\)，任意实数\(u,v\)，存在整数\(k,l\)和实数\(t\)，使得\(|t-k|<\varepsilon\)，\(|\alpha t - l|<\varepsilon\)，即\(f(t)\)可以任意逼近\(T^2\)中的任意点\((e^{2\pi iu},e^{2\pi iv})\)。因此\(f(\mathbb{R})\)的闭包是整个\(T^2\)，是稠密浸入子流形。

关键结论：该浸入子流形的诱导拓扑是\(\mathbb{R}\)的通常拓扑，而\(T^2\)的子空间拓扑中，\(f(\mathbb{R})\)的开集是稠密的交叉集合，二者完全不同，因此它不是正则子流形。

---

三、正则子流形与嵌入

3.1 核心定义

1. 正则子流形：设\(N\)是\(n\)维\(C^k\)流形，\(M\subset N\)是子集。若\(M\)本身是\(m\)维\(C^k\)流形，且包含映射\(i:M\to N\)是嵌入，则称\(M\)是\(N\)的\(m\)维正则子流形，\(n-m\)称为\(M\)在\(N\)中的余维数。
2. 嵌入：设\(f:M\to N\)是单浸入，且\(f:M\to f(M)\)是同胚（\(f(M)\)赋予\(N\)的子空间拓扑），则称\(f\)是嵌入。

核心解读

• 嵌入的本质：单浸入 + 拓扑兼容（\(M\)的拓扑与\(f(M)\)的子空间拓扑一致）。
• 正则子流形与嵌入的一一对应：嵌入的像\(f(M)\)是\(N\)的正则子流形；正则子流形的包含映射是嵌入。
• 与浸入子流形的核心区别：正则子流形的拓扑就是\(N\)的子空间拓扑，无需额外诱导，是“与母流形兼容的好子流形”。

---

3.2 正则子流形的局部特征（核心判定定理）

定理2.1.4 正则子流形的局部典范形式

\(M\subset N\)是\(n\)维流形\(N\)的\(m\)维正则子流形，当且仅当对任意\(p\in M\)，存在\(N\)的坐标卡\((V,\psi;y^\alpha)\)，满足：

1. \(p\in V\)，\(\psi(p)=(0,\dots,0)\in\mathbb{R}^n\)；
2. \(V\cap M = \{ q\in V \mid y^{m+1}(q)=y^{m+2}(q)=\dots=y^n(q)=0 \}\)。

几何意义

正则子流形在局部就是\(N\)的坐标平面，后\(n-m\)个坐标恒为零，完全符合我们对“子空间”的直观认知。这是正则子流形最常用的判定条件，也是构造正则子流形的核心工具。

---

3.3 核心定理与证明

定理2.1.3 嵌入的充要条件

设\(f:M\to N\)是单浸入，则\(f\)是嵌入当且仅当\(f\)是开映射（将\(M\)的开集映为\(f(M)\)的开集，\(f(M)\)带子空间拓扑）。

证明

• 必要性：若\(f\)是嵌入，则\(f:M\to f(M)\)是同胚，同胚天然是开映射，因此\(f\)是开映射。
• 充分性：若\(f\)是单浸入且是开映射，则\(f:M\to f(M)\)是双射、连续、开映射，因此是同胚，符合嵌入的定义。

重要推论

若\(M\)是紧流形，\(N\)是Hausdorff流形，则\(M\to N\)的单浸入一定是嵌入。

证明：紧空间到Hausdorff空间的单连续映射是闭映射，也是同胚到像集，因此单浸入自动是嵌入。
典型例子：\(S^1\to\mathbb{R}^3\)的单浸入就是纽结，都是嵌入，像集是\(\mathbb{R}^3\)的正则子流形。

---

定理2.1.5 淹没的水平集定理

设\(f:M\to N\)是淹没，则对任意\(q\in N\)，若原像\(f^{-1}(q)\neq\emptyset\)，则\(f^{-1}(q)\)是\(M\)的\(m-n\)维正则子流形（余维数为\(n\)）。

证明

1. 拓扑验证：\(f\)是连续映射，单点集\(\{q\}\)是\(N\)的闭集，因此\(f^{-1}(q)\)是\(M\)的闭子集，继承\(M\)的Hausdorff性与第二可数性。
2. 局部坐标构造：对任意\(p\in f^{-1}(q)\)，由淹没的局部标准型，存在\(M\)的坐标卡\((U,\varphi;x^i)\)，\(N\)的坐标卡\((V,\psi;y^\alpha)\)，使得\(f\)的局部表示为\(\hat{f}(x^1,\dots,x^m)=(x^1,\dots,x^n)\)，且\(\varphi(p)=0\)，\(\psi(q)=0\)。
3. 水平集的局部形式：在该坐标卡下，\(U\cap f^{-1}(q) = \{ x\in U \mid x^1=x^2=\dots=x^n=0 \}\)，即后\(m-n\)个坐标自由，符合正则子流形的局部典范形式。
4. 微分结构：取坐标映射为\((x^{n+1},\dots,x^m)\)，即可构造\(f^{-1}(q)\)的光滑坐标图册，因此\(f^{-1}(q)\)是\(m-n\)维正则子流形。

---

3.4 经典实例

例5 开子流形

\(M\)是\(C^k\)流形\(N\)的开子集，则\(M\)是\(N\)的余维数为0的正则子流形。

证明：包含映射是单浸入，且拓扑与子空间拓扑一致，局部坐标直接继承\(N\)的坐标卡，符合正则子流形的条件。

例6 积流形的切片

设\(M,N\)是光滑流形，\(p\in N\)，则\(M\times\{p\}\)是\(M\times N\)的正则子流形，维数等于\(M\)的维数。

证明：包含映射\(i(x)=(x,p)\)是单浸入，且是同胚到像集，局部坐标可表示为\((x^1,\dots,x^m,0,\dots,0)\)，符合正则子流形的条件。

例7 球面是欧氏空间的正则子流形

\(n-1\)维单位球面\(S^{n-1}=\{x\in\mathbb{R}^n \mid \sum_{i=1}^n (x^i)^2=1\}\)是\(\mathbb{R}^n\)的\(n-1\)维正则子流形。

证明：由例3，\(f(x)=\sum_{i=1}^n (x^i)^2\)是\(\mathbb{R}^n\setminus\{0\}\to\mathbb{R}\)的淹没，\(S^{n-1}=f^{-1}(1)\)，根据水平集定理，\(S^{n-1}\)是\(\mathbb{R}^n\setminus\{0\}\)的\(n-1\)维正则子流形，自然也是\(\mathbb{R}^n\)的正则子流形。

---

四、核心知识点归纳总结表

核心概念	严格定义	核心条件	拓扑性质	典型实例
浸入	映射\(f:M^m\to N^n\)的秩恒为\(m\)	\(m\leq n\)，微分处处单射	局部单射，整体可自交	8字形曲线、环面无理流
淹没	映射\(f:M^m\to N^n\)的秩恒为\(n\)	\(m\geq n\)，微分处处满射	局部满射，整体可非满	欧氏空间投影、范数平方映射
单浸入	既是浸入，又是整体单射	浸入+单射	无自交，拓扑与子空间拓扑可不一致	环面无理流、非闭的8字形单浸入
浸入子流形	单浸入\(f:M\to N\)的像\(f(M)\)	由单浸入诱导拓扑与微分结构	拓扑由映射诱导，不一定是子空间拓扑	环面的稠密无理流像集
嵌入	单浸入+同胚到像集（子空间拓扑）	单浸入+拓扑兼容	是同胚，像集的拓扑与子空间拓扑一致	球面到欧氏空间的包含映射、纽结
正则子流形	包含映射是嵌入的子流形	局部可表示为坐标平面，拓扑为子空间拓扑	与母流形拓扑、微分结构完全兼容	球面、开子流形、积流形切片

---

补充教学总结

1. 浸入与淹没的对偶性：浸入是“低维流形弯进高维流形”，淹没是“高维流形投影到低维流形”，二者是微分流形映射的两大基本类型，后续的李群同态、纤维丛投影都是其特例。
2. 子流形的核心区别：浸入子流形的核心是“映射”，正则子流形的核心是“子集”。浸入子流形是“参数化的子流形”，正则子流形是“几何上的子流形”。
3. 正则子流形的构造方法：最常用的两种方法是水平集法（淹没的原像）和参数化法（嵌入的像），几乎所有常见的正则子流形都可以通过这两种方法构造。

---

单位分解 详细讲解与证明

单位分解是连接微分流形局部性质与整体性质的核心工具。微分流形仅具有局部欧氏结构，欧氏空间中的分析工具（如积分、光滑截断、微分算子）都是局部定义的，单位分解通过“局部权重函数的归一化求和”，将局部结论拼接为整体结论，是微分几何、微分拓扑、流形上的分析的基础工具。

---

一、基础概念拆解

我们先明确单位分解定义依赖的三个核心拓扑概念，是后续所有内容的基础。

1.1 局部有限的覆盖

设\(\{U_\alpha\}\)是拓扑空间\(M\)的子集族，若对任意\(p\in M\)，存在\(p\)的邻域\(W_p\)，使得\(W_p\)仅与\(\{U_\alpha\}\)中有限个\(U_\alpha\)相交，则称\(\{U_\alpha\}\)是局部有限的。

关键解读

• 局部有限≠覆盖元素个数有限：例如\(\mathbb{R}\)的开覆盖\(\{(n-1,n+1)\mid n\in\mathbb{Z}\}\)是可数无限的，但每个点的邻域最多与2个区间相交，是局部有限的。
• 核心作用：保证后续的无限求和退化为有限求和，避免收敛性问题，是单位分解定义的核心前提。

1.2 覆盖的加细

设\(\{U_\alpha\mid\alpha\in\mathscr{A}\}\)和\(\{V_\beta\mid\beta\in\mathscr{B}\}\)都是\(M\)的开覆盖，若对每个\(\beta\in\mathscr{B}\)，都存在\(\alpha\in\mathscr{A}\)，使得\(V_\beta\subset U_\alpha\)，则称\(\{V_\beta\}\)是\(\{U_\alpha\}\)的加细。

简单来说，加细就是将原覆盖的每个开集拆分为更小的开集，覆盖更精细，且每个小开集都包含在原覆盖的某个开集中。

1.3 函数的支集

设\(f:M\to\mathbb{R}\)是流形上的实值函数，\(f\)的支集定义为：

\[\text{supp}(f) = \overline{\{p\in M\mid f(p)\neq0\}} \]

即\(f\)不恒为零的点集的闭包。支集之外，\(f\)恒为零。

---

二、核心引理：正则覆盖的存在性

正则覆盖是单位分解存在性的基础，它为流形构造了一组性质良好的局部坐标卡，是单位分解的“载体”。

引理内容

设\(M\)是具有可数基的\(m\)维\(C^k\)流形，\(\{A_\alpha\}\)是\(M\)的任意开覆盖，则存在由可数个坐标图构成的\(\{A_\alpha\}\)的局部有限加细\(\{(U_j,\varphi_j)\mid j=1,2,\dots\}\)，满足：

1. \(\varphi_j(U_j)=B_1^m(0)\)（\(\mathbb{R}^m\)中以原点为球心、半径1的开球）；
2. \(V_j=\varphi_j^{-1}(B_{1/2}^m(0))\)（半径1/2的开球的原像）也是\(M\)的开覆盖。

满足上述条件的坐标覆盖称为从属于\(\{A_\alpha\}\)的正则覆盖。

---

引理的完整证明

证明分为3个核心步骤，核心思路是用紧穷竭将流形分解为可数个紧集，再对每个紧集构造有限个符合要求的坐标卡，最终拼接为全局的正则覆盖。

步骤1：构造流形的紧穷竭

因为\(M\)是第二可数的局部紧空间，存在可数个开集\(\{P_j\}\)，使得\(\bigcup_{j=1}^\infty P_j = M\)，且每个\(\overline{P_j}\)都是紧集。

我们构造一列递增的紧集\(\{K_i\}\)：

• 初始项：\(K_0=\emptyset\)，\(K_1=\overline{P_1}\)；
• 递推定义：若\(K_i\)已定义，取\(r\)为满足\(K_i\subset\bigcup_{j=1}^r P_j\)的最小整数，定义\(K_{i+1}=\overline{\bigcup_{j=1}^r P_j}\)。

该紧集序列满足3个核心性质：

1. 每个\(K_i\)都是紧集；
2. \(K_i\subset \mathring{K}_{i+1}\)（\(K_i\)包含在\(K_{i+1}\)的内点中）；
3. \(\bigcup_{i=1}^\infty K_i = M\)，即紧集序列“填满”整个流形。

这样的序列称为流形的紧穷竭，它将非紧流形分解为可数个递增的紧块，是处理非紧流形的标准方法。

步骤2：对每个紧块构造局部坐标卡

对固定的\(i\)，考虑开集\(\mathring{K}_{i+2}-K_{i-1}\)（内点减闭集，仍是开集），它覆盖了紧集\(K_{i+1}-\mathring{K}_i\)。

对紧集\(K_{i+1}-\mathring{K}_i\)中的任意点\(p\)：

1. 存在原覆盖的某个\(A_\alpha\)，使得\(p\in A_\alpha\)，因此\(p\in (\mathring{K}_{i+2}-K_{i-1})\cap A_\alpha\)；
2. 取包含\(p\)的坐标卡\((U_{p,\alpha},\varphi_{p,\alpha})\)，使得\(\varphi_{p,\alpha}(p)=0\)，\(\varphi_{p,\alpha}(U_{p,\alpha})=B_1^m(0)\)，且\(U_{p,\alpha}\subset (\mathring{K}_{i+2}-K_{i-1})\cap A_\alpha\)；
3. 定义\(V_{p,\alpha}=\varphi_{p,\alpha}^{-1}(B_{1/2}^m(0))\)，它是\(p\)的开邻域。

因为\(K_{i+1}-\mathring{K}_i\)是紧集，所以可以取有限个这样的\(V_{(i)1},V_{(i)2},\dots,V_{(i)l_i}\)覆盖该紧集，对应的坐标卡为\((U_{(i)j},\varphi_{(i)j})\)。

步骤3：验证正则覆盖的性质

将所有\(i\)对应的坐标卡合并，得到可数个坐标卡\(\{(U_j,\varphi_j)\}\)，对应的\(V_j\)，我们验证其满足正则覆盖的所有条件：

1. 是原覆盖的加细：每个\(U_j\)都构造在原覆盖的某个\(A_\alpha\)中，即\(U_j\subset A_\alpha\)，因此是\(\{A_\alpha\}\)的加细；
2. 局部有限性：对任意\(p\in M\)，\(p\)属于某个\(K_{i_0}\)，取邻域\(W=\mathring{K}_{i_0}\)。当\(i>i_0+2\)时，\(U_j\subset \mathring{K}_{i+2}-K_{i-1}\)，与\(\mathring{K}_{i_0}\)无交，因此\(W\)仅与有限个\(U_j\)相交，覆盖是局部有限的；
3. \(V_j\)覆盖\(M\)：\(\bigcup_{i=1}^\infty (K_{i+1}-\mathring{K}_i)=M\)，每个紧块都被对应的\(V_j\)覆盖，因此\(\bigcup V_j=M\)；
4. 坐标映射满足\(\varphi_j(U_j)=B_1^m(0)\)，符合构造要求。

综上，正则覆盖存在性得证。

---

三、单位分解的定义与存在性定理

3.1 单位分解的严格定义

设\(M\)是\(m\)维\(C^k\)流形，\(\{f_i\mid i\in\mathbb{N}\}\)是\(M\)上的一族\(C^k\)函数，若满足以下3个条件：

1. 非负性：对任意\(p\in M\)，\(f_i(p)\geq0\)；
2. 归一性：对任意\(p\in M\)，\(\sum_{i=1}^\infty f_i(p)=1\)；
3. 局部有限性：\(\{\text{supp}(f_i)\}\)是\(M\)的局部有限的覆盖；

则称\(\{f_i\}\)是\(M\)上的\(C^k\)单位分解。

若进一步，对\(M\)的开覆盖\(\{A_\alpha\}\)，每个\(f_i\)的支集都包含在某个\(A_\alpha\)中，则称该单位分解从属于开覆盖\(\{A_\alpha\}\)。

关键解读

局部有限性保证了归一性的求和是有限和：对任意\(p\in M\)，仅存在有限个\(f_i\)在\(p\)的邻域内非零，因此\(\sum f_i(p)\)是有限项求和，不存在收敛性问题，定义是良定的。

---

3.2 单位分解存在性定理（定理2.1.7）

定理内容

设\(M\)是具有可数基的\(C^k\)流形，\(\{(U_i,\varphi_i;V_i)\}\)是\(M\)的正则覆盖，则存在从属于该正则覆盖的\(C^k\)单位分解\(\{f_i\}\)，满足：

1. 在\(V_i\)上\(f_i>0\)；
2. \(\text{supp}(f_i)\subset \varphi_i^{-1}(\overline{B_{3/4}^m(0)})\subset U_i\)。

特别地，\(M\)的任意开覆盖都存在从属于它的单位分解，且每个\(f_i\)都具有紧支集。

---

完整证明

证明分为3个核心步骤，核心是利用欧氏空间的光滑bump函数，通过坐标卡拉回流形，再归一化得到单位分解。

步骤1：构造欧氏空间的光滑bump函数

根据截断函数定理（定理2.1.1），存在\(\mathbb{R}^m\)上的非负\(C^\infty\)函数\(\tilde{g}_i\)，满足：

• 在\(B_{1/2}^m(0)\)上，\(\tilde{g}_i\equiv1\)；
• 在\(B_{3/4}^m(0)\)外，\(\tilde{g}_i\equiv0\)。

该函数称为bump函数，在小球上恒为1，大球外恒为0，中间光滑过渡，是构造单位分解的核心单元。

步骤2：将bump函数拉回流形

定义\(g_i = \tilde{g}_i \circ \varphi_i\)，我们验证\(g_i\)的性质：

1. 光滑性：\(\varphi_i\)是\(C^k\)微分同胚，\(\tilde{g}_i\)是\(C^\infty\)函数，复合后\(g_i\)是\(M\)上的\(C^k\)函数；
2. 非负性：\(\tilde{g}_i\geq0\)，因此\(g_i\geq0\)；
3. 支集性质：\(\text{supp}(g_i)\subset \varphi_i^{-1}(\overline{B_{3/4}^m(0)})\subset U_i\)，且在\(V_i=\varphi_i^{-1}(B_{1/2}^m(0))\)上，\(g_i\equiv1\)；
4. 局部有限性：\(\{\text{supp}(g_i)\}\)继承了正则覆盖的局部有限性，是局部有限的。

步骤3：归一化构造单位分解

因为\(\{V_i\}\)是\(M\)的开覆盖，对任意\(p\in M\)，至少存在一个\(i\)使得\(p\in V_i\)，即\(g_i(p)=1>0\)，因此求和函数

\[S(p) = \sum_{j=1}^\infty g_j(p) > 0,\quad \forall p\in M \]

由局部有限性，\(S(p)\)是有限和，因此是\(M\)上处处为正的\(C^k\)函数。

定义

\[f_i = \frac{g_i}{S} \]

我们验证\(\{f_i\}\)满足单位分解的所有条件：

1. 非负性：\(g_i\geq0\)，\(S>0\)，因此\(f_i\geq0\)；
2. 归一性：\(\sum_{i=1}^\infty f_i(p) = \frac{1}{S(p)}\sum_{i=1}^\infty g_i(p) = 1\)；
3. 局部有限性：\(\text{supp}(f_i)=\text{supp}(g_i)\)，因此\(\{\text{supp}(f_i)\}\)是局部有限的；
4. 从属性质：\(\text{supp}(f_i)\subset U_i\)，从属于正则覆盖；
5. 正性：在\(V_i\)上\(g_i=1\)，\(S\geq1\)，因此\(f_i>0\)。

综上，单位分解的存在性得证。

---

四、核心应用：Whitney嵌入定理

单位分解最经典的应用是证明Whitney嵌入定理，该定理揭示了微分流形与欧氏空间的本质联系：任何微分流形都可以实现为欧氏空间的正则子流形。

4.1 定理内容（紧致流形版本）

设\(M\)是紧致\(m\)维光滑微分流形，则存在正整数\(n\)，以及光滑嵌入\(f:M\to\mathbb{R}^n\)，使得\(f(M)\)是\(\mathbb{R}^n\)的正则子流形。

注：Whitney嵌入定理的强版本为：任何具有可数基的\(m\)维光滑流形，都可以嵌入到\(\mathbb{R}^{2m+1}\)中作为闭正则子流形，是微分拓扑的里程碑结果。

---

4.2 完整证明

步骤1：构造有限正则覆盖

因为\(M\)是紧致的，任意开覆盖都有有限子覆盖，因此存在有限个坐标图组成的正则覆盖\(\{(U_i,\varphi_i;V_i)\mid i=1,2,\dots,k\}\)，覆盖整个\(M\)。

步骤2：构造从属的单位分解

根据单位分解定理，存在从属于该正则覆盖的光滑单位分解\(\{g_i\}\)，满足：

• \(g_i:M\to[0,1]\)是光滑函数；
• \(\text{supp}(g_i)\subset U_i\)；
• 在\(V_i\)上\(g_i\equiv1\)。

步骤3：构造嵌入映射

定义映射\(f:M\to\mathbb{R}^{k(m+1)}\)（\(n=k(m+1)\)），其分量为：

\[f(p) = \left( g_1(p)\varphi_1(p),\ g_2(p)\varphi_2(p),\ \dots,\ g_k(p)\varphi_k(p),\ g_1(p),\ g_2(p),\ \dots,\ g_k(p) \right) \]

其中每个\(g_i(p)\varphi_i(p)\)是\(\mathbb{R}^m\)中的向量，前\(km\)个分量为坐标加权项，后\(k\)个分量为单位分解的函数项。

步骤4：证明\(f\)是浸入

要证明\(f\)在任意\(p\in M\)处的秩为\(m\)（等于\(M\)的维数）。

• 对任意\(p\in M\)，存在\(i_0\)使得\(p\in V_{i_0}\)，在\(V_{i_0}\)上\(g_{i_0}\equiv1\)，因此\(g_{i_0}(p)\varphi_{i_0}(p)=\varphi_{i_0}(p)\)；
• \(\varphi_{i_0}\)是微分同胚，其微分\(\text{d}\varphi_{i_0}\)是可逆线性映射，秩为\(m\)；
• \(f\)的Jacobi矩阵中，对应\(g_{i_0}\varphi_{i_0}\)的子块的秩为\(m\)，因此\(f\)在\(p\)处的秩至少为\(m\)，而\(M\)的维数为\(m\)，故秩恰好为\(m\)。

因此\(f\)是浸入。

步骤5：证明\(f\)是单射

设\(p,q\in M\)满足\(f(p)=f(q)\)，则：

1. 对所有\(i\)，\(g_i(p)=g_i(q)\)，且\(g_i(p)\varphi_i(p)=g_i(q)\varphi_i(q)\)；
2. 不妨设\(p\in V_{i_0}\)，则\(g_{i_0}(p)=1\)，因此\(g_{i_0}(q)=1\)，故\(q\in \text{supp}(g_{i_0})\subset U_{i_0}\)；
3. 代入得\(\varphi_{i_0}(p)=\varphi_{i_0}(q)\)，而\(\varphi_{i_0}\)是单射，因此\(p=q\)。

故\(f\)是单浸入。

步骤6：证明\(f\)是嵌入

因为\(M\)是紧致流形，\(\mathbb{R}^n\)是Hausdorff空间，紧致空间到Hausdorff空间的单连续映射是同胚到像集，因此单浸入\(f:M\to f(M)\)是同胚，符合嵌入的定义。

综上，\(f\)是光滑嵌入，\(f(M)\)是\(\mathbb{R}^n\)的正则子流形。

---

五、核心知识点归纳总结表

核心概念	严格定义	核心性质	作用与意义
局部有限覆盖	每个点的邻域仅与有限个覆盖元素相交的开覆盖	无限求和退化为有限和，避免收敛性问题	单位分解定义的拓扑基础
正则覆盖	局部有限、坐标映射映为单位球、半径1/2球的原像仍覆盖流形的坐标覆盖	是原覆盖的加细，局部有限，坐标性质良好	单位分解的构造载体
函数的支集	函数非零点集的闭包	支集外函数恒为零，支集是闭集	刻画函数的非零范围，保证局部有限性
单位分解	满足非负性、归一性、局部有限性的光滑函数族	局部仅有限个非零，求和恒为1	连接流形局部性质与整体性质的核心工具
Whitney嵌入定理	紧致\(m\)维流形可嵌入到欧氏空间\(\mathbb{R}^n\)作为正则子流形	微分流形可实现为欧氏空间的子流形	揭示了微分流形与欧氏空间的本质联系，将流形的研究转化为欧氏空间子流形的研究

---

补充教学总结

1. 单位分解的核心价值：微分流形的定义是局部的，而我们要研究的几何性质（如积分、曲率、示性类）是整体的。单位分解的本质，就是给每个局部坐标卡分配一个“光滑权重”，将局部的定义、运算、性质，通过加权求和无缝拼接为全局的结果，是流形上分析的“万能胶水”。
2. 应用场景：除了Whitney嵌入定理，单位分解还用于流形上黎曼度量的存在性、Stokes定理的证明、de Rham上同调的同伦不变性、偏微分方程的弱解构造等几乎所有微分几何与流形分析的核心内容。
3. 可数基的必要性：单位分解的存在性依赖于流形的第二可数性（可数基），这也是为什么标准微分流形的定义要求第二可数性——没有可数基，就无法保证单位分解的存在性，绝大多数整体分析的工具都无法使用。

---

第二章 微分流形 全章知识点系统归纳总结

作为深耕微分几何教学与研究60余年的辅导专家，我将本章的核心知识按照「底层逻辑→基础定义→核心实例→映射理论→子流形结构→整体工具」的教学主线，做系统性、结构化的归纳总结，既梳理知识框架，也点明核心考点、本质内涵与易错难点，帮你建立完整的微分流形知识体系。

本章的核心主线：将欧氏空间的微积分运算，推广到没有全局坐标系的弯曲拓扑空间上。核心思想是「局部欧氏化，通过相容的坐标变换定义微分结构，再通过单位分解实现局部性质到整体性质的过渡」。

---

一、底层基础：拓扑流形——微分流形的拓扑骨架

这是微分流形的“硬件基础”，所有微分结构都必须建立在拓扑流形之上。

1. 拓扑流形的严格定义

\(m\)维拓扑流形\(M\)是同时满足以下3条公理的拓扑空间：

1. Hausdorff分离性：任意两个不同点可被不相交的开邻域分离；
2. 第二可数性：存在可数的拓扑基；
3. 局部欧氏性：任意一点\(p\in M\)，都存在开邻域\(U\)与\(\mathbb{R}^m\)的开集同胚。

2. 核心概念拆解

概念	本质内涵	不可缺少的原因
坐标卡\((U,\varphi)\)	局部同胚映射\(\varphi:U\to\mathbb{R}^m\)，给局部点赋予欧氏坐标	实现“局部欧氏化”，是流形上定义微积分的唯一载体
坐标函数\(x^i=\pi^i\circ\varphi\)	流形上的实值函数，给出点的第\(i\)个局部坐标	把流形上的点转化为欧氏空间的数值，是微分运算的基本单元
坐标变换（转移函数）\(\varphi_V\circ\varphi_U^{-1}\)	重叠坐标卡之间的欧氏空间映射，实现两套局部坐标的转换	是定义微分结构的核心，决定了不同局部坐标的兼容性

3. 商拓扑与商流形预备（抽象流形的构造工具）

商空间是构造非平凡微分流形的核心方法，两个核心引理是商空间成为拓扑流形的判定依据：

1. 引理1（第二可数性传递）：等价关系是开的 ⇨⇦ 自然射影\(\pi\)是开映射；原空间第二可数 ⇒ 商空间第二可数。
2. 引理2（Hausdorff性判定）：开等价关系 + 等价关系图像\(S=\{(x,y)\mid x\sim y\}\)是闭集 ⇒ 商空间是Hausdorff空间。

4. 核心考点与易错点

• ❌ 易错点1：混淆“同胚”与“微分同胚”，拓扑流形只要求同胚，不涉及可微性；
• ❌ 易错点2：忽略Hausdorff和第二可数性，这两个公理是排除病态空间、保证单位分解存在的核心，不是可有可无的；
• ✅ 考点：拓扑流形的判定，商空间的Hausdorff性与第二可数性验证。

---

二、核心定义：微分流形——给拓扑骨架赋予微分灵魂

拓扑流形只能做拓扑运算，只有赋予微分结构，才能做微积分运算，微分结构是微分流形的核心。

1. 微分结构的严格定义

\(m\)维\(C^k\)微分结构是拓扑流形\(M\)上的最大\(C^k\)坐标图册，满足：

1. 覆盖性：坐标卡的定义域覆盖整个\(M\)；
2. \(C^k\)相容性：任意重叠坐标卡的转移函数是\(C^k\)映射；
3. 最大性：所有与图册中坐标卡\(C^k\)相容的坐标卡都属于该图册。

2. 微分流形的定义

赋予了\(C^k\)微分结构的\(m\)维拓扑流形，称为\(m\)维\(C^k\)微分流形：

• \(C^\infty\)微分流形=光滑流形（最常用）；
• \(C^\omega\)微分流形=解析流形。

3. 核心性质

1. 微分结构的非唯一性：同一个拓扑流形上可以存在多个互不相容的微分结构；
   • 例：\(\mathbb{R}\)上存在两个不相容的光滑微分结构，但二者微分同胚；
   • 里程碑结论：7维球面\(S^7\)上存在28个互不等价、不微分同胚的光滑结构（Milnor怪球）。
2. 微分结构的构造方法：只需给出一个\(C^k\)坐标图册，即可唯一生成最大的\(C^k\)微分结构，无需直接构造最大图册。

4. 核心考点与易错点

• ❌ 易错点1：认为“拓扑流形的微分结构是唯一的”，微分结构是拓扑流形上附加的独立结构，不是拓扑自带的；
• ❌ 易错点2：混淆“坐标图册”与“微分结构”，只有最大的\(C^k\)坐标图册才是微分结构，普通坐标图册只是生成微分结构的“基”；
• ✅ 考点：微分结构的验证，坐标变换的\(C^k\)相容性证明。

---

三、经典实例：微分流形的构造范式

所有微分流形的构造都遵循「拓扑流形验证→坐标卡构造→相容性证明→微分结构确立」的固定流程，以下是最具代表性的实例，覆盖了所有主流构造方法：

1. 基础流形

流形	维数	构造方法	核心意义
欧氏空间\(\mathbb{R}^m\)	\(m\)	恒等映射单坐标卡	微分流形的局部模型，所有流形的局部都与它同胚
开子流形（如\(GL(n,\mathbb{R})\)）	与母流形同维	母流形坐标卡的限制	最常见的非紧流形，继承母流形的微分结构
积流形（如环面\(T^m=S^1\times\cdots\times S^1\)）	因子维数之和	因子流形坐标卡的积映射	由低维流形构造高维流形的通用方法

2. 紧流形代表：\(m\)维单位球面\(S^m\)

• 构造：\(2(m+1)\)个半球面投影坐标卡，覆盖整个球面；
• 核心性质：紧、光滑、可定向（\(m\)为奇数）/不可定向（\(m\)为偶数）；
• 考点：坐标卡构造、坐标变换的光滑性证明。

3. 抽象商流形

流形	维数	构造方法	核心意义
\(m\)维实射影空间\(P^m(\mathbb{R})\)	\(m\)	\(\mathbb{R}^{m+1}\setminus\{0\}\)关于数乘等价的商空间	最基础的非平凡紧流形，代数几何的核心研究对象
Grassmann流形\(G(k,m)\)	\(k(m-k)\)	\(k\)-标架空间关于基变换等价的商空间	向量丛的分类空间，微分拓扑、控制论、机器学习的核心工具

4. 核心考点

• ✅ 必考：球面、实射影空间的坐标卡构造与相容性证明；
• ✅ 重点：商流形的拓扑流形验证（Hausdorff+第二可数）；
• ✅ 难点：Grassmann流形的坐标卡构造与局部坐标变换。

---

四、核心运算：流形间的映射——微分几何的态射

流形之间的映射是连接不同流形的桥梁，也是流形上微分运算的核心载体，所有后续内容（切空间、张量、李群）都建立在映射的可微性之上。

1. 核心定义的递进关系

流形上的可微函数（流形→\(\mathbb{R}\)）是流形间的可微映射的特例，二者的定义逻辑完全一致：

通过坐标卡，将流形上的映射拉回为欧氏空间开集之间的映射，用欧氏空间的可微性定义流上映射的可微性。

概念	严格定义	核心性质
流形上的\(C^s\)函数	局部表示\(f\circ\varphi^{-1}\)是\(\mathbb{R}^m\to\mathbb{R}\)的\(C^s\)函数	可微性与坐标卡选取无关，坐标函数是\(C^k\)函数
流形间的\(C^s\)映射	局部表示\(\psi\circ f\circ\varphi^{-1}\)是\(\mathbb{R}^m\to\mathbb{R}^n\)的\(C^s\)映射	可微性与坐标卡选取无关，分量函数\(C^s\)等价于映射\(C^s\)
映射的秩	局部表示的Jacobi矩阵的秩	与坐标卡选取无关，是映射的局部不变量，刻画映射的局部自由度
微分同胚	双射、双向\(C^s\)的映射	微分流形的“同构”，微分同胚的流形在微分几何意义下完全等价

2. 核心定理

1. 截断函数定理：流形上紧集上为1、不交闭集上为0的\(C^k\)函数存在，是局部函数整体延拓的核心工具；
2. 秩定理：若\(f:M^m\to N^n\)在邻域内秩恒为\(r\)，则存在局部坐标，使得\(f\)的局部表示化为标准型：
   \[\hat{f}(x^1,\dots,x^m)=(x^1,\dots,x^r,0,\dots,0) \]
   • 本质：将非线性常秩映射局部线性化，是反函数定理、隐函数定理在流形上的统一推广，是浸入、淹没、子流形理论的核心支撑。

3. 核心考点与易错点

• ❌ 易错点1：直接对“流形上的函数求导”，流形本身没有全局坐标系，必须通过局部坐标卡才能定义微分；
• ❌ 易错点2：混淆“同胚”与“微分同胚”，同胚是拓扑等价，微分同胚是微分结构等价，同胚不一定微分同胚；
• ✅ 必考：映射的可微性验证、秩的计算、秩定理的应用。

---

五、核心结构：浸入、淹没与子流形——流形的子结构

子流形是微分几何的核心研究对象，我们通过流形间的映射分类，定义了两类核心映射（浸入、淹没），进而定义了两类子流形（浸入子流形、正则子流形）。

1. 浸入与淹没：映射的两大基本类型

概念	秩的要求	维数要求	局部标准型	核心性质
浸入	秩恒为\(m\)（定义域维数）	\(m\leq n\)	\((x^1,\dots,x^m,0,\dots,0)\)	微分处处单射，局部单射，整体可自交
淹没	秩恒为\(n\)（陪域维数）	\(m\geq n\)	\((x^1,\dots,x^n)\)	微分处处满射，局部满射，是局部投影映射

2. 子流形的分类与核心区别

概念	严格定义	拓扑性质	核心判定	典型实例
浸入子流形	单浸入\(f:M\to N\)的像\(f(M)\)	拓扑由映射诱导，不一定等于\(N\)的子空间拓扑	单浸入	环面的无理流（稠密浸入）、自交的8字形曲线
正则子流形	包含映射是嵌入的子流形	拓扑与\(N\)的子空间拓扑完全一致	局部可表示为坐标平面（后\(n-m\)个坐标为0）	球面、开子流形、积流形切片
嵌入	单浸入+同胚到像集（子空间拓扑）	是同胚，像集的拓扑与母流形兼容	紧流形到Hausdorff流形的单浸入自动是嵌入	球面到欧氏空间的包含映射、纽结

3. 核心定理

1. 正则子流形的局部典范形式定理：\(M\subset N\)是正则子流形，当且仅当任意点存在\(N\)的坐标卡，使得\(M\)在局部是坐标平面；
2. 水平集定理（淹没的原像定理）：若\(f:M\to N\)是淹没，则非空原像\(f^{-1}(q)\)是\(M\)的\(m-n\)维正则子流形；
   • 最经典应用：球面\(S^{n-1}=\{x\mid\sum x_i^2=1\}\)是\(\mathbb{R}^n\)的正则子流形。

4. 核心考点与易错点

• ❌ 易错点1：混淆“浸入子流形”与“正则子流形”，核心区别是拓扑是否与子空间拓扑一致；
• ❌ 易错点2：认为“单浸入就是嵌入”，单浸入只要求整体单射，嵌入还要求拓扑兼容，紧流形是特例；
• ✅ 必考：浸入/淹没的判定、正则子流形的验证、水平集定理的应用。

---

六、整体工具：单位分解——局部到整体的桥梁

微分流形只有局部欧氏结构，绝大多数分析工具都是局部定义的，单位分解是将局部性质拼接为整体性质的唯一核心工具，是流形上整体分析的基础。

1. 基础拓扑概念

概念	定义	核心作用
局部有限覆盖	每个点的邻域仅与有限个覆盖元素相交的开覆盖	保证无限求和退化为有限和，避免收敛性问题
正则覆盖	局部有限、坐标映射映为单位球、半径1/2球的原像仍覆盖流形的坐标覆盖	单位分解的构造载体，是单位分解存在性的基础
函数的支集	函数非零点集的闭包	刻画函数的非零范围，保证单位分解的局部有限性
紧穷竭	递增的紧集序列，填满整个流形	处理非紧流形的标准方法，是正则覆盖存在性证明的核心

2. 单位分解的核心内容

1. 定义：满足非负性、归一性、局部有限性的\(C^k\)函数族\(\{f_i\}\)，称为\(M\)上的\(C^k\)单位分解；若每个\(f_i\)的支集都包含在开覆盖\(\{A_\alpha\}\)的某个元素中，则称其从属于该开覆盖。
2. 存在性定理：具有可数基的\(C^k\)流形的任意开覆盖，都存在从属于它的\(C^k\)单位分解，且每个函数都具有紧支集。
3. 核心应用：Whitney嵌入定理
   • 紧致版本：紧致\(m\)维光滑流形可嵌入到欧氏空间\(\mathbb{R}^n\)作为正则子流形；
   • 强版本：任意具有可数基的\(m\)维光滑流形，都可嵌入到\(\mathbb{R}^{2m+1}\)中作为闭正则子流形；
   • 本质意义：任何微分流形都可以实现为欧氏空间的子流形，将抽象流形的研究转化为欧氏空间子流形的研究。

3. 核心考点与易错点

• ❌ 易错点1：忽略单位分解的局部有限性，没有局部有限性，归一性的无限求和没有意义；
• ❌ 易错点2：认为“所有拓扑流形都存在单位分解”，单位分解的存在性依赖于第二可数性，非第二可数的流形不存在单位分解；
• ✅ 考点：单位分解的定义、存在性定理的应用、Whitney嵌入定理的证明思路。

---

七、全章核心逻辑框架总表

知识层级	核心问题	核心解决方法	核心结论
底层拓扑	如何给弯曲空间定义“局部坐标系”？	拓扑流形的局部欧氏性公理	拓扑流形的每一点局部都和欧氏空间同胚
微分结构	如何在拓扑流形上定义微积分？	\(C^k\)相容的坐标变换+最大坐标图册	赋予微分结构的拓扑流形成为微分流形，可在局部定义微分运算
映射理论	如何定义不同微分流形之间的“可微映射”？	局部坐标拉回为欧氏空间的可微映射	流形间的可微映射良定，秩定理将非线性映射局部线性化
子流形结构	如何定义微分流形的“子结构”？	浸入、嵌入的分类，正则子流形的局部典范形式	正则子流形与母流形拓扑、微分结构完全兼容，可通过淹没的原像构造
整体工具	如何将局部性质推广为整体性质？	单位分解（局部权重函数的归一化求和）	任意具有可数基的流形都存在单位分解，可实现局部到整体的过渡，证明Whitney嵌入定理

---

八、全章核心考点与易错点终极汇总

【必考核心考点】

1. 拓扑流形与微分流形的定义验证；
2. 球面、实射影空间的坐标卡构造与坐标变换相容性证明；
3. 流形上映射的可微性验证与秩的计算；
4. 秩定理的应用，浸入/淹没的判定；
5. 正则子流形的验证，水平集定理的应用；
6. 单位分解的定义与应用，Whitney嵌入定理的证明思路。

【高频易错点】

1. 混淆拓扑流形与微分流形，忽略微分结构是附加的独立结构；
2. 混淆同胚与微分同胚，认为拓扑等价的流形微分结构一定等价；
3. 忽略Hausdorff、第二可数性公理，这两个公理是微分流形的必要条件，不是可有可无的；
4. 混淆浸入子流形与正则子流形，忽略拓扑兼容性的核心区别；
5. 忽略单位分解的局部有限性，不理解其对无限求和的意义；
6. 直接对“流形上的函数求导”，忘记必须通过局部坐标卡才能定义微分运算。

【学习核心建议】

微分流形的核心是“局部欧氏，整体拓扑”，所有的定义、定理、运算，都是先在局部欧氏空间中定义，再通过坐标变换的相容性推广到整个流形，最后通过单位分解实现整体性质的拼接。学习时一定要先吃透局部坐标的作用，再理解整体拓扑的约束，不要脱离局部坐标空谈抽象定义。