关于集合$M\subseteq\mathbb{R}$（$M:={x\in\mathbb{Q}:x^2<7}$）确界与最值的疑问

架构老林

2026-5-19

关于集合$M = { x \in \mathbb{Q} : x^2 < 7 }$的确界与最值分析

咱们先把问题拆成四个部分逐个分析，明确每个概念的核心差异：

上确界：存在，值为$\sqrt{7}$
首先，$\sqrt{7}$是集合$M$的上界——对任意$x \in M$，$x^2 < 7$，若$x \geq \sqrt{7}$则必然有$x^2 \geq 7$，这和$x \in M$矛盾。其次，根据有理数在实数中的稠密性，不管你取多小的正数$\varepsilon$，总能找到一个有理数$x$满足$\sqrt{7} - \varepsilon < x < \sqrt{7}$，此时$x^2 < 7$，所以$x \in M$。这说明不存在比$\sqrt{7}$更小的上界，因此$\sqrt{7}$就是$M$的上确界。
下确界：存在，值为$-\sqrt{7}$
逻辑和上确界完全对称：$-\sqrt{7}$是$M$的下界（任意$x \in M$都满足$x > -\sqrt{7}$，否则$x^2 \geq 7$），同时对任意$\varepsilon > 0$，能找到有理数$x \in M$满足$-\sqrt{7} < x < -\sqrt{7} + \varepsilon$，所以$-\sqrt{7}$是$M$的下确界。
最大值：不存在
假设$M$存在最大值$a \in \mathbb{Q}$，那么$a^2 < 7$，且$a < \sqrt{7}$（因为$\sqrt{7}$不是有理数）。根据有理数的稠密性，必然存在一个有理数$b$满足$a < b < \sqrt{7}$，此时$b^2 < 7$，所以$b \in M$且$b > a$，这和$a$是最大值矛盾，因此$M$没有最大值。
最小值：不存在
和最大值的推理一致：假设存在最小值$c \in \mathbb{Q}$，则$c > -\sqrt{7}$，总能找到有理数$d$满足$-\sqrt{7} < d < c$且$d^2 < 7$，$d \in M$且$d < c$，矛盾，所以$M$没有最小值。