A short proof of the fact that the matrix trace is the expectation of the numerical values

Tomasz Kania

Using the fact that the normalised matrix trace is the unique linear functional $f$ on the algebra of $n\times n$ matrices which satisfies $f(I)=1$ and $f(AB)=f(BA)$ for all $n\tim…