Cayley-Dickson-constructie

In de abstracte algebra, een deelgebied van de wiskunde, genereert de Cayley-Dickson-constructie, vernoemd naar Arthur Cayley en Leonard Eugene Dickson, een rij van algebra's over het lichaam van de reële getallen, elk met een dimensie gelijk aan twee keer de dimensie van de vorige. De algebra's die in dit proces worden gegenereerd staan bekend als Cayley-Dickson-algebra's. De constructie is speciaal bedoeld voor het achtereenvolgens genereren van de complexe getallen, de quaternionen en de octonionen.

Definitie

bewerken

De constructie bestaat erin dat van bepaalde hypercomplexe getallen paren gevormd worden als nieuwe hypercomplexe getallen. Optelling en vermenivuldiging worden als volgt gedefinieerd:

Voor de paren hypercomplexe getallen   en   is:

 

en

 ,

waarin   de geconjugeerde van het hypercomplexe getal   voorstelt. Voor reële   is  .

Bij de vermenigvuldiging is de volgorde van de factoren belangrijk, aangezien de vermnigvuldiging niet noodzakelijk commutatief is.

Alternatief

Als alternatieve definitie kan een nieuw type hypercomplex getal gedefinieerd worden door aan bestaande hypercomplexe getallen een nieuw eenheid   toe te voegen en de sommen   als nieuwe hypercomplexe getaleen op te vatten met als optellig

 

en als eermenigvuldiging

 

Bij deze constructie is gemakkelijk in te zien dat:

 

en dat de nieuwe eenheid   anticommuteert met de imaginaire eenheid   van het uitgangssysteem:

 .

Het verband tussen beide definities wordt gevormd door de relatie:

 .

De Cayley-Dickson-constructie definieert een involutie op de directe som van een algebra met zichzelf. Het product van een element en zijn conjugaat (of soms de vierkantswortel hiervan) wordt de norm genoemd.

De symmetrieën van de reële getallen verdwijnen als de Cayley-Dickson-constructie herhaaldelijk wordt toegepast: eerst verliest men de orde, vervolgens de commutativiteit van vermenigvuldiging, en ten slotte de associativiteit van vermenigvuldiging.

Meer algemeen transformeert een Cayley-Dickson-constructie elke algebra met involutie naar een andere algebra met involutie met tweemaal de dimensie.[1]

Toepassingen

bewerken

Van reëel naar complex

bewerken

Op de bekende manier kan een complex getal gedefinieerd worden als een paar reële getallen  . Omdat voor reële getallen   is en de vermenigvuldiging commutatief is, geldt:

 

en

 

Met   krijgt men de gebruikelijk voorstelling.

Van de complexe getallen naar de quaternionen

bewerken

De complexe getallen hebben niet meer in het algemeen de eigenschap dat ze gelijk zijn aan hun geconjugeerden. Wel is de vermenigvuldiging nog commutatief. Een quaternion als paar complexe getallen   voldoet dus aan de rekenregels:

 

en

 

Met   en   krijgt men de gebruikelijk voorstelling. De vermenigvuldiging van quaternionen is niet meer commutatief, maar nog wel associatief.

Van de quaternionen naar de octonionen

bewerken

Op geheel analoge wijze kunnen de octonionen gevormd worden als paren quaternionen. Daarbij gaat ook de associativiteit van de vermenigvuldiging verloren. Wel vormen de octonionen een alternatief lichaam/veld.

In de gebruikelijke voorstelling is  .

Toepassing van de constructie op de octonionen levert de sedenionen. Zij vormen niet meer een delingsalgebra. Wel zijn de sedenionen machtassociatief, een eigenschap die ook bij verdergaande toepassing behouden blijft.

bewerken
  • (en) Hyperjeff, Sketching the History of Hypercomplex Numbers (1996–2006).

Voetnoten

bewerken
  1. Schafer (1995), blz. 45