Remark
Tag 09GU, permanent. Cite it as [Bourbaki, Tag 09GU].
Integration, VII, p. 54, § 3. Applications and examples
Let be a nondegenerate positive hermitian form on E. The unitary group is closed in , hence is compact (Prop. 1). Prop. 1 also shows that every compact subgroup of is contained in a subgroup of the form . If now is contained in a compact subgroup K of , one sees that there exists a nondegenerate positive hermitian form on E such that , and it follows easily
(Exer. 1) that and are proportional, whence . Thus the maximal compact subgroups of are the subgroups of the form .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.