黎曼积分框架下非微分同胚映射应用变量替换定理的疑问

嗨，这个问题问得特别好——很多人第一次接触变量替换定理的时候都会被“微分同胚”这个条件卡壳，尤其是碰到像环面这种有“粘合”或者拓扑结构不一样的情况时，完全摸不着头脑。咱们一步一步拆解来看：

首先先明确你提到的黎曼积分变量替换定理：

设$U\subset\mathbb R^n$是开的可求积集，$\varphi: U\to\varphi(U)\subset\mathbb R^n$是$C1$微分同胚，$f: \varphi(U)\to\mathbb R$可积，那么$(f\circ\varphi)\big|\det J_\varphi\big|$在$U$上可积，且
$$\intop_{\varphi(U)}f=\intop_U(f\circ\varphi)\big|\det J_\varphi\big|.$$

核心原因：黎曼积分对零测集不敏感 + 定理的局部性 #

你观察得没错：实心环面的参数化$\varphi: [0,a]\times[0,2\pi]\times[0,2\pi]\to\mathbb R^3$，不管是定义域还是像集的内部，都不是全局微分同胚——毕竟实心环面有“洞”，和$\mathbb R^3$里的开球拓扑结构完全不同。但这不妨碍我们用变量替换定理，关键在于这两点：

1. 不满足微分同胚的点集是零测集 #

黎曼积分的结果只由函数在几乎所有点的行为决定，测度为0的点集对积分值没有贡献。对于这个环面参数化：

• 定义域的边界：$r=0$（对应环面的中心轴线，是3维空间里的一条线，测度为0）、$u=0/2\pi$、$v=0/2\pi$（这些参数边界映射到环面的“粘合处”，对应的像集在3维空间中也是测度为0的曲面）。
• 这些不满足单射/微分同胚的点，它们的像集测度都是0，去掉之后完全不影响积分结果。

2. 局部满足微分同胚条件 #

在定义域的内部$(0,a)\times(0,2\pi)\times(0,2\pi)$，$\varphi$是局部微分同胚：也就是说，内部的每一个点都有一个小邻域，使得$\varphi$在这个邻域上是微分同胚到它的像集。这时候我们可以把积分拆成这些局部邻域上的积分之和，每个局部都严格符合你提到的变量替换定理条件。

把局部积分加起来，再忽略那些零测的边界点，就等价于直接用整个参数域计算积分了。

额外补充：定理的宽松推广版本 #

其实很多教材里会给出变量替换定理的更宽松版本，不需要全局微分同胚，只需要满足：

• $\varphi$是$C^1$映射，
• $\varphi$在$U$的内部几乎处处单射（除了零测集），
• 雅可比行列式$\det J_\varphi$在$U$上几乎处处不为0，

这时候积分等式依然成立。而环面的参数化正好满足这些条件：

• 除了零测的边界和粘合点，$\varphi$在内部是单射；
• 雅可比行列式的绝对值$\big|\det J_\varphi\big| = r(R + r\cos v)$，当$r\in(0,a)$时，这个值显然不为0，也就是几乎处处非零。

所以完全可以放心地用这个参数化来计算环面体积。

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