実射影平面

実射影平面

実射影平面とは、幾何学において実数体 ℝ を基礎とする二次元の射影空間を指します。通常、記号を用いて RP² あるいは P²(ℝ) と表記されます。この空間は、射影幾何学という分野における最も基本的で重要なモデルの一つです。

他の数体（例えば複素数体など）上に構成される射影空間とは異なり、実射影平面は実数体特有の性質に由来する独自の幾何学的特徴を持っており、それらは幾何学的な構成を通じて明確に示されます。

また、曲面を研究する微分幾何学の観点からは、実射影平面は非常に特徴的な曲面として分類されます。具体的には、向き付け不可能であり、種数（おおまかに言って「穴」の数を表す位相的な量）が1であるような曲面です。さらに、位相的な性質として、境界を持たない閉じた曲面であり、全体として繋がっている（連結な）コンパクト（有限の範囲に収まる）な空間でもあります。

構成方法

実射影平面は、いくつかの異なる視点から定義・構成することができます。

最も一般的な定義の一つは、三次元ユークリッド空間 ℝ³ の原点以外の点集合から出発する方法です。ここで、任意のゼロでない二つのベクトル v と w に対して、w が v の実数倍（w = kv かつ k ≠ 0 である実数 k が存在する）である場合に、v と w は「共線である」と定義します。この「共線である」という関係は同値関係となり、ℝ³ から原点を除いた点集合をこの同値関係で分割することで得られる同値類の集合が実射影平面となります。

この構成方法から、実射影平面上の各点が、ℝ³ における原点を通る「向き付けられていない」直線と一対一に対応することがわかります。つまり、実射影平面上の点は、原点を通る直線そのものだと考えることができるのです。ℝ³ の原点を通る全ての直線の集まりが、まさに実射影平面を形成していると言えます。

この構成を具体的にイメージする方法として、単位球面 S² を経由するものがあります。ℝ³ における原点を通る各直線は、単位球面 S² と二つの対蹐点（球の中心に関して点対称な位置にある二点）で交わります。したがって、実射影平面は、単位球面 S² 上の対蹐点を互いに同一視（貼り合わせる）することによって得られる空間と同相（位相的に同じ構造を持つ）になります。例えば、北極と南極、赤道上の任意の点とそのちょうど反対側の点などをそれぞれ区別せず同じ点とみなすような操作に相当します。

別の定義の仕方としては、よりアフィン空間的な用語を用いる方法があります。通常の三次元アフィン空間において、ある一点を特別な点として選び（これを原点と見なします）、この原点以外の点全体を考えます。そして、原点を通る同じ直線の上にある二つの点（ただし原点自身は除く）を互いに同一視することによっても、実射影平面を構成することができます。

特徴的な性質

実射影平面は、トーラスや球面といった他の標準的な曲面とは異なり、「向き付け不可能」であるという性質を持っています。これは、メビウスの帯に見られるような性質で、曲面上のある点を出発し、曲面に沿って一周して元の点に戻ってくると、その点における向き（例えば、面の表裏や座標系の向き）が反転してしまう現象が起こりうることを意味します。実射影平面は、局所的にはユークリッド平面と区別がつきませんが、大局的にはこのような非自明な構造を持っています。

また、射影幾何学的な観点からは、実射影平面上の「直線」（これは ℝ³ における原点を通る平面に対応します）は独特の性質を持ちます。ユークリッド幾何学のように平行な直線は存在せず、異なる任意の二つの直線は必ずただ一点で交わります。このような性質は、実射影平面が持つ射影的な構造を反映しています。

このように、実射影平面は幾何学、特に射影幾何学や位相幾何学、微分幾何学といった様々な分野において、興味深く基本的な研究対象となっています。

もう一度検索