Construcció de Cayley-Dickson

En matemàtiques, la construcció de Cayley-Dickson produeix una seqüència de àlgebres sobre el cos dels nombres reals, cada una amb dimensió doble que l'anterior. Les àlgebres produïdes per aquest procés són conegudes com àlgebres de Cayley-Dickson ; atès que són una extensió dels nombres complexos, són nombres hipercomplexos. Totes aquestes àlgebres tenen els conceptes de norma i conjugat, sent la idea general que el producte d'un element i el seu conjugat hauria de ser el quadrat de la seva norma. La sorpresa és que per als primers passos, a més de tenir dimensió més alta, la següent àlgebra perd alguna propietat algebraica específica.

Introducció

Paso1. El pas de $\mathbb{R}$ a $\mathbb{C}$

Els nombres complexos es poden escriure com parells ordenats $(a, b)$ de nombres reals $a$ i $b$, amb la suma definida component a component i el producte definit per l'expressió:

$(a, b) (c, d) = (ac - bd, ad+bc). \,$

La conjugació d'un nombre complex quedarà definida per:

$(a, b)^* = (a,-b). \,$

Com a primera conseqüència, el producte d'un nombre complex així format, pel seu conjugat $(a, b)^* (a, b) = (aa+bb, ab - ba) = (a^2+b^2, 0), \,$ és sempre un nombre real no negatiu, de manera que podrem definir la seva arrel quadrada (la norma del nombre complex):

$|Z|= (z^* z)^{1/2}. \,$

aquest mateix procediment, amb unes lleugeres modificacions en la definició del producte i de la conjugació, ens permetrà definir els següents passos de la construcció de Cayley-Dickson.

Pas 2. El pas de $\mathbb{C}$ a $\mathbb{H}$

a partir d'una parella $(a, b)$ de nombres complexos $a$ i $b$, podem definir el producte

$(a, b) (c, d) = (a c - d^* b, d a+b c^*). \,$

Observem dues variacions amb la fórmula que permetia el pas de R a C: aquí l'ordre és important, ja que el nou producte no serà commutatiu, i apareix el conjugat dels nombres complexos (doncs abans el conjugat d'un nombre real era ell mateix) .

La conjugació quedarà definida com:

$(a, b)^* = (a^*,-b). \,$

De nou el producte d'un element pel seu conjugat serà un nombre real no negatiu:

$(a, b)^* (a, b) = (a^*,-b) (a, b) = (a^* a+b b^*, a b - a b) = (|a|^2+|b|^2, 0). \,$

això ens permetrà definir la norma d'aquests parells ordenats. a l'àlgebra de dimensió quatre que formen aquests parells ordenats se li coneix amb el nom de cuaterniones.

El procediment general

El procediment general repeteix exactament les definicions donades en el segon pas (de C a H). De fet, el primer pas (de R a C) pot veure com un cas particular del procediment general. En el tercer pas es construirien els octoniones com parelles de cuaterniones. En el quart pas es construirien els sedeniones com parelles de octoniones. El procés pot repetir indefinidament.

Referències

• Baez, John (2002), "The Octonions", Bulletin of the american Mathematical Society 39: 145-205, ISSN 0002-9904, doi:10.1090/S0273-0979-01-00934-X, <http://math.ucr.edu/home/baez/octonions/octonions.html>. (See "Section 2.2, The Cayley-Dickson Construction")