双曲幾何学
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/04/28 15:24 UTC 版)
ユークリッドのユークリッド原論の5番目の公準（任意の直線上にない一点を通る平行な直線がただ一本存在すること、 平行線公準[9][10]）に対して、それを否定する公理を付け加え、その新たな平行線公理と無矛盾な体系として得られる幾何学である非ユークリッド幾何学の一つである。双曲幾何学の場合には、「ある直線 L とその直線の外にある点 p が与えられたとき、p を通り L に平行な直線は無限に存在する」という公理に支えられて構成される。
双曲幾何学では、ユークリッド原論の平行線公準以外の公理公準はすべて成立する。[1][2][3]これは平行線公準が独立した公準であり、ほかの公準からは証明できないということである。なぜならば他の公準から証明できるとすればその他の全ての公準が成り立つ双曲幾何学でも平行線公準が成り立つはずだからである。この幾何学は、もともと平行線公準をユークリッド原論のほかの公準から証明しようとして作られた幾何学だが、皮肉なことにこの幾何学により平行線公準は独立でほかの公準からは証明できないことが証明された。
双曲幾何学のモデル
楕円幾何学においては球面幾何学がそのモデルであったわけだが、双曲幾何学においてはベルトラミの考案したポワンカレの上半平面モデルやポワンカレの円板モデルが有名である。
他にもベルトラミーの擬球面と呼ばれる無限に開き続ける漏斗のような曲面のモデルや双曲面モデル（"半径iの円"）、クラインモデルというものもある。
これらの例のような双曲幾何学の成立する曲面は双曲平面（＝二次元双曲多様体）[11][12]と呼ばれる。
上に挙げた双曲平面は、双曲幾何学が完成した後に発見された。
物理学への応用
以上は数学的な双曲幾何学だったが、物理学的な双曲幾何学によりこれを現実の世界に応用することができる。 高速で回転する円盤上ではローレンツ収縮により物体の長さが縮む。このとき円盤の中心から遠ざかるにつれて回転速度が速くなるため、端に行くほどローレンツ収縮の効果が強く出ることになる。このような場合では二点間を結ぶ最短距離は（円盤の直径を除いて）回転の遅い中心よりの線になり止まった状態の円盤から見ると曲線になる。つまり高速で円盤を回転させたために直線が曲がり3次元の空間が負の曲率を持ったのである。
関連項目
- ^ a b c Anderson, J. W. (2006). Hyperbolic geometry. Springer Science & Business Media.
- ^ a b c Iversen, B., & Birger, I. (1992). Hyperbolic geometry (Vol. 25). Cambridge University Press.
- ^ a b c Benedetti, R., & Petronio, C. (2012). Lectures on hyperbolic geometry. Springer Science & Business Media.
- ^ Borsuk, K. (2018). Foundations of geometry. Courier Dover Publications.
- ^ 相馬輝彦. (2011). 双曲幾何学入門. 中央大学数学教室講究録.
- ^ 阿原一志：「作図で身につく双曲幾何学」、共立出版、ISBN 978-4320111165（2016年5月25日）。
- ^ Milnor, J. W. (1982). Hyperbolic geometry: the first 150 years. Bulletin of the American Mathematical Society, 6(1), 9-24.
- ^ Gray, J. J. (2004). János Bolyai, non-euclidean geometry, and the nature of space (Vol. 1). Burndy Library MIT Press.
- ^ 安田陽. (2010). 平行線を巡る平行な議論. 風力エネルギー, 34(1), 15-16.
- ^ 宮本俊光. (2011). ユークリッド原論の平行線の定義. 日本科学教育学会研究会研究報告, 26(6), 24-27.
- ^ Weisstein, Eric W. "Hyperbolic Plane". mathworld.wolfram.com (英語).
- ^ Hyperbolic plane in nLab
双曲幾何学と同じ種類の言葉
固有名詞の分類
- 双曲幾何学のページへのリンク
