topological group representation
1 Finite Dimensional Representations
Let be a topological group and a finite-dimensional normed vector space
. We denote by the general linear group
of , endowed with the topology
coming from the operator norm
.
Regarding only the group structure of , recall that a representation of in is a group homomorphism
.
Definition - A representation of the topological group in is a continuous group homomorphism , i.e. is a continuous representation of the abstract group in .
We have the following equivalent definitions:
- •
A representation of in is a group homomorphism such that the mapping defined byis continuous
.
- •
A representation of in is a group homomorphism such that, for every , the mapping defined byis continuous.
2 Representations in Hilbert Spaces
Let be a topological group and a Hilbert space. We denote by the algebra of bounded operators
endowed with the strong operator topology (this topology does not coincide with the norm topology unless is finite-dimensional). Let the set of invertible
operators in endowed with the subspace topology.
Definition - A representation of the topological group in is a continuous group homomorphism , i.e. is a continuous representation of the abstract group in .
We denote by the set of all representations of in the Hilbert space .
We have the following equivalent definitions:
- •
A representation of in is a group homomorphism such that the mapping defined byis continuous.
- •
A representation of in is a group homomorphism such that, for every , the mapping defined byis continuous.
Remark - The 3rd definition is exactly the same as the 1st definition, just written in other .
3 Representations as G-modules
Recall that, for an abstract group , it is the same to consider a representation of or to consider a -module (http://planetmath.org/GModule), i.e. to each representation of corresponds a -module and vice-versa.
For a topological group , representations of satisfy some continuity . Thus, we are not interested in all -modules, but rather in those which are compatible with the continuity conditions.
Definition - Let be a topological group. A -module is a normed vector space (or a Hilbert space) where acts continuously, i.e. there is a continuous action .
To give a representation of a topological group is the same as giving a -module (in the sense described above).
4 Special Kinds of Representations
- •
- •
Let . We say that a subspace
is by if is invariant
under every operator with .
- •
- •
A of a representation is a representation obtained from by restricting to a closed subspace .
- •
- •
A representation is said to be if the only closed subspaces of are the trivial ones, and .
- •
Two representations and of a topological group are said to be equivalent if there exists an invertible linear transformation such that for every one has .
The definition is similar for Hilbert spaces, by taking as an invertible bounded linear operator.