阿基米德全序体&阿基米德有序域是什么？

实数集合通常被描述为“完备的有序域”，这可以几种解释。

首先，有序域可以是完备格。然而，很容易发现没有有序域会是完备格。这是由于有序域没有最大元素（对任意元素 z，z + 1 将更大）。所以，这里的“完备”不是完备格的意思。

另外，有序域满足戴德金完备性，这在上述公理中已经定义。上述的唯一性也说明了这里的“完备”是指戴德金完备性的意思。这个完备性的意思非常接近采用戴德金分割来构造实数的方法，即从（有理数）有序域出发，通过标准的方法建立戴德金完备性。

这两个完备性的概念都忽略了域的结构。然而，有序群（域是种特殊的群）可以定义一致空间，而一致空间又有完备空间的概念。上述完备性中所述的只是一个特例。（这里采用一致空间中的完备性概念，而不是相关的人们熟知的度量空间的完备性，这是由于度量空间的定义依赖于实数的性质。）当然，R 并不是唯一的一致完备的有序域，但它是唯一的一致完备的阿基米德域。实际上，“完备的阿基米德域”比“完备的有序域”更常见。可以证明，任意一致完备的阿基米德域必然是戴德金完备的（当然反之亦然）。这个完备性的意思非常接近采用柯西序列来构造实数的方法，即从（有理数）阿基米德域出发，通过标准的方法建立一致完备性。

“完备的阿基米德域”最早是由希尔伯特提出来的，他还想表达一些不同于上述的意思。他认为，实数构成了最大的阿基米德域，即所有其他的阿基米德域都是 R 的子域。这样 R 是“完备的”是指，在其中加入任何元素都将使它不再是阿基米德域。这个完备性的意思非常接近用超实数来构造实数的方法，即从某个包含所有（超实数）有序域的纯类出发，从其子域中找出最大的阿基米德域。

与问题无关

不明白LZ在讲什么

“完备的有序域”

实数集合通常被描述为“完备的有序域”，这可以几种解释。

首先，有序域可以是完备格。然而，很容易发现没有有序域会是完备格。这是由于有序域没有最大元素（对任意元素 z，z + 1 将更大）。所以，这里的“完备”不是完备格的意思。

另外，有序域满足戴德金完备性，这在上述公理中已经定义。上述的唯一性也说明了这里的“完备”是指戴德金完备性的意思。这个完备性的意思非常接近