求助：拓扑空间中稠密集相关等价性证明的右方向推导

嘿，我来帮你搞定这个拓扑学的问题！首先得澄清一个关键点：你提到的这个等价性只有当集合B是开集时才成立，如果是任意集合的话，右方向的推导是不成立的，我先给你看个反例，再讲正确的证明逻辑~

设$X$是拓扑空间，$D \subseteq X$是稠密子集（即$\overline{D} = X$），则对开集$B \subseteq X$，有$B \cap D \neq \emptyset$当且仅当$\text{int}(B) \neq \emptyset$。

左方向：若$\text{int}(B) \neq \emptyset$，则$B \cap D \neq \emptyset$ #

这个方向你已经觉得简单，我快速过一遍：因为$B$是开集，$\text{int}(B)$就是$B$本身。而稠密子集的核心性质就是：$X$中所有非空开集都与$D$相交。所以非空开集$B$必然和$D$有交集，即$B \cap D \neq \emptyset$。

右方向：若$B \cap D \neq \emptyset$，则$\text{int}(B) \neq \emptyset$ #

这里用反证法就很清晰：
假设$\text{int}(B) = \emptyset$，因为$B$是开集，开集的内部等于它自身，所以$B = \emptyset$。但空集和任何集合都没有交集，这与已知的$B \cap D \neq \emptyset$矛盾。因此假设不成立，$\text{int}(B)$必然非空。

举个直观的反例：取$X$为实数集$\mathbb{R}$（配备标准拓扑），稠密子集$D$为有理数集$\mathbb{Q}$。取集合$B = {0}$（单点集），显然$B \cap D = {0} \neq \emptyset$，但$B$的内部$\text{int}(B) = \emptyset$——这直接推翻了“任意集合$B$与$D$相交则$\text{int}(B) \neq \emptyset$”的结论。

如果你的问题里确实是任意集合，那可能是命题表述有误，比如应该是“$\text{int}(B) \neq \emptyset$当且仅当$B$的某个非空开子集与$D$相交”，这个是成立的，但和你原本的命题有区别。

内容的提问来源于stack exchange，提问作者Jonelle Yu