积分, VII, p. 91
Bourbaki marks this one as harder than the rest.
令 X 为局部紧致空间,其中局部紧致群 H 按 (x,ξ)↦xξ (x∈X,ξ∈H) 在右侧连续正确地运算。设π为典范映射X→X/H。令ρ为H在GL(n,C)中的连续表示。证明对于每个 b∈X/H,在 X/H 中存在 b 的邻域 U,并且在 GL(n,C) 中存在 π(U) 的连续映射 r,使得对于所有 x∈π(U) 和 ξ∈H 都有 r(xξ)=r(x)ρ(ξ)。 (可以假设 X/H 是紧致的。设 f 是 X 上的连续函数 ⩾0,而不是任意轨道上的连续零,并且具有紧致支持。集合
r(x)=∫Hf(xξ)ρ(ξ)−1dβ(ξ)∈Mn(C),
其中 β 表示 H 上的左 Haar 测度。表明,对于适当选择的 f 和 U,对于每个 x∈π(U),r(x)∈GL(n,C)。