关于{1,√2}/ℚ到ℝ的映射连续性证明的错误排查问询

先把你的问题背景和存疑的“证明”梳理清楚：
我们有典范投影映射 $\pi: \mathbb{R}\to \mathbb{R}/\mathbb{Q}, x \mapsto x+\mathbb{Q}$，定义子空间 ${1,\sqrt{2}}/\mathbb{Q}:= \pi({1,\sqrt{2}}) = {1+\mathbb{Q},\sqrt{2}+\mathbb{Q}}\subseteq \mathbb{R}/\mathbb{Q}$，带ℝ/ℚ的子空间拓扑。
接着定义映射 $f:{1+\mathbb{Q},\sqrt{2}+\mathbb{Q}}\to \mathbb{R}$，将 $1+\mathbb{Q}$ 映射到1，$\sqrt{2}+\mathbb{Q}$映射到√2。

你给出的“证明”尝试用商拓扑的泛性质：称包含映射 $\iota: {1,\sqrt{2}}+ \mathbb{Q} \subseteq \mathbb{R} \to \mathbb{R}$ 连续，$\pi|{{1,\sqrt{2}}+ \mathbb{Q}}$ 是开、满、连续的商映射，且 $f\circ \pi|{{1,\sqrt{2}}+ \mathbb{Q}} = \iota$，因此f连续。但你自己发现矛盾：ℝ/ℚ是平凡拓扑，它的子空间${1,\sqrt{2}}/\mathbb{Q}$也应为平凡拓扑，可如果f连续，这个子空间本该是离散的，所以肯定哪里出错了。

核心错误：混淆了「子空间拓扑」和「商拓扑」 #

问题出在你对$\pi|_{{1,\sqrt{2}}+ \mathbb{Q}}$的定位上：

• 题目里的目标空间拓扑是子空间拓扑，不是商拓扑
  你定义的${1,\sqrt{2}}/\mathbb{Q}$带的是ℝ/ℚ的子空间拓扑，而ℝ/ℚ的商拓扑是平凡拓扑——因为ℝ中任何非空开集的原像（即陪集的并）都是ℝ里的稠密集，唯一的开稠密集就是ℝ本身，所以ℝ/ℚ里只有空集和全空间是开集。那它的子空间${1,\sqrt{2}}/\mathbb{Q}$的拓扑自然也是平凡的：只有$\emptyset$和${1+\mathbb{Q},\sqrt{2}+\mathbb{Q}}$两个开集。

• $\pi|_{{1,\sqrt{2}}+ \mathbb{Q}}$不是到这个子空间的商映射
  商拓扑的泛性质有个关键前提：目标空间的拓扑必须是由这个满射诱导的商拓扑——也就是目标空间里的集合是开集当且仅当它在映射下的原像是定义域里的开集。但这里目标空间的拓扑是预先给定的子空间拓扑，和这个映射诱导的商拓扑完全不是一回事，所以泛性质的应用条件不成立。

• 实际验证f不连续
  用连续性定义直接验证：取ℝ中包含1但不包含√2的开集，比如$(0, 1.5)$，它在f下的原像是${1+\mathbb{Q}}$，但这个集合在${1,\sqrt{2}}/\mathbb{Q}$的平凡拓扑里不是开集（开集只有空集和全空间），所以f显然不连续，这和你用错误方法推出的结论矛盾。

总结来说：你错误地将目标空间的子空间拓扑当成了由限制投影诱导的商拓扑，从而误用了商拓扑的泛性质——泛性质只适用于目标空间拓扑是商拓扑的场景，这里并不满足这个前提。

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