阿基米德性质(Archimedean property)是实数系统很重要的性质。可以证明它与确界原理等价。换句话说,在三大公理的公理1和公理2成立的条件下,由阿基米德性质,可以推导出确界原理。这个结论的证明,留待日后解决。本文将介绍由确界原理到阿基米德性质的推导过程,并由此导出有理数集在实数集上的稠密性,以及确界的唯一性。
定理. (阿基米德性质)任意的实数a>0和都存在正整数n使得。
证明. 我们用反证法。假设阿基米德性质不成立。那么a是集合的上界。由确界原理,集合S有上确界,记为c。这样,由上界的定义有对所有的正整数n成立。但是,由上确界的定义,对于