数学分析新讲 - 若当可测集的变换

通过三个引理，证明了重积分变元替换公式的第一部分：$\varphi$为连续可微映射，其雅可比行列式不为零，$E$是闭若当可测集，那么$\varphi(E)$也是闭若当可测集。