Characterizing the trace of a matrix

I have been studying for my finals lately, and so I decided to put together a proof of a nice exercise I found in some book. The trace function, given by $tr:{\mathbb{K}}^{n\times n}\to \mathbb{K}$, is defined as

First of all, the proof of additivity

Afterwards, the proof of homogeneity

Hence, $tr$ is a linear transform from the vector space ${\mathbb{K}}^{n\times n}$ into $\mathbb{K}$. The cool thing about the trace is that it has many more interesting properties which are not difficult to prove. First of all, that it is invariant under transposition

And that it doesn't change when a product commutes

Therefore, we get a pretty non-intuitive property of the trace, we have that

Which comes from applying the previous property to different parenthesizations of the matrix product (notice that this is doable for any number of matrices). Going further, suppose that $P\in {\mathbb{K}}^{n\times n}$ is an invertible matrix, then

Meaning that if two matrices $A$ and $B$ are similar, their traces are the same!. Additionally, writing $A$ in any given basis will not change its trace. Last of all, the reason I decided to write this post:

Suppose that we have a linear functional $f:{\mathbb{K}}^{n\times n}\to \mathbb{K}$ such that $\forall A,B:f(AB)=f(BA)$, then $\exists \lambda \in \mathbb{K}/f(A)=\lambda tr(A)$. That is, linearity and the product property completely determine the trace function, up to a constant factor. The proof is fairly easy. Let

be the canonical ordered basis for ${\mathbb{K}}^{n\times n}$. Notice that:

Since $f$ is a linear functional, we can write it as $f(A)={\sum }_{i,j=1}^n{\alpha }_{ij}{\varphi }_{ij}(A)$, where ${\varphi }_{ij}$ are the corresponding functions from the dual basis, meaning that ${\varphi }_{ij}(E^{i^{\prime }{j}^{\prime }})={\delta }_{i{i}^{\prime }}{\delta }_{j{j}^{\prime }}$. Thus, we get that

And

The additional condition that $f(AB)=f(BA)$ means that ${\alpha }_{im}{\delta }_{jl}={\alpha }_{mi}{\delta }_{lj}\forall i,j,m,l\in 1,...,n$. In particular, if we take $i=m,j=l$, this turns into ${\alpha }_{ii}{\delta }_{jj}={\alpha }_{ii}{\delta }_{jj}$, which implies that ${\delta }_{ii}={\delta }_{jj}\forall i,j\in 1,...,n$, we can call this value $\lambda$. Finally, taking $l\ne j,m=i$, we get that ${\alpha }_{lj}=0\forall l,j\in 1,...,n,l\ne j$. This completely determines every single one of the $\alpha$s. Hence:

By this point, we have pretty much characterized the trace function, in the sense that we know that any function that is a linear transform and does not change when the matrix product order changes, then it is a scalar multiple of the trace. There is only one last important property to uniquely determine the trace. Given $f$ with the previous properties, $f(I)=n⟺f=tr$:

Which happens if and only if $\lambda =1$.I have been studying for my finals lately, and so I decided to put together a proof of a nice exercise I found in some book. The trace function, given by $tr:{\mathbb{K}}^{n\times n}\to \mathbb{K}$, is defined as

First of all, the proof of additivity

Afterwards, the proof of homogeneity

Hence, $tr$ is a linear transform from the vector space ${\mathbb{K}}^{n\times n}$ into $\mathbb{K}$. The cool thing about the trace is that it has many more interesting properties which are not difficult to prove. First of all, that it is invariant under transposition

And that it doesn't change when a product commutes

Therefore, we get a pretty non-intuitive property of the trace, we have that

Which comes from applying the previous property to different parenthesizations of the matrix product (notice that this is doable for any number of matrices). Going further, suppose that $P\in {\mathbb{K}}^{n\times n}$ is an invertible matrix, then

Meaning that if two matrices $A$ and $B$ are similar, their traces are the same!. Additionally, writing $A$ in any given basis will not change its trace. Last of all, the reason I decided to write this post:

Suppose that we have a linear functional $f:{\mathbb{K}}^{n\times n}\to \mathbb{K}$ such that $\forall A,B:f(AB)=f(BA)$, then $\exists \lambda \in \mathbb{K}/f(A)=\lambda tr(A)$. That is, linearity and the product property completely determine the trace function, up to a constant factor. The proof is fairly easy. Let

be the canonical ordered basis for ${\mathbb{K}}^{n\times n}$. Notice that:

Since $f$ is a linear functional, we can write it as $f(A)={\sum }_{i,j=1}^n{\alpha }_{ij}{\varphi }_{ij}(A)$, where ${\varphi }_{ij}$ are the corresponding functions from the dual basis, meaning that ${\varphi }_{ij}(E^{i^{\prime }{j}^{\prime }})={\delta }_{i{i}^{\prime }}{\delta }_{j{j}^{\prime }}$. Thus, we get that

And

The additional condition that $f(AB)=f(BA)$ means that ${\alpha }_{im}{\delta }_{jl}={\alpha }_{mi}{\delta }_{lj}\forall i,j,m,l\in 1,...,n$. In particular, if we take $i=m,j=l$, this turns into ${\alpha }_{ii}{\delta }_{jj}={\alpha }_{ii}{\delta }_{jj}$, which implies that ${\delta }_{ii}={\delta }_{jj}\forall i,j\in 1,...,n$, we can call this value $\lambda$. Finally, taking $l\ne j,m=i$, we get that ${\alpha }_{lj}=0\forall l,j\in 1,...,n,l\ne j$. This completely determines every single one of the $\alpha$s. Hence:

By this point, we have pretty much characterized the trace function, in the sense that we know that any function that is a linear transform and does not change when the matrix product order changes, then it is a scalar multiple of the trace. There is only one last important property to uniquely determine the trace. Given $f$ with the previous properties, $f(I)=n⟺f=tr$:

Which happens if and only if $\lambda =1$.