多様体

好きなところに座標を描ける多様体

多様体（たようたい、テンプレート:Lang-en-short, テンプレート:Lang-de-short）とは、解析学（微分積分学、複素解析）を展開するために必要な構造を備えた空間のことである（ただし位相多様体においてはその限りではない。ただ、単に多様体と言った場合、可微分多様体か複素多様体のことを指す場合が多い）。それは局所的にユークリッド空間と見なせるような図形や空間（位相空間）として定義される。多様体上には好きなところに局所的に座標を描き込むことができる。

直感的な説明

地球の地図

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

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

地球と同じように多様体は好きなところに小さな地図（局所座標系）が描ける図形である。逆に、このような小さな地図を繋げていったら全体としてどのような図形ができあがるのか？という問題は位相幾何学の重要な問題の一つでもある。地図だけみれば地球をまねて作っているようなゲーム(例えば、ファミコン版のドラゴンクエストシリーズ)の世界が、実は球面ではなく平坦トーラスだったということもある。

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

定義

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

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

局所座標系

同相写像 φ とその逆写像 φ⁻¹ で対応付けられた（座標の無い）集合 テンプレート:Math と（座標のある）集合 テンプレート:Math

テンプレート:Math を位相空間とする。テンプレート:Math の開集合 テンプレート:Math に対して、テンプレート:Math 次元ユークリッド空間の開集合 テンプレート:Math への 同相写像

$\phi :U\to U^{\prime }$

を局所座標系 (local coordinate system) あるいは（局所）チャート (chart) という。 テンプレート:Math ∈ テンプレート:Math に対し、φ(テンプレート:Math) を局所座標 (local coordinates) という。局所座標は、ユークリッド空間の点として見たときの特定の座標すなわち テンプレート:Math 個の数の組 (φ₁(テンプレート:Math), ..., φ_m(テンプレート:Math)) であるのに対し、局所座標系は、テンプレート:Math 上で定義された テンプレート:Math 個の関数 (φ₁, ..., φ_m) の組である。

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

U∩Vは、 φ(U∩V) と ψ(U∩V) の 2 通りの局所座標で表されているが局所座標同士は座標変換で写り合う

M の二つの座標近傍 (テンプレート:Math,φ) と (テンプレート:Math,ψ) について、 テンプレート:Math ∩ テンプレート:Math が空でないとする。局所座標系 φ と ψ は テンプレート:Math と テンプレート:Math をそれぞれ テンプレート:Math 次元ユークリッド空間の開集合 テンプレート:Math に写すとする。すなわち

$\phi :U\to U^{\prime },$

$\psi :V\to V^{\prime }$

である。このとき

$\psi \circ {\phi }^{-1}:\phi (U\cap V)\to \psi (U\cap V)$

は、テンプレート:Math 次元ユークリッド空間の開集合から開集合への同相写像になる。この写像を (テンプレート:Math, φ) から (テンプレート:Math, ψ) への座標変換 (coordinate transformation) という。座標変換を用いれば、同じ開集合 テンプレート:Math ∩ テンプレート:Math に定義された異なる局所座標 φ と ψ を同じものとして扱うことができる。

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

テンプレート:Math 次元座標近傍の族 テンプレート:Math = {(U_λ, φ_λ) | λ ∈ Λ} が テンプレート:Math 全体を覆っているとする:

$M=\bigcup _{\lambda \in \mathrm{\Lambda }}{U}_{\lambda }.$

このとき、テンプレート:Math を座標近傍系 (system of coordinate neighborhoods) あるいはアトラス (atlas) という。アトラスというのは地図帳のことで、局所的な地図であるチャートをいくつも集めて作った地図帳という意味である。

位相多様体

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

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

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

半空間 H^m = {(x₁, x₂, ..., x_m) ∈ R^m | x_m ≥ 0} の部分空間として G^m−1 = {(x₁, x₂, ..., x_m) ∈ R^m | x_m = 0} を取ればそれは R^m−1 になる。 N の座標近傍系 S = {(U_λ, φ_λ) |λ ∈ Λ} に対し、各座標近傍 (U_λ, φ_λ)

${\phi }_{\lambda }:U_{\lambda }\to U{\text{'}}_{\lambda }\subset H^m$

において W_λ = { a ∈ U_λ | φ_λ(a) ∈ G^m−1} という集合を考えたとき

$\partial N:=\bigcup _{\lambda \in \mathrm{\Lambda }}{W}_{\lambda }$

を N の境界という。∂N が空でないとき N を 境界のある m 次元位相多様体という。境界のある m 次元位相多様体の境界は m − 1 次元位相多様体になる。

可微分多様体

m 次元位相多様体 M の座標近傍系 S = {(U_λ, φ_λ) | λ ∈ Λ} の任意の 2 つの座標近傍 (U₁, φ₁), (U₂, φ₂) に対し、U₁ ∩ U₂ が空でないならば座標変換

${\phi }_1\circ {\phi }_2^{-1}:{\phi }_2(U_1\cap U_2)\to {\phi }_1(U_1\cap U_2)$

のすべての成分が、Cⁿ 級関数（n 回連続微分可能関数、すなわち n 回微分可能でありかつ n 階偏導関数がすべて連続となるような関数）となるとき、S を Cⁿ 級座標近傍系という。

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

ここで、自然数 s, t が s ≤ t を満たすとき、定義より、C^t 級関数は C^s 級関数である。

例えば 5 回連続微分可能な関数は、4 回連続微分可能な関数でもある。

このことから、C^t 級微分可能多様体は C^s 級微分可能多様体でもある。

微分可能多様体は、Cⁿ 級座標近傍系 Sの取り方によってはまったく別の多様体になってしまうので、 位相多様体 M と座標近傍系 S を対にして (M, S) と書くこともある。この意味で S は位相多様体 M に Cⁿ 級可微分構造 (differentiable structure of class Cⁿ) を定めると表現されることもある。

座標近傍系同士の関係や性質など座標近傍系の基本的な性質に関わることを論じる場合に、(M, S) と明示すると分かりやすい。

極大座標近傍系

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

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

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

境界を有する多様体

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

多様体の例

アフィン空間

多様体の例でもっとも簡単なものは、 m 次元ユークリッド空間 R^m に座標近傍系として S₁ = {(R^m, id)} をいれたものである。ここで id は恒等写像

id: R^m → R^m

id(x) = x

すなわち x ∈ Rⁿ に対して x をそのまま返す写像である。最初から座標が描かれているのだからそれをそのまま使えばよく、この場合は座標近傍が 1 つしかないので座標変換が不要である。恒等写像はもちろん解析的なので (R^m,S₁) は m 次元解析多様体である。このように R^m を微分可能多様体として捉えたものをアフィン空間という。

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

整数 i に対して 開区間 U_i = (i − 1, i + 1) を取る。 x ∈ U_i に対し 写像 φ_i を

φ_i(x) = x − i ∈ (−1 , +1)

で定めると φ_i は U_i の局所座標系になり、 S₂ = {(U_i,φ_i)| i ∈ Z} としたとき、 (R¹,S₂) も 1 次元解析多様体である。例えば U_i ∩ U_{i + 1} = (i,i + 1) で座標近傍 (U_i,φ_i) から座標近傍 (U_{i + 1},φ_{i + 1}) への座標変換は

${\phi }_{i+1}\circ {\phi }_i^{-1}(x)=x-1$

で与えられる。なお S₁ と S₂ は同値な座標近傍系である。

開部分多様体

S₁ = {(U_λ, φ_λ) | λ ∈ Λ} を座標近傍系にもつ m 次元 Cⁿ 級多様体 (M₁,S₁)と、 M の（空でない）開集合Vに対して S₂ = {(U_λ ∩ V, φ^v_λ) | λ ∈ Λ} を考える。ただし、 φ^v_λ は、 φ の定義域を U_λ から U_λ ∩ V に制限しただけの写像で、本質的には φ となんら変わりのない写像である。

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

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

R² の開集合である 開円板 {(x₁,x₂)|x²₁+x²₂ < 1} は R² の開部分多様体である。

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

円周と球面

単位円

S¹ = {(x₁, x₂) ∈ R² | x₁² + x₂² = 1}

を考える。単位円は次の 4 つの開近傍で覆うことができる。

U₁⁺ = {(x₁, x₂) ∈ S¹ | x₁ > 0}

U₁⁻ = {(x₁, x₂) ∈ S¹ | x₁ < 0}

U₂⁺ = {(x₁, x₂) ∈ S¹ | x₂ > 0}

U₂⁻ = {(x₁, x₂) ∈ S¹ | x₂ < 0}

それぞれに局所座標系を次の様に定める。ただし I = ( − 1,1) とする。

φ₁⁺: U₁⁺ → I , φ₁⁺(x₁, x₂) = x₂

φ₁⁻: U₁⁻ → I , φ₁⁻(x₁, x₂) = x₂

φ₂⁺: U₂⁺ → I , φ₂⁺(x₁, x₂) = x₁

φ₂⁻: U₂⁻ → I , φ₂⁻(x₁, x₂) = x₁

そして座標近傍系を

T = {(U₁⁺,φ₁⁺), (U₁⁻,φ₁⁻), (U₂⁺,φ₂⁺), (U₂⁻,φ₂⁻)}

と取れば、(S¹,T) は 1 次元解析多様体になる。

m 次元単位球面

S^m = {(x₁, ..., x_m, x_m+1) ∈ R^m+1 | x₁² + … + x_m² + x_m+1² = 1}

についても同じようにして 2(m+1)個の開近傍で覆うことができ、それぞれの開近傍は m 次元開球と同相であるので、局所座標系を定めることができ m 次元解析多様体になる。

積多様体

S₁ = {(U_λ, φ_λ) | λ ∈ Λ} を座標近傍系にもつ a 次元 Cⁿ 級多様体 (M₁,S₁) と S₂ = {(V_τ, ψ_τ) | τ ∈ Τ} を座標近傍系に持つ b 次元 Cⁿ 級多様体 (M₂,S₂) を考える。

直積集合 M₁ × M₂ は直積位相によってハウスドルフ空間となる。それぞれの座標近傍 (U_λ, φ_λ) と (V_τ, ψ_τ) に対し、開集合 U_λ と V_τ の直積 U_λ × V_τ とその上で定義された写像 φ_λ × ψ_τ によって座標近傍同士の直積 (U_λ × V_τ, φ_λ × ψ_τ) が定義される。

ここで U_λ × V_τ は、 p ∈ U_λ と q ∈ V_τ を取ったときの (p,q) という組の全体である。写像の直積 φ_λ × ψ_τ は U_λ × V_τ の上で定義された

2 次元多様体の例：トーラス

(φ_λ × ψ_τ)(p,q) = (φ_λ(p), ψ_τ(q))

という写像である。

この式の右辺は成分で表せば (φ₁(p),φ₂(p), … ,φ_a(p), ψ₁(p),ψ₂(p), … ,ψ_b(p)) のことであり、単に成分を並べたものと考えてよい。

このように座標近傍同士の直積によって座標近傍系 S₃ = {(U_λ × V_τ, φ_λ × ψ_τ) | λ ∈ Λ , τ ∈ Τ} を定めたとき、 (M₁ × M₂, S₃) は、 a + b 次元 Cⁿ 級多様体になる。この (M₁ × M₂, S₃) を (M₁,S₁) と (M₂,S₂) の積多様体 (product manifold) という。同様にして M₁ × M₂ × … × M_m というような、 3 つ以上の多様体から作られる積多様体も定義できる。

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

その他の例

• 射影空間: n 次元ベクトル空間の 1 次元部分空間全体を射影空間という。

原点を通る直線は

y=m x

のように書かれるが、これらの直線はmの値と対応し、あらためて一つの点と考えることができる。直線の集合は図形ではないが、このように直線を点に読み替えることで直線のなす集合にも適当な座標系を入れることができ、多様体という図形として扱えるようになる。

多様体上の関数

m 次元 Cⁿ 級多様体 M 上で定義された実数値関数 f を考える。

f: M → R

これは、多様体上の点 p ∈ M に対して実数値 f(p) を対応させる関数である。特定の局所座標を考えているわけではないので、この関数の変数は (x₁, x₂, ..., x_m) のように数を並べた座標ではなく単に点を表している。

多様体上には局所座標を貼ることができるためこの座標を用いた微積分などの計算が可能である。 M には座標近傍系 S = {(U_λ, φ_λ) | λ ∈ Λ} が与えられていて

${\phi }_{\lambda }:U_{\lambda }\to U{\text{'}}_{\lambda }$

とすれば

$f\circ {\phi }_{\lambda }^{-1}:U{\text{'}}_{\lambda }\to R$

つまり q = φ_λ(p) ∈ U′_λ に対し

$f\circ {\phi }_{\lambda }^{-1}(q)=f({\phi }_{\lambda }^{-1}(q))=f(p)$

である。この U′_λ はユークリッド空間の部分集合なので その点である q は (x₁, x₂, ..., x_m) のように数を並べた座標で表すことができ、この座標を用いて微積分などの計算が可能になる。座標近傍 (U_λ, φ_λ) においてその座標を用いて具体的に f(x₁, x₂, ..., x_m) のように書かれた関数を (U_λ, φ_λ) に関する f の局所座標表示という。

ところで、多様体上の計算はなるべく局所座標のとり方に依存しないような計算をしたいという目標があるので U₁ ∩ U₂ 上では、座標近傍 (U₁, φ₁), (U₂, φ₂) のそれぞれの計算は座標変換でうつり合う必要がある。 座標近傍 (U₁, φ₁) での関数の表示

$f\circ {\phi }_1^{-1}:{\phi }_1(U_1\cap U_2)\to R$

を座標近傍 (U₂, φ₂) での表示に変換すると

$(f\circ {\phi }_1^{-1})\circ ({\phi }_1\circ {\phi }_2^{-1}):{\phi }_2(U_1\cap U_2)\to R$

真ん中に挟まれた、 φ₁⁻¹ と φ₁ は写像として打ち消しあうように見えるが、微分可能性を検証したいのでここではあえてしない。Cⁿ 級多様体の座標変換は Cⁿ 級であるから、この合成関数の微分可能性も高々 Cⁿ 級であるとしか言えず、座標変換によっては n + 1 回以上の微分は不可能である場合もあるかもしれないので意味がない。したがって、Cⁿ 級多様体上での関数は Cⁿ 級までしか意味を持たない。もちろん、ある特定の座標近傍だけで定義された関数に n + 1 回以上微分できる関数を定義することはできるが、それはその座標近傍だけでの性質であり、Cⁿ 級多様体という図形の性質とは異なるものになる。

したがって

f: M → R

が C^s 級関数であるとは、任意の座標近傍に対し、そこでの局所座標表示が C^s 級関数であることと定義される。ただし 0 ≤ s ≤ n とする。 M 上の C^s 級関数の全体を C^s(M) と表すことがある。

多様体の間の写像

m₁ 次元 C^s 級多様体 (M₁,S) から m₂ 次元 C^t 級多様体 (M₂,T) への写像 f を考える。

f: M₁ → M₂

それぞれの多様体に与えられている座標近傍系が S = {(U_λ, φ_λ) | λ ∈ Λ} , T = {(V_τ, ψ_τ) | τ ∈ Τ} で定められているとする。多様体上の関数と同じように、写像も座標を用いて表現することができる。関数の場合と違うのは写像でうつる先でも座標について考えなければならないことである。

M₂ = R という「特別な」場合の写像が関数になる。

f(U_λ) ⊆ (V_τ) とし f を (U_λ, φ_λ) から (V_τ, ψ_τ) への写像として座標を用いて書くとすると

${\phi }_{\lambda }:U_{\lambda }\to U{\text{'}}_{\lambda }$

${\psi }_{\tau }:V_{\tau }\to V{\text{'}}_{\tau }$

とすれば

${\psi }_{\tau }\circ f\circ {\phi }_{\lambda }^{-1}:U{\text{'}}_{\lambda }\to V{\text{'}}_{\tau }$

となる。 これが具体的に座標の成分を用いて

ψ₁ = f(φ₁, ..., φ_m)

ψ₂ = f(φ₁, ..., φ_m)

...

ψ_n = f(φ₁, ..., φ_m)

のように表現されているとき、 この表示を (U_λ, φ_λ) と (V_τ, ψ_τ) に関する f の局所座標表示という。

座標変換を考えるために f(U₁) ⊆ (V₁) , f(U₂) ⊆ (V₂) とし、 U₁ ∩ U₂ が空でないとする。 U₁ ∩ U₂ に対して、座標近傍 (U₁, φ₁) と (V₁, ψ₁) での写像 f の表示

${\psi }_1\circ f\circ {\phi }_1^{-1}:{\phi }_1(U_1\cap U_2)\to {\psi }_1(V_1\cap V_2)$

を座標変換を用いて座標近傍 (U₂, φ₂) と (V₂, ψ₂) に関する表示に変換すると

$({\psi }_2\circ {\psi }_1^{-1})\circ ({\psi }_1\circ f\circ {\phi }_1^{-1})\circ ({\phi }_1\circ {\phi }_2^{-1}):{\phi }_2(U_1\cap U_2)\to {\psi }_2(V_1\cap V_2)$

それぞれの括弧は、座標系から座標系への写像になっている。左端の括弧は (M₂,T) での座標変換なので C^t 級、右端の括弧は (M₁,S) での座標変換なので C^s 級である。このことからs と t の小さい方（ s = t ならばその値）を u として、この合成写像の微分可能性は高々 C^u 級であり、 u + 1 回以上の連続微分可能性を仮定することは意味を持たない。

したがって

f: M₁ → M₂

が C^r 級写像であるとは、任意の座標近傍に対し、そこでの局所座標表示が C^r 級写像であることと定義される。ただし 0 ≤ r ≤ u = min{s,t} とする。

1 ≤ r ≤ u の時

f: M₁ → M₂

が全単射で f とその逆写像 f⁻¹ がともに C^r 級写像であるとき、 f を C^r 級微分同相写像 (C^r diffeomorphism) という。f が C^r 級微分同相写像であれば、f⁻¹ も明らかに C^r 級微分同相写像である。

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

多様体上の曲線

R の開区間 I = (a, b) から C^s 級多様体 M への C^r 級写像

φ: I → M

のことを、 C^r 級曲線 (C^r-curve) という (0 ≤ r ≤ s)。

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

a ≤ c < d ≤ b

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

歴史

多様体の歴史はゲッティンゲンで行われたリーマンの講演に始まる。

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

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

年表

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

多様体の一般化

無限次元多様体

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

軌道体

テンプレート:Main テンプレート:日本語版にない記事リンクとは位相空間においてある種の「特異点」を与える多様体の一般化である。

代数多様体とスキーム

テンプレート:Main 実または複素数体上の非特異な代数多様体は多様体である。

滑層化空間

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

CW複体

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

ホモロジー多様体

テンプレート:Main テンプレート:日本語版にない記事リンクとはホモロジー論の観点からみて多様体のようにふるまうところの空間である。

微分空間

シコルスキー微分空間（テンプレート:Lang-en-short）とは：

• $M$を非-空集合。
• $M$上の幾つかの実関数の族を選び、$C\subseteq {ℝ}^M$で記す。それは'各々の点での'（テンプレート:Lang-en-short）加法と積に関して環となる。
• $C$によって導入された位相を$M$に与える。

このときに以下の二条件を満たす組$(M,C)$をいう：

• 各々の$H$につき$H\in C^{\mathrm{\infty }}\left({ℝ}^n\right)$。ここに$n\in \mathbb{N}$、かつ任意の$f_1,\dots ,f_n\in C$につき$H\circ (f_1,\dots ,f_n)\in C$。
• $C$からの幾つかの関数に局所的に合致する$M$の各点での各関数は、やはりまた$C$に属する。

関連項目

• 接ベクトル空間
• 層 (数学)
• ベクトル場
• 微分形式
• 代数多様体

脚注

• テンプレート:Cite journal

参考文献

• テンプレート:Cite book

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

• テンプレート:Cite book

• テンプレート:Cite book
• テンプレート:Cite book - Inspired by Milnor and commonly used in undergraduate courses.
• テンプレート:Cite book
• テンプレート:Cite book - 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 - A detailed study of the category of topological manifolds.
• テンプレート:Cite book
• テンプレート:Citation
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
  • Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse. The 1851 doctoral thesis in which "manifold" (Mannigfaltigkeit) first appears.
  • Ueber die Hypothesen, welche der Geometrie zu Grunde liegen. The 1854 Göttingen inaugural lecture (Habilitationsschrift).
• テンプレート:Cite book The standard graduate text.

外部リンク

• テンプレート:JGLOBAL ID
• テンプレート:Kotobank