虚数单位的严格定义

我们一直使用虚数单位，但定义总是不够清晰。现在让我们尝试再次用构造法来定义虚数单位。

考虑任何一个数X ，则必有

X=X

也就是说，它自己等于自己。若写成模运算的形式，则有

X mod X=0

X=0 (mod X)

此外，

X=X×1,X=X÷1

X=X+0,X=X-0

这就定义了0 和1 ，以及加减乘除的运算，进而导出，

X=X+0=X-0

这显然是正确的。此时，如果这个X 特别的大（它可以代表系统的度量能力），它就不只是满足上式，还能够满足，

X=X+1=X-1

但这时候导出的是，

2=0

这个等式的实际含义，是这个系统的周期为2 。也就是说，

X= ±1 ( mod 2)

由此我们就知道了，若有，

X=X+k=X-k  (k>1,k∈N)

则这个系统是以2k 为周期的系统，显然也是以2为周期的系统（2 是2k 的一个约数）。所以不管X 有多大，符合

X=X+k=X-k  (k≥1,k∈N)

的系统，总可以以2为周期（这解释了为什么二进制是最基本的进制）。由于k≥1 的情况都已经讨论，还剩下的未讨论的区间就只有0到1之间的范围。可知，若有

则解出，

当然可以认为 也是某种周期，但正如我们不说2k 为周期，而是2为周期，我们也不会说 为周期，而是 为周期。也就是说， 是整个系统计数的最小单位（对应于量子力学中的量子）。但目前 ，所以其倒数还不是整个系统中最小的单位。若让 ，则最小单位可以更小。此时写出，

其中临界点为k'=X 。因为即便k' 更大，倒数 更小，对于具有极大度量能力为X的系统来说，也是多余的，因为1 中含有 的个数，已经不能用极大的度量能力X 来度量，那么X 中具有 的个数，也不可能获得正确的数值，所以这个临界值便有了特殊的意义。对于这个临界值，我们可以写出，

之所以能写成这样，是因为X是系统度量能力的极限。也就是说，它就是系统中最大的那个可以经过一次度量就能得到的数。而这个数，就是系统的周期。所以可以进一步写出，

当然可以看出，

也就是说，系统的最小单位就是 ，其它所有数量都是这个数量的整数倍，这是一个量子系统， 也可以称为是最小周期或者最小单位。它还有一个最大周期，那就是 本身（注意这其实是三个值，但对于这个系统来说，数值实在太大，导致这三个值是一样的，若一定要区分，可以写出 ， ， ，在模运算前提下，而这三者相等，且都等于0）

所以可以进一步写出，

对其分成两个部分考虑，

其中后者容易解出，

前者的解法是类似的，

结果得到4个值（类），

可见这里的 也好， 也好，都是相对于一个巨大的数量X ，而不是一般前提下，相对于一个较小的数量Y 。换句话说，我们可以认为这套系统的计数方式，是倒着算的，或者按照周期跳跃着来算的：忽略那些不太大的数，直接考虑周期的开始和结束（ ），以及其数量的（中间）平方根附近的情况（ ）。

以上给出的就是虚数单位的严格定义。

由这个定义可以看出，一个有周期，由此可计数的系统，一定是量子系统，它具有一个最小的计数周期（称为量子）和一个最大的计数周期（称为周期）。若是没有周期，又不能计数的系统超出我们可以讨论的范围，也是用数量无法描述的。

所以说，为什么会存在虚数单位这个东西？因为它体现的是计数系统最小周期和最大周期彼此相关的最小系统，它的最小周期是最大周期的倒数（另一个常见的最小周期是2，最大周期是一个大偶数）。

留下一个问题：如果周期性不是真的呢？如果从来没有真正的周期性，只是“看错了”呢？那么，就算X 特别大， ， ， 三者也不会相等，也不会都等于0，那么虚数单位就不再成立了。可是量子性，也就是最小单位的存在仍然不受限制，因为观察者观察的能力并不能限制所观之物的尺度极限。由此最大周期也并不能够完全算出，所以无论向微观还是宏观，周期并不真正成立，那么，我们就真的可以意识到，“不得不再来一次”的宿命并不是真的。