Elementární matice

V lineární algebře se elementární maticí nazývá čtvercová matice, která vznikne z jednotkové matice provedením jedné (řádkové) elementární operace. Elementární matice řádu $n$ s prvky z komutativního tělesa $T$ generují obecnou lineární grupu $GL_{n}(T)$. Maticový součin s elementární maticí zleva reprezentuje elementární řádkové operace, zatímco součin zprava reprezentuje elementární sloupcové operace.

Elementární řádkové operace se používají v Gaussově eliminační metodě pro převod matice na odstupňovaný tvar, případně v Gaussově–Jordanově eliminační metodě pro další převod matice na redukovaný odstupňovaný tvar.

Elementární řádkové operace

Existují tři typy elementárních matic, které odpovídají třem typům řádkových operací (případně sloupcovým operacím):

Záměna řádků

Řádek matice může být prohozen s jiným řádkem, např. $i$-tý řádek s $j$-tým, pro $i\neq j$:

$R_{i}\leftrightarrow R_{j}$

Násobení řádku

Každý prvek v $i$-tém řádku je vynásoben nenulovou konstantou.

$kR_{i}\rightarrow R_{i},\ {\mbox{kde }}k\neq 0$

Přičtení násobku řádku

Řádek může být nahrazen součtem tohoto řádku s násobkem jiného řádku.

$R_{i}+kR_{j}\rightarrow R_{i},{\mbox{kde }}i\neq j$

Je-li ${\boldsymbol {E}}$ elementární matice, čili, jak je popsáno níže, ${\boldsymbol {E}}$ je jedna z matic ${\boldsymbol {T}}_{ij},{\boldsymbol {D}}_{i}(m)$ a ${\boldsymbol {L}}_{ij}(m)$, pak provedení elementární řádkové operace na matici ${\boldsymbol {A}}$ odpovídá součinu matice ${\boldsymbol {A}}$ s elementární maticí zleva, neboli ${\boldsymbol {EA}}$.

Elementární matici pro jakoukoli řádkovou operaci lze získat provedením elementární řádkové operace na jednotkovou matici. Tento fakt lze chápat jako instanci Jonedova lemmatu aplikovaného na kategorii matic.

Záměna řádků

Související informace naleznete také v článku Permutační matice.

Prvním typem elementární řádkové operace je záměna všech prvků $i$-tého řádku s odpovídajícími prvky $j$-tého řádku dané matice ${\boldsymbol {A}}$. Příslušnou elementární matici ${\boldsymbol {T}}_{ij}$ získáme z jednotkové matice záměnou $i$-tého a $j$-tého řádku.

${\boldsymbol {T}}_{i,j}={\begin{pmatrix}1\\&\ddots \\&&1\\&&&0&0&\cdots &0&1\\&&&0&1&&&0\\&&&\vdots &&\ddots &&\vdots \\&&&0&&&1&0\\&&&1&0&\cdots &0&0\\&&&&&&&&1\\&&&&&&&&&\ddots \\&&&&&&&&&&1\\\end{pmatrix}}$

Formálně:

$({\boldsymbol {T}}_{i,j})_{k,l}={\begin{cases}1&{\text{pro }}(k,l)=(i,j){\text{ nebo }}(k,l)=(j,i),\\1&{\text{pro }}k=l\neq i,j,\\0&{\text{jinak}}.\\\end{cases}}$

Matice vzniklá vzájemnou záměnou $i$-tého a $j$-tého řádku v matici ${\boldsymbol {A}}$ je rovna matici ${\boldsymbol {T}}_{ij}{\boldsymbol {A}}$.

Vlastnosti

• Matice ${\boldsymbol {T}}_{ij}$ je sama k sobě inverzní: ${\boldsymbol {T}}_{ij}^{-1}={\boldsymbol {T}}_{ij}$.
• Determinant matice ${\boldsymbol {T}}_{ij}$ je roven minus jedné: $\det {\boldsymbol {T}}_{ij}=-1$. Pro každou čtvercovou matici ${\boldsymbol {A}}$ odpovídající velikosti platí: $\det({\boldsymbol {T}}_{ij}{\boldsymbol {A}})=-\det {\boldsymbol {A}}$.

Nenulový násobek řádku

Dalším typem elementární řádkové operace na je vynásobení všech prvků v $i$-tém řádku dané matice ${\boldsymbol {A}}$ nenulovým skalárem $m$ z tělesa $T$ (obvykle jde o reálné nebo komplexní číslo). Příslušná elementární matice ${\boldsymbol {D}}_{i}(m)$ je diagonální matice, jejíž všechny prvky na diagonále jsou jedničky, kromě $i$-té pozice obsahující $m$.

${\boldsymbol {D}}_{i}(m)={\begin{pmatrix}1&&&&&&\\&\ddots &&&&&\\&&1&&&&\\&&&m&&&\\&&&&1&&\\&&&&&\ddots &\\&&&&&&1\end{pmatrix}}$

Formálně:

$({\boldsymbol {D}}_{i}(m))_{k,l}={\begin{cases}m&{\text{pro }}k=l=i,\\1&{\text{pro }}k=l\neq i,\\0&{\text{jinak}}.\\\end{cases}}$

Matice vzniklá z ${\boldsymbol {A}}$ vynásobením $i$-tého řádku číslem $m$ je rovna matici ${\boldsymbol {D}}_{i}(m){\boldsymbol {A}}$.

Vlastnosti

• Inverzní matice k ${\boldsymbol {D}}_{i}(m)$ je diagonální. Platí: $({\boldsymbol {D}}_{i}(m))^{-1}={\boldsymbol {D}}_{i}(1/m)$.
• Determinant splňuje: $\det({\boldsymbol {D}}_{i}(m))=m$. Pro čtvercovou matici ${\boldsymbol {A}}$ odpovídající velikosti platí $\det({\boldsymbol {D}}_{i}(m){\boldsymbol {A}})=m\det {\boldsymbol {A}}$.

Přičtení násobku řádku

Posledním typem řádkové operace je přičtení $m$-násobku $j$-tého řádku k $i$-tému řádku matice ${\boldsymbol {A}}$, kde $m$ je libovolný skalár. Příslušná elementární matice ${\boldsymbol {L}}_{ij}(m)$ je trojúhelníková matice vzniklá z jednotkové matice doplněním hodnoty $m$ na pozici $(i,j)$.

${\boldsymbol {L}}_{ij}(m)={\begin{pmatrix}1&&&&&&\\&\ddots &&&&&\\&&1&&&&\\&&&\ddots &&&\\&&m&&1&&\\&&&&&\ddots &\\&&&&&&1\end{pmatrix}}$

Formálně:

$({\boldsymbol {L}}_{i,j}(m))_{k,l}={\begin{cases}m&{\text{pro }}(k,l)=(i,j),\\1&{\text{pro }}k=l,\\0&{\text{jinak}}.\\\end{cases}}$

Přičtení $m$-násobku $j$-tého řádku k $i$-tému řádku v matici ${\boldsymbol {A}}$ dává matici ${\boldsymbol {L}}_{ij}(m){\boldsymbol {A}}$.

Vlastnosti

• Odpovídající transformace jsou určitým druhem zkosení (anglicky transvections).
• Inverzní matice k ${\boldsymbol {L}}_{ij}(m)$ je trojúhelníková. Platí: $({\boldsymbol {L}}_{ij}(m))^{-1}={\boldsymbol {L}}_{ij}(-m)$.
• Determinant splňuje $\det({\boldsymbol {L}}_{ij}(m))=1$. Pro čtvercovou matici ${\boldsymbol {A}}$ odpovídajícího řádu platí $\det({\boldsymbol {L}}_{ij}(m){\boldsymbol {A}})=\det {\boldsymbol {A}}$.

Elementární sloupcové operace

Elementární sloupcové operace odpovídají součinům s elementárními maticemi zprava:

• Matice vzniklá vzájemnou záměnou $i$-tého a $j$-tého sloupce v matici ${\boldsymbol {A}}$ je rovna matici ${\boldsymbol {A}}{\boldsymbol {T}}_{ij}$.

• Matice vzniklá z ${\boldsymbol {A}}$ vynásobením $i$-tého sloupce skalárem $m$ je rovna matici ${\boldsymbol {A}}{\boldsymbol {D}}_{i}(m)$.

• Přičtení $m$-násobku $j$-tého sloupce k $i$-tému sloupci v matici ${\boldsymbol {A}}$ dává matici ${\boldsymbol {A}}{\boldsymbol {L}}_{ij}(m)$.

Společné vlastnosti

Elementární operace záměna řádků a přičtení násobku řádku lze odvodit z operací násobku řádků a prostého přičtení řádku (čili přičtení 1-násobku).

Formálně:

• ${\boldsymbol {L}}_{ij}(m)={\boldsymbol {D}}_{j}(1/m)\cdot {\boldsymbol {L}}_{ij}(1)\cdot {\boldsymbol {D}}_{j}(m)$ neboli přičtení $m$-násobku $j$-tého řádku k $i$-tému lze realizovat jako posloupnost operací:
  • vynásobení $j$-tého řádku nenulovým skalárem $m$,
  • přičtení již vynásobeného $j$-tého řádku k $i$-tému,
  • vydělením $j$-tého řádku nenulovým skalárem $m$ se obnoví jeho původní hodnoty.

• ${\boldsymbol {T}}_{ij}={\boldsymbol {D}}_{j}(-1)\cdot {\boldsymbol {L}}_{ij}(1)\cdot {\boldsymbol {L}}_{ji}(-1)\cdot {\boldsymbol {L}}_{ij}(1)$, přičemž za ${\boldsymbol {L}}_{ji}(-1)$ lze dosadit součin ${\boldsymbol {D}}_{j}(-1)\cdot {\boldsymbol {L}}_{ij}(1)\cdot {\boldsymbol {D}}_{j}(-1)$ podle předchozího předpisu a získat ${\boldsymbol {T}}_{ij}={\boldsymbol {D}}_{j}(-1)\cdot {\boldsymbol {L}}_{ij}(1)\cdot {\boldsymbol {D}}_{j}(-1)\cdot {\boldsymbol {L}}_{ij}(1)\cdot {\boldsymbol {D}}_{j}(-1)\cdot {\boldsymbol {L}}_{ij}(1)$.

V důsledku stačí uvažovat jen operace násobku a přičtení, je-li třeba dokázat, že elementární operace zachovávají vybrané vlastnosti matic, jako např. hodnost nebo jádro. Argumenty mohou být jednodušší i z toho důvodu, že matice ${\boldsymbol {D}}_{i}(m)$ a ${\boldsymbol {L}}_{ij}(1)$ se od jednotkové matice liší pouze v jednom prvku.

Analogické vztahy platí i pro sloupcové operace.

Odkazy

Reference

V tomto článku byl použit překlad textu z článku Elementary matrix na anglické Wikipedii.

Literatura

• HLADÍK, Milan. Lineární algebra (nejen) pro informatiky. 1.. vyd. Praha: Matfyzpress, 2019. 328 s. ISBN 978-80-7378-378-5. S. 39. 
• OLŠÁK, Petr. Lineární algebra [online]. Praha: 2007 [cit. 2023-02-20]. Dostupné online. 

Související články

• Gaussova eliminační metoda
• Lineární algebra
• Soustava lineárních rovnic
• Matice
• LU rozklad
• Frobeniova matice