ベクトル束のソースを表示
←
ベクトル束
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
{{otheruses|微分幾何学におけるバンドル構造|束 (lattice) を成す順序ベクトル空間としての「ベクトル束」|リース空間}} [[Image:Moebiusstrip.png|thumb|250px|right|[[メビウスの帯]]は[[単位円|1-球面]] ''S''<sup>1</sup> 上の直線束である。局所的に ''S''<sup>1</sup> 上の各点の周りでは ''U'' × '''R''' に[[同相|見える]]が、大域的に束全体を見れば ''S''<sup>1</sup> × '''R'''（これは[[円筒]]に同相）とは明らかに異なる。]] 数学において、'''ベクトル束'''（べくとるそく、{{lang-en-short|vector bundle}}; '''ベクトルバンドル'''）は、ある空間 {{mvar|X}}（例えば、{{mvar|X}} は[[位相空間]]、[[多様体]]、[[代数多様体]]等）により[[助変数|径数]]付けられた[[ベクトル空間]]の[[族 (数学)|族]]を作るという方法で与えられる幾何学的構成である。 == 導入 == 空間 {{mvar|X}} 上のベクトル束（ベクトルバンドル）とは、{{mvar|X}} の各点 {{mvar|x}} に[[ベクトル空間]] {{math|''V''(''x'')}} を対応させた（というよりは「貼り付けた」("attach")）とき、それらが「うまく貼り合わされて」もとの {{mvar|X}} と同種の空間（例えば、位相空間、多様体、代数多様体等）を成すようなものである（「バンドル」は一まとめに束ねたものの意）。 最も単純な例は、貼り合せるベクトル空間の族が一定の（つまり固定したベクトル空間 ''V'' により、すべての {{math|''x'' ∈ ''X''}} に対し {{math|''V''(''x'') {{=}} ''V''}} となる）場合である。このとき、各点 {{math|''x'' ∈ ''X''}} に対応する ''V'' の複写の全体が貼り合わされて {{mvar|X}} 上のベクトル束 {{mvar|X}} × ''V'' ができる。この様なベクトル束は[[ファイバー束#ファイバー束の例|自明]]であると言われる。 より複雑（かつ原型的）な例の一つのクラスは、滑らかな多様体（[[可微分多様体]]）の[[接束]]である。これは多様体 {{mvar|M}} の各点 {{math|''x'' ∈ ''M''}} に、その点での[[接ベクトル空間|接空間]] {{math|''T<sub>x</sub>M''}} を付随させたものである。接束は一般には自明束ではない。たとえば、二次元球面の接束は[[毛玉の定理]]により自明ではない。一般に、多様体の接束が自明となることを「多様体は[[平行化可能多様体|平行化可能]] {{lang|en|(''parallelizable'')}} である」と言い表す。 ベクトル束は[[ほとんど (数学)|殆ど常に]]局所的に自明である必要があるが、これはベクトル束が、ベクトル空間をファイバーとする[[ファイバー束]]（ファイバーバンドル）であることを意味する。また、ベクトル空間として実数体または複素数体上のベクトル空間を考えるのが普通であり、そのようなベクトル束は、それぞれ実ベクトル束または複素ベクトル束と呼ばれる。複素ベクトル束を、付加構造を備えた実ベクトル束として見ることもできる。以下では、位相空間の圏における実ベクトル束に焦点を絞って議論する。 == 定義および定義からただちに証明されること == 実ベクトル束は、 # '''底空間'''（ていくうかん、{{lang|en|base space}}）と呼ばれる位相空間 {{mvar|X}} および'''全空間'''（ぜんくうかん、{{lang|en|total space}}）と呼ばれる位相空間 {{mvar|E}} # '''束射影'''（そくしゃえい、{{lang|en|bundle projection}}）あるいは単に射影と呼ばれる連続写像 {{math|''π'': ''E'' → ''X''}} # 任意の {{math|''x'' ∈ ''X''}} に対し、ファイバー {{math|''π''<sup>−1</sup>({''x''})}} に与えられた実ベクトル空間としての構造 の[[順序対|組]]であって（ただし、紛れのおそれの無い場合には束射影の記号で代表して、ベクトル束 {{math|''π'': ''E'' → ''X''}} あるいは全空間で代表してベクトル束 {{mvar|E}} のように呼ぶ）、以下の整合性条件： 任意の {{math|''x'' ∈ ''X''}} に対し、開近傍 {{mvar|U}}, 正整数 {{mvar|k}}, [[位相同型|同相写像]] : <math>\phi\colon U \times \mathbb{R}^{k} \to \pi^{-1}(U)</math> が存在し、任意の {{math|''y'' ∈ ''U''}} に対して、 * 任意の {{math|''v'' ∈ '''R'''<sup>''k''</sup>}} に対して {{math|1=''π''(''φ''(''y'', ''v'')) = ''y''}} かつ * 写像 <math>\mathbf{R}^k \to \pi^{-1}(y);\,v \mapsto \phi(y,v)</math> はベクトル空間の同型写像である。 を満たすものである。開近傍 {{mvar|U}} に同相写像 {{mvar|φ}} を考え合わせたものを、ベクトル束の'''局所自明化''' {{lang|en|(local trivialisation)}} という。局所自明化によって、写像 {{mvar|π}} が「局所的に見れば」 {{math|''U'' × '''R'''<sup>''k''</sup>}} から {{mvar|U}} の射影である「かのようにみえる」ということが表されている。 任意の {{math|''x'' ∈ ''X''}} に対し、ファイバー {{math|''π''<sup>−1</sup>(''x'')}} は有限次元の実ベクトル空間であり、従って実ベクトル空間としての次元 {{mvar|k<sub>x</sub>}} を有する。局所自明性により、関数 <math>X \to \mathbf{N};\,x\mapsto k_x</math> は[[局所定数関数|局所定数]]であり、従って {{mvar|X}} の各[[連結成分]]の上では一定である。任意の {{math|''x'' ∈ ''X''}} に対し、{{mvar|k<sub>x</sub>}} が定数 {{mvar|k}} に等しいとき、{{mvar|k}} をベクトル束 {{mvar|E}} の'''階数'''（かいすう、{{lang|en|rank}}）といい、{{mvar|E}} は'''階数''' {{mvar|k}} '''のベクトル束'''であるという。階数 1 のベクトル束は、'''[[直線束]]''' ({{lang|en|line bundle}}) と呼ばれる。階数 2 のベクトル束は稀に平面束 (plane bundle) とも呼ばれる。 直積 {{math|''X'' × '''R'''<sup>''k''</sup>}} に自然な射影 {{math|''X'' × '''R'''<sup>''k''</sup> → ''X''}} を考えたものはベクトル束であり、{{mvar|X}} 上の階数 {{mvar|k}} の'''自明束'''（じめいそく、<em lang="en">trivial bundle</em>）という。 === 座標変換式 === 階数 {{mvar|k}} のベクトル束 {{math|''E'' → ''X''}} と、近傍の対 {{math|''U'', ''V''}} にそれぞれの局所自明化 :<math>\varphi_U\colon U\times \mathbb{R}^k \stackrel{\cong}{{}\to{}} \pi^{-1}(U) ,\quad \varphi_V\colon V\times \mathbb{R}^k \stackrel{\cong}{{}\to{}} \pi^{-1}(V)</math> が与えられているとき、{{math|''U'' ∩ ''V''}} 上で[[合成写像]] :<math>\varphi_V^{-1}\circ\varphi_U\colon (U\cap V)\times\mathbb{R}^k\to (U\cap V)\times\mathbb{R}^k</math> は[[well-defined|矛盾無く定まり]]、 :<math>\varphi_V^{-1}\circ\varphi_U (x,v) = (x,g_{UV}(x)v)</math> を満たす {{math|GL(''k'')}}-値写像 :<math>g_{UV}\colon U\cap V\to \operatorname{GL}(k)</math> がとれる。このような写像を（{{math|''U'', ''V''}} のとり方に依らず総称して）ベクトル束の遷移写像もしくは'''推移写像''' {{lang|en|(''transition function'')}} または'''座標変換''' {{lang|en|(''coordinate transformation'')}} という。 座標変換の全体は任意の {{math|''U'', ''V'', ''W''}} についてその局所自明化上で :<math>g_{UU}(x) = I, \quad g_{UV}(x)g_{VW}(x)g_{WU}(x) = I</math> を満たすという意味で {{仮リンク|チェック・コサイクル|en|Čech cocycle}} を成す。したがって、組 {{math|(''E'', ''X'', ''π'', '''R'''<sup>''k''</sup>)}} は[[ファイバー束]]を定める。このとき、座標変換 {{mvar|g<sub>UV</sub>}} の与える付加情報は、ファイバーの構造群が {{math|GL(''k'')}} であり、ファイバーへの作用が {{math|GL(''k'')}} の通常の作用として与えられることを示すものである。 逆に、ファイバー束 {{math|(''E'', ''X'', ''π'', '''R'''<sup>''k''</sup>)}} がファイバー {{math|'''R'''<sup>''k''</sup>}} 上に {{math|GL(''k'')}} の通常の作用によるコサイクル作用 {{lang|en|(cocycle action)}} を持つならば、対応するベクトル束が存在する。このことを以ってベクトル束の定義とすることもある。 == ベクトル束の射 == ベクトル束 {{math|''π''<sub>1</sub>: ''E''<sub>1</sub> → {{mvar|X}}<sub>1</sub>}} からベクトル束 {{math|''π''<sub>2</sub>: ''E''<sub>2</sub> → {{mvar|X}}<sub>2</sub>}} への'''[[射 (圏論)|射]]''' {{lang|en|(morphism)}} は、連続写像 {{math|''f'': ''E''<sub>1</sub> → ''E''<sub>2</sub>}} と {{math|''g'': ''X''<sub>1</sub> → ''X''<sub>2</sub>}} の対であって、以下の条件を満たすものである。 * {{math|1=''g'' ∘ ''π''<sub>1</sub> = ''π''<sub>2</sub> ∘ ''f''}} *: [[画像:BundleMorphism-01.png|ベクトル束の射の可換性]] * 任意の {{math|''x'' ∈ ''X''<sub>1</sub>}} に対し、{{mvar|f}} が引起こす写像 {{math|''π''<sub>1</sub><sup>−1</sup>(''x'') → ''π''<sub>2</sub><sup>−1</sup>(''g''(''x''))}} は、ベクトル空間の線型写像である。 {{math|''π''<sub>1</sub>}} の全射性により、{{mvar|g}} は {{mvar|f}} によって完全に決定される。このことから {{mvar|f}} は {{mvar|g}} の'''被覆'''と呼ばれる。 ベクトル束全体の成す類に束射を考え合わせたものは[[圏 (数学)|圏]]をなす。ベクトル束を空間が可微分多様体で束射影が滑らかなものに制限し、束の射も滑らかなもののみに制限すると、滑らかなベクトル束の圏を得る。ベクトル束の射は、ファイバー束間の束写像の概念の特別な事例であり、（'''ベクトル'''）'''束準同型'''（写像） {{lang|en|(vector bundle homomorphism)}} ともいう。 {{math|''E''<sub>1</sub>}} から {{math|''E''<sub>2</sub>}} への束準同型で、その逆写像が再び（{{math|''E''<sub>2</sub>}} から {{math|''E''<sub>1</sub>}} への）束準同型であるものを（'''ベクトル'''）'''束同型'''（写像） {{lang|en|(vector bundle isomonprphism)}} といい、このとき {{math|''E''<sub>1</sub>}} と {{math|''E''<sub>2</sub>}} とは束（として）同型であるという。 {{mvar|X}} 上の（階数 {{mvar|k}} の）ベクトル束と（{{mvar|X}} 上の階数 {{mvar|k}} の）自明束の間の同型写像を {{mvar|E}} の'''自明化''' {{lang|en|(trivialisation)}} といい、自明化をもつベクトル束 {{mvar|E}} は'''自明'''である、または'''自明化可能''' {{lang|en|(trivialisable)}} であるという。ベクトル束の定義より、任意のベクトル束は局所的に自明である。 固定した底空間 {{mvar|X}} の上のすべてのベクトル束の圏を考えることもできる。 この圏の射として、底空間 {{mvar|X}} 上の写像が恒等写像になるベクトル束の射を取る。 つまり、以下の図式を可換にする束の射である。 :[[画像:BundleMorphism-02.png|ベクトル束の {{mvar|X}}-射]] （この圏はアーベル圏ではない。ベクトル束の射の[[核 (代数学)|核]]をベクトル束とする自然な方法は一般に存在しない） ベクトル束 {{math|''π''<sub>1</sub>: ''E''<sub>1</sub> → ''X''<sub>1</sub>}} からベクトル束 {{math|''π''<sub>2</sub>: ''E''<sub>2</sub> → ''X''<sub>2</sub>}} へのベクトル束の射が、写像 {{math|''g'': ''X''<sub>1</sub> → ''X''<sub>2</sub>}} を被覆するとき、この射は、{{math|''X''<sub>1</sub>}} 上で {{math|''E''<sub>1</sub>}} から{{仮リンク|引き戻し束|en|pullback bundle}} {{math|''g''<sup>∗</sup>''E''<sub>2</sub>}} へのベクトル束の射と見ることもできる。 == 切断および局所自由層 == [[Image:Surface normal.png|right|thumb|300px|曲面上の各点にその法ベクトルを対応させる写像は切断と考えることができる。曲面は空間 {{mvar|X}} であり、その各点 {{mvar|x}} に付随するベクトル空間のベクトルが乗ったものである。]] ベクトル束 {{math|''π'': ''E'' → ''X''}} と {{mvar|X}} の開集合 {{mvar|U}} が与えられたとき、{{mvar|π}} の {{mvar|U}} 上の'''切断'''、'''断面''' {{lang|en|(section)}} を考えることができる。切断とは、{{math|1=''π'' ∘ ''s'' = id<sub>''U''</sub>}} を満たす連続写像 {{math|''s'': ''U'' → ''E''}} のことであり、これは本質的には {{mvar|U}} の各点で、それに付随するベクトル空間のベクトルを連続的に対応させることを意味する。例えば、可微分多様体の接束の切断とは、その多様体上の[[ベクトル場]]に他ならない。 <span style="font-family: cursive; font-style: italic; font-weight: bold;">F</span>(''U'') を、''U'' 上の切断全体の集合とする。<span style="font-family: cursive; font-style: italic; font-weight: bold;">F</span>(''U'') は常に、少なくとも'''零切断''' {{lang|en|(zero section)}}と呼ばれる一つの要素を含む。これは、任意の要素 {{math|''x'' ∈ ''U''}} をベクトル空間 {{math|''π''<sup>−1</sup>({''x''})}} の零ベクトルに写像する切断 ''s'' である。 各点における切断の加法とスカラー倍により、<span style="font-family: cursive; font-style: italic; font-weight: bold;">F</span>(''U'') はそれ自体が実ベクトル空間になる。 これらベクトル空間の（開集合 ''U'' に関する）系は、{{mvar|X}} 上のベクトル空間の[[層 (数学)|層]]をなす。 ''s'' が <span style="font-family: cursive; font-style: italic; font-weight: bold;">F</span>(''U'') に属する切断で α: ''U'' → '''R''' が連続写像のとき、点ごとのスカラー乗法で定義される α''s'' は再び <span style="font-family: cursive; font-style: italic; font-weight: bold;">F</span>(''U'') に属する。したがって、<span style="font-family: cursive; font-style: italic; font-weight: bold;">F</span>(''U'') を ''U'' 上で定義された実数値連続関数環の上の加群と見なすことができる。さらに、{{mvar|X}} 上の実数値連続関数全体の成す構造層を <span style="font-family: cursive; font-style: italic; font-weight: bold;">O</span><sub>{{mvar|X}}</sub> と書くと、''F'' は <span style="font-family: cursive; font-style: italic; font-weight: bold;">O</span><sub>{{mvar|X}}</sub> 加群全体の層になる。 どんな <span style="font-family: cursive; font-style: italic; font-weight: bold;">O</span><sub>{{mvar|X}}</sub> [[加群の層]]でも、ベクトル束からこの方法で得られるというわけではなく、局所自由であるものに限られる。実際にこの構成法では、局所的には射影 ''U'' × '''R'''<sup>''k''</sup> → ''U'' の切断を求めることになるが、それはちょうど連続写像 ''U'' → '''R'''<sup>''k''</sup> であって、連続関数 ''U'' → '''R''' の ''k'' 組として表されるからである。 さらに言えば、{{mvar|X}} 上の実ベクトル束の圏は、局所自由かつ有限生成な <span style="font-family: cursive; font-style: italic; font-weight: bold;">O</span><sub>{{mvar|X}}</sub> 加群の層の圏に[[圏同値]]である。したがって、{{mvar|X}} 上の実ベクトル束の圏は <span style="font-family: cursive; font-style: italic; font-weight: bold;">O</span><sub>{{mvar|X}}</sub> 加群の層の圏に含まれていると考えることができる。後者はアーベル圏であり、それによってベクトル束の射の核や余核をその中でならば計算することができる。 ''n''-階ベクトル束が自明であるための必要十分条件は、それが ''n'' 個の線型独立な大域切断を持つことであることに注意。 == ベクトル束の演算 == ベクトル空間に対する演算の多くは、それをファイバーごとに行うことによってベクトル束の演算に拡張することができる。 例えば、{{mvar|E}} が {{mvar|X}} 上のベクトル束のとき、{{math|''x'' ∈ ''X''}} におけるファイバー {{mvar|E<sub>x</sub>}} をその[[双対ベクトル空間]] {{math|(''E''<sub>''x''</sub>)<sup>∗</sup>}} に取り替えて、{{mvar|E}} の'''[[双対束]]''' {{lang|en|(dual bundle)}} と呼ばれる {{mvar|X}} 上のベクトル束 {{math|''E''<sup>*</sup>}} が定まる。厳密に言えば、{{math|''E''<sup>*</sup>}} は、{{math|''x'' ∈ ''X''}}, {{math|''φ'' ∈ (''E''<sub>''x''</sub>)<sup>*</sup>}} に関する対 {{math|(''x'', ''φ'')}} 全体の成す集合として定義できる。{{mvar|E}} の局所的自明化の逆像の双対空間は {{math|''E''<sup>*</sup>}} の局所的自明化だから、双対束は局所的に自明である。これには双対ベクトル空間を取る操作が[[関手]]的であること（ここでは双対をとることと同型写像とが可換ということ）が鍵になっている。 （同じ体上の）二つのベクトル空間の上で行える関手的操作のほとんどは {{mvar|X}} 上のベクトル束 {{math|''E'', ''F''}} の対に直接的に拡張することができる。いくつか例を挙げる。 * {{mvar|E}} と {{mvar|F}} の'''ホイットニー和''' {{lang|en|(Whitney sum)}} または'''直和束''' {{lang|en|(direct sum bundle)}} と呼ばれる {{mvar|X}} 上のベクトル束 {{math|''E'' ⊕ ''F''}} は、各点 {{mvar|x}} の上のファイバーがベクトル空間 {{mvar|E<sub>x</sub>}} と {{mvar|F<sub>x</sub>}} の直和 {{math|''E''<sub>''x''</sub> ⊕ ''F''<sub>''x''</sub>}} となるものとして定義される。 * 同様に、'''テンソル積束''' {{lang|en|(tensor product bundle)}} {{math|''E'' ⊗ ''F''}} が、ファイバーごとにベクトル空間の[[テンソル積]]を用いることによって定義できる。 * '''準同型束''' {{lang|en|(Hom-bundle)}} {{math|Hom(''E'', ''F'')}} は、{{mvar|x}} におけるファイバーが {{mvar|E<sub>x</sub>}} から {{mvar|F<sub>x</sub>}} への線型写像全体の空間（{{math|Hom(''E<sub>x</sub>'', ''F<sub>x</sub>''}}) または {{math|''L''(''E<sub>x</sub>'', ''F<sub>x</sub>'')}} としばしば書かれる）であるようなベクトル束である。この束をこのように書いて便利に準同型束（あるいは Hom-束）と呼ぶのは、「{{math|Hom(''E'', ''F'')}} の {{mvar|X}} 上の切断」と「{{mvar|E}} から {{mvar|F}} への {{mvar|X}} 上のベクトル束の準同型」とが同一視できるためである。 * さらに、自己準同型束 {{math|Hom(''E'', ''E'')}} の断面 {{mvar|s}} と関数 {{math|''f'': ''X'' → '''R'''}} が与えられると、点 {{math|''x'' ∈ ''X''}} 上のファイバーを線型写像 {{math|''s''(''x'') : ''E''<sub>''x''</sub> → ''E''<sub>''x''</sub>}} の {{math|''f''(''x'')}}-[[固有空間]]とすることで、'''固有束''' ({{lang|en|eigenbundle}}) を構成することができる。 * 双対束 {{math|''E''<sup>∗</sup>}} は {{mvar|E}} と自明束 {{math|'''R''' × ''X''}} との間の準同型束 {{math|Hom(''E'', '''R''' × ''X'')}} に一致する。また、自然なベクトル束の同型 <math>\operatorname{Hom}(E,F) \cong E^*\otimes F</math> が存在する。 これらの操作は、ベクトル空間の圏における操作の多くが関手的な仕方でベクトル束の圏における操作として意味を成すという、ベクトル束が持つ一般的な特徴を示す特定の例となっている。このことは滑らかな関手の言葉を用いて精緻化することができる。 もっと別な種類の操作として、'''原像'''あるいは'''引き戻し''' {{lang|en|(pull-back bundle)}} 構成と呼ばれるものがある。ベクトル束 {{math|''E'' → ''Y''}} と連続写像 {{math|''f'': ''X'' → ''Y''}} が与えられたとき、{{mvar|Y}} 上のベクトル束 {{mvar|E}} を {{mvar|f}} によって {{mvar|X}} 上のベクトル束 {{math|''f'' <sup>∗</sup>''E''}} へ「引き戻す」ことができる。つまり、{{math|''x'' ∈ ''X''}} 上のファイバーは、実質的に {{math|''f'' (''x'') ∈ ''Y''}} 上のファイバーになっている。これを使えば、ホイットニー和 {{math|''E'' ⊕ ''F''}} を {{math|''X'' × ''X''}} 上のベクトル束として対角線写像 {{math|''X'' → ''X'' × ''X''}} の引き戻しとして定義することもできる。 == 付加構造と一般化 == ベクトル束には、さらにいろいろな構造が与えられていることも多い。例えば、ベクトル束には{{仮リンク|計量 (ベクトル束)|label=計量|en|Metric (vector bundle)}}が与えられていることがある。通常は計量が[[正定値]]であることを仮定し、これによって {{mvar|E}} の各ファイバーは[[ユークリッド空間]]となる。また例えば、[[複素構造]]を備えた実ベクトル束は複素ベクトル束に対応する。複素ベクトル束は、実ベクトル束の定義において実ベクトル空間や実線型写像としていたところを代わりに複素ベクトル空間や複素線型写像にとりかえて得られるものである。もっと一般に、ベクトル束に移入された付加構造は、典型的には{{仮リンク|束の構造群の還元|en|Reduction of the structure group of a bundle}}によって得られるものとして理解することができる。（実数体や複素数体だけではなく）さらに一般の[[位相体]]上のベクトル束というものも用いられる。 また、有限次元ベクトル空間の代わりに[[バナッハ空間]]をファイバー {{mvar|F}} とすることで{{仮リンク|バナッハ束|label='''バナッハ束'''|en|Banach bundle}}の概念がえられる<ref>{{Citation | last1=Lang | first1=Serge | author1-link=Serge Lang | title=Differential and Riemannian manifolds | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-94338-1 | year=1995}}</ref>。特に、各ファイバー上の局所自明化に対する条件は（単に線型同型なだけでなく）バナッハ空間の同型とするのが自然であり、さらに座標変換 :<math>g_{UV}\colon U\cap V \to GL(F)</math> が{{仮リンク|バナッハ多様体|en|Banach manifold}}の間の連続写像となるようにすべきである。同様に、{{mvar|C<sup>p</sup>}}-級ベクトル束の理論では、これらの写像が {{mvar|C<sup>p</sup>}}-級であることを要請する。 ベクトル束は、ファイバーがベクトル空間でコサイクルがベクトル空間構造を保つような特別な[[ファイバー束]]であった。もっと一般のファイバー束は、そのファイバーとして他のさまざまな構造をとることができる。たとえば、球面によってファイバー付けられるファイバー束は{{仮リンク|球面束|en|sphere bundle}}と呼ばれる。 == 可微分ベクトル束 == ベクトル束 {{math|(''E'', ''p'', ''M'')}} が'''滑らか''' {{lang|en|(''smooth'')}} であるとは、{{mvar|E}} と {{mvar|M}} が[[可微分多様体|滑らかな多様体]]で {{math|''p'': ''E'' → ''M''}} が滑らかな写像であり、かつ局所自明化が[[微分同相]]となるようなときに言う。要求する[[滑らかな関数|滑らかさ]]の度合いにより、各種の {{mvar|C<sup>p</sup>}}-級ベクトル束や {{math|''C''<sup>∞</sup>}}-級ベクトル束、{{仮リンク|実解析的関数|label={{math|''C''<sup>ω</sup>}}|en|real analytic}}-級ベクトル束（実解析的ベクトル束）などの異なる概念が得られる。本節では、{{math|''C''<sup>∞</sup>}}-級ベクトル束について主に述べる。最も重要な {{math|''C''<sup>∞</sup>}}-級ベクトル束の例は、{{math|''C''<sup>∞</sup>}}-級多様体 {{mvar|M}} の[[接束]] {{math|(''TM'', ''π''<sub>''TM''</sub>, ''M'')}} である。 {{math|''C''<sup>∞</sup>}}-級ベクトル束 {{math|(''E'', ''p'', ''M'')}} のもつ非常に重要な性質で、一般の {{math|''C''<sup>∞</sup>}}-級ファイバー束が持たないものがある。具体的には、各 {{math|''v'' ∈ ''E''<sub>''x''</sub>}} における接空間 {{math|''T''<sub>''v''</sub>(''E''<sub>''x''</sub>)}} は、ファイバー {{mvar|E<sub>x</sub>}} 自身と自然に同一視することができることである。この同一視は :<math> \operatorname{vl}_vw[f] := \frac{d}{dt}\Big|_{t=0}f(v+tw), \quad (f\in C^\infty(E_x)) </math> で定義される'''垂直射'''あるいは'''垂直持ち上げ''' {{lang|en|(''vertical lift'')}} {{math|vl<sub>''v''</sub>: ''E''<sub>''x''</sub> → ''T''<sub>''v''</sub>(''E''<sub>''x''</sub>)}} によって与えられる。垂直持ち上げは自然に {{math|''C''<sup>∞</sup>}}-級ベクトル束の同型 {{math|''p''<sup>∗</sup>''E'' → ''VE''}} と見ることができる。ここで {{math| (''p''<sup>∗</sup>E, ''p''<sup>∗</sup>''p'', ''E'')}} は {{mvar|E}} 上のベクトル束 {{math|(''E'', ''p'', ''M'')}} の {{math|''p'': ''E'' → ''M''}} に沿った引き戻し束であり、{{math|''VE'' {{coloneqq}} Ker(''p''<sub>∗</sub>) ⊂ ''TE''}} は'''垂直接束'''と呼ばれる、全空間 {{mvar|E}} の接束 {{math|(''TE'', ''π''<sub>''TE''</sub>, ''E'')}} の自然な部分ベクトル束である。 '''スリットベクトル束''' {{lang|en|(''slit vector bundle'')}} {{math|''E''/0}} はベクトル束 {{math|(''E'', ''p'', ''M'')}} から零切断 {{math|0 ⊂ ''E''}} を取り除くことで得られ、ここから得られる標準的なベクトル場 {{math|''V''<sub>''v''</sub> {{coloneqq}} vl<sub>''v''</sub>''v''}} は'''標準ベクトル場''' {{lang|en|(''canonical vector field'')}} として知られる。もっときちんと言えば、{{mvar|V}} はベクトル束 {{math|(''TE'', ''π''<sub>''TE''</sub>, ''E'')}} の滑らかな切断であり、またリー群作用 :<math> \Phi_V\colon \mathbb{R} \times (E\setminus 0) \to (E\setminus 0); \quad (t,v)\mapsto \Phi_V^t(v) := e^tv. </math> の無限小生成作用素としても定義される。 任意の滑らかなベクトル束 {{math|(''E'', ''p'', ''M'')}} に対して、その接束 {{math|(''TE'', ''π''<sub>''TE''</sub>, ''E'')}} の全空間 {{mvar|TE}} は自然な{{仮リンク|二次ベクトル束構造|en|secondary vector bundle structure}} {{math|(''TE'', ''p''<sub>∗</sub>, ''TM'')}} を持つ。ここで {{math|''p''<sub>∗</sub>}} は標準射影 {{math|''p'': ''E'' → ''M''}} の押し出し {{lang|en|(push-forward)}} である。この二次ベクトル束構造におけるベクトル束演算は、もとの加法 {{math|+: ''E'' × ''E''}} およびスカラー倍 {{math|λ: ''E'' → ''E''}} から得られる押し出し {{math|+<sub>∗</sub>: ''T''(''E'' × ''E'') → ''TE''}} および {{math|λ<sub>∗</sub>: ''TE'' → ''TE''}} である。 == ''K''-理論 == {{仮リンク|位相的K理論|label=位相的 ''K''-理論|en|topological K-theory}}は[[位相空間]]の[[複素ベクトル束]]を用いたコホモロジー理論の類似物である。位相空間 {{mvar|X}} 上の ''K''-理論の群<ref group="*">この群は[[グロタンディーク群]]と呼ばれる。</ref> {{math|''K''(''X'')}} は、{{mvar|X}} 上の複素ベクトル束 {{mvar|E}} の同型類 {{math|[''E'']}} の全体 <span style="font-family: cursive; font-style: italic; font-weight: bold;">VecBdl</span><sub>'''C'''</sub>(''X'') を生成系とする[[自由群|自由]][[アーベル群|可換群]]に対して、[[完全系列|完全列]] : {{math|0 → ''A'' → ''B'' → ''C'' → 0}} を持つ全てのベクトル束 {{math|''A'', ''B'', ''C''}} について与えられる関係式 : {{math|1=[''B''] = [''A''] + [''C'']}} を基本関係式として定めて得られる商群である。複素ベクトル束の代わりに実ベクトル束を用いた同様の構成は {{仮リンク|KO理論|en|KO-theory}}という。コンパクト台付き {{mvar|K}}-理論や、高次の {{mvar|K}}-理論なども定義することができる。 よく知られる[[ラウル・ボット]]の{{仮リンク|ボット周期|label=周期性定理|en|Bott periodicity}}は任意の位相空間 {{mvar|X}} の {{mvar|K}} 理論が {{mvar|X}} と 2 次元球面 {{math|''S''<sup>2</sup>}} との直積 :{{mvar|X}} × ''S''<sup>2</sup> に同型であることを主張するものである。 [[代数幾何学]]において、{{mvar|K}} 理論の群は[[概型|スキーム]] {{mvar|X}} 上のベクトル束に上記の同値関係をあたえたもののみならず、スキーム上の[[連接層]]の全体からも {{mvar|K}}-理論の群が作られる。台となるスキームが滑らかならばこの二つの構成は同じ群を与える。 == 関連項目 == ===一般的事項=== * {{日本語版にない記事リンク|グラスマン多様体|en|Grassmannian}}：ベクトル束の[[分類空間]]、特に、[[直線束]]に対する[[射影空間]] * [[特性類]] * {{日本語版にない記事リンク|分裂原理|en|Splitting principle}} ===位相幾何学、微分幾何学=== * [[主束]] * [[ファイバー束]]：一般的な位相幾何学の概念、特に、[[被覆空間]]がある。 * [[接続 (ベクトル束)]]：ベクトルバンドルの断面を微分するのに必要な概念 * [[層 (数学)]] * {{日本語版にない記事リンク|位相的K-理論|en|Topological K-theory}} ===代数幾何学、解析幾何学=== * {{日本語版にない記事リンク|代数的ベクトル束|en|algebraic vector bundle}} * [[連接層]]、特に[[ピカール群]] * [[正則ベクトル束]] <!--==See also== ===General notions=== * [[Grassmannian]]: [[classifying space]]s for vector bundle, among which [[projective space]]s for [[line bundle]]s * [[Characteristic class]] * [[Splitting principle]] ===Topology and differential geometry=== * [[Fiber bundle]]: the general topological notion, among which [[covering space]]s * [[Connection (vector bundle)]]: the notion needed to differentiate sections of vector bundles. * [[Sheaf (mathematics)]] * [[Topological K-theory]] ===Algebraic and analytic geometry=== * [[Algebraic vector bundle]] * [[Coherent sheaf]], in particular [[Picard group]] * [[Holomorphic vector bundle]]--> == 脚注 == <div class="references-small"><references group="*"/></div> == 参考文献 == <references /> * {{Citation | last=Hatcher | first=Allen | author-link=Allen Hatcher | title=Vector Bundles & K-Theory | url=http://www.math.cornell.edu/~hatcher/VBKT/VBpage.html | edition=2.0 | year=2003}} * {{citation|first=Jeffrey M.|last=Lee|title=Manifolds and Differential Geometry| url=http://www.ams.org/bookstore-getitem/item=gsm-107| series=Graduate Studies in Mathematics|volume=Vol. 107 |publisher=American Mathematical Society|publication-place=Providence|year=2009}} . ISBN 978-0-8218-4815-9 * {{Citation | author=Lee, John M. | title=Introduction to Smooth Manifolds | url=http://www.math.washington.edu/~lee/Books/smooth.html | location=New York | publisher=Springer | year=2003 | isbn=0-387-95448-1}} see Ch.5 * {{Citation | last1=Jost | first1=Jürgen | title=Riemannian Geometry and Geometric Analysis | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=3rd | isbn=978-3-540-42627-1 | year=2002}}, see section 1.5. * {{Citation | last1=Abraham | first1=Ralph H. | author1-link=Ralph Abraham | last2=Marsden | first2=Jerrold E. | author2-link=Jerrold E. Marsden | title=Foundations of mechanics | publisher=Benjamin-Cummings | location=London | isbn=978-0-8053-0102-1 | year=1978}}, see section 1.5 {{DEFAULTSORT:へくとるそく}} [[Category:ベクトル束|*]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Citation
(
ソースを閲覧
)
テンプレート:Lang
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Math
(
ソースを閲覧
)
テンプレート:Mvar
(
ソースを閲覧
)
テンプレート:Otheruses
(
ソースを閲覧
)
テンプレート:仮リンク
(
ソースを閲覧
)
テンプレート:日本語版にない記事リンク
(
ソースを閲覧
)
ベクトル束
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報