二元数

使用矩陣，二元數可表示為：

${\displaystyle \varepsilon ={\begin{pmatrix}0&1\\0&0\end{pmatrix}}\quad }$ 及 ${\displaystyle \quad a+b\varepsilon ={\begin{pmatrix}a&b\\0&a\end{pmatrix}}}$.

二元數的和與積可以尋常的矩陣加法、矩陣乘法計算。在二元數的代數中，兩種數學運算都符合交換律、結合律。

二元數的矩陣表示與複數的矩陣表示類似。然而這並非唯一的表示法，參見2×2實矩陣。如同複平面與雙曲複數平面，二元數也是平面代數的實現方式之一。

定義z* = a − bε，二元數的「單位圓」包括了那些a值為1或−1的二元數，因為z z* = 1。然而注意到

${\displaystyle \exp(b\varepsilon )=\left(\sum _{n=0}^{\infty }(b\varepsilon )^{n}/n!\right)=1+b\varepsilon \!}$,

所以ε軸的指數映射僅涵蓋半「圓」。

若a ≠ 0且m = b /a，則z = a(1 + m ε)為二元數z的極分解，斜率m則與輻角相關。二元數平面中的「旋轉」等價於一個垂直錯切，原因是(1 + p ε)(1 + q ε) = 1 + (p+q) ε。

對於由兩個二元數所組成的分數來說，當分母的實數部分非零的時候，我們可以計算出那個分數的值。二元數的除法和複數的除法相似：兩者皆把分子和分母乘以分母的共軛以約去分子和分母的非實數部分。

所以，如果要計算這個二元數分數的值：

${\displaystyle {a+b\varepsilon \over c+d\varepsilon }}$

我們需要把分子和分母乘以分母的共軛：

${\displaystyle ={(a+b\varepsilon )(c-d\varepsilon ) \over (c+d\varepsilon )(c-d\varepsilon )}={ac-ad\varepsilon +bc\varepsilon -bd\varepsilon ^{2} \over (c^{2}+cd\varepsilon -cd\varepsilon -d^{2}\varepsilon ^{2})}={ac-ad\varepsilon +bc\varepsilon -0 \over c^{2}-0}}$

${\displaystyle ={ac+\varepsilon (bc-ad) \over c^{2}}}$

${\displaystyle ={a \over c}+{(bc-ad) \over c^{2}}\varepsilon }$

而二元數除數在c為非零時才有值。

但是，如果c為零而d不為零時，這條方程式：

${\displaystyle {a+b\varepsilon =(x+y\varepsilon )d\varepsilon }={xd\varepsilon +0}}$

1. 當a非零時沒有解
2. 當a為零時，以下的二元數都是它的解：

${\displaystyle {b \over d}+{y\varepsilon }}$.

以下是二元數的冪的計算方法：

${\displaystyle (a+b\varepsilon )^{c+d\varepsilon }=a^{c}+\varepsilon (b(ca^{c-1})+d(a^{c}\ln a))}$

• 克利福德代数
• 外代數
• 微擾理論

1. V.V. Kisil (2007) "Inventing a Wheel, the Parabolic One" arXiv:0707.4024 页面存档备份，存于