トポロジー入門
SGCライブラリ - 42
トポロジー入門
田中利史・村上斉 共著
2005年9月25日 初版発行
単体的複体
単体
- を始点とし を終点とするベクトルを と書く。
- 原点を始点とし、 を終点とするベクトルを と書く。
次元ユークリッド空間 の中に 個の点 があって、 個のベクトル が1次独立であると仮定する。
で表される点全体を と書き、 を頂点とする 次元単体、あるいは -単体という。
- ()
次元単体 の頂点から 個選んで、それらを頂点とする 次元単体 を の面単体と呼ぶ。
単体 が単体 の面単体であるとき、 と表す。
単体的複体
ユークリッド空間 の中にある単体の集合 が次の条件をみたすとき、 を単体的複体という:
- ある単体 が に含まれるなら、 のすべての面単体も に含まれる。
- に含まれる2つの単体 の共通部分 が空でないなら、それは の面単体であり、かつ、 の面単体でもある。
単体的複体 に含まれる単体の最大の次元を の次元といい と書く。
単体的複体 に含まれる 次元以下の単体を全部集めたものを と書き、 の -切片と呼ぶ。
単体的複体 に対して、 は単体的複体になる。
を 次元単体とし、その頂点を と書く。
- 次元単体
- に含まれる 個の点 を と書く。
- に含まれる 個の点 を と書く。
個の -単体 およびその面単体全体からなる単体的複体を と書き、 の柱体と呼ぶ。
一般に単体的複体 が与えられたとき、その柱体 を以下で定義する:
単体分割
単体的複体 の単体に含まれる点全体からなる集合を、 の部分空間とみなしたものを の多面体といい で表す。
逆に、単体的複体 は、距離空間 の三角形分割あるいは単体分割という。
- 次元単体の多面体と同相な距離空間を 次元球体と呼び、 と書く。
- 次元単体の、自分自身以外の面単体全体の作る単体的複体の多面体と同相な距離空間を 次元球面と呼び、 と書く。
単体写像
を単体的複体とする。
を から への写像で、以下の条件をみたすものとする:
- に含まれる任意の単体 に対し、集合 は のある単体の頂点になっている。
このとき、 を から への単体写像という。
単体写像 が与えられたとき、多面体 の間の写像 を、 の単体 内の点 に対しては となるように定義する。
写像 を、単体写像 から誘導された写像という。
重心細分
次元単体 内の点 を の重心といい、 と書く。
次元単体 に対して、以下の単体的複体を の重心細分といい、 と書く:
単体的複体 内の単体を重心細分して得られる単体をすべて集めてできる単体的複体を の重心細分と呼び、 で表す。
重心細分を繰り返すことによって、単体をいくらでも小さくすることができる。
- 単体 に含まれる2点間の距離の最大値を直径と呼び、 で表す。
- 単体的複体 に含まれる単体の直径の最大値を粗さといい、 で表す。
次元単体 とその細分 に対し、以下が成り立つ。
単体的複体 に対し、 である。
任意の に対して を十分大きくとれば とできる。
- は を 回重心細分して得られる単体的複体。
単体近似
次元単体 に対し、( かつ )をみたす点全体を で表し、 の内部と呼ぶ。
単体から内部を除いた部分を境界といい と書く。
単体的複体 とその多面体 を考える。
の点 に対し、 を含むような単体の内部の合併集合を の における開星状近傍と呼び、 と書く。
の部分集合 に対して を、 の における開星状近傍と呼び、 と書く。
単体的複体 と に対して は の開集合である。
単体近似
多面体 および連続写像 を考える。
単体写像 が の単体近似であるとは、以下が成り立つことである:
- 任意の に対して、 が の単体 に含まれるなら も に含まれる。
この条件は次と同値である:
- の任意の頂点 に対し、。
任意の連続写像 に対して、 を十分大きく取れば、単体近似 が存在する。