数学では、双曲線幾何学は非ユークリッド幾何学であり、ユークリッド幾何学の平行後置法が置き換えられたものである。ユークリッド幾何学の平行後置法は、2次元空間において、任意の直線lとl上にない点Pに対して、Pを通りlと交わらない直線が1本だけ存在するというものです。ユークリッド幾何学において、双曲幾何学の公理に従うモデルが構築されました。これらのモデルは、平行定理がユークリッドの他の定理とは無関係であることを証明しています。

ユークリッドの平行線には双曲線の類似物がないため、平行線や関連用語の双曲線的な使用方法は執筆者によって異なります。この記事では、2つの限界線を漸近線と呼び、共通の垂線を持つ線を超平行線と呼びますが、単純に平行という言葉が両方に当てはまる場合もあります。

双曲幾何学とは（定義と直感）

双曲幾何学は、平面（または平坦ではない曲面）上の距離や角度の概念がユークリッドと異なる幾何学です。最も特徴的なのは「平行線に関する公理」が変わることで、ユークリッドでは1点から1本の平行線しか引けないのに対し、双曲幾何学では同じ条件のもとで無限に多くの直線が引けます。直感的には、双曲面は“鞍型”の曲がりを持ち、面積や角度の振る舞いがユークリッドと違います。

基本的な性質

  • 定数負曲率：双曲平面は一定の負の曲率を持ちます。代表的な標準化では曲率を −1 として扱うことが多いです。
  • 三角形の内角和が180°未満：任意の三角形に対して、内角の和は必ず180°より小さく、その差（角欠損）はその三角形の面積に比例します。曲率を −1 とした場合、三角形の面積 = π − (α + β + γ)（ラジアン）という関係が成り立ちます。
  • ジオデシック（最短経路）：双曲幾何学における直線に相当するものはジオデシックと呼ばれ、モデルによっては円弧や直線として表現されます。
  • 境界と理想点：双曲平面には「無限遠の点（理想点）」の概念があり、これが空間の極限挙動や平行線の分類に重要です。
  • 指数的な成長：双曲平面上で半径 r の円の周長・面積は r に対して指数的に増加し、ユークリッドとは異なるスケール特性を示します。

平行の概念（漸近線と超平行線）

双曲幾何学では「交わらない直線」の種類を区別します。一般的な分類は次のとおりです。

  • 漸近線（限界線, limiting parallel）：ある直線 l に対して、点 P を通り l に向かって近づくが交わらない直線で、理想点で一致する（無限遠で接する）ものを指します。ジオデシック同士が無限遠で出会うため「漸近」と呼ばれます。
  • 超平行線（ultraparallel）：互いに交わらず、かつ共通の理想点を持たない直線の組です。双曲平面上では、超平行な二直線は一意な共通垂線（最短距離を与える直線）を持ちます。
  • これらをまとめて単に「平行」と呼ぶこともありますが、性質が異なるため区別して扱うことが多いです。

代表的なモデル（直感と計算に便利）

双曲幾何学を具体的に扱うために、いくつかの等価なモデルが用いられます。いずれも双曲平面の点集合・直線（ジオデシック）・距離の表現が異なるだけで、同じ幾何学を表します。

  • ポアンカレ円板モデル（Poincaré disk model）：単位円板内に点を置き、ジオデシックは円板の境界に直交する円弧または直線。角度はユークリッドの角度と一致する（角度保ち性）。距離要素は ds^2 = 4|dz|^2/(1−|z|^2)^2 のように表されます。
  • ポアンカレ上半平面モデル（Poincaré half-plane model）：上半平面 {Im z > 0} を用いるモデルで、ジオデシックは垂直な直線または円弧。こちらも角度保ち性があり、複素解析と親和性が高いです。
  • クライン模型（Klein model）：単位円内を用いるが、ジオデシックはユークリッドの直線として表れる。角度は保たれないが、直線性が扱いやすい利点があります。
  • ベルターミのモデル（Beltrami model）：双曲面（擬球面）に対応させるモデルで、歴史的に重要です。これらのモデルは互いに双有理変換や双曲変換で対応します。

簡単な公式例

  • 三角形の面積（曲率 = −1 の場合）: 面積 = π − (α + β + γ)（ラジアン）。
  • 円の周長・面積は半径 r に対して指数的に増大する（精確な式はモデルと正規化に依存）。
  • ポアンカレ円板での距離（2点 z, w に対して）: d(z,w) = arcosh(1 + 2|z−w|^2/((1−|z|^2)(1−|w|^2))) など、表現はいくつかある。

歴史と重要人物

双曲幾何学の発展には多くの数学者が関わりました。代表的なのはニコライ・ロバチェフスキー（Lobachevsky）、ヤーノシュ・ボヤイ（János Bolyai）、そしてエウジェニオ・ベルトラーミ（Eugenio Beltrami）らです。19世紀に平行公理の独立性が示され、双曲幾何学がユークリッド幾何学の矛盾ではなく別の一貫した体系であることが確立されました。

応用

  • 位相幾何学や群論（フロベニウス級数やフロベニウス方程式、離散群による双曲面の板張り）
  • 3次元多様体の理論（双曲3次元多様体は幾何トポロジーで重要）
  • コンピュータサイエンスやネットワーク理論（双曲幾何的距離が大きなグラフの性質を説明することがある）
  • 芸術・建築（正則な双曲タイルやパッキング）や視覚化

まとめ（要点）

  • 双曲幾何学は平行公理を変えた非ユークリッド幾何学で、負の定曲率を持ち、三角形の内角和が常に180°未満になります。
  • 平行線には漸近線と超平行線があり、ユークリッドとは全く異なる性質を示します。
  • ポアンカレ円板・上半平面・クライン模型など複数の等価モデルがあり、用途に応じて使い分けられます。
  • 歴史的にはロバチェフスキー、ボヤイ、ベルトラーミらによって確立され、現代数学や応用科学でも重要な役割を果たします。