多元函数第一：实数系统（2） 确界原理

在实数的三大公理中，确界原理是分析学的基础。确界原理说，任何有上界的集合都有上确界。由此，我们可以推导出，任何有下界的集合都有下确界。本文将证明这个结论。

在证明的过程中，我们发现，很多结论都是显而易见的。但是，这些显而易见的结论都需要证明。因为整个分析学的理论是建立在三条公理的基础上。任何没有被公理声明的结论，都需要证明。这就是一个理论体系公理化的过程。

首先，引入几条“显而易见”的引理。

引理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. 若，则。若