Extension of real number construction methods to complex numbers: Real division algebras must have dimensions 1, 2, 4 or 8. Except for the real numbers complex numbers quaternions and octonions no further extensions are possible.

一、复数系的起源与发展

最初，人类构建了自然数体系，该体系支持加法与乘法运算，但无法完成减法操作，因此引入了负数概念，从而形成了整数集合。为了实现除法运算的可行性，又进一步引入了分数形式，由此诞生了有理数集合。然而，在有理数集合中进行极限运算时，所得结果未必仍属于有理数范畴。

为确保极限运算的顺利开展，实数集合应运而生。实数集合在极限运算方面具有完备性特征，这使得对实函数实施微积分计算成为可能。然而，在实数体系中仍存在大量代数方程无法求解的情况。为使这些方程具备解集，复数集合被创建出来。

假设方程 x^{2}+1=0 存在解，则其解应为 x= \pm \sqrt{-1}。由此可见，\sqrt{-1} 本身构成一种数值形式，并非实数范畴内的元素，被定义为虚数。

将所有实数组合与 \sqrt{-1} 结合，并确保该系统在加、减、乘、除等基本运算中保持封闭性，则形成了复数系统。通常情况下将其记作 i=\sqrt{-1}。显然可得：

$\mathbf{C}=\mathbf{R}+\mathrm{i} \mathbf{R}, \quad \m