Matice

Matice typu m \times n: obsahuje m vodorovných řádků a n svislých sloupců. Prvky matice se značí proměnnou se dvěma dolními indexy. Například a_{21} představuje prvek na druhém řádku a v prvním sloupci matice. Matice je v matematice obdélníkové či čtvercové schéma čísel nebo nějakých matematických objektů - prvků matice (též elementů matice).

Nejsou-li uvedeny další podrobnosti, reprezentují matice lineární zobrazení a umožňují provádět výpočty v lineární algebře. Proto je studium matic podstatnou částí lineární algebry. +more Většinu vlastností a operací abstraktní lineární algebry lze vyjádřit pomocí matic. Například maticový součin odpovídá skládání lineárních zobrazení.

Část matematiky, která využívá matice, je označována jako maticový počet.

Ne všechny matice souvisí s lineární algebrou, například matice incidence a matice sousednosti v teorii grafů. Tento článek se zaměřuje na matice související s lineární algebrou, a pokud není uvedeno jinak, všechny matice představují lineární zobrazení nebo je za takové lze považovat.

Čtvercové matice, matice se stejným počtem řádků a sloupců, hrají podstatnou roli v teorii matic. Čtvercové matice dané dimenze tvoří nekomutativní okruh, což je jeden z nejběžnějších příkladů nekomutativního okruhu. +more Determinant čtvercové matice je číslo spojené s maticí, které je zásadní pro studium čtvercových matic; například čtvercová matice je regulární, právě když má nenulový determinant. Vlastní čísla čtvercové matice jsou kořeny charakteristického polynomu, který je definován pomocí determinantu.

V geometrii jsou matice používány pro popis a reprezentaci geometrických transformací (například rotací) a změn souřadnic . V numerické analýze je mnoho výpočetních problémů redukováno na maticový výpočet, což často vyžaduje výpočet na počítači s maticemi velkých rozměrů. +more Matice se používají ve většině oblastí matematiky a ve většině vědeckých oborů, a to buď přímo, nebo prostřednictvím jejich použití v geometrii a numerické analýze.

Matice se často využívají pro vyjádření obecné rotace vektorů, transformace vektorů od jedné báze k bázi jiné, k řešení soustav lineárních rovnic, či k vyjádření operátorů v kvantové mechanice. Schopnost matic vyjadřovat vztahy mezi vektory se využívá v materiálovém inženýrství při studiu anizotropních materiálů.

Definice

Matice je obdélníkové schéma čísel (nebo jiných matematických objektů), nazývané prvky matice. Nejčastěji je matice vybudována nad nějakým algebraickým tělesem K. +more Reálné a případně komplexní matice jsou matice, jejichž položky jsou reálná nebo komplexní čísla. Ukázkou reálné matice je: :\boldsymbol{A} = \left(\begin{array}{rr} -1,3 & 0,6 \\ 20,4 & 5,5 \\ 9,7 & -6,2 \end{array}\right).

Čísla, symboly nebo výrazy v matici se nazývají její prvky. Vodorovné a svislé posloupnosti prvků matice se nazývají řádky a sloupce.

Rozměr

Rozměr matice je definován počtem řádků a sloupců, které obsahuje. Neexistuje žádné omezení počtu řádků a sloupců, které může matice (v obvyklém smyslu) mít, pokud se jedná o kladná celá čísla. +more Obsahuje-li matice m řádků a n sloupců, hovoříme pak o matici typu m \times n, zatímco m a n se nazývají její rozměry. Například matice \boldsymbol{A} výše je matice typu 3 \times 2.

Matice typu 1 \times n je tvořena jedním řádkem a bývá nazývána řádkový vektor případně řádková matice. Matice s jedním sloupcem se nazývá (sloupcový) vektor, případně sloupcová matice.

Je-li n = m, pak matici označujeme jako čtvercovou matici n-tého řádu (stupně). Pro n \neq m bývá matice označována jako obdélníková.

Jsou-li m i n konečná čísla, označujeme matici jako konečnou. Matice s nekonečným počtem řádků nebo sloupců (nebo obojí) se nazývá nekonečná matice. +more V některých kontextech je užitečné dodefinovat i matici bez řádků nebo sloupců, nazývanou prázdná matice.

Značení

Maticová notace se značně liší. Matice jsou běžně psány v oblých či hranatých závorkách, takže matici \boldsymbol{A} typu m \times n lze zapsat

\boldsymbol{A} = \begin{pmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \end{pmatrix} = \begin{bmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \end{bmatrix} = \begin{pmatrix} {a^1}_1 & {a^1}_2 & \dots & {a^1}_n\\ {a^2}_1 & {a^2}_2 & \dots & {a^2}_n \\ \vdots & \vdots & \ddots & \vdots \\ {a^m}_1 & {a^m}_2 & \dots & {a^m}_n \end{pmatrix}.

Matice jsou v učebnicích a technické matematice zpravidla značeny velkými tučnými písmeny\boldsymbol{A} , \mathbf A apod. Ve vyšší matematice a odborné matematické literatuře se od zvýrazňování zpravidla upouští a matice se značí tence, např. +more A nebo \mathsf A.

Jsou-li rozměry matice zřejmé, je možné použít jednoduchého zápisu :\boldsymbol{A} = (a_{i,j}). Potřebujeme-li zdůraznit počet řádků a sloupců, lze také použít zápis :\boldsymbol{A} = {(a_{i,j})}_{m,n} nebo \boldsymbol{A} = (a_{i,j})\in \mathbb R^{m\times n}.

Prvky matice jsou označeny indexy udávajícími řádek a sloupec, v nichž se prvek nalézá. Prvek v i-tém řádku a j-tém sloupci matice \boldsymbol{A} se obvykle značí a_{ij}, případně (\boldsymbol{A})_{ij}. +more Druhá notace se používá, zejména je-li matice popsána složitějším výrazem, např. pomocí maticových operací. Nyní i-tý řádek matice obsahuje vodorovnou n-tici prvků (a_{i1}, a_{i2}, . , a_{in})\,, kde i = 1, 2, . , m a j-tý sloupec matice obsahuje svislou m-tici čísel (a_{1j}, a_{2j}, . , a_{mj})\,, kde j = 1, 2, . , n .

Např. a_{53} leží v pátém řádku a třetím sloupci. +more Indexy se píší buďto oba dole jako a_{53}, nebo první nahoře a druhý dole jako {a^5}_3, což má význam, jakmile je potřeba rozlišovat kovariantní a kontravariantní indexy, zejména operujeme-li s maticemi jako s tenzory.

Tvoří-li indexy více než dva symboly, je třeba je oddělit čárkou, např. a_{1,11} nebo a_{i,jk}.

Ukázka

Matice

:\begin{pmatrix} 1 & 2 & 3 \\ 1 & 2 & \color{red}7 \\ 4 & 9 & 2 \\ 6 & 1 & 5 \end{pmatrix}

je obdélníková matice typu 4 \times 3. Prvek matice a_{23} nebo {a^2}_3 je 7.

Pokud jsou všechny prvky matice nulové, tzn. a_{ij} = 0 pro všechna i, j, označujeme matici jako nulovou.

Operace s maticemi

Součet, skalární násobek a transpozice

Operace	Definice	Příklad
Součet	Součet \boldsymbol{A}+\boldsymbol{B} dvou matic \boldsymbol{A} a \boldsymbol{A} typu m \times n je matice typu m \times n, přičemž sčítání probíhá po složkách: :(\boldsymbol{A}+\boldsymbol{B})_{ij}=a_{ij}+b_{ij} pro 1 \le i \leq m a 1 \le j \leq n.	\begin{pmatrix} 1 & 3 & 1 \\ 1 & 0 & 0 \end{pmatrix} + \begin{pmatrix} 0 & 0 & 5 \\ 7 & 5 & 0 \end{pmatrix} = \begin{pmatrix} 1+0 & 3+0 & 1+5 \\ 1+7 & 0+5 & 0+0 \end{pmatrix} = \begin{pmatrix} 1 & 3 & 6 \\ 8 & 5 & 0 \end{pmatrix}
Skalární násobek	\alpha-násobek matice \boldsymbol{A}, pro číslo \alpha (nazývané skalár) a matici \boldsymbol{A}, se spočítá vynásobením každého prvku matice \boldsymbol{A} číslem \alpha: :(\alpha\boldsymbol{A})_{ij}=\alpha a_{ij}	2 \cdot \begin{pmatrix} 1 & 8 & -3 \\ 4 & -2 & 5 \end{pmatrix} = \begin{pmatrix} 2 \cdot 1 & 2\cdot 8 & 2\cdot (-3) \\ 2\cdot 4 & 2\cdot(-2) & 2\cdot 5 \end{pmatrix} = \begin{pmatrix} 2 & 16 & -6 \\ 8 & -4 & 10 \end{pmatrix}
Transpozice	Transpozicí matice \boldsymbol{A} typu m \times n získáme transponovanou matici \boldsymbol{A}^{\mathrm T} typu n \times m, která vznikne záměnou řádků a sloupců: :(\boldsymbol{A}^{\mathrm T})_{ij}=a_{ji}. +more	\begin{pmatrix} 1 & 2 & 3 \\ 0 & -6 & 7 \end{pmatrix}^\mathrm{T} = \begin{pmatrix} 1 & 0 \\ 2 & -6 \\ 3 & 7 \end{pmatrix}

.

Schéma součinu \boldsymbol{A}\boldsymbol{B} dvou matic \boldsymbol{A} a \boldsymbol{B}.

Součin matic

Součin dvou matic je definován pouze pokud má levá matice stejný počet sloupců jako má pravá matice řádků. Pokud je \boldsymbol{A} matice typu m \times n a \boldsymbol{B} je matice typu n \times p, pak jejich součin \boldsymbol{A}\boldsymbol{B} je matice typu m \times p, jejíž prvky jsou standardním skalárním součinem příslušného řádku \boldsymbol{A} a příslušného sloupce \boldsymbol{B} :(\boldsymbol{AB})_{ij} = a_{i1}b_{1j} + a_{i2}b_{2j} + \cdots + a_{in}b_{nj} = \sum_{k=1}^n a_{ik}b_{kj}, :kde 1 \le i \leq m a 1 \le j \leq p.

Například zvýrazněný prvek \color{green}2340 součinu se spočítá jako ({\color{red}2} \cdot {\color{blue}1000}) + ({\color{red}3} \cdot {\color{blue}100}) + ({\color{red}4} \cdot {\color{blue}10}) = {\color{green}2340}:

: \begin{align} \begin{pmatrix} \color{red}2 & \color{red} 3 & \color{red} 4 \\ 1 & 0 & 0 \\ \end{pmatrix} \begin{pmatrix} 0 & \color{blue}1000 \\ 1 & \color{blue}100 \\ 0 & \color{blue}10 \\ \end{pmatrix} &= \begin{pmatrix} 3 & \color{green}2340 \\ 0 & 1000 \\ \end{pmatrix}. \end{align}

Maticový součin je asociativní, neboli splňuje rovnost (\boldsymbol{A}\boldsymbol{B})\boldsymbol{C}=\boldsymbol{A}(\boldsymbol{B}\boldsymbol{C}). Je také distributivní vůči součtu zleva i zprava, čili (\boldsymbol{A}+\boldsymbol{B})\boldsymbol{C}=\boldsymbol{A}\boldsymbol{C}+\boldsymbol{B}\boldsymbol{C}) a \boldsymbol{A}(\boldsymbol{B}+\boldsymbol{C})=\boldsymbol{A}\boldsymbol{B}+\boldsymbol{A}\boldsymbol{C}), pokud mají matice takové rozměry, aby součiny byly definovány.

Součin \boldsymbol{A}\boldsymbol{B} může být definován, aniž by měl smysl součin \boldsymbol{B}\boldsymbol{A}, a o v případě, pokud \boldsymbol{A} a \boldsymbol{B} jsou matice typu m \times n a n \times p, kde m \ne p. I když jsou oba součiny definovány, nemusí být stejné, neboli existují příklady matic, pro něž platí :\boldsymbol{A}\boldsymbol{B}\ne\boldsymbol{B}\boldsymbol{A}

Maticový součin není komutativní, na rozdíl od součinu (racionálních, reálných, nebo komplexních) čísel. Příklad dvou matic, jejichž součin nekomutuje: :\begin{pmatrix} 1 & 2\\ 3 & 4\\ \end{pmatrix}

\begin{pmatrix} 0 & 1\\ 0 & 0\\ \end{pmatrix}= \begin{pmatrix} 0 & 1\\ 0 & 3\\ \end{pmatrix}, zatímco :\begin{pmatrix} 0 & 1\\ 0 & 0\\ \end{pmatrix}

\begin{pmatrix} 1 & 2\\ 3 & 4\\ \end{pmatrix}= \begin{pmatrix} 3 & 4\\ 0 & 0\\ \end{pmatrix}.

Mimo obvyklý maticový součin existují ještě jiné operace s maticemi, které lze považovat za určitý druh součinu, jako například Hadamardův součin anebo Kroneckerův součin.

Další operace s maticemi

Rovnost

O dvou maticích \boldsymbol{A} a \boldsymbol{B} prohlásíme, že jsou si rovny, pokud jsou stejného typu (stejný počet řádků i sloupců) a každý prvek a_{ij} matice \boldsymbol{A} je roven odpovídajícímu prvku b_{ij} matice \boldsymbol{A}. Rovnost zapíšeme :\boldsymbol{A} = \boldsymbol{B}

Rozdíl

Rozdíl dvou matic \boldsymbol{A} a \boldsymbol{B} (stejného typu) je nová matice \boldsymbol{A}: :\boldsymbol{R} = \boldsymbol{A} - \boldsymbol{B}= \boldsymbol{A} + (-1\boldsymbol{B}) Prvky matice \boldsymbol{R} jsou pak určeny vztahem :r_{ij} = a_{ij} - b_{ij} \,

Lineární kombinace

Obecně lze pro matice \boldsymbol{A}, \boldsymbol{B}, . , které jsou stejného typu, definovat lineární kombinaci matic :\boldsymbol{L} = \lambda \boldsymbol{A} + \mu \boldsymbol{B} + . +more, :kde prvky matice \boldsymbol{L} určuje výraz :l_{ij} = \lambda a_{ij} + \mu b_{ij} + .

Mocnina

Opakovaným součinem čtvercové matice \boldsymbol{A} se samou sebou lze vytvářet mocniny matic \boldsymbol{A}^k. Tyto mocniny lze poté využít při zápisu polynomu :P(\boldsymbol{A}) = c_0 \mathbf{I}+ c_1 \boldsymbol{A} + c_2 \boldsymbol{A}^2 + \dots + c_n \boldsymbol{A}^n, kde \mathbf{I} je jednotková matice stejného typu jako \boldsymbol{A}.

Řádkové operace

 S maticemi lze provádět následující elementární řádkové operace: * součet, neboli přičtení nějakého řádku k jinému, * vynásobení řádku, resp. všech prvků v řádku, nenulovou konstantou. +more Z těchto dvou operací lze odvodit i * záměnu pořadí řádků, * přičtení násobku řádku k jinému. Zmíněné řádkové operace se používají v řadě situací včetně řešení soustav lineárních rovnic (neboť zachovávají množinu řešení) a výpočtu inverzní matice.

Podobným způsobem lze definovat i sloupcové operace.

Podmatice

Podmatice se z matice získá odstraněním libovolně mnoha řádků anebo sloupců. Například odebrání třetího řádku a druhého sloupce z následující matice řádu 3 \times 4 dává podmatici řádu 2 \times 3 :

: \boldsymbol{A}=\begin{pmatrix} 1 & \color{red}{2} & 3 & 4 \\ 5 & \color{red}{6} & 7 & 8 \\ \color{red}{9} & \color{red}{10} & \color{red}{11} & \color{red}{12} \end{pmatrix} \rightarrow \begin{pmatrix} 1 & 3 & 4 \\ 5 & 7 & 8 \end{pmatrix}.

Determinanty určitých podmatic se nazývají minory a kofaktory.

Hlavní podmatice je čtvercová podmatice získaná odstraněním určitých řádků a sloupců. Definice se liší od autora k autorovi. +more Podle některých autorů je hlavní podmatice taková podmatice, ve které se shodují indexy ponechaných řádků s indexy ponechaných sloupců. Jiní autoři považují za hlavní podmatice jen takové, ve kterých je ponecháno jen několik prvních řádků a odpovídajících sloupců. Uvedený typ podmatice bývá také nazýván vedoucí hlavní podmatice.

Lineární zobrazení

Vektory reprezentované maticí typu 2 \times 2 odpovídají stranám jednotkového čtverce transformovaného do rovnoběžníku.

Podstatné vlastnosti matic a maticového součinu vynikají v kontextu lineárních zobrazení, nazývaných též lineární transformace. Reálná matice \boldsymbol A typu m \times nurčuje lineární zobrazení \mathbb R^n → \mathbb R^m tím, že vektor \boldsymbol x \in\mathbb \R^n zobrazí maticovým součinem na vektor \boldsymbol{Ax}\in \mathbb R^m. +more Na druhou stranu, každé lineární zobrazení f: \mathbb R^n \to \mathbb R^m je určeno jednoznačně maticí \boldsymbol A typu m \times n. Konkrétně prvek a_{ij} je i-tou souřadnicí vektoru f(\mathbf e_j), kde \mathbf e_j =(0,. ,0,1,0,. ,0)^\mathsf{T} je jednotkový vektor s 1 na j-té pozici a nulami jinde. O matici \boldsymbol A se říká, že reprezentuje lineární zobrazení f, a \boldsymbol A se nazývá transformační matice zobrazení f.

Například na čtvercovou matici : \boldsymbol A = \begin{pmatrix} a & c\\b & d \end{pmatrix}

lze pohlížet jako na zobrazení, které transformuje jednotkový čtverec na rovnoběžník s vrcholy v (0, 0), (a, b), (a + c, b + d) a (c, d) . Rovnoběžník zobrazený vpravo se získá postupným součinem matice \boldsymbol A se sloupcovými vektory \begin{pmatrix} 0 \\ 0 \end{pmatrix}, \begin{pmatrix} 1 \\ 0 \end{pmatrix} , \begin{pmatrix} 1 \\ 1 \end{pmatrix} a \begin{pmatrix}0 \\ 1\end{pmatrix}. +more (Tyto vektory jsou vrcholy jednotkového čtverce. ).

Následující tabulka předvádí několik matic 2 \times 2 s příslušnými lineárními zobrazeními v \mathbb R^2. Obrazem modrého originálu jsou zelená mřížka a zelené obrazce. +more Počátek (0,0) je vyznačen černou tečkou.

Vodorovné zkosení s faktorem m = 1,25	Osová souměrnost podél svislé osy	Transformace zachovávající plochu s faktorem r = 3/2	Škálování faktorem 3/2	Otáčení o π /6 = 30°
\begin{pmatrix} 1 & 1. 25 \\ 0 & 1 \end{pmatrix}	\begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix}	\begin{pmatrix} \frac{3}{2} & 0 \\ 0 & \frac{2}{3} \end{pmatrix}	\begin{pmatrix} \frac{3}{2} & 0 \\ 0 & \frac{3}{2} \end{pmatrix}	\begin{pmatrix} \cos\left(\frac{\pi}{6}\right) & -\sin\left(\frac{\pi}{6}\right) \\ \sin\left(\frac{\pi}{6}\right) & \cos\left(\frac{\pi}{6}\right) \end{pmatrix}
%" |175x175pixelů	%" |150x150pixelů	%" |150x150pixelů	%" |125x125pixelů	%" |125x125pixelů

Vzhledem k vzájemně jednoznačnému vztahu mezi maticemi a lineárními zobrazeními odpovídá maticový součin skládání zobrazení: Jestliže matice \boldsymbol B typu k \times m představuje lineární zobrazení g: \mathbb R^m\to \mathbb R^k, pak složení g \circ f je reprezentováno \boldsymbol{BA}, protože (g\circ f)(\boldsymbol x)=g (f (\boldsymbol x )) = g (\boldsymbol{Ax}) = \boldsymbol B (\boldsymbol{Ax}) = (\boldsymbol{BA}) \boldsymbol x .

Poslední rovnost vyplývá z asociativity maticového součinu.

Vlastnosti a základní pojmy

+more5'>Červeně je značena hlavní diagonála (d), žlutě vedlejší diagonála (v), zeleně horní sekundární diagonála (h) a fialově dolní sekundární diagonála (s). .

Diagonála matice

Prvky a_{11}, a_{22}, a_{33}, . , a_{nn} čtvercové matice \boldsymbol{A} řádu n tvoří její hlavní diagonálu. +more Jinými slovy, hlavní diagonála obsahuje prvky a_{ij}, kde i = j.

Prvky a_{1n}, a_{2,n-1}, a_{3,n-2}, . , a_{n1} pak leží na tzv. +more vedlejší diagonále,. Vedlejší diagonála je tvořena všemi prvky a_{ij}, kde j = (n - i) + 1.

Pro prvky bezprostředně sousedící s hlavní diagonálou, se také používá termín sekundární diagonála, např. u blokových tridiagonálních matic. +more Horní sekundární diagonálu čtvercové matice \boldsymbol{A} řádu n tvoří prvky a_{12}, a_{23}, . , a_{n-1,n} a dolní sekundární diagonálu tvoří prvky a_{21}, a_{32}, . , a_{n,n-1}.

Pokud se hovoří jen o diagonále matice, je tím obvykle myšlena hlavní diagonála.

Hodnost matice

Hodnost matice se dá definovat jako počet lineárně nezávislých řádků (předpokládáme, že prvky matice jsou prvky nějakého tělesa). Platí, že počet lineárně nezávislých sloupců matice je stejný jako počet lineárně nezávislých řádků. +more Hodnost matice je též rovna dimenzi prostoru obrazů lineárního zobrazení reprezentovaného maticí \boldsymbol A .

Algebraické vlastnosti prostorů matic

Obvykle se předpokládá, že prvky matice jsou z nějakého okruhu nebo tělesa. Označme jej K (obvykle K=\mathbb{R} nebo \mathbb{C}). +more Množina všech čtvercových matic n\times n tvoří asociativní algebru, která se nazývá maticová algebra, značí se M(n,K), \mathrm{Mat}(n,K), nebo M^{n,n} apod. Pro n>1 je nekomutativní a její centrum je izomorfní K (je tvořeno násobky jedničkové matice). Je jednoduchá, tj. nemá žádné netriviální oboustranné ideály. Navíc každá konečně rozměrná jednoduchá asociativní algebra (nad nějakým tělesem) je izomorfní maticové algebře. Každá volba báze n-dimenzionálního prostoru V nám dává izomorfizmus \mathrm{Mat}(n)\simeq \mathrm{End}(V). Jediná ireducibilní reprezentace této asociativní algebry je její definující reprezentace na V.

Matice je invertovatelná, právě když její determinant je nenulový (toto má smysl, i kdyby byly prvky matice z obecného komutativního okruhu, a analogické tvrzení lze zformulovat i v kvaternionových maticích).

Množina všech regulárních (tj. invertovatelných) matic tvoří grupu, která se označuje GL(n,K). +more Pro K=\mathbb{C}, \mathbb{R} je reduktivní. Její jednoduchá podgrupa je grupa matic s jedničkovým determinantem SL(n,K).

Důvod dvojího značení

Matice se obvykle používají k zápisu lineárních zobrazení mezi vektorovými prostory. Předpokládejme, že matice \boldsymbol{A}=(a^i_{\,\,j}) přiřadí vektoru \boldsymbol{v}, který má souřadnice (v nějaké bázi) v^j vektor, který má (v nějaké bázi cílového prostoru) souřadnice w^i=\sum_{j} a^i_{\,\,j} v^j (symbolicky \boldsymbol{Av}=\boldsymbol{w}).

Užíváme-li matice k operaci s vektory v Euklidovském prostoru, nebo kdykoliv se příslušný skalární součin chová stejně jako v Euklidovském prostoru a předpokládáme, že jediné změny souřadnicových systémů, které uvažujeme, jsou rotace a zrcadlení, pak není potřeba rozlišovat polohu indexů a řádkové a sloupcové vektory lze mezi sebou libovolně zaměňovat. Jakmile se však skalární součin chová jinak (např. +more Diracova notace v kvantové mechanice), anebo uvažujeme i jiné transformace souřadnic než rotace a zrcadlení, pak se při přechodu do jiných souřadnic typicky jinak transformují vektory jako duální vektory. Sloupce matice se chovají jako vektory, kdežto řádky matice jako duální vektory, neboli lineární formy. Ve fyzice se pak obvykle souřadnice vektorů píšou nahoru a souřadnice duálních vektorů dolů.

Tento koncept lze matematicky formalizovat, pokud řekneme, že matice je prvek prostoru \mathrm{End}(V,W) zapsán v nějakých bázích {v_i}, {w_j} prostorů V, W. Protože ale \mathrm{End}(V,W)\simeq V^*\otimes W, můžeme chápat matici jako tenzor typu (1,1) a u tenzorů se píšou kovariantní složky dolů a kontravariantní nahoru. +more Pak se matice bude při přechodu k novým souřadnicím v prostorech V a W transformovat „správně“.

Matice ale nereprezentují jen lineární zobrazení mezi vektorovými prostory. Do matice se taky dá zapsat bilineární forma, která dvěma vektorům přiřadí číslo. +more Pak to odpovídá tenzoru typu (0,2) a při přechodu do jiných souřadnic se transformuje jako tenzor typu (0,2). V tomto případě bychom prvky matice značili ( a_{ij}) (oba indexy dolů).

Pokud však matice reprezentuje něco jiného (třeba systém lineárních rovnic, na který se nemusíme dívat jako na maticovou rovnici a nepotřebujeme vědět, jak se transformuje při změně souřadnic), pak nemá smysl horní a dolní indexy rozlišovat.

Čtvercové matice

Čtvercová matice je matice se stejným počtem řádků a sloupců. Matice typu n\times n se stručně nazývají matice řádu n. +more * Matici, která má nenulové prvky pouze na hlavní diagonále, tzn. a_{ij} = 0 pro i \neq j, nazýváme diagonální maticí. Prvky diagonální matice \boldsymbol{D} lze vyjádřit pomocí Kroneckerova symbolu d_{ij} = \lambda_i \delta_{ij} \,, kde \lambda_i = d_{ii}\, jsou diagonální prvky matice. Pokud pro všechny diagonální prvky \lambda_i diagonální matice platí \lambda_i = 1 \,, jedná se o jednotkovou matici \mathbf{I}, pro jejíž prvky platí e_{ij} = \delta_{ij} * Matici, která má všechny prvky pod hlavní diagonálou nulové, označujeme jako horní trojúhelníkovou matici. Taková matice má tvar :\begin{pmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ 0 & a_{22} & \cdots & a_{2n} \\ \vdots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & a_{nn} \end{pmatrix} * Podobně označujeme jako dolní trojúhelníkovou matici takovou matici, která má všechny prvky nad diagonálou nulové. * Pokud je transponovaná matice shodná s původní maticí, tzn. \boldsymbol{A}^{\mathrm T} = \boldsymbol{A}, pak matici \boldsymbol{A} označujeme jako symetrickou. Pro prvky symetrické matice platí: :a_{ij} = a_{ji} \, * Matici \boldsymbol{A} označujeme jako antisymetrickou, platí-li pro všechny prvky této matice vztah: :a_{ij} = -a_{ji} \, * Matice \boldsymbol{B} je inverzní maticí k čtvercové matici \boldsymbol{A}, pokud platí :\boldsymbol{A}\boldsymbol{B} = \boldsymbol{B} \boldsymbol{A} = \mathbf{I}, kde \mathbf{I} je jednotková matice (stejného typu jako \boldsymbol{A}). Matice \boldsymbol{B} je pak také stejného řádu jako \boldsymbol{A}. * Matici \boldsymbol{A}, ke které existuje inverzní matice, označujeme jako regulární matici. Není-li matice regulární, pak ji označujeme jako singulární. * Adjungovaná matice k matici \boldsymbol{A} je transponovaná matice algebraických doplňků matice \boldsymbol{A}.

Lineární zobrazení na \mathbb R^2 dané maticí. +more Determinant této matice je −1, protože plocha zeleného rovnoběžníku vpravo je 1, ale zobrazení obrací orientaci, protože otočí levotočivé pořadí vektorů na pravotočivé. .

Determinant

Determinant čtvercové matice \boldsymbol A, označovaný \det \boldsymbol A nebo |\boldsymbol A| , je číslo kódující určité vlastnosti matice. Matice je regulární, právě když je její determinant nenulový. +more Absolutní hodnota determinantu je rovna ploše (v \mathbb R^2) případně objemu (v \mathbb R^3 ) obrazu jednotkového čtverce (resp. krychle), přičemž jeho znaménko odpovídá orientaci příslušného lineárního zobrazení. Determinant je kladný, právě když je orientace zachována.

Determinant matic řádu dva je dán vztahem

: \det \begin{pmatrix}a&b\\c&d\end{pmatrix} = ad-bc.

Determinant matic řádu tři má 6 členů (Sarrusovo pravidlo). Leibnitzův vzorec \det\boldsymbol A = \sum_{\tau \in S_n} \sgn(\tau) \prod_{i = 1}^n a_{i, \, \tau(i)} zobecňuje tyto dva vzorce na všechny dimenze.

Determinant součinu čtvercových matic je roven součinu jejich determinantů:

: \det(\boldsymbol{AB})=\det\boldsymbol A\cdot\det\boldsymbol B

Přičtení násobku libovolného řádku do jiného řádku nebo násobku libovolného sloupce do jiného sloupce nezmění determinant. Záměna dvou řádků nebo dvou sloupců změní znaménko determinantu na opačné. +more Pomocí těchto operací lze libovolnou matici převést na dolní (nebo na horní) trojúhelníkovou matici. Determinant těchto matice je pak součin prvků na hlavní diagonále. Uvedený postup lze použít pro výpočet determinantu jakékoli matice. Konečně, Laplaceův rozvoj vyjadřuje determinant pomocí minorů, což jsou determinanty podmatic. Toto rozšíření lze použít pro rekurentní definici determinantu (za výchozí případ vezmeme determinant matice 1\times 1, který je jejím jediným prvkem, nebo dokonce determinant matice 0\times 0, což je 1), což lze považovat za ekvivalentní Leibnizově vzorci. Determinanty mohou být použity k řešení soustav lineárních rovnic pomocí Cramerova pravidla, podle nějž jsou hodnoty neznámých rovny podílům determinantů.

Vlastní čísla a vlastní vektory

Číslo \lambda a nenulový vektor \boldsymbol v vyhovující rovnici

: \boldsymbol{A} \boldsymbol{v} = \lambda \boldsymbol{v}

jsou nazývány vlastním číslem (hodnotou) a vlastním vektorem \boldsymbol A. Číslo λ je vlastním číslem matice \boldsymbol A řádu n, právě když \boldsymbol A -\lambda \mathbf I_n je singulární, což je ekvivalentní podmínce

: \det(\boldsymbol{A}-\lambda \mathbf{I}_n) = 0.

Polynom p_{\boldsymbol A}v neznámé x odpovídající determinantu \det(x \mathbf{I}_n-\boldsymbol{A}) se nazývá charakteristický polynom matice \boldsymbol A. Jde o monický polynom stupně n, a proto rovnice p_{\boldsymbol A}(\lambda)=0 má nejvýše n různých řešení, což jsou právě všechna vlastních čísla matice \boldsymbol A. +more Ta mohou být komplexní, a to i pro některé reálné matice. Podle Cayley-Hamiltonovy věty platí p_{\boldsymbol A}(\boldsymbol A)=\mathbf 0. Jinými slovy, dosadíme-li samotnou matici do svého vlastního charakteristického polynomu, dostaneme za výsledek nulovou matici.

Reálné a komplexní matice

Přehled některých druhů matic
Nad \mathbb{C}	Nad \mathbb{R}	vlastnost
hermitovská	symetrická	\boldsymbol{A}^{\mathrm{H/T}} = \boldsymbol{A}
unitární	ortogonální	\boldsymbol{A}^{\mathrm{H/T}} = \boldsymbol{A}^{-1}
-	regulární (invertibilní)	regulární (invertibilní)

* Pokud každý prvek a_{ij} komplexní matice \boldsymbol{A} nahradíme prvkem k němu komplexně sdruženým \overline{a_{ij}}, pak získáme matici \overline{\boldsymbol{A}}, kterou označujeme jako komplexně sdruženou matici. Reálné matice se shodují se svými komplexně sdruženými maticemi \bar{\boldsymbol{A}} = \boldsymbol{A}. +more * Provedeme-li na matici \mathbf{A} transpozici a komplexní sdružení, získáme matici hermitovsky sdruženou (někdy též psáno „hermiteovsky“, podle Charlese Hermita). Hermitovsky sdruženou matici značí různí autoři různě, zpravidla některým z následujících způsobů :\boldsymbol{A}^{\mathrm H} = \overline{\boldsymbol{A}}^{\mathrm T} = \boldsymbol{A}^* = \boldsymbol{A}^+ :(poslední z možných zápisů se může snadno plést s tzv. Mooreovou-Penroseovou pseudoinverzní maticí) * Pokud je hermitovsky sdružená matice rovna původní matici, tzn. \boldsymbol{A}^{\mathrm H} = \boldsymbol{A}, říkáme, že matice \boldsymbol{A} je hermitovská (též samosdružená nebo samoadjungovaná). Každá hermitovská matice má všechna vlastní čísla reálná (důkaz indukcí s využitím základní věty algebry a Gram-Schmidtovy ortogonalizace). * Symetrická reálná matice \boldsymbol A řádu n se nazývá: ** pozitivně semidefinitní, pokud pro všechny vektory \boldsymbol x \in \mathbb R^nplatí \boldsymbol x^\mathsf{T}\boldsymbol {Ax}\ge 0; ** pozitivně definitní, pokud pro všechny vektory \boldsymbol x \in \mathbb R^n různé od \boldsymbol 0 platí \boldsymbol x^\mathsf{T}\boldsymbol {Ax}> 0; ** negativně (semi)definitní, pokud v předchozích definicích použijeme obrácené nerovnosti, tj. \leq a ** indefinitní v ostatních případech, neboli existují \boldsymbol {x,y} \in \mathbb R^n taková, že \boldsymbol x^\mathsf{T}\boldsymbol {Ax}> 0 a zároveň \boldsymbol y^\mathsf{T}\boldsymbol {Ay}. : Uvedené vlastnosti jsou definovány i pro komplexní hermitovské matice; jen je třeba vzít v potaz všechny komplexní vektory a v součinu nahradit obyčejnou transpozici \boldsymbol x^\mathsf{T} za hermitovskou transpozici \boldsymbol x^\mathsf{H}. * Matici \boldsymbol{A} označujeme jako unitární, jestliže inverzní matice \boldsymbol{A}^{-1} je rovna matici hermitovsky sdružené \boldsymbol{A}^{\mathrm H}, tzn. :\boldsymbol{A}^{-1} = \boldsymbol{A}^{\mathrm H}.

Použití

Matice jako zápis lineárního zobrazení

Matice představují nejjednodušší nástroj, jak popsat v souřadnicích lineární zobrazení z prostorů V do prostoru W, pokud máme na prostoru V zvolenou bázi {v_j} a na prostoru W bázi {w_j}. Matice zobrazení vytvoříme tak, že její i-tý sloupec bude zápis souřadnic obrazu vektoru v_i zapsaného v bázi w_j.

Matice přechodu

Matice jsou užitečný nástroj na spočtení souřadnic vektoru v nějaké bázi, pokud známe jeho souřadnice v jiné bázi. Pokud \{b_1,\ldots,b_n\} a \{c_1,\ldots,c_n\} jsou dvě báze, pro které platí c_j=\sum_{i=1}^n b_i a^i_{\,\,j},, neboli :(c_1,\ldots,c_n)=(b_1,\ldots,b_n)\boldsymbol{A}, pak matice \boldsymbol{A}=(a^i_{\,\,j}) se nazývá matice přechodu od báze \{b_i\}_i k bázi \{c_i\}_i. +more Pro souřadnice pak platí :\boldsymbol{A}^{-1} \left(\begin{array}{c}x_1\\\vdots\\x_n\end{array}\right)_{\{b_i\}_i}= \left(\begin{array}{c}y_{1}\\\vdots\\y_{n}\end{array}\right)_{\{c_i\}_i},.

kde x_i jsou souřadnice libovolného vektoru v bázi \{b_i\}_i a y_{i} jsou jeho souřadnice v bázi \{c_i\}_i a \boldsymbol{A}^{-1} je inverzní matice k matici \boldsymbol{A}.

Duální báze k \{b_i\} a \{c_i\} (pokud je píšeme do sloupců) se transformují stejně jako souřadnice a souřadnice duálních vektorů v duálních bázích (pokud je píšeme do řádků) stejně jako původní bázové vektory.

Matice jako zápis bilineární formy

Matice představují jednoduchý nástroj, jak popsat v souřadnicích bilineární zobrazení (například skalární součin) V\times V\to K (obvykle K=\mathbb{R} nebo \mathbb{C}), pokud máme na prostoru V zvolenou bázi {v_j} a na prostoru W bázi {w_j}. Matice zobrazení \boldsymbol{A} vytvoříme tak, že a_{ij}:=(v_i, w_j), kde (. +more) je příslušná bilineární forma. Pak v souřadnicích platí (\{x_i\},\{y_j\})=\{x_i\}^\mathrm{T} \boldsymbol{A} \{y_j\}.

Soustavy lineárních rovnic

Soustava m rovnic o n neznámých \sum_{j=1}^n a_{ij}x_j=b_i se dá zapsat elegantně v maticovém tvaru \boldsymbol{Ax}=\boldsymbol{b},kde \boldsymbol{A}= \begin{pmatrix} a_{11} & a_{12} & \dots & a_{1n} \\ a_{21} & a_{22} & \dots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m1} & \dots & a_{mn} \end{pmatrix} \quad \boldsymbol{b}= \begin{pmatrix} b_{1} \\ b_{2} \\ \vdots\\ b_{m} \end{pmatrix} , \quad \boldsymbol{x}= \begin{pmatrix} x_{1} \\ x_{2} \\ \vdots\\ x_{n} \end{pmatrix} jsou matice soustavy, vektor pravých stran a vektor neznámých. Často při řešení rovnic stačí pracovat s maticí soustavy a vektorem pravých stran, které se pro potřeby výpočtu spojují do rozšířené matice soustavy (viz Gaussova eliminace).

Zkoumání lineární nezávislosti vektorů

Je-li dána množina vektorů ze stejného vektorového prostoru v souřadnicích, je možné tyto vektory (resp. jejich souřadnicové vyjádření) zapsat pod sebe jako řádky matice. +more Lineární obal řádků matice se nezmění, pokud budu se s maticí provádí následující úpravy:.

* Výměna dvou řádků * Vynásobení řádku nenulovým číslem * Přičtení násobku nějakého řádku k jinému řádku

Pokud se podaří postupnou aplikací těchto úprav vytvořit v matici nulový řádek, původní vektory jsou lineárně závislé (viz též Gaussova eliminace). Pokud se podaří matici upravit do odstupňovaného tvaru aniž by vznikl nulový řádek, jsou původní vektory lineárně nezávislé. +more Viz též hodnost matice.

Řešení obyčejných diferenciálních rovnic

Obyčejná homogenní diferenciální rovnice s konstantními koeficienty, anebo systém rovnic s konstantními koeficienty, se dá zapsat v maticovém tvaru \dot{x}=\boldsymbol{A}x,kde x=x(t) je sloupcový vektor neznámých a \boldsymbol{A} je čtvercová matice. Řešení je pak vektorový prostor generovaný sloupci matice dané maticovou funkcí \exp(\boldsymbol{A}t).

Historie

Matice byly odedávna používány pro řešení soustav lineárních rovnic, ale až do 19. století byly obvykle nazývány pole. +more Jedním z prvních textů využívajících koncept pole (včetně determinantů) je Devět kapitol o matematickém umění napsaný v Číně v 10. -2. století před naším letopočtem. V Evropě představil tuto metodu italský matematik Gerolamo Cardano v roce 1545 a to ve svém díle Ars Magna. Japonský matematik Seki použil stejné metody pole k řešení soustavy rovnic v roce 1683. Nizozemský matematik Jan de Witt reprezentoval transformace pomocí polí ve své knize Elements of Curves z roku 1659. V letech 1700 až 1710 propagoval Gottfried Wilhelm Leibniz použití polí pro záznam informací nebo řešení. Mimo jiné experimentoval s více než 50 různými systémy polí. Cramerovo pravidlo bylo poprvé předvedeno v roce 1750.

Termín „matice“ (latinsky matrix - „lůno“, „zdroj“, „původ“, „seznam“, „registr“, odvozeno od mater - matky) zavedl v roce 1850 James Joseph Sylvester, který považoval matici za objekt, z něhož pochází několik determinantů, dnes nazývaných minory. To jsou determinanty menších matic, vzniklých z původní matice odstraněním sloupců a řádků. +more V dokumentu z roku 1851 Sylvester vysvětluje:.

V polovině 19. století publikoval Arthur Cayley pojednání o geometrických transformacích pomocí matic, které nebyly jen přeuspořádanými množinami koeficientů, jak tomu bylo dříve. +more Místo toho definoval operace jako sčítání, odčítání, násobení a dělení jako transformace těchto matic a ukázal, že jsou asociativní a distributivní. Cayley zkoumal a demonstroval nekomutativitu součinu matic i komutativitu součtu. Do té doby se maticová teorie omezovala použití polí téměř výhradně na determinanty, a proto byly abstraktní maticové operace Arthura Cayleyho doslova revoluční, zejména proto, že Cayleyův koncept matic byl nezávislý na soustavách rovnic. V roce 1858 Cayley publikoval své A memoir on the theory of matrices , ve kterých představil Cayley-Hamiltonovu větu.

Anglický matematik Cuthbert Edmund Cullis byl první, kdo v roce 1913 zavedl pro matice moderní závorkovou notaci. Současně předvedl první významné použití notace \boldsymbol A=(a_{ij}) k reprezentaci matice, kde a_{ij} odkazuje na i-tý řádek a j-tý sloupec.

Moderní studia determinantů vycházela z několika zdrojů. Číselně-teoretické problémy přivedly Gausse ke vztahům mezi koeficienty kvadratických forem, to jsou výrazy jako x^2+2xy-y^2, lineárními zobrazeními ve třech rozměrech a maticemi. +more Tyto pojmy dále rozvinul Eisenstein, včetně poznámky, že součin matic není komutativní. První obecná tvrzení o determinantech dokázal Cauchy, přičemž determinant matice \boldsymbol A = a_{ij} definoval následovně:.

V polynomu a_1 a_2 \cdots a_n \prod_{i , kde \prod označuje součin uvedených členů, nahraďte mocniny a_j^k za a_{jk}.

V roce 1829 Cauchy ukázal, že vlastní čísla symetrických matic jsou reálná.

Jacobi se zaměřil na determinant související s funkcemi více proměnných. Tento determinant, později Sylvesterem nazvaný Jacobiho determinant, může být použit k popisu geometrických transformací na lokální (nebo i infinitezimální) úrovni. +more První axiomatický popis determinantů podali současně v roce 1903 Kronecker a Weierstrass ve svých článcích Vorlesungen über die Theorie der Determinanten a Zur Determinantentheorie. Do té doby byly determinanty definovány jen pomocí konkrétnějších přístupů, jako je například výše uvedený Cauchyho vzorec.

Mnohé věty se nejprve zabývaly pouze malými maticemi. Například Cayley-Hamiltonova věta byla ve zmíněné Cayleyho monografii dokázána jen pro matice 2 \times 2 a Hamilton ji pak rozšířil i na matice 4 \times 4. +more Teprve Frobenius, pracující na bilineárních formách, zobecnil v roce 1898 tuto větu na všechny rozměry. Gaussova-Jordanova eliminace, zobecňující speciální případ nyní nazývaný Gaussova eliminace, byla popsána Wilhelmem Jordanem až na konci 19. století.

Matice získaly ústřední roli v lineární algebře na počátku 20. století , částečně díky jejich použití v klasifikaci hyperkomplexních číselných soustav z předchozího století.

Maticová mechanika zavedená Heisenbergem, Bornem a Jordanem vedla ke studiu matic s nekonečně mnoha řádky a sloupci. Von Neumannův pozdější matematický popis kvantové mechaniky přispěl k dalšímu rozvoji souvisejících pojmů z funkcionální analýzy, jako jsou například lineární operátory na Hilbertových prostorech. +more Ty, velmi zhruba řečeno, odpovídají euklidovskému prostoru, ale s nekonečnem nezávislých směrů.

Další historická použití slova „matice“ v matematice

Termín matice byl použit neobvyklým způsobem v následujících případech:

Bertrand Russell a Alfred North Whitehead použili v díle Principia Mathematica (1910-1913) slovo „matice“ v kontextu svého axiomu redukovatelnosti. Tento axiom zavedli coby prostředek k postupné redukci jakékoli funkce na funkci nižšího typu, takže "naspod" (řád 0) je funkce identická se svým rozšířením:

Například funkce \Phi(x,y) dvou proměnných x a y může být redukována na soubor funkcí jediné proměnné y tím, že „uvážíme“ funkci pro všechny možné hodnoty „jednotlivých" a_i dosazených za proměnnou x. Získaný soubor funkcí jediné proměnné y, tedy \forall a_i: \Phi(a_i,y), pak lze redukovat na „matici“ hodnot „uvážením“ funkce pro všechny možné hodnoty „jednotlivých“ b_i nahrazených místo proměnné y:

: \forall b_j \forall a_i :\Phi(a_i,b_j).

Alfred Tarski ve svém Úvodu do logiky z roku 1946 použil slovo „matice“ jako synonymum pro pravdivostní tabulku používanou v matematické logice.

Další použití

V matematice a fyzice:

* Jacobiho matice * Hessova matice * Wronského matice * incidenční matice grafu

Ve statistice:

* Matice dat (zcela obecná tabulka popisující závislost jedné veličiny na druhé) * Korelační matice * Stochastická matice * kontingenční tabulky

V kvantové mechanice:

* Zápis operátorů do matic * Matice hustoty (popis smíšeného stavu systému) * Pauliho matice

V populační biologii:

* Leslieho model

Odkazy

Poznámky

Reference

Literatura

Související články

Determinant * Hodnost matice * Jordanův rozklad * Kontingenční tabulka * Lineární algebra * LU rozklad * Matice přechodu * Maticová funkce * Násobení matic * Norma matice * Soustava lineárních rovnic * Stopa matice * Transpozice matic

Externí odkazy

[url=http://joshua. smcvt. +moreedu/linearalgebra]Učebnice lineární algebry na webu (anglicky)[/url] * [url=http://autarkaw. com/books/matrixalgebra/index. html]Autar Kaw, Introduction to Matrix Algebra[/url] * [url=http://wims. unice. fr/wims/en_tool~linear~matrix. en. html]Maticová kalkulačka[/url] * [url=http://www. elektro-energetika. cz/calculations/matreg. php]Operace s maticemi v R (determinant, stopa, inverzní, adjungovaná, transponovaná)[/url]* * [url=http://www. umat. feec. vutbr. cz/~novakm/algebra_matic/index_male. php]Sčítání a násobení matic[/url].