在实数的三大公理中,确界原理是分析学的基础。确界原理说,任何有上界的集合都有上确界。由此,我们可以推导出,任何有下界的集合都有下确界。本文将证明这个结论。
在证明的过程中,我们发现,很多结论都是显而易见的。但是,这些显而易见的结论都需要证明。因为整个分析学的理论是建立在三条公理的基础上。任何没有被公理声明的结论,都需要证明。这就是一个理论体系公理化的过程。
首先,引入几条“显而易见”的引理。
引理1. 若x<y则-x>-y。若x>y则-x<-y。
证明. 我们用反证法证明该引理的第一个结论。第二个结论同理可证。
假设x<y成立。
若-x=-y,则由题设的x<y和实数的三大公理中公理2的结论(c)知 0=x+(-x)=x+(-y)<y+(-y)=0。矛盾。
若-x<-y,则有0=x+(-x)<x+(-y)<y+(-y)=0。矛盾。
这样,只能有-x>-y成立。证毕。
由引理1可以得出。
推论1. 若,则