一、问题背景
    从数的扩充原则来看，如果在复数集上能够比较大小那是多么美妙的事！

    这里有两个问题必须具备：

    1、建立新数集上的大小关系，并使其满足顺序律；

    2、单调性：（1）若http://courseware.ecnudec.com/zsb/zsx/zsx10/zsx100/images/062.png
     就前几次扩充数集(从自然数到整数，从整数到有理数，从有理数到实数)的结果来看，这两个方面的要求都得到了肯定的解决．

二、复数集是有序集
    首先，把实数集上的大小关系扩充到整个复数集上去，并且使之满足顺序律，这是毫无困难的，而且办法还不止一种．例如，对任意的两个复数a+bi与c+di，我们规定：
        若a<c，就算a+bi<c+di，
        若a=c，但b<d，就算a+bi<c+di．
     用语言叙述就是，两个复数当中实数部分大者，该复数就大；实数部分相等，而虚数部分的系数大者该复数就大．
     这样规定显然顺理成章的：与原有的大小关系完全吻合，同时又一般地满足所强调的顺序律．
三、复数集不是有序域（即不能在复数集上建立大小关系）
     下面的论述发现问题的不和谐。

     比如，按照这里的规定，对于i与O应有

0<i．

    于是，如果关于乘法具有单调性的话，那么就有

http://courseware.ecnudec.com/zsb/zsx/zsx10/zsx100/images/063.png
    这与已经规定好的-l<O相矛盾．这就说明，上面规定的复数之间的相当自然的大小关系不能保持关于乘法的单调性．
    其实，我们可以一般地证明，复数集上的任何一种大小关系(当然是满足顺序律的大小关系)都必须放弃对单调性的要求．换句话说，在复数集上不存在满足以下四个条件的大小关系：
        1)对任意两个复数与http://courseware.ecnudec.com/zsb/zsx/zsx10/zsx100/images/065.png ，下列三个关系有且只有一个成立：

http://courseware.ecnudec.com/zsb/zsx/zsx10/zsx100/images/066.png

        2)若α<β, β<γ，则α<γ．
        3)若α<β，γ为任意复数 http://courseware.ecnudec.com/zsb/zsx/zsx10/zsx100/images/067.png
        4) 若α<β，γ>O http://courseware.ecnudec.com/zsb/zsx/zsx10/zsx100/images/069.png
     事实上，假如在复数集上能够规定一个小于关系“<”，它同时满足以上四个条件．
     我们考查O与i这两个复数．由条件1)，必有 O<i 或者 i<0．
     于是，如果0<i，那么由条件4)，则有
        O·i<i·i，即0<-1．
        再由条件4)，可得
        0·(-1)<(-1)·(-1), 即0<1.
        从而，由条件3) ，又得
        0+1<(-1)+1, 即1<0.
        这样导致0<1与1<0同时成立．当然，这是条件1)所不容许的．
        故而i<0也是不可能的．
        总之，在复数集上确实没有能使上述四个条件都被满足的大小关系．
        概括以上讨论，对于复数之间的大小比较问题，结论是：有满足条件1)与2)的大小比较方法；没有使上述1)到4)这四个条件同时具备的大小关系．