är radekvivalent med
och
rank
en bas för Col är t ex
och en bas för Nul
är t ex
2.
Beräkning ger
har alltså de olika egenvärdena
och Vi ser att
och
är ortogonala som de måste vara.
Inversen
3.
Standardbasen för
är
Vi ser direkt att exempelvis är
och
ortogonala. Då kan vi lätt beräkna den ortogonala
projektionen av på det delrum som spänns av och
Alltså är
ortogonal mot och Eftersom dessa
tre polynom är ortogonala är de en bas för
En ortonormerad
bas är
4.
Eftersom matrisen är symmetrisk för alla är den
ortogonalt diagonaliserbar för alla Man ser direkt att
är en egenvektor
som svarar mot egenvärdet
och att
är en egenvektor som svara mot
En ortonormerad bas av egenvektorer för alla är alltså