A topological group that is compact as a topological space. For example, every finite group (in the discrete topology) is a compact group. An algebraic group, even though it is a compact topological space (with respect to the Zariski topology), is not a topological group with respect to this topology and therefore is not a compact group.
The following groups are two important classes of compact groups.
1) Locally connected compact groups. Examples of such compact groups are the group of all unitary complex matrices of order , the group of all orthogonal real matrices of order (with the topology induced by the topology determined by the ordinary norm of the fields and , respectively) and, more generally, any compact real Lie group.
2) Totally-disconnected compact groups. Of this type is the group of invertible matrices of order with coefficients in the ring of -adic integers (with the topology induced by that determined by the -adic norm of ; see Totally-disconnected space).
Any totally-disconnected compact group is a profinite group, and conversely, every profinite group is a totally-disconnected compact group. The totally-disconnected compact Hausdorff groups can be characterized as the compact groups of topological dimension zero. If is locally connected and finite-dimensional, then is a real Lie group . The structure of a compact group of general type is to a certain degree determined by the structure of these two types of compact groups. In an arbitrary finite-dimensional compact group there is zero-dimensional subgroup (lying in the centre of ) such that is a real Lie group and, furthermore, some neighbourhood of the identity in is the direct product of the group and a real local Lie group (cf. Lie group, local). Every connected finite-dimensional compact group has the form , where is a simply-connected compact semi-simple real Lie group, is a finite-dimensional connected commutative compact group and is a finite central normal subgroup for which only the identity lies in . The study of the structure of connected compact real Lie groups has led to a complete classification of them (see Lie group, compact); the structure of commutative compact groups is elucidated in the theory of Pontryagin duality. Any compact group (not necessarily finite-dimensional) is the projective limit of compact real Lie groups . The topological structure of the above two types of compact groups is as follows: Every locally connected finite-dimensional compact group is a topological manifold, while every infinite zero-dimensional compact group with a countable base is homeomorphic to the perfect Cantor set.
The study of structure of compact groups is based on the fact that every compact group has a sufficient system of finite-dimensional linear representations, that is, for any element there exists a continuous finite-dimensional linear representation for which . This fact is one of the important results of the well-developed general theory of linear representations of compact groups. This theory makes essential use of the fact that every compact group has a two-sided invariant measure (a Haar measure), which enables one to define invariant integration on . The most important facts of this theory are as follows. Every continuous representation of a compact group in a pre-Hilbert space is equivalent to a unitary representation. Let be the Hilbert space of square-integrable complex-valued functions on with respect to the invariant measure . The action of the group on the functions by left and right translations determines on the structure of a left and a right -module. The corresponding representations are respectively called the left and right regular representation of ; they are unitary and unitarily equivalent. Let be the family of all possible pairwise inequivalent finite-dimensional irreducible unitary representations of the compact group and let , , be the set of matrix elements of the representation in some orthonormal basis. Then the functions lie in and form in it a complete orthogonal system, the norm of the function being . Any continuous complex-valued function on can, to any desired degree of accuracy, be uniformly approximated by finite linear combinations of the functions (the Peter–Weyl theorem). The characters of the irreducible unitary finite-dimensional representations are pairwise orthogonal and have norm 1. Continuous finite-dimensional unitary representations are equivalent if and only if their characters are equal. A continuous finite-dimensional unitary representation is irreducible if and only if the norm of its character (which lies in ) is equal to 1. Every irreducible continuous unitary representation of the group in a Hilbert space is finite-dimensional. Every continuous unitary representation of the group in a Hilbert space is an orthogonal direct sum of unitary representations that are multiples of finite-dimensional irreducible representations. In particular, the multiplicity of the imbedding of the representation in the right regular representation is equal to ; furthermore, the sum of all -submodules in the -module that are isomorphic to is precisely the linear span of all the .
|||L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian) MR0201557 Zbl 0022.17104|
|||A. Weil, "l'Intégration dans les groupes topologiques et ses applications" , Hermann (1940) MR0005741|
|||M.A. Naimark, "Theory of group representations" , Springer (1982) (Translated from Russian) MR0793377 Zbl 0484.22018|
|||D.P. Zhelobenko, "Compact Lie groups and their representations" , Amer. Math. Soc. (1973) (Translated from Russian) MR0473097 MR0473098 Zbl 0228.22013|
|[a1]||E. Hewitt, K.A. Ross, "Abstract harmonic analysis" , 1–2 , Springer (1970) MR0262773 Zbl 0213.40103|
|[a2]||D. Montgomery, L. Zippin, "Topological transformation groups" , Interscience (1955) MR0073104 Zbl 0068.01904|
|[a3]||N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) MR0682756 Zbl 0319.17002|
Compact group. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Compact_group&oldid=21828