Spoor (lineaire algebra)

lineaire algebra

In de lineaire algebra, een deelgebied van de wiskunde, is het spoor, naar het Duitse Spur, in het Engels later vertaald door trace, aangeduid door sp of tr, van de vierkante matrix de som van de elementen van de hoofddiagonaal van :

,

waarin het element in de -de rij en -de kolom van is.

Eigenschappen bewerken

  • Het spoor van een complexe vierkante matrix is de som van haar eigenwaarden. Iedere eigenwaarde wordt in het spoor zo vaak geteld als dat het een eigenwaarde van de matrix is. Een reële matrix, als speciaal geval van een complexe matrix, voldoet hier dus ook aan, maar dan moet men wel de eigenwaarden meetellen die geen reëel getal zijn. In het 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:
    •  
    •  
  • Het spoor van de getransponeerde van een matrix en van de matrix zelf zijn hetzelfde:
    •  
  • 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:
    •  
    •  
    •  
  • Bovenstaand verband kan bij reële of complexe matrices ook aan de hand van de exponentiële functie worden uitgedrukt. 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.
 

De lie-groep   bestaat uit de reële  -matrices met determinant 1. De overeenkomstige lie-algebra bestaat uit alle reële  -matrices met spoor 0.

Voorbeeld bewerken

 

De eigenwaarden van deze matrix zijn de reële getallen   en   met als som  .

Verband met eigenwaarden bewerken

Het spoor is een gelijksoortigheidsinvariant, wat wil zeggen dat voor iedere omkeerbare  -matrix   geldt:

 

Als   een symmetrische matrix is, dan bestaat er een matrix   zodat   een diagonaalmatrix is. Hieruit volgt voor dergelijke matrices opnieuw dat het spoor gelijk is aan de som van de eigenwaarden.