88
edits
Changes
Jump to navigation
Jump to search
New page: The Peter-Weyl Theorem states that: Let G be a compact topological group. For any G-invariant subspace V in L2(G), where G acts on the left, we consider the image of G in GL(V). I...
The Peter-Weyl Theorem states that:
Let G be a [[compact]] [[topological group]]. For any G-invariant subspace V in L2(G), where G acts on the left, we consider the image of G in GL(V). It is closed, since G is compact, and a subgroup of the [[Lie group]] GL(V). It follows by a basic theorem (of Élie Cartan) that the image of G is also a Lie group. From this follows that:
# The representative functions are dense in the space of all continuous functions, with respect to the supremum norm;
# The representative functions are dense in the space L^2(G) of all square-integrable functions, with respect to a Haar measure on G;
# The vector space span of the characters of the irreducible continuous representations of G are dense in the space of all continuous functions from G into C which are constant on each conjugacy class of G, with respect to the supremum norm.
==References==
[http://mathworld.wolfram.com/Peter-WeylTheorem.html Peter-Weyl Theorem from Wolfram MathWorld]
[[Category:Mathematics]]
Let G be a [[compact]] [[topological group]]. For any G-invariant subspace V in L2(G), where G acts on the left, we consider the image of G in GL(V). It is closed, since G is compact, and a subgroup of the [[Lie group]] GL(V). It follows by a basic theorem (of Élie Cartan) that the image of G is also a Lie group. From this follows that:
# The representative functions are dense in the space of all continuous functions, with respect to the supremum norm;
# The representative functions are dense in the space L^2(G) of all square-integrable functions, with respect to a Haar measure on G;
# The vector space span of the characters of the irreducible continuous representations of G are dense in the space of all continuous functions from G into C which are constant on each conjugacy class of G, with respect to the supremum norm.
==References==
[http://mathworld.wolfram.com/Peter-WeylTheorem.html Peter-Weyl Theorem from Wolfram MathWorld]
[[Category:Mathematics]]