|  |
| --- |
| **的数** |
| **基本** |
| \mathbb {N} \subseteq \mathbb {Z} \subseteq \mathbb {Q} \subseteq \mathbb {R} \subseteq \mathbb {C} 

 

|  |  |
| --- | --- |
| 正數 {\mathbb {R}}^{+}
自然数 \mathbb{N}
正整數 {\mathbb {Z}}^{+}
小数
有限小数
无限小数
循环小数
有理数 \mathbb{Q}
代數數 \mathbb{A}
实数 \mathbb {R} 
複數 \mathbb {C} 
高斯整數 \mathbb{Z}[i]
  | 负数 \mathbb{R}^-
整数 \mathbb {Z} 
负整數 {\displaystyle \mathbb {Z} ^{-}}
分數
單位分數
二进分数
規矩數
無理數
超越數
虚数 {\mathbb {I}}
二次無理數
艾森斯坦整数 {\displaystyle \mathbb {Z} [\omega ]}
  |

 |
| **延伸** |
| 
 

|  |  |
| --- | --- |
| 二元数
四元數 {\mathbb {H}}
八元数 \mathbb{O}
十六元數 \mathbb {S} 
超實數 {\displaystyle ^{\*}\mathbb {R} }
大實數
上超實數
  | 雙曲複數
雙複數
複四元數
共四元數（英语：）
超复数
超數
超現實數
  |

 |
| **其他** |
| 
 

|  |  |
| --- | --- |
| 質數 \mathbb {P} 
可計算數
基數
阿列夫數
同餘
整數數列
公稱值
  | 規矩數
可定义数
序数
超限数
*p*進數
数学常数
  |

圓周率 {\displaystyle \pi =3.14159265}…
自然對數的底 {\displaystyle e=2.718281828}…
虛數單位 {\displaystyle i={\sqrt {-{1}}}}
無窮大 \infty |
| * 
* 论
* 编
 |

在線性代數，**二元數**（英語：）是實數的延伸。二元數有一「二元數單位」ε，其平方ε2＝0（亦即ε是冪零元）。二元數的集合能在實數之上組成、符合交換律的二維環結合代數。全部二元數*z*都有*z*=*a*+*b*ε的特性，其中*a*和*b*是實數。

矩陣表示法
-----

二元數可用矩陣表示為：

{\displaystyle \varepsilon ={\begin{pmatrix}0&1\\0&0\end{pmatrix}}}及{\displaystyle a+b\varepsilon ={\begin{pmatrix}a&b\\0&a\end{pmatrix}}}。
二元數的和與積可以尋常的矩陣加法、矩陣乘法計算。在二元數的代數中，兩種數學運算都符合交換律、結合律。

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

幾何
--

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

{\displaystyle \exp(b\varepsilon )=\left(\sum \_{n=0}^{\infty }(b\varepsilon )^{n}/n!\right)=1+b\varepsilon \!}，
所以ε軸的指數映射僅涵蓋半「圓」。

若*a*≠0且*m*＝*{\textstyle {b \over a}}*，則*z*＝*a*（1＋*m*ε）為二元數*z*的極分解，斜率*m*則與輻角相關。二元數平面中的「旋轉」等價於一個垂直錯切，原因是（1＋*p*ε）（1＋*q*ε）＝1＋（*p*＋*q*）ε。

### 伽利略變換

在絕對時空中，伽利略變換

{\displaystyle (t',x')=(t,x){\begin{pmatrix}1&v\\0&1\end{pmatrix}}}，亦即
{\displaystyle \ \ t'=t,\ \ x'=vt+x\!}，
將靜止參考系與帶有速度*v*移動參考系做聯結。使用二元數，*t*＋*x*ε表示一維空間與時間中的事件，伽利略變換就可以採乘上（1＋*v*ε）來達成。

### 循環

給定兩個二元數*p*與*q*，它們決定了一組*z*的集合，使得*z*到*p*與*q*的直線的斜率差（伽利略角）是常數。這個集合是二元數平面上的「循環」。設定直線斜率差為常數的方程式是*z*實部的二次方程式，則一個循環實則是拋物線。二元數平面的「循環旋轉」實際上是二元數投影線的運動。

根據Isaak Yaglom的著作《简易非欧几何及其物理基础》（1979）（pp. 92,3），循環Z＝｛z：y＝αx2｝在錯切的組合中保持不變：

{\displaystyle x\_{1}=x,\ \ y\_{1}=vx+y\ \ }
平移項：

{\displaystyle x'=x\_{1}=v/2a,\ \ y'=y\_{1}+v^{2}/4a\ }。
這組合是**循環旋轉**（cyclic rotation），V. V. Kisil更進一步推演之。

在代數中的特性
-------

一般化
---

微分
--

超空間
---

除法
--

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

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

{\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 （页面存档备份，存于）

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
数的系統 |
| --- |
|  |
| 可數集 | 
* 自然数 ({\mathbb N})
* 整数 (\mathbb Z)
* 有理数 (\mathbb {Q} )
* 規矩數
* 代數數 ({\displaystyle \mathbb {A} })
* 周期（英语：）
* 可計算數
* 可定义数
* 高斯整數 (\mathbb{Z}[i])
* 艾森斯坦整数

 |
|  |
| 合成代數（英语：） | 
* 可除代數（英语：）：实数 ({\displaystyle \mathbb {R} })
* 複數 ({\displaystyle \mathbb {C} })
* 四元數 ({\mathbb H})
* 八元数 ({\mathbb O})

 |
|  |
| 凯莱－迪克森结构 | 
* 实数 ({\displaystyle \mathbb {R} })
* 複數 ({\displaystyle \mathbb {C} })
* 四元數 ({\mathbb H})
* 八元数 ({\mathbb O})
* 十六元數 ({\displaystyle \mathbb {S} })
* 三十二元數
* 六十四元數
* 一百二十八元數
* 二百五十六元數……

 |
|  |
| 分裂形式 | 
* 於{\displaystyle \mathbb {R} }：雙曲複數
* 分裂四元数
* 分裂複四元數（英语：）
* 分裂八元數（英语：） 於{\displaystyle \mathbb {C} }：雙複數
* 複四元數
* 複八元數（英语：）

 |
|  |
| 其他超複數 | 
* 二元数
* 二元四元數（英语：）
* 二元複數（英语：）
* 雙曲四元數（英语：）
* 十六元數  ({\displaystyle \mathbb {S} })
* 三十二元數
* 分裂複四元數（英语：）
* 多重複數
* 幾何代數（英语：）
	+ 物理空間代數（英语：）
	+ 時空代數（英语：）
* 三元數
	+ 無法良好構建
* 六元數

 |
|  |
| 其他系統 | 
* 基數
* 擴展自然數（英语：）
* 無理數
* 模糊數（英语：）
* 超實數
* 列維-奇維塔域（英语：）
* 超現實數
* 超越數
* 序数
* *p*進數
* 超自然數（英语：）
* 上超實數（英语：）

 |
|  |
| 
* 分類
* 列表级条目 列表（英语：）

 |

 |