Oktonion

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 
  
    
      
        
          O
        
      
    
    {\displaystyle \mathbb {O} }
  . 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 ==
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.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.


== Definisjon ==
Oktonioner er element i et åttedimensjonalt vektorrom med basisvektorer  1, e1,  e2, e3,  e4,  e5,  e6 og  e7 slik at de kan skrives som

  
    
      
        x
        =
        
          x
          
            0
          
        
        +
        
          x
          
            1
          
        
        
          
            e
          
          
            1
          
        
        +
        
          x
          
            2
          
        
        
          
            e
          
          
            2
          
        
        +
        
          x
          
            3
          
        
        
          
            e
          
          
            3
          
        
        +
        
          x
          
            4
          
        
        
          
            e
          
          
            4
          
        
        +
        
          x
          
            5
          
        
        
          
            e
          
          
            5
          
        
        +
        
          x
          
            6
          
        
        
          
            e
          
          
            6
          
        
        +
        
          x
          
            7
          
        
        
          
            e
          
          
            7
          
        
      
    
    {\displaystyle x=x_{0}+x_{1}\mathbf {e} _{1}+x_{2}\mathbf {e} _{2}+x_{3}\mathbf {e} _{3}+x_{4}\mathbf {e} _{4}+x_{5}\mathbf {e} _{5}+x_{6}\mathbf {e} _{6}+x_{7}\mathbf {e} _{7}}
  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 

  
    
      
        
          x
          
            ∗
          
        
        =
        
          x
          
            0
          
        
        −
        
          x
          
            1
          
        
        
          
            e
          
          
            1
          
        
        −
        
          x
          
            2
          
        
        
          
            e
          
          
            2
          
        
        −
        
          x
          
            3
          
        
        
          
            e
          
          
            3
          
        
        −
        
          x
          
            4
          
        
        
          
            e
          
          
            4
          
        
        −
        
          x
          
            5
          
        
        
          
            e
          
          
            5
          
        
        −
        
          x
          
            6
          
        
        
          
            e
          
          
            6
          
        
        −
        
          x
          
            7
          
        
        
          
            e
          
          
            7
          
        
      
    
    {\displaystyle x^{*}=x_{0}-x_{1}\mathbf {e} _{1}-x_{2}\mathbf {e} _{2}-x_{3}\mathbf {e} _{3}-x_{4}\mathbf {e} _{4}-x_{5}\mathbf {e} _{5}-x_{6}\mathbf {e} _{6}-x_{7}\mathbf {e} _{7}}
  hvor produktet må være slik at

  
    
      
        
          x
          
            ∗
          
        
        x
        =
        
          x
          
            0
          
          
            2
          
        
        +
        
          x
          
            1
          
          
            2
          
        
        +
        
          x
          
            2
          
          
            2
          
        
        +
        
          x
          
            3
          
          
            2
          
        
        +
        
          x
          
            4
          
          
            2
          
        
        +
        
          x
          
            5
          
          
            2
          
        
        +
        
          x
          
            6
          
          
            2
          
        
        +
        
          x
          
            7
          
          
            2
          
        
      
    
    {\displaystyle x^{*}x=x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2}+x_{5}^{2}+x_{6}^{2}+x_{7}^{2}}
  Da kan den inverse x -1  til oktonion x  finnes som

  
    
      
        
          x
          
            −
            1
          
        
        =
        
          
            
              x
              
                ∗
              
            
            
              
                |
              
              x
              
                
                  |
                
                
                  2
                
              
            
          
        
      
    
    {\displaystyle x^{-1}={x^{*} \over |x|^{2}}}
  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.


== Cayley-Dicksons konstruksjon ==
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 som senere ble videreført av Dickson.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

  
    
      
        
          
            
              
                x
              
              
                
                =
                (
                P
                ,
                Q
                )
                =
                P
                +
                Q
                
                  e
                
              
            
            
              
              
                
                =
                
                  p
                  
                    0
                  
                
                +
                
                  p
                  
                    1
                  
                
                
                  i
                
                +
                
                  p
                  
                    2
                  
                
                
                  j
                
                +
                
                  p
                  
                    3
                  
                
                
                  k
                
                +
                (
                
                  q
                  
                    0
                  
                
                +
                
                  q
                  
                    1
                  
                
                
                  i
                
                +
                
                  q
                  
                    2
                  
                
                
                  j
                
                +
                
                  q
                  
                    3
                  
                
                
                  k
                
                )
                
                  e
                
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}x&=(P,Q)=P+Q\mathbf {e} \\&=p_{0}+p_{1}\mathbf {i} +p_{2}\mathbf {j} +p_{3}\mathbf {k} +(q_{0}+q_{1}\mathbf {i} +q_{2}\mathbf {j} +q_{3}\mathbf {k} )\mathbf {e} \end{aligned}}}
  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

  
    
      
        
          
            
              
                (
                
                  P
                  
                    1
                  
                
                ,
                
                  Q
                  
                    1
                  
                
                )
                (
                
                  P
                  
                    2
                  
                
                ,
                
                  Q
                  
                    2
                  
                
                )
              
              
                
                =
                (
                
                  P
                  
                    1
                  
                
                +
                
                  Q
                  
                    1
                  
                
                
                  e
                
                )
                (
                
                  P
                  
                    2
                  
                
                +
                
                  Q
                  
                    2
                  
                
                
                  e
                
                )
              
            
            
              
              
                
                =
                
                  P
                  
                    1
                  
                
                
                  P
                  
                    2
                  
                
                −
                
                  Q
                  
                    2
                  
                  
                    ∗
                  
                
                
                  Q
                  
                    1
                  
                
                +
                (
                
                  Q
                  
                    2
                  
                
                
                  P
                  
                    1
                  
                
                +
                
                  Q
                  
                    1
                  
                
                
                  P
                  
                    2
                  
                  
                    ∗
                  
                
                )
                
                  e
                
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}(P_{1},Q_{1})(P_{2},Q_{2})&=(P_{1}+Q_{1}\mathbf {e} )(P_{2}+Q_{2}\mathbf {e} )\\&=P_{1}P_{2}-Q_{2}^{*}Q_{1}+(Q_{2}P_{1}+Q_{1}P_{2}^{*})\mathbf {e} \end{aligned}}}
  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

  
    
      
        
          x
          
            ∗
          
        
        =
        
          P
          
            ∗
          
        
        −
        Q
        
          e
        
      
    
    {\displaystyle x^{*}=P^{*}-Q\mathbf {e} }
  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.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

  
    
      
        x
        (
        x
        y
        )
        =
        (
        x
        x
        )
        y
        ,
        
        
        
        x
        (
        y
        y
        )
        =
        (
        x
        y
        )
        y
        ,
      
    
    {\displaystyle x(xy)=(xx)y,\;\;\;x(yy)=(xy)y,}
  som uttrykker en form for «alternativitet».


=== Fano-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

  
    
      
        
          
            e
          
          
            a
          
        
        
          
            e
          
          
            b
          
        
        =
        
          
            e
          
          
            c
          
        
        =
        −
        
          
            e
          
          
            b
          
        
        
          
            e
          
          
            a
          
        
      
    
    {\displaystyle \mathbf {e} _{a}\mathbf {e} _{b}=\mathbf {e} _{c}=-\mathbf {e} _{b}\mathbf {e} _{a}}
  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å ==
Komplekse tall
Kvaternioner


== Referanser ==


== Eksterne lenker ==
J.C. Baez, Octonions, informative websider
Quanta Magazine, Octonions in particle physics?