Kokvaternion

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje
Množenje kokvaternionov
× 1 i j k
1 1 i j k
i i −1 k j
j j k +1 i
k k j i +1

Kokvaternion (tudi Gödelov kvaternion[1]) je element štirirazsežne asociativne algebre, ki jo je uvedel angleški odvetnik in matematik James Cockle (1819 – 1895). Podobno kot kvaternioni tudi kokvaternioni tvorijo 4-razsežni vektorski prostor, ki vključuje operacijo množenja. Za razliko od kvaternionske algebre kokvaternioni vsebujejo delitelj niča, nilpotentne in idempotentne elemente. Tvorijo algebro nad obsegom realnih števil. Kokvaternione imenujemo tudi razcepljeni oziroma razklani kvaternioni, ker jih lahko delimo na pozitivni in negativni del v funkciji absolutne vrednosti.

Kokvaternioni imajo obliko

q = w + x i + y j + z k, \quad w, x, y, z \in R.

Pri tem pa je baza \{ 1, i, j, k \}. Zmnožki teh elementov so

i j = k = -j i, \quad j k = -i = -k j, \quad k i = j = -i k,
i^2 = -1, \quad j^2 = +1, \quad k^2 = +1,.

To pa pomeni, da je  ijk = 1 \,. Množica  \{1, i, j, k, -1, -i, -j, -k\} \, je grupa za množenje kokvaternionov in je izomorfna za dihedralno grupo kvadrata.

Kokvaternion

 q = w + xi + yj + zk \,

ima konjugirano vrednost

q^* ~= w - x i - y j - z k \, in

multiplikativni modulus

qq^* = w^2 + x^2 - y^2 - z^2\,.

Ta kvadratna forma je razdeljena na pozitivni in negativni del za razliko od pozitivno definitne forme v algebri kvaternionov.

Ko absolutna vrednost ni enaka nič, ima kokvaternion tudi obratno vrednost, ki jo lahko pišemo kot

 q^*/qq^* \,

ali

U = \{q : qq^* \ne 0 \}.

Množica vseh kokvaternionov tvori kolobar. Kokvaternioni z absolutno vrednostjo  qq^* = 1\, tvorijo nekompaktno topološko grupo SU(1, 1), ki je izomorfna z grupo SL(2, R).

Bazo iz kokvaternionov lahko smatramo kot bazo elementov Cliffordove algebre z oznako C1,1(R) ali algebre C2,0(R).

Matrična predstavitev[uredi | uredi kodo]

Naj bo

q = w + x i + y j + z k, ~ ~ u = w + x i, ~ ~ v = y + z i

kjer je

  •  u = w + xi \, kompleksno število
  •  u = y + zi \, kompleksno število

Potem kompleksna matrika

\begin{bmatrix}u & v \\ v^* & u^* \end{bmatrix}

kjer je

  • u^* = w - x i \, konjugirano-kompleksno število števila  u \,
  •  v^* = y - z i konjugirano-kompleksno število števila  v \,

predstavlja kvaternion  q \, v kolobarju matrik tako, da upoštevamo, da se kokvaternioni množijo na isti način kot se množijo matrike.

Determinanta te matrike je enaka

u u^* - v v^* = q q^*. \!.

Na mestu, kjer se v obrazcu pojavi minus, se kokvaternioni razlikujejo od kvaternionov.

Sopomenke[uredi | uredi kodo]

Za kokvaternione se uporabljajo različna imena (sinonimi). Najbolj pogosta so

  • parakvaternion
  • Muséjevi hiperbolični kvaternion
  • exsferični sistem
  • antikvaternion
  • psevdokvaternion
  • razcepljeni kvaternion

Opombe in sklici[uredi | uredi kodo]