From a previous exercise we know that similar matrices have the same
trace. Thus we can define the trace of a linear operator on a
finite-dimensional space to be the trace of any matrix, which represents
the operator in an ordered basis. This is well defined since all such
representing matrices for one operator are similar.
