为何当$df_x$为同构时$f$局部等价于恒等映射？Guillemin&Pollack相关疑问

嘿，这个问题抓得特别准——Guillemin & Pollack里这个结论其实是反函数定理的直接延伸，核心是用局部微分同胚构造适配的坐标卡，咱们一步步理清楚：

第一步：先回忆反函数定理给出的基础结论 #

当$df_x: T_xX \to T_yY$是同构时，反函数定理直接告诉我们：

• $f$在$x$的某个邻域$U$上是局部微分同胚：也就是说存在$y=f(x)$的邻域$V$，使得$f: U \to V$是双射，且$f$和它的逆映射$f^{-1}: V \to U$都是光滑的。

这是关键前提——有了局部微分同胚的性质，我们才能自由地“拉扯”两边的坐标。

第二步：构造让$f$变成恒等映射的局部坐标 #

假设$X$和$Y$都是$k$维光滑流形，我们可以通过两种直观的方式构造坐标卡：

方式1：从$X$的坐标出发“拉”到$Y$ #

1. 先给$x$附近取一个标准的局部坐标卡$\varphi: U_1 \to \mathbb{R}^k$（$U_1 \subset U$），满足$\varphi(x)=(0,0,...,0)$（坐标卡总是可以平移到原点，这是流形坐标卡的基本性质）。
2. 利用$f$的局部逆映射，定义$Y$上$y$附近的坐标卡$\psi': V_1 \to \mathbb{R}^k$（$V_1 \subset V$）：$\psi'(z) = \varphi(f^{-1}(z))$。
   • 因为$f^{{-1}$光滑，$\varphi$是光滑同胚，所以$\psi'$也是光滑同胚，完全符合坐标卡的要求，而且$\psi'(y)=\varphi(f}{-1}(y))=\varphi(x)=0$。

现在看$f$在这两个坐标下的表达式：
对于任意$\mathbb{R}^{k$中的点$a$，如果$\varphi(z)=a$（即$z=\varphi}{-1}(a)$），那么$f(z)=f(\varphi^{-1}(a))$，代入$\psi'$的定义：
$$\psi'(f(z)) = \varphi(f^{{-1}(f(\varphi}{-1}(a)))) = \varphi(\varphi^{-1}(a)) = a$$
换句话说，$\psi' \circ f \circ \varphi^{-1}(a) = a$——这就是$\mathbb{R}^k$上的恒等映射！

方式2：从$Y$的坐标出发“推”到$X$ #

反过来操作也一样：

1. 先给$y$附近取坐标卡$\psi: V_1 \to \mathbb{R}^k$，满足$\psi(y)=(0,...,0)$。
2. 定义$X$上$x$附近的坐标卡$\varphi': U_1 \to \mathbb{R}^k$：$\varphi'(z) = \psi(f(z))$。
   • 因为$f$光滑且是局部同胚，$\psi$是坐标卡，所以$\varphi'$也是合法的坐标卡，且$\varphi'(x)=\psi(f(x))=\psi(y)=0$。

此时$f$的坐标表达式：
对于$\mathbb{R}^{k$中的点$a$，若$\varphi'(z)=a$（即$\psi(f(z))=a$），则$f(z)=\psi}{-1}(a)$，所以$\psi(f(z))=a=\varphi'(z)$，也就是$\psi \circ f \circ (\varphi')^{-1}(a)=a$，同样是恒等映射。

总结一下 #

Guillemin & Pollack说的“局部等价于恒等映射”，本质是存在适配的局部坐标卡，让$f$的坐标表示成为恒等映射——而反函数定理保证了$f$是局部微分同胚，这就给了我们用$f$（或其逆）来“对齐”两边坐标的权限，最终让$f$在新坐标下看起来就是把坐标点直接映射过去，也就是恒等映射。

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