积分, VII, p. 79
Bourbaki marks this one as harder than the rest.
令G为局部紧致群,在局部紧致波兰语空间T中连续运行,β为G上的左哈尔测度,ν为G下T准不变性的正测度。 a) G×T上存在函数(s,x)↦χ(s,x)>0,局部(β⊗ν)可积,使得对于每个s∈G,函数x↦χ(s−1,x)局部ν可积并且满足γ(s)ν=χ(s−1,⋅)⋅ν。 (通过利用 Th 的标准 3,将 (s,x)↦(s,sx) 变换 β⊗ν 转换为等效度量)。第 2 章。 V, §5, No. 5;令 χ(s−1,x)dβ(s)dν(x) 为等效度量。对于 φ∈H(G) 和 ψ∈H(T),
∫φ(s)dβ(s)∫ψ(sx)dν(x)=∫φ(s)dβ(s)∫ψ(x)χ(s−1,x)dν(x),
从而 ∫ψ(sx)dν(x)=∫ψ(x)χ(s−1,x)dν(x) 除了局部 β 可忽略不计的集合 N(ψ)。接下来利用第 1 章的引理 1。 VI, §3, No. 1;然后在 (β⊗ν)-可忽略的集合上修改 χ。)
b) 证明对于 G 中的任何 s,t,有一个
χ(st,x)=χ(s,tx)χ(t,x)
除了ν-可忽略的集合、值或x(利用关系γ(st)ν=γ(s)(γ(t)ν))。
c) 表明 a) 的函数 χ 被确定为 G×T 的局部 (β⊗ν) 可忽略不计的子集。