Wikipedista:Jirka Fiala/Pískoviště - en
V lineární algebře je ortogonální matice nebo ortonormální matice skutečná čtvercová matice, jejíž sloupce a řádky jsou ortonormální vektory .
Jedním ze způsobů, jak to vyjádřit, je kde je transpozice a je matice identity .
To vede k ekvivalentní charakterizaci: matice je ortogonální, pokud je její transpozice rovna její inverzní : kde Nelze pochopit (syntaktická chyba): {\displaystyle \boldsymbol{Q}^{−1}} je převrácená hodnota .
Ortogonální matice je nutně invertibilní (s inverzní ^{−1} = ^{T}</math> ), unitární ( ^{−1} = ^{∗}</math> ), kde Nelze pochopit (syntaktická chyba): {\displaystyle \boldsymbol{Q}^{∗}} je hermitovský adjoint ( konjugovaná transpozice ) , a proto normální ( ^{∗} = QQ^{∗}</math> ) přes reálná čísla . Determinant jakékoli ortogonální matice je buď +1 nebo -1. Jako lineární transformace ortogonální matice zachovává vnitřní produkt vektorů, a proto se chová jako izometrie euklidovského prostoru, jako je rotace, odraz nebo rotoreflection . Jinými slovy, je to unitární transformace .
Soubor ortogonálních matic, pod násobením, tvoří skupinu , známou jako ortogonální grupa . Podgrupa sestávající z ortogonálních matic s determinantem +1 se nazývá speciální ortogonální grupa a každý její prvek je speciální ortogonální maticí. Jako lineární transformace funguje každá speciální ortogonální matice jako rotace.
Přehled
[editovat | editovat zdroj]Ortogonální matice je skutečnou specializací unitární matice, a tedy vždy normální matice . Ačkoli zde uvažujeme pouze skutečné matice, lze definici použít pro matice se záznamy z libovolného pole . Ortogonální matice však přirozeně vyvstávají z tečkových produktů a pro matice komplexních čísel to vede místo toho k jednotnému požadavku. Ortogonální matice zachovávají bodový součin tedy pro vektory '</math> v v rozměrném reálném euklidovském prostoru kde je ortogonální matice. Chcete-li vidět vnitřní spojení produktu, zvažte vektor '</math> v -rozměrném reálném euklidovském prostoru . Psáno s ohledem na ortonormální základ, druhá mocnina délky '</math> je '^{T}''</math> . Pokud lineární transformace v maticovém tvaru ''</math> zachovává vektorové délky, pak
Konečně-dimenzionální lineární izometrie – rotace, odrazy a jejich kombinace – tedy vytvářejí ortogonální matice. Opak je také pravdou: ortogonální matice implikují ortogonální transformace. Nicméně, lineární algebra zahrnuje ortogonální transformace mezi prostory, které mohou být žádný konečný-rozměrný ani stejného rozměru, a tito mají žádný ortogonální maticový ekvivalent.
Ortogonální matice jsou důležité z mnoha důvodů, teoretických i praktických. Ortogonálních matic tvoří grupu pod maticovým násobením, ortogonální grupu označovanou , která se svými podgrupami je široce používána v matematice a fyzikálních vědách. Například bodová skupina molekuly je podskupinou O(3). Protože verze ortogonálních matic s pohyblivou řádovou čárkou mají výhodné vlastnosti, jsou klíčem k mnoha algoritmům v numerické lineární algebře, jako je rozklad . Jako další příklad, s vhodnou normalizací, je diskrétní kosinusová transformace (používaná při kompresi MP3 ) reprezentována ortogonální maticí.
Příklady
[editovat | editovat zdroj]Elementární konstrukce
[editovat | editovat zdroj]Nižší rozměry
[editovat | editovat zdroj]Nejjednodušší ortogonální matice jsou matice 1 × 1 [1] a [−1], které můžeme interpretovat jako identitu a odraz skutečné čáry napříč počátkem.
Matice 2 × 2 mají tvar které ortogonalita vyžaduje, splňují tři rovnice
S ohledem na první rovnici, bez ztráty obecnosti nechť = cos \theta</math>, = sin \theta</math> ; pak buď = −</math>, = </math> nebo = </math>, = −</math> . První případ můžeme interpretovat jako rotaci o (kde je identita) a druhý jako odraz přes přímku pod úhlem
Speciální případ odrazové matice s Nelze pochopit (syntaktická chyba): {\displaystyle 1=\theta = 90°} generuje odraz kolem přímky pod úhlem 45° daný vztahem = </math> a proto vyměňuje a ; je to permutační matice s jednou 1 v každém sloupci a řádku (a jinak 0):
Identita je také permutační matice.
Odraz je vlastní inverzní, což znamená, že matice odrazu je symetrická (rovná se její transpozici) i ortogonální. Součin dvou rotačních matic je rotační matice a součin dvou reflexních matic je také rotační matice.
Vyšší rozměry
[editovat | editovat zdroj]Bez ohledu na rozměr je vždy možné klasifikovat ortogonální matice jako čistě rotační nebo ne, ale pro matice 3 × 3 a větší mohou být nerotační matice komplikovanější než odrazy. Například,
představují inverzi přes počátek a rotoinverzi kolem osy .
Rotace se ve vyšších dimenzích stávají komplikovanějšími; již nemohou být zcela charakterizovány jedním úhlem a mohou ovlivnit více než jeden rovinný podprostor. Je běžné popisovat matici rotace 3 × 3 pomocí osy a úhlu, ale funguje to pouze ve třech rozměrech. Nad třemi rozměry jsou potřeba dva nebo více úhlů, každý spojený s rovinou rotace .
Máme však základní stavební kameny pro permutace, odrazy a rotace, které platí obecně.
Primitivové
[editovat | editovat zdroj]Nejelementárnější permutací je transpozice, získaná z matice identity výměnou dvou řádků. Libovolnou permutační matici lze zkonstruovat jako součin maximálně Nelze pochopit (syntaktická chyba): {\displaystyle n − 1} transpozic.
Householderův odraz je konstruován z nenulového vektoru '</math> as
Zde je čitatelem symetrická matice, zatímco jmenovatelem je číslo, druhá mocnina '</math> . Toto je odraz v nadrovině kolmé k '</math> (negující jakoukoli složku vektoru rovnoběžnou s '</math> ). Je-li '</math> jednotkový vektor, pak = − 2vv^{T}}}1</math> lze zkonstruovat jako součin nejvýše takových odrazů.
Givensova rotace působí na dvourozměrný (rovinný) podprostor překlenutý dvěma souřadnicovými osami, které se otáčí o zvolený úhel. Obvykle se používá k vynulování jedné subdiagonální položky. Jakoukoli rotační matici o velikosti lze zkonstruovat jako součin maximálně
Jacobiho rotace má stejný tvar jako Givensova rotace, ale používá se k vynulování obou off-diagonálních vstupů symetrické podmatice 2 × 2 .
Vlastnosti
[editovat | editovat zdroj]Vlastnosti matice
[editovat | editovat zdroj]Skutečná čtvercová matice je ortogonální právě tehdy, když její sloupce tvoří ortonormální základ euklidovského prostoru '^{}</math> s obyčejným euklidovským tečkovým součinem, což je případ právě tehdy, když její řádky tvoří ortonormální základ '^{}</math> . Mohlo by být lákavé předpokládat, že matice s ortogonálními (nikoli ortonormálními) sloupci by se nazývala ortogonální matice, ale takové matice nemají žádný zvláštní význam a nemají žádné zvláštní jméno; splňují pouze ^{T} = </math>, s diagonální maticí .
Determinant jakékoli ortogonální matice je +1 nebo -1. Vyplývá to ze základních faktů o determinantech takto:
Opak není pravda; mít determinant ±1 není zárukou ortogonality, a to ani u ortogonálních sloupců, jak ukazuje následující protipříklad.
S permutačními maticemi se determinant shoduje se signaturou, přičemž je +1 nebo -1, protože parita permutace je sudá nebo lichá, protože determinant je střídající se funkcí řádků.
Silnější než determinantní omezení je skutečnost, že ortogonální matici lze vždy diagonalizovat přes komplexní čísla, aby vykazovala úplnou sadu vlastních hodnot, z nichž všechny musí mít (komplexní) modul. 1.
Vlastnosti skupiny
[editovat | editovat zdroj]Inverzní hodnota každé ortogonální matice je opět ortogonální, stejně jako maticový součin dvou ortogonálních matic. Ve skutečnosti množina všech ortogonálních matic splňuje všechny axiómy grupy . Je to kompaktní Lieova skupina dimenzí
Ortogonální matice, jejichž determinant je +1, tvoří dráhově spojenou normální podgrupu indexu 2, speciální ortogonální grupu rotací. Kvocientová grupa )/SO()</math> je izomorfní k , přičemž projekční mapa volí [+1] nebo [−1] podle determinantu. Ortogonální matice s determinantem -1 nezahrnují identitu, a tak netvoří podskupinu, ale pouze coset ; je také (samostatně) připojen. Každá ortogonální skupina se tedy rozpadne na dva kusy; a protože projekční mapa se rozdělí, je polopřímý součin pomocí Nelze pochopit (SVG (MathML lze aktivovat pomocí doplňku prohlížeče): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „http://localhost:6011/cs.wikipedia.org/v1/“:): {\displaystyle \boldsymbol{O}(1)}}1} . Jestliže je liché, pak polopřímý součin je ve skutečnosti přímý součin a jakákoliv ortogonální matice může být vytvořena tím, že vezmeme rotační matici a případně negujeme všechny její sloupce. To vyplývá z vlastnosti determinantů, že negace sloupce neguje determinant, a tedy negace lichého (nikoli sudého) počtu sloupců neguje determinant.
Nyní zvažte + 1) × ( + 1)</math> ortogonální matice se vstupem vpravo dole rovným 1. Zbytek posledního sloupce (a posledního řádku) musí být nuly a součin jakýchkoli dvou takových matic má stejný tvar. Zbytek matice je ortogonální matice; tedy je podskupina (a všech vyšších skupin).
Protože elementární odraz ve formě matice Householder může redukovat jakoukoli ortogonální matici na tuto omezenou formu, série takových odrazů může přivést jakoukoli ortogonální matici k identitě; tak ortogonální skupina je skupina reflexe . Poslední sloupec může být fixován na libovolný jednotkový vektor a každá volba poskytuje jinou kopii v ; tímto způsobem je svazek nad jednotkovou koulí ^{}</math> s vláknem .
Podobně je podskupina ; a jakákoli speciální ortogonální matice může být generována pomocí rotací Givensových rovin pomocí analogického postupu. Struktura svazku přetrvává: ) ↪ SO( + 1) → ^{}</math> . Jediná rotace může vytvořit nulu v prvním řádku posledního sloupce a série Nelze pochopit (SVG (MathML lze aktivovat pomocí doplňku prohlížeče): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „http://localhost:6011/cs.wikipedia.org/v1/“:): {\displaystyle n − 1} rotací vynuluje všechny kromě posledního řádku posledního sloupce matice rotace . Protože jsou roviny pevné, má každá rotace pouze jeden stupeň volnosti, svůj úhel. Indukcí tedy má stupně volnosti, stejně jako .
Permutační matice jsou ještě jednodušší; tvoří nikoli Lieovu grupu, ale pouze konečnou grupu, řád symetrická skupina . Stejným druhem argumentu je podgrupou . Sudé permutace vytvářejí podskupinu permutačních matic determinantu +1, pořadí
Kanonická forma
[editovat | editovat zdroj]V širším měřítku se účinek jakékoli ortogonální matice rozdělí na nezávislé akce na ortogonálních dvourozměrných podprostorech. To znamená, že pokud je speciální ortogonální, pak lze vždy najít ortogonální matici , (rotační) změnu báze, která přivede do tvaru blokové úhlopříčky:
kde matice _{1}, ..., _{}_{1}, ..., _{}}}1</math> a se zbývajícími položkami nula. Výjimečně může být rotační blok diagonální, Nelze pochopit (SVG (MathML lze aktivovat pomocí doplňku prohlížeče): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „http://localhost:6011/cs.wikipedia.org/v1/“:): {\displaystyle ±I}}1} diagonalizuje na +1 a -1, může být do tvaru převedena jakákoli ortogonální matice
Matice _{1}, ..., _{}_{1}, ..., _{}</math> dávají konjugované dvojice vlastních čísel ležících na jednotkové kružnici v komplexní rovině ; takže tento rozklad potvrzuje, že všechna vlastní čísla mají absolutní hodnotu 1. Je-li Nelze pochopit (syntaktická chyba): {\displaystyle n}}1} je vlastní vektor spojený s +1 osou rotace.
Lieova algebra
[editovat | editovat zdroj]Předpokládejme, že položky jsou diferencovatelné funkce , a že dává = </math> . Rozlišení podmínky ortogonality výnosy
Vyhodnocení v ( = </math> ) pak implikuje
V podmínkách Lieovy grupy to znamená, že Lieova algebra ortogonální maticové skupiny sestává ze šikmo symetrických matic . V opačném směru je exponenciální matice jakékoli šikmo symetrické matice ortogonální matice (ve skutečnosti speciální ortogonální).
Například fyzika trojrozměrných objektů nazývá úhlovou rychlost jako diferenciální rotaci, tedy vektor v Lieově algebře. tečna k . Je-li dáno , kde ' = (, , )</math> je jednotkový vektor, je správný tvar šikmo symetrické matice
Exponenciála tohoto je ortogonální matice pro rotaci kolem osy '</math> o úhel ; nastavení = cos Šablona:Sfrac1</math>
Numerická lineární algebra
[editovat | editovat zdroj]Výhody
[editovat | editovat zdroj]Numerická analýza využívá mnoho vlastností ortogonálních matic pro numerickou lineární algebru a vznikají přirozeně. Například je často žádoucí vypočítat ortonormální bázi pro prostor nebo ortogonální změnu bází; oba mají formu ortogonálních matic. Mít determinant ±1 a všechna vlastní čísla velikosti 1 je velkým přínosem pro numerickou stabilitu . Jedním z důsledků je, že číslo podmínky je 1 (což je minimum), takže chyby se při násobení ortogonální maticí nezvětšují. Mnoho algoritmů používá z tohoto důvodu ortogonální matice, jako jsou Householderovy odrazy a Givensovy rotace . Je také užitečné, že ortogonální matice je nejen invertibilní, ale její inverzní je dostupná v podstatě zdarma výměnou indexů.
Permutace jsou zásadní pro úspěch mnoha algoritmů, včetně tahounové Gaussovy eliminace s částečným otáčením (kde permutace dělají pivotování). Zřídka se však objevují výslovně jako matrice; jejich speciální forma umožňuje efektivnější reprezentaci, jako je seznam indexů.
Podobně algoritmy využívající matice Householder a Givens typicky používají specializované metody násobení a ukládání. Například Givensova rotace ovlivní pouze dva řádky matice, kterou vynásobí, a změní plné násobení řádu na mnohem efektivnější řád . Když použití těchto odrazů a rotací zavede do matice nuly, uvolněný prostor je dostatečný k uložení dostatečných dat pro reprodukci transformace, a to robustně. (Po Stewart (1976 ), neukládáme úhel natočení, což je drahé a špatně se chová.)
Rozklady
[editovat | editovat zdroj]Řada důležitých rozkladů matic ( zahrnuje ortogonální matice, včetně zejména:
- rozklad
- = QR</math>, ortogonální, horní trojúhelníkový
- Dekompozice singulární hodnoty
- = Σ^{T}</math>, a ortogonální, Nelze pochopit (SVG (MathML lze aktivovat pomocí doplňku prohlížeče): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „http://localhost:6011/cs.wikipedia.org/v1/“:): {\displaystyle Σ} diagonální matice
- Vlastní rozklad symetrické matice (rozklad podle spektrální věty )
- = Λ^{T}</math>, symetrický, ortogonální, Nelze pochopit (syntaktická chyba): {\displaystyle Λ} diagonální
- Polární rozklad
- = QS</math>, ortogonální, symetrický pozitivně semidefinitní
Příklady
[editovat | editovat zdroj]Uvažujme přeurčený systém lineárních rovnic, jak se může stát při opakovaných měřeních fyzikálních jevů, aby se kompenzovaly experimentální chyby. Napište '' = ''</math>, kde je , > </math> . Rozklad redukuje na horní trojúhelníkové . Pokud je například Nelze pochopit (syntaktická chyba): {\displaystyle \boldsymbol{A}}}1} , pak má tvar
Lineární problém nejmenších čtverců je najít '</math>, které minimalizuje Nelze pochopit (syntaktická chyba): {\displaystyle {{norm|<math>\boldsymbol{A}} '' − ''}}1</math>, což je ekvivalentní promítání '</math> do podprostoru rozloženého sloupci . Za předpokladu, že sloupce (a tedy ) jsou nezávislé, řešení projekce se nalézá z ^{T}'' = ^{T}''</math> . Nyní ^{T}</math> čtvercová ( ) a invertibilní a také se rovná ^{T}</math> Spodní řady nul v jsou však nadbytečné v součinu, který je tedy již v nižším trojúhelníkovém horním trojúhelníkovém faktorizovaném tvaru, jako v Gaussově eliminaci ( Choleského rozklad ). Zde je ortogonalita důležitá nejen pro redukci ^{T} = (^{T}^{T})QR</math> na ^{T}</math>, ale také pro umožnění řešení bez zvětšování numerických problémů.
V případě lineárního systému, který je nedostatečně určen, nebo jinak neinvertibilní matice, je stejně užitečný rozklad singulární hodnoty (SVD). S jako Σ^{T}</math>, uspokojivé řešení používá Moore-Penrose pseudoinverse, Σ^{+}^{T}</math>, kde Nelze pochopit (SVG (MathML lze aktivovat pomocí doplňku prohlížeče): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „http://localhost:6011/cs.wikipedia.org/v1/“:): {\displaystyle Σ^{+}} pouze nahrazuje každý nenulový diagonální vstup jeho reciprokou. Nastavte '</math> na Σ^{+}^{T}''</math> .
Zajímavý je také případ čtvercové invertibilní matice. Předpokládejme například, že Nelze pochopit (SVG (MathML lze aktivovat pomocí doplňku prohlížeče): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „http://localhost:6011/cs.wikipedia.org/v1/“:): {\displaystyle \boldsymbol{A}}}1} , která byla vypočítána jako složení mnoha zákrutů a otočení. Plovoucí desetinná čárka neodpovídá matematickému ideálu reálných čísel, takže postupně ztratilo svou pravou ortogonalitu. Gram-Schmidtův proces by mohl ortogonalizovat sloupce, ale není to nejspolehlivější, nejúčinnější ani nejvíce invariantní metoda. Polární rozklad rozdělí matici na pár, z nichž jedna je jedinečná ortogonální matice nejbližší dané matici nebo jedna z nejbližších, pokud je daná matice singulární. (Blízkost lze měřit jakýmkoli invariantem maticové normy při ortogonální změně báze, jako je spektrální norma nebo Frobeniova norma.) Pro téměř ortogonální matici lze rychlé konvergence k ortogonálnímu faktoru dosáhnout " Newtonovou metodou " přístup díky Higham (1986) ( 1990 ), při opakovaném zprůměrování matice s její inverzní transpozicí. Dubrulle (1999) publikoval zrychlenou metodu s pohodlným testem konvergence.
Uvažujme například neortogonální matici, pro kterou má jednoduchý algoritmus průměrování sedm kroků a které zrychlení se upraví na dva kroky (s Nelze pochopit (syntaktická chyba): {\displaystyle γ} = 0,353553, 0,565685).
Gram-Schmidt poskytuje horší řešení, znázorněné Frobeniovou vzdáleností 8,28659 místo minima 8,12404.
Randomizace
[editovat | editovat zdroj]Některé numerické aplikace, jako jsou metody Monte Carlo a průzkum vysokorozměrných datových prostorů, vyžadují generování rovnoměrně distribuovaných náhodných ortogonálních matic. V tomto kontextu je „jednotné“ definováno z hlediska Haarovy míry, která v podstatě vyžaduje, aby se rozdělení nezměnilo, pokud je vynásobeno jakoukoli volně vybranou ortogonální maticí. Ortogonalizační matice s nezávislými rovnoměrně rozloženými náhodnými položkami nevedou k rovnoměrně rozloženým ortogonálním maticím </link>, ale rozklad nezávislých normálně distribuovaných náhodných záznamů ano, pokud úhlopříčka obsahuje pouze pozitivní záznamy ( . Stewart (1980) to nahradil efektivnější myšlenkou, kterou Diaconis & Shahshahani (1987) později zobecnili jako „algoritmus podskupiny“ (ve které formě funguje stejně dobře pro permutace a rotace). Pro generování + 1) × ( + 1)</math> ortogonální matice vezměte Nelze pochopit (SVG (MathML lze aktivovat pomocí doplňku prohlížeče): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „http://localhost:6011/cs.wikipedia.org/v1/“:): {\displaystyle n\times n}}1} . Vytvořte Householderův odraz z vektoru a poté jej aplikujte na menší matici (vloženou do větší velikosti s 1 v pravém dolním rohu).
Nejbližší ortogonální matice
[editovat | editovat zdroj]Problém nalezení ortogonální matice nejbližší dané matici souvisí s problémem Orthogonal Procrustes . Existuje několik různých způsobů, jak získat jedinečné řešení, z nichž nejjednodušší je vzít singulární rozklad a nahradit singulární hodnoty jedničkami. Jiná metoda vyjadřuje explicitně, ale vyžaduje použití maticové druhé odmocniny : [1]
To lze zkombinovat s babylonskou metodou pro extrakci druhé odmocniny matice, čímž se získá opakování, které kvadraticky konverguje k ortogonální matici: kde _{0} = </math>
Tyto iterace jsou stabilní za předpokladu, že číslo podmínky je menší než tři.
Použití inverzní aproximace prvního řádu a stejná inicializace vede k modifikované iteraci:
Otočte a připněte
[editovat | editovat zdroj]Některá použití ortogonálních matic sužuje drobný technický problém. Nejen, že složky grupy s determinantem +1 a −1 nejsou vzájemně spojeny, dokonce ani složka +1, , není jednoduše spojena (kromě SO(1), což je triviální). Někdy je tedy výhodné, nebo dokonce nutné pracovat s krycí skupinou SO( ), spinovou skupinou, . Podobně má krycí skupiny, skupiny pinů, Pin( ). Pro je jednoduše spojen a tedy univerzální krycí skupina pro . Zdaleka nejznámějším příkladem spinové grupy je , což není nic jiného než , neboli skupina jednotkových čtveřic .
Skupiny Pin a Spin se nacházejí v Cliffordových algebrách, které samy mohou být sestaveny z ortogonálních matic.
Obdélníkové matice
[editovat | editovat zdroj]Pokud není čtvercová matice, pak podmínky ^{T} = </math> a </math> nejsou ekvivalentní. Podmínka ^{T} = </math> říká, že sloupce jsou ortonormální. To se může stát pouze v případě, že je matice s ≤ </math> (kvůli lineární závislosti). Podobně </math> říká, že řady jsou ortonormální, což vyžaduje ≥ </math> .
Pro tyto matice neexistuje standardní terminologie. Nazývají se různě „poloortogonální matice“, „ortonormální matice“, „ortogonální matice“ a někdy jednoduše „matice s ortonormálními řadami/sloupci“.
Pro případ ≤ </math> mohou být matice s ortonormálními sloupci označovány jako ortogonální k-snímky a jsou prvky Stiefelovy manifoldy .
Viz také
[editovat | editovat zdroj]- Bioortogonální systém
Externí odkazy
[editovat | editovat zdroj][[Kategorie:Matice]] [[Kategorie:Údržba:Články s nekontrolovanými překlady]]