求满足任意两点x₁、x₂的拓扑空间示例：含x₁的开集必含x₂

嘿，这个问题很有意思！我给你举个最经典也最直观的例子——平凡拓扑（Indiscrete Topology），完美符合你描述的要求。

具体定义 #

我们构造这样一个拓扑空间：

• 先选一个至少包含两个元素的集合 ( X )，比如最简单的 ( X = {x, y} )，或者更大的集合 ( X = {a, b, c, d} ) 都可以；
• 给 ( X ) 赋予拓扑 ( \tau = {\emptyset, X} )——也就是说，这个拓扑里只有两个开集：空集，以及整个集合 ( X ) 本身。

验证条件 #

随便挑 ( X ) 里的任意两个点 ( p ) 和 ( q )：

• 任何包含 ( p ) 的开集，只能是 ( X )（毕竟空集不包含任何点），而 ( X ) 显然包含 ( q )；
• 反过来，任何包含 ( q ) 的开集也只能是 ( X )，自然也包含 ( p )。

不管你选 ( X ) 里哪两个点，这个逻辑都成立——因为所有非空开集都是整个集合，所以只要开集包含其中一个点，就必然包含所有点，当然满足“包含x₁的开集必包含x₂”的要求。

额外补充 #

你可能会问：有没有非平凡的拓扑也满足这个条件？其实没有。假设存在一个拓扑空间满足你的要求，但有一个非空开集 ( U ) 不包含某个点 ( q )，那取 ( U ) 里的任意点 ( p )，这时候包含 ( p ) 的开集 ( U ) 不包含 ( q )，直接违反了你的条件。所以唯一满足该条件的拓扑就是平凡拓扑。

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