三元數

Template:Not 三元数（英語：Template:Lang）是指建立在实数域上的三维代数系統。這種代數系統無法被良好構建，因此這個代數系統並未有一個廣泛被接受的定義模式。一般而言，通常會稱三元數不存在。這是因為三元数的乘法运算不满足群的规则，也無法滿足可除代數的要求。部分文獻針對這樣的問題定義了許多種不同的模式來規避這個問題。

部分文獻會將三元數與四元數一同探討，因為四元數是在探尋三元數的過程中發現的。

Template:Anchor雖然三维代数系統無法被良好構建，而有研究指出六维代数系統則有機會被構建，即六元數（Template:Lang）。

歷史

三元数最早在哈密頓描述四元數時被提及。漢密爾頓知道複數可以解釋為平面上的點，他正在尋找一種方法來對三維空間中的點做同樣的事情，即找尋三元數，因為當時認為發現三元數能對數學、物理等領域能有一定的貢獻。然而經過了反覆嘗試，最後無法解決三元数在乘法與除法上的問題，反而是導致了四元數的發現。

概述

一般的複數由2個單位元素組成，分別是1和Template:Math，其中Template:Math定義為$i^2=-1$，而複數集則定義為$a+bi$。而複數域的乘法定義是良好的，亦即任兩個複數相乘後的結果仍為複數，同時複數能表達二維平面上的點。而將此概念擴展到三維空間的話，即加入一個單位元素Template:Math，並定義$j^2=-1$，同時$i\ne j$，而三元數集則定義為$a+bi+cj$。但在定義這種數系的乘法時會出現一個問題，當Template:Math與Template:Math相乘時會出現$ij$或$ji$項，這是一個新的元素，並未落在原有定義的$a+bi+cj$中，而使得這樣的定義方式無法使其滿足群的規則。

一般而言，定義為$a+bi+cj$且$i\ne j,i^2=j^2=-1$的三元數無法存在可由以下過程證明：

令$ij=a+bi+cj$，且Template:Math、Template:Math、Template:Math均為實數，則

$i^{2}j=ai+b{i}^2+cij$

$-j=-b+ai+c(a+bi+cj)$

$-j=-b+ac+(a+bc)i+c^{2}j$

比對兩側Template:Math的係數得到$-1=c^2$，與先前Template:Math為實數的假設矛盾，因此如此定義的三元數無法存在，因為在乘法上會遇到問題，尤其是Template:Math的情況。

各種三元數的研究均針對此點提出自己的三元數定義，例如部分文獻將第二元素和第三元素的積定義為其線性組合來使乘法結果仍在群內，部分文獻則重新定義了運算規則來使三元數能夠滿足群的規則。

例如，將三元數定義為$S=a+bi+c\varphi$，並令$i^2=-1$、${\varphi }^2=-1$、$i\varphi =i+\varphi$，如此一來就能定義乘法：

$S\times S^{\prime }=a{a}^{\prime }-b{b}^{\prime }+(a{b}^{\prime }+a^{\prime }b+b{c}^{\prime }+b^{\prime }c-c{c}^{\prime })i+(a{c}^{\prime }+a^{\prime }c+b{c}^{\prime }+b^{\prime }c)\varphi$

其中$S=a+bi+c\varphi$，$S^{\prime }=a^{\prime }+b^{\prime }i+c^{\prime }\varphi$。然而，這樣的代數結構的乘法將不具備結合律特性，例如$ii\varphi$的情況：

$(ii)\varphi =i^2\varphi =-\varphi$

$i(i\varphi )=i(i+\varphi )=i^2+i\varphi =-1+i+\varphi$

此時可以看到$-\varphi \ne -1+i+\varphi$這代表$(ii)\varphi \ne i(i\varphi )$。因此這種方式定義的三元數僅遵循乘法交换律和乘法对加法的分配律。

另一種三元數的定義則是將Template:Math定義為0。

參見

• 四元數