V matematice , je čtveřice je číslo v generalizované smyslu. Čtvrtiny zahrnují reálná a komplexní čísla v číselném systému, kde násobení již není komutativním zákonem . Čtvrtiny představil matematik Ir William William Rowan Hamilton v roce 1843. Nyní nacházejí uplatnění v matematice, ve fyzice , ve výpočetních a technických vědách .
Quaterniony jsou tedy prvním příkladem hyperkomplexních čísel . Podle Frobeniovy věty jsou také poslední v tom smyslu, že neexistuje obecnější číselný systém, pokud se jeden nezřekne asociativity násobení. Matematicky je množina čtveřic je sjednocen asociativní algebra nad tělesem reálných čísel generovaného tří prvků , a splňující kvaternionové vztahů :
Je to algebra rozdělení : jakýkoli nenulový kvaternion připouští inverzi. Násobení čtveřic, které nejsou komutativní , je prvním příkladem nekomutativního pole .
V publikaci o oktonionech matematik John Baez připomíná postupnou ztrátu vlastností: reálné jsou úplné a uspořádané, komplexy nejsou uspořádané, ale chovají se „algebraicky dobře“, čtveřice již nejsou komutativní a oktoniony již nejsou dokonce asociativní .
Kvaterniony „objevil“ Hamilton v roce 1843 . Důležitými předchůdci jeho díla jsou Identita čtyř čtverců Eulera (1748) a vzorec Euler-Rodrigues (1840). Gauss také „objevil“ čtveřice v roce 1819, ale jeho práce byla publikována až v roce 1900.
Hamilton věděl, že ve dvojrozměrné rovině mohou být zastoupena komplexní čísla, a dlouho hledal operaci v trojrozměrném prostoru, která by zobecnila komplexní násobení. Frobenius v roce 1877 ukáže, že tento výzkum byl marný , bylo nutné zavést další rozměr. Podle Hamiltona došlo k jiskře16. října 1843, když šel se svou ženou po královském kanálu v Dublinu . Řešení k němu přišlo ve formě vztahů . Tento vzorec vyryl do kamene Broughamského mostu . Tento nápis, který byl nyní vymazán časem, byl nahrazen pamětní deskou. Dal své jméno čtveřicím a zbytek svého života věnoval jejich studiu a šíření.
V Hamiltonově brázdě byla objevena další „čísla“, například octoniony , označovaná jako hyperkomplexní čísla . Čtveřice a hyperkomplexní jiní však byly opuštěny ve prospěch vektorové analýzy na konci XIX th století. Oni zažili oživení od konce XX -tého století, a to zejména v některých technických věd , protože reprezentace, které poskytují prostorové rotace, který se vyhýbá nepřehledná matrice.
× | 1 | i | j | k |
---|---|---|---|---|
1 | 1 | i | j | k |
i | i | -1 | k | - j |
j | j | - k | -1 | i |
k | k | j | - i | -1 |
Sada čtveřic může být popsán jako jednotící asociativní algebry nad reálných čísel generovaných tři prvky , a který splňuje kvaternionové vztahy .
Konkrétně je jakýkoli čtveřice napsána jedinečným způsobem ve formě
q=Na+bi+vsj+dk{\ Displaystyle q = a + bi + cj + dk} kde , , a jsou reálná čísla , a jsou tři symboly.Čtvrtiny se sčítají a množí stejně jako jiná čísla ( asociativita násobení a sčítání, distributivita násobení nad sčítáním atd. ), Přičemž dávejte pozor, abyste si nedovolili změnit pořadí faktorů v produktu (násobení není komutativní), s výjimkou skutečného faktor. Pokud jsou produkty, symbolů , a se setkal, jsou nahrazeny svými hodnotami:
Vzorec kondenzuje všechny tyto vztahy.
Například vynásobme čtveřice a :
q1q2=(3i-k)(2+j+k)=3i(2+j+k)-k(2+j+k)=6i+3ij+3ik-2k-kj-k2=6i+3k-3j-2k+i+1=1+7i-3j+k.{\ Displaystyle {\ begin {aligned} q_ {1} \, q_ {2} & = (3i -k) (2 + j + k) \\ & = 3i (2 + j + k) -k (2+ j + k) \\ & = 6i + 3ij + 3ik-2k-kj-k ^ {2} \\ & = 6i + 3k-3j-2k + i + 1 \\ & = 1 + 7i-3j + k \ ,. \ end {aligned}}}Jako reálný vektorový prostor, je kanonicky izomorfní k , na základě roku je dán Quadrupletu .
Stejně jako všechny uniferous algebry , obsahuje základní pole ve svém středu ; ve skutečnosti existuje rovnost dvou: reálné jsou jedinečné čtveřice, které dojíždějí se všemi ostatními. také obsahuje pole komplexů : výraz může označit lhostejně komplexní číslo nebo čtveřice (je to pohodlný způsob, jak vyjádřit skutečnost, že existuje jediný morfismus algebry, který vysílá komplexní číslo obvykle uvedené na čtveřici ). Přirozeně jde zejména o -vektorový prostor dimenze 2. Jako algebru může být reprezentována jako subalgebra maticových algeber a (viz níže).
Stejně jako jakékoli nenulové reálné nebo komplexní číslo má jakýkoli nenulový čtveřice inverzní (jedinečný, nutně). je tedy nekomutativní pole , v tomto případě a - divize algebra . Tyto věta Frobeniovy zajišťuje, že se jedná o jediný algebra asociativní konečný-rozměrný dělení a unital kromě reálných čísel a komplexních čísel . Pokud dovolíme ztrátu asociativity násobení, najdeme také algebru oktonionů .
Je čtveřice (kde , , a jsou reálná čísla).
Skutečné číslo se nazývá skutečná (nebo skalární) část a je zaznamenáno . Čtverec , nazývaný čistě imaginární , se nazývá imaginární (nebo vektorová) část a je známý . Takže můžeme psát .
Čtveřice se nazývá (kvaternionové) konjugát z a je třeba poznamenat, (jsou použity jiné značení, například a ). Kvaternionové časování je involutive anti- automorphism : je -Lineární, involutive a obrátí produkty: máme vždy .
Kladné reálné číslo definován se nazývá normu o . Je to euklidovská norma spojená s obvyklým skalárním součinem . Díky vlastnostem kvaternionové konjugace je tato norma multiplikativní: vždy máme .
Jakýkoli nenulový čtveřice připouští (jedinečnou) inverzi danou . To umožňuje dělení čtveřice nenulovým čtveřicí , ale toto dělení lze provést vlevo nebo vpravo (obecně neprodukuje stejný výsledek): nebo . Z tohoto důvodu je zápis nejednoznačný a neměl by být používán.
Stejně jako je možné přiřadit matici ke komplexnímu číslu , je možné přiřadit matice ke čtveřicím. Existují dva standardní způsoby, jak toho dosáhnout, prvním je použití reálných matic o rozměru 4 × 4, druhým je použití komplexních matic o rozměru 2 × 2. Tyto asociace nám umožňují identifikovat se jako subalgebra a .
Pojďme jednat podle sebe násobením vlevo. Tato akce je lineární a věrná, proto definuje morfismus injektivních algeber . Matice spojená s čtveřicí je následující matice
(Na-b-vs-dbNa-dvsvsdNa-bd-vsbNa){\ Displaystyle {\ begin {pmatrix} \ quad a & \ quad -b & \ quad -c & \ quad -d \\\ quad b & \ quad a & \ quad -d & \ quad c \\\ quad c & \ quad d & \ quad a & \ quad -b \\\ quad d & \ quad -c & \ quad b & \ quad a \ end {pmatrix}} \,}Výběrem základ ve jako -vector prostor identifikuje až . Z důvodů nekomutativity je zde výhodnější považovat jej za prostor pravého vektoru . Čtverec je tedy identifikován s dvojicí, jako je , a to .
Jednejme o vynásobením vlevo. Tato akce je -Lineární (což by nemělo být v případě, kdy jsme zvažovali -vector prostor na levé straně). Je také věrný, takže definuje morfismus injektivních algeber Matice spojená s čtveřicí je matice:
Mq=(Na+ib-vs-divs-diNa-ib){\ displaystyle M_ {q} = {\ begin {pmatrix} a + ib & -c-di \\ c-di & a-ib \ end {pmatrix}}}nebo také , kde matice , , a jsou komplexní matrice spojené s čtveřic , , a resp. Tyto matice jsou úzce spjaty s maticemi Pauli v kvantové fyzice .
Tyto čtveřice jednotky jsou, samozřejmě, čtveřice z normy 1.
Libovolný nenulový kvaternion lze zapsat jednoznačně ve formě , kde je striktně kladné reálné číslo a je jednotkový kvaternion.
Analogicky ke komplexním číslům modulu 1 lze jakýkoli jednotkový kvaternion zapsat jako , kde je skutečné číslo a je čistě imaginární jednotkový kvaternion. Zápis lze považovat za jednoduchý zápis označující čtveřice , ale exponenciální funkce v čtveřicích lze definovat obvyklou exponenciální řadou.
Nakonec je libovolný čtveřice napsána ve formě , kde je kladné reálné číslo, je reálné číslo a je čistě imaginární jednotkou čtveřice. Můžeme si povšimnout, že rozklad kvartérního argumentu není ojedinělý, pokud není uložen například (tedy zvolit jej na jednotkovou sféru s nulovou skutečnou částí, to znamená ani 1 ani -1) a uložit volbu skutečný v pootevřeném intervalu šířky ).
Zejména je možné rozpoznat Eulerovu identitu v tomto psaní kvaternionu , kde rozklad dává jednotný modul a komplexní argument se rozkládá například na , ale pouze v případě, že ukládá unitární a například v .
Čtverce jednotek tvoří multiplikativní skupinu (podskupinu ). Je to známá Lieova skupina .
Topologicky je sféra dimenze 3, protože je jednotkovou sférou
Působení levého násobení představuje všechny automorfismy jako pravo dimenzionální 1-vektorový prostor, což jsou izometrie, z tohoto důvodu lze nazvat hyperunitární skupina 1. úrovně a lze ji také zaznamenat .
Dále dolů je vysvětleno, že je dvojitý potah ze speciální ortogonální skupiny , který ukazuje zejména to, že má pro základní skupinu a univerzální krytinou . je tedy také skupina spinorů .
Na druhou stranu se identifikace jako subalgebry identifikuje s jednotnou speciální skupinou .
Označte množinu čistých imaginárních čtveřic, takže . Vybaven základnou a indukovanou euklidovskou normou, je 3-dimenzionální euklidovský prostor kanonicky izomorfní . Pod tímto izomorfismem je vektor identifikován s čistým imaginárním kvaternionem a můžeme si dovolit označit quaternion jako . Použije-li se tento zápis je obvyklé volat na skalární část a i jeho vektorový část .
Produkt Hamilton (tj. Produkt čtveřice) z a je pak dán vztahem:
q1q2=(Na1+proti1→)(Na2+proti2→)=Na+proti→{\ displaystyle q_ {1} q_ {2} = (a_ {1} + {\ vec {v_ {1}}}) (a_ {2} + {\ vec {v_ {2}}}) = a + { \ vec {vb}}} nebo: Na=Na1Na2-proti1→⋅proti2→Etproti→=Na1proti2→+Na2proti1→+proti1→∧proti2→.{\ Displaystyle a = a_ {1} a_ {2} - {\ vec {v_ {1}}} \ cdot {\ vec {v_ {2}}} \ qquad \ mathrm {and} \ qquad {\ vec {v }} = a_ {1} {\ vec {v_ {2}}} + a_ {2} {\ vec {v_ {1}}} + {\ vec {v_ {1}}} \ klín {\ vec {v_ {2}}} \,.} Zde značí skalární produkt v a na součin . Zejména (take ) lze skalární součin a zkřížený součin dvou vektorů in "obnovit", respektive jako skalární část (až ke znaménku) a vektorovou část jejich Hamiltonova součinu.Uvažujme akci on
konjugací : akce čtveřice je dána vztahem . Tato akce zachovává rozklad . Jádrem akce je průnik s centrem (což je ), viz . Tato akce je navíc izometrická z multiplikativity normy a lze ověřit, že zachovává orientaci. Akce vyvolaná proto definuje morfismus skupin vs:Sp(1)→SÓ(ImH)≈SÓ(3)u↦(vsu:q↦uqu-1){\ displaystyle {\ begin {aligned} c \ colon \ operatorname {Sp} (1) & \ to SO (\ operatorname {Im} \ mathbb {H}) \ cca SO (3) \\ u & \ mapsto (c_ {u}: q \ mapsto uqu ^ {- 1}) \ end {zarovnáno}}} jehož jádro je . Není obtížné ověřit, že pokud označujeme v polární formě , pak je rotace osy směrována (a směrována) o úhel . Morfismus je zejména surjektivní, proto vyvolává izomorfismus .Čtveřice a hyperkomplexní jiné byly opuštěny ve prospěch vektorové analýzy od konce XIX th století. Oni zažili oživení od konce XX -tého století pro výpočet v trojrozměrném prostoru, a to zejména proto, že reprezentace poskytují prostorové rotace. Ten je silnější z výpočetního hlediska, než zastoupení matrice (protože více kompaktní, efektivní a numericky stabilní), a nemá nevýhodu blokování kardanový z úhly Eulera . Poskytuje také pohodlný způsob výpočtu interpolace mezi dvěma rotacemi (po geodetickém zapnutí ).
Používají se zejména v počítačové grafice , robotice , teorii řízení , zpracování signálu , molekulární dynamice , prostorové mechanice , teorii řízení . Například je běžné, že se systémy řízení pohybu kosmické lodi řídí pomocí čtveřic.
Ve fyzice se čtveřice objevují v krystalografii , kvantové mechanice a kosmologii .
V matematice nacházejí uplatnění zejména v teorii čísel a v diferenciální geometrii .
" Skutečná čísla jsou spolehlivým živitelem rodiny, kompletním uspořádaným polem, na které se všichni spoléháme." Složitá čísla jsou o něco zářivější, ale stále úctyhodného mladšího bratra: nejsou uspořádaní, ale algebraicky úplní. Kvaterniony, protože jsou nekomutativní, jsou výstředním bratrancem, kterému se vyhýbají na důležitých rodinných setkáních. Ale octonioni jsou šílený starý strýc, kterého nikdo nepustí z podkroví: jsou neasociační »