Determinant (matematika)

Determinant matice ${\displaystyle \mathbf {A} }$ značíme v skrátenej forme, ktorá nešpecifikuje jej jednotlivé prvky ${\displaystyle \mathbf {a} _{ij}}$ nasledovným spôsobom:

${\displaystyle \det \mathbf {A} }$

V prípade explicitného vyjadrenia jednotlivých prvkov ${\displaystyle \mathbf {a} _{ij}}$ matice ${\displaystyle \mathbf {A} }$ používame nasledujúce značenie:

${\displaystyle {\begin{vmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{n1}&a_{n2}&\cdots &a_{nn}\end{vmatrix}}}$ ,

Ďalším zaužívaným spôsobom je nasledujúce označenie:

${\displaystyle {\begin{vmatrix}a_{ij}\end{vmatrix}}}$ .

Pre ľubovoľnú reálnu alebo komplexnú maticu ${\displaystyle \mathbf {A} =({a_{i}}_{j})\,}$ rozmeru ${\displaystyle n\times n}$ definujeme determinant nasledujúcim predpisom (nazývaným tiež Leibnizova formula):

${\displaystyle \det \mathbf {A} =\sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma )\prod _{i=1}^{n}{a}_{i,\sigma (i)}}$

Znak ${\displaystyle \sum _{\sigma \in S_{n}}}$ znamená sumu cez všetky permutácie ${\displaystyle \sigma }$ čísel ${\displaystyle {1,2,\cdots ,n}}$ . Znakom ${\displaystyle \operatorname {sgn}(\sigma )}$ označujeme znamienko permutácie ${\displaystyle \sigma }$ . Znamienko permutácie nadobúda hodnotu +1 pre párne permutácie a −1 pre nepárne permutácie. Z dôvodu sčítania cez všetky permutácie čísel ${\displaystyle {1,2,\cdots ,n}}$ sa v Leibnitzovej formule vyskytuje ${\displaystyle n!}$ sčítancov (každý zodpovedá práve jednej permutácii). V praxi sa preto pre matice vyšších rádov používajú rôzne výpočetné algoritmy.

Hore uvedená definícia sa veľakrát prepisuje pomocou všeobecného Levi-Civitovho symbolu ${\displaystyle \varepsilon _{j_{1}j_{2}\cdots j_{n}}}$ :

${\displaystyle \det \mathbf {A} =\sum _{j_{1},j_{2},...,j_{n}}\varepsilon _{j_{1}j_{2}\cdots j_{n}}a_{1j_{1}}a_{2j_{2}}\cdots a_{nj_{n}}=\sum _{j_{1},j_{2},...,j_{n}}\varepsilon _{j_{1}j_{2}\cdots j_{n}}a_{j_{1}1}a_{j_{2}2}\cdots a_{j_{n}n}}$

Matica rádu jedna (teda rozmeru 1×1) pozostáva z jediného čísla ${\displaystyle \mathbf {{a_{1}}_{1}} }$ . Determinant matice prvého rádu je preto rovný práve tomuto prvku:

${\displaystyle \det \mathbf {A} ={a_{1}}_{1}\,}$

Pre maticu rádu dva (teda rozmeru 2×2) vedie obecná definícia k nasledujúcemu vzorcu:

${\displaystyle \det \mathbf {A} ={a_{1}}_{1}{a_{2}}_{2}-{a_{2}}_{1}{a_{1}}_{2}\,}$

Maticu rádu tri (teda rozmeru 3×3) je možné indexovať troma číslami: 1, 2 a 3. Výsledný vzorec bude preto obsahovať šesť sčítancov, pretože podľa definície sumujeme cez všetky permutácie takýchto indexov:

${\displaystyle \det \mathbf {A} ={a_{1}}_{1}{a_{2}}_{2}{a_{3}}_{3}+{a_{1}}_{3}{a_{2}}_{1}{a_{3}}_{2}+{a_{1}}_{2}{a_{2}}_{3}{a_{3}}_{1}-{a_{1}}_{3}{a_{2}}_{2}{a_{3}}_{1}-{a_{1}}_{1}{a_{2}}_{3}{a_{3}}_{2}-{a_{1}}_{2}{a_{2}}_{1}{a_{3}}_{3}\,}$

Vhodnou mnemotechnickou pomôckou pre výpočty podľa vyššie uvedeného vzorca sa ukazuje byť takzvané Sarrusovo pravidlo.

Determinant môžeme vypočítať viacerými spôsobmi.

Sarrusovo pravidlo má viacero podôb. Všeobecne (a najčastejšie) sa využíva pre počítanie determinantu matíc typu 3 x 3.

Postup: K matici pripíšeme na pravú stranu ešte raz jej prvý a druhý stĺpec v tomto poradí. Potom vyrátame všetky diagonálne súčiny, ktoré majú po tri činitele. Spolu je takýchto súčinov šesť. Výslednú sumu tvorí súčet týchto šiestich súčinov, pričom zo znamienkom "+" sú tie tri z nich, ktoré sú rovnobežné s hlavnou diagonálou, so znamienkom "-" sú zvyšné tri z nich, tj. tie, ktoré sú rovnobežné s vedľajšou diagonálou.

Názorná schéma:

${\displaystyle {\begin{matrix}a_{11}&a_{12}&a_{13}&a_{11}&a_{12}\\a_{21}&a_{22}&a_{23}&a_{21}&a_{22}\\a_{31}&a_{32}&a_{33}&a_{31}&a_{32}\end{matrix}}}$

Teda:
${\displaystyle a_{11}a_{22}a_{33}+a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32}-a_{13}a_{22}a_{31}-a_{11}a_{23}a_{32}-a_{12}a_{21}a_{33}}$

Majme štvorcovú maticu ${\displaystyle A=(a_{ij})\in M_{n,n}(R)}$ . Potom pre každé ${\displaystyle t\in {1,...,n}}$ existuje nasledujúce vyjadrenie rozvoja determinantu matice A podľa t-teho riadka:

${\displaystyle \det(A)=\sum _{k=1}^{n}a_{tk}(-1)^{t+k}\det(M_{tk})}$

pričom matica ${\displaystyle M_{tk}}$ je matica, ktorá vznikne z matice A vynechaním t-teho riadka a k-teho stĺpca.Analogicky sa dá odvodiť vzorec pre rozvoj determinantu podľa t-teho stĺpca:

${\displaystyle \det(A)=\sum _{k=1}^{n}a_{kt}(-1)^{k+t}\det(M_{kt})}$

pričom matica ${\displaystyle M_{kt}}$ je matica, ktorá vznikne z matice A vynechaním k-teho riadka a t-teho stĺpca.

Nech je daná matica ${\displaystyle A=(a_{ij})\in M_{n,n}(R)}$ . Pevne zvoľme čísla ${\displaystyle i_{1},...,i_{k}}$ (kde k je ľubovoľné, pevne zvolené číslo z množiny {1, ..., n - 1}) také, že: ${\displaystyle i_{1}<i_{2}<...<i_{k}}$ .

Potom:

${\displaystyle \det(A)=\sum _{1\leq {j}_{1}<...<j_{k}\leq n}\det(A_{j_{1},...,j_{k}}^{i_{1},...,i_{k}})\cdot (-1)^{i_{1}+...+i_{k}+j_{1}+...+j_{k}}\cdot \det(M_{j_{1},...,j_{k}}^{i_{1},...,i_{k}})}$

kde:

• ${\displaystyle A_{j_{1},...,j_{k}}^{i_{1},...,i_{k}}}$ je podmatica matice ${\displaystyle A=(a_{ij}\in M_{n,n}(R))}$ typu k x k, ktorá je tvorená prvkami ležiacimi na priesečníkoch riadkov s indexami ${\displaystyle i_{1},...,i_{k}}$ a stĺpcov s indexami ${\displaystyle j_{1},...,j_{k}}$ (pričom platí: ${\displaystyle j_{1}<j_{2}<...<j_{k}}$ ).
• ${\displaystyle M_{j_{1},...,j_{k}}^{i_{1},...,i_{k}}}$ je matica typu (n-k) x (n-k), ktorá je vytvorená z matice A vynechaním riadkov s indexami ${\displaystyle i_{1},...,i_{k}}$ a stĺpcov s indexami ${\displaystyle j_{1},...,j_{k}}$
• Algebrický doplnok determinantu ${\displaystyle \det(A_{j_{1},...,j_{k}}^{i_{1},...,i_{k}})}$ je prvok takéhoto tvaru: ${\displaystyle (-1)^{i_{1}+...+i_{k}+j_{1}+...+j_{k}}\cdot \det(M_{j_{1},...,j_{k}}^{i_{1},...,i_{k}})}$

• Pre každú štvorcovú maticu ${\displaystyle A=M_{n,n}(R)}$ platí, že determinant matice sa rovná determinantu transponovanej matici, teda ${\displaystyle \det(A)=\det(A^{T})}$

• Ak matica B vznikne z matice ${\displaystyle A=M_{n,n}(R)}$ vzájomnou výmenou dvoch riadkov (resp. vzájomnou výmenou dvoch stĺpcov), potom determinant výslednej matice B sa rovná zápornej hodnote determinantu matice A, teda

${\displaystyle \det(B)=-\det(A)}$

• Nech ${\displaystyle A=(a_{ij})}$ je štvorcová matica stupňa n nad daným poľom R. Potom pre každé ${\displaystyle r,s\in {1,...,n}}$ existuje algebrický doplnok ${\displaystyle A_{rs}}$ a má tvar:

${\displaystyle A_{rs}=(-1)^{r+s}\det(M_{rs})}$

pričom ${\displaystyle M_{rs}}$ je štvorcová matica typu ${\displaystyle (n-1)\times (n-1)}$ , ktorá vznikne z matice A vynechaním r-tého riadka a s-tého stĺpca.

• Ak matica ${\displaystyle A=(a_{ij})\in M_{n,n}(R)}$ (${\displaystyle n\geq 2}$ ) má dva riadky (resp. dva stĺpce) rovnaké, tak:

${\displaystyle \det(A)=0}$

• Ak matica B vznikne z matice ${\displaystyle A=(a_{ij})\in M_{n,n}(R)}$ tak, že jeden riadok (resp. jeden stĺpec) v A vynásobíme ${\displaystyle \delta \in R}$ , tak:

${\displaystyle \det(B)=\delta \det(A)}$

• Nech sú dané dve matice: ${\displaystyle A=(a_{ij})}$ , ${\displaystyle B=(B_{ij})\in M_{n,n}(R)}$ . Ak sa tieto dve matice líšia len v niektorom k-tom riadku, pre niektoré ${\displaystyle k\in {1,...,n}}$ , tak potom platí:

${\displaystyle \det(A)+\det(B)=\det {\begin{pmatrix}a_{11}&...&a_{1n}\\...&...&...\\a_{k-1,1}&...&a_{k-1,n}\\a_{k1}+b_{k1}&...&a_{kn}+b_{kn}\\a_{k+1,1}&...&a_{k+1,n}\\...&...&...\\a_{n1}&...&a_{nn}\end{pmatrix}}}$

• Ak je v matici ${\displaystyle A\in M_{n,n}(R)}$ aspoň jeden riadok (resp. stĺpec) nulový tak platí:

${\displaystyle \det(A)=0}$

• Majme maticu ${\displaystyle A=(a_{ij})\in M_{n,n}(R)}$ , (${\displaystyle n\geq 2}$ ). Ak matica B vznikne z matice A prirátaním ${\displaystyle \alpha }$ -násobku (${\displaystyle \alpha \in R}$ ) hociktorého riadka (resp. stĺpca) k inému riadku (resp. stĺpcu) v A. Potom platí:

${\displaystyle \det(B)=\det(A)}$

• Matica (matematika)
• Lineárny priestor

• Commons ponúka multimediálne súbory na tému Determinant (matematika)

• KORBAŠ, Július. Lineárna algebra a geometria I. [s.l.] : Vydavateľstvo U, Univerzita Komenského v Bratislave, Prvé vydanie, 2003.

• Operace s maticemi v R (determinant, stopa, inverzní, adjungovaná, transponovaná) Aplikácia, ktorá vypočíta determinant z matice rádu 2-8
• Determinant (matematika)