Spoor (lineaire algebra)

• Het spoor van een complexe matrix is de som van haar eigenwaarden. In het spoor wordt iedere eigenwaarde zo vaak geteld als dat het de eigenwaarde van de matrix is. Een reële matrix, als speciaal geval van een complexe matrix, voldoet hier uiteraard ook aan, maar dan moet men wel de niet-reële eigenwaarden meetellen. In de karakteristieke polynoom is het spoor op het teken na de coëfficiënt van de op een na hoogste macht. Vergelijk het met de determinant, die het product van de eigenwaarden is.
• Het spoor is een lineaire functionaal:
  • ${\displaystyle \mathrm {sp} (A+B)=\mathrm {sp} (A)+\mathrm {sp} (B)}$
  • ${\displaystyle \mathrm {sp} (rA)=r\cdot \mathrm {sp} (A)}$
• Het spoor van de getransponeerde van een matrix en van de matrix zelf zijn hetzelfde:
  • ${\displaystyle \mathrm {sp} (A)=\mathrm {sp} (A^{T})}$
• Het spoor van het product van twee of meer matrices is onafhankelijk van de plaats van de twee matrices in het product. Dat geldt ook voor een matrix en de geconjugeerde van die matrix:
  • ${\displaystyle \mathrm {sp} (AB)=\mathrm {sp} (BA)}$
  • ${\displaystyle \mathrm {sp} (ABC)=\mathrm {sp} (CAB)=\mathrm {sp} (BCA)}$
  • ${\displaystyle \mathrm {sp} (P^{-1}AP)=\mathrm {sp} ((PP^{-1})A)=\mathrm {sp} (A)}$

• Bovenstaand verband kan bij reële of complexe matrices ook uitgedrukt worden aan de hand van de exponentiële functie. Voor de definitie van de exponentiële functie op vierkante matrices kan een machtreeks worden gebruikt, of anders de abstracte exponentiële functie uit de theorie van de Lie-algebras.

${\displaystyle \det(\exp A)=\exp {\mathrm {sp} A}}$

De Lie-groep ${\displaystyle SL(n,\mathbb {R} )}$ bestaat uit de reële ${\displaystyle n\times n}$ -matrices met determinant 1. De overeenkomstige Lie-algebra bestaat uit alle reële ${\displaystyle n\times n}$ -matrices met spoor 0.

${\displaystyle A={\begin{pmatrix}3&0&1\\0&4&4\\0&1&0\end{pmatrix}}\Rightarrow {\mbox{sp}}(A)=3+4+0=7}$

De eigenwaarden van deze matrix zijn de reële getallen 3, 2+2√2 en 2–2√2 met als som 7.

Het spoor is een gelijksoortigheidsinvariant, wat wil zeggen dat voor iedere omkeerbare ${\displaystyle n\times n}$ -matrix ${\displaystyle B}$ geldt:

${\displaystyle \mathrm {sp} \ A=\mathrm {sp} (B^{-1}AB)}$

Als ${\displaystyle A}$ een symmetrische matrix is, dan bestaat er een matrix ${\displaystyle B}$ die de gegeven matrix diagonaliseert; dat wil zeggen ${\displaystyle B^{-1}AB}$ is een diagonaalmatrix. Hieruit volgt voor dergelijke matrices opnieuw dat het spoor gelijk is aan de som van de eigenwaarden.