18.04.2013 Views

Álgebra I - Departamento de Matemática

Álgebra I - Departamento de Matemática

Álgebra I - Departamento de Matemática

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

48 Capítulo 1. Noções Básicas da <strong>Álgebra</strong><br />

1.7 Os Quaterniões<br />

O corpo dos complexos é uma extensão do corpo dos reais. Este último é<br />

uma extensão do corpo dos racionais, que são por sua vez uma extensão do<br />

anel dos inteiros. É curioso investigar se é possível criar uma extensão do<br />

corpo dos complexos, e <strong>de</strong> procurar <strong>de</strong>terminar até que ponto é que este<br />

processo <strong>de</strong> extensões sucessivas tem um fim “natural”. No século passado,<br />

W. R. Hamilton 21 colocou a si próprio esta questão.<br />

¡ ¢ £ ¤¥¤<br />

Figura 1.7.1: O problema <strong>de</strong> Hamilton.<br />

Numa primeira tentativa (que durou 20 anos!), Hamilton procurou utilizar<br />

“números” da forma a+ib+cj, on<strong>de</strong> a, b, c ∈ R e i é a unida<strong>de</strong> imaginária,<br />

i.e., em linguagem mo<strong>de</strong>rna, procurou criar um corpo com suporte em R 3<br />

e contendo um subcorpo isomorfo ao corpo dos complexos. Depois <strong>de</strong> muitas<br />

tentativas para atribuir um valor “razoável” ao produto ij (na forma<br />

ij = a + bi + cj), viu-se na necessida<strong>de</strong> <strong>de</strong> introduzir um “número” adicional<br />

k, <strong>de</strong> forma a ter ij = k. No seguimento das suas investigações, <strong>de</strong>scobriu a<br />

existência não <strong>de</strong> um corpo mas <strong>de</strong> um anel <strong>de</strong> divisão, com suporte em R 4 ,<br />

e cujos elementos se dizem quaterniões, ou números <strong>de</strong> Hamilton.<br />

Designamos os elementos da base canónica do espaço vectorial R 4 por<br />

1 = (1, 0, 0, 0), i = (0, 1, 0, 0), j = (0, 0, 1, 0), k = (0, 0, 0, 1).<br />

O quaternião q = (a, b, c, d) escreve-se portanto q = a1 + bi + cj + dk, on<strong>de</strong><br />

a, b, c, d são números reais. Desejamos naturalmente que as funções injectivas<br />

φ : R → R 4 e ψ : C → R 4 <strong>de</strong>finidas por φ(x) = x1 e ψ(x+iy) = x1+yi, sejam<br />

homomorfismos, <strong>de</strong> modo a po<strong>de</strong>r i<strong>de</strong>ntificar o conjunto R com o conjunto<br />

{(x, 0, 0, 0) : x ∈ R}, e o conjunto C com o conjunto {(x, y, 0, 0) : x, y ∈ R}.<br />

Dado um quaternião q = a1 + bi + cj + dk, a1 diz-se a parte real <strong>de</strong> q, e<br />

bi+cj +dk a parte vectorial. Tal como no caso dos complexos, escreveremos<br />

21 William Rowan Hamilton (1805-1865), gran<strong>de</strong> astrónomo e matemático irlandês. Hamilton<br />

foi também muito precoce: aos 5 anos sabia ler grego, hebraico e latim, e aos 10<br />

anos estava familiarizado com meia dúzia <strong>de</strong> línguas orientais!

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!