Vizualizare sursă pentru „Octonion”

În [[matematică]] '''octonionul''' este o diviziune algebrică normată de-a lungul numerelor reale, acesta este reprezentat de majuscula '''O''' (<math>\mathbb O</math>). Există doar patru algebre, celelalte trei fiind cele care se bazează pe [[numere reale]] (<math>\R</math>), [[numere complexe]] (<math>\C</math>) și [[cuaternion|cuaternioni]] (<math>\H</math>). Octonionii reprezintă cea mai largă [[algebră]] cunoscută având, în total, un număr de 8 dimensiuni, dublu față de [[cuaternion|cuaternioni]].

Octonionii nu sunt la fel de bine cunoscuți precum  cuaternionii sau ca [[număr complex|numerele complexe]], care sunt mai larg studiate și folosite, în schimb ele au unele proprietăți interesante și sunt strâns legate de o serie de structuri matematice, cum ar fi [[Grup Lie|Grupurile Lie]]. În plus, octonionii au aplicații în domenii precum [[teoria coardelor]], cea a [[Teoria relativității generale|relativității generale]] și logica cuantică.

== Istorie ==
Octonionii au fost descoperiți în anul 1843 de către [[John T. Graves]], fiind inspirat de marea descoperire a cuaternionilor de către prietenul său [[William Rowan Hamilton]]. Graves i-a numit ''octave''. Ei au fost descoperiți, în mod independent, de [[Arthur Cayley]]<ref>Cayley, 1845</ref> și uneori sunt menționați a fi '''numere Cayley''' sau ''' algebra Cayley'''.

== Definiție ==
Octonionii pot fi considerați ca octeți de numere reale. Fiecare octonion este o combinație liniară:
:<math>\{e_0, e_1, e_2, e_3, e_4, e_5, e_6, e_7\},\,</math>
unde ''e''<sub>0</sub> este un element real sau scalar, care poate fi identificat cu numărul real 1. Astfel, fiecare octonion ''x'' poate fi scris sub forma:
:<math>x = x_0e_0 + x_1e_1 + x_2e_2 + x_3e_3 + x_4e_4 + x_5e_5 + x_6e_6 + x_7e_7,\,</math> 
cu coeficienții reali{''x''<sub>''i''</sub>}.

Adunarea și scăderea octonionilor se face prin adăugarea și scăderea termenilor corespunzători și a coeficienților lor, la fel ca la cuaternioni. Înmulțirea este [[distributivitate|distributivă]], astfel încât produsul a doi octonioni poate fi calculat prin însumarea produsului tuturor termenilor. Produsul fiecărui termen poate fi obținut prin înmulțirea coeficienților și o tablă de înmulțire a octonionilor, cum ar fi aceasta:<ref name="Cayley">{{en icon}} This table is due to [[Arthur Cayley]] (1845) and [[John T. Graves]] (1843). See {{Citation|author=G Gentili, C Stoppato, DC Struppa and F Vlacci|title=Hypercomplex analysis|url=http://books.google.com/?id=H-5v6pPpyb4C&pg=PA168|page=168|year=2009|editor=Irene Sabadini, M Shapiro, F Sommen|chapter=Recent developments for regular functions of a hypercomplex variable|edition=Conference on quaternionic and Clifford analysis; proceedings|publisher=Birkaüser|isbn=978-3-7643-9892-7}}</ref>

{| class="wikitable" style="text-align: center;"   
|-
  !{{math|&nbsp;×&nbsp;}}
  !{{math|&nbsp;'''<var>e</var>'''<sub>0</sub>&nbsp;}}
  !{{math|'''<var>e</var>'''<sub>1</sub>}}
  !{{math|'''<var>e</var>'''<sub>2</sub>}}
  !{{math|'''<var>e</var>'''<sub>3</sub>}}
  !{{math|'''<var>e</var>'''<sub>4</sub>}}
  !{{math|'''<var>e</var>'''<sub>5</sub>}}
  !{{math|'''<var>e</var>'''<sub>6</sub>}}
  !{{math|'''<var>e</var>'''<sub>7</sub>}}
 |-
!{{math|'''<var>e</var>'''<sub>0</sub>}}
  |{{math|<var>e</var><sub>0</sub>}}
  |{{math|<var>e</var><sub>1</sub>}}
  |{{math|<var>e</var><sub>2</sub>}}
  |{{math|<var>e</var><sub>3</sub>}}
  |{{math|<var>e</var><sub>4</sub>}}
  |{{math|<var>e</var><sub>5</sub>}}
  |{{math|<var>e</var><sub>6</sub>}}
  |{{math|<var>e</var><sub>7</sub>}}
 |-
!{{math|'''<var>e</var>'''<sub>1</sub>}}
  |{{math|<var>e</var><sub>1</sub>}}
  |{{math|−<var>e</var><sub>0</sub>}}
  |{{math|<var>e</var><sub>3</sub>}}
  |{{math|−<var>e</var><sub>2</sub>}}
  |{{math|<var>e</var><sub>5</sub>}}
  |{{math|−<var>e</var><sub>4</sub>}}
  |{{math|−<var>e</var><sub>7</sub>}}
  |{{math|<var>e</var><sub>6</sub>}}
 |-
!{{math|'''<var>e</var>'''<sub>2</sub>}}
  |{{math|<var>e</var><sub>2</sub>}}
  |{{math|−<var>e</var><sub>3</sub>}}
  |{{math|−<var>e</var><sub>0</sub>}}
  |{{math|<var>e</var><sub>1</sub>}}
  |{{math|<var>e</var><sub>6</sub>}}
  |{{math|<var>e</var><sub>7</sub>}}
  |{{math|−<var>e</var><sub>4</sub>}}
  |{{math|−<var>e</var><sub>5</sub>}}
|-
!{{math|'''<var>e</var>'''<sub>3</sub>}}
  |{{math|<var>e</var><sub>3</sub>}}
  |{{math|<var>e</var><sub>2</sub>}}
  |{{math|−<var>e</var><sub>1</sub>}}
  |{{math|−<var>e</var><sub>0</sub>}}
  |{{math|<var>e</var><sub>7</sub>}}
  |{{math|−<var>e</var><sub>6</sub>}}
  |{{math|<var>e</var><sub>5</sub>}}
  |{{math|−<var>e</var><sub>4</sub>}}
|-
!{{math|'''<var>e</var>'''<sub>4</sub>}}
  |{{math|<var>e</var><sub>4</sub>}}
  |{{math|−<var>e</var><sub>5</sub>}}
  |{{math|−<var>e</var><sub>6</sub>}}
  |{{math|−<var>e</var><sub>7</sub>}}
  |{{math|−<var>e</var><sub>0</sub>}}
  |{{math|<var>e</var><sub>1</sub>}}
  |{{math|<var>e</var><sub>2</sub>}}
  |{{math|<var>e</var><sub>3</sub>}}
 |-
!{{math|'''e'''<sub>5</sub>}}
  |{{math|<var>e</var><sub>5</sub>}}
  |{{math|<var>e</var><sub>4</sub>}}
  |{{math|−<var>e</var><sub>7</sub>}}
  |{{math|<var>e</var><sub>6</sub>}}
  |{{math|−<var>e</var><sub>1</sub>}}
  |{{math|−<var>e</var><sub>0</sub>}}
  |{{math|−<var>e</var><sub>3</sub>}}
  |{{math|<var>e</var><sub>2</sub>}}
|-
!{{math|'''<var>e</var>'''<sub>6</sub>}}
  |{{math|<var>e</var><sub>6</sub>}}
  |{{math|<var>e</var><sub>7</sub>}}
  |{{math|<var>e</var><sub>4</sub>}}
  |{{math|−<var>e</var><sub>5</sub>}}
  |{{math|−<var>e</var><sub>2</sub>}}
  |{{math|<var>e</var><sub>3</sub>}}
  |{{math|−<var>e</var><sub>0</sub>}}
  |{{math|−<var>e</var><sub>1</sub>}}</td>
|-
!{{math|'''<var>e</var>'''<sub>7</sub>}}
  |{{math|<var>e</var><sub>7</sub>}}
  |{{math|−<var>e</var><sub>6</sub>}}
  |{{math|<var>e</var><sub>5</sub>}}
  |{{math|<var>e</var><sub>4</sub>}}
  |{{math|−<var>e</var><sub>3</sub>}}
  |{{math|−<var>e</var><sub>2</sub>}}
  |{{math|<var>e</var><sub>1</sub>}}
  |{{math|−<var>e</var><sub>0</sub>}}
|-
|}
Cele mai multe elemente din afara diagonalei din tabel sunt antisimetrice ceea ce produce aproape o matrice oblic-simetrică cu excepția elementelor de pe [[diagonală principală|diagonala principală]], de pe rândul și de pe coloana în care {{math|<var>e</var><sub>0</sub>}} este un [[operand]].

Astfel, tabelul poate fi rezumat prin următoarele relații:<ref name=Shestakov>{{en icon}} {{Citation |title=Non-associative algebra and its applications |author=Lev Vasilʹevitch Sabinin, Larissa Sbitneva, I. P. Shestakov |page=235 |chapter=§17.2 Octonion algebra and its regular bimodule representation |url=http://books.google.com/?id=_PEWt18egGgC&pg=PA235 |isbn=0-8247-2669-3 |year=2006|publisher=CRC Press |postscript=<!--none-->}}</ref>
:<math>e_i e_j = - \delta_{ij}e_0 + \varepsilon _{ijk} e_k,\, </math>
unde <math>\varepsilon _{ijk}</math> este un [[tensor]] complet antisimetric cu [[valoare (matematică) |valoarea]] +1 atunci când  ''ijk'' = 123, 145, 176, 246, 257, 347, 365 și:

:<math>e_ie_0 = e_0e_i = e_i;\,\,\,\,e_0e_0 = e_0,\,</math>
cu ''e''<sub>0</sub> elementul scalar și ''i'', ''j'', ''k'' = 1 ... 7.

Definiția de mai sus este doar una din 480 de posibilități de posibile definiții pentru înmulțirea octonionilor. Ceilelalte pot fi obținute prin permutarea elementelor care nu sunt scalare, astfel încât pot fi considerate a avea diferite baze. Alternativ ele pot fi obținute prin fixarea regulii produsului pentru niște termeni și deducerea restului din alte proprietăți ale octonionilor. Cele 480 de algebre diferite sunt izomorfe, deci sunt identice și este rareori o nevoie de a lua în considerare care regulă de înmulțire particulară este folosită.<ref name=Parra>{{en icon}}{{Citation |title=Clifford algebras with numeric and symbolic computations |author=Rafał Abłamowicz, Pertti Lounesto, Josep M. Parra |url=http://books.google.com/?id=OpbY_abijtwC&pg=PA202 |page=202 |chapter=§ Four ocotonionic basis numberings |publisher=Birkhäuser |year=1996 |isbn=0-8176-3907-1}}</ref><ref name=Manogue>{{en icon}} {{Citation |title=Octonionic representations of Clifford algebras and triality |author=Jörg Schray, Corinne A. Manogue |url=http://www.springerlink.com/content/w1884mlmj88u5205/ |journal=Foundations of physics |pages=17–70 |volume=26 |year=1996 |issue=Number 1/January |doi=10.1007/BF02058887 |publisher=Springer |postscript=. }}{{Legătură nefuncțională|date=octombrie 2022 |bot=InternetArchiveBot |fix-attempted=yes }} Available as [http://arxiv.org/abs/hep-th/9407179v1 ArXive preprint] Figure 1 is located [http://arxiv.org/PS_cache/hep-th/ps/9407/9407179v1.fig1-1.png here].</ref>

=== Construcția Cayley-Dickson ===
Un mod mai sistematic de definire a octonionilor este prin intermediul '''Construcției Cayley-Dickson'''. Așa cum cuaternionii pot fi definiți ca perechi de numere complexe, așa și octonionii pot fi definiți ca perechi de cuaternioni. Astfel, produsul a două perechi de cuaternioni (''a'', ''b'') și (''c'', ''d'') este definit prin
:<math>\ (a,b)(c,d)=(ac-d^{*}b,da+bc^{*})</math>
unde <math>z^{*}</math> denotă conjugarea cuaternionului ''z''. Această definiție este echivalentă cu cea mai de sus, atunci când opt octonioni unitari sunt identici cu perechile
:(1,0), (''i'',0), (''j'',0), (''k'',0), (0,1), (0,''i''), (0,''j''), (0,''k'')

== Proprietăți ==
Înmulțirea octonionilor nu este nici [[comutativitate|comutativă]]:
:<math>e_ie_j = -e_je_i \neq e_je_i\,</math> dacă <math>i, j \neq 0</math>
nici [[asociativitate|asociativă]]:
:<math>(e_ie_j)e_k = -e_i(e_je_k) \neq e_i(e_je_k)\,</math> dacă <math>i, j, k \neq 0</math>
Octonionii satisfac o formă slabă de asociativitate: ei sunt alternativi. Acest lucru înseamnă că subalgebra generată de oricare două elemente este asociativă. De fapt, se poate demonstra că subalgebra generată de oricare două elemente ale '''O''' este izomorfă pentru '''R''', '''C''' și '''H'''. Datorită neasociativitații lor, octonionii nu au reprezentări matrice, spre deosebire de [[cuaternioni]].
Totuși, octonionii păstrează o proprietate foarte importantă dată de '''R''','''C''' și '''H''': norma pe '''O''' satisface
:<math>\|xy\| = \|x\|\|y\|</math>
Acest lucru implică faptul că octonionii formează o neasociativitate bazată pe diviziunea din algebra normată. Algebrele cu dimensiunile mai mari definite de construcția Cayley-Dickson nu îndeplinesc această proprietate.
Se pare că singurele [[algebră cu diviziune |algebre cu diviziune]] normate peste numerele reale sunt:'''R''','''C''','''H''' și '''O'''. Aceste patru algebre constituie singura alternativă a algebrei cu diviziune finit-dimensionale peste numerele reale ([[până la]] izomorfism).
Nefiind asociative, elementele nenule ale [[octonion]]ului nu formează un grup. Totuși, ele formează un cvasigrup (bucla Moufang).

== Note ==
<references />

== Vezi și ==
* [[Cuaternion]]

== Legături externe ==
{{Portal|Matematică}}
* {{springer|title=Cayley numbers|id=p/c021070}}

[[Categorie:Numere complexe]]