[論文レビュー] 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 が cl{y} に属するとき x ≤ y と定義することで、アレクサンドロフ空間上の特化順序 ≤ を定義する。
• X₀ = X/∼ を用いて、特化順序としての部分順序を持つT₀空間を得る。
• 特化順序を保存する（x ≤ y ならば π(x) ≤ π(y) となる）標準的全射 π: X → X₀ を確立する。
• π が X における形 cl{x} の閉集合と X₀ における形 cl{x₀} の閉集合の間の全単射を誘導することを証明する。
• 補題1を用いて、任意の x に対して cl{x} が既約であることを示す。
• 補題2を用いて、有限高さのアレクサンドロフ空間において、すべての既約閉集合が単一の点の閉包であることを示す。

実験結果

リサーチクエスチョン

• RQ1 アレクサンドロフ空間のクルル次元が高さに一致する条件は何か？
• RQ2 アレクサンドロフ空間のクルル次元は、そのT₀商の特化順序とどのように関係するか？
• RQ3 有限高さのアレクサンドロフ空間において、すべての既約閉部分集合が単一の点の閉包であるのはいつか？
• RQ4 アレクサンドロフ空間のクルル次元は、そのコルモゴロフ商にのみ依存するか？
• RQ5 アレクサンドロフ空間における有限次元性は、有限高さと同値か？

主な発見

• 有限高さのアレクサンドロフ空間のクルル次元は、その高さに等しい。
• 有限高さのアレクサンドロフ空間において、すべての既約閉部分集合は単一の点の閉包である。
• アレクサンドロフ空間のクルル次元は、そのコルモゴロフ商 X₀ のクルル次元に等しい。
• アレクサンドロフ空間の高さは、そのコルモゴロフ商の高さに等しい。
• T₀商の特化順序は、元のアレクサンドロフ空間のクルル次元を完全に決定する。
• アレクサンドロフ空間における有限次元性は、有限高さと同値である。