请输入您要查询的字词:

 

单词 ContinuousEpimorphismOfCompactGroupsPreservesHaarMeasure
释义

continuous epimorphism of compact groups preserves Haar measure


\\PMlinkescapephrase

right\\PMlinkescapephrasepreserves

Theorem - Let G,H be compactPlanetmathPlanetmath HausdorffPlanetmathPlanetmath topological groupsMathworldPlanetmath. If ϕ:GH is a continuousPlanetmathPlanetmath surjectivePlanetmathPlanetmath homomorphismPlanetmathPlanetmathPlanetmathPlanetmath, then ϕ is a measure preserving transformation, in the sense that it preserves the normalized Haar measure.

: Let μ be the Haar measure in G (normalized, i.e. μ(G)=1). Let ν be defined for measurable subsets E of H by

ν(E)=μ(ϕ-1(E))

It is easy to see that ν defines a measureMathworldPlanetmath in H. Let us now see that ν is invariant under right translations. For every sG and every measurable subset EH we have that

ϕ-1(ϕ(s)E)=sϕ-1(E)(1)

The inclusion is obvious. To prove the other inclusion notice that if zϕ-1(ϕ(s)E) then ϕ(z)=ϕ(s)t for some tE. Hence, ϕ(s-1z)=t, i.e s-1zϕ-1(E). It now follows that z=s(s-1z)sϕ-1(E).

Thus, equality (1) and the fact that μ is a Haar measure imply that

ν(ϕ(s)E)=μ(ϕ-1(ϕ(s)E))=μ(sϕ-1(E))=μ(ϕ-1(E))=ν(E)

Since ϕ is surjective it follows that ν is right invariant. It is not difficult to see that ν is regularPlanetmathPlanetmathPlanetmathPlanetmath, finite on compact sets and ν(H)=1. Hence, ν is the normalized Haar measure in H and, by definition, we have that

ν(E)=μ(ϕ-1(E))

Thus, ϕ preserves the Haar measure.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 23:34:49