若不可约闭集满足d.c.c，拓扑空间是否为Noetherian空间？

好问题！答案是是的，这样的拓扑空间确实是Noetherian空间。我来一步步拆解证明思路，帮你理解为什么：

先明确关键定义 #

为了避免混淆，先回顾一下题目里提到的核心概念：

• Noetherian空间：拓扑空间X满足闭集的降链条件（d.c.c.），即任何闭子集的降链 ( C_1 \supseteq C_2 \supseteq C_3 \supseteq \dots ) 最终都会终止——也就是说存在某个正整数N，当n≥N时，所有 ( C_n ) 都等于 ( C_N )，不会再严格缩小。
• 不可约闭集：闭子集Y⊆X是不可约的，当且仅当Y不能被写成两个Y的真闭子集的并。简单说就是“不能拆成更小的闭子集的并”。

用反证法证明结论 #

我们假设X不是Noetherian空间，然后推导矛盾：

1. 根据Noetherian空间的定义，若X不是Noetherian的，就一定存在一个无限严格降链的闭子集：
   [ C_1 \supsetneq C_2 \supsetneq C_3 \supsetneq \dots ]
   每个后续的闭集都是前一个的真子集，永远不会终止。

2. 从这个闭集链出发，构造不可约闭集的降链：

   • 先看第一个闭集 ( C_1 )，取它的一个不可约分支 ( D_1 )（也就是 ( C_1 ) 中最小的不可约闭子集，根据Zorn引理，这样的子集必然存在——把 ( C_1 ) 的所有不可约闭子集按包含关系排序，任意链的交集仍是不可约闭集，所以必有极小元）。
   • 接下来看 ( D_1 ) 和 ( C_2 ) 的交集：
     • 如果 ( D_1 \nsubseteq C_2 )，那么 ( D_1 \cap C_2 ) 是 ( D_1 ) 的真闭子集（因为 ( C_2 ) 是闭集，交集也是闭集，且 ( D_1 ) 有元素不在 ( C_2 ) 里）。由于 ( D_1 ) 不可约，这个真闭子集不能等于 ( D_1 )，我们再取 ( D_1 \cap C_2 ) 的一个不可约分支 ( D_2 )，显然 ( D_2 \subsetneq D_1 )。
     • 如果 ( D_1 \subseteq C_2 )，那我们直接把 ( D_1 ) 放到 ( C_2 ) 的语境里，继续看它和 ( C_3 ) 的关系，重复上面的逻辑，总能找到一个 ( D_2 \subsetneq D_1 )（因为 ( C_2 ) 是 ( C_1 ) 的真子集，无限降链不会终止，不可能一直包含下去）。

3. 重复这个过程，我们会得到一个无限严格降链的不可约闭集：
   [ D_1 \supsetneq D_2 \supsetneq D_3 \supsetneq \dots ]
   这直接和题目中“不可约闭集满足d.c.c.”的条件矛盾——因为d.c.c.要求所有不可约闭集的降链都必须终止，不能无限严格缩小。

补充：逆命题也成立 #

顺便提一句，这个结论的逆命题同样成立：如果X是Noetherian空间，那么它的不可约闭集自然满足d.c.c.。原因很简单：Noetherian空间中所有闭集都满足d.c.c.，不可约闭集只是闭集的一部分，它们的降链当然也会终止。

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