多様体

**多様体**（たようたい、仏: variété, , ）とは、局所的にユークリッド空間と見なせるような構造を備えた図形や空間（位相空間）のことである。

多様体上には、局所的に座標系を導入することができる。これにより、曲がった空間であっても、局所的には平らな空間（ユークリッド空間）と同様に扱うことが可能となり、微分積分学などの解析学を展開するための基礎となる（ただし、解析学等の展開のためには、単なる位相多様体の構造に加えて、などの追加の構造が必要となる）。単に多様体と言った場合、可微分多様体か複素多様体のことを指す場合が多い。

## 直感的な説明

多様体に局所座標系（チャート）を導入することは、地球上の地図を作る作業に例えられる。地図の上の点は地球上の点に対応し、地図に緯線や経線（座標グリッド）を描き込むことによって、その地域の位置関係を数値で表すことができる。

地球は球であり、世界地図を一枚の平面的な地図におさめようとすれば、南極大陸が肥大化したり、地図の端の方では一枚の地図の中に（連続性を表現するために）同じ地点が複数描き込まれたりする。世界地図をいくつかの小さな地図に分割すると、こういった奇妙なことはある程度回避できる。例えば、北極を中心とした地図、南極を中心とした地図、ハワイを中心とした地図、ガーナを中心とした地図…… などのように分割できる。そして隣り合った地図の繋がりをそれぞれの地図に同じ地域を含めることで表現すればよい。こうすることによって異なる地図同士では重複する部分が出てきてしまうものの、一枚の地図の中に同じ地域が 2 箇所以上描かれることをなくすことはできる。

地球と同じように、多様体は局所的に小さな地図（局所座標系）を描くことができる図形である。逆に、このような局所的な空間を繋ぎ合わせることで、全体としてどのような図形ができあがるのか、という問題は位相幾何学の主要なテーマの一つである。個々の地図だけを見れば平坦な空間（ユークリッド空間）のように見えても、全体としては球面やトーラスのように複雑な構造を持っている場合がある。

多様体は局所的にユークリッド空間と同相であるという性質を持つ図形である。円や球などは多様体の代表例である。多角形や多面体なども、位相多様体としては多様体として扱える（ただし、頂点や辺などの滑らかでない部分を持つため、そのままでは可微分多様体にはならない）。一方、交叉を持つ曲線や、ペアノ曲線、フラクタル図形などは、局所的にユークリッド空間と見なすことができないため、多様体にはならない。

## 定義
多様体の定義で重要な点は、多様体の上にいかにして座標系を貼り付けるか？ということと、どのような座標系を用いたとしても計算に違いが現れないようにすることである。多様体は計算したいときに座標を導入でき、しかもどのような座標系で計算したとしても違いがない、すなわち座標系に依存しないという非常に扱いやすい性質が追求された図形である。

ここでいう計算とは関数やベクトル、それらの微分、積分などのユークリッド空間の上で普通に行われているような座標を用いた計算のことである。

### 局所座標系

 を位相空間とする。 の開集合  に対して、 次元ユークリッド空間の開集合  への 同相写像
: \varphi \colon U \to U'
を**局所座標系** (local coordinate system) あるいは（局所）**チャート** (chart) という。  &isin;  に対し、&phi;() を**局所座標** (local coordinates) という。局所座標は、ユークリッド空間の点として見たときの特定の座標すなわち  個の数の組 (&phi;1(), ..., &phi;*m*()) であるのに対し、局所座標系は、 上で定義された  個の関数 (&phi;1, ..., &phi;*m*) の組である。

局所座標を用いることにより  上の点を  次元ユークリッド空間の点であるかのように扱うことが可能になる。 上に局所座標系 &phi; が定義されていることを (, &phi;) という対で表し、これを  次元**座標近傍** (*coordinate neighborhood*)  あるいは**チャート**という。局所座標系の成分を明示的に (;&phi;1, ..., &phi;*m*) のように書き表すこともある。

thumb|300px|right| ''U''&cap;''V''は、 &phi;(''U''&cap;''V'') と &psi;(''U''&cap;''V'') の 2 通りの局所座標で表されているが局所座標同士は座標変換で写り合う
*M* の二つの座標近傍 (,&phi;) と (,&psi;) について、  &cap;  が空でないとする。局所座標系 &phi; と &psi; は  と  をそれぞれ  次元ユークリッド空間の開集合  に写すとする。すなわち
:\varphi \colon U \to U',
: \psi \colon V \to V'
である。このとき
: \psi \circ \varphi ^{-1} \colon \varphi(U\cap V) \to \psi(U\cap V)
は、 次元ユークリッド空間の開集合から開集合への同相写像になる。この写像を (, &phi;) から (, &psi;) への**座標変換** (coordinate transformation) という。座標変換を用いれば、同じ開集合  &cap;  に定義された異なる局所座標 &phi; と &psi; を同じものとして扱うことができる。

座標変換はまず &phi;&minus;1 で  に戻してから &psi; によって座標のある集合  に写す写像である。間に座標が決められていない空間  を挟む形になっているものの、座標変換全体はユークリッド空間の部分集合  からユークリッド空間の部分集合  への写像になっている。すなわち  を経由しているという事実を無視し、座標変換を合成写像としてではなく全体で 1 つの写像として捉えると、それは普通のユークリッド空間からユークリッド空間への写像である。

 次元座標近傍の族  = {(*U*&lambda;, &phi;&lambda;) | &lambda; &isin; &Lambda;} が  全体を覆っているとする:
: M = \bigcup_{\lambda\in\Lambda} U_\lambda.
このとき、 を**座標近傍系** (system of coordinate neighborhoods) あるいは**アトラス** (atlas) という。アトラスというのは地図帳のことで、局所的な地図であるチャートをいくつも集めて作った地図帳という意味である。

### 位相多様体
*M* をハウスドルフ空間とし、かつ第二可算公理を満たす（すなわち、可算な開基を持つ）ものとする。*M* の任意の点 *a* に対して、*a* を含む *m* 次元座標近傍 (*U*, &phi;) が存在するとき、*M* を（境界のない）*m* 次元**[[位相多様体]]** (topological manifold) という。

これまで、局所座標 &phi;(*a*) はユークリッド空間 **R***m* に値を取ると考えてきたが、代わりに半空間 *H**m* = {(*x*1, *x*2, ..., *x**m*) &isin; **R***m* | *x**m* &ge; 0} に値を取ると考え局所座標の定義を修正すると境界のある位相多様体が定義される。

*N* をハウスドルフ空間とし、*N* の任意の点 *a* に対して、*a* を含む *m * 次元座標近傍 (*U*, &phi;) が存在するとする。

半空間 *H**m* = {(*x*1, *x*2, ..., *x**m*) &isin; **R***m* | *x**m* &ge; 0} の部分空間として *G**m*−1 = {(*x*1, *x*2, ..., *x**m*) &isin; **R***m* | *x**m* = 0} を取ればそれは **R***m*−1 になる。 *N* の座標近傍系 *S* = {(*U*&lambda;, &phi;&lambda;) |&lambda; &isin; &Lambda;} に対し、各座標近傍 (*U*&lambda;, &phi;&lambda;)
: \varphi_{\lambda} : U_{\lambda} \to U'_{\lambda} \sub H^m 
において *W*&lambda; = { *a* &isin; *U*&lambda; | &phi;&lambda;(*a*) &isin; *G**m*−1} という集合を考えたとき
:  \partial N := \bigcup_{\lambda\in\Lambda} W_\lambda
を *N* の**境界**という。∂*N* が空でないとき *N* を **境界のある** *m* 次元**位相多様体**という。境界のある *m* 次元位相多様体の境界は *m* − 1 次元位相多様体になる。

### 可微分多様体
*m* 次元位相多様体 *M* の座標近傍系 *S* = {(*U*&lambda;, &phi;&lambda;) | &lambda; &isin; &Lambda;} の任意の 2 つの座標近傍 (*U*1, &phi;1), (*U*2, &phi;2) に対し、*U*1 &cap; *U*2 が空でないならば座標変換
: \varphi_1 \circ \varphi_2^{-1} : \varphi_2(U_1\cap U_2) \to \varphi_1(U_1\cap U_2)
のすべての成分が、*C**n* 級関数（*n* 回連続微分可能関数、すなわち *n* 回微分可能でありかつ *n* 階偏導関数がすべて連続となるような関数）となるとき、*S* を *C**n* **級座標近傍系**という。

*m* 次元位相多様体 *M* が、*C**n* 級座標近傍系を持つとき、 *M*を *C**n* 級 *m* 次元**[[微分可能多様体]]**（あるいは**可微分多様体**、differentiable manifold of class *C**n*) という。微分可能とか、可微分といった言葉を省略して *C**n* 級多様体ということもある。位相多様体のことを、座標変換の微分可能性を仮定しないという意味で *C*0 級多様体と呼ぶこともある。 *C*&infin; 級多様体のことを**滑らかな多様体**とも呼ぶ。特に *n* = &omega; すなわち、全ての座標変換が実解析関数であるときは特に**解析多様体** (analytic manifold) という。

ここで、自然数 *s*, *t* が *s* &le; *t* を満たすとき、定義より、*C**t* 級関数は *C**s* 級関数である。
: 例えば 5 回連続微分可能な関数は、4 回連続微分可能な関数でもある。
このことから、*C**t* 級微分可能多様体は *C**s* 級微分可能多様体でもある。

微分可能多様体は、*C**n* 級座標近傍系 *S*の取り方によってはまったく別の多様体になってしまうので、 位相多様体 *M* と座標近傍系 *S* を対にして (*M*, *S*) と書くこともある。この意味で *S* は位相多様体 *M* に *C**n* **級可微分構造** (differentiable structure of class *C**n*) を定めると表現されることもある。
: 座標近傍系同士の関係や性質など座標近傍系の基本的な性質に関わることを論じる場合に、(*M*, *S*) と明示すると分かりやすい。

### 極大座標近傍系
*m* 次元位相多様体 *M* に対し *C**n* 級座標近傍系として *S* と *T* の 2つを取るとする。和集合 *S* &cup; *T* が再び *M* の*C**n* 級座標近傍系になるとき、 *S* と *T* は**同値**であるという。これは同値関係を定める。これは *S* に属する座標近傍と *T* に属する座標近傍の間にも座標変換が存在し *S* での計算と *T* での計算に違いが無いという性質を保証するための同値関係である。

さらに、 *M* 上の *S* と同値な *C**n* 級座標近傍系全ての和集合を取ることによって得られる *F* = *F*(*S*) を *S* によって生成された *M* の *C**n* 級**極大座標近傍系**あるいは *M* の *C**n* 級**微分構造**という。定義により、同じ微分構造を定める座標近傍系同士は同値である。

こうして座標近傍系の取り方に依存しない *C**n* 級多様体が定義される。*m* 次元位相多様体 *M* 上に互いに微分同相でない複数の微分構造が存在することもある。

## 境界を有する多様体

**境界を持つ多様体**すなわち**境界を有する多様体**は（ふち、）を持つ多様体である。たとえば、一枚の紙は1次元の境界を持つ二次元多様体である。境界を持つn次元多様体の境界は(n-1)次元多様体である。円板（円周と内部）は境界を持つ二次元多様体である。その境界は円周であり、一次元多様体である。正方形も境界を持つ二次元多様体である。球体（球面と内部）は境界を持つ三次元多様体である。その境界は球面であり、二次元多様体である。（境界 (位相空間論)と混同しないこと）。

## 多様体の例
### ユークリッド空間
多様体の例でもっとも簡単なものは、 *m* 次元ユークリッド空間 **R***m* に座標近傍系として *S*1 = {(**R***m*, *id*)} をいれたものである。ここで *id* は恒等写像
: *id*: **R***m* &rarr; **R***m*
: *id*(*x*) = *x*
すなわち *x* &isin; **R***n* に対して *x* をそのまま返す写像である。最初から座標が描かれているのだからそれをそのまま使えばよく、この場合は座標近傍が 1 つしかないので座標変換が不要である。恒等写像はもちろん解析的なので (**R**m,*S*1) は *m* 次元解析多様体である。このように **R***m* は自然に微分可能多様体となる。

話をさらに簡明にするために *m* = 1 とする。すなわち数直線 **R**1 について考える。上に書いたとおり *S*1 = {(**R***1*, *id*)} として、 (**R**1,*S*1) は 1 次元解析多様体となる。

整数 *i* に対して 開区間 *U**i* = (*i* − 1, *i* + 1) を取る。 *x* &isin; *U**i* に対し 写像 &phi;*i* を
: &phi;*i*(*x*) = *x* &minus; *i* &isin; (&minus;1 , +1)
で定めると &phi;*i* は *U**i* の局所座標系になり、 *S*2 = {(*U**i*,&phi;*i*)| *i* &isin; **Z**} としたとき、 (**R**1,*S*2) も 1 次元解析多様体である。例えば *U**i* &cap; *U**i* + 1 = (*i*,*i* + 1) で座標近傍 (*U**i*,&phi;*i*) から座標近傍 (*U**i* + 1,&phi;*i* + 1) への座標変換は
: \varphi_{i+1} \circ \varphi_{i}^{-1}(x) = x-1
で与えられる。なお *S*1 と *S*2 は同値な座標近傍系である。

### 開部分多様体
*S*1 = {(*U*&lambda;, &phi;&lambda;) | &lambda; &isin; &Lambda;} を座標近傍系にもつ *m* 次元 *C**n* 級多様体 (*M*1,*S*1)と、 *M* の（空でない）開集合Vに対して *S*2 = {(*U*&lambda; &cap; V, &phi;*v*&lambda;) | &lambda; &isin; &Lambda;} を考える。ただし、 &phi;*v*&lambda; は、 &phi; の定義域を *U*&lambda; から *U*&lambda; &cap; V に制限しただけの写像で、本質的には &phi; となんら変わりのない写像である。

このとき (*V*, S2) も *m* 次元 *C**n* 級多様体となる。この多様体を (*M*1,*S*1) の**開部分多様体** (open submanifold) という。

**R**1 の開集合である 開区間 (*a*,*b*) は **R**1 の開部分多様体である。

**R**2 の開集合である 開円板 {(*x*1,*x*2)|*x*21+*x*22 2 の開部分多様体である。

というように、多様体に含まれる開集合に多様体を制限したものが開部分多様体である。

### 円周と球面
単位円
: *S*1 = {(*x*1, *x*2) &isin; **R**2 | *x*12 + *x*22 = 1}
を考える。単位円は次の 4 つの開近傍で覆うことができる。
: *U*1+ = {(*x*1, *x*2) &isin; *S*1 | *x*1 &gt; 0}
: *U*1&minus; = {(*x*1, *x*2) &isin; *S*1 | *x*1 &lt; 0}
: *U*2+ = {(*x*1, *x*2) &isin; *S*1 | *x*2 &gt; 0}
: *U*2&minus; = {(*x*1, *x*2) &isin; *S*1 | *x*2 &lt; 0}
それぞれに局所座標系を次の様に定める。ただし *I* = ( &minus; 1,1) とする。
: &phi;1+: *U*1+ &rarr; *I* , &phi;1+(*x*1, *x*2) = *x*2
: &phi;1&minus;: *U*1&minus; &rarr; *I* , &phi;1&minus;(*x*1, *x*2) = *x*2
: &phi;2+: *U*2+ &rarr; *I* , &phi;2+(*x*1, *x*2) = *x*1
: &phi;2&minus;: *U*2&minus; &rarr; *I* , &phi;2&minus;(*x*1, *x*2) = *x*1
そして座標近傍系を
: *T* = {(*U*1+,&phi;1+), (*U*1&minus;,&phi;1&minus;), (*U*2+,&phi;2+), (*U*2&minus;,&phi;2&minus;)}
と取れば、(*S*1,*T*) は 1 次元解析多様体になる。

*m* 次元単位球面
: *S**m* = {(*x*1, ..., *x**m*, *x**m*+1) &isin; **R***m*+1 | *x*12 + &hellip; + *x**m*2 + *x**m*+12 = 1}
についても同じようにして 2(m+1)個の開近傍で覆うことができ、それぞれの開近傍は *m* 次元開球と同相であるので、局所座標系を定めることができ *m* 次元解析多様体になる。

### 積多様体
*S*1 = {(*U*&lambda;, &phi;&lambda;) | &lambda; &isin; &Lambda;} を座標近傍系にもつ *a* 次元 *C**n* 級多様体 (*M*1,*S*1) と *S*2 = {(*V*&tau;, &psi;&tau;) | &tau; &isin; &Tau;} を座標近傍系に持つ *b* 次元 *C**n* 級多様体 (*M*2,*S*2) を考える。

直積集合 *M*1 &times; *M*2 は直積位相によってハウスドルフ空間となる。それぞれの座標近傍 (*U*&lambda;, &phi;&lambda;) と (*V*&tau;, &psi;&tau;) に対し、開集合 *U*&lambda; と *V*&tau; の直積 *U*&lambda; &times; *V*&tau; とその上で定義された写像 &phi;&lambda; &times; &psi;&tau; によって座標近傍同士の直積 (*U*&lambda; &times; *V*&tau;, &phi;&lambda; &times; &psi;&tau;) が定義される。

ここで *U*&lambda; &times; *V*&tau; は、 *p* &isin; *U*&lambda; と *q* &isin; *V*&tau; を取ったときの (*p*,*q*) という組の全体である。写像の直積 &phi;&lambda; &times; &psi;&tau; は *U*&lambda; &times; *V*&tau; の上で定義された

: (&phi;&lambda; &times; &psi;&tau;)(*p*,*q*) = (&phi;&lambda;(*p*), &psi;&tau;(*q*))
という写像である。

: この式の右辺は成分で表せば (&phi;1(*p*),&phi;2(*p*), &hellip; ,&phi;*a*(*p*), &psi;1(*p*),&psi;2(*p*), &hellip; ,&psi;*b*(*p*)) のことであり、単に成分を並べたものと考えてよい。

このように座標近傍同士の直積によって座標近傍系 *S*3 = {(*U*&lambda; &times; *V*&tau;, &phi;&lambda; &times; &psi;&tau;) | &lambda; &isin; &Lambda; , &tau; &isin; &Tau;} を定めたとき、 (*M*1 &times; *M*2, *S*3) は、 *a* + *b* 次元 *C**n* 級多様体になる。この (*M*1 &times; *M*2, *S*3) を (*M*1,*S*1) と (*M*2,*S*2) の**積多様体** (product manifold) という。同様にして *M*1 &times; *M*2 &times; &hellip; &times; *M*m というような、 3 つ以上の多様体から作られる積多様体も定義できる。

直線と円周の直積 **R**1 &times; *S*1 を考えれば、直線を軸とした無限に伸びる円柱の側面を多様体と見ることもできるし、円周同士の直積 *T*2 = *S*1 &times; *S*1 を考えればトーラスを多様体とみることもできる。

### その他の例
* 射影空間: *n* 次元ベクトル空間の 1 次元部分空間全体を射影空間という。
原点を通る直線は
:*y*=**m** *x*
のように書かれるが、これらの直線は**m**の値と対応し、あらためて一つの点と考えることができる。直線の集合は図形ではないが、このように直線を点に読み替えることで直線のなす集合にも適当な座標系を入れることができ、多様体という図形として扱えるようになる。

## 多様体上の関数
*m* 次元 *C**n* 級多様体 *M* 上で定義された実数値関数 *f* を考える。
: *f*: *M* &rarr; **R**
これは、多様体上の点 *p* &isin; *M* に対して実数値 *f*(*p*) を対応させる関数である。特定の局所座標を考えているわけではないので、この関数の変数は (*x*1, *x*2, ..., *x**m*) のように数を並べた座標ではなく単に点を表している。

多様体上には局所座標を貼ることができるためこの座標を用いた微積分などの計算が可能である。 *M* には座標近傍系 *S* = {(U&lambda;, &phi;&lambda;) | &lambda; &isin; &Lambda;} が与えられていて
: \varphi_{\lambda} : U_{\lambda} \to U'_{\lambda} 
とすれば
:  f \circ \varphi^{-1}_{\lambda} : U'_{\lambda} \to R
つまり *q* = &phi;&lambda;(*p*) &isin; *U*&prime;&lambda; に対し
:  f \circ \varphi^{-1}_{\lambda}(q)= f(\varphi^{-1}_{\lambda}(q)) = f(p) 
である。この *U*&prime;&lambda; はユークリッド空間の部分集合なので その点である *q* は (*x*1, *x*2, ..., *x**m*) のように数を並べた座標で表すことができ、この座標を用いて微積分などの計算が可能になる。座標近傍 (U&lambda;, &phi;&lambda;) においてその座標を用いて具体的に *f*(*x*1, *x*2, ..., *x**m*) のように書かれた関数を (U&lambda;, &phi;&lambda;) に関する *f* の**局所座標表示**という。

ところで、多様体上の計算はなるべく局所座標のとり方に依存しないような計算をしたいという目標があるので *U*1 &cap; *U*2 上では、座標近傍 (*U*1, &phi;1), (*U*2, &phi;2) のそれぞれの計算は座標変換でうつり合う必要がある。 座標近傍 (*U*1, &phi;1) での関数の表示
:  f \circ \varphi^{-1}_{1} : \varphi_1(U_{1}\cap U_{2}) \to R
を座標近傍 (*U*2, &phi;2) での表示に変換すると
: (f \circ \varphi^{-1}_{1}) \circ (\varphi_1 \circ \varphi_2^{-1}) : \varphi_2(U_1\cap U_2) \to R 
真ん中に挟まれた &phi;1−1 と &phi;1 の合成により、この写像の実質的な微分可能性は座標変換 &phi;1 &compfn; &phi;2−1 および &phi;2 &compfn; &phi;1−1 の微分可能性に依存する。*C**n* 級多様体の座標変換は *C**n* 級であると仮定されているため、多様体全体で定義される関数の微分可能性（滑らかさ）も *C**n* 級の範囲で論じることが自然である。もちろん、ある特定の座標近傍だけで定義された関数に *n* + 1 回以上微分できる関数を定義することはできるが、それはその座標近傍だけでの性質であり、*C**n* 級多様体という図形の性質とは異なるものになる。

したがって
: *f*: *M* &rarr; **R**
が *C**s* 級関数であるとは、任意の座標近傍に対し、そこでの局所座標表示が *C**s* 級関数であることと定義される。ただし 0 &le; s &le; *n* とする。 *M* 上の *C**s* 級関数の全体を *C**s*(*M*) と表すことがある。

## 多様体の間の写像
*m*1 次元 *C**s* 級多様体 (*M*1,*S*) から *m*2 次元 *C**t* 級多様体 (*M*2,*T*) への写像 *f* を考える。
: *f*: *M*1 &rarr; *M*2
それぞれの多様体に与えられている座標近傍系が *S* = {(*U*&lambda;, &phi;&lambda;) | &lambda; &isin; &Lambda;} , *T* = {(*V*&tau;, &psi;&tau;) | &tau; &isin; &Tau;} で定められているとする。多様体上の関数と同じように、写像も座標を用いて表現することができる。関数の場合と違うのは写像でうつる先でも座標について考えなければならないことである。
: *M*2 = **R** という「特別な」場合の写像が関数になる。

*f*(*U*&lambda;) &sube; (*V*&tau;) とし *f* を (*U*&lambda;, &phi;&lambda;) から (*V*&tau;, &psi;&tau;) への写像として座標を用いて書くとすると
: \varphi_{\lambda} : U_{\lambda} \to U'_{\lambda} 
: \psi_{\tau} : V_{\tau} \to V'_{\tau} 
とすれば
:  \psi_{\tau} \circ f \circ \varphi^{-1}_{\lambda} : U'_{\lambda} \to V'_{\tau} 
となる。
これが具体的に座標の成分を用いて
: &psi;1 = *f*(&phi;1, ..., &phi;*m*)
: &psi;2 = *f*(&phi;1, ..., &phi;*m*)
: ...
: &psi;n = *f*(&phi;1, ..., &phi;*m*)
のように表現されているとき、 この表示を (*U*&lambda;, &phi;&lambda;) と (*V*&tau;, &psi;&tau;) に関する *f* の**局所座標表示**という。

座標変換を考えるために *f*(*U*1) &sube; (*V*1) , *f*(*U*2) &sube; (*V*2) とし、 *U*1 &cap; *U*2 が空でないとする。 *U*1 &cap; *U*2 に対して、座標近傍 (*U*1, &phi;1) と (*V*1, &psi;1) での写像 *f* の表示
:  \psi_{1} \circ f \circ \varphi^{-1}_{1} : \varphi_1(U_{1}\cap U_{2}) \to \psi_1(V_{1}\cap V_{2}) 
を座標変換を用いて座標近傍 (*U*2, &phi;2) と (*V*2, &psi;2) に関する表示に変換すると
: (\psi_2 \circ \psi_1^{-1}) \circ (\psi_1 \circ f \circ \varphi^{-1}_{1}) \circ (\varphi_1 \circ \varphi_2^{-1}) : \varphi_2(U_1\cap U_2) \to \psi_2(V_1\cap V_2) 
それぞれの括弧は、座標系から座標系への写像になっている。左端の括弧は (*M*2,*T*) での座標変換なので *C**t* 級、右端の括弧は (*M*1,*S*) での座標変換なので *C**s* 級である。このことから*s* と *t* の小さい方（ *s* = *t* ならばその値）を *u* として、この合成写像の微分可能性は高々 *C**u* 級であり、 *u* + 1 回以上の連続微分可能性を仮定することは意味を持たない。

したがって
: *f*: *M*1 &rarr; *M*2
が *C**r* 級写像であるとは、任意の座標近傍に対し、そこでの局所座標表示が *C**r* 級写像であることと定義される。ただし 0 &le; *r* &le; *u* = min{*s*,*t*} とする。

1 &le; *r* &le; *u* の時
: *f*: *M*1 &rarr; *M*2
が全単射で *f* とその逆写像 *f*−1 がともに *C**r* 級写像であるとき、 *f* を *C**r* 級**[[微分同相写像]]** (*C**r* diffeomorphism) という。*f* が *C**r* 級微分同相写像であれば、*f*−1 も明らかに *C**r* 級微分同相写像である。

*M*1 と *M*2 の間に *C**r* 級微分同相写像が存在するとき *M*1 と *M*2 は互いに *C**r* 級**微分同相** (*C**r* diffeomorphic) であるという。

## 多様体上の曲線
**R** の開区間 *I* = (*a*, *b*) から *C**s* 級多様体 *M* への *C**r* 級写像
: *&phi;*: *I* &rarr; *M*
のことを、 *C**r* 級曲線 (*C<sup>r</sup>*-*curve*) という (0 &le; *r* &le; *s*)。

{ &phi;(*t*) &isin; *M* | t &isin; *I*} という点の集合を曲線というのではなく、写像 *&phi;* を曲線というのである。なお、*&phi;* の変数 *t* を媒介変数という。

: *a* &le; *c* &lt; *d* &le; *b*
とする。&phi; が 開区間 *I* = (*a*,*b*) で定義された *C**r* 級曲線であるとき、 *I* に含まれる閉区間 [*c*,*d*] や 半開区間 [*c*,*d*), (*c*,*d*] に &phi; の定義域を制限して得られる写像も *C**r* 級曲線という。

## 歴史
多様体の歴史はゲッティンゲンで行われたリーマンの講演に始まる（ガウスは1850/1851年の冬学期に行った最小二乗法の講義の中で  次元多様体の概念を与えた。リーマンはを通じて恐らくそれを知っていた）。

多様体論は、ロバチェフスキーの双曲幾何学によって始まった非ユークリッド幾何学やガウスの曲面論を背景として様々な幾何学を統一し、 *n* 次元の幾何学へと飛躍させた。発見当初はカント哲学に打撃を与えた非ユークリッド幾何学も多様体論の一例でしかなくなってしまった。

リーマンがゲッティンゲン大学の私講師に就任するために行った講演『幾何学の基礎に関する仮説について』の中で「何重にも拡がったもの」と表現した概念が *n* 次元多様体のもとになり *n* 次元の幾何学に関する研究が始まった。この講演を聴いていたガウスは、その着想を高く評価した。ガウスは普段はあまり表立って他人を褒めることはなかったが、リーマンの講演に関しては例外的にその深遠さを認め、同僚にその素晴らしさを語ったと伝えられている。

### 年表
* 1826年『平行線公準の厳密な証明』（ロバチェフスキー）
* 1827年『曲面の研究』（ガウス）
* 1829年『幾何学の新原理並びに平行線の完全な理論』（ロバチェフスキー）
* 1854年6月10日『幾何学の基礎に関する仮説について』（リーマン）
* 1872年エルランゲン目録（クライン）
* 1895年『位置解析』（アンリ・ポアンカレ）
* 1916年一般相対性理論（アルベルト・アインシュタイン）
* 1936年『微分可能多様体』（ハスラー・ホイットニー）

## 多様体の一般化

### 無限次元多様体
次元の有限性という条件を除くことで一般化ができる。或る無限次元多様体は或る実線型位相空間に局所的に同型なひとつの位相空間である。これは、高次の基数性とを与え、点集合論の公理を省く；そしてそれはヒルベルト空間によって定義されるヒルベルト多様体や、バナッハ空間によって定義される、及びフレシェ空間によって定義されるのような構造を与え、有限次元であることを省く。通常一つの条件は別の一つまたは他の条件を弱める：無限次元多様体が関数解析学で論じられるのに対し、点集合の公理をもった多様体は位相空間論で論じられる。

### 軌道体

とは位相空間においてある種の「特異点」を与える多様体の一般化である。

### 代数多様体とスキーム

実または複素数体上の非特異な代数多様体は多様体である。

### 滑層化空間
擬多様体すなわち「滑層化空間」（、本節ではこの用語を用いる）とは、規定の方法（正式には、閉じた部分集合による）により互いに突き合わされた、各々のかけらが多様体であるような、'かけら'（「滑層（）」）に分割しうる空間である。技巧的に様々な定義があるなかで、滑らかな多様体についてのホイットニーの滑層化空間（を見よ）、及び位相多様体についてのは注目に値する。

### CW複体

CW複体とは互いに貼り合わされたいくつかの異なった次元の円盤によって形づくられる位相空間である。

### ホモロジー多様体

とはホモロジー論の観点からみて多様体のようにふるまうところの空間である。

### 微分空間
シコルスキー微分空間（）とは：
* Mを非-空集合。
* M上の幾つかの実関数の族を選び、C \subseteq \R^Mで記す。それは'各々の点での'（）加法と積に関して環となる。
* Cによって導入された位相をMに与える。
このときに以下の二条件を満たす組(M, C)をいう：
* 各々のHにつきH \in C^\infty\left(\R^n\right)。ここにn \in \N、かつ任意のf_1, \dots , f_n \in CにつきH \circ \left(f_1, \dots, f_n\right) \in C。
* Cからの幾つかの関数に局所的に合致するMの各点での各関数は、やはりまたCに属する。

## 関連項目
* 接ベクトル空間
* 層 (数学)
* ベクトル場
* 微分形式
* 代数多様体

## 脚注

### 注釈

### 出典

## 参考文献

* 

* 

* 　一般向け入門書。　専門書を読む前か読み始めの時に読むと良いレベル。もしくは、専門書を読まないが多様体とはどういうものか知りたい人向け

* 

* 
*  - Inspired by Milnor and commonly used in undergraduate courses.
* 
*  - The most complete account, with historical insights and excellent, but difficult, problems. The standard reference for those wishing to have a deep understanding of the subject.
*  - A detailed study of the category of topological manifolds.
* 
*
* 
* 
* 
* 
*
* 
***[http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Grund/ Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse.]* The 1851 doctoral thesis in which "manifold" (*Mannigfaltigkeit*) first appears.
***[http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Geom/ Ueber die Hypothesen, welche der Geometrie zu Grunde liegen.]* The 1854 Göttingen inaugural lecture (*Habilitationsschrift*).
*  The standard graduate text.

## 外部リンク
* 
*