Regulární matice. Věnujeme dále pozornost zejména čtvercovým maticím.



Podobné dokumenty
Matice lineárních zobrazení

A0M15EZS Elektrické zdroje a soustavy ZS 2011/2012 cvičení 1. Jednotková matice na hlavní diagonále jsou jedničky, všude jinde nuly

Součin matice A a čísla α definujeme jako matici αa = (d ij ) typu m n, kde d ij = αa ij pro libovolné indexy i, j.

Jazyk matematiky Matematická logika Množinové operace Zobrazení Rozšířená číslená osa

Skalární součin je nástroj, jak měřit velikost vektorů a úhly mezi vektory v reálných a komplexních vektorových prostorech.

Matice. a m1 a m2... a mn

Učební texty k státní bakalářské zkoušce Matematika Matice. študenti MFF 15. augusta 2008

Matice. Přednáška MATEMATIKA č. 2. Jiří Neubauer. Katedra ekonometrie FEM UO Brno kancelář 69a, tel

KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO LINEÁRNÍ ALGEBRA 1 OLGA KRUPKOVÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN

3. Matice a determinanty

Kapitola 11: Vektory a matice:

Kapitola 11. Vzdálenost v grafech Matice sousednosti a počty sledů

Skalár- veličina určená jedním číselným údajem čas, hmotnost (porovnej životní úroveň, hospodaření firmy, naše poloha podle GPS )

Množinu všech matic typu m n nad tělesem T budeme označovat M m n (T ), množinu všech čtvercových matic stupně n nad T pak M n (T ).

5. Maticová algebra, typy matic, inverzní matice, determinant.

VI. Maticový počet. VI.1. Základní operace s maticemi. Definice. Tabulku

Matematika pro studenty ekonomie

Soustavy lineárních rovnic

Lineární algebra Operace s vektory a maticemi

Matematika B101MA1, B101MA2

Determinant. Definice determinantu. Permutace. Permutace, vlastnosti. Definice: Necht A = (a i,j ) R n,n je čtvercová matice.

Lineární zobrazení. V prvním z následujících tvrzení navíc uvidíme, že odtud plynou a jsou tedy pak rovněž splněny podmínky:

Symetrické a kvadratické formy

Gymnázium, Brno. Matice. Závěrečná maturitní práce. Jakub Juránek 4.A Školní rok 2010/11

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:

Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace

Kapitola 11: Vektory a matice 1/19

Lenka Zalabová. Ústav matematiky a biomatematiky, Přírodovědecká fakulta, Jihočeská univerzita. zima 2012

0. Lineární rekurence Martin Mareš,

Soustavy. Terminologie. Dva pohledy na soustavu lin. rovnic. Definice: Necht A = (a i,j ) R m,n je matice, b R m,1 je jednosloupcová.

1 Determinanty a inverzní matice

Kapitola 1. Tenzorový součin matic

Lineární algebra : Násobení matic a inverzní matice

Matice se v některých publikacích uvádějí v hranatých závorkách, v jiných v kulatých závorkách. My se budeme držet zápisu s kulatými závorkami.

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

Lineární algebra. Matice, operace s maticemi

Operace s maticemi. 19. února 2018

Operace s maticemi Sčítání matic: u matic stejného typu sečteme prvky na stejných pozicích: A+B=(a ij ) m n +(b ij ) m n =(a ij +b ij ) m n.

(Cramerovo pravidlo, determinanty, inverzní matice)

SOUČIN MATIC A m n B n p = C m p, přičemž: a i1 b 1j +a i2 b 2j + +a in b nj = c ij, i=1 m, j=1 p. Např: (-2) = -3

Báze a dimenze vektorových prostorů

P 1 = P 1 1 = P 1, P 1 2 =

Lineární algebra : Násobení matic a inverzní matice

Euklidovský prostor Stručnější verze

2.3. DETERMINANTY MATIC

a m1 a m2 a mn zobrazení. Operaci násobení u matic budeme definovat jiným způsobem.

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

Báze konečněrozměrných vektorových prostorů, lineární zobrazení vektorových prostorů

Determinanty. Obsah. Aplikovaná matematika I. Pierre Simon de Laplace. Definice determinantu. Laplaceův rozvoj Vlastnosti determinantu.

0.1 Úvod do lineární algebry

1. Základy logiky a teorie množin

Greenova funkce pro dvoubodové okrajové úlohy pro obyčejné diferenciální rovnice

Soustava m lineárních rovnic o n neznámých je systém

Pavel Horák, Josef Janyška LINEÁRNÍ ALGEBRA UČEBNÍ TEXT

Matematika 1 MA1. 2 Determinant. 3 Adjungovaná matice. 4 Cramerovo pravidlo. 11. přednáška ( ) Matematika 1 1 / 29

1 Linearní prostory nad komplexními čísly

Lineární algebra a analytická geometrie sbírka úloh a ř ešených př íkladů

DEFINICE Z LINEÁRNÍ ALGEBRY

0.1 Úvod do lineární algebry

ČTVERCOVÉ MATICE. Čtvercová matice je taková matice, kde počet řádků je roven počtu jejích sloupců. det(a) značíme determinant čtvercové matice A

Matice. Modifikace matic eliminační metodou. α A = α a 2,1, α a 2,2,..., α a 2,n α a m,1, α a m,2,..., α a m,n

Lineární algebra II. Adam Liška. 9. února Zápisky z přednášek Jiřího Fialy na MFF UK, letní semestr, ak. rok 2007/2008

Kolik existuje různých stromů na pevně dané n-prvkové množině vrcholů?

Pavel Horák LINEÁRNÍ ALGEBRA A GEOMETRIE 1 UČEBNÍ TEXT

předmětu MATEMATIKA B 1

Katedra aplikované matematiky FEI VŠB Technická univerzita Ostrava

Soustavy linea rnı ch rovnic

1 Vektorové prostory.

Uspořádanou n-tici reálných čísel nazveme aritmetický vektor (vektor), ā = (a 1, a 2,..., a n ). Čísla a 1, a 2,..., a n se nazývají složky vektoru

Matice. Je dána matice A R m,n, pak máme zobrazení A : R n R m.

Necht tedy máme přirozená čísla n, k pod pojmem systém lineárních rovnic rozumíme rovnice ve tvaru

8 Matice a determinanty

Algebraické struktury s jednou binární operací

zejména Dijkstrův algoritmus pro hledání minimální cesty a hladový algoritmus pro hledání minimální kostry.

Matematika (CŽV Kadaň) aneb Úvod do lineární algebry Matice a soustavy rovnic

Poznámky z matematiky

Determinanty. Determinanty. Přednáška MATEMATIKA č. 3. Jiří Neubauer

VĚTY Z LINEÁRNÍ ALGEBRY

7. Lineární vektorové prostory

Matice. Předpokládejme, že A = (a ij ) je matice typu m n: diagonálou jsou rovny nule.

4. Trojúhelníkový rozklad p. 1/20

ALGEBRA. Téma 4: Grupy, okruhy a pole

Základy teorie matic

HODNOST A DETERMINANT MATICE, INVERZNÍ MATICE

6. Matice. Algebraické vlastnosti

9. Úvod do teorie PDR

Čtvercové matice. Čtvercová matice je taková matice, jejíž počet řádků je roven počtu jejích sloupců

Číselné vektory, matice, determinanty

Základy matematiky pro FEK

HODNOST A DETERMINANT MATICE, INVERZNÍ MATICE

PROSTORY SE SKALÁRNÍM SOUČINEM. Definice Nechť L je lineární vektorový prostor nad R. Zobrazení L L R splňující vlastnosti

Obsah. Lineární rovnice. Definice 7.9. a i x i = a 1 x a n x n = b,

grupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa

Matematika 2 pro PEF PaE

10. Soustavy lineárních rovnic, determinanty, Cramerovo pravidlo

Soustavy lineárních rovnic a determinanty

Základy maticového počtu Matice, determinant, definitnost

Úvod do lineární algebry

Učební texty k státní bakalářské zkoušce Matematika Vlastní čísla a vlastní hodnoty. študenti MFF 15. augusta 2008

p, q dvě permutace na množině X, pak složené zobrazení, tj. permutaci, q p : X X nazýváme složení permutací p a q (v tomto pořadí).

Transkript:

Regulární matice Věnujeme dále pozornost zejména čtvercovým maticím. Věta. Pro každou čtvercovou matici A = (a ij ) řádu n nad tělesem (T, +, ) jsou následující podmínky ekvivalentní: (i) Řádky matice A jsou lineárně nezávislé. (ii) Sloupce matice A jsou lineárně nezávislé. (iii) Hodnost matice A je rovna n. (iv) Determinant A je nenulový. Důkaz. Ekvivalence prvních tří podmínek plyne z definice řádkové a sloupcové hodnosti matice A a z poznatku odvozeného v předchozí kapitole, že jde o stejná čísla, tedy o hodnost matice A. Zbývá dokázat ekvivalenci těchto tří podmínek s poslední podmínkou. Nechť tedy hodnost matice A je rovna n, takže řádky matice A jsou lineárně nezávislé. Elementárními řádkovými úpravami, tak jak bylo popsáno v prvním odstavci důkazu posledního tvrzení v minulé kapitole, se matice A převede na schodovitý tvar. Přitom se použijí pouze řádkové úpravy typu (ii) a přehazování řádků. Na hodnosti matice ani na lineární nezávislosti jejích řádků se tím nic nezmění. Z příslušných tvrzení v kapitole o determinantech navíc plyne, že hodnota determinantu může těmito úpravami nanejvýš změnit znaménko. Poněvadž řádky matice ve schodovitém tvaru jsou lineárně nezávislé, není mezi nimi vespod matice žádný nulový řádek, což nutně znamená, že všechny hlavní prvky leží na hlavní diagonále a že ji vyplní celou. Poněvadž jde o matici v horním trojúhelníkovém tvaru, je podle jiného tvrzení z kapitoly o determinantech její determinant roven součinu prvků ležících na hlavní diagonále. Jedná se tedy o součin hlavních prvků, a ten je nenulový. Takže také determinant A je nenulový. 1

Nechť naopak řádky matice A jsou lineárně závislé. Je-li A nulová matice, je její determinant roven nule. V opačném případě je n > 1 a podle prvního tvrzení z předminulé kapitoly je některý řádek matice A lineární kombinací ostatních řádků této matice. To ale znamená, že několika elementárními řádkovými úpravami typu (ii) lze dotyčný řádek učinit nulovým řádkem. Podle příslušného tvrzení z kapitoly o determinantech se tím hodnota determinantu matice nezmění. Podle jiného tvrzení ze zmíněné kapitoly je hodnota determinantu matice s nulovým řádkem rovna nule. Takže i determinant A je roven nule. Čtvercová matice A = (a ij ) řádu n nad tělesem (T, +, ), která splňuje ekvivalentní podmínky z předchozí věty, se nazývá regulární matice. Nesplňuje-li taková čtvercová matice A podmínky z předchozí věty, říkáme, že je to singulární matice. Buď (T, +, ) těleso a buď m přirozené číslo. Pro každý index i {1,..., m} a pro každý prvek r T, r 0, označme E i (r) čtvercovou matici řádu m, která se liší od jednotkové matice E m pouze tím, že na hlavní diagonále v i-tém řádku a v i-tém sloupci má prvek r. Dále pro každé dva indexy i, j {1,..., m}, i j a pro každý prvek r T označme E ij (r) čtvercovou matici řádu m, která se liší od jednotkové matice E m pouze tím, že na pozici mimo hlavní diagonálu v i-tém řádku a v j-tém sloupci má prvek r. Uvedené matice E i (r) a E ij (r) se nazývají elementární matice řádu m. Je jasné, že tyto matice jsou regulární, neboť E i (r) = r 0 a E ij (r) = 1. 2

Buď dále A = (a ij ) matice typu m/n nad tělesem (T, +, ). Z definice násobení matic a z popisu elementárních řádkových úprav z minulé kapitoly je evidentní, že provedení elementární řádkové úpravy typu (i) s maticí A pro zvolená i {1,..., m} a r T, r 0 dá tentýž výsledek jako vynásobení matice A zleva elementární maticí E i (r). Podobně provedení elementární řádkové úpravy typu (ii) s maticí A pro zvolená i, j {1,..., m}, i j a r T dá týž výsledek jako vynásobení matice A zleva elementární maticí E ij (r). Obdobná tvrzení platí i pro elementární sloupcové úpravy, používají-li se elementární matice řádu n a násobí-li se jimi matice A zprava (indexy i, j matice E ij (r) se ale prohodí). Tvrzení. Pro libovolnou čtvercovou matici A = (a ij ) řádu n nad tělesem (T, +, ) jsou následující podmínky ekvivalentní: (i) Matice A je regulární. (ii) Matice A je řádkově ekvivalentní jednotkové matici E n. (iii) Matice A je součinem několika elementárních matic řádu n. Důkaz. Je-li matice A regulární, lze ji podle posledního tvrzení z minulé kapitoly převést elementárními řádkovými úpravami na Gauss-Jordanův tvar. Výsledná matice v tomto tvaru je přitom stále regulární, takže její hlavní prvky, jež jsou rovny 1, vyplní hlavní diagonálu a všechny ostatní prvky mimo diagonálu jsou rovny 0. Tak ovšem vzniká jednotková matice E n, čili matice A je řádkově ekvivalentní této jednotkové matici E n. Je-li matice A je řádkově ekvivalentní jednotkové matici E n, tedy platí-li A E n, pak poněvadž je tato relace symetrická podle poznámek z úvodu minulé kapitoly, platí rovněž E n A. Lze tedy rovněž konečnou posloupností elementárních řádkových úprav převést jednotkovou matici E n na matici A. Poněvadž každou elementární řádkovou úpravu lze realizovat vynásobením některou elementární maticí řádu n zleva, je matice A součinem konečné posloupnosti takových elementárních matic. 3

Je-li konečně matice A součinem elementárních matic, pak je tato matice součinem regulárních matic, neboť elementární matice jsou regulární. Viděli jsme totiž, že determinanty elementárních matic jsou nenulové. Podle Cauchyovy věty pak také jakýkoliv součin takových matic má nenulový determinant a je tedy regulární maticí. Takže i matice A je regulární. Důsledek. Dvě matice A a B typu m/n nad tělesem (T, +, ) jsou řádkově ekvivalentní, tedy splňují A B, právě tehdy, když existuje regulární čtvercová matice C řádu m nad tělesem (T, +, ) taková, že B = C A. Důkaz plyne bezprostředně z ekvivalence první a poslední podmínky v předchozím tvrzení. V kapitole o maticích jsme viděli, že množina Mat nn (T ) všech čtvercových matic řádu n nad tělesem (T, +, ) tvoří vzhledem k operaci násobení matic monoid (Mat nn (T ), ). Neutrálním prvkem tohoto monoidu je jednotková matice E n. Zajímají nás nyní invertibilní prvky tohoto monoidu, tj. invertibilní čtvercové matice řádu n nad tělesem (T, +, ). Čtvercová matice A řádu n je invertibilní, existuje-li k ní čtvercová matice B řádu n taková, že platí A B = E n = B A. Pak matice B se nazývá inverzní matice k matici A. Z kapitoly o monoidech víme, že inverzní matice k matici A, pokud existuje, je jediná, a značíme ji A 1. Věta. Čtvercová matice A řádu n nad tělesem (T, +, ) je invertibilní právě tehdy, když je regulární. Důkaz. Je-li daná čtvercová matice A řádu n invertibilní, existuje čtvercová matice B řádu n taková, že A B = E n. Podle Caychyovy věty odtud plyne, že A B = A B = E n = 1, takže A 0 a matice A je tedy regulární. Je-li naopak čtvercová matice A řádu n regulární, je podle předchozího tvrzení řádkově ekvivalentní jednotkové matici E n, 4

takže podle posledního důsledku existuje regulární čtvercová matice C řádu n taková, že C A = E n. Transponovaná matice A je pak ovšem podle definice také regulární, takže ze stejných důvodů existuje regulární čtvercová matice D řádu n taková, že D A = E n. Odtud transponováním plyne, že A D = E n. Přitom C = C E n = C A D = E n D = D, takže celkem C = D je inverzní matice k matici A. Připomeňme z kapitoly o monoidech a grupách, že pro libovolné dvě regulární čtvercové matice A a B řádu n platí (A 1 ) 1 = A a (A B) 1 = B 1 A 1. Je také užitečné poznamenat, že jakmile o čtvercových maticích A a B řádu n víme, že platí jedna z rovností A B = E n nebo B A = E n, pak odtud vyplyne, že tyto rovnosti jsou splněny obě a že tudíž obě matice A, B jsou invertibilní a přitom jedna ke druhé navzájem inverzní. Skutečně platí-li například rovnost A B = E n, pak stejně jako v předchozím důkaze zjistíme, že obě matice A, B jsou regulární a existují k nim tudíž inverzní matice A 1 a B 1. Dále odtud dostáváme B = E n B = A 1 A B = A 1 E n = A 1, čili B = A 1 a platí tudíž i rovnost B A = E n. Z kapitoly o monoidech a grupách též připomeňme, že množina regulárních čtvercových matic řádu n nad tělesem (T, +, ), tedy množina všech invertibilních matic v monoidu (Mat nn (T ), ) je uzavřená vzhledem k násobení matic a že takto sama tvoří grupu. Tuto množinu všech regulárních čtvercových matic řádu n nad tělesem (T, +, ) bývá zvykem označovat symbolem GL n (T ) a mluví se v této souvislosti o obecné lineární grupě stupně n nad (T, +, ). Z Cauchyovy věty dále například plyne, že množina všech čtvercových matic řádu n nad tělesem (T, +, ), jejichž determinant je roven 1, tvoří podgrupu v GL n (T ). Tuto podgrupu 5

bývá obvyklé označovat symbolem SL n (T ) a mluví se o ní jako o speciální lineární grupě stupně n nad (T, +, ). Metody výpočtu inverzních matic Mějme regulární čtvercovou matici A = (a ij ) řádu n nad tělesem (T, +, ). Viděli jsme, že pak A E n, což znamená, že provedením několika elementárních řádkových úprav lze z matice A dostat jednotkovou matici E n. Nechť F 1, F 2,..., F k jsou elementární matice řádu n odpovídající postupně těmto řádkovým úpravám. Pak provedení zmíněné posloupnosti řádkových úprav s maticí A znamená vynásobení matice A postupně maticemi F 1, F 2,..., F k zleva, čímž vzniká součin matic F k F 2 F 1 A = E n. Vezměme tedy matici C = F k F 2 F 1. Pak ovšem máme C A = E n a podle toho, co bylo řečeno výše, je tedy C inverzní maticí k matici A. Provedeme-li dále tutéž posloupnost elementárních řádkových úprav jako výše také s maticí E n, dostaneme tím z týchž důvodů matici C E n = C, tedy samotnou inverzní matici k matici A. Myšlenka, o kterou se nyní opírá metoda výpočtu inverzní matice k dané čtvercové matici A řádu n, spočívá v provádění týchž elementárních řádkových úprav s oběma maticemi A i E n současně. Přitom volíme tyto úpravy tak, aby převedly matici A do Gauss-Jordanova tvaru. Je-li matice A regulární, vznikne tak jednotková matice E n, takže takto po několika krocích obdržíme řádkově ekvivalentní matice (A E n ) (E n C), kde C = A 1. Není-li matice A regulární, vyjde nám v jejím Gauss-Jordanově tvaru alespoň jeden nulový řádek. Jinou možnost, jak počítat inverzní matici, poskytuje následující výsledek. Mějme regulární čtvercovou matici A = (a ij ) 6

řádu n > 1 nad tělesem (T, +, ). Připomeňme, že v kapitole o determinantech jsme pro každá i, j {1, 2,..., n} definovali algebraický doplněk Âij prvku a ij v matici A. Vezměme čtvercovou matici  = (Âij) řádu n složenou z těchto algebraických doplňků a k ní transponovanou matici A = Â. Tato matice A se nazývá adjungovaná matice k matici A. Nyní můžeme formulovat následující fakt: Věta. Buď A = (a ij ) regulární čtvercová matice řádu n > 1 nad tělesem (T, +, ). Pak platí A 1 = A 1 A. Důkaz. Podle toho, co bylo uvedeno shora, stačí ukázat, že součin matice A s maticí A 1 A je roven jednotkové matici E n. Neboli stačí ukázat, že A A = A E n. Zvolme proto nejprve libovolný index i {1, 2,..., n} a vypočtěme prvek ležící v matici A A na diagonále v i-tém řádku a v i-tém sloupci. Tento prvek je ovšem roven a i1 Âi1+a i2 Âi2+ +a in Âin = A podle věty o Laplaceově rozvoji determinantu A, a to je odpovídající diagonální prvek matice A E n. Zvolme dále libovolné indexy i, j {1, 2,..., n}, i j a vypočtěme prvek ležící v matici A A na pozici mimo diagonálu v i-tém řádku a v j-tém sloupci. Tento prvek vychází roven a i1 Âj1 + a i2 Âj2 + + a in Âjn = 0, neboť jde o Laplaceův rozvoj determinantu z matice, která se od matice A liší v tom, že se v ní místo j-tého řádku opakuje i-tý řádek. Podle jednoho z tvrzení v kapitole o determinantech je ovšem determinant z matice mající dva stejné řádky roven nule. Prvky matice A E n ležící mimo diagonálu jsou ovšem nulové. To potvrzuje rovnost A A = A E n, kterou bylo třeba dokázat. Matice přechodu od báze k bázi Nechť (V, +, ) je nenulový vektorový prostor konečné dimenze nad tělesem (T, +, ) a nechť vektory f 1, f 2,..., f n před- 7

stavují některou bázi tohoto prostoru. Připomeňme, že potom pro každý vektor u V existují jednoznačně určené prvky s 1, s 2,..., s n T takové, že u = s 1 f 1 + s 2 f 2 + + s n f n. Prvky s 1, s 2,..., s n se nazývají souřadnice vektoru u v bázi f 1, f 2,..., f n. Nechť (V, +, ) je nenulový vektorový prostor konečné dimenze n nad tělesem (T, +, ). Nechť posloupnosti f 1, f 2,..., f n a g 1, g 2,..., g n tvoří dvě báze prostoru (V, +, ). Nechť pro každé j {1, 2,..., n} jsou a 1j, a 2j,..., a nj souřadnice vektoru g j v bázi f 1, f 2,..., f n, takže g j = a 1j f 1 +a 2j f 2 + +a nj f n. Pak čtvercová matice A = (a ij ) i=1,...,n, j=1,...,n nad (T, +, ) se nazývá matice přechodu od báze f 1, f 2,..., f n k bázi g 1, g 2,..., g n. Zavedeme-li podobně jako ke konci předminulé kapitoly značení f = ( ) ( ) f 1 f 2... f n a g = g1 g 2... g n pro zmíněné dvě báze prostoru (V, +, ), pak právě uvedená definice matice přechodu A = (a ij ) od báze f k bázi g znamená, že platí rovnost g = f A, vzpomeneme-li si na dříve zavedené násobení matic nad vektorovým prostorem (V, +, ) maticemi nad tělesem (T, +, ). Tvrzení. Nechť (V, +, ) je nenulový vektorový prostor nad tělesem (T, +, ). Nechť f 1, f 2,..., f n a g 1, g 2,..., g n jsou dvě báze prostoru (V, +, ) a nechť A = (a ij ) je matice přechodu od báze f 1, f 2,..., f n k bázi g 1, g 2,..., g n. Nechť u je libovolný vektor z V a nechť s 1, s 2,..., s n, resp. t 1, t 2,..., t n jsou souřadnice vektoru u v bázi f 1, f 2,..., f n, resp. v bázi g 1, g 2,..., g n. Pak platí rovnost s 1 t 1 s 2. = A t 2.. s n t n 8

Důkaz. Označme f = ( f 1 f 2... f n ), g = ( g1 g 2... g n ) a dále s = ( s 1 s 2... s n ), t = ( t1 t 2... s n ). Pak podobně jako ke konci předminulé kapitoly můžeme psát u = f s a současně u = g t. Současně, jak bylo výše řečeno, podle definice matice přechodu A = (a ij ) máme g = f A. Dosazením do předchozí rovnosti s využitím dříve ověřené asociativity zmíněného násobení matic nad vektorovým prostorem (V, +, ) maticemi nad tělesem (T, +, ) dostáváme, že u = f A t. To znamená, že A t jsou souřadnice vektoru u v bázi f. Ovšem také s jsou souřadnice vektoru u v téže bázi f. Vzhledem k jednoznačnosti souřadnic vektoru u v bázi f prostoru (V, +, ) odtud plyne rovnost s = A t, což bylo třeba ověřit. Ukážeme nyní, jakým způsobem se uplatní inverzní matice v problematice bází vektorových prostorů. Tvrzení. Nechť (V, +, ) je nenulový vektorový prostor nad tělesem (T, +, ). Nechť f 1, f 2,..., f n a g 1, g 2,..., g n jsou dvě báze prostoru (V, +, ) a nechť A = (a ij ) je matice přechodu od báze f 1, f 2,..., f n k bázi g 1, g 2,..., g n. Pak A je regulární matice a matice A 1 k ní inverzní je maticí přechodu od báze g 1, g 2,..., g n k bázi f 1, f 2,..., f n. Důkaz. Označme f = ( f 1 f 2... f n ), g = ( g1 g 2... g n ). Pak A = (a ij ) je matice přechodu od báze f k bázi g. Označme dále zprvu B = (b ij ) matici přechodu od báze g k bázi f. Podle toho, co bylo řečeno dříve v této kapitole, zcela stačí, když ukážeme, že součin A B je roven jednotkové matici E n řádu n. Ovšem podle definice matic přechodu A = (a ij ) a B = (b ij ) máme rovnosti g = f A a f = g B. Z těchto rovností opět s využitím asociativity zmíněného násobení matic dosazením dostáváme rovnost f = f A B. 9

Současně ale evidentně platí také rovnost f = f E n. Čili jak matice A B, tak také matice E n jsou maticemi přechodu od báze f k téže bázi f. Matice přechodu je ovšem určena jednoznačně, neboť má ve svých sloupcích souřadnice vektorů báze, ke které se přechází, vzhledem k výchozí bázi. Odtud tedy plyne, že A B = E n, jak bylo třeba ukázat. To znamená, že B = A 1. 10