设 是一同胚, 为开域,那么 将内点映为内点,边界点映为边界点.
证:反证法.
而一般的积分变换 ,满足Jacobi 行列式非零,等价于积分变换 是满秩的,即 是一个光滑浸没(Submersion),而光滑浸没是局部微分同胚( Local diffeomorphism).