Hopp til innhold

Oktonion

Fra Wikipedia, den frie encyklopedi
De syv punktene i Fano-planet kan direkte knyttes til oktonionene.

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.

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 xyyx 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 xx -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 ee = e 2 = -1. De syv vektorielle basiselementene for oktonionene er dermed e1 = i, e2 = j, e3 = k, e4 = e, e5 = ie, e6 = je og e7 = ke. 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 + Qe gitt som

slik at produktregelen gir den ønskede normen x*x = P *P + Q *Q. Samme regel gir også som forventet at e5e5 = (ie)(ie) = -i*i = i 2 = - 1 og likedan e6e6 = e7e7 = -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(e5e6) = e7, mens (e4e5)e6 = -e7. For tre vilkårlige oktonioner x, y og z gjelder derfor ikke lenger at x(yz) kan settes lik med (xy)z. Derimot har man generelt de mer spesielle egenskapene

som uttrykker en form for «alternativitet».[2]

Fano-planet

[rediger | rediger kilde]
De vektorielle basiselementene utgjør de syv punktene i Fano-planet. Multiplikasjon av oktonioner følger fra de tre punktene på hver av de syv linjene i planet.

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 e1e2 = e3, men også e2e4 = e6 og e3e4 = e7.

Det er forbindelsen til Fano-planet som i stor grad forbinder oktonionene med egenskaper til noen av de mest spesielle Lie-gruppene.

Referanser

[rediger | rediger kilde]
  1. ^ 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.
  2. ^ a b c J.C. Baez, The Octonions, Bull. Amer. Math. Soc. 39, 145-205 (2002). arXiv:math/0105155
  3. ^ A. Cayley, On certain Results relating to Quaternions, Philosophical Magazine 26(3), 141-145 (1845).
  4. ^ 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]