Regulární matice

Regulární, též invertibilní nebo nesingulární matice je v matematice čtvercová matice, která má inverzi. Regulární matice lze charakterizovat několika rovnocennými způsoby. Regulární matice jsou například charakterizovány tím, že lineární zobrazení, které popisují, jsou bijektivní. Proto má soustava lineárních rovnic s regulární maticí soustavy vždy jednoznačné řešení. Množina regulárních matic pevné velikosti nad okruhem nebo nad tělesem, spolu s maticovým součinem jako binární operace, tvoří obecnou lineární grupu.

Ne každá čtvercová matice má inverzi. Čtvercová matice, která nemá inverzní matici, se nazývá singulární matice.

Definice

Čtvercová matice ${\boldsymbol {A}}\in R^{n\times n}$ s prvky z okruhu $R$ s jednotkovým prvkem (v praxi většinou obor reálných čísel ) se nazývá regulární, pokud existuje matice ${\boldsymbol {B}}\in R^{n\times n}$ taková, že

${\boldsymbol {A}}{\boldsymbol {B}}={\boldsymbol {B}}{\boldsymbol {A}}=\mathbf {I}$,

kde $I$ označuje jednotkovou matici . Matice ${\boldsymbol {B}}$ je zde jednoznačně určena a nazývá se inverzní matice k matici ${\boldsymbol {A}}$. Inverzní matice ${\boldsymbol {A}}$ se obvykle značí ${\boldsymbol {A}}^{-1}$. Pro singulární matici žádná taková matice ${\boldsymbol {B}}$ neexistuje.

Je $R$ komutativní okruh nebo těleso, jsou obě podmínky Nelze pochopit (SVG, alternativně PNG (MathML lze povolit skrze prohlížečový plugin): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „http://localhost:6011/cs.wikipedia.org/v1/“:): {\displaystyle \boldsymbol A \boldsymbol B= \mathbf I} a ${\boldsymbol {B}}{\boldsymbol {A}}=\mathbf {I}$ ekvivalentní, tj., matice inverzní zleva je inverzní i zprava a naopak. V tomto případě lze podmínku oslabit na ${\boldsymbol {B}}{\boldsymbol {A}}=\mathbf {I}$ nebo ${\boldsymbol {A}}{\boldsymbol {B}}=\mathbf {I}$.

Ukázky

Reálné matice

Matice

${\boldsymbol {A}}={\begin{pmatrix}2&3\\1&2\end{pmatrix}}$

je regulární, protože má inverzní matici

${\boldsymbol {B}}={\begin{pmatrix}2&-3\\-1&2\end{pmatrix}}$ ,

neboť

${\boldsymbol {A}}{\boldsymbol {B}}={\begin{pmatrix}2&3\\1&2\end{pmatrix}}\cdot {\begin{pmatrix}2&-3\\-1&2\end{pmatrix}}={\begin{pmatrix}1&0\\0&1\end{pmatrix}}=\mathbf {I}$ .

Na druhou stranu, matice

${\boldsymbol {A}}={\begin{pmatrix}2&3\\0&0\end{pmatrix}}$

je singulární, protože pro jakoukoli matici

${\boldsymbol {B}}={\begin{pmatrix}a&b\\c&d\end{pmatrix}}$

platí

${\boldsymbol {A}}{\boldsymbol {B}}={\begin{pmatrix}2&3\\0&0\end{pmatrix}}\cdot {\begin{pmatrix}a&b\\c&d\end{pmatrix}}={\begin{pmatrix}2a+3c&2b+3d\\0&0\end{pmatrix}}\neq \mathbf {I}$ .

Matice nad okruhy

Matice

${\boldsymbol {A}}={\begin{pmatrix}3x^{3}&x^{2}-1\\3x^{2}+3&x\end{pmatrix}}$

s prvky z polynomiálního okruhu $R=\mathbb {R} [x]$ má determinant:

$\det {\boldsymbol {A}}=3x^{3}\cdot x-(x^{2}-1)\cdot (3x^{2}+3)=3$

Protože prvek $3$ je invertovatelný v okruhu $R$, je i matice ${\boldsymbol {A}}$ regulární v $R^{2\times 2}$. S pomocí adjungované matice lze určit její inverzní matici:

${\boldsymbol {B}}={\frac {1}{3}}{\begin{pmatrix}x&1-x^{2}\\-3x^{2}-3&3x^{3}\end{pmatrix}}={\begin{pmatrix}{\frac {x}{3}}&{\frac {1}{3}}(1-x^{2})\\-x^{2}-1&x^{3}\end{pmatrix}}$ .

Matice

${\boldsymbol {A}}={\begin{pmatrix}[3]_{12}&[7]_{12}\\{}[1]_{12}&[4]_{12}\end{pmatrix}}$

s prvky z okruhu zbytkových tříd $R=\mathbb {Z} /12\mathbb {Z}$ má determinant:

$\det {\boldsymbol {A}}=[3]_{12}\cdot [4]_{12}-[7]_{12}\cdot [1]_{12}=[5]_{12}$

Protože prvek $[5]_{12}$ je invertovatelný v $R$ , je matice ${\boldsymbol {A}}$ regulární v $R^{2\times 2}$. Její inverzní matice je

${\boldsymbol {B}}={\frac {1}{[5]_{12}}}{\begin{pmatrix}[4]_{12}&[-7]_{12}\\{}[-1]_{12}&[3]_{12}\end{pmatrix}}=[5]_{12}{\begin{pmatrix}[4]_{12}&[5]_{12}\\{}[11]_{12}&[3]_{12}\end{pmatrix}}={\begin{pmatrix}[8]_{12}&[1]_{12}\\{}[7]_{12}&[3]_{12}\end{pmatrix}}$ .

Naopak matice

${\boldsymbol {A}}={\begin{pmatrix}[3]_{12}&[7]_{12}\\{}[1]_{12}&[9]_{12}\end{pmatrix}}$

s prvky z téhož okruhu zbytkových tříd $R=\mathbb {Z} /12\mathbb {Z}$ má determinant:

$\det {\boldsymbol {A}}=[3]_{12}\cdot [9]_{12}-[7]_{12}\cdot [1]_{12}=[20]_{12}=[8]_{12}$

Čísla $8$ a $12$ jsou soudělná, a proto $\det {\boldsymbol {A}}=[8]_{12}$ v $\mathbb {Z} /12\mathbb {Z}$ nemá inverzní prvek, a proto je matice ${\boldsymbol {A}}$ singulární.

Alternativní definice

Regulární matice nad tělesem

Pro čtvercovou matici ${\boldsymbol {A}}$ řádu $n$ nad tělesem $K$, například nad reálnými nebo komplexními čísly, jsou následující podmínky ekvivalentní

(tj. buď jsou všechna pravdivá, nebo všechna nepravdivá pro danou matici):

• Matice ${\boldsymbol {A}}$ je regulární, čili existuje matice ${\boldsymbol {B}}$ taková, že ${\boldsymbol {A}}{\boldsymbol {B}}=\mathbf {I}$.
• Existuje matice ${\boldsymbol {B}}$ taková, že ${\boldsymbol {B}}{\boldsymbol {A}}=\mathbf {I}$.
• Determinant matice ${\boldsymbol {A}}$ je nenulový: $\det {\boldsymbol {A}}\neq 0$.
• Nula není vlastní číslo matice ${\boldsymbol {A}}$.
• Soustava lineárních rovnic ${\boldsymbol {Ax}}=\mathbf {0}$ má pouze triviální řešení ${\boldsymbol {x}}=\mathbf {0}$.
• Pro každé $b\in K^{n}$ existuje alespoň jedno řešení $x\in K^{n}$ soustavy lineárních rovnic ${\boldsymbol {Ax}}={\boldsymbol {b}}$.
• Pro každé $b\in K^{n}$ existuje nejvýše jedno řešení $x\in K^{n}$ soustavy lineárních rovnic ${\boldsymbol {Ax}}={\boldsymbol {b}}$.
• Řádkové vektory jsou lineárně nezávislé.
• Řádkové vektory generují $K^{n}$.
• Sloupcové vektory jsou lineárně nezávislé.
• Sloupcové vektory generují $K^{n}$.
• Lineární zobrazení $K^{n}\to K^{n}$ dané předpisem ${\boldsymbol {x}}\to {\boldsymbol {Ax}}$ je prosté (injektivní).
• Lineární zobrazení $K^{n}\to K^{n}$dané předpisem ${\boldsymbol {x}}\to {\boldsymbol {Ax}}$ je surjektivní.
• Transponovaná matice ${\boldsymbol {A}}^{\mathrm {T} }$ je regulární.
• ${\boldsymbol {A}}$ má plnou hodnost, neboli $\operatorname {rank} {\boldsymbol {A}}=n$.
• Matici ${\boldsymbol {A}}$ lze převést ekvivalentními řádkovými úpravami na jednotkovou matici $\mathbf {I}$.
• Matici ${\boldsymbol {A}}$ lze převést ekvivalentními řádkovými úpravami do odstupňovaného tvaru s $n$ pivoty.
• Matici ${\boldsymbol {A}}$ lze vyjádřit jako konečný součin elementárních matic.

Regulární matice nad jednotkovým komutativním okruhem

Obecněji řečeno, pro čtvercovou matici ${\boldsymbol {A}}$ řádu $n$ s prvky z komutativního okruhu s jedničkou $R$ jsou následující podmínky ekvivalentní:

• Matice ${\boldsymbol {A}}$ je regulární, čili existuje matice ${\boldsymbol {B}}$ taková, že ${\boldsymbol {A}}{\boldsymbol {B}}=\mathbf {I} ={\boldsymbol {B}}{\boldsymbol {A}}$.
• Determinant matice ${\boldsymbol {A}}$ má v okruhu $R$ inverzní prvek.
• Pro všechny $b\in R^{n}$ existuje právě jedno řešení $x\in R^{n}$ soustavy lineárních rovnic ${\boldsymbol {Ax}}={\boldsymbol {b}}$.
• Pro všechny $b\in R^{n}$ existuje alespoň jedno řešení $x\in R^{n}$ soustavy lineárních rovnic ${\boldsymbol {Ax}}={\boldsymbol {b}}$.
• Řádkové vektory tvoří bázi $R^{n}$.
• Řádkové vektory generují $R^{n}$.
• Sloupcové vektory tvoří bázi $R^{n}$.
• Sloupcové vektory generují $R^{n}$.
• Lineární zobrazení $R^{n}\to R^{n}$ dané předpisem ${\boldsymbol {x}}\to {\boldsymbol {Ax}}$, je surjektivní.
• Transponovaná matice ${\boldsymbol {A}}^{\mathrm {T} }$ je inverzní.

Podstatný rozdíl oproti tělesu spočívá v tom, že obecně surjektivita (a tedy i bijektivita) nevyplývá z injektivity lineárního zobrazení - například u zobrazení $\mathbb {Z} \to \mathbb {Z}$, daného předpisem $x\to 2x$.

Pro singulární matici ${\boldsymbol {A}}$ není splněna žádná z výše uvedených podmínek.

Vlastnosti

Hustota

Množina singulárních reálných matic řádu $n$ je nulová množina, neboli má Lebesgueovu míru nula. To plyne z toho, že singulární matice jsou kořeny funkce determinantu a ta je spojitá, neboť se jedná o polynom v prvcích matice. V jazyce teorie míry jsou proto téměř všechny matice řádu $n$ regulární.

Kromě toho tvoří regulární matice řádu $n$ hustou otevřenou množinou v topologickém prostoru všech matic řádu $n$. Množina singulárních matic je naopak uzavřená a řídká.

V praxi se však můžeme setkat se singulárními maticemi. V numerických výpočtech se mohou vyskytnout problematické matice, které jsou sice regulární, ale blízké singulární matici. Takové matrice se nazývají špatně podmíněné.

Počet regulárních matic nad tělesem zbytkových tříd

Matice s prvky z tělesa zbytkových tříd $\mathbb {Z} _{p}$ s prvočíslem $p$ je regulární právě tehdy, když jsou řádkové vektory lineárně nezávislé.

Pro těleso $\mathbb {Z} _{2}$ lze počet regulárních matic řádu $n$ vypočítat takto:

• Každý z $n$ prvků 1. řádku může nezávisle nabývat dvou hodnot. Nulový vektor je vyloučen. Pro 1. řádek proto existuje $2^{n}-1$ možností.
• Pro 2. řádek jsou vyloučeny všechny vektory, které jsou lineární kombinací 1. řádku, takže $2$ vektory. Pro 2. řádek existuje $2^{n}-2$ možností.
• Pro 3. řádek jsou vyloučeny všechny vektory, které jsou lineární kombinací 1. a 2. řádku, takže $2^{2}$ vektorů. Pro 3. řádek existuje $2^{n}-2^{2}$ možností.
• Obecně tedy pro řádek s indexem $k$ existuje $2^{n}-2^{k-1}$ možných hodnot. Pro všechny řádky matice tedy existuje celkem $(2^{n}-2^{0})(2^{n}-2^{1})(2^{n}-2^{2})\cdots (2^{n}-2^{n-1})$ možností.

Z uvedeného lze odvodit i podíl regulárních matic mezi všemi maticemi řádu $n$. Různých matic řádu $n$ je celkem $2^{n\cdot n}=2^{n^{2}}$ , protože každý z $n\cdot n=n^{2}$ prvků může nezávisle nabývat dvou hodnot. Podíl regulárních matic je

${\begin{aligned}&(2^{n}-2^{0})(2^{n}-2^{1})(2^{n}-2^{2})\cdots (2^{n}-2^{n-1})/2^{n\cdot n}\\&={\frac {2^{n}-2^{0}}{2^{n}}}\cdot {\frac {2^{n}-2^{1}}{2^{n}}}\cdot {\frac {2^{n}-2^{2}}{2^{n}}}\cdots {\frac {2^{n}-2^{n-1}}{2^{n}}}\\&=\left(1-{\frac {1}{2^{n}}}\right)\left(1-{\frac {1}{2^{n-1}}}\right)\left(1-{\frac {1}{2^{n-2}}}\right)\cdots \left(1-{\frac {1}{2^{1}}}\right)\\&=\prod _{k=1}^{n}\left(1-\left({\frac {1}{2}}\right)^{k}\right)\end{aligned}}$

Pro $n$ jdoucí k nekonečnu tento součin konverguje podle věty o pětiúhelníkových číslech $\left|{\tfrac {1}{2}}\right|<1$ ke konečné limitě, přibližné hodnoty 0,289.

Uvedený výpočet lze zobecnit pro těleso $\mathbb {Z} _{p}$ s libovolným prvočíslem $p$. Různých matic řádu $n$ je $p^{n\cdot n}=p^{n^{2}}$, z nichž $(p^{n}-p^{0})\cdot (p^{n}-p^{1})\cdot (p^{n}-p^{2})\cdot \ldots \cdot (p^{n}-p^{n-1})$ je regulárních. Podíl regulárních matic je $\prod _{k=1}^{n}\left(1-\left({\frac {1}{p}}\right)^{k}\right)$.

Odkazy

Reference

V tomto článku byly použity překlady textů z článků Invertible matrix na anglické Wikipedii a Reguläre Matrix na německé Wikipedii.

Literatura

• Slovník školské matematiky. Praha: SPN, 1981. 240 s. 

• BÄRTSCH, Hans-Jochen. Matematické vzorce. Praha: Academia, 2006. 832 s. ISBN 80-200-1448-9. Kapitola Matice, s. 180–198. 

• BEČVÁŘ, Jindřich. Lineární algebra. 1.. vyd. Praha: Matfyzpress, 2019. 436 s. ISBN 978-80-7378-392-1. 
• 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. 
• MOTL, Luboš; ZAHRADNÍK, Miloš. Pěstujeme lineární algebru [online]. [cit. 2023-02-20]. Dostupné online. 

Související články

• Inverzní matice
• Matice
• Regulární zobrazení

Portály: Matematika