Locally compact group

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

Lua error in package.lua at line 80: module 'strict' not found. In mathematics, a locally compact group is a topological group G for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are locally compact and such groups have a natural measure called the Haar measure. This allows one to define integrals of Borel measurable functions on G so that standard analysis notions such as the Fourier transform and L^p spaces can be generalized.

Many of the results of finite group representation theory are proved by averaging over the group. For compact groups, modifications of these proofs yields similar results by averaging with respect to the normalized Haar integral. In the general locally compact setting, such techniques need not hold. The resulting theory is a central part of harmonic analysis. The representation theory for locally compact abelian groups is described by Pontryagin duality.

Examples and counterexamples

Properties

By homogeneity, local compactness for a topological group need only be checked at the identity. That is, a group G is locally compact if and only if the identity element has a compact neighborhood. It follows that there is a local base of compact neighborhoods at every point.

Every closed subgroup of a locally compact group is locally compact. (The closure condition is necessary as the group of rationals demonstrates.) Conversely, every locally compact subgroup of a Hausdorff group is closed. Every quotient of a locally compact group is locally compact. The product of a family of locally compact groups is locally compact if and only if all but a finite number of factors are actually compact.

Topological groups are always completely regular as topological spaces. Locally compact groups have the stronger property of being normal.

Every locally compact group which is second-countable is metrizable as a topological group (i.e. can be given a left-invariant metric compatible with the topology) and complete.

In a Polish group G, the σ-algebra of Haar null sets satisfies the countable chain condition if and only if G is locally compact.[1]

See also

References

  1. Slawomir Solecki (1996) On Haar Null Sets, Fundamenta Mathematicae 149
  • Lua error in package.lua at line 80: module 'strict' not found..