关于证明典型映射为同胚映射的通用方法及光滑同胚实例验证的问询

Hey Robin, great question—this is a super common scenario in smooth geometry, so let’s break down the general method first, then apply it step-by-step to your example. That way you’ll have a reusable framework for similar problems!

通用方法：证明一个映射是光滑同胚 #

要证明映射$F: X \to Y$（$X,Y$为光滑流形，这里都是$\mathbb{R}^n$的子集，属于欧氏流形）是光滑同胚，你需要验证四个核心要点：

• 光滑性：$F$的所有分量函数在$X$上都是光滑（无穷次可微）的；
• 单射性：若$F(x_1)=F(x_2)$，则$x_1=x_2$（没有两个不同的点会映射到同一个输出）；
• 到像集的满射性：像集中的每一个点都能被$X$中的某个点映射到（如果把$Y$定义为$F$的像，这点本质上是自明的，但仍需清晰刻画像集的范围）；
• 光滑逆映射存在性：要么构造出显式的逆函数并证明它光滑，要么利用反函数定理/秩定理（针对非方阵雅可比矩阵）证明局部光滑逆存在，再结合全局单射满射推出全局光滑逆。

你提到的“开集映射到开集”思路是对的（双射连续开映射等价于同胚），但对于光滑性的验证，秩定理/反函数定理是更高效的工具。

对$\sigma(u,v)=(u+v,2uv,u^2+v2)$的分步证明 #

我们的定义域是$U = {(u,v) \in \mathbb{R}^2 : u > v}$，像集记为$Y = \sigma(U)$。

1. 验证$\sigma$的光滑性 #

$\sigma$的三个分量函数分别是：

• $\sigma_1(u,v) = u + v$
• $\sigma_2(u,v) = 2uv$
• $\sigma_3(u,v) = u^2 + v^2$

这些都是多项式函数，而多项式在$\mathbb{R}^2$上处处无穷次可微，自然在$U$上也光滑，因此$\sigma$是光滑映射。

2. 证明单射性 #

假设$\sigma(u_1,v_1) = \sigma(u_2,v_2)$，可得以下三个等式：

1. $u_1 + v_1 = u_2 + v_2$（记这个和为$s$）
2. $2u_1v_1 = 2u_2v_2$（即乘积$p = u_1v_1 = u_2v_2$）
3. $u_1^2 + v_1^2 = u_2^2 + v_2^2$

注意第三个等式是前两个的推论：因为$u^2 + v^2 = (u+v)^2 - 2uv = s^2 - 2p$，所以只要前两个等式成立，第三个自动成立。

此时，$u_1,v_1$和$u_2,v_2$都是二次方程$t^2 - st + p = 0$的根。由于在$U$中$u > v$，每一组$(u,v)$都对应二次方程的较大根为$u$，较小根为$v$。满足$u > v$的根分配方式唯一，因此$(u_1,v_1)$必然等于$(u_2,v_2)$，单射性得证。

3. 刻画像集$Y$并确认满射性 #

取$\sigma(U)$中的任意点$(x,y,z)$，根据$\sigma$的定义：

• $x = u + v$
• $y = 2uv$
• $z = u^2 + v^2 = x^2 - y$（由$(u+v)^2 = u^2 + 2uv + v^2$变形可得）

同时，因为$u > v$，所以$(u - v)^2 > 0$，展开后：
$$(u - v)^2 = (u+v)^2 - 4uv = x^2 - 2y > 0 \implies x^2 > 2y$$

因此像集$Y$可以精确描述为：
$$Y = {(x,y,z) \in \mathbb{R}^3 : z = x^2 - y \text{ 且 } x^2 > 2y}$$

对于$Y$中的任意$(x,y,z)$，我们可以直接找到对应的$(u,v) \in U$：
$$u = \frac{x + \sqrt{x^2 - 2y}}{2}, \quad v = \frac{x - \sqrt{x^2 - 2y}}{2}$$
由于$x^2 > 2y$，根号内的表达式为正，且$u > v$（给$u$加正根号，给$v$减正根号），这就确认了$\sigma$是到$Y$的满射。

4. 构造逆映射并验证其光滑性 #

由上面的推导，逆映射$\sigma^{-1}: Y \to U$的显式表达式为：
$$\sigma^{-1}(x,y,z) = \left( \frac{x + \sqrt{x^2 - 2y}}{2}, \frac{x - \sqrt{x^2 - 2y}}{2} \right)$$

验证光滑性：

• 在$Y$中$x^2 - 2y > 0$，平方根函数$\sqrt{t}$在$t>0$时是光滑的；
• 分子是多项式（光滑）与光滑平方根函数的组合，因此也是光滑的；
• 除以2不改变光滑性。

逆映射的两个分量都光滑，因此$\sigma^{-1}$是光滑映射。

额外补充：用秩定理强化严谨性（可选） #

为了更严谨，我们计算$\sigma$的雅可比矩阵：
$$J\sigma(u,v) = \begin{pmatrix}
1 & 1 \
2v & 2u \
2u & 2v
\end{pmatrix}$$

我们不需要方阵来应用秩定理，只需要矩阵具有满秩（等于定义域的维度，这里是2）。取前两行计算行列式：
$$\det\begin{pmatrix}1 & 1 \ 2v & 2u\end{pmatrix} = 2(u - v)$$
由于$U$中$u > v$，这个行列式不为0，说明雅可比矩阵的秩为2（满秩）。秩定理告诉我们$\sigma$是局部微分同胚，结合已证明的全局双射性，就能确认$\sigma$是全局光滑微分同胚（即光滑同胚）。

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