「双曲幾何学」の版間の差分
m Botによる: {{Normdaten}}を追加 |
m Bot作業依頼: 「証明」→「証明 (数学)」のリンク修正依頼（暫定32記事対象） (証明 (数学)) - log |
||
| 3行目: | 3行目: | ||
[[エウクレイデス|ユークリッド]]の[[ユークリッド原論]]の5番目の公準（任意の直線上にない一点を通る平行な直線がただ一本存在すること、 [[平行線公準]]<ref>安田陽. (2010). 平行線を巡る平行な議論. 風力エネルギー, 34(1), 15-16.</ref><ref>宮本俊光. (2011). ユークリッド原論の平行線の定義. 日本科学教育学会研究会研究報告, 26(6), 24-27.</ref>）に対して、それを否定する[[公理]]を付け加え、その新たな平行線公理と無矛盾な体系として得られる幾何学である[[非ユークリッド幾何学]]の一つである。双曲幾何学の場合には、「ある直線 ''L'' とその直線の外にある点 ''p'' が与えられたとき、''p'' を通り ''L'' に平行な直線は無限に存在する」という公理に支えられて構成される。 |
[[エウクレイデス|ユークリッド]]の[[ユークリッド原論]]の5番目の公準（任意の直線上にない一点を通る平行な直線がただ一本存在すること、 [[平行線公準]]<ref>安田陽. (2010). 平行線を巡る平行な議論. 風力エネルギー, 34(1), 15-16.</ref><ref>宮本俊光. (2011). ユークリッド原論の平行線の定義. 日本科学教育学会研究会研究報告, 26(6), 24-27.</ref>）に対して、それを否定する[[公理]]を付け加え、その新たな平行線公理と無矛盾な体系として得られる幾何学である[[非ユークリッド幾何学]]の一つである。双曲幾何学の場合には、「ある直線 ''L'' とその直線の外にある点 ''p'' が与えられたとき、''p'' を通り ''L'' に平行な直線は無限に存在する」という公理に支えられて構成される。 |
||
双曲幾何学では、ユークリッド原論の平行線公準以外の公理公準はすべて成立する。<ref name="anderson"/><ref name="ib"/><ref name="bp"/>これは平行線公準が独立した公準であり、ほかの公準からは証明できないということである。なぜならば他の公準から証明できるとすればその他の全ての公準が成り立つ双曲幾何学でも平行線公準が成り立つはずだからである。この幾何学は、もともと平行線公準をユークリッド原論のほかの公準から[[証明]]しようとして作られた幾何学だが、皮肉なことにこの幾何学により平行線公準は独立で'''ほかの公準からは証明できないこと'''が証明された。 |
双曲幾何学では、ユークリッド原論の平行線公準以外の公理公準はすべて成立する。<ref name="anderson"/><ref name="ib"/><ref name="bp"/>これは平行線公準が独立した公準であり、ほかの公準からは証明できないということである。なぜならば他の公準から証明できるとすればその他の全ての公準が成り立つ双曲幾何学でも平行線公準が成り立つはずだからである。この幾何学は、もともと平行線公準をユークリッド原論のほかの公準から[[証明 (数学)|証明]]しようとして作られた幾何学だが、皮肉なことにこの幾何学により平行線公準は独立で'''ほかの公準からは証明できないこと'''が証明された。 |
||
例えば、平面においては任意の直線にその直線上にない一点を通る平行線は一本しかないが、無限に開き続ける[[漏斗]]のようなものにおいては、任意の直線にその直線上にない一点を通る平行線は無限に存在することになる。 |
例えば、平面においては任意の直線にその直線上にない一点を通る平行線は一本しかないが、無限に開き続ける[[漏斗]]のようなものにおいては、任意の直線にその直線上にない一点を通る平行線は無限に存在することになる。 |
||
2021年4月27日 (火) 14:10時点における版
双曲幾何学（そうきょくきかがく、英語: hyperbolic geometry[1][2][3]）またはボヤイ・ロバチェフスキー幾何学 (英: Bolyai-Lobachevskian geometry[4]) とは、まっすぐな空間（ユークリッド空間、放物幾何的空間）ではなく、負の曲率を持つ曲がった空間における幾何学である。[1][2][3][5]ユークリッド幾何学の検証ということでサッケリーなども幾つかの定理を導いているが、完全で矛盾のない公理系を持ちながらユークリッド幾何学ではないような新しい幾何学と認識してまとめたのは同時期にそれぞれ独立に発表したロバチェフスキー（1829年発表[6]）、ボヤイ（1832年発表[7]）、およびガウス（発表せず）らの功績である。
ユークリッドのユークリッド原論の5番目の公準（任意の直線上にない一点を通る平行な直線がただ一本存在すること、 平行線公準[8][9]）に対して、それを否定する公理を付け加え、その新たな平行線公理と無矛盾な体系として得られる幾何学である非ユークリッド幾何学の一つである。双曲幾何学の場合には、「ある直線 L とその直線の外にある点 p が与えられたとき、p を通り L に平行な直線は無限に存在する」という公理に支えられて構成される。
双曲幾何学では、ユークリッド原論の平行線公準以外の公理公準はすべて成立する。[1][2][3]これは平行線公準が独立した公準であり、ほかの公準からは証明できないということである。なぜならば他の公準から証明できるとすればその他の全ての公準が成り立つ双曲幾何学でも平行線公準が成り立つはずだからである。この幾何学は、もともと平行線公準をユークリッド原論のほかの公準から証明しようとして作られた幾何学だが、皮肉なことにこの幾何学により平行線公準は独立でほかの公準からは証明できないことが証明された。
例えば、平面においては任意の直線にその直線上にない一点を通る平行線は一本しかないが、無限に開き続ける漏斗のようなものにおいては、任意の直線にその直線上にない一点を通る平行線は無限に存在することになる。
このような面はベルトラミーの擬球面[10]と呼ばれ、双曲幾何学の成立する面（双曲平面[11][12][13]）の一種である。また、ベルトラミーの擬球面などの双曲平面は、双曲幾何学が完成した後に発見された。
物理学への応用
以上は数学的な双曲幾何学だったが、物理学的な双曲幾何学によりこれを現実の世界に応用することができる。 高速で回転する円盤上ではローレンツ収縮により物体の長さが縮む。このとき円盤の中心から遠ざかるにつれて回転速度が速くなるため、端に行くほどローレンツ収縮の効果が強く出ることになる。このような場合では二点間を結ぶ最短距離は（円盤の直径を除いて）回転の遅い中心よりの線になり止まった状態の円盤から見ると曲線になる。つまり高速で円盤を回転させたために直線が曲がり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). 双曲幾何学入門. 中央大学数学教室講究録.
- ^ 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
外部リンク
- Weisstein, Eric W. "Hyperbolic Geometry". mathworld.wolfram.com (英語).
