关于复数不是有序域的 一点疑问

wufaxian

请看下图，关于复数不是有序域是因为不满足公理O2。但是我发现O2的前提是x>0 y>0  。可是复数有正负之分么？如果无法界定复数是>0 还是 <0 那么就无法适用公理O2，而不能说不满足公理O2吧？

设非零复数x=a+bi
-(a+bi)(0)=-(a+bi)((a+bi)-(a+bi))=-(a方-b方+2abi)+（a方-b方+2abi）相反。上面的计算过程倒是可以证明非零复数x  有-x*-x=\(x^{2}\)

《普林斯顿数学分析》P53


公理O2

wufaxian

问题已经解决。