The classification of finite-dimensional representations of SU2 says that every irreducible is one of the , and compactness gives complete reducibility. The standard alternating formis -invariant and identifies with . Taking symmetric powers gives for every . Therefore, ifthenThis proves self-duality of finite-dimensional SU2 representations.
Solved by gpt-5.6-sol high.
Codex Wiki