直線束 (射影幾何学)

テンプレート:複数の問題 射影幾何学における直線束（ちょくせんそく、テンプレート:Lang-en-short）は一点を通る直線全体の成す族を言う。アフィン幾何学（ユークリッド幾何学）においては、通る点が「無限遠点」となる場合の直線束は平行線の族となり、通常の直線束と区別して広義の直線束とも呼ばれる。

定義

通常の直線束

通常 (proper) の直線束は中心あるいは台と呼ばれる点を通る直線全体の成す族である。即ち、中心はこの族に属する任意の二直線の交点になる。

直線束を表す式は、一本の直線を表す式と同様の形に書けるが、それは定数として一つの媒介変数 テンプレート:Math を含み、テンプレート:Math の各値に対して族の各直線が対応する。

垂直線 テンプレート:Math を除く各直線を、傾き テンプレート:Math, テンプレート:Math-切片 テンプレート:Math を テンプレート:Math を媒介変数として

$y=m(k)x+q(k)$

と書けば、直線束の中心が テンプレート:Math であるとき、テンプレート:Math であるから、直線は

$y-y_0=m(k)(x-x_0)$

の形に書ける。他にも テンプレート:Math を中心とする直線束を

$(X-x_0)\sin \alpha =(y-y_0)\cos \alpha$

と媒介変数表示することもできる。ここで媒介変数 テンプレート:Math は テンプレート:Math の範囲を取る。

広義直線束

広義 (improper) な直線束とは、互いに平行な直線全体からなる族を言う。

通常の場合と同様に、広義の直線束も一つの媒介変数 テンプレート:Math を用いて媒介変数表示ができるが、この場合傾きを表す係数が一定である。すなわち、直線束は

$y=mx+q(k)$

の形に書くことができる。ただし、垂直線の場合は

$x=q(k)$

である。これらはまた

$a(x-x_0)+b(y-y_0)=k$

なる形に書くこともできる。

直線束の極点

三線座標 テンプレート:Math を持つ点 テンプレート:Math が三線座標 テンプレート:Math を持つ点 テンプレート:Math を通る直線族の極ならば、極線の方程式は

テンプレート:Math

であり、これが テンプレート:Math を通ることから

テンプレート:Math

となり、テンプレート:Math の軌跡は

テンプレート:Math

を満たす。これは座標三角形の頂点を通る円錐曲線である。従って、一点を通る直線の成す束の極点の軌跡は、座標三角形の円錐曲線である。

一般化

空間直線の束

三次元ユークリッド空間において一点を通る（あるいは互いに平行な）直線全体の成す族を空間直線束または線叢 (sheaf of lines, bundle of lines) と呼ぶ。空間直線束の、同一平面上に載っている直線の成す部分族として、平面上の直線束を見ることができる。

非ユークリッド幾何における直線束

非ユークリッド幾何においても、直線束の類似対応するものとして、測地線束を定義することができる。例えば、双曲幾何学において二点間の最短経路は双曲線によって与えられ、双曲線の束を考えることができる。この場合、広義の双曲線束の定義にはより注意を要する。

超平面束

付随するベクトル空間 テンプレート:Math を持つアフィン空間においても、二次の超平面族として超平面束を定義することができる。超平面 テンプレート:Math がそれぞれ方程式 テンプレート:Math で定義されるとき、

$(\lambda f_1+\mu f_2)(M)=0$

なる形の方程式は、二つの超平面 テンプレート:Math を基として定まると言う。

広義の直線束（すなわち互いに平行な直線族）の場合は、傾きを表す係数が等しいことを以って一般化することができる。すなわち、テンプレート:Math が同じ方向ベクトル テンプレート:Math (テンプレート:Math は付随するベクトル空間 テンプレート:Math 上の線型形式) を持つならば、それらの定める テンプレート:Math も同じ向きを持つ。逆に、方向ベクトル テンプレート:Math を持つ任意の超平面は テンプレート:Math の形の方程式を満足する。実際、テンプレート:Math に対して

$\begin{array}{cc}{f}_1(M)& =\varphi (\overrightarrow{OM})+a,f_2(M)=\varphi (\overrightarrow{OM})+b,\\ f(M)& =\varphi (\overrightarrow{OM})+c\end{array}$

と置くとき、テンプレート:Math を テンプレート:Math なるように取れば テンプレート:Math を満たす。

通常の直線束（一点で交わる直線族）の場合は、テンプレート:Math と テンプレート:Math の線型成分が比例しておらず、テンプレート:Math の余次元が テンプレート:Math のときに一般化できる。このとき テンプレート:Math に含まれる任意の超平面が、テンプレート:Math を基として定まる。実際、テンプレート:Math をそれぞれ超平面 テンプレート:Math の方向ベクトルとするとき、テンプレート:Math ならば テンプレート:Math と書けることは線型代数学の結果からわかる。すなわち、テンプレート:Math に三つ組 テンプレート:Math を対応させる線型写像を考えれば、その核は余次元 テンプレート:Math ゆえ階数退化次数定理により階数も テンプレート:Math であって、テンプレート:Math が線型従属、かつ テンプレート:Math は線型独立ゆえ所期の結果を得る。

これは、平面上の直線束の場合および、空間上の（直線を軸とする）平面束の場合を特別な場合として含む。

関連項目

• テンプレート:仮リンク
• テンプレート:仮リンク
• 円束

外部リンク

• テンプレート:MathWorld
• テンプレート:PlanetMath