Normed versus topological groups: Dichotomy and duality
Normed versus topological groups: Dichotomy and duality
Normed versus topological groups: Dichotomy and duality
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Normed</strong> <strong>groups</strong> 99Taking h(x) := ‖π(x)‖ Y , Cor. 2.9, Th. 7.10 <strong>and</strong> Th. 7.11 together immediately implythe following.Corollary 7.12. If X is a Baire normed group <strong>and</strong> π : X → Y a group homomorphism,where ‖.‖ Y is (µ-γ)-quasi-isometric to ‖.‖ X under the mapping π, then there existconstants K, L, M such that‖π(ux)‖ Y / ‖π(x)‖ Y < ‖u‖ K X (u ≥ L, ‖x‖ X ≥ M).8. The Subgroup TheoremIn this section G is a normed locally compact <strong>topological</strong> group with left-invariant Haarmeasure. We shall be concerned with two topologies on G : the norm topology <strong>and</strong> thedensity topology. Under the latter the binary group operation need not be jointly continuous(see Heath <strong>and</strong> Poerio [HePo]); nevertheless a right-shift x → xa, for a constant,is continuous, <strong>and</strong> so we may say that the density topology is right-invariant. We notethat if S is measurable <strong>and</strong> non-null then S −1 is measurable <strong>and</strong> non-null under the correspondingright-invariant Haar <strong>and</strong> hence also under the original left-invariant measure.We may thus say that both the norm <strong>and</strong> the density topologies are inversion-invariant.Likewise the First <strong>and</strong> Second Verification Theorems (Theorems 6.2 <strong>and</strong> 7.5) assert thatunder both these topologies shift homeomorphisms satisfy (wcc). This motivates a theoremthat embraces both topologies as two instances.Theorem 8.1 (Topological, or Category, Interior Point Theorem). Let G be given aright-invariant <strong>and</strong> inversion-invariant topology τ, under which it is a Baire space <strong>and</strong>suppose that the shift homeomorphisms h n (x) = xz n satisfy (wcc) for any null sequence{z n } → e (in the norm topology). For S Baire <strong>and</strong> non-meagre in τ, the difference setS −1 S, <strong>and</strong> likewise SS −1 , is an open neighbourhood of e in the norm topology.Proof. Suppose otherwise. Then for each positive integer n we may selectz n ∈ B 1/n (e)\(S −1 S).Since {z n } → e (in the norm topology), the Category Embedding Theorem (Th. 6.1)applies, <strong>and</strong> gives an s ∈ S <strong>and</strong> an infinite M s such thatThen for any m ∈ M s ,{h m (s) : m ∈ M s } ⊆ S.sz m ∈ S , i.e. z m ∈ S −1 S,a contradiction. Replacing S by S −1 we obtain the corresponding result for SS −1 .One thus has again.