$\mathbb{R}^3$中由直线集与平面集生成的拓扑$\tau_1$与$\tau_2$的关系探究

咱们来一步步拆解这个问题：首先明确背景——$\mathbb{R}^3$中，$L$是所有直线的集合，$P$是所有平面的集合，$\tau_1$是以$L$为子基生成的拓扑，$\tau_2$是以$P$为子基生成的拓扑。

一、先看$\tau_1$：它是离散拓扑 #

• 子基生成拓扑的规则是：拓扑里的开集是子基元素的有限交再做任意并。对于$\mathbb{R}^3$里的任意一个单点${x}$，我们总能找到两条只在$x$处相交的直线$l_1$和$l_2$，那${x}$就是这两条直线的交集。
• 因为$l_1$和$l_2$都是子基里的元素，它们的有限交属于拓扑的基元素，所以${x}$是$\tau_1$里的开集。而离散拓扑的核心就是所有单点集都是开集，所以$\tau_1$就是$\mathbb{R}^{3$上的**离散拓扑**——它包含了$\mathbb{R}}3$的所有子集作为开集。

二、再看$\tau_2$：它是比离散拓扑更粗的拓扑 #

• 同样按子基生成规则，$\tau_2$的开集是所有平面的有限交的任意并。两个平面的交集要么是一条直线（相交平面），要么是空集（平行平面）；更多平面的有限交，要么是空集、要么是直线、要么是平面，甚至是$\mathbb{R}^3$本身。
• 你会发现，无论怎么组合这些平面的有限交和任意并，都没法得到单点集——毕竟平面是二维的，它们的交集最低维度是1（直线），不可能缩成一个点。所以$\tau_2$里不存在单点开集，它的开集范围比离散拓扑小得多。

三、两者的关系结论 #

• 因为$\tau_1$是离散拓扑，它包含了$\mathbb{R}^3$的所有子集，自然也就包含了$\tau_2$里的所有开集；但反过来，$\tau_2$里没有单点开集，而$\tau_1$里有，所以$\tau_2$完全包含在$\tau_1$里，且$\tau_1$有$\tau_2$没有的开集。
• 简单说就是：$\tau_1$比$\tau_2$更精细，二者并不等价。

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