Trace et transposée de matrice/Définition de la trace d'une matrice

Pour faire cette étude, nous nous placerons en dimension finie, la dimension des espaces étant respectivement m et n. Nous savons qu’à tout endomorphisme, dans une base donnée, nous pouvons associer une matrice carrée. Nous commencerons donc par donner la définition de la trace d’une matrice carrée. Ceci fait, nous montrerons par la suite que cette définition ne dépend pas de la base choisie, ce qui permettra de définir la trace d’un endomorphisme.

Soit M une matrice, on notera m_i,j le coefficient de la ligne i colonne j.

Cette notation est utilisée par exemple dans la définition du produit de deux matrices :

$\mathrm{\forall }A\in {\mathrm{M}}_{m,n}(K)\mathrm{\forall }B\in {\mathrm{M}}_{n,p}(K)\mathrm{\forall }C\in {\mathrm{M}}_{m,p}(K)AB=C\iff \mathrm{\forall }i,j{c}_{i,j}=\sum _{k=1}^n{a}_{i,k}{b}_{k,j}$.