Normed versus topological groups: Dichotomy and duality
Normed versus topological groups: Dichotomy and duality
Normed versus topological groups: Dichotomy and duality
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Normed</strong> <strong>groups</strong> 3Topological completeness is a natural assumption here, but it is unnecessarily strong.Respectably defined sub<strong>groups</strong> of even a compact <strong>topological</strong> group need not be G δ (see[ChMa] <strong>and</strong> [FaSol] for such examples). In Section 5 we employ the weaker notion ofalmost complete metrizability which is applicable to non-meagre Souslin-F subspaces ofa <strong>topological</strong>ly complete subgroup, so embracing the non-complete examples just cited.Critical result like Th. 1.2 will be developed below using a;most completeness; elsewhere,or simplicity, we often work with <strong>topological</strong> completeness.Fresh interest in metric <strong>groups</strong> dates back to the seminal work of Milnor [Mil] in1968 on the metric properties of the fundamental group of a manifold <strong>and</strong> is key to theglobal study of manifolds initiated by Gromov [Gr1], [Gr2] in the 1980s (<strong>and</strong> we will seequasi-isometries in the <strong>duality</strong> theory of normed <strong>groups</strong> in Section 12), for which see [BH]<strong>and</strong> also [Far] for an early account; [PeSp] contains a variety of generalizations <strong>and</strong> theiruses in interpolation theory (but the context is abelian <strong>groups</strong>).The very recent [CSC] (see Sect. 2.1.1, Embedding quasi-normed <strong>groups</strong> into Banachspaces) employs norms in considering Ulam’s problem (see [Ul]) on the global approximationof nearly additive functions by additive functions. This is a topic related to regularvariation, where the weaker concept of asymptotic additivity is the key. Recall the classicaldefinition of a regularly varying function, namely a function h : R → R for which thelimit∂ R h(t) := lim x→∞ h(tx)h(x) −1(rv-limit)exists everywhere; for f Baire, the limit function is a continuous homomorphism (i.e. amultiplicative function). Following the pioneering study of [BajKar] launching a general(i.e., <strong>topological</strong>) theory of regular variation, [BOst-TRI] has re-interpreted (rv-limit), byreplacing |x| → ∞ with ‖x‖ → ∞, for functions h : X → H, with tx being the image of xunder a T -flow on X (cf. Th. 2.7 <strong>and</strong> preceding definition), <strong>and</strong> with X, T, H all <strong>groups</strong>with right-invariant metric (right because of the division on the right) – i.e. normed<strong>groups</strong> (making ∂h X a differential at infinity, in Michal’s sense [Michal1]). In concreteapplications the <strong>groups</strong> may be the familiar Banach <strong>groups</strong> of functional analyis, theassociated flows either the ubiquitous domain translations of Fourier transform theoryor convolutions from the related contexts of abstract harmonic analysis (e.g. Wiener’sTauberian theory so relevant to classical regular variation – see e.g. [BGT, Ch. 4]). In allof these one is guaranteed right-invariant metrics. Likewise in the foundations of regularvariation the first tool is the group H(X) of bounded self-homeomorphisms of the groupX under a supremum metric (<strong>and</strong> acting transitively on X); the metric is again rightinvariant<strong>and</strong> hence a group-norm. It is thus natural, in view of the applications <strong>and</strong> theBirkhoff-Kakutani Theorem, to favour right-invariance.We show in Section 4 <strong>and</strong> 10 that normed <strong>groups</strong> offer a natural setting for subadditivity<strong>and</strong> for (mid-point) convexity.