행렬 AB와 BA의 고유값(eigenvalue)은 서로 같은가?
두 행렬의 크기가 서로 달라 고유값의 개수가 다를 수도 있지만, 놀랍게도 추가적인 고유값들은 모두 0이다. 즉 AB의 고유값을 x1,x2,…xn, BA의 고유값을 y1,y2…,ym (n≤m이라 가정) 으로 두면, x1=y1,x2=y2,…,xn=yn, yn+1=yn+2=⋯=ym=0 을 만족하는 재배열이 존재한다는 것이다. 보조정리 1. A가 m×n, B가 n×m 행렬이라고 하자. 그렇다면 아래를 만족한다. tr(AB)=tr(BA) (증명 생략) 보조정리 2. tr((AB)k)=tr((BA)k) ..