Podobnost matic

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

O dvou maticích A a B řekneme, že jsou podobné, pokud existuje regulární matice S tak, že platí:

\! A = SBS^{-1}.

Je zřejmé, že každá matice je podobná sama sobě (za S zvolme jednotkovou matici).

Motivace[editovat | editovat zdroj]

Mějme lineární zobrazení f z prostoru V do V. Reprezentujeme ho maticí B vzhledem k bázi Bz1. Chceme ho vyjádřit maticí A vzhledem k bázi Bz2, když známe matici přechodu S od Bz1 k Bz2. Potom matice tohoto zobrazení je A = SBS-1 (S-1 převede souřadnice vektoru k bázi Bz1, B ho zobrazí a S převede souřadnice zpět do Bz2). A a B představují stále to stejné zobrazení f, jen vůči různým bázím.

Diagonalizovatelnost[editovat | editovat zdroj]

O matici A řekneme, že je diagonalizovatelná, právě když je podobná nějaké diagonální matici. Matice NxN je diagonalizovatelná právě když má N lineárně nezávislých vlastních vektorů.

Např. každá symetrická matice je diagonalizovatelná. Pokud má matice různá vlastní čísla, potom je diagonalizovatelná (nemusí to platit obráceně, např. jednotková matice je diagonalizovatelná a všechna její vlastní čísla jsou rovna 1).

Jordanova normální forma[editovat | editovat zdroj]

Jak je vidět výše, ne každá matice je podobná nějaké diagonální matici. Ovšem každá komplexní matice je podobná "skoro diagonální matici" - tzv. Jordanově normální formě (jde o diagonální matici, která občas má jedničky nad diagonálou).

Navíc, dvě komplexní matice jsou si podobné právě když mají stejnou Jordanovu normální formu (až na pořadí buněk). Jordanova normální forma tedy řeší problém invariance pro podobnost komplexních matic.

Vlastnosti[editovat | editovat zdroj]

Podobnost matic je relace ekvivalence.

Jednotková matice je podobná pouze sama sobě, zřejmě

I = SIS^{-1}.

Podobné matice mají stejná vlastní čísla, zřejmě

\begin{array}{rcl}Ax&=&\lambda x,\\SBS^{-1}x&=&\lambda x,\\BS^{-1}x&=&\lambda S^{-1}x,\\Bw&=&\lambda w, \qquad \qquad \text{kde} \quad w = S^{-1}x.\end{array}

Z toho plyne, že mají společnou také hodnost, determinant, stopu, charakteristický polynom, atd. Opačné tvrzení však neplatí, např. matice

\left[\begin{array}{cc}1&0\\0&1\end{array}\right], \quad \left[\begin{array}{cc}1&1\\0&1\end{array}\right],

mají stejná vlastní čísla, ale nejsou podobné.