nLab G-norm

Redirected from "G-pseudonorm".
G-norms

G-norms

Idea

A G-norm is like a norm (or better, an F-norm) on a vector space, but on an abelian group instead. Just as the topological structure of any topological vector space may be specified by a family of F-pseudonorms, so the topological structure of any topological abelian group may be specified by a family of G-pseudonorms. A G-norm on an abelian group is equivalent to a translation-invariant metric on it.

Definitions

Let GG be an abelian group.

A G-pseudonorm, or G-seminorm, on GG is a function ρ:G\rho\colon G \to \mathbb{R} that satisfies the following conditions:

  • ρ(0)0\rho(0) \leq 0, where 00 is the identity element of GG;
  • ρ(x+y)ρ(x)+ρ(y)\rho(x + y) \leq \rho(x) + \rho(y) for all x,yx, y in GG; and
  • ρ(x)ρ(x)\rho(-x) \leq \rho(x) for all xx in GG.

From these axioms, the following simple conditions (sometimes included in the definition) follow:

  • ρ(x)0\rho(x) \geq 0 for all xx in GG
  • ρ(0)=0\rho(0) = 0;
  • ρ(x)=ρ(x)\rho(-x) = \rho(x); and
  • ρ(nx)|n|ρ(x)\rho(n x) \leq {|n|} \rho(x) for every integer nn and all xx in GG.

A G-pseudonorm is definite (or postive-definite, but we have positivity anyway) if in addition:

  • ρ(x)0\rho(x) \ne 0 for all x0x \ne 0 in GG.

And of course, from that follows:

  • ρ(x)>0\rho(x) \gt 0 for all x0x \ne 0 in GG.

A G-norm is a definite G-pseudonorm.

A G-(pseudo)norm is homogeneous (or \mathbb{Z}-homogeneous) if we have:

  • ρ(nx)|n|ρ(x)\rho(n x) \geq {|n|} \rho (x) for infinitely many integers nn, for all xx in GG.

It then follows that

  • ρ(nx)=|n|ρ(x)\rho(n x) = {|n|} \rho (x) for every integer nn and all xx in GG.

While homogeneous G-norms are particularly nice, we need general G-pseudonorms if we wish to describe arbitrary topological abelian groups.

Examples

Given any translation-invariant (pseudo)metric dd on GG, we get a G-(pseudo)norm ρ\rho on GG by ρ(x)d(0,x)\rho(x) \coloneqq d(0,x). Conversely, given any G-(pseudo)norm ρ\rho, we get a translation-invariant (pseudo)metric dd by d(x,y)ρ(yx)d(x,y) \coloneqq \rho(y - x). These operations are inverses. (We could add a ‘quasi-’ in here if we drop the rule that ρ(x)=ρ(x)\rho(-x) = \rho(x). But note that G-quasinorms and translation-invariant quasimetrics on an abelian monoid do not correspond.)

If GG happens to be the underlying abelian group of a real (or complex) vector space VV, then any F-(pseudo)norm on VV is a G-(pseudo)norm on GG, but not conversely. Similarly, any (pseudo)norm on VV is a homogeneous G-(pseudo)norm on GG, but not conversely.

The obvious norms on n\mathbb{Z}^n, seen as a subset of n\mathbb{R}^n with one of its usual structures as a Banach space, is a homogeneous G-norm.

Any abelian group has a G-norm given by ρ(x)=1\rho(x) = 1 whenever x0x \ne 0 (and of course ρ(x)=0\rho(x) = 0 otherwise). Except on the trivial group, this is not homogeneous. It corresponds to the discrete metric on GG.

Given any topological abelian group GG and any neighbourhood NN of 00, let BNN={x|xN,xN}B \coloneqq N \cap -N = \{ x \;|\; x \in N,\; -x \in N \}; then BB is also a neighbourhood of 00. Let B 0GB_0 \coloneqq G, let B 1BB_1 \coloneqq B, and recursively choose B n +B_{n^+} so that x+y+zB nx + y + z \in B_n whenever x,y,zB n +x, y, z \in B_{n^+} (which is possible since addition is continuous). Then

ρ(x)inf{ i=1 minf{2 n|x iB n}|x= i=1 mx i} \rho (x) \coloneqq \inf \Big\{ \sum_{i = 1}^m \inf \{ 2^{-n} \;|\; x_i \in B_n \} \;\Big|\; x = \sum_{i = 1}^m x_i \Big\}

defines a G-pseudonorm on GG such that, given any net (x ν)(x_\nu) in GG, we have that ρ(x ν)\rho(x_\nu) converges to 00 if and only if x νNx_\nu \in N holds eventually.

Families of G-pseudonorms

Any family of G-pseudonorms on an abelian group GG makes GG into a topological abelian group (TAG), and every TAG structure on GG arises in this way. However, different collections of G-pseudonorms may determine the same topological structure.

In one direction, let GG be an abelian group, and suppose that we equip GG with an arbitrary collection DD of G-pseudonorms. Every G-pseudonorm determines a pseudometric, and these pseudometrics generate a gauge space structure on GG and thence a topological structure. Because the pseudometrics involved are translation-invariant, we have in fact made GG into a TAG. In more detail: A subset UU of GG is open if and only if, for every xx in UU, for some list ρ 1,,ρ n\rho_1,\ldots,\rho_n from DD and some real number ϵ>0\epsilon \gt 0, for every yy in GG, if ρ i(yx)<ϵ\rho_i(y - x) \lt \epsilon for every ii, then yUy \in U. Then you can check that these subsets form a topology relative to which the group operations are continuous.

It may also be nice to look at the uniform space structure on GG; the gauge and the TAG structure determine the same uniform structure. Explicitly, a binary relation \sim on GG is an entourage if and only if, for some list ρ 1,,ρ n\rho_1,\ldots,\rho_n from DD and some real number ϵ>0\epsilon \gt 0, for every xx and yy in GG, if ρ i(yx)<ϵ\rho_i(y - x) \lt \epsilon for every ii, then xyx \sim y. Then these entourages form the uniform structure on GG which is compatible with the group structure and whose underlying topological structure is the one above.

Conversely, let GG be a TAG. Then the collection of all continuous G-pseudonorms ρ:G\rho\colon G \to \mathbb{R} generates the topological structure on GG. The proof is complicated, but essentially it amounts to this: applying the final example from the Examples section above to each neighbourhood of 00 (or at least to each neighbourhood in a neighbourhood base), check that the G-pseudonorms defined are continuous, and check that there are enough of them to generate a topology at least as strong as the actual topology on GG; the converse is immediate. In other words, the hard thing that has to be checked is that there are enough continuous G-pseudonorms.

In weak foundations

The only really tricky part is the proof that there are enough continuous G-pseudonorms to generate the topology on any TAG GG. The development seems to be predicative over \mathbb{R}; you can't speak of the collection of all continuous G-pseudonorms if you are being strongly predicative, but you really only need one for each neighbourhood in a neighbourhood base of GG. However, it is not constructive or predicative over \mathbb{N}, because the infima may not exist. Also, we use dependent choice.

The same problems arise in proving that every topological vector space structure is generated by some family of F-pseudonorms; on the other hand, locally convex spaces (which are generated by pseudonorms) are better behaved. There may be a similar theory of locally convex TAGs based on homogeneous G-pseudonorms, but I haven't looked into this.

It would be natural, in constructive mathematics, to attempt the development with localic groups. Even in classical mathematics, however, there may be (and are) sober TAGs which cannot be interpreted as localic groups, such as the additive group of rational numbers with its topology as a subspace of the real line. Probably we have to start by requiring a G-pseudonorm to be a continuous map from the localic group GG to the locale of real numbers, rather than starting with a discrete abelian group, but I haven't looked into this further.

References

HAF, Chapters 22 and 26. See especially Section 26.29 for the last Example.

Created on July 13, 2010 at 16:45:52. See the history of this page for a list of all contributions to it.