如何证明无理数没有上界？其证明与实数无界证明是否存在差异？

嘿，这个问题问得挺到位的！你已经从教材里了解到实数集没有上界，也清楚无理数是实数的一部分，好奇无理数的无界性证明会不会有特别之处，完全是情理之中的事。咱们结合你提到的正整数无上界定理，一步步拆解来看。

首先先回顾你引用的这个关键定理：

定理1：正整数集P={1,2,3,…}无上界。
证明1：假设P有上界，我们将推导矛盾。由于P非空，故存在最小上界b，数b−1小于b，所以b−1不是P的上界，这意味着存在某个正整数n满足n > b−1，那么n+1 > b，但n+1也是正整数，这与b是P的上界矛盾，因此P无上界。

接下来聊无理数的无界性，其实核心思路和实数无界的证明是相通的，但需要结合无理数的特性来调整，这里有两种直观的证明方式：

方式一：借助实数无界+无理数的运算性质 #

• 既然实数集无上界，那对于任意给定的实数M，我们只需要找到一个大于M的无理数，就能证明无理数集无上界。
• 分两种情况看：
  • 如果M是有理数，直接取M + √2就行——有理数加无理数的结果还是无理数，而且显然M + √2 > M；
  • 如果M本身是无理数，那M + 1就满足要求——无理数加有理数（1是有理数）仍然是无理数，同时M + 1 > M。
• 同理，要证明无理数无下界，也可以用类似方法：对任意实数m，找一个小于m的无理数（比如m - √2，或者m - 1，根据m的类型调整）。

方式二：模仿正整数的反证法逻辑 #

• 假设无理数集有上界B，也就是说所有无理数都≤B。
• 我们知道正整数集是无上界的（就是你引用的定理1），所以一定存在某个正整数n，使得n > B - √2。
• 把这个不等式变形一下，就能得到n + √2 > B。而n + √2是无理数（正整数是有理数，有理数加无理数是无理数），这就和“B是无理数的上界”矛盾了！
• 矛盾说明我们的假设不成立，所以无理数集没有上界。同理也能证明无理数集没有下界。

总结一下 #

其实无理数无界性的证明和实数无界的核心逻辑是一致的——都是通过“总能找到突破假设上界的数”来推翻有界的猜想。唯一的区别在于，无理数的证明需要额外保证找到的那个“突破数”确实是无理数，这就用到了无理数的基本运算性质：有理数与无理数的和/差仍然是无理数。

内容的提问来源于stack exchange，提问作者P.Saira