多様体
解析学を展開するために必要な構造を備えた空間
多様体︵たようたい、英: manifold, 独: Mannigfaltigkeit︶とは、解析学︵微分積分学、複素解析︶を展開するために必要な構造を備えた空間のことである︵ただし位相多様体においてはその限りではない。ただ、単に多様体と言った場合、可微分多様体か複素多様体のことを指す場合が多い︶。それは局所的にユークリッド空間と見なせるような図形や空間︵位相空間︶として定義される。多様体上には好きなところに局所的に座標を描き込むことができる。
![](http://upload.wikimedia.org/wikipedia/commons/1/10/Manifold_zahyou1.png)
直感的な説明 編集
多様体に座標を描くという作業は地球上の地図を作る作業に似ている。地図の上の点は地球上の点に対応し、さらに地面には描かれていない緯線や経線を地図に描き込むことによって、地図に描いてある地域の様子が分かりやすくなる。座標の無い地球上の様子は、人間が作った座標のある地図と対応させることによって非常に把握しやすくなる。
地球は球であり、世界地図を一枚の平面的な地図におさめようとすれば、南極大陸が肥大化したり、地図の端の方では一枚の地図の中に︵連続性を表現するために︶同じ地点が複数描き込まれたりする。世界地図をいくつかの小さな地図に分割すると、こういった奇妙なことはある程度回避できる。例えば、北極を中心とした地図、南極を中心とした地図、ハワイを中心とした地図、ガーナを中心とした地図…… などのように分割できる。そして隣り合った地図の繋がりをそれぞれの地図に同じ地域を含めることで表現すればよい。こうすることによって異なる地図同士では重複する部分が出てきてしまうものの、一枚の地図の中に同じ地域が2箇所以上描かれることをなくすことはできる。
地球と同じように多様体は好きなところに小さな地図︵局所座標系︶が描ける図形である。逆に、このような小さな地図を繋げていったら全体としてどのような図形ができあがるのか?という問題は位相幾何学の重要な問題の一つでもある。地図だけみれば地球をまねて作っているようなゲーム(例えば、ファミコン版のドラゴンクエストシリーズ[1])の世界が、実は球面ではなく平坦トーラスだったということもある。
多様体は性質のよい図形であり、多様体でない図形も多く存在する。円や球や多角形、多面体などは全て多様体として扱えるが、ペアノ曲線やフラクタルなどは適当な地図を描くことはできず、多様体にはならない。
同相写像 φ とその逆写像 φ−1 で対応付けられた︵座標の無 い︶集合 Uと︵座標のある︶集合 U'
M を位相空間とする。M の開集合 Uに対して、m 次元ユークリッド空間の開集合 U' への 同相写像
を局所座標系 (local coordinate system) あるいは︵局所︶チャート (chart) という。 a∈ Mに対し、φ(a) を局所座標 (local coordinates) という。局所座標は、ユークリッド空間の点として見たときの特定の座標すなわち m個の数の組 (φ1(a), ..., φm(a)) であるのに対し、局所座標系は、U 上で定義された m個の関数 (φ1, ..., φm) の組である。
局所座標を用いることにより U上の点を m次元ユークリッド空間の点であるかのように扱うことが可能になる。U 上に局所座標系 φ が定義されていることを (U, φ) という対で表し、これを m次元座標近傍 (coordinate neighborhood) あるいはチャートという。局所座標系の成分を明示的に (U;φ1, ..., φm) のように書き表すこともある。
U∩Vは、 φ(U∩V) と ψ(U∩V) の2通りの局所座標 で表されているが局所座標同士は座標変換で写り合う
M の二つの座標近傍 (U,φ) と (V,ψ) について、 U∩ Vが空でないとする。局所座標系 φ と ψ は Uと Vをそれぞれ m次元ユークリッド空間の開集合 U', V' に写すとする。すなわち
である。このとき
は、m 次元ユークリッド空間の開集合から開集合への同相写像になる。この写像を (U, φ) から (V, ψ) への座標変換 (coordinate transformation) という。座標変換を用いれば、同じ開集合 U∩ Vに定義された異なる局所座標 φ と ψ を同じものとして扱うことができる。
座標変換はまず φ−1 で Mに戻してから ψ によって座標のある集合 V' に写す写像である。間に座標が決められていない空間 Mを挟む形になっているものの、座標変換全体はユークリッド空間の部分集合 U' からユークリッド空間の部分集合 V' への写像になっている。すなわち Mを経由しているという事実を無視し、座標変換を合成写像としてではなく全体で1つの写像として捉えると、それは普通のユークリッド空間からユークリッド空間への写像である。
m 次元座標近傍の族 S= {(Uλ, φλ) | λ ∈ Λ} が M全体を覆っているとする:
このとき、S を座標近傍系 (system of coordinate neighborhoods) あるいはアトラス (atlas) という。アトラスというのは地図帳のことで、局所的な地図であるチャートをいくつも集めて作った地図帳という意味である。
において Wλ = { a∈ Uλ | φλ(a) ∈ Gm−1} という集合を考えたとき
を Nの境界という。∂N が空でないとき Nを 境界のある m次元位相多様体という。境界のある m次元位相多様体の境界は m− 1 次元位相多様体になる。
のすべての成分が、Cn 級関数︵n 回連続微分可能関数、すなわち n回微分可能でありかつ n階偏導関数がすべて連続となるような関数︶となるとき、S を Cn級座標近傍系という。
m 次元位相多様体 Mが、Cn 級座標近傍系を持つとき、 Mを Cn級 m次元微分可能多様体︵あるいは可微分多様体、differentiable manifold of class Cn) という。微分可能とか、可微分といった言葉を省略して Cn級多様体ということもある。位相多様体のことを、座標変換の微分可能性を仮定しないという意味で C0 級多様体と呼ぶこともある。 C∞ 級多様体のことを滑らかな多様体とも呼ぶ。特に n= ω すなわち、全ての座標変換が実解析関数であるときは特に解析多様体 (analytic manifold) という。
ここで、自然数 s, tが s≤ tを満たすとき、定義より、Ct 級関数は Cs級関数である。
例えば5回連続微分可能な関数は、4回連続微分可能な関数でもある。
このことから、Ct 級微分可能多様体は Cs級微分可能多様体でもある。
微分可能多様体は、Cn 級座標近傍系 Sの取り方によってはまったく別の多様体になってしまうので、 位相多様体 Mと座標近傍系 Sを対にして (M, S) と書くこともある。この意味で Sは位相多様体 Mに Cn級可微分構造 (differentiable structure of class Cn) を定めると表現されることもある。
座標近傍系同士の関係や性質など座標近傍系の基本的な性質に関わることを論じる場合に、(M, S) と明示すると分かりやすい。
定義 編集
多様体の定義で重要な点は、多様体の上にいかにして座標系を貼り付けるか?ということと、どのような座標系を用いたとしても計算に違いが現れないようにすることである。多様体は計算したいときに座標を導入でき、しかもどのような座標系で計算したとしても違いがない、すなわち座標系に依存しないという非常に扱いやすい性質が追求された図形である。 ここでいう計算とは関数やベクトル、それらの微分、積分などのユークリッド空間の上で普通に行われているような座標を用いた計算のことである。局所座標系 編集
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a0/Manifold_zahyou2.png/220px-Manifold_zahyou2.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Manifold_zahyou3.png/300px-Manifold_zahyou3.png)
位相多様体 編集
M をハウスドルフ空間とする。M の任意の点 aに対して、a を含む m次元座標近傍 (U, φ) が存在するとき、M を︵境界のない︶m 次元位相多様体 (topological manifold) という。 これまで、局所座標 φ(a) はユークリッド空間 Rmに値を取ると考えてきたが、代わりに半空間 Hm= {(x1, x2, ..., xm) ∈ Rm| xm≥ 0} に値を取ると考え局所座標の定義を修正すると境界のある位相多様体が定義される。 N をハウスドルフ空間とし、N の任意の点 aに対して、a を含む m次元座標近傍 (U, φ) が存在するとする。 半空間 Hm= {(x1, x2, ..., xm) ∈ Rm| xm≥ 0} の部分空間として Gm−1 = {(x1, x2, ..., xm) ∈ Rm| xm= 0} を取ればそれは Rm−1 になる。 Nの座標近傍系 S= {(Uλ, φλ) |λ ∈ Λ} に対し、各座標近傍 (Uλ, φλ)可微分多様体 編集
m 次元位相多様体 Mの座標近傍系 S= {(Uλ, φλ) | λ ∈ Λ} の任意の2つの座標近傍 (U1, φ1), (U2, φ2) に対し、U1 ∩ U2が空でないならば座標変換極大座標近傍系 編集
m 次元位相多様体 Mに対し Cn級座標近傍系として Sと Tの2つを取るとする。和集合 S∪ Tが再び MのCn 級座標近傍系になるとき、 Sと Tは同値であるという。これは同値関係を定める。これは Sに属する座標近傍と Tに属する座標近傍の間にも座標変換が存在し Sでの計算と Tでの計算に違いが無いという性質を保証するための同値関係である。 さらに、 M上の Sと同値な Cn級座標近傍系全ての和集合を取ることによって得られる F= F(S) を Sによって生成された Mの Cn級極大座標近傍系あるいは Mの Cn級微分構造という。定義により、同じ微分構造を定める座標近傍系同士は同値である。 こうして座標近傍系の取り方に依存しない Cn級多様体が定義される。m 次元位相多様体 M上に互いに微分同相でない複数の微分構造が存在することもある。境界を有する多様体 編集
「 位相多様体#境界を持つ多様体 」も参照
境界を持つ多様体すなわち境界を有する多様体は縁︵ふち、英: edge︶を持つ多様体である。たとえば、一枚の紙は1次元の境界を持つ二次元多様体である。境界を持つ
次元多様体の境界は
次元多様体である。円板︵円周と内部︶は境界を持つ二次元多様体である。その境界は円周であり、一次元多様体である。正方形も境界を持つ二次元多様体である。球体︵球面と内部︶は境界を持つ三次元多様体である。その境界は球面であり、二次元多様体である。︵境界 (位相空間論)と混同しないこと︶。
で与えられる。なお S1と S2は同値な座標近傍系である。
2次元多様体の例‥トーラス
(φλ × ψτ)(p,q) = (φλ(p), ψτ(q))
という写像である。
この式の右辺は成分で表せば (φ1(p),φ2(p), … ,φa(p), ψ1(p),ψ2(p), … ,ψb(p)) のことであり、単に成分を並べたものと考えてよい。
このように座標近傍同士の直積によって座標近傍系 S3= {(Uλ × Vτ, φλ × ψτ) | λ ∈ Λ , τ ∈ Τ} を定めたとき、 (M1 × M2, S3) は、 a+ b次元 Cn級多様体になる。この (M1 × M2, S3) を (M1,S1) と (M2,S2) の積多様体 (product manifold) という。同様にして M1× M2× … × Mmというような、3つ以上の多様体から作られる積多様体も定義できる。
直線と円周の直積 R1× S1を考えれば、直線を軸とした無限に伸びる円柱の側面を多様体と見ることもできるし、円周同士の直積 T2= S1× S1を考えればトーラスを多様体とみることもできる。
とすれば
つまり q= φλ(p) ∈ U′λ に対し
である。この U′λ はユークリッド空間の部分集合なので その点である qは (x1, x2, ..., xm) のように数を並べた座標で表すことができ、この座標を用いて微積分などの計算が可能になる。座標近傍 (Uλ, φλ) においてその座標を用いて具体的に f(x1, x2, ..., xm) のように書かれた関数を (Uλ, φλ) に関する fの局所座標表示という。
ところで、多様体上の計算はなるべく局所座標のとり方に依存しないような計算をしたいという目標があるので U1∩ U2上では、座標近傍 (U1, φ1), (U2, φ2) のそれぞれの計算は座標変換でうつり合う必要がある。 座標近傍 (U1, φ1) での関数の表示
を座標近傍 (U2, φ2) での表示に変換すると
真ん中に挟まれた、 φ1−1 と φ1 は写像として打ち消しあうように見えるが、微分可能性を検証したいのでここではあえてしない。Cn 級多様体の座標変換は Cn級であるから、この合成関数の微分可能性も高々 Cn級であるとしか言えず、座標変換によっては n+ 1 回以上の微分は不可能である場合もあるかもしれないので意味がない。したがって、Cn 級多様体上での関数は Cn級までしか意味を持たない。もちろん、ある特定の座標近傍だけで定義された関数に n+ 1 回以上微分できる関数を定義することはできるが、それはその座標近傍だけでの性質であり、Cn 級多様体という図形の性質とは異なるものになる。
したがって
f: M→ R
が Cs級関数であるとは、任意の座標近傍に対し、そこでの局所座標表示が Cs級関数であることと定義される。ただし 0 ≤ s ≤ nとする。 M上の Cs級関数の全体を Cs(M) と表すことがある。
とすれば
となる。
これが具体的に座標の成分を用いて
ψ1 = f(φ1, ..., φm)
ψ2 = f(φ1, ..., φm)
...
ψn = f(φ1, ..., φm)
のように表現されているとき、 この表示を (Uλ, φλ) と (Vτ, ψτ) に関する fの局所座標表示という。
座標変換を考えるために f(U1) ⊆ (V1) , f(U2) ⊆ (V2) とし、 U1∩ U2が空でないとする。 U1∩ U2に対して、座標近傍 (U1, φ1) と (V1, ψ1) での写像 fの表示
を座標変換を用いて座標近傍 (U2, φ2) と (V2, ψ2) に関する表示に変換すると
それぞれの括弧は、座標系から座標系への写像になっている。左端の括弧は (M2,T) での座標変換なので Ct級、右端の括弧は (M1,S) での座標変換なので Cs級である。このことからs と tの小さい方︵ s= tならばその値︶を uとして、この合成写像の微分可能性は高々 Cu級であり、 u+ 1 回以上の連続微分可能性を仮定することは意味を持たない。
したがって
f: M1→ M2
が Cr級写像であるとは、任意の座標近傍に対し、そこでの局所座標表示が Cr級写像であることと定義される。ただし 0 ≤ r≤ u= min{s,t} とする。
1 ≤ r≤ uの時
f: M1→ M2
が全単射で fとその逆写像 f−1 がともに Cr級写像であるとき、 fを Cr級微分同相写像 (Cr diffeomorphism) という。f が Cr級微分同相写像であれば、f−1 も明らかに Cr級微分同相写像である。
M1 と M2の間に Cr級微分同相写像が存在するとき M1と M2は互いに Cr級微分同相 (Cr diffeomorphic) であるという。
多様体の例 編集
アフィン空間 編集
多様体の例でもっとも簡単なものは、 m次元ユークリッド空間 Rmに座標近傍系として S1= {(Rm, id)} をいれたものである。ここで idは恒等写像 id: Rm→ Rm id(x) = x すなわち x∈ Rnに対して xをそのまま返す写像である。最初から座標が描かれているのだからそれをそのまま使えばよく、この場合は座標近傍が1つしかないので座標変換が不要である。恒等写像はもちろん解析的なので (Rm,S1) は m次元解析多様体である。このように Rmを微分可能多様体として捉えたものをアフィン空間という。 話をさらに簡明にするために m= 1 とする。すなわち数直線 R1について考える。上に書いたとおり S1= {(R1, id)} として、 (R1,S1) は1次元解析多様体となる。 整数 iに対して 開区間 Ui= (i − 1, i+ 1) を取る。 x∈ Uiに対し 写像 φi を φi(x) = x− i∈ (−1 , +1) で定めると φi は Uiの局所座標系になり、 S2= {(Ui,φi)| i∈ Z} としたとき、 (R1,S2) も1次元解析多様体である。例えば Ui∩ Ui+ 1 = (i,i + 1) で座標近傍 (Ui,φi) から座標近傍 (Ui + 1,φi + 1) への座標変換は開部分多様体 編集
S1 = {(Uλ, φλ) | λ ∈ Λ} を座標近傍系にもつ m次元 Cn級多様体 (M1,S1)と、 Mの︵空でない︶開集合Vに対して S2= {(Uλ ∩ V, φvλ) | λ ∈ Λ} を考える。ただし、 φvλ は、 φ の定義域を Uλ から Uλ ∩ V に制限しただけの写像で、本質的には φ となんら変わりのない写像である。 このとき (V, S2) も m次元 Cn級多様体となる。この多様体を (M1,S1) の開部分多様体 (open submanifold) という。 R1 の開集合である 開区間 (a,b) は R1の開部分多様体である。 R2 の開集合である 開円板 {(x1,x2)|x21+x22 < 1} は R2の開部分多様体である。 というように、多様体に含まれる開集合に多様体を制限したものが開部分多様体である。円周と球面 編集
単位円 S1 = {(x1, x2) ∈ R2| x12+ x22= 1} を考える。単位円は次の4つの開近傍で覆うことができる。 U1+ = {(x1, x2) ∈ S1| x1> 0} U1− = {(x1, x2) ∈ S1| x1< 0} U2+ = {(x1, x2) ∈ S1| x2> 0} U2− = {(x1, x2) ∈ S1| x2< 0} それぞれに局所座標系を次の様に定める。ただし I= ( − 1,1) とする。 φ1+: U1+ → I, φ1+(x1, x2) = x2 φ1−: U1− → I, φ1−(x1, x2) = x2 φ2+: U2+ → I, φ2+(x1, x2) = x1 φ2−: U2− → I, φ2−(x1, x2) = x1 そして座標近傍系を T = {(U1+,φ1+), (U1−,φ1−), (U2+,φ2+), (U2−,φ2−)} と取れば、(S1,T) は1次元解析多様体になる。 m 次元単位球面 Sm = {(x1, ..., xm, xm+1) ∈ Rm+1 | x12+ … + xm2+ xm+12 = 1} についても同じようにして 2(m+1)個の開近傍で覆うことができ、それぞれの開近傍は m次元開球と同相であるので、局所座標系を定めることができ m次元解析多様体になる。積多様体 編集
S1 = {(Uλ, φλ) | λ ∈ Λ} を座標近傍系にもつ a次元 Cn級多様体 (M1,S1) と S2= {(Vτ, ψτ) | τ ∈ Τ} を座標近傍系に持つ b次元 Cn級多様体 (M2,S2) を考える。 直積集合 M1× M2は直積位相によってハウスドルフ空間となる。それぞれの座標近傍 (Uλ, φλ) と (Vτ, ψτ) に対し、開集合 Uλ と Vτ の直積 Uλ × Vτ とその上で定義された写像 φλ × ψτ によって座標近傍同士の直積 (Uλ × Vτ, φλ × ψτ) が定義される。 ここで Uλ × Vτ は、 p∈ Uλ と q∈ Vτ を取ったときの (p,q) という組の全体である。写像の直積 φλ × ψτ は Uλ × Vτ の上で定義された![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/54/Torus_cycles.png/220px-Torus_cycles.png)
その他の例 編集
●射影空間: n次元ベクトル空間の1次元部分空間全体を射影空間という。 原点を通る直線は y=m x のように書かれるが、これらの直線はmの値と対応し、あらためて一つの点と考えることができる。直線の集合は図形ではないが、このように直線を点に読み替えることで直線のなす集合にも適当な座標系を入れることができ、多様体という図形として扱えるようになる。多様体上の関数 編集
m 次元 Cn級多様体 M上で定義された実数値関数 fを考える。 f: M→ R これは、多様体上の点 p∈ Mに対して実数値 f(p) を対応させる関数である。特定の局所座標を考えているわけではないので、この関数の変数は (x1, x2, ..., xm) のように数を並べた座標ではなく単に点を表している。 多様体上には局所座標を貼ることができるためこの座標を用いた微積分などの計算が可能である。 Mには座標近傍系 S= {(Uλ, φλ) | λ ∈ Λ} が与えられていて多様体の間の写像 編集
m1 次元 Cs級多様体 (M1,S) から m2次元 Ct級多様体 (M2,T) への写像 fを考える。 f: M1→ M2 それぞれの多様体に与えられている座標近傍系が S= {(Uλ, φλ) | λ ∈ Λ} , T= {(Vτ, ψτ) | τ ∈ Τ} で定められているとする。多様体上の関数と同じように、写像も座標を用いて表現することができる。関数の場合と違うのは写像でうつる先でも座標について考えなければならないことである。 M2 = Rという﹁特別な﹂場合の写像が関数になる。 f(Uλ) ⊆ (Vτ) とし fを (Uλ, φλ) から (Vτ, ψτ) への写像として座標を用いて書くとすると多様体上の曲線 編集
R の開区間 I= (a, b) から Cs級多様体 Mへの Cr級写像 φ: I→ M のことを、 Cr級曲線 (Cr-curve) という (0 ≤ r≤ s)。 { φ(t) ∈ M| t ∈ I} という点の集合を曲線というのではなく、写像 φ を曲線というのである。なお、φ の変数 tを媒介変数という。 a ≤ c< d≤ b とする。φ が 開区間 I= (a,b) で定義された Cr級曲線であるとき、 Iに含まれる閉区間 [c,d] や 半開区間 [c,d), (c,d] に φ の定義域を制限して得られる写像も Cr級曲線という。歴史 編集
多様体の歴史はゲッティンゲンで行われたリーマンの講演に始まる。 多様体論は、ロバチェフスキーの双曲幾何学によって始まった非ユークリッド幾何学やガウスの曲面論を背景として様々な幾何学を統一し、 n次元の幾何学へと飛躍させた。発見当初はカント哲学に打撃を与えた非ユークリッド幾何学も多様体論の一例でしかなくなってしまった。 リーマンがゲッティンゲン大学の私講師に就任するために行った講演﹃幾何学の基礎に関する仮説について﹄の中で﹁何重にも拡がったもの﹂と表現した概念が n次元多様体のもとになり n次元の幾何学に関する研究が始まった。この講演を聴いていたガウスがその着想に夢中になり、︵ガウスは普段はあまり表立って他人を褒めることはなかったが、︶リーマンの着想がいかに素晴らしいかを同僚に語り続けたり、帰り道にうわの空で道端の溝に落ちたりしたと言われている。年表 編集
●1826年﹃平行線公準の厳密な証明﹄︵ロバチェフスキー︶ ●1827年﹃曲面の研究﹄︵ガウス︶ ●1829年﹃幾何学の新原理並びに平行線の完全な理論﹄︵ロバチェフスキー︶ ●1854年6月10日﹃幾何学の基礎に関する仮説について﹄︵リーマン︶ ●1872年エルランゲン目録︵クライン︶ ●1895年﹃位置解析﹄︵アンリ・ポアンカレ︶ ●1916年一般相対性理論︵アルベルト・アインシュタイン︶ ●1936年﹃微分可能多様体﹄︵ハスラー・ホイットニー︶多様体の一般化 編集
無限次元多様体 編集
次元の有限性という条件を除くことで一般化ができる。或る無限次元多様体は或る実線型位相空間に局所的に同型なひとつの位相空間である。これは、高次の基数性と非ハウスドルフ多様体 ︵英語: non-Hausdorff manifold ︶を与え、点集合論の公理を省く‥そしてそれはヒルベルト空間によって定義されるヒルベルト多様体 ︵英語: Hilbert manifold ︶や、バナッハ空間によって定義されるバナッハ多様体 ︵英語: Banach manifold ︶、及びフレシェ空間によって定義されるフレシェ多様体 ︵英語: Fréchet manifold ︶のような構造を与え、有限次元であることを省く。通常一つの条件は別の一つまたは他の条件を弱める‥無限次元多様体が関数解析学で論じられるのに対し、点集合の公理をもった多様体は位相空間論で論じられる。軌道体 編集
軌道体 (英語: orbifold )とは位相空間においてある種の「特異点」を与える多様体の一般化である。
代数多様体とスキーム 編集
実または複素数体上の非特異な代数多様体は多様体である。
滑層化空間 編集
擬多様体すなわち﹁滑層化空間﹂︵英: stratified space、本節ではこの用語を用いる︶とは、規定の方法︵正式には、閉じた部分集合によるフィルター付け︶により互いに突き合わされた、各々のかけらが多様体であるような、'かけら'︵﹁滑層︵英: strata︶﹂︶に分割しうる空間である。技巧的に様々な定義があるなかで、滑らかな多様体についてのホイットニーの滑層化空間︵ホイットニー条件 ︵英語: Whitney conditions ︶を見よ︶、及び位相多様体についてのトム‐マザー滑層化空間 ︵英語: Thom–Mather stratified space ︶は注目に値する。CW複体 編集
詳細は「 CW複体 」を参照
CW複体とは互いに貼り合わされたいくつかの異なった次元の円盤によって形づくられる位相空間である。
ホモロジー多様体 編集
詳細は「 ホモロジー多様体 (英語: homology manifolds ) 」を参照
ホモロジー多様体 ︵英語: homology manifolds ︶とはホモロジー論の観点からみて多様体のようにふるまうところの空間である。
を非-空集合。
●
上の幾つかの実関数の族を選び、
で記す。それは'各々の点での'︵英: pointwise︶加法と積に関して環となる。
●
によって導入された位相を
に与える。
このときに以下の二条件を満たす組
をいう[2]‥
微分空間 編集
シコルスキー微分空間︵英: Sikorski differential space︶とは‥ ●
●各々の
につき
。ここに
、かつ任意の
につき
。
●
からの幾つかの関数に局所的に合致する
の各点での各関数は、やはりまた
に属する。
関連項目 編集
●接ベクトル空間 ●層 (数学) ●ベクトル場 ●微分形式 ●代数多様体脚注 編集
- Sikorski, R. (1967). “Abstract covariant derivative”. Colloquium Mathematicum 18: 251–272. doi:10.4064/cm-18-1-251-272.
参考文献 編集
●松島与三﹃多様体入門﹄裳華房︿数学選書, 5﹀、1965年。ISBN 9784785313050。
●小笠英志﹃多様体とは何か﹄講談社︿ブルー・バックス﹀、2021年。 一般向け入門書。 専門書を読む前か読み始めの時に読むと良いレベル。もしくは、専門書を読まないが多様体とはどういうものか知りたい人向け
●関沢正躬﹃微分幾何学入門﹄日本評論社、2003年。ISBN 4535783845。
●Freedman, Michael H.; Quinn, Frank (1990). Topology of 4-Manifolds. Princeton University Press. ISBN 0-691-08577-3
●Guillemin, Victor; Pollack, Alan (1974). Differential Topology. Prentice-Hall. ISBN 0-13-212605-2 - Inspired by Milnor and commonly used in undergraduate courses.
●Hempel, John (1976). 3-Manifolds. Princeton University Press. ISBN 0-8218-3695-1
●Hirsch, Morris (1997). 3Differential Topology. 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.
●Kirby, Robion C.; Siebenmann, Laurence C. (1977). Foundational Essays on Topological Manifolds. Smoothings, and Triangulations. Princeton University Press. ISBN 0-691-08190-5 - A detailed study of the category of topological manifolds.
●Lee, John M. (2000). Introduction to Topological Manifolds. Springer-Verlag. ISBN 0-387-98759-2
●Lee, John M. (2002), Introduction to Smooth Manifolds, Springer, ISBN 978-0-387-95448-6
●Lee, John M. (2003). Introduction to Smooth Manifolds. Springer-Verlag. ISBN 0-387-95495-3
●Massey, William S. (1977). Algebraic Topology: An Introduction. Springer-Verlag. ISBN 0-387-90271-6
●Milnor, John (1997). Topology from the Differentiable Viewpoint. Princeton University Press. ISBN 0-691-04833-9
●Munkres, James R. (2000) ). Topology.. Prentice Hall. ISBN 0-13-181629-2
●Neuwirth, L. P., ed (1975). Knots, Groups, and 3-Manifolds. Papers Dedicated to the Memory of R. H. Fox. Princeton University Press.. ISBN 978-0-691-08170-0
●Riemann, Bernhard. Gesammelte mathematische Werke und wissenschaftlicher Nachlass. Sändig Reprint. ISBN 3-253-03059-8
●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).
●Spivak, Michael (1965). Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus. HarperCollins Publishers. ISBN 0-8053-9021-9 The standard graduate text.