情報幾何学/数学的準備のソースを表示

== 多様体 ==

'''定義1.1''' 集合 <math>X</math> と <math>X</math> の部分集合族 <math>\mathcal{O}</math> の組 <math>(X,\mathcal{O})</math> が'''位相空間'''であるとは, 次の2条件が満たされることをいう:

# <math>O_{1},\dots,O_{n}\in {\mathcal {O}}\implies O_{1}\cap\cdots\cap O_n\in {\mathcal {O}}</math>
# <math>\{O_{\lambda }\}_{\lambda \in \Lambda }\subset {\mathcal {O}}\implies \bigcup_{\lambda \in \Lambda }O_{\lambda }\in {\mathcal {O}}</math>

<math>X</math> を'''台集合''', <math>\mathcal{O}</math> を'''位相構造'''あるいは単に'''位相'''という.

'''注意1.2''' 誤解の恐れのないときには, 位相空間を台集合と同じ <math>X</math> という記号で表すことが多い. しかし, 台集合 <math>X</math> を定めたからといって位相空間が一意に決まるわけではない.

'''定義1.3''' 位相空間 <math>X</math> が'''位相多様体'''であるとは, 次の3条件が満たされることをいう:

# <math>X</math> は Hausdorff 空間である.
# <math>X</math> は第二可算空間である.
# 任意の <math>x\in X</math> に対して, <math>x</math> の開近傍 <math>U</math>, 自然数 <math>n</math>, <math>\mathbf{R}^n</math> の開集合 <math>U'</math>, 同相写像 <math>\psi\colon U\to U'</math> が存在する.

組 <math>(U,\psi)</math> を <math>x</math> の'''座標近傍'''という.

'''事実1.4''' <math>n\neq m</math> ならば <math>\mathbf{R}^n</math> の空でない開集合と <math>\mathbf{R}^m</math> の空でない開集合は同相でない.

'''注意1.5''' これはホモロジー論の初歩的だが重要な結果である.

'''定義1.6''' 位相多様体 <math>X</math> の各点 <math>x</math> に対応する自然数 <math>n</math> は一意に定まり, これを <math>\dim_xX</math> と表し, これが <math>x</math> によらず一定であることを <math>X</math> が'''純次元'''位相多様体であるという. 任意の点 <math>x</math> に対して <math>\dim_xX=n</math> であれば特に <math>X</math> を <math>n</math> 次元位相多様体という.

'''注意1.7''' この「純次元」という語は pure dimension や [https://en.wikipedia.org/wiki/Equidimensionality equidimension] の訳語でありスキーム論でよく用いられる.

'''定義1.8''' 位相多様体 <math>X</math> の開集合 <math>U</math> 上の関数からなる集合 <math>\mathcal{A}(U)</math> を定める対応 <math>\mathcal{A}</math> が <math>X</math> 上の <math>C^r</math> 級'''微分構造'''であるとは, 次の3条件が満たされることをいう:

# <math>V\subset U</math> を満たす <math>X</math> の開集合 <math>U</math>, <math>V</math> に対し, <math>f\in\mathcal{A}(U)</math> ならば <math>\left.f\right|_{V}\in\mathcal{A}(V)</math>.
# <math>X</math> の開集合 <math>U</math>, <math>U\subset X</math>, <math>U</math> 上の関数 <math>f</math>, <math>U</math> の開被覆 <math>\{U_{\lambda}\}_{\lambda\in\Lambda}</math> に対し, <math>\left.f\right|_{U_{\lambda}}\in\mathcal{A}(U_{\lambda})\ (\lambda\in\Lambda)</math> ならば <math>f\in\mathcal{A}(U)</math>.
# 任意の <math>x\in X</math> に対し, <math>x</math> の座標近傍 <math>(U,\psi)</math> で次を満たすものが存在する: 任意の <math>U</math> の開集合 <math>V</math> に対し, <math>f\in\mathcal{A}(V)\iff f\circ\psi^{-1}\in C^r(\psi(V))</math>. これが成り立つことを「<math>\mathcal{A}</math> と両立する」という.

組 <math>(X,\mathcal{A})</math> を <math>C^r</math> 級'''多様体'''という.

'''注意1.9''' 誤解の恐れのないときには, <math>C^{\infty}</math> 級多様体（resp. 微分構造）のことを単に多様体（resp. 微分構造）といい, 多様体を位相多様体と同じ <math>X</math> という記号で表すことが多い. しかし, 位相空間 <math>X</math> を定めたからといって多様体が一意に決まるわけではないことに注意せよ.

[[カテゴリ:幾何学]]