交换李群上的拟不变测度和相应拓扑

设G是一个拓扑群,是G中由全体开集张成的Borel σ-代数,是G的子群,Ω=(G,μ)是关于平移拟不变的有限正则测度空间,即对每一个h∈,若定义测度μ_h(A)=μ(h~(-1)A),A∈,则μ_h～μ.若上本身具有拓扑,对于每一个h∈,G中紧集K及包含h_0K的任一开集0,必存在h_0在中的环境V,使当h∈V时有hK(?)0,则称拓扑是适宜的.对于G是线性拓扑空间情形,[1]证明了上第二纲适宜拓扑总是存在的,并且具体给出了此拓扑的构造.本文将对G是以Banach空间E为参数的无限维李群进行讨论,并说明其相应的适宜拓扑必存在,从而得到了和线性拓扑空间情形相应的一些结果.我们采用的李群概念是B.Maissen在[2]中所定义的.