关于贝尔范畴定理逆命题验证推理的正确性问询

嗨，我来帮你梳理这段关于贝尔范畴定理逆命题的推理是否正确～

首先先明确贝尔范畴定理的一种标准表述：

若$X \neq \emptyset$是完备度量空间，则$X$作为自身的子集是非贫集（nonmeager）。

你提到这个定理的逆命题——即“所有非贫的度量空间都是完备的”——并不成立，并且想用$(0,1)$这个例子来验证，我们来一步步分析你的推理：

一、关于$(0,1)$不完备的推理：完全正确 #

你指出赋予通常度量$d(x,y)=|x-y|$的$((0,1),d)$不是完备空间：

• 取序列$\left(\frac{1}{n}\right)_{n=2}^\infty$，这个序列在$(0,1)$中是柯西序列（当$m,n$足够大时，$\left|\frac{1}{m}-\frac{1}{n}\right|$可以任意小），但它的极限$0$并不属于$(0,1)$，因此这个空间确实不完备。这部分的逻辑没有问题。

二、关于$(0,1)$是非贫集的推理：结论正确，但理由需要修正 #

你给出的理由是“$(0,1) = \bigcup_{n \geq 1}\left(0,\frac{1}{n}\right)$，而$\left(0,\frac{1}{2}\right)$不是疏朗集（rare/nowhere dense）”，这里的表述有小瑕疵：

• 非贫集的定义是无法表示为可数个疏朗集的并集。你写出的$\bigcup_{n \geq 1}\left(0,\frac{1}{n}\right)$确实等于$(0,1)$，但这个并集中的每个$\left(0,\frac{1}{n}\right)$都不是疏朗集（它们在$(0,1)$中的闭包是$\left(0,\frac{1}{n}\right]$，内部非空），所以这个分解不能直接用来证明非贫性。
• 正确的证明方式可以这样：
  • 方法1：$(0,1)$和$\mathbb{R}$是同胚的（比如通过映射$f(x)=\tan\left(\pi(x-\frac{1}{2})\right)$），而$\mathbb{R}$是完备度量空间，根据贝尔范畴定理它是非贫集；同胚映射会保持疏朗集的性质（疏朗集的同胚像仍是疏朗集），因此$(0,1)$作为自身的子集也是非贫集。
  • 方法2：假设$(0,1)$是贫集，那么它可以写成可数个疏朗集的并。这些疏朗集在$\mathbb{R}$中的闭包也是疏朗集，这就会推出$\mathbb{R}$是可数个疏朗集的并，与贝尔范畴定理矛盾，因此$(0,1)$必然是非贫集。

总结 #

你的核心结论是对的：$(0,1)$是一个不完备但非贫的度量空间，这确实能说明贝尔范畴定理的逆命题不成立。只是证明它非贫集的理由需要调整一下，整体的思路方向是没问题的～

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