Locally compact group
mathematics, a locally compact group is a topological group"G" which is locally compact as a topological space. Locally compact groups are important because they have a natural measure called the Haar measure. This allows one to define integrals of functions on "G".
Many of the results of finite group representation theory are proved by averaging over the group. These proofs can be carried over to locally compact groups by replacement of the average with the Haar integral. The resulting theory is a central part of
harmonic analysis. The theory for locally compact abelian groups is described by Pontryagin duality, a generalized Fourier transform.
Examples and counterexamples
compact groupis locally compact.
discrete groupis locally compact. The theory of locally compact groups therefore encompasses the theory of ordinary groups since any group can be given the discrete topology.
Lie groups, which are locally Euclidean, are all locally compact groups.
topological vector spaceis locally compact if and only if it is finite-dimensional.
*The additive group of rational numbers Q is not locally compact if given the
relative topologyas a subset of the real numbers. It is locally compact if given the discrete topology.
*The additive group of "p"-adic numbers Q"p" is locally compact for any
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 baseof compact neighborhoods at every point.
subgroupof 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 regularas topological spaces. Locally compact groups have the stronger property of being normal.
Every locally compact group which is
second-countableis metrizableas a topological group (i.e. can be given a left-invariant metric compatible with the topology) and complete.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Locally compact space — In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space.Formal definitionLet X be a topological space. The… … Wikipedia
Compact group — In mathematics, a compact (topological, often understood) group is a topological group whose topology is compact. Compact groups are a natural generalisation of finite groups with the discrete topology and have properties that carry over in… … Wikipedia
Locally compact quantum group — The locally compact (l.c.) quantum group is a relatively new C* algebraic formalism for quantum groups, generalizing the Kac algebra, compact quantum group and Hopf algebra approaches. Earlier attempts of a unifying definition of quantum groups… … Wikipedia
Group algebra — This page discusses topological algebras associated to topological groups; for the purely algebraic case of discrete groups see group ring. In mathematics, the group algebra is any of various constructions to assign to a locally compact group an… … Wikipedia
Group representation — In the mathematical field of representation theory, group representations describe abstract groups in terms of linear transformations of vector spaces; in particular, they can be used to represent group elements as matrices so that the group… … Wikipedia
Compact space — Compactness redirects here. For the concept in first order logic, see compactness theorem. In mathematics, specifically general topology and metric topology, a compact space is an abstract mathematical space whose topology has the compactness… … Wikipedia
Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines … Wikipedia
Group action — This article is about the mathematical concept. For the sociology term, see group action (sociology). Given an equilateral triangle, the counterclockwise rotation by 120° around the center of the triangle acts on the set of vertices of the… … Wikipedia
Compact operator on Hilbert space — In functional analysis, compact operators on Hilbert spaces are a direct extension of matrices: in the Hilbert spaces, they are precisely the closure of finite rank operators in the uniform operator topology. As such, results from matrix theory… … Wikipedia
Amenable group — In mathematics, an amenable group is a locally compact topological group G carrying a kind of averaging operation on bounded functions that is invariant under left (or right) translation by group elements. The original definition, in terms of a… … Wikipedia