Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
If is an arbitrary monoid with multiplication then induces a map , . We say that is representative if is in the image of the canonical map . Equivalently, is representative if the span of all functions is finite dimensional. It follows then that is in fact in (the image of) where is the space of all representative functions on .
Peter-Weyl theorem says that the continuous representative functions form a dense subspace of the space of all continuous functions on a compact Lie group .
1 to 1 of 1