积分, VIII, p. 66
令 G 为局部紧致群,β G、A 和 B 上两个 β 可积集合的左 Haar 测度,使得 β(A)≤β(B) 和 β∗(A−1)<+∞。表明存在 1) 不相交的集合 N, K_1, K_2, ... 覆盖 A,其中 N β-可忽略不计且 K_n 紧凑;
2)不相交的集合N′,K1′,K2′,…覆盖B,与Kn′紧致; 3) 元素sn∈G使得Kn′=snKn。 (利用 β(xA∩B) 持续依赖于 x 的事实,并且
∫β(xA∩B)dβ(x)=β(A−1)β(B), 表明如果
β(A)=0 则存在
x∈G 使得
β(xA∩B)=0.)