アフィン幾何学とは、距離や角度といった計量的概念を考慮しない幾何学の一分野です。
ユークリッド幾何学、
射影幾何学といった他の幾何学体系の基礎となる重要な概念を提供しています。擬似幾何学とも呼ばれ、平行線の概念に焦点を当てています。
ユークリッド幾何学から距離と角度の概念を取り除いたものがアフィン幾何学と考えることができます。平行線の性質は計量に依存しないため、アフィン幾何学において中心的な役割を果たします。そのため、プレイフェアの
公理はアフィン幾何学の基本的な
公理として挙げられます。図形の比較は、点の並び順と平行線の関係を保つ
写像であるアフィン変換を用いて行われます。
総合幾何学の観点からは、
アフィン空間はいくつかの
公理を満たす点と線の集まりとして定義されます。これらの
公理は、点と線の関係、特に平行線の存在に関する条件を規定しています。例えば、プレイフェアの
公理は、与えられた直線と点について、その点を通る平行線がただ一つ存在することを主張しています。この
公理は、アフィン幾何学における平行性の概念を明確に定義する上で重要です。
一方で、線形代数の視点からもアフィン幾何学を理解することができます。このアプローチでは、
アフィン空間は
ベクトル空間と密接に関連付けられています。具体的には、
アフィン空間は、任意の二点間に一意的に対応するベクトルを持つ点の集合として定義されます。このベクトルは、二点間の平行移動を表しています。この定義では、
ベクトル空間の平行移動の概念を用いて
アフィン空間の性質を記述します。
ベクトル空間の構造を利用することで、アフィン幾何学における様々な概念や定理を線形代数の枠組みで表現し、証明することができます。
さらに、
アフィン空間は、
ベクトル空間から原点を「忘れる」ことで得られる集合と考えることもできます。
ベクトル空間の任意の点を原点として選ぶことができ、その選択によって得られるベクトルは点と一対一に対応します。しかし、特定の原点を優先することはありません。この原点の選択の自由度が
アフィン空間の特徴の一つであり、
ベクトル空間と
アフィン空間の違いを明確に示しています。
アフィン幾何学における計量を無視するという考え方は、多様体論においても応用されています。多様体論では、アフィン接続という概念が用いられ、アフィン幾何学の概念をより一般的に拡張した幾何学が研究されています。アフィン接続は、多様体上の接空間における平行移動の概念を定義し、曲率や捩率といった重要な幾何学的性質を記述するために用いられます。
このように、アフィン幾何学は、
ユークリッド幾何学の基礎となる概念を提供するだけでなく、線形代数や多様体論といった高度な数学分野とも深く関連しています。そのシンプルながらも強力な概念は、幾何学の様々な分野で重要な役割を果たしています。アフィン変換、
アフィン空間といった関連概念を理解することで、アフィン幾何学の奥深さをより深く理解することができます。