Schurs sats
Från Rilpedia
Schurs sats är en matematisk sats inom linjär algebra. Satsen är uppkallad efter den judiske matimatikern Issai Schur(1875 - 1941) som studerade bl.a under Frobenius. Satsen säger att alla -matriser, i någon bas, kan representeras av en uppåt triangulär matris.
Innehåll |
Schurs sats
Låt vare en linjär avbildning och V vara ett (komplext) vektorrum. Då finns det en Ortonormerad bas för V så att A i denna bas representeras av en uppåt triangulär matris, det vill säga alla matriser kan skrivas på formen
där U är en unitär matris (inversen av u är lika med det hermiteska konjugatet för U, U − 1 = U * ) och T är en uppåt triangulär matris med egenvärden till A på diagonalen.
Bevis
Satsen bevisas genom matematisk induktion.
Låt V vara ett vektorrum och vara en linjär avbildning.
- Satsen är sann om dim(V) = 1 (då en matris är uppåt triangulär).
- Antag att satsen är sann då dim(V) = n − 1.
Låt vara en normerad egenvektor till A som hör till egenvärdet λ1, dvs
- .
Låt nu W vara det ortogonala komplimentet till ,
- .
Dimensionen för W blir då dim(V) − 1 = n − 1.
Låt vektorerna vara en ortonormerad bas för W.
Då utgör en ortonormerad bas för V.
I denna bas representeras A av matrisen
Första kolonnen består endast av egenvärdet λ1 följt av nollor. Alla element till höger om λ1 på första raden är ointressanta.
Däremot låter vi det nedre högra blocket definiera en ny avblidning .
Då dim(W) = n − 1 så finns enligt antagandet en ortonormerad bas för W så att B övergår i uppåt triangulär form i denna bas, vilket medför att även A, i basen , övergår uppåt i triangulär form.
Anmärkningar
- Även om man utgår från en reell matris så kan matriserna U och T ha komplexa element.
t.ex rotationsmatrisen
har endast komplexa egenvärden, och då T har egenvärden på diagonalen så kommer T i detta fall ha komplexa värden på diagonalen.
- Om A är en normal matris (A = A * ) så är matrisen T diagonal med egenvärden på diagonalen. Därmed så kan Schurs sats ses som en utvidgning av spektralsatsen.
- Om två matriser kommuterar (AB = BA) så kan de skrivas om med samma bas, dvs A = UTAU * och B = UTBU * med samma unitära matris U.
Referenser
- Sergei Treil, Linear Algebra Done Wrong, Kapitel 6, Brown University, 2004