有限维复向量空间中测度的比较及高维情形相关问题问询

嘿，这个问题其实戳中了实测度和复流形测度之间对应关系的本质，咱们从二维到高维一步步理清楚：

二维复平面的情况：三者本质等价 #

先明确你提到的三个测度：

• A：$\mathbb{R}^2 \to \mathbb{C}$的前推测度：说白了就是把$\mathbb{R}^{2$上的Lebesgue测度“平移”到复平面上——因为$\mathbb{C}$和$\mathbb{R}}2$作为拓扑空间和线性空间是完全等同的（通过$(x,y)\mapsto x+iy$），所以这个前推测度就是复平面上的“实Lebesgue测度”，对任何可测区域，测度值就是它在$\mathbb{R}^2$里的面积。
• B：复平面上的面积测度：这就是咱们日常说的“平面区域面积”，和A是同一个东西，只是换了个更贴合复分析语境的名字而已。
• C：由$dz\wedge d\bar{z}$诱导的测度：这里需要拆解一下微分形式的计算：$dz=dx+idy$，$d\bar{z}=dx-idy$，叉乘后得到$dz\wedge d\bar{z}=-2i dx\wedge dy$。作为复值微分形式，它本身不能直接诱导实测度，但复分析里我们会取它的标准正实倍数：$\frac{i}{2}dz\wedge d\bar{z}=dx\wedge dy$，这个诱导的测度就和A、B完全一致了。哪怕你直接用$dz\wedge d\bar{z}$的绝对值来定义测度，也只是比A、B大2倍的常数因子——测度论里这种成比例的测度叫做“等价测度”，零测集完全相同，只是积分结果差个常数，没有本质差异。

高维$\mathbb{C}^n$的拓展：同样无本质差异 #

再看你问的高维情形：

• **1. $\mathbb{R}^{2n} \to \mathbb{C}^{n$的前推测度**：和二维逻辑一样，把$\mathbb{R}}{2n}$的2n维Lebesgue测度直接对应到$\mathbb{C}^{n$上（通过$(x_1,y_1,\dots,x_n,y_n)\mapsto(z_1,\dots,z_n)$），这就是$\mathbb{C}}n$上的实Lebesgue测度。
• 2. 乘积测度：如果你指的是复平面面积测度的n次乘积，那这个乘积测度和上面的前推测度完全相等——因为$\mathbb{R}^{{2n}$的Lebesgue测度本身就是$\mathbb{R}}2$Lebesgue测度的n次乘积，而复平面的面积测度就是$\mathbb{R}^{2$的Lebesgue测度，所以乘积之后自然和$\mathbb{R}}{2n}$的前推测度一致。

另外，高维下对应的微分形式诱导测度是$\bigwedge_{k=1}^n \frac{i}{2}dz_k\wedge d\bar{z}_k$，展开后就是$dx_1\wedge dy_1\wedge\cdots\wedge dx_n\wedge dy_n$，也就是$\mathbb{R}^{2n}$的Lebesgue测度，和前两个测度完全等价。

核心结论 #

所有你提到的测度都是等价测度：要么完全相等，要么差一个正的常数因子。它们的可测集、零测集完全一致，测度论的核心性质（比如积分、可测函数的性质）除了常数倍之外没有本质区别。

内容的提问来源于stack exchange，提问作者J. Alegre