Kvaterniono

+Multiplika Tabulo de Kvaternionoj↓ × →

In matematiko, la kvaterniona nombrosistemo etendas la kompleksajn nombrojn. La kvaternionoj unue estis priskribita de la irlanda matematikisto William Rowan Hamilton en 1843 kiel rimedo por reprezenti la grupon de turnadoj de tri-dimensia spaco.

La multipliko de kvaternionoj estas nekomuta.

La kvaternionoj ĝenerale estas representataj per la esprimo

kie , kaj  estas reelaj nombroj; kaj , kaj  estas la normaj (kaj normalaj) kvaternionaj bazaj vektoroj.

La kvaternionoj povas esti uzata kun aliaj reprezentoj de tri-dimensiaj turnadoj, ekzemple anguloj de Eŭler kaj matricoj de turnado, aŭ sole, depende de la aplikaĵo.

+Multiplika tabulo× +Nekomuteco estas emfazita per koloritaj kvadratoj.

 Difino 
Kvaterniono estas reprezentita per esprimo kun formo  aŭ, egale,

kie  estas reela nombroj, kaj , estas simboloj, kiuj reprezentas unuvektoroj, kie ĉiuj estas ortaj unu al la aliaj. Kutime, se unu el  estas nulo, la termino de la responda komponento estas ellasita; se ĉiuj estas nulo,  la kvaterniono estas la nula kvaterniono, skribata kiel ; se unu el  egalas 1, la responda termino estas skribata kiel nur , aŭ .

La aro de kvaternionoj estas 4-dimensia vektora spaco sur la reelaj nombroj, kun  kiel bazo kun po-komponenta adicio.

kaj po-komponenta multipliko

La multiplika grupstrukturo (indikata per apudmeto), estas difinita sur la kvaternionoj tiel:
La reela kvaterniono  estas la neŭtrala elemento.
La reelaj kvaternionoj komutas kun ĉiuj aliaj kvaternionoj. Tio estas,  por ĉiu kvaterniono  kaj ĉiu reela kvaterniono .
La produkto estas difinita por la bazaj elementoj, kaj tiam estas etendigita al ĉiuj kvaternionoj per la distribua proprieto. La produkto ne estas komuta, sed estas asocia, do la kvaternionoj formas asocian algebron sur la reeloj.
Krome, ĉiu nenula kvaterniono havas inverson:

Do la kvaternionoj formas dividan algebron.

 Kvaternionoj kiel turnadoj 
En tri-dimensia spaco, laŭ la Turnado Teoremo de Eŭlero, kiu ajn turnado aŭ sekvenco de turnadoj de rigida korpo ĉirkaŭ fiksata punkto egalas unu turnado tra angulo  ĉirkaŭ fiksata akso (nomata la Eŭlera akso), kiu enhavas la fiksatan punkton.
Euclidean and non-Euclidean Geometry. Patrick J. Ryan, Cambridge University Press, Cambridge, 1987.
La Eŭlera akso estas kutime reprezentata per unuvektoro  ( en la jena bildo). Tial, ajna turnado en tri-dimensioj povas esti reprezentata kiel vectoro  kaj angulo .

Kvaternionoj prezentas simplan metodon enkodi tiun reprezenton
I.L. Kantor. Hypercomplex numbers, Springer-Verlag, New York, 1989. kiel akso kaj angulo per kvar reelaj nombroj, kaj povas esti uzata por apliki (kalkuki) la respondan turnadon al situa vektoro , reprezentas punkto relative al la origino en tri-dimensia Kartezia spaco, skribata kiel R3.

Kartezia vectoro, ekzemple , povas esti reskribita kiel , kie , ,  estas la bazaj unukvaternionoj, kiuj tie ĉi korespondas al la tri-dimensiajn Karteziajn aksojn (tradicie nomiĝatajn , , ), kun la multiplikaj reguloj de la kvaternionoj. Do la "kvaterniona interpretado" de la Kartezian vektoron

estas
.
Tio estas "pura kvaterniono", kiu signifas, ke ĝi havas neniom reelan parton.

Kiel reprezenti turnadon per kvaronjono?
Se ni reprezentas la turnadan akson

kiel la unukvaterniono
,
kaj la punkto 
kiel
,
do la (kvarterniona interpretado de la) rezulto de la turnado de la punkto
tra angulo
 ĉirkaŭ 
estas

kie

Oni povas montri, ke la skalara komponanto de la rezulto  necese estas nulo. Estas ankaŭ montrebla, ke du turnadaj kvaternionoj povas esti kombinataj en unu kvaternionon per la esprimo , kie  korespondas al la turnado  sekvita de la turnado . Tiel, multaj turnadoj povas esti kombinataj kune, kaj tiam aplikataj kiel unu turnado.

 Vidu ankaŭ 
 3-dimensia turnada grupo
 Tridimensia komputila grafiko

 Referencoj 

Kategorio:Algebraj strukturoj
Kategorio:Geometrio 
Kategorio:Nombroj