User:IssaRice/Linear algebra/Trace of matrix equals sum of eigenvalues
This is chapter 4 exercise 1.11 in Linear Algebra Done Wrong (p. 105).
Theorem. Let be a matrix. Then , where are the eigenvalues of (counting multiplicities).
Proof. We already know that . Multiplying out the right hand side, the term is .
Now consider equation 4.2 from the book (p. 89):
The matrix has the form:
Taking the identity permutation we get the term . All the rest of the permutations correspond to terms that can take at most of the elements along the diagonal, so will result in a term (when multiplied out) that will have degree at most (why rather than ? because if we take row k off in column j!=k, then when we get to column k, we can't take row j either, since a permutation can take at most one element from each row).
So we can write , where has degree at most .
Now if we look at the term in we get . This means that as required.