多様体のソースを表示

{{参照方法|date=2015年11月}}
[[File:Manifold zahyou1.png|thumb|right|好きなところに座標を描ける多様体]]
'''多様体'''（たようたい、{{lang-en-short|manifold}}, {{lang-de-short|Mannigfaltigkeit}}）とは、解析学（[[微分積分学]]、[[複素解析]]）を展開するために必要な構造を備えた空間のことである（ただし位相多様体においてはその限りではない。ただ、単に多様体と言った場合、可微分多様体か[[複素多様体]]のことを指す場合が多い）。それは局所的に[[ユークリッド空間]]と見なせるような図形や空間（[[位相空間]]）として定義される。多様体上には好きなところに局所的に[[座標]]を描き込むことができる。

== 直感的な説明 ==
[[File:Polar stereographic projections.jpg|thumb|right|地球の地図]]

多様体に座標を描くという作業は地球上の地図を作る作業に似ている。地図の上の点は地球上の点に対応し、さらに地面には描かれていない緯線や経線を地図に描き込むことによって、地図に描いてある地域の様子が分かりやすくなる。座標の無い地球上の様子は、人間が作った座標のある地図と対応させることによって非常に把握しやすくなる。

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

地球と同じように多様体は好きなところに小さな地図（局所座標系）が描ける図形である。逆に、このような小さな地図を繋げていったら全体としてどのような図形ができあがるのか？という問題は[[位相幾何学]]の重要な問題の一つでもある。地図だけみれば地球をまねて作っているような[[コンピューターRPG|ゲーム]](例えば、ファミコン版の[[ドラゴンクエストシリーズ]]<ref>参照：[https://ocw.u-tokyo.ac.jp/lecture_files/gf_15/12/notes/ja/12tsuboi.pdf 坪井俊・東京大学大学院数理科学研究科教授の資料]</ref>)の世界が、実は[[球面]]ではなく平坦[[トーラス]]だったということもある。

多様体は性質のよい図形であり、多様体でない図形も多く存在する。円や球や多角形、多面体などは全て多様体として扱えるが、[[ペアノ曲線]]や[[フラクタル]]などは適当な地図を描くことはできず、多様体にはならない。

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

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

=== 局所座標系 ===
[[File:Manifold zahyou2.png|thumb|同相写像 &phi; とその逆写像 &phi;<sup>−1</sup> で対応付けられた（座標の無い）集合 {{math|''U''}} と（座標のある）集合 {{math|''U'' '}}]]
{{math|''M''}} を[[位相空間]]とする。{{math|''M''}} の[[開集合]] {{math|''U''}} に対して、{{math|''m''}} 次元[[ユークリッド空間]]の開集合 {{math|''U'' '}} への [[同相写像]]
: <math>\varphi \colon U \to U'</math>
を'''局所座標系''' (local coordinate system) あるいは（局所）'''チャート''' (chart) という。 {{math|''a''}} &isin; {{math|''M''}} に対し、&phi;({{math|''a''}}) を'''局所座標''' (local coordinates) という。局所座標は、ユークリッド空間の点として見たときの特定の座標すなわち {{math|''m''}} 個の数の組 (&phi;<sub>1</sub>({{math|''a''}}), ..., &phi;<sub>''m''</sub>({{math|''a''}})) であるのに対し、局所座標系は、{{math|''U''}} 上で定義された {{math|''m''}} 個の関数 (&phi;<sub>1</sub>, ..., &phi;<sub>''m''</sub>) の組である。

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

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

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

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

=== 位相多様体 ===
''M'' を[[ハウスドルフ空間]]とする。''M'' の任意の点 ''a'' に対して、''a'' を含む ''m'' 次元座標近傍 (''U'', &phi;) が存在するとき、''M'' を（境界のない）''m'' 次元'''[[位相多様体]]''' (topological manifold) という。

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

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

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

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

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

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

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

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

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

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

== 境界を有する多様体 ==

{{ see also |境界付き多様体}}
'''境界を持つ多様体'''すなわち'''境界を有する多様体'''は[[wikt:縁|縁]]（ふち、{{lang-en-short|[[wikt:edge|edge]]}}）を持つ多様体である。たとえば、一枚の紙は1次元の境界を持つ[[曲面 |二次元多様体]]である。境界を持つ<math>n</math>次元多様体の境界は<math>(n-1)</math>次元多様体である。[[円板]]（円周と内部）は境界を持つ二次元多様体である。その境界は円周であり、[[曲線 |一次元多様体]]である。[[正方形]]も境界を持つ二次元多様体である。[[球体]]（球面と内部）は境界を持つ三次元多様体である。その境界は球面であり、二次元多様体である。（[[境界 (位相空間論)]]と混同しないこと）。<!-- 書き出しの1段落だけ。 -->

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

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

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

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

このとき (''V'', S<sub>2</sub>) も ''m'' 次元 ''C''<sup>''n''</sup> 級多様体となる。この多様体を (''M''<sub>1</sub>,''S''<sub>1</sub>) の'''開部分多様体''' (open submanifold) という。

'''R'''<sup>1</sup> の開集合である [[区間 (数学)|開区間]] (''a'',''b'') は '''R'''<sup>1</sup> の開部分多様体である。

'''R'''<sup>2</sup> の開集合である 開円板 {(''x''<sub>1</sub>,''x''<sub>2</sub>)|''x''<sup>2</sup><sub>1</sub>+''x''<sup>2</sup><sub>2</sub> < 1} は '''R'''<sup>2</sup> の開部分多様体である。

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

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

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

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

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

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

[[File:torus_cycles.png|thumb|2 次元多様体の例：トーラス]]
: (&phi;<sub>&lambda;</sub> &times; &psi;<sub>&tau;</sub>)(''p'',''q'') = (&phi;<sub>&lambda;</sub>(''p''), &psi;<sub>&tau;</sub>(''q''))
という写像である。

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

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

[[直線]]と円周の直積 '''R'''<sup>1</sup> &times; ''S''<sup>1</sup> を考えれば、直線を軸とした無限に伸びる[[円柱 (数学)|円柱]]の側面を多様体と見ることもできるし、円周同士の直積 ''T''<sup>2</sup> = ''S''<sup>1</sup> &times; ''S''<sup>1</sup> を考えれば[[トーラス]]を多様体とみることもできる。

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

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

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

ところで、多様体上の計算はなるべく局所座標のとり方に依存しないような計算をしたいという目標があるので ''U''<sub>1</sub> &cap; ''U''<sub>2</sub> 上では、座標近傍 (''U''<sub>1</sub>, &phi;<sub>1</sub>), (''U''<sub>2</sub>, &phi;<sub>2</sub>) のそれぞれの計算は座標変換でうつり合う必要がある。 座標近傍 (''U''<sub>1</sub>, &phi;<sub>1</sub>) での関数の表示
: <math> f \circ \varphi^{-1}_{1} : \varphi_1(U_{1}\cap U_{2}) \to R</math>
を座標近傍 (''U''<sub>2</sub>, &phi;<sub>2</sub>) での表示に変換すると
: <math>(f \circ \varphi^{-1}_{1}) \circ (\varphi_1 \circ \varphi_2^{-1}) : \varphi_2(U_1\cap U_2) \to R </math>
真ん中に挟まれた、 &phi;<sub>1</sub><sup>−1</sup> と &phi;<sub>1</sub> は写像として打ち消しあうように見えるが、微分可能性を検証したいのでここではあえてしない。''C''<sup>''n''</sup> 級多様体の座標変換は ''C''<sup>''n''</sup> 級であるから、この合成関数の微分可能性も[[高々 (数学)|高々]] ''C''<sup>''n''</sup> 級であるとしか言えず、座標変換によっては ''n'' + 1 回以上の微分は不可能である場合もあるかもしれないので意味がない。したがって、''C''<sup>''n''</sup> 級多様体上での関数は ''C''<sup>''n''</sup> 級までしか意味を持たない。もちろん、ある特定の座標近傍だけで定義された関数に ''n'' + 1 回以上微分できる関数を定義することはできるが、それはその座標近傍だけでの性質であり、''C''<sup>''n''</sup> 級多様体という図形の性質とは異なるものになる。

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

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

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

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

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

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

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

== 多様体上の曲線 ==
'''R''' の開区間 ''I'' = (''a'', ''b'') から ''C''<sup>''s''</sup> 級多様体 ''M'' への ''C''<sup>''r''</sup> 級写像
: ''&phi;'': ''I'' &rarr; ''M''
のことを、 ''C''<sup>''r''</sup> 級[[曲線]] (''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''<sup>''r''</sup> 級曲線であるとき、 ''I'' に含まれる[[区間 (数学)|閉区間]] [''c'',''d''] や [[区間 (数学)|半開区間]] [''c'',''d''), (''c'',''d''] に &phi; の定義域を制限して得られる写像も ''C''<sup>''r''</sup> 級曲線という。

== 歴史 ==
多様体の歴史は[[ゲッティンゲン]]で行われた[[ベルンハルト・リーマン|リーマン]]の講演に始まる。

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

リーマンが[[ゲオルク・アウグスト大学ゲッティンゲン|ゲッティンゲン大学]]の私講師に就任するために行った講演『幾何学の基礎に関する仮説について』の中で「何重にも拡がったもの」と表現した概念が ''n'' 次元多様体のもとになり ''n'' 次元の幾何学に関する研究が始まった。この講演を聴いていた[[カール・フリードリヒ・ガウス|ガウス]]がその着想に夢中になり、（ガウスは普段はあまり表立って他人を褒めることはなかったが、）リーマンの着想がいかに素晴らしいかを同僚に語り続けたり、帰り道にうわの空で道端の溝に落ちたりしたと言われている。

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

== 多様体の一般化 ==

=== 無限次元多様体 ===
次元の有限性という条件を除くことで一般化ができる。或る無限次元多様体は或る実[[線型位相空間]]<!-- '線形'位相空間だと思うけどなぁ…。 -->に局所的に同型なひとつの位相空間である。これは、高次の基数性と{{日本語版にない記事リンク | 非ハウスドルフ多様体 | en | non-Hausdorff manifold }}を与え、点集合論の公理を省く；そしてそれは[[ヒルベルト空間]]によって定義される[[ヒルベルト多様体]]や、[[バナッハ空間]]によって定義される{{日本語版にない記事リンク | バナッハ多様体 | en | Banach manifold }}、及び[[フレシェ空間]]によって定義される{{日本語版にない記事リンク | フレシェ多様体 | en | Fréchet manifold }}のような構造を与え、有限次元であることを省く。通常一つの条件は別の一つまたは他の条件を弱める：無限次元多様体が[[関数解析学]]で論じられるのに対し、点集合の公理をもった多様体は[[位相空間論]]で論じられる。

=== 軌道体 ===
{{ main | {{ 日本語版にない記事リンク | 軌道体 | en | orbifold }} }}
{{ 日本語版にない記事リンク | 軌道体 | en | orbifold }}とは位相空間においてある種の「[[特異点 (数学)|特異点]]」を与える多様体の一般化である。<!-- 最初の1文だけです。 -->

=== 代数多様体とスキーム ===
{{ main | 代数多様体 | スキーム (数学) }}
実または複素数体上の[[代数曲線#特異点|非特異]]な代数多様体は多様体である。<!-- 最初の1文だけです。 -->

=== 滑層化空間 ===
擬多様体<!-- 数学用語です。 -->すなわち「滑層化空間」（{{lang-en-short|stratified space}}、本節ではこの用語を用いる）とは、規定の方法（正式には、閉じた部分集合による{{仮リンク | フィルター付け (数学) | en | filtration (mathematics) | label = フィルター付け }}）により互いに突き合わされた、各々のかけらが多様体であるような、'かけら'（「滑層（{{lang-en-short |[[wikt:strata|strata]]}}）」<!-- 数学用語です。 -->）に分割しうる空間である。技巧的に様々な定義があるなかで、滑らかな多様体についてのホイットニーの滑層化空間（{{ 日本語版にない記事リンク | ホイットニー条件 | en | Whitney conditions }}を見よ）、及び位相多様体についての{{ 日本語版にない記事リンク | トム‐マザー滑層化空間 | en | Thom–Mather stratified space }}は注目に値する。<!-- 最初の2文だけです。"Basic examples iclude manifold..."以下未訳。 -->

=== CW複体 ===
{{ main | CW複体 }}
[[CW複体]]とは互いに貼り合わされたいくつかの異なった次元の円盤によって形づくられる位相空間である。<!-- 最初の1文だけです。 -->

=== ホモロジー多様体 ===
{{ main | {{ 日本語版にない記事リンク |ホモロジー多様体| en | homology manifolds }} }}
{{ 日本語版にない記事リンク |ホモロジー多様体| en | homology manifolds }}とは[[ホモロジー論]]の観点からみて多様体のようにふるまうところの空間である。<!-- 最初の1文だけです。 -->

=== 微分空間 ===
シコルスキー微分空間（{{lang-en-short| Sikorski differential space}}）とは：
* <math>M</math>を非-空集合。
* <math>M</math>上の幾つかの実関数の族を選び、<math>C \subseteq \R^M</math>で記す。それは'各々の点での'（{{lang-en-short| pointwise}}）加法と積に関して環となる。
* <math>C</math>によって導入された位相を<math>M</math>に与える。
このときに以下の二条件を満たす組<math>(M, C)</math>をいう<ref name = "sacd">{{ harvnb | Sikorski | 1967 }}</ref>：
* 各々の<math>H</math>につき<math>H \in C^\infty\left(\R^n\right)</math>。ここに<math>n \in \N</math>、かつ任意の<math>f_1, \dots , f_n \in C</math>につき<math>H \circ \left(f_1, \dots, f_n\right) \in C</math>。<!-- 原文難読。 -->
* <math>C</math>からの幾つかの関数に局所的に合致する<math>M</math>の各点での各関数は、やはりまた<math>C</math>に属する。

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

== 脚注 ==
{{脚注ヘルプ}}
<references />
* {{cite journal |first=R. |last=Sikorski |title=Abstract covariant derivative |journal= Colloquium Mathematicum|volume=18 |pages=251–272 |year=1967 |doi=10.4064/cm-18-1-251-272 |doi-access=free | ref = harv }}

== 参考文献 ==
{{Refbegin|2}}
* {{cite book | 和書 | author=松島与三 | title=多様体入門 |series=数学選書, 5 | year=1965 | publisher=裳華房 |isbn=9784785313050 | ref=松島(1965) }}

* {{cite book | 和書 | author=小笠英志 | title=多様体とは何か |series=ブルー・バックス | year=2021 | publisher=講談社 |isbn= | ref=小笠(2021) }}　一般向け入門書。　専門書を読む前か読み始めの時に読むと良いレベル。もしくは、専門書を読まないが多様体とはどういうものか知りたい人向け

* {{cite book | 和書 | author=関沢正躬 | title=微分幾何学入門 | year=2003 | publisher=日本評論社 |isbn=4535783845 | ref=関沢(2003) }}

* {{cite book |last=Freedman |first=Michael H.|last2=Quinn |first2=Frank |year=1990 |title=Topology of 4-Manifolds | publisher=Princeton University Press |isbn= 0-691-08577-3 }}
* {{cite book |last=Guillemin |first=Victor |last2=Pollack |first2=Alan |year=1974 |title=Differential Topology | publisher=Prentice-Hall |isbn=0-13-212605-2 }} - Inspired by Milnor and commonly used in undergraduate courses.
* {{cite book |last=Hempel |first=John |year=1976 |title=3-Manifolds |publisher=Princeton University Press |isbn=0-8218-3695-1 }}
* {{cite book |last=Hirsch |first=Morris |year=1997 |title=3Differential Topology |publisher=Springer Verlag |isbn=0-387-90148-5 }} - 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.
* {{cite book |last=Kirby |first=Robion C. |last2=Siebenmann |first2=Laurence C. |year=1977 |title=Foundational Essays on Topological Manifolds. Smoothings, and Triangulations |publisher=Princeton University Press |isbn=0-691-08190-5 }} - A detailed study of the [[:en:category theory|category]] of topological manifolds.
* {{cite book |last=Lee |first=John M. |year=2000 |title=Introduction to Topological Manifolds |publisher=Springer-Verlag |isbn=0-387-98759-2 }}
*{{citation
  |last = Lee
  |first = John M.
  |title = Introduction to Smooth Manifolds| publisher = Springer| year= 2002|isbn = 978-0-387-95448-6 }}
* {{cite book |last=Lee |first=John M. |year=2003 |title=Introduction to Smooth Manifolds |publisher=Springer-Verlag |isbn=0-387-95495-3}}
* {{cite book |last=Massey |first=William S. |year=1977 |title=Algebraic Topology: An Introduction |publisher=Springer-Verlag |isbn=0-387-90271-6}}
* {{cite book |authorlink=ジョン・ウィラード・ミルナー|last=Milnor |first=John |year=1997 |title=Topology from the Differentiable Viewpoint |publisher=Princeton University Press |isbn=0-691-04833-9}}
* {{cite book |last=Munkres |first=James R. |year=2000) ''|title=Topology''. |publisher=Prentice Hall |isbn=0-13-181629-2 }}
*{{cite book |editor= Neuwirth, L. P. |year=1975 |title=Knots, Groups, and 3-Manifolds. Papers Dedicated to the Memory of R. H. Fox |publisher=Princeton University Press. |isbn=978-0-691-08170-0 }}
* {{cite book |authorlink=ベルンハルト・リーマン |last=Riemann |first=Bernhard |title=Gesammelte mathematische Werke und wissenschaftlicher Nachlass |publisher=Sändig Reprint |isbn= 3-253-03059-8}}
**''[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'').
* {{cite book |authorlink= w:en:Michael Spivak <!-- {{仮リンク|マイケル・スピヴァク|en|Michael Spivak}} --> |last=Spivak |first=Michael |year=1965 |title=[[Calculus on Manifolds (書籍)|Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus]] |publisher=HarperCollins Publishers |isbn=0-8053-9021-9 }} The standard graduate text.
{{Refend}}

==外部リンク==
* {{JGLOBAL ID|200906059264988595}}
* {{kotobank|2=日本大百科全書(ニッポニカ)}}

{{Normdaten}}
{{DEFAULTSORT:たようたい}}
[[Category:多様体論|*]]
[[Category:数学に関する記事]]