無限遠直線（むげんえんちょくせん、）は、幾何学あるいは位相幾何学においてに付加される直線である。射影平面のに閉包性を与え特殊な場合を例外なく取り扱うために用いられる。無限遠線、無窮遠直線、無窮遠線、無窮線、あるいは理想線 () とも言われる。ポンスレらによって研究された。
幾何学的構築 アフィン幾何学やユークリッド幾何学において平行線は交わらないとされるが、射影幾何学においては任意の2直線が交わる。特に平行線は無限遠点で交わる。すべての無限遠点を含む直線を無限遠直線という。
任意の直線は無限遠直線と交わる。交点は直線の傾きのみに依存する。
アフィン平面において、直線は2方向に延びている。射影平面においてこの2方向の無限遠点は同一である。故に射影平面上の直線は閉曲線である。無限遠直線もまた閉曲線である。
位相幾何学的観点 無限遠直線はアフィン平面を囲う円とみなすこともできる。ただし円上の点の対蹠点は自身と一致する。アフィン平面と無限遠直線は実射影平面を成す。
双曲線は2つの漸近線方向の無限遠点で自身と交わり、閉曲線とみなせる。同様に放物線も軸方向の無限遠点で無限遠直線と接する閉曲線とみなすことができる。
複素射影平面における無限遠直線の類似物は、無限遠の複素射影直線である。しかし、2次元複素アフィン空間上にリーマン球面を付加し4次元コンパクト多様体を成すという点で、位相幾何学的に無限遠直線とは全く異なる。実射影平面とは異なり、この結果は向き付け可能である。
歴史 複素無限遠直線は19世紀の幾何学でよく使われた。無限遠直線上のある二点（虚円点）を通る円錐曲線として円を扱うことに応用された。
虚円点は円の方程式から低次の項を除いた方程式の解である。通常、射影幾何学においてはが採択される。
無限遠直線は、で表される。すべての円は無限遠直線上の虚円点を通る。
虚円点は任意に代表元を取っても複素点となる。ただし、射影直線は十分大きい対称変換群を持つため、虚円点の存在は特別なことではない。3つの変数からなる円の族は、与えられた2点を通るの特別な場合としてみなすことができる。
初等幾何学 において、無限遠直線は様々な特徴づけが成される。三角形の3辺の長さをとする。無限遠直線は三線座標において、重心座標においてと表される。重心の三線極線としても定義できる。外接円とシュタイナー楕円はそれぞれ等角共役、等長共役によって無限遠直線に移る。一般に外接円錐曲線の、自身による平行弦共役は無限遠直線に移る。
円による反転によって、無限遠直線は基準円の中心に映る。また、円の中心の極線は無限遠直線である。
出典
関連項目
楕円幾何学 無限遠超平面 平行線公準 無限遠平面 無限遠点