Från Rilpedia

Kvaternion [-'u:n] (senlatin quatérnio, "ansamling av fyra personer eller ting"), element i en utvidgning av de reella talen till ett fyrdimensionellt talområde på ett liknande sätt som komplexa tal är en utvidgning till ett tvådimensionellt, definierat av W.R. Hamilton 1843. Mängden av kvaternioner skrivs H eller ℍ, och utgör en skevkropp samt en algebra över R (de reella talen).

Innehåll 1 Aritmetik i H 1.1 Konjugat, normer och inverser av kvaternioner. 2 Kvaterniongruppen 3 Historik 4 Källor

Aritmetik i H

Talområdet H kan uppfattas som ett fyrdimensionellt rum med en reell och tre imaginära axlar. Med andra ord kan varje kvaternion q beskrivas genom

q = a + b i + c j + d k,

där a, b, c och d är reella tal, och i, j och k är tre (över R) lineärt oberoende "imaginära enheter". Två kvaternioner   q₁ = a₁ + b₁i + c₁j + d₁k   och   q₂ = a₂ + b₂i + c₂j + d₂k   kan adderas och subtraheras på vektorvis, och kan multipliceras med användning av sambanden

i² = j² = k² = i·j·k = -1.

Alltså är   q₁+q₂ = (a₁+a₂) + (b₁+b₂) i + (c₁+c₂) j + (d₁+d₂) k;   q₁-q₂ definieras analogt; och

q₁·q₂ = (a₁a₂-b₁b₂-c₁c₂-d₁d₂) + (a₁b₂+b₁a₂+c₁d₂-d₁c₂) i + (a₁c₂-b₁d₂+c₁a₂+d₁b₂) j + (a₁d₂+b₁c₂-c₁b₂+d₁a₂) k .

Additionen, subtraktionen och multiplikationen uppfyller de flesta av de "vanliga" räknelagarna, förutom den kommutativa lagen för multiplikation; i allmänhet är   q₁·q₂ ≠ q₂·q₁.   Exempelvis är ju i j = k ≠ -k = j i. För division är situationen litet mer komplicerad. Visserligen har varje kvaternion  q skild från noll en multiplikativ invers  q^-1  (se nedan); men eftersom multiplikationen inte är kommutativ, är i allmänhet   q₁·q₂^-1 ≠ q₂^-1·q₁;   så ingendera uppfyller alla de "vanliga räkneregler" man kunde förvänta sig för en väldefinierad kvot mellan  q₁  och  q₂.

De vanliga räkneoperationerna uppfyller alla krav som ställs på en kropp, utom kommutativiteten för multiplikation. Därför är H en skevkropp som inte är en kropp i vanlig mening, och är det tidigaste kända exemplet på en sådan.

Konjugat, normer och inverser av kvaternioner.

Till en kvaternion  q = a + b i + c j + d k  kan man bilda konjugatet

.

Kvaternionkonjugat respekterar addition, subtraktion och inversbildning, men åstadkommer omkastad ordning i produkter. Med andra ord, om p och q är kvaternioner, så är

, , och om ; men .

Produkten av  q  och dess konjugat är alltid ett ickenegativt reellt tal och har därför en väldefinierad kvadratrot:

,  med likhet om och endast om   q = 0 ;

så man kan definiera en norm på H genom

.

Om   q ≠ 0,   så är normen positiv och alltså inverterbar, så att  q  då har den multiplikativa inversen

.

Kvaterniongruppen

Om man tar mängden {1, − 1,i, − i,j, − j,k, − k} bildar detta en grupp av ordning 8 under multiplikation. Denna grupp kallas kvaterniongruppen och brukar betecknas Q eller Q₈. Q₈ har följande Cayleytabell:

	1	−1	i	−i	j	−j	k	−k
1	1	−1	i	−i	j	−j	k	−k
−1	−1	1	−i	i	−j	j	−k	k
i	i	−i	−1	1	k	−k	−j	j
−i	−i	i	1	−1	−k	k	j	−j
j	j	−j	−k	k	−1	1	i	−i
−j	−j	j	k	−k	1	−1	−i	i
k	k	−k	j	−j	−i	i	−1	1
−k	−k	k	−j	j	i	−i	1	−1

Historik

Kvaternioner upptäcktes av William Rowan Hamilton år 1843. Han sökte nya sätt att utöka de komplexa talen (som kan åskådliggöras som punkter i planet) till högre rumsdimensioner. Han kunde inte göra så för tre dimensioner, men för fyra dimensioner fann han att denna utvidgning går att göra. Enligt hans egna ord kom en plötslig tanke att använda regeln i ² = j ² = k ² = ijk = -1, medan han tog sig en promenadtur med frun. Han ristade direkt in denna regel i Broom Bridge över Royal Canal i Dublin. Hamiltons ursprungliga ristning har försvunnit, men där finns i stället en minnestavla vid bron.

Regeln för med sig att den kommutativa lagen inte gäller, vilket var ett radikalt avsteg från den tidens matematik. Vektoralgebra och matriser var ännu något som inte upptäckts, men med kvaternioner hade Hamilton med detta även introducerat kryss- och skalärprodukten inom vektoralgebra. Hamilton beskrev kvaternion som ett ordnat fyrelement bestående av reella tal, och uppfattade det första elementet som en 'skalär' del, medan resterande tre uppfattades som delar av en 'vektor'. Om två kvaternioner med skalära delar lika med noll multipliceras, så är den skalära delen av produkten det negativa av skalärprodukten av vektordelarna, medan produktens vektordel är kryssprodukten. Men dessa detaljer upptäcktes först senare när vektoralgebran utvecklades.

Hamilton fortsatte att introducera kvaternioner i många böcker. Den sista, Elements of Quaternions, hade 800 sidor och publicerades kort efter hans död.

Även vid denna tidpunkt fanns diskussioner om kvaternionernas användningsområde. Några av Hamiltons stödjare (som Oliver Heaviside och Willard Gibbs) motsatte sig det växande området vektoralgebra till förmån för kvaternioner, som tillgodoser en överlägsen notation. Medan dess användningsområde inom tre dimensioner har diskuterats, så kan kvaternioner inte heller användas för godtyckliga dimensioner. Men det finns utvidgningar som oktonioner, eller Cliffordalgebror. I vilket fall som helst hade vektornotationen vunnit över kvaternionnotationen inom alla vetenskaps- och teknikfält under mitten av 1900-talet.

I dag finns potential att använda kvaternioner i bland annat datorgrafik, reglerteknik, signalbehandling och mekanik för stela kroppars kretsloppbanor, huvudsakligen för att talen representerar rotationer och/eller orienteringar. Skälet till att talsystemet introduceras i nutid är att det blir färre räkneoperationer när man kombinerar flera kvaterniontransformationer, än att kombinera flera matristransformationer. Dessutom är det ett smidigt sätt att undvika så kallad gimbal lock (rotationsaxellåsning) vid rotation.

Källor

Artikeln är, helt eller delvis, en översättning från engelskspråkiga Wikipedia.

En artikel finns i Nordisk Familjebok 15/1911