実射影直線

実射影直線について

実射影直線は、従来の直線の概念を拡張したもので、特に透視図法の問題を解決するために導入されました。透視図では、平行な直線が「無限遠」で交なるように見えるため、無限遠点の概念が重要になります。この無限遠点は、実射影平面上の相異なる二つの射影直線がただ一点で交わる条件を満たします。さまざまな平面透視図法において、無限遠点全体が構成する集合は「地平線」とも呼ばれ、これが実射影直線の一部となります。

実射影直線は、通常は実数体上の二次元ベクトル空間の一次元部分線型空間の集合として定義されます。この定義により、2x2の正則行列全体からなる一般線型群が自然に作用し、さらに中心に属する行列の作用は自明であるため、射影一般線型群PGL(2, R)も実射影直線に作用します。このような変換は射影変換と呼ばれ、実射影直線上での様々な幾何学的な振る舞いを引き起こします。

位相幾何学的な観点から見ると、実射影直線は円周と同相です。実射影直線は双曲平面の境界も形成しており、双曲平面上の等距変換が実射影直線上の幾何学的変換を誘導します。また、双曲平面内の調和関数は、射影直線上の分布とポワソン積分の形で表現されます。このように実射影直線は、無数の射影構造を持つことでも知られています。

定義

実射影直線は、二次元実線型空間Vの同値関係を基に定義されます。ここで、座標系V上の非零実数tを用いて、任意のベクトルvに対してv ~ wという関係を導入します。この同値関係は、線型空間の特徴から自然に理解できます。従って、同値類は各ベクトルの成す直線から零ベクトルが除かれたものとされています。そのため、実射影直線P(V)はこの同値類全体の集合として定義されます。

具体的に、基底を用いてVをR2として考えると、同値関係は
a. (x, y) ~ (w, z) となり、非零実数tが存在して(x, y) = (tw, tz) と表現できます。

この場合、射影直線P(R2)はP1(R)またはRP1と表されます。一般的に、同値類は[x : y]という形で示されます。このとき、点Pが[x : y]であることで、点Pの射影座標対が特定されます。P(V)と優れた同値関係を通じて定義されるため、標準射影が可微分構造を提供します。

チャート

実射影直線は位相多様体であり、以下の二つのチャートが存在します:

1. φ1: [x : y] ↦ x/y (y ≠ 0)
2. φ2: [x : y] ↦ y/x (x ≠ 0)

これにより、同じ同値類に含まれる任意の代表元が各チャートにおいて同一の実数に写像されます。xまたはyが零である可能性はありますが、両方が同時に零になることは避けられます。これらのチャートの相互の座標変換は逆数関数で表現され、実射影直線は可微分および解析的な多様体であることが示されます。

構造

実射影直線は、特定の射影領域内に存在する完備な構造を持ち、この外部構造に基づいて形成されます。そのため、実射影直線の特性として、実数直線が持つ順序の性質とは異なり、巡回的な順序を持つことも重要です。これは数理的な構造の基本的特性に大きな影響を与えます。

自己同型群

P1(R)上の写像は射影変換と呼称され、中心射影や平行射影およびそれらの合成によるものです。斉次座標系を利用すれば、全ての自己同型は射影線型群PGL(2, R)によって記述されます。具体的には、PGL(2, R)の元は、次のような一次分数変換に表現されます。

$$ x \mapsto \frac{ax + b}{cx + d} \quad (ad - bc
eq 0) $$

この自己同型群は、実射影直線上において三点が与えられた場合に一意的に他方の三点に写すことができる特性を持ちます。たとえば、ローレンツ変換を用いた変換も、PGL(2, R)群の特性として知られています。

このように、実射影直線は幾何学においても、解析的な枠組みの中で重要な役割を果たしている概念です。

もう一度検索