1
$\begingroup$

(Wu-Ki Tung, Group theory in physics, in proving the first Schur lemma) Let $A$ an arbitrary operator in space $V$. It can be made to be hermitian*, and a basis of the space can be chosen to consist of the eigenvectors $A$, i.e.

$$Au_{\alpha,i}=\lambda_iu_{\alpha,i}$$

Why does this always happen?



*Without loss of generality, we can take $A$ to be hermitian (if it's not, then it can be decomposed into two hermitian operators $A_+=(A-A^\dagger)/2, A_-=(A-A^\dagger)/2i$, consider each of them separately then combining them in $A=A_++iA_-$

$\endgroup$
  • $\begingroup$ I would look at the first 15 or so pages of Serre, Linear Representations of Finite Groups. $\endgroup$ – D_S Nov 25 '17 at 3:57
  • 1
    $\begingroup$ This is not true without more hypotheses on $A$; consider, for example, $A = \left[ \begin{array}{cc} 0 & 1 \\ 0 & 0 \end{array} \right]$ acting on $\mathbb{R}^2$. $\endgroup$ – Qiaochu Yuan Nov 25 '17 at 4:10
  • $\begingroup$ @QiaochuYuan so A can't be any arbitrary operator? $\endgroup$ – Ooker Nov 25 '17 at 4:12
  • $\begingroup$ No. But you don't need a statement like this to prove Schur's lemma anyway, at least some versions of it. $\endgroup$ – Qiaochu Yuan Nov 25 '17 at 4:15
  • $\begingroup$ How do you make it Hermitian? $\endgroup$ – user7530 Nov 27 '17 at 2:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.