CWコンプレックスの定義
概要1
CW複合体は、セル複合体cell Complexとも呼ばれる複合体で、次の再帰的な手順で構築される。
定義
- 離散的discreteな集合$X^{0} \ne \emptyset$を**$0$-セル**cellとみなす。
- $n$-スケルトンskeleton$X^{n}$は$X^{n-1}$から$n$-セル$e_{\alpha}^{n}$を$\phi_{\alpha} : S^{n-1} \to X^{n-1}$へと接続することで作られる。
- $X := \bigcup_{n \in \mathbb{N}} X^{n}$が弱位相を持つ位相空間になるとき、$X$をセル複合体という。
説明
定義は難しく複雑に見えるかもしれないが、思ったよりも手が届きやすい。正直に言って、CW複合体についてあまり詳しく知らなくても大丈夫なので、あまりプレッシャーを感じないようにしよう。
グラフの一般化
$1$-スケルトンは、それ自体でグラフである。ここで、$0$-セル$X^{0} = V$は頂点の集まり、$1$-セル$X^{1} = E$はエッジの集まりとなる。$e_{\alpha}^{1} \in E$はインデックス$\alpha$に従って$0$-セルを結ぶエッジであり、必ずしもすべての$0$-セルを結ぶ必要はない。
この視点から、セル複合体をグラフの一般化であるハイパーグラフhyper Graphと見なしても問題ない。以下はハイパーグラフを示した図で、同時に複数の頂点を結ぶ$e_{k}$が、まさにセル$e_{\alpha}$に対応している2。
CWの由来3
ほとんどの文献ではセル複合体という表現は使用されず、通常はCW複合体と呼ばれる。その理由を知るために、定義を詳しく掘り下げてみよう。
- 次のように定義された$D^{n} \subset \mathbb{R}^{n}$を$n$-ユニットディスクunit Diskという。 $$ D^{n} := \left\{ \mathbf{x} \in \mathbb{R}^{n} : \left\| \mathbf{x} \right\| \le 1 \right\} $$
- 次のように定義された$S^{n} \subset \mathbb{R}^{n+1}$を$n$-ユニットスフィアunit Sphereという。 $$ S^{n} := \left\{ \mathbf{x} \in \mathbb{R}^{n+1} : \left\| \mathbf{x} \right\| = 1 \right\} $$
- $D^{n} \setminus \partial D^{n}$とそれにホメオモルフィックな部分集合$e^{n}$も$n$-セルcellと呼ばれる。
$n$-ディスクの境界は$n$-スフィアである。つまり、次が成り立つ。 $$ \partial D^{n} = S^{n-1} $$
まず$X^{0}$については、大きな問題はないだろう。$e_{\alpha}^{n}$が$n-1$スケルトンを接続することは、ハイパーグラフで一つの一般化された$k$-エッジが複数の頂点を結ぶことと似ている。もう少し厳密に言えば、境界のすべての点$x \in \partial D_{\alpha}^{n}$に対する同値関係 $$ x \sim \phi_{\alpha} (x) $$ を与えて商空間を作ることになる。この説明が難しいなら、学部レベルの位相を再学習すればよい。位相で同値関係を与えること―実際には異なる要素を同じものとして扱うこと―は、直感的に見ると「空間を繋げること」である。$n$-スケルトン$X^{n} := x^{n-1} \cup \bigsqcup_{\alpha} D_{\alpha}^{n}$は、これらの商写像$\phi_{\alpha}$の下での商空間であり、$n$-セル$e_{\alpha}^{n}$は商写像$\phi_{\alpha}$の下で$D_{\alpha}^{n} \setminus \partial D_{\alpha}^{n}$の像imageとホメオモルフィックである。
一方で、$X$が弱位相を持つということは、$A \subset X$が$X$で開集合（閉集合）であることと、すべての$n \in \mathbb{N}$に対して$A \cap X^{n}$が$X^{n}$で開集合（閉集合）であることが同値であるということである。弱位相の一般的な概念とすぐに結びつけようと無理をしなくてもよく、分からなければそれでよいとして進めてもよい。
なんにせよ、CW複合体は以下の二つの特徴から名前がついている：