关于Lee《光滑流形导论》中嵌入子流形光滑结构唯一性证明的循环逻辑疑问

我最近在读Lee的《光滑流形导论》第五章，作者在这里给出了嵌入子流形的几种刻画，最终要证明的核心结论是：嵌入子流形上只能存在一种光滑结构，使得它成为嵌入子流形。

但我反复梳理后，觉得书中的论证似乎存在循环逻辑。不过考虑到这本书被无数人使用了这么多年，要是真有逻辑漏洞应该早就被指出了，所以大概率是我误解了论证过程，或者漏掉了某个关键的细节。有没有大佬能帮我看看我对原论证的解读是否正确？

我对原书论证的解读 #

Step 0：嵌入子流形的定义 #

我们称子集 $S \subset M$ 是嵌入子流形，当且仅当存在一个与 $S$ 的子空间拓扑相容的光滑结构，使得包含映射 $\iota : S \to M$ 是光滑嵌入。

Step 1：局部切片条件的充分性 #

我们证明：如果 $S \subset M$ 满足局部切片条件，那么 $S$ 上存在一个自然的光滑结构，使其成为嵌入子流形。

（局部切片图定义：若流形 $M$ 上的图 $(U, \phi)$ 满足 $\phi(S \cap U) = { (x^1, \dots , x^k, x^{k+1}, \dots, x^n ) \in \phi(U) : x^{k+1} = \dots = x^{n} = 0 }$，则称该图为 $S$ 的局部切片图。$S$ 满足局部切片条件，当且仅当 $S$ 上每一点都包含在某个 $M$ 的局部切片图中。）

用局部切片图覆盖 $S$ 后，很容易构造 $S$ 的光滑图册：比如上面的局部切片图 $(U, \phi)$ 可以诱导出 $S$ 上的图 $(U \cap S, \pi \circ \phi)$，其中 $\pi$ 是到前 $k$ 个坐标的投影。可以验证，$M$ 上两个相容的局部切片图，诱导出的 $S$ 上的图也是相容的。

Step 2：嵌入子流形满足局部切片条件（必要性） #

这是Step 1的逆命题：如果 $S \subset M$ 是嵌入子流形，那么 $S$ 上每一点都包含在某个 $M$ 的局部切片图中。这个结论可以用秩定理直接证明。

Step 3：光滑映射的 codomain 限制 #

我们证明：若 $S \subset M$ 是嵌入子流形，$F: N \to M$ 是光滑映射且像完全包含于 $S$，那么限制后的映射 $F: N \to S$ 也是光滑的（这里符号有点滥用，$F$ 指代两个不同 codomain 的映射）。

证明过程：首先，$F : N \to S$ 是连续的，因为 $S$ 配备的是子空间拓扑。要证光滑性，任取 $p \in N$，令 $q = F(p) \in S$。根据Step 2，存在 $M$ 上以 $q$ 为中心的局部切片图 $(U, \phi)$。根据Step 1，这诱导出 $S$ 上以 $q$ 为中心的图 $(U \cap S, \pi \circ \phi)$。因为 $F$ 连续，$F^{-1} (U \cap S)$ 是 $N$ 中 $p$ 的开邻域。取 $N$ 上的图 $(V, \psi)$ 满足 $p \in V \subset F^{-1} (U \cap S)$，由于 $F : N \to M$ 光滑，其坐标表示 $\phi \circ F \circ \psi^{-1}$ 是光滑的。那么限制后的映射的坐标表示 $(\pi \circ \phi) \circ F \circ \psi^{-1}$ 也自然是光滑的，从而证明 $F : N \to S$ 光滑。

Step 4：嵌入子流形光滑结构的唯一性 #

假设 $S \subset M$ 是嵌入子流形，$\tilde{S}$ 是带有另一种光滑结构的 $S$，且包含映射 $\tilde\iota : \tilde S \to M$ 是光滑嵌入。根据Step 3，光滑映射 $\tilde\iota : \tilde S \to M$ 可以限制为光滑映射 $\tilde\iota : \tilde S \to S$。这个映射是双射（本质上就是恒等映射），同时它是浸入（因为它和 $\iota : S \to M$ 的复合是浸入）。结合双射和浸入的性质，根据秩定理，它其实是微分同胚，从而说明 $S$ 和 $\tilde{S}$ 的光滑结构是完全相同的。

为什么我认为原论证存在循环性 #

在Step 3中，$S$ 带有某种给定的光滑结构，使得包含映射 $S \to M$ 是光滑嵌入。我们要证明的是，限制后的 $F : N \to S$ 关于这个原光滑结构是光滑的（只有这样Step 3的结论才能被Step 4所用）。

论证中声称 $(U \cap S, \pi \circ \phi)$ 是 $S$ 的图，但实际上我们需要的是这个图与 $S$ 的原光滑结构相容。

这一步本应来自Step 2的推导：即由局部切片图诱导的图构成 $S$ 的光滑结构。但问题在于，由局部切片图诱导的光滑结构，可能和 $S$ 的原光滑结构不是同一个！换句话说，给定 $M$ 上的局部切片图 $(U, \phi)$，$(U \cap S, \pi \circ \phi)$ 可能和 $S$ 的原光滑结构不相容。

要证明这个图和原光滑结构相容，我们需要用到Step 4的结论：任何使得包含映射为光滑嵌入的光滑结构都是相同的。但Step 4本身又是从Step 3推导出来的——这就形成了逻辑循环。

我尝试修正的论证思路 #

为了理顺逻辑，我重新梳理了论证的顺序，大致如下：

Step 1：局部切片条件的充分性（同原书） #

给定子集 $S \subset M$，若存在一族 $M$ 的图 ${ (U, \phi) }$ 覆盖 $S$，每个图都是 $S$ 的局部切片图且与 $M$ 的光滑结构相容，那么可以构造 $S$ 上的光滑结构，使其成为 $M$ 的嵌入子流形。

Step 2：嵌入子流形满足局部切片条件（同原书） #

给定带光滑结构的 $S \subset M$ 是嵌入子流形，那么可以构造一族 $M$ 的图 ${ (U, \phi) }$ 覆盖 $S$，每个图都是 $S$ 的局部切片图且与 $M$ 的光滑结构相容。

Step 2a：Step 1的构造是Step 2的逆操作 #

即，对带有原光滑结构的嵌入子流形 $S$，先用Step 2得到局部切片图族，再用Step 1的构造得到 $S$ 的一个“新”图册，可以证明这个新图册和原光滑结构是完全相容的。

Step 2b：不同切片图族诱导相同的光滑结构 #

假设 $\mathcal C$ 和 $\mathcal C'$ 是两族 $M$ 的图，都覆盖 $S$、都是 $S$ 的局部切片图且与 $M$ 的光滑结构相容，那么用Step 1的构造从这两族图得到的 $S$ 上的光滑结构是相同的。

Step 2c：嵌入子流形光滑结构的唯一性 #

结合Step 2a和Step 2b，可以直接推出：若 $S \subset M$ 是嵌入子流形，那么任何使得 $S$ 成为嵌入子流形的光滑结构都是相同的。

Step 3：光滑映射的 codomain 限制（同原书） #

这时候我们已经提前证明了光滑结构的唯一性，所以再用Step 3的论证就不会有循环问题了。

我是不是误解了Lee的原论证？有没有漏掉什么关键的细节？真的需要重新梳理原书的论证逻辑才能理顺吗？希望大家能给我一些建议。

备注：内容来源于stack exchange，提问作者Kenny Wong