度量空间中证明ℝ\ℚ的闭包为ℝ的疑问

嗨，我看到你在度量空间里证明无理数集的闭包是实数集时遇到了小困惑，先给你点个赞——你已经找对了核心思路：要证明每个实数的任意ε邻域里都存在至少一个无理数，这步方向完全没问题！

你之前尝试用十进制展开构造数，但不小心选成了有理数，确实不符合ℝ\ℚ的要求，那我们可以换个思路调整一下，或者用更直接的构造方法：

首先，我们可以分两种情况来讨论，会更清晰：

• 如果r本身就是无理数，那这情况超简单：直接取q=r就行，显然|r-q|=0<ε，而且q属于ℝ\ℚ，完美满足条件。
• 如果r是有理数，这才是需要重点构造的部分。你可以利用我们已知的无理数（比如√2）来构造：
  设q = r + ε*(√2/2)，先判断q是不是无理数：因为r是有理数，ε*(√2/2)是有理数乘无理数，结果还是无理数；有理数加无理数的结果肯定是无理数，所以q属于ℝ\ℚ。
  再算距离：|r - q| = |ε*(√2/2)| = ε*(√2/2)，而√2/2≈0.707<1，所以这个距离肯定小于ε，刚好满足邻域的要求！

当然，你之前的十进制思路也能救回来：如果r是有理数（十进制要么有限要么循环），那我们可以在它的十进制展开后面加一串不循环的数字，比如像0.101001000100001...这种无规律的模式，取足够多的位数，让这个新数和r的差小于ε。比如r=0.3（有理数），ε=0.0001，那我们可以取q=0.3001000100001...，这个数是无理数，而且|0.3 - q|=0.00010001...<0.0001=ε，也符合要求。

最后帮你梳理下完整的证明逻辑：

1. 根据闭包的等价定义：集合A的闭包是所有满足“任意ε>0，该点的ε邻域与A相交”的点的集合。所以要证ℝ\ℚ的闭包是ℝ，就是要证每个实数r都满足这个条件。
2. 对任意r∈ℝ：
   • 若r是无理数，r本身就在ℝ\ℚ里，它的ε邻域自然包含r，交集非空。
   • 若r是有理数，用上面构造的无理数q，能证明q在r的ε邻域里且属于ℝ\ℚ，交集非空。
3. 综上，所有实数都满足条件，所以ℝ\ℚ的闭包就是ℝ。

备注：内容来源于stack exchange，提问作者Zek