Oktonion
![](https://upload.wikimedia.org/wikipedia/commons/thumb/d/d9/Fano_mnemonic3.png/250px-Fano_mnemonic3.png)
Oktonion (fra latin octo - åtte) eller Cayley-tall er et element i en åttedimensjonal utvidelse av de reelle tallene på samme måte som kvaternionene er en firedimensjonal utvidelse. Den tilsvarende tallmengden betegnes vanligvis med O eller . Tallene kommuterer ikke ved multiplikasjon og denne operasjonen er heller ikke assosiativ. I motsetning til kvaternionene kan de derfor ikke representeres ved matriser og har ingen kjente, praktiske anvendelser. Innen ren matematikk knyttes de til spesielle Lie-grupper og deres egenskaper.
Tallmengdene R av reelle tall, C av komplekse tall, H av kvaternioner og O av oktonioner er de eneste divisjonsalgebraene over de reelle tallene som er normerte, det vil si at hvert element kan tilordnes en entydig, numerisk verdi.
Historie
[rediger | rediger kilde]Dagen etter at William Rowan Hamilton i oktober 1843 oppdaget kvaternionene, skrev han om disse i et brev til sin venn John Thomas Graves. I desember samme år kunne Graves fortelle Hamilton at han hadde kommet frem til en lignende, åttedimensjonal utvidelse som han kalte for «oktaver». Komponentene oppfylte en «åtte-kvadraters identitet» av samme form som fire-kvadrats identiteten for komponentene til to kvarterioner.
På samme tid hadde også den unge Arthur Cayley fattet interesse for Hamiltons kvaternioner. I et publisert arbeid om elliptiske funksjoner i 1845 tok han med et appendiks hvor han presenterte egenskapene til dagens oktonioner som han hadde kommet frem til på egen hånd. Selv om Hamilton kunne bekrefte at Graves hadde gjort dette tidligere, ble det likevel arbeidet til Cayley som ble lagt merke til. Disse nye tallene fikk dermed Cayleys navn knyttet til seg.[1]
I tillegg viste det seg at åtte-kvadraters identiteten til Graves var tidligere funnet i en annen sammenheng av Carl F. Degen som hadde hjulpet Niels H. Abel da han ennå var student.[2]
Definisjon
[rediger | rediger kilde]Oktonioner er element i et åttedimensjonalt vektorrom med basisvektorer 1, e1, e2, e3, e4, e5, e6 og e7 slik at de kan skrives som
hvor de åtte komponentene (x0,x1,x2,x3,x4,x5,x6,x7) er reelle tall. De første komponenten x0 sies å tilhøre den skalare delen av oktonionen, mens de syv andre tilhører den vektorielle eller «imaginære» delen.
Basiselementene danner en divisjonsalgebra slik at produktet av to element alltid kan uttrykkes som en lineærkombinasjon av dem selv. To oktononioner x og y kan derfor multipliseres sammen med resultat xy eller yx som også er oktonioner. I allminnelighet er xy ≠ yx slik at de i allminnelighet ikke kommuterer med hverandre.
Hvert element x skal også ha en bestemt norm |x | slik at |xy | = |x | |y |. Den kan beregnes fra den konjugerte x* av hver oktonion, definert
hvor produktet må være slik at
Da kan den inverse x -1 til oktonion x finnes som
slik at den oppfyller betingelsen x x -1 = x -1x = 1. Graves og Cayley viste at produkter mellom de forskjellige basiselementene kan finnes slik at disse egenskapene ved oktonionene er oppfylt.[1]
Cayley-Dicksons konstruksjon
[rediger | rediger kilde]1 | e1 | e2 | e3 | e4 | e5 | e6 | e7 | |
1 | 1 | e1 | e2 | e3 | e4 | e5 | e6 | e7 |
e1 | e1 | −1 | e3 | -e2 | e5 | -e4 | -e7 | e6 |
e2 | e2 | −e3 | −1 | e1 | e6 | e7 | -e4 | -e5 |
e3 | e3 | e2 | −e1 | −1 | e7 | -e6 | e5 | -e4 |
e4 | e4 | -e5 | −e6 | −e7 | −1 | e1 | e2 | e3 |
e5 | e5 | e4 | -e7 | e6 | −e1 | −1 | -e3 | e2 |
e6 | e6 | e7 | e4 | -e5 | −e2 | e3 | −1 | -e1 |
e7 | e7 | -e6 | e5 | e4 | -e3 | −e2 | e1 | −1 |
Den enkleste og meste brukte fremgangsmåte for å finne multiplikasjonsregler mellom basiselementene som tilfredsstiller disse betingelsene, går tilbake til det første arbeidet til Cayley[3] som senere ble videreført av Dickson.[4]
På samme måte som kvaternioner kan defineres som et par av komplekse tall, kan man tenke seg oktonioner som bestående av et tallpar (P,Q ) der P og Q er kvaternioner. Det tilsvarer å utvide vektorrommet for disse som er gitt ved basiselementene 1, i, j og k med et nytt, imaginært basiselement e. En oktonion kan dermed skrives som
der e e = e 2 = -1. De syv vektorielle basiselementene for oktonionene er dermed e1 = i, e2 = j, e3 = k, e4 = e, e5 = i e, e6 = j e og e7 = k e. Disse kan multipliseres sammen basert på en generalisering av produktregelen for kvaternioner. Den gir
hvor rekkefølgen av faktorene i produktene er viktig da kvaternionene ikke kommuterer med hverandre. Med denne notasjonen er den konjugerte av oktonion x = P + Q e gitt som
slik at produktregelen gir den ønskede normen x*x = P *P + Q *Q. Samme regel gir også som forventet at e5 e5 = (i e)(i e) = -i*i = i 2 = - 1 og likedan e6 e6 = e7 e7 = -1. Alle produktene kan samles i en kvadratisk tabell hvor elementene er plassert antisymmetrisk om diagonalen med negative enere.[2]
En konsekvens av disse regnereglene er at multiplikasjon ikke er assosiativ. For eksempel kan man fra tabellen se at e4(e5 e6) = e7, mens (e4 e5)e6 = -e7. For tre vilkårlige oktonioner x, y og z gjelder derfor ikke lenger at x(y z) kan settes lik med (x y)z. Derimot har man generelt de mer spesielle egenskapene
som uttrykker en form for «alternativitet».[2]
Fano-planet
[rediger | rediger kilde]Produktene av de vektorielle basiselementene som følger fra konstruksjonen til Cayley og Dickson, kan også elegant gjengis i Fano-planet. Det består av syv punkter knyttet sammen ved syv linjer bestående av tre punkt abc. Hvis punktene angis som vist i figuren, er de tilsvarende linjene 123, 145, 176, 246, 257, 347, 365. Hver linje har en syklisk retning slik at produktet av to basisvektorer
når indeksene abc følger denne retningen. For eksempel inkluderer dette den fundamentale sammenhengen e1 e2 = e3, men også e2 e4 = e6 og e3 e4 = e7.
Det er forbindelsen til Fano-planet som i stor grad forbinder oktonionene med egenskaper til noen av de mest spesielle Lie-gruppene.
Se også
[rediger | rediger kilde]Referanser
[rediger | rediger kilde]- ^ a b J.H. Conway and D.A. Smith, On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry, CRC Press, Boca Raton (2003). ISBN 978-1-56881-134-5.
- ^ a b c J.C. Baez, The Octonions, Bull. Amer. Math. Soc. 39, 145-205 (2002). arXiv:math/0105155
- ^ A. Cayley, On certain Results relating to Quaternions, Philosophical Magazine 26(3), 141-145 (1845).
- ^ L.E. Dickson, On Quaternions and Their Generalization and the History of the Eight Square Theorem, Annals of Mathematics, 20(3), 155–171 (1919).
Eksterne lenker
[rediger | rediger kilde]- J.C. Baez, Octonions, informative websider
- Quanta Magazine, Octonions in particle physics?