無限遠点

無限遠点：幾何学における無限の概念

無限遠点とは、直感的には限りなく遠い地点にある点です。私たちの日常的な空間認識では、無限遠点はあくまで想像上の概念に留まります。しかし、数学、特に幾何学においては、この無限遠点を空間概念に組み込むことで、理論の体系化や応用範囲の拡大に繋がります。

ユークリッド幾何学と無限遠点

ユークリッド幾何学では、平面上の二直線は一点で交わるか、平行かのいずれかです。しかし、平行な二直線が無限遠点で交わると考えることで、「平面上の任意の二直線は必ず一点で交わる」という簡潔で有用な性質が得られます。この考え方は非ユークリッド幾何学など、より高度な幾何学の基礎となっています。

射影幾何学と無限遠点

無限遠点の概念を厳密に扱うためには、射影幾何学の枠組みが有効です。射影幾何学では、無限遠点を空間の一部として取り込み、新たな幾何学的構造を構築します。

斉次座標による定義

射影幾何学では、平面上の点を斉次座標を用いて表現します。実平面上の点(x, y)は、[x: y: 1]という三つの実数の組で表されます。ここで、[x: y: z]と[λx: λy: λz]（λは0でない実数）は同じ点を表します。この斉次座標を用いることで、無限遠点も自然に表現できます。

実射影平面P²(R)は、[x: y: z]（x, y, zは実数、ただし[0: 0: 0]を除く）の集合として定義されます。通常のユークリッド平面R²は、z≠0の部分に対応します。そして、z=0となる点[x: y: 0]が無限遠点となります。無限遠点全体の集合は無限遠直線l∞と呼ばれ、これは直線として扱われます。

平行線の交点

ユークリッド平面上の平行な二直線は、射影平面では無限遠点で交わります。例えば、ax + by + c = 0 と ax + by + d = 0 (c≠d)という二つの平行な直線を考えます。これらの直線を斉次座標で表現し、連立方程式を解くと、交点は[b: -a: 0]となり、これは無限遠点となります。この結果は、平行な直線が無限遠直線上にあることを示しています。

一般化：高次元空間への拡張

無限遠点の概念は、高次元空間にも拡張できます。n次元ユークリッド空間に対して、斉次座標を用いることで、n次元実射影空間Pⁿ(R)を構成できます。Pⁿ(R)は、n次元ユークリッド空間Rⁿに無限遠点を加えた空間であり、その中の任意の二直線は必ず一点で交わります。これは、ユークリッド空間での平行線も無限遠点で交わることを意味します。

さらに、実数から複素数への拡張や、より一般の体K上の射影空間Pⁿ(K)なども考えられます。例えば、複素射影直線P¹(C)はリーマン球面と呼ばれ、複素平面に無限遠点を付け加えた空間として知られています。

まとめ

無限遠点は、幾何学において無限の概念を扱うための重要な道具です。ユークリッド幾何学では仮想的な概念ですが、射影幾何学では空間の一部として扱い、平行線の交点や幾何学的な性質の理解に役立ちます。射影平面や高次元空間への拡張により、無限遠点はより一般的な概念として、数学の様々な分野で重要な役割を果たしています。

もう一度検索