多様体

多様体（たようたい、英: manifold, 独: Mannigfaltigkeit）とは、解析学（微分積分学、複素解析）を展開するために必要な構造を備えた空間のことである（ただし位相多様体においてはその限りではない。ただ、単に多様体と言った場合、可微分多様体か複素多様体のことを指す場合が多い）。それは局所的にユークリッド空間と見なせるような図形や空間（位相空間）として定義される。多様体上には好きなところに局所的に座標を描き込むことができる。 多様体に座標を描くという作業は地球上の地図を作る作業に似ている。地図の上の点は地球上の点に対応し、さらに地面には描かれていない緯線や経線を地図に描き込むことによって、地図に描いてある地域の様子が分かりやすくなる。座標の無い地球上の様子は、人間が作った座標のある地図と対応させることによって非常に把握しやすくなる。 地球は球であり、世界地図を一枚の平面的な地図におさめようとすれば、南極大陸が肥大化したり、地図の端の方では一枚の地図の中に（連続性を表現するために）同じ地点が複数描き込まれたりする。世界地図をいくつかの小さな地図に分割すると、こういった奇妙なことはある程度回避できる。例えば、北極を中心とした地図、南極を中心とした地図、ハワイを中心とした地図、ガーナを中心とした地図…… などのように分割できる。そして隣り合った地図の繋がりをそれぞれの地図に同じ地域を含めることで表現すればよい。こうすることによって異なる地図同士では重複する部分が出てきてしまうものの、一枚の地図の中に同じ地域が 2 箇所以上描かれることをなくすことはできる。 地球と同じように多様体は好きなところに小さな地図（局所座標系）が描ける図形である。逆に、このような小さな地図を繋げていったら全体としてどのような図形ができあがるのか？という問題は位相幾何学の重要な問題の一つでもある。地図だけみれば地球をまねて作っているようなゲーム(例えば、ファミコン版のドラゴンクエストシリーズ)の世界が、実は球面ではなく平坦トーラスだったということもある。 多様体は性質のよい図形であり、多様体でない図形も多く存在する。円や球や多角形、多面体などは全て多様体として扱えるが、ペアノ曲線やフラクタルなどは適当な地図を描くことはできず、多様体にはならない。 多様体の定義で重要な点は、多様体の上にいかにして座標系を貼り付けるか？ということと、どのような座標系を用いたとしても計算に違いが現れないようにすることである。多様体は計算したいときに座標を導入でき、しかもどのような座標系で計算したとしても違いがない、すなわち座標系に依存しないという非常に扱いやすい性質が追求された図形である。 ここでいう計算とは関数やベクトル、それらの微分、積分などのユークリッド空間の上で普通に行われているような座標を用いた計算のことである。 M を位相空間とする。M の開集合 U に対して、m 次元ユークリッド空間の開集合 U ' への 同相写像 φ : U → U ′ {\displaystyle \varphi \colon U\to 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) のように書き表すこともある。 M の二つの座標近傍 (U,φ) と (V,ψ) について、 U ∩ V が空でないとする。局所座標系 φ と ψ は U と V をそれぞれ m 次元ユークリッド空間の開集合 U ', V ' に写すとする。すなわち φ : U → U ′ , {\displaystyle \varphi \colon U\to U',} ψ : V → V ′ {\displaystyle \psi \colon V\to V'} である。このとき ψ ∘ φ − 1 : φ ( U ∩ V ) → ψ ( U ∩ V ) {\displaystyle \psi \circ \varphi ^{-1}\colon \varphi (U\cap V)\to \psi (U\cap V)} は、m 次元ユークリッド空間の開集合から開集合への同相写像になる。この写像を (U, φ) から (V, ψ) への座標変換 (coordinate transformation) という。座標変換を用いれば、同じ開集合 U ∩ V に定義された異なる局所座標 φ と ψ を同じものとして扱うことができる。 座標変換はまず φ−1 で M に戻してから ψ によって座標のある集合 V ' に写す写像である。間に座標が決められていない空間 M を挟む形になっているものの、座標変換全体はユークリッド空間の部分集合 U ' からユークリッド空間の部分集合 V ' への写像になっている。すなわち M を経由しているという事実を無視し、座標変換を合成写像としてではなく全体で 1 つの写像として捉えると、それは普通のユークリッド空間からユークリッド空間への写像である。 m 次元座標近傍の族 S = {(Uλ, φλ) | λ ∈ Λ} が M 全体を覆っているとする: M = ⋃ λ ∈ Λ U λ . {\displaystyle M=\bigcup _{\lambda \in \Lambda }U_{\lambda }.} このとき、S を座標近傍系 (system of coordinate neighborhoods) あるいはアトラス (atlas) という。アトラスというのは地図帳のことで、局所的な地図であるチャートをいくつも集めて作った地図帳という意味である。 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λ, φλ) φ λ : U λ → U λ ′ ⊂ H m {\displaystyle \varphi _{\lambda }:U_{\lambda }\to U'_{\lambda }\subset H^{m}} において Wλ = { a ∈ Uλ | φλ(a) ∈ Gm−1} という集合を考えたとき ∂ N := ⋃ λ ∈ Λ W λ {\displaystyle \partial N:=\bigcup _{\lambda \in \Lambda }W_{\lambda }} を N の境界という。∂N が空でないとき N を 境界のある m 次元位相多様体という。境界のある m 次元位相多様体の境界は m − 1 次元位相多様体になる。 m 次元位相多様体 M の座標近傍系 S = {(Uλ, φλ) | λ ∈ Λ} の任意の 2 つの座標近傍 (U1, φ1), (U2, φ2) に対し、U1 ∩ U2 が空でないならば座標変換 φ 1 ∘ φ 2 − 1 : φ 2 ( U 1 ∩ U 2 ) → φ 1 ( U 1 ∩ U 2 ) {\displaystyle \varphi _{1}\circ \varphi _{2}^{-1}:\varphi _{2}(U_{1}\cap U_{2})\to \varphi _{1}(U_{1}\cap U_{2})} のすべての成分が、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) と明示すると分かりやすい。 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 上に互いに微分同相でない複数の微分構造が存在することもある。 多様体の例でもっとも簡単なものは、 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) への座標変換は φ i + 1 ∘ φ i − 1 ( x ) = x − 1 {\displaystyle \varphi _{i+1}\circ \varphi _{i}^{-1}(x)=x-1} で与えられる。なお S1 と S2 は同値な座標近傍系である。 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τ の上で定義された (φλ × ψτ)(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 を考えればトーラスを多様体とみることもできる。 射影空間: n 次元ベクトル空間の 1 次元部分空間全体を射影空間という。 原点を通る直線は y=m x のように書かれるが、これらの直線はmの値と対応し、あらためて一つの点と考えることができる。直線の集合は図形ではないが、このように直線を点に読み替えることで直線のなす集合にも適当な座標系を入れることができ、多様体という図形として扱えるようになる。 m 次元 Cn 級多様体 M 上で定義された実数値関数 f を考える。 f: M → R これは、多様体上の点 p ∈ M に対して実数値 f(p) を対応させる関数である。特定の局所座標を考えているわけではないので、この関数の変数は (x1, x2, ..., xm) のように数を並べた座標ではなく単に点を表している。 多様体上には局所座標を貼ることができるためこの座標を用いた微積分などの計算が可能である。 M には座標近傍系 S = {(Uλ, φλ) | λ ∈ Λ} が与えられていて φ λ : U λ → U λ ′ {\displaystyle \varphi _{\lambda }:U_{\lambda }\to U'_{\lambda }} とすれば f ∘ φ λ − 1 : U λ ′ → R {\displaystyle f\circ \varphi _{\lambda }^{-1}:U'_{\lambda }\to R} つまり q = φλ(p) ∈ U′λ に対し f ∘ φ λ − 1 ( q ) = f ( φ λ − 1 ( q ) ) = f ( p ) {\displaystyle f\circ \varphi _{\lambda }^{-1}(q)=f(\varphi _{\lambda }^{-1}(q))=f(p)} である。この U′λ はユークリッド空間の部分集合なので その点である q は (x1, x2, ..., xm) のように数を並べた座標で表すことができ、この座標を用いて微積分などの計算が可能になる。座標近傍 (Uλ, φλ) においてその座標を用いて具体的に f(x1, x2, ..., xm) のように書かれた関数を (Uλ, φλ) に関する f の局所座標表示という。 ところで、多様体上の計算はなるべく局所座標のとり方に依存しないような計算をしたいという目標があるので U1 ∩ U2 上では、座標近傍 (U1, φ1), (U2, φ2) のそれぞれの計算は座標変換でうつり合う必要がある。 座標近傍 (U1, φ1) での関数の表示 f ∘ φ 1 − 1 : φ 1 ( U 1 ∩ U 2 ) → R {\displaystyle f\circ \varphi _{1}^{-1}:\varphi _{1}(U_{1}\cap U_{2})\to R} を座標近傍 (U2, φ2) での表示に変換すると ( f ∘ φ 1 − 1 ) ∘ ( φ 1 ∘ φ 2 − 1 ) : φ 2 ( U 1 ∩ U 2 ) → R {\displaystyle (f\circ \varphi _{1}^{-1})\circ (\varphi _{1}\circ \varphi _{2}^{-1}):\varphi _{2}(U_{1}\cap U_{2})\to R} 真ん中に挟まれた、 φ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) と表すことがある。 m1 次元 Cs 級多様体 (M1,S) から m2 次元 Ct 級多様体 (M2,T) への写像 f を考える。 f: M1 → M2 それぞれの多様体に与えられている座標近傍系が S = {(Uλ, φλ) | λ ∈ Λ} , T = {(Vτ, ψτ) | τ ∈ Τ} で定められているとする。多様体上の関数と同じように、写像も座標を用いて表現することができる。関数の場合と違うのは写像でうつる先でも座標について考えなければならないことである。 M2 = R という「特別な」場合の写像が関数になる。 f(Uλ) ⊆ (Vτ) とし f を (Uλ, φλ) から (Vτ, ψτ) への写像として座標を用いて書くとすると φ λ : U λ → U λ ′ {\displaystyle \varphi _{\lambda }:U_{\lambda }\to U'_{\lambda }} ψ τ : V τ → V τ ′ {\displaystyle \psi _{\tau }:V_{\tau }\to V'_{\tau }} とすれば ψ τ ∘ f ∘ φ λ − 1 : U λ ′ → V τ ′ {\displaystyle \psi _{\tau }\circ f\circ \varphi _{\lambda }^{-1}:U'_{\lambda }\to V'_{\tau }} となる。 これが具体的に座標の成分を用いて ψ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 の表示 ψ 1 ∘ f ∘ φ 1 − 1 : φ 1 ( U 1 ∩ U 2 ) → ψ 1 ( V 1 ∩ V 2 ) {\displaystyle \psi _{1}\circ f\circ \varphi _{1}^{-1}:\varphi _{1}(U_{1}\cap U_{2})\to \psi _{1}(V_{1}\cap V_{2})} を座標変換を用いて座標近傍 (U2, φ2) と (V2, ψ2) に関する表示に変換すると ( ψ 2 ∘ ψ 1 − 1 ) ∘ ( ψ 1 ∘ f ∘ φ 1 − 1 ) ∘ ( φ 1 ∘ φ 2 − 1 ) : φ 2 ( U 1 ∩ U 2 ) → ψ 2 ( V 1 ∩ V 2 ) {\displaystyle (\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})} それぞれの括弧は、座標系から座標系への写像になっている。左端の括弧は (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) であるという。 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年『微分可能多様体』（ハスラー・ホイットニー） 接ベクトル空間 層 (数学) ベクトル場 微分形式 代数多様体