束 (射影幾何学)のソースを表示

{{出典の明記|date=2017年8月}}
[[file:Colouring pencils.jpg|250px|right|直線束?]]
[[数学]]とくに[[射影幾何学]]における'''束'''（そく、{{lang-en-short|''pencil''}}, {{lang-fr-short|''faisceau''}}{{efn|{{lang|fr|faisceau}} の英訳として {{lang|en|sheaf}} がしばしば用いられる。また、{{lang|fr|faisceau}} ({{lang|en|sheaf}}) の語はここで扱う概念とは異なる数学的対象に対しても用いられ、それは日本語では[[層 (数学)|層]]と訳される。}}）は、初め[[ジラール・デザルグ|デザルグ]]によって、与えられた特定の一点を通る直線全体の成す族を幾何学的対象として捉えたものを指すものとして用いられた。

[[file:Apollonian circles.svg|250px|right|[[アポロニウスの円束]]]]
== 例 ==
束の典型的なものは、射影平面上の二つの曲線 {{math|''C'' {{=}} 0, ''C{{'}}'' {{=}} 0}} に対して二つの実数 {{math|&lambda;, &mu;}} を助変数とする曲線族
: <math>\lambda C + \mu C' = 0</math>
として与えられる束である。この曲線の束に属する曲線は {{math|&lambda;}} と {{math|&mu;}} との比 {{math|[&lambda; : &mu;]}} ごとに一つ定まる。{{math|[&lambda; : &mu;]}} を射影平面上の点の斉次座標と看做せば、対応する非斉次座標に関して {{math|''C'' {{=}} 0}} または {{mvar|''C{{'}}'' {{=}} 0}} のいずれか一方は無限遠にある。

[[file:Sheaf of circles.png|thumb|250px|right|円束の例: 円束 {{math|''x''² + ''y''² + ''kx'' &minus; (''k'' + 4) {{=}} 0}} に属する円をいくつかの {{mvar|k}} について示したもの。これらの円はすべて、円 {{math|''x''<sup>2</sup> + ''y''<sup>2</sup> {{=}} 4}} と直線 {{math|''x'' {{=}} 1}} との交点を通る。直線 {{math|''x'' {{=}} 1}} は無限遠点に対応するため、対応する {{mvar|k}} に有限な値は定まらない。]]

例えば二直線 {{math|''C'' {{=}} 0, ''C{{'}}'' {{=}} 0}} が有限領域内に交点を持てば、束 {{math|&lambda;''C'' + &mu;''C{{'}}'' {{=}} 0}} がその交点を通る直線の一群であることはすぐに判る。これを {{mvar|C, C{{'}}}} に関する[[直線束 (射影幾何学)|直線束]]と呼ぶ。二直線の交点が無限遠にある（つまり二つの直線が平行である）とすれば、対応する直線束はその平行な二直線に平行な直線たちからなる。

また例えば、{{math|''C'' {{=}} 0, ''C{{'}}'' {{=}} 0}} が交点を持つ二つの円ならば、束 {{math|&lambda;''C'' + &mu;''C{{'}}'' {{=}} 0}} は二円の交点をとおる円の集まりであり、{{mvar|C, C{{'}}}} に関する[[円束 (射影幾何学)|円束]]という。

あるいは一般に
: <math>\lambda_0 C_0 + \lambda_1 C_1 + \cdots + \lambda_k C_k = 0</math>
を {{math|''C''{{sub|0}}, …, ''C''{{sub|''k''}}}} に関する {{mvar|k}}-次の束 {{lang|en|(pencil of order ''k'')}} と呼ぶ。

与えられた一直線を通る平面の全体の成す族である'''平面束'''はしばしば'''扇''' {{lang|en|(fan)}} と呼ばれる{{efn|扇または扇形と訳すことが多いが、[[扇形]] (sector) とはあまり関係はなく、換気扇やジェットエンジンのファンのようなブレードがぐるりとついているもののイメージからの命名のようである}}。

<gallery>
File:Colouring pencils.jpg|平面上の直線束はあたかも筆先を合わせた鉛筆の如くである。
File:Faisceau divergent.png|一点から放射する半直線の束
File:Faisceau convergent.png|一点に入射する半直線の束
File:Faisceau parallèle.svg|無限遠を通る直線の束は平行線の族を成す
File:Faisceau pt base.gif|二点で交わる二円の交点を通る円束
File:Faisceau pt tangent.gif|一点で接する二円の交点を通る円束には半径無限大の円として二円の共通接線を通る直線を含む
File:Faisceau points poncelet.gif|交わりを持たない二円には根軸の上に中心を持つ円の束が対応する
File:Cercle_apollonuis_trois.png|三円に関するアポロニウスの円
</gallery>

== 注釈 ==
{{notelist}}
== 出典 ==
{{reflist}}

== 関連項目 ==
* {{ill2|行列束|en|Matrix pencil}}
* [[線型基本図形]]

== 外部リンク ==
* {{MathWorld|title=Pencil|urlname=Pencil}}
* {{PlanetMath|title=pencil|urlname=Pencil}}

{{DEFAULTSORT:そく}}
[[Category:初等幾何学]]
[[Category:射影幾何学]]
[[Category:数学に関する記事]]