[论文解读] Dimension of Alexandrov Topologies

Patrick Erik Bradley, Norbert W. Paul|arXiv (Cornell University)|May 8, 2013

Digital Image Processing Techniques被引用 6

一句话总结

本文证明，对于有限高度的亚历山德罗夫空间，克鲁尔维数等于其高度，且两者均由其对应的T₀空间的专属性预序完全确定。关键贡献在于通过柯尔莫哥洛夫商的偏序结构表征克鲁尔维数，表明此类空间中有限维性等价于有限高度。

ABSTRACT

We prove that the Krull dimension of an Alexandrov space of finite height can be characterised with the specialisation preorder of its associated $T_0$-space.

研究动机与目标

• 通过其专属性预序表征亚历山德罗夫空间的克鲁尔维数。
• 澄清有限维亚历山德罗夫空间中克鲁尔维数与高度之间的关系。
• 证明有限高度亚历山德罗夫空间的克鲁尔维数等于其柯尔莫哥洛夫商的克鲁尔维数。
• 建立不可约闭子集为单点闭包的条件。
• 证明亚历山德罗夫空间中的有限维性等价于有限高度。

提出的方法

• 通过定义亚历山德罗夫空间上的专属性预序 ≤，其中 x ≤ y 当且仅当 x ∈ cl{y}。
• 利用柯尔莫哥洛夫商 X₀ = X/∼ 得到一个具有偏序作为专属性预序的T₀空间。
• 建立一个保持专属性预序的典范满射 π: X → X₀（即 x ≤ y 当且仅当 π(x) ≤ π(y)）。
• 证明 π 在 X 中形如 cl{x} 的闭集与 X₀ 中形如 cl{x₀} 的闭集之间诱导出一个双射。
• 利用引理1证明，对任意 x，cl{x} 是不可约的。
• 利用引理2证明，在有限高度的亚历山德罗夫空间中，每个不可约闭集都是单点的闭包。

实验结果

研究问题

• RQ1 在何种条件下，亚历山德罗夫空间的克鲁尔维数与其高度相等？
• RQ2 亚历山德罗夫空间的克鲁尔维数如何与其中T₀商的专属性预序相关？
• RQ3 在有限高度的亚历山德罗夫空间中，所有不可约闭子集何时为单点的闭包？
• RQ4 亚历山德罗夫空间的克鲁尔维数是否仅依赖于其柯尔莫哥洛夫商？
• RQ5 亚历山德罗夫空间中的有限维性是否等价于有限高度？

主要发现

• 有限高度亚历山德罗夫空间的克鲁尔维数等于其高度。
• 在有限高度的亚历山德罗夫空间中，每个不可约闭子集都是单点的闭包。
• 亚历山德罗夫空间的克鲁尔维数等于其柯尔莫哥洛夫商 X₀ 的克鲁尔维数。
• 亚历山德罗夫空间的高度等于其柯尔莫哥洛夫商的高度。
• T₀商的专属性预序完全决定了原始亚历山德罗夫空间的克鲁尔维数。
• 亚历山德罗夫空间中的有限维性等价于有限高度。