It is not difficult to show that if $A \in M_n(k)$ for some field $k$, and $A^2=A$ then $\operatorname{tr}(A) = \dim(\operatorname{Im}(A))$

In this comment, it is written:

This property, together with linearity, determines the trace uniquely, and so one can view the trace as the linearised version of the dimension-counting operator.

What does it mean precisely? If $f : M_n(k) \to k$ is $k$-linear (say with $k = \Bbb C$), and $f(A) = \dim(\operatorname{Im}(A))$ for any $A^2= A \in M_n(k)$, then we have that $f$ is the trace function?


Yes. More specifically, over any field $k$, regardless of its characteristic or algebraic closedness (or the lack of it), if $f : M_n(k) \to k$ is $k$-linear and $f(A)=\operatorname{rank}(A)$ (modulo $\operatorname{char}(k)$ if $k$ has finite characteristic) for every projection matrix $A$, then $f$ is necessarily the trace function.

Denote by $E_{ij}$ the matrix whose only nonzero entry is a $1$ at the $(i,j)$-th position. The assumption on $f$ implies that $f(E_{ii})=1$ for each $i$. Since $$ E_{12}=\left(\pmatrix{0&1\\ 0&1}\oplus I_{n-2}\right) - \operatorname{diag}(0,1,\ldots,1) $$ is a difference of two projections of equal ranks, we also have $f(E_{12})=0$ and similarly $f(E_{ij})=0$ whenever $i\ne j$. The linearity of $f$ thus implies that $f$ is the trace function.


Given any $A\in M_n(\mathbb C)$, we have $A=\text{Re}\,A+i\text{Im}\,A$, where $$ \text{Re}\,A=\frac{A+A^*}2,\ \ \ \text{Im}\,A-\frac{A-A^*}{2i} $$ are selfadjoint. So it is enough to test the assertion for selfadjoint matrices. In such case we have the spectral theorem available, which tells us that if $A=A^*$, then $$ A=\sum_{j=1}^n\lambda_j P_j, $$ where $P_j$ are (pairwise orthogonal) projections of rank-one. Then $$ f(A)=\sum_j\lambda_j f(P_j)=\sum_j\lambda_j=\text{Tr}\,(A). $$

  • $\begingroup$ Thank you. I need to read carefully, but what happens if $k$ is any other field (of characteristic $0$) ? $\endgroup$ – Alphonse Apr 27 '18 at 16:57
  • 1
    $\begingroup$ According to this, you can still decompose $A$ as above and have the spectral theorem for the symmetric part, as long as the field is algebraically closed. $\endgroup$ – Martin Argerami Apr 27 '18 at 17:03
  • $\begingroup$ We have $Re(A) = \dfrac{A+ \overline A}{2}$ where the bar means complex conjugate, but if $A^*$ means the transpose of $\overline A$, then I don't see. For me, "self-adjoint" indeed needs $A^* = ^t \overline A$, in which case the equality with $Re(A) = (A+A^*)/2$ is not true anymore, I think. $\endgroup$ – Alphonse Apr 27 '18 at 19:56
  • $\begingroup$ @Alphonse: you are making your own interpretation of what Re$(A)$ means. $\endgroup$ – Martin Argerami Apr 27 '18 at 22:40

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.