|
§2. 2次曲線の射影による定義 2次曲線の射影的定義を述べる. 定義 中心が異なる2つの線束間の配景写像でない射影的対応(複比を保つ対応)が 与えられたとき,この対応直線の交点の軌跡を2つの線束の中心を通る2次曲線という. 射影幾何では,2次曲線の定義は一般的にこの定義が用いられます.この定義を理解することが大切です.
2つの線束が与えられたとき,線束間の射影的対応(射影写像)はいくらでも存在します.配景写像は射影写像であるので,配景写像を考えればよい. すなわち,$O_1,O_2$が中心の線束のとき,$O_1,O_2$を通らない直線$m$を与えれば, $P\in m$のとき $O_1P\mapsto O_2P$ により$m$が配景軸の配景写像が与えられる. これは,2つの線束に配景写像を与えたとき, 対応直線の交点の軌跡は直線であるということもできる.
問題は2つの線束間の配景写像以外の射影写像が存在するかということです.もちろん存在して,交点の軌跡が2次曲線の定義となるということです.ユークリッド平面で確かめます. 円が条件を満たすことは分かりやすい. 命題1 中心が$O_1,O_2$の線束に対して,$O_1,O_2$を通る円を定める.このとき円上の点$P$に 対して線束間の対応を $O_1P\mapsto O_2P$ で定めれば,この対応は配景写像でない射影写像である. 証明 複比を角で表せば $[O_1P,O_1Q;O_1R,O_1S]$ $=\dfrac{\sin \angle PO_1R}{\sin \angle QO_1R}\cdot \dfrac{\sin \angle QO_1S}{\sin \angle PO_1S}$ であり,対応角が等しいので複比が等しい.$\blacksquare$
このように,2つの線束の中心を通る円を用いれば線束間の射影写像が作ることができる.
いくつか例を挙げます.
$O_1(O_12,O_23,O_34,\dots)\barwedge O_2(O_216,O_215,O_214,\dots)$ になっている($O_1,O_2$から出ている直線のなす角が一定).
$O_1(O_1A_1,O_1A_2,O_1A_3,\dots)\barwedge O_2(O_2B_1,O_2B_2,O_2B_3)$ になっている.
もう少しユークリッド平面での議論を続ける. 2つの例を挙げる .
2つの中心が異なる線束間の配景でない射影的対応が定義されたとき,対応直線の交点の軌跡は
§1で定義した2次曲線で表せることを示す.
単位点$E$を曲線$\Gamma$上にとり,射影座標系$[P_1,P_2,Q;E]$で考える. この命題は,$X$が$\Gamma$上にあるとき $[P_1P_2,P_1Q;P_1E,P_1X]=[P_2Q,P_2P_1;P_2E,P_2X]$ を示すことである. この座標系で,2次曲線$\Gamma$の方程式は $z^2=xy$ であるから,$C$上の点$X$は $X(a^2,b^2,ab)$ と媒介変数表示できる. $P_1,P_2,Q,X$の座標は $P_1(1,0,0).P_2(0,1,0),Q(0,0,1),E(1,1,1),X(a^2,b^2,ab)$ であるから,各直線の座標は上図のようになる. $P_1E=(0,1,-1)=-P_1P_2+P_1Q,$ $P_1X=(0,a,-b)=-bP_1P_2+aP_1Q,$ $\therefore [P_1P_2,P_1Q;P_1E,P_1X]=\dfrac{b}{a}$ さらに $P_2E=(1,0,-1)=P_2Q-P_2P_1,$ $P_2X=(-b,0,a)=-bP_2Q+aP_2P_1$ $\therefore [P_2Q,P_2P_1;P_2E,P_2X]=\dfrac{b}{a}$ ゆえに $[P_1P_2,P_1Q;P_1E,P_1X]=[P_2Q,P_2P_1;P_2E,P_2X]$ したがって,写像 直線$P_1X \mapsto$直線$P_2X$ は射影写像である.さらに,2つの中心を通る直線$P_1P_2$は対応していないから,この写像は配景でない.$\blacksquare$ つぎに逆の命題を証明する. 命題5 異なる中心の2つの線束間の配景でない射影写像が与えられたとき,対応直線の交点の軌跡は 線束の中心を通る2次曲線である.
証明中心が$P_1$の線束から中心が$P_2$の線束への配景でない射影写像を$f$とする. 直線$P_1P_2$を$l$,$f$による$l$の像を$m$,$f$による$n$の像が$l$とする. すなわち $f:l\mapsto m,n\mapsto l$ $P_1$が中心の線束を$\{l,n,l_3,l_4,\cdots\}$, $P_2$が中心の線束を$\{m,l,m_3,m_4,\cdots\}$とする. $m,n$の交点を$Q$, $f:l_3\mapsto m_3$ とし,$l_3,m_3$の交点を$E$とする. 射影座標系を$[P_1,P_2,Q;E]$とし,$P_1$を通る任意の直線$l_4$とその$f$ の像$m_4$の交点の座標を求める. 先ず $\{l,n,l_3,l_4\}\barwedge \{m,l,m_3,m_4\}$ であることに注意する. $P_1(1,0,0),P_2(0,1,0),Q(0,0,1),E(1,1,1)$ である. $l_3(0,1,-1),m_3(1,0,-1)$ である. このとき $l_3=-l+n$ $m_3=m-l$ さらに, $l_4=-bl+an$ $m_4=-dm+cl$ とすると $[l,n;l_3,l_4]=[m,l;m_3,m_4]$ より, $\dfrac{b}{a}=\dfrac{d}{c}$ したがって $m_4=-bm+al$ $l_4,m_4$の射影座標は $l_4=-bl+an=-b(0,0,1)+a(0,1,0)=(0,a,-b)$ $m_4=-bm+al=-b(1,0,0)+a(0,0,1)=(-b,0,a)$ より$l_4,m_4$の交点$X$の座標は $(0,a,-b)\times (-b,0,a)=(a^2,b^2,ab)$ $X$の方程式は $z^2=xy$ である.これは射影座標系$[P_1,P_2,Q,E]$における方程式であり2点$P_1,P_2$を通る. この命題より,2つの異なる点を中心とする線束間の配景でない射影変換の対応直線の交点の軌跡が 2次曲線であることがわかった.$\blacksquare$ なお,2つの異なる点を中心とする線束間の配景変換の対応直線の交点の 軌跡は直線になり,この場合は退化するとして,2次曲線の 特別な場合として扱う.これは次のページで議論する. 3.退化する2次曲線 射影幾何の目次 全体の目次 |