令μ为加法群g的哈尔测度。
a) G 上存在唯一的 Haar 测度 μG,且性质:如果 ωG 和 ωg 分别是 G 和 g 上次数 n 的不变微分形式,使得 ωG(e)=ωg(0) 和 ∣ωg∣=μ,则∣ωG∣=μG。 映射 μ→μG 是双射,从 g 上哈尔测量的集合到 G 的类似集合。 b) 选择乘积 (∣) 在 g 下不变的标量,以及在 t 上进行 Haar 测度 τ,使得 μ(分别为 τ )对应为勒贝格测度,当 g 与 Rn(分别为 t 和 Rr)通过正交法式确定时基。证明公式
∫tπg(x)e−(x∣x)/2dτ(x)=(2π)n/2μG(G)τT(T)w(G)
c) 认同X(T)与希尔伯特空间t∗的子集通过映射(2πi)−1δ(§4, no. 2),并将P(x)=∏α∈R+⟨α,x⟩代为x∈t。与记号
锻炼的。 1 和 2 表明
l
μG(G)τT(T)=(2π)Nw(G)−1(P∣P)=πN∏(α∣α)∏mi!
α∈R+i=1 d) 记号的锻炼。 §3的9,令gZ为(2π)−1Γ(T)和元素uα,vα为α∈R生成的g的Z-谎言子代数。证明等式
μG(G)=μ(g/gZ)2∏irπmiN+!r。
e) 假设 G 是单连通的。显示 l=r 以及
μG(G)=2l/2π−Nf1/2∏α∈R+(α∣α)−1∏i=1l(αi∣αi)−1/2∏i(mi!)−1,
其中{α1,...,αl}是R的基,f是R的连接指标。
f) 进一步假设 R 是不可约的,并且其所有根都具有相同的长度;取g上的标量乘积与杀戮形式相反。证明μG(G)=(2π)N+r(2h)n/2f1/2∏i(mi!)−1。