多様体とは何か
定義 1
位相空間 $X$が次の三つの条件を満たす時、$X$を**$n$次元多様体**manifoldと言う。
$n$次元多様体$X$が以下の二つのタイプの点を持つ時、$X$は境界を持つと言われる。
- (1) 内部点: 全ての$x \in X^{\circ}$の近傍が$\mathbb{R}^{n}$と位相同型である。
- (2) 境界点: 全ての$x \in \partial X$の近傍が$U^{n} := \left\{ \mathbf{x} \ | \ \mathbf{x} \in (\mathbb{R}^{+})^{n} \right\}$と位相同型である。
説明
条件(iii)と局所的にユークリッド空間であることは、同じ意味である。つまり、多様体は局所的にユークリッド空間に似た位相空間を指す。特に、$1$次元多様体をカーブcurve、$2$次元多様体をサーフェスsurfaceと言う。
上の例では、最初と二番目は$1$次元多様体だが、三番目はねじれた部分があるため、$1$次元多様体ではない。
特に、境界を持つ$n$次元多様体$X$と境界を持たない$m$次元多様体$Y$について、以下のことが成り立つ。 $$ \partial (X \times Y) = X \times \partial Y $$
Munkres. (2000).『位相幾何学』(第2版): p225。 ↩︎