Přeskočit na obsah

Ortogonální matice

Z Wikipedie, otevřené encyklopedie
Vektory lze otáčet (vlevo) nebo zrcadlit (vpravo) vynásobením ortogonální maticí . Délka vektorů a jimi sevřený úhel zůstávají zachovány.

Ortogonální maticí[1] (někdy také ortonormální) se v lineární algebře nazývá každá reálná čtvercová matice, jejíž sloupce tvoří ortonormální bázi vzhledem ke standardnímu skalárnímu součinu. Analogický termín pro komplexní matice je unitární matice[1].

Inverzní matice k ortogonální matici se shoduje s její transpozicí.

Ortogonální matice odpovídají shodným zobrazením v euklidovském prostoru, neboli rotacím, a zrcadlením.

Ortogonální matice se používají například při numerickém řešení soustav lineárních rovnic nebo problémů s vlastními čísly.

Ortogonální matice s determinantem hodnoty 1 se nazývají speciální ortogonální matice.

Množina všech ortogonálních matic daného řádu tvoří tzv. ortogonální grupu. Podobně speciální ortogonální matice tvoří speciální ortogonální grupu.

Reálná čtvercová matice se nazývá ortogonální, pokud součin s její transponovanou maticí dává jednotkovou matici , neboli:

Pokud se sloupce matice označí , pak lze uvedenou podmínku ekvivalentně vyjádřit pomocí standardního skalárního součinu:

Sloupce ortogonální matice proto tvoří ortonormální bázi prostoru .

Aby sloupce matice tvořily ortonormální bázi, nestačí jen, aby byly vzájemně ortogonální (kolmé); musejí být také standardizované, tj. mít jednotkovou délku.

Konkrétní ukázky

[editovat | editovat zdroj]
  • Jednotková matice odpovídající identitě v rovině je ortogonální, protože pro ni platí: .
  • Matice je ortogonální, neboť:
Uvedená matice odpovídá osové souměrnosti podle osy 1. a 3. kvadrantu.
  • Matice je ortogonální:

Dále jsou uvedeny ukázky malých ortogonálních matic a jejich geometrických interpretací:

  • – osová souměrnost podle osy
  • – permutace souřadnicových os

Obecné ukázky

[editovat | editovat zdroj]
  • Permutační matice, tj. matice, ve kterých je právě jeden prvek v každém řádku i každém sloupci roven jedné a všechny ostatní prvky jsou nulové, jsou ortogonální. Značí-li permutační matici odpovídající permutaci , pak platí:
,
protože transpozice permutační matice se shoduje s permutační maticí k permutaci inverzní. Součin permutačních matic odpovídá skládání permutací a v tomto složení jsou všechny záměny vyvolané permutací následně vráceny její inverzí .
  • Zobecnění permutačních matic na matice, ve kterých je právě jeden prvek v každém řádku i sloupci roven 1 nebo -1, a všechny ostatní prvky jsou nulové, tvoří množinu všech celočíselných ortogonálních matic.[zdroj?]
  • Rotační matice
jsou matice, které popisují rotaci kolem počátku souřadnic v euklidovské rovině o úhel . Tyto matice jsou ortogonální, protože:

Vlastnosti ortogonální matice

[editovat | editovat zdroj]

Stejným způsobem, jako bylo ze vztahu odvozeno, že sloupce ortogonální matice tvoří ortonormální bázi prostoru , vyplývá ze součinu , že i řádky tvoří ortonormální bázi . Matice a se obecně nemusejí shodovat, a proto může jít v těchto případech o odlišné ortonormální báze.

Inverzní matice

[editovat | editovat zdroj]

Ortogonální matice je vždy regulární protože její řádky i sloupce jsou lineárně nezávislé. Matice inverzní k ortogonální matici je rovna její transpozici, neboli:

.

Matice inverzní k matici je právě taková matice , pro níž platí:

Z druhé rovnosti vyplývá, že transpozice ortogonální matice je také ortogonální. Platí i obrácená implikace, neboli každá matice , jejíž transpozice se shoduje a maticí k ní inverzní, je ortogonální, protože pak platí:

Zachování délek a úhlů

[editovat | editovat zdroj]

Je-li vektor vynásoben ortogonální maticí , potom se délka (čili euklidovská norma) vektoru nezmění:

.

Standardní skalární součin dvou vektorů je také invariantní vzhledem k součinu s ortogonální maticí :

V důsledku je zachován i úhel mezi oběma vektory. Obě vlastnosti vyplývají přímo z definice standardního skalárního součinu. Díky zachování délek a úhlů je lineární zobrazení dané předpisem shodné zobrazení v euklidovském prostoru . Naopak matice lineárního zobrazení je ortogonální vzhledem ke standardnímu bázi pro každé shodné lineární zobrazení v euklidovském prostoru.

Determinant

[editovat | editovat zdroj]

Absolutní hodnota determinantu ortogonální matice je rovna jedné:

Tento fakt vyplývá přímo z determinantu součinu matic:

Jinými slovy, determinant ortogonální matice může nabývat pouze hodnot jedna nebo mínus jedna. Existují však matice, které nejsou ortogonální a přitom mají determinant roven plus nebo mínus jedné, například unimodulární matice. Ortogonální matice, jejichž determinant je roven jedné, odpovídají rotacím a nazývají se speciální ortogonální matice. Ortogonální matice, jejichž determinant je roven mínus jedné, představují rotační zrcadlení.

Vlastní čísla

[editovat | editovat zdroj]

Reálná ortogonální matice může mít komplexní vlastní čísla. Jejich absolutní hodnota je rovna jedné, a proto je lze zapsat ve tvaru:

pro . Je-li vlastní vektor příslušný k , potom díky zachování délek a linearitě normy platí:

z čehož vyplývá . Reálná vlastní čísla ortogonální matice mohou být jen . Komplexní vlastní čísla se vždy objevují v komplexně sdružených dvojicích, tj. a , protože:

Ortogonální matice lichého řádu má proto alespoň jedno vlastní číslo reálné.

Diagonalizovatelnost

[editovat | editovat zdroj]

Ortogonální matice je normální, neboli splňuje vztah:

Lze ji proto unitárně diagonalizovat nad komplexními čísly. Podle spektrální věty existuje unitární matice taková, že platí:

Matice je diagonální s vlastními čísly matice na diagonále. Sloupce matice jsou pak tvořeny dvojicemi ortonormálních vlastních vektorů matice . To znamená, že vlastní prostory ortogonální matice jsou také po dvojicích ortogonální.

Ortogonální matice nemusí být diagonalizovatelná nad reálnými čísly. Existuje však ortogonální matice taková, že součin

je bloková diagonální matice, ve které jsou jednotlivé bloky buď rotačními maticemi velikosti nebo jde o jednoprvkové bloky obsahující . Uvedená reprezentace se také nazývá normální forma ortogonální matice.

Spektrální norma ortogonální matice je určena vztahem:

Pro Frobeniovu normu určenou Frobeniovým skalárním součinem platí:

Součin s ortogonální maticí zachovává spektrální normu i Frobeniovu normu libovolné matice , protože platí:

a také:

Podmíněnost matice se vzhledem k uvedeným maticovým normám zachovává i po součinu s ortogonální maticí.

Grupa ortogonálních matic

[editovat | editovat zdroj]
Podrobnější informace naleznete v článku Ortogonální grupa.

Regulární matice pevného řádu se součinem matic tvoří obecnou lineární grupu s jednotkovou maticí v roli neutrálního prvku. Ortogonální matice tvoří podgrupu obecné lineární grupy, nazvanou ortogonální grupa . Součin dvou ortogonálních matic je opět ortogonální, protože platí:

Inverzní matice k ortogonální matici je také ortogonální, protože platí:

Speciální ortogonální matice, což jsou rotační matice, neboli ortogonální matice s determinantem rovným jedné, tvoří podgrupu ortogonální grupy, tzv. speciální ortogonální grupu , též nazývanou rotační grupa. Jde o speciální případ Lieovy grupy.

Numerické záležitosti

[editovat | editovat zdroj]

Numerická matematika využívá řadu přirozených vlastností ortogonálních matic pro numerickou lineární algebru. Například je často žádoucí získat ortonormální bázi daného prostoru nebo provést přechod mezi ortogonálními bázemi; obě tyto úlohy mají řešení ve tvaru ortogonálních matic. Přínosné pro numerickou stabilitu výpočtu zpravidla bývá, mají-li matice determinant ±1, či popřípadě všechna vlastní čísla absolutní hodnoty 1. Mimo jiné pak platí, že podmíněnost matice je rovna 1 (což je nejmenší možná hodnota), a tak se chyby při násobení ortogonální maticí nezvětšují. Z uvedeného důvodu se v řadě algoritmů používají ortogonální matice, jako jsou Householderovy odrazy a Givensovy rotace. Dále je užitečné, že ortogonální matice je nejen regulární, ale její inverze se získá pouhou výměnou indexů.

Soustavy lineárních rovnic

[editovat | editovat zdroj]

Řešení soustavy lineárních rovnic tvaru

s ortogonální maticí a vektorem pravých stran lze přímo vyjádřit:

Pro výpočet vektoru řešení stačí jen provést součin matice s vektorem, což má výpočetní složitost pořádek . Pro srovnání, řešení obecných soustav lineárních rovnic například pomocí Gaussovy eliminace má složitost . Uvedené vlastnosti se využívají například v (reálné) diskrétní Fourierově transformaci a diskrétní kosinové transformaci.

Maticové rozklady

[editovat | editovat zdroj]

Ortogonálních matice se využívají v QR rozkladu, což je rozklad dané matice na součin:

ortogonální matice s horní trojúhelníkovou matrici . Konstrukci matice lze provést pomocí Givensových rotací, které odpovídají rotacím, a Householderových transformací, které odpovídají zrcadlením. QR rozklady se používají v numerických metodách k řešení špatně podmíněných, přeurčených nebo nedostatečně určených soustav lineárních rovnic. Další oblastí použití je řešení problémů s vlastními čísly pomocí QR algoritmu.

Pomocí singulárního rozkladu může být každá reálná matice rozložena na součin:

ortogonální matice , diagonální matice a transpozici další ortogonální matice . Diagonální prvky matice jsou singulární hodnoty matice . Singulární rozklad se používá například v geometrii pro transformaci hlavní osy kvadrik a ve statistice pro analýzu hlavních komponent vícerozměrných datových souborů.

Pomocí polárního rozkladu lze každou čtvercovou matici vyjádřit jako součin

ortogonální matice a pozitivní semidefinitní symetrické matice .

Ortogonální zobrazení

[editovat | editovat zdroj]

Je-li reálný unitární prostor dimenze , potom lze každé lineární zobrazení vyjádřit vzhledem k ortonormální bázi prostoru pomocí matice zobrazení takové, že platí:

pro .

Matice zobrazení je ortogonální, právě když je ortogonální zobrazení. Jsou-li totiž a vektory souřadnic vektorů a vzhledem k uvedené bázi, neboli a , potom platí:

Terminologie

[editovat | editovat zdroj]

V současné literatuře z oblasti lineární algebry a maticových výpočtů se setkáváme převážně s názvem ortogonální matice, navzdory tomu, že její sloupce, resp. řádky, jsou ortonormální.

Ve starší literatuře, nebo literatuře z jiných oborů (kde se s těmito maticemi setkáváme v nejrůznějších aplikacích) se můžeme z výše uvedeného důvodu setkat i názvem ortonormální matice.

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

  1. a b HLADÍK, Milan. Lineární algebra (nejen) pro informatiky. 1. vyd. Praha: Matfyzpress, 2019. 328 s. ISBN 978-80-7378-378-5. S. 195. 

Literatura

[editovat | editovat zdroj]
  • 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. 
  • 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

[editovat | editovat zdroj]