何时局部微分同胚是微分同胚？为何单射ℝ→ℝ局部微分同胚是微分同胚？

嘿，这两个问题都是微分拓扑里“局部性质如何升级为全局性质”的经典讨论，我来给你拆解清楚：

首先得明确定义：一个光滑映射 $f: M \to N$（$M$、$N$是同维数的光滑流形）是局部微分同胚，当且仅当对每一点 $p \in M$，都存在$p$的邻域$U$，使得$f|_U: U \to f(U)$是微分同胚（也就是光滑双射，且逆映射也光滑）。

局部好并不等于全局好，要让局部微分同胚成为全局微分同胚，核心条件是：

• $f$是双射（既是单射又是满射）。
  为什么双射就够了？因为局部微分同胚已经保证了每一点附近都有光滑的逆映射，当$f$是双射时，这些局部逆可以拼接成全局的逆映射，而且这个全局逆自然是光滑的——毕竟每一点的局部都光滑，全局也就光滑了。

当然还有一些拓扑层面的“捷径”可以简化判断：

• 如果$M$是紧流形，$N$是连通流形，那么局部微分同胚只要满足单射，就必然是满射（反过来满射也必然单射），从而是双射，进而成为微分同胚。
• 比如紧流形$S^1$到自身的局部微分同胚，只要是单射，就一定是满射，也就是微分同胚（比如旋转映射）。

举个反例帮你理解：指数映射 $\exp: \mathbb{R} \to S^1$（把实数$x$映射到单位圆上的点$(\cos x, \sin x)$）是局部微分同胚，但它不是单射（$\exp(x+2\pi)=\exp(x)$），即便它是满射，也不是微分同胚——它是覆盖映射，每一点的纤维有无限多个元素。

先把一维的情况具体化：$\mathbb{R}$上的局部微分同胚$f$，其实就是光滑函数且导数$f'(x) \neq 0$对所有$x \in \mathbb{R}$成立（一维时，微分可逆等价于导数非零）。

现在已知$f$是单射，我们分两步证明它是微分同胚：

第一步：证明$f$是满射 #

因为$f'(x)$处处非零，根据达布定理（导数的介值性），$f'(x)$要么恒正，要么恒负——如果导数变号，中间必然存在零点，这就和局部微分同胚的条件矛盾了。

所以$f$是严格单调函数（严格递增或严格递减）。而严格单调的连续函数（光滑函数当然连续），它的像必然是整个$\mathbb{R}$：

• 假设$f$严格递增，若$\lim_{x \to -\infty} f(x)$是某个有限数$a$，那取$x_1 < x_2$，根据中值定理$f(x_2)-f(x_1)=f'(c)(x_2-x_1)$，因为$f'(c) > 0$，当$x_2 \to +\infty$、$x_1 \to -\infty$时，右边趋向$+\infty$，但左边最多趋向$\lim_{x \to +\infty} f(x) - a$，这就矛盾了。所以$\lim_{x \to -\infty} f(x)=-\infty$，$\lim_{x \to +\infty} f(x)=+\infty$，$f$的像就是整个$\mathbb{R}$，满射成立。

第二步：证明逆映射$f^{-1}$光滑 #

因为$f$是双射（单射+满射），再结合$f'(x) \neq 0$，根据反函数定理，对每一点$y=f(x)$，$f^{{-1}$在$y$的邻域内是光滑的。而全局来看，严格单调连续函数的逆也是连续的，每一点局部光滑+全局连续，就意味着$f}{-1}$是全局光滑的。

这里的关键是一维$\mathbb{R}$的特殊性：高维情况下，局部微分同胚是单射也不一定是满射。比如$\mathbb{R}^{2$到$\mathbb{R}}2$的映射$(x,y) \to (x, e^{y)$，它是局部微分同胚（导数矩阵行列式是$e}y \neq 0$），也是单射，但像集是$\mathbb{R} \times (0,+\infty)$，不是整个$\mathbb{R}^2$，所以不是微分同胚。但$\mathbb{R}$作为一维连通流形，严格单调的连续函数必然覆盖整个空间，这才让单射直接推出满射。

内容的提问来源于stack exchange，提问作者ponchan