Ortogonální matice

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].

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.

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.[2] Podobně speciální ortogonální matice tvoří speciální ortogonální grupu.[3]

Definice

editovat

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
  • 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
  • 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

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

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

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

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

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

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
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.

Použití

editovat

Numerické záležitosti

editovat

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

Ř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

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

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

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.

Reference

editovat

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. 
  2. PROCHÁZKA, Ladislav. Úvod do studia reprezentací grup. 1. vyd. Praha: Karolinum, 1999. 97 s. S. 51. 
  3. ŠNOBL, Libor. Lieovy algebry a grupy [online]. Praha: ČVUT, 2020 [cit. 2025-01-09]. S. 10. Dostupné online. 

Literatura

editovat
  • 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