QSN5: 有限位相空間
finite topological space, finite ordered set, homotopy, beat point, Hasse diagram
内容紹介
位相空間と聞いて思い浮かべるのは, Euclid 空間やその部分空間のような「連続的な」対象であることが多いかもしれない. 一方, 本稿で取り上げる有限位相空間は, 一見すると自明な対象に思えるかもしれない. 実際, 有限位相空間に \mathrm{T}_{1}-分離公理を課すと離散空間となり自明な空間しか残らない. しかし, 分離公理を \mathrm{T}_{0} まで弱めると状況が変わってくる. 有限 \mathrm{T}_{0}-位相空間は, その位相から定まる順序(特殊化順序)を通して有限半順序集合と一対一に対応し, そうした空間の間の写像の連続性は順序保存性によって特徴づけられる. すなわち, \mathrm{T}_{0}-空間のクラスを対象とした議論は, 順序集合の組合せ論と密接に関連している.
さらに, 有限 \mathrm{T}_{0}-位相空間を考えると自明でないホモトピー型が現れる. Stong は, beat point と呼ばれる点の除去という組合せ的操作を繰り返すことで, 任意の有限 \mathrm{T}_{0}-空間から「コア」と呼ばれる極小な部分空間が得られること, そしてコアが元の空間のホモトピー型について同相を除いて一意に決定することを示した. これにより, 有限 \mathrm{T}_{0}-空間のホモトピー同値性の判定は純粋に組合せ的なアルゴリズムで実行可能な問題に帰着する. 例えば, 3点からなる連結 -空間はすべて可縮である一方, 4点からなる可縮でない連結空間の存在が, ハッセ図の観察だけからわかる.
本稿のもう1つの特徴は, 有限位相空間の行列表示を紹介することである. 有限 \mathrm{T}_{0}-空間は成分が 0, 1 の正方行列で表され, 同相性は行列の置換相似によって特徴づけられる. 積空間や逆位相空間などの操作も行列演算に翻訳可能である. 特に, (Chocano 2025)による結果, すなわちトレースによる2点反鎖の数え上げや, 行列式の絶対値がホモトピー不変量になること(したがって可縮空間では行列式が 0 になること)を紹介する.
本稿の構成は次の通りである. 第1章では本稿で扱う記法と基本概念について確認する. 位相空間論の基本事項に親しんでいる読者は, 記法のみ確認して第2章から読み始めることができる. 第2章では有限位相空間・前順序集合・行列の三者の対応関係を示し, 第3章では(Stong 1966)による beat point とコアの理論を紹介したのち, (Chocano 2025)による行列を用いたホモトピー同値性の判定法を論じる. 付録Aには3点および4点からなる \mathrm{T}_{0}-空間の一覧を, ハッセ図・対応する行列・その行列式とともに掲げた. 本文中の例を確認する際の参照用として活用されたい.
本稿では取り上げないものの, McCord (McCord 1966)による次の定理も広く知られている: 任意の有限 \mathrm{T}_{0}-位相空間に対し, それと弱ホモトピー同値な有限単体複体が存在し, 逆に, 任意の有限単体複体に対して, それと弱ホモトピー同値な有限 \mathrm{T}_{0}-位相空間が存在する. この方面を含む発展的な内容については の教科書等を参照されたい.
本稿では, 位相空間論の入門書レベル((大田春外 2012), (森田紀一 1981)など) の内容を理解している読者を想定している. そのため, 証明の行間はできるだけ埋めるように心がけた. (森田紀一 1981)を読める読者であれば本稿の内容を十分理解できると思われる. 一方で, 専門的な内容まで理解している読者にとっては冗長と思われる箇所も少なくないが, ご容赦願いたい.
目次
- 第1章 準備: 記法と基本概念
- 第2章 有限位相空間・半順序集合・行列の対応
- 2.1 有限位相空間と半順序集合
- 2.2 逆位相空間
- 2.3 有限位相空間の行列表示
- 第3章 有限位相空間のホモトピー型
- 3.1 Stong の定理
- 3.2 逆位相空間とホモトピー型
- 3.3 行列によるホモトピー同値性の判定
- 付録A 具体例一覧
- A.1 3 点からなる \mathrm{T}_{0}-位相空間の同相類
- A.2 4 点からなる \mathrm{T}_{0}-位相空間の同相類
- 参考文献
- 索引
本文PDF
後日公開予定.
サンプル
