曲面:多様な形状と幾何学
数学、特に
位相幾何学において、曲面は二次元の位相多様体として定義されます。私たちの身の回りにある
球面は、三次元空間における最も分かりやすい曲面の例です。しかし、曲面の概念は、
球面だけにとどまりません。
クラインの壺のように、三次元空間へ埋め込めない曲面も存在します。これは、曲面が自己交叉や
特異点を持たずに三次元空間に存在できないことを意味します。
曲面が「二次元」であるとは、二次元の座標系を用いて記述できることを意味します。例えば、地球の
表面は(理想的には)二次元
球面であり、経線と
緯線は
球面上の座標系を与えています。
多様な曲面の例
様々な種類の曲面が存在し、その多様性は
数学の魅力の一つです。
可展面: 平面を伸縮することなく変形して得られる曲面です。円柱や円錐、そして四次元空間におけるトーラスなどが挙げられます。ペーパークラフトは可展面を利用して作られます。
線織面: 各点において、その点を通る「直線」が存在する曲面です。円柱や双曲面がその例です。
回転面: 円柱対称性を持つ曲面です。
極小曲面: 与えられた境界条件の下で、面積を最小化する曲面です。シャボン膜は
表面張力によって極小曲面を形成します。カテノイド(懸垂面)やヘリコイド(常螺旋面)も極小曲面の例です。
代数曲面: 代数[[方程式]]系の解集合として定義される曲面です。二次曲面や三次曲面などが含まれます。
陰伏曲面: 一般的な
方程式系の解
集合として定義される曲面です。
クラインの壺、メビウスの帯: 向き付け不可能な多様体の代表例です。
リーマン面: 複素解析的な構造を持つ曲面で、複素関数の解析に用いられます。
球面や
トーラスもリーマン面です。
射影曲面: 射影空間の中で定義される曲面です。
アレクサンダーの角付き球面: 特異点集合(カントール
集合)を持つ曲面です。
曲面の定義と分類
数学的には、曲面は第二可算公理を満たす二次元の多様体として厳密に定義されます。これは、曲面の任意の点が、二次元
ユークリッド空間の開
集合、あるいは半開
集合に同相な開近傍を持つことを意味します。境界を持たないコンパクトな曲面は閉曲面、そうでないものは開曲面と呼ばれます。
閉曲面は、オイラー標数と向き付け可能性によって完全に分類されます。具体的には、
球面にハンドルをつけたもの(g-重
トーラス)、
球面に射影平面をつけたものという二つの無限系列に分類されます。オイラー標数は、曲面の位相的な性質を表す重要な不変量です。
境界を持つコンパクトな曲面は、境界を持たない曲面からいくつかの円盤を取り除いたものと見なせます。
曲面の埋め込みと幾何学的概念
向き付け可能で境界を持つコンパクトな曲面は、三次元
ユークリッド空間R3に埋め込むことができます。ホイットニーの埋め込み定理によれば、全ての曲面は四次元
ユークリッド空間R4に埋め込めます。
曲面の面積は、微分幾何学において体積要素を用いて定義されます。リーマン面では、ポアンカレ計量などが用いられます。
曲面のモデルと基本多角形
多角形の辺を特定の方法で貼り合わせることで、様々な曲面のモデルを作ることができます。例えば、矩形の辺を適切に貼り合わせることで、
球面、
トーラス、実射影平面、
クラインの壺などを表現できます。
位相幾何学的には、閉曲面は基本
多角形と呼ばれる
多角形の辺を同一視することで構成できます。これは、長さ2nの文字列で表現でき、それぞれの文字が辺を表し、指数は辺の向きを示します。
曲面の連結和
二つの曲面から円盤を取り除き、その境界を張り合わせることで、連結和と呼ばれる新しい曲面を作ることができます。この操作を用いることで、様々な曲面を構成し、分類をより深く理解することができます。
代数曲面
代数曲面は、
代数[[方程式]]の解
集合として定義されます。複素射影代数曲線は、実数体上ではなめらかな曲面となりますが、
複素数体上では4次元の実多様体となります。
まとめ
本記事では、曲面の様々な側面について解説しました。曲面の概念は、一見単純な
球面から複雑な
クラインの壺まで、幅広く多様な形状を包含しています。その幾何学的性質や位相的性質の研究は、
数学の重要な分野であり、現代
数学の様々な分野と密接に関連しています。