Octonião

Conjuntos de números

N Z Q R C H {\displaystyle \mathbb {N} \subset \mathbb {Z} \subset \mathbb {Q} \subset \mathbb {R} \subset \mathbb {C} \subset \mathbb {H} \subset \cdots }

I R C H {\displaystyle \mathbb {I} \subset \mathbb {R} \subset \mathbb {C} \subset \mathbb {H} \subset \cdots }

Na matemática, os octoniões (português europeu) ou octônios (português brasileiro) são uma extensão não-associativa dos quaterniões. Sua álgebra da divisão formada de 8 dimensões sobre os números reais é o mais extenso que pode ser obtido da construção de Cayley-Dickson. A álgebra do octoniões é frequentemente denotada como O {\displaystyle \mathbb {O} } .

Possivelmente por não oferecerem uma multiplicação associativa, os octoniões recebem às vezes menos atenção do que os quaterniões. Apesar desta falta da popularidade, eles são relacionados a um número de estruturas excepcionais na matemática, entre elas os grupos excepcionais de Lie. Octoniões são também promissores na física, por exemplo, para avanços na teoria das cordas.

Definição

Os octoniões podem ser definidos como octetos (ou 8-truplas) de números reais. Cada octonião é uma combinação linear real dos octoniões unitários 1 , i , j , k , l , i l , j l {\displaystyle 1,i,j,k,l,il,jl\,} e k l {\displaystyle kl\,} . Isto é, cada octonião x {\displaystyle x\,} pode ser escrito na forma

x = x 0 + x 1 i + x 2 j + x 3 k + x 4 l + x 5 i l + x 6 j l + x 7 k l {\displaystyle x=x_{0}+x_{1}i+x_{2}j+x_{3}k+x_{4}l+x_{5}il+x_{6}jl+x_{7}kl\,}

com coeficientes reais x i {\displaystyle x_{i}\,} .

A adição dos octoniões é realizada somando-se os coeficientes correspondentes, como com os números complexos e os quaterniões. Pela linearidade, a multiplicação dos octoniões é completamente determinada pela tabela da multiplicação para os octoniões unitários dados abaixo

1 i j k l il jl kl
i -1 k -j il -l -kl jl
j -k -1 i jl kl -l -il
k j -i -1 kl -jl il -l
l -il -jl -kl -1 i j k
il l -kl jl -i -1 -k j
jl kl l -il -j k -1 -i
kl -jl il l -k -j i -1

A base para os octoniões dada aqui não é quase tão universal quanto a base padrão para os quaterniões; entretanto, quase todas as outras diferem dessa somente quanto à ordem e o sinal.

Observa-se que a multiplicação não é associativa: i(jl) = -kl, mas (ij)l = kl.

Conjugado, norma e inverso

O conjugado de um octonião

x = x 0 + x 1 i + x 2 j + x 3 k + x 4 l + x 5 i l + x 6 j l + x 7 k l {\displaystyle x=x_{0}+x_{1}\,i+x_{2}\,j+x_{3}\,k+x_{4}\,l+x_{5}\,il+x_{6}\,jl+x_{7}\,kl}

é dado por

x = x 0 x 1 i x 2 j x 3 k x 4 l x 5 i l x 6 j l x 7 k l . {\displaystyle x=x_{0}-x_{1}\,i-x_{2}\,j-x_{3}\,k-x_{4}\,l-x_{5}\,il-x_{6}\,jl-x_{7}\,kl.}

A conjugação é uma involução de O {\displaystyle \mathbb {O} } e satisfaz ( x y ) = y x {\displaystyle (xy)^{*}=y^{*}x^{*}\,} (note a mudança de ordem).

A parte real de x {\displaystyle x\,} é definida como ( x + x ) 2 {\displaystyle {(x+x^{*})} \over 2\,} = x 0 {\displaystyle =x_{0}\,} e a parte imaginária como ( x x ) 2 {\displaystyle {(x-x^{*})} \over 2\,} . O conjunto de todos os octoniões puramente imaginários forma um subespaço de 7 dimensões de O {\displaystyle \mathbb {O} } ,

denotado I m {\displaystyle Im\,} ( O ) {\displaystyle \mathbb {(O)} } . A norma do octonião x {\displaystyle x\,} é definida como

x = x x {\displaystyle \|x\|={\sqrt {x^{*}x}}}

A raiz quadrada é definida aqui como x x = x x {\displaystyle x^{*}x=xx^{*}\,} , que é sempre um número real não negativo:

x 2 = 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\|^{2}=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}}

Essa norma concorda com a norma euclidiana padrão em R 8 {\displaystyle R^{8}\,} .

A existência de uma norma em O {\displaystyle \mathbb {O} } implica a existência de inversos para cada elemento diferente de

zero de O {\displaystyle \mathbb {O} } . O inverso de x 0 {\displaystyle x\neq 0\,} é dado por

x 1 = x x 2 {\displaystyle x^{-1}={\frac {x^{*}}{\|x\|^{2}}}}

Isso satisfaz x x 1 = x 1 x = 1 {\displaystyle xx^{-1}=x^{-1}x=1\,} .

Ver também


  • v
  • d
  • e
Conjuntos contáveis
Números reais e
suas extensões
Outros sistemas