# Unitary Representations and the Peter-Weyl Theorem

Let $$\rho$$ be a unitary representation of a compact $$G$$ on a complex Hilbert space $$H$$. Then $$H$$ splits into an orthogonal direct sum of irreducible finite-dimensional unitary representations of $$G$$.
What does the conclusion have to with $$\rho$$? The conclusion seems to have nothing to do with the given unitary representation $$\rho$$. I always thought Peter-Weyl said that $$\rho$$ splits into a orthogonal direct sum of finite dimensional unitary representations, not the Hilbert space.
• Look at $Gv = \overline{span}(\{ \rho(g)v, g \in G\})$. If $Gv$ is a non-trivial subspace, since $\rho(g)$ is unitary $\rho(g)Gv^\perp$ is orthogonal to $\rho(g)Gv$ and $\rho = (\rho|_{Gv},\rho|_{Gv^\perp})$ – reuns Mar 21 at 2:32
When it says "$$H$$ splits" it means $$H$$ as a Hilbert space with a unitary action of $$G$$. In other words, the direct sum decomposition is indeed a decomposition of the representation $$\rho$$, not just of the Hilbert space $$H$$.
{"ft_lang_label":"__label__en","ft_lang_prob":0.881295,"math_prob":0.9998385,"size":576,"snap":"2019-51-2020-05","text_gpt3_token_len":126,"char_repetition_ratio":0.14160839,"word_repetition_ratio":0.0,"special_character_ratio":0.20833333,"punctuation_ratio":0.07070707,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99992263,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-12-08T06:05:40Z\",\"WARC-Record-ID\":\"<urn:uuid:dfa2c009-1090-4a39-b048-7bab35556ef4>\",\"Content-Length\":\"134007\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:856cf0b2-0009-4b6b-8997-2f0053fc2ab8>\",\"WARC-Concurrent-To\":\"<urn:uuid:e36d4d57-3adc-48dd-8db6-2bf54a0178ad>\",\"WARC-IP-Address\":\"151.101.65.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/3156189/unitary-representations-and-the-peter-weyl-theorem\",\"WARC-Payload-Digest\":\"sha1:AKF6OPRZ5UV7ABX37NGBBKICQWVEN3GI\",\"WARC-Block-Digest\":\"sha1:LNKK3RLRPIGODGFXDZIEW7TXGFK72MNS\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-51/CC-MAIN-2019-51_segments_1575540506459.47_warc_CC-MAIN-20191208044407-20191208072407-00376.warc.gz\"}"}