自学数学分析的小问题

这个不是这么理解的。在讨论一个数集的性质的时候，所涉及的数都属于这个数集，那么才承认数集具有这个性质。你要讨论有理数集有没有确界存在定理，当数集里的数都是有理数时，确界也是有理数，那么才可以称“有理数集具有确界存在定理”
上面说的确界可以属于A也可以不属于A跟讨论数集的性质这是两个不同的话题。假如集里的数都是有理数，确界是不在数集里的另外一个有理数，那么“有理数集具有确界存在定理”也是成立。但它已经举例说明了确界不是有理数的情况，因此“有理数集具有确界存在定理”不成立

陈纪修？

你看看我这帖子的回复上确界和最大值是一个意思吗？