Bohr compactification

Summary

In mathematics, the Bohr compactification of a topological group G is a compact Hausdorff topological group H that may be canonically associated to G. Its importance lies in the reduction of the theory of uniformly almost periodic functions on G to the theory of continuous functions on H. The concept is named after Harald Bohr who pioneered the study of almost periodic functions, on the real line.

Definitions and basic properties edit

Given a topological group G, the Bohr compactification of G is a compact Hausdorff topological group Bohr(G) and a continuous homomorphism[1]

b: GBohr(G)

which is universal with respect to homomorphisms into compact Hausdorff groups; this means that if K is another compact Hausdorff topological group and

f: GK

is a continuous homomorphism, then there is a unique continuous homomorphism

Bohr(f): Bohr(G) → K

such that f = Bohr(f) ∘ b.

Theorem. The Bohr compactification exists[2][3] and is unique up to isomorphism.

We will denote the Bohr compactification of G by Bohr(G) and the canonical map by

 

The correspondence GBohr(G) defines a covariant functor on the category of topological groups and continuous homomorphisms.

The Bohr compactification is intimately connected to the finite-dimensional unitary representation theory of a topological group. The kernel of b consists exactly of those elements of G which cannot be separated from the identity of G by finite-dimensional unitary representations.

The Bohr compactification also reduces many problems in the theory of almost periodic functions on topological groups to that of functions on compact groups.

A bounded continuous complex-valued function f on a topological group G is uniformly almost periodic if and only if the set of right translates gf where

 

is relatively compact in the uniform topology as g varies through G.

Theorem. A bounded continuous complex-valued function f on G is uniformly almost periodic if and only if there is a continuous function f1 on Bohr(G) (which is uniquely determined) such that

 [4]

Maximally almost periodic groups edit

Topological groups for which the Bohr compactification mapping is injective are called maximally almost periodic (or MAP groups). In the case G is a locally compact connected group, MAP groups are completely characterized: They are precisely products of compact groups with vector groups of finite dimension.

See also edit

  • Compact space – Type of mathematical space
  • Compactification (mathematics) – Embedding a topological space into a compact space as a dense subset
  • Pointed set – Basic concept in set theory
  • Stone–Čech compactification – a universal map from a topological space X to a compact Hausdorff space βX, such that any map from X to a compact Hausdorff space factors through βX uniquely; if X is Tychonoff, then X is a dense subspace of βX
  • Wallman compactification – A compactification of T1 topological spaces

References edit

  • Gismatullin, Jakub; Jagialla, Grzegorz; Krupinski, Krzysztof (2020). "BOHR COMPACTIFICATIONS OF GROUPS AND RINGS" (PDF): 3. arXiv:2011.04822v1. {{cite journal}}: Cite journal requires |journal= (help)
  • Zhu, Yihan (2019). Almost Periodic Functions on Topological Groups. Theses, Dissertations, and Major Papers.
  1. ^ Zhu 2019, p. 37 Definition 3.1.2.
  2. ^ Gismatullin, Jagialla & Krupinski 2020, p. 3.
  3. ^ Zhu 2019, p. 34 Theorem 3.1.1.
  4. ^ Zhu 2019, p. 39 Theorem 3.1.4.