双曲幾何学
双曲幾何学（そうきょくきかがく、）またはボヤイ・ロバチェフスキー幾何学 () とは、まっすぐな空間（ユークリッド空間、放物幾何的空間）ではなく、負の曲率を持つ曲がった空間における幾何学である。ユークリッド幾何学の検証ということでサッケリーなども幾つかの定理を導いているが、完全で矛盾のない公理系を持ちながらユークリッド幾何学ではないような新しい幾何学と認識してまとめたのは同時期にそれぞれ独立に発表したロバチェフスキー（1829年発表）、ボヤイ（1832年発表）、およびガウス（発表せず）らの功績である。

ユークリッドのユークリッド原論の5番目の公準（任意の直線上にない一点を通る平行な直線がただ一本存在すること、 平行線公準）に対して、それを否定する公理を付け加え、その新たな平行線公理と無矛盾な体系として得られる幾何学である非ユークリッド幾何学の一つである。双曲幾何学の場合には、「ある直線 "L" とその直線の外にある点 "p" が与えられたとき、"p" を通り "L" に平行な直線は無限に存在する」という公理に支えられて構成される。

双曲幾何学では、ユークリッド原論の平行線公準以外の公理公準はすべて成立する。これは平行線公準が独立した公準であり、ほかの公準からは証明できないということである。なぜならば他の公準から証明できるとすればその他の全ての公準が成り立つ双曲幾何学でも平行線公準が成り立つはずだからである。この幾何学は、もともと平行線公準をユークリッド原論のほかの公準から証明しようとして作られた幾何学だが、皮肉なことにこの幾何学により平行線公準は独立でほかの公準からは証明できないことが証明された。

例えば、平面においては任意の直線にその直線上にない一点を通る平行線は一本しかないが、無限に開き続ける漏斗のようなものにおいては、任意の直線にその直線上にない一点を通る平行線は無限に存在することになる。

このような面はベルトラミーの擬球面と呼ばれ、双曲幾何学の成立する面（双曲平面）の一種である。また、ベルトラミーの擬球面などの双曲平面は、双曲幾何学が完成した後に発見された。
Q17295
ユークリッド空間
Concept
Q214881
曲率
Concept
Q8087
幾何学
Concept
Q162886
ユークリッド幾何学
Concept
Q289517
サッケリー
PER
Q17736
公理系
Concept
Q129199
ロバチェフスキー
PER
Q7572
1829年
TIME
Q16924
ボヤイ
PER
Q7584
1832年
TIME
Q6722
ガウス
PER
Q8747
ユークリッド
PER
Q172891
ユークリッド原論
ORG
Q207014
平行線公準
Concept
Q17736
公理
Concept
Q233858
非ユークリッド幾何学
Concept
Q11538
証明
Concept
Q29957
漏斗
Concept
Q209306
双曲幾何学
Concept
Q209306
双曲幾何学
Concept
Q209306
双曲幾何学
Concept
Q209306
双曲幾何学
Concept
Q209306
双曲幾何学
Concept
Q209306
双曲幾何学
Concept
191-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1829年
DATE
188-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1832年
DATE
2020-05-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
5
DATE
+5^^http://www.w3.org/2001/XMLSchema#decimal
5
NUMBER
discoverer or inventor
named after
subclass of
named after
part of
named after
field of work
field of work
notable work
notable work
notable work
notable work
notable work
notable work
field of work
field of work
field of work
notable work
main subject
author
instance of
instance of
part of
named after
part of
part of
part of
part of
part of
discoverer or inventor
named after
discoverer or inventor
named after
discoverer or inventor
named after
discoverer or inventor
named after
discoverer or inventor
named after