デーン平面

幾何学において、デーン平面（テンプレート:Lang-en-short）とは、デーンが導入した2つの非ユークリッド幾何の例をいう。マックス・デーンは2つの平面の例、半ユークリッド幾何と非ルジャンドル幾何とを導入した。これらは、所与の点と直線に対し、その点を通る無限本の平行線を持つようなものでありながら、三角形の内角の和が少なくとも $\pi$ となるようなものである。同様な現象は双曲幾何でも見られるが、そこでは三角形の内角の和は $\pi$ 未満である。デーンの例は非アルキメデス的順序体を利用して構成されるが、それゆえアルキメデスの公理が破れる。これらはテンプレート:Harvsで導入され、テンプレート:Harvtxtで論じられている。

デーンの非アルキメデス的順序体 テンプレート:Math

テンプレート:Anchors デーンは自らの幾何を構成する為に非アルキメデス的に順序付けられたピタゴラス的体 $\mathrm{\Omega }(t)$ を用いた。これは実係数1変数有理式（関数）の成す体 $ℝ(t)$ のピタゴラス閉包、すなわち実定数関数と不定元 t を意味する恒等関数（実数をそれ自身に写す関数）を含み、演算 $\omega \mapsto \sqrt{(1+{\omega }^2)}$ で閉じた最小の関数体である。この $\mathrm{\Omega }(t)$ は次のように順序付けられる：$x>y$ であるのは、十分大きな任意の実数 $t$ に対して $x(t)>y(t)$ が成り立つときである。$\mathrm{\Omega }(t)$ の元 $x$ が有限と呼ばれるのは、ある整数 $m,n$ に対して $m<x<n$ となるときである。有限でない元は無限大と呼ばれる。

デーンの半ユークリッド幾何

いま、$\mathrm{\Omega }(t)$ の元 $x$ と $y$ によって $(x,y)$ と表される全ての元からなる集合に、次のような通常の計量

$\Vert (x,y)\Vert =\sqrt{x^2+y^2}$

を入れたものを考える。ここで $\Vert (x,y)\Vert$ は $\mathrm{\Omega }(t)$ に値を取ることに注意。この空間はユークリッド幾何のモデルを与える。平行線公準はこのモデルに於いて真である。すなわち、1つの直線に2本の直線が交わり、同じ側にある内角の和が2直角よりも小さいならば、2本の直線はその側で交わる。他方、もしその内角和と2直角との誤差が無限小（どんな正の有理数よりも小さいことを意味する）ならば、その2つの直線の交点は、平面の有限でない点で交わる。すなわち、もしこのモデルを平面の有限部分（つまり $(x,y)$ で $x,y$ がともに有限である点）に制限したならば、平行線公準を破りつつ、三角形の内角の和が $\pi$ であるような幾何学が得られる。これがデーンの半ユークリッド幾何である。これはテンプレート:Harvtxtで論じられている。

デーンの非ルジャンドル幾何

同じ論文に於いて、デーンは非ルジャンドル幾何の例も構成している。これは、ある点を通り別の直線と交わらない無限本の直線が存在する（平行線公準が破れている）が、三角形の内角和が $\pi$ を超えるようなものである。$\mathrm{\Omega }(t)$ 上のリーマンの楕円幾何は $\mathrm{\Omega }(t)$ 上の射影平面から構成され、これは $(x:y:1)$ の形の点に"無限遠にある直線"を付け加えたアファイン平面と同一視できる。これはいかなる三角形の内角の和も $\pi$ を超えるという性質を持つ。非ルジャンドル幾何は、このアファイン部分空間の点 $(x:y:1)$ で $tx$ と $ty$ がともに有限であるものからなる。（ここで $t$ は恒等関数によって表現される $\mathrm{\Omega }(t)$ の元である。）ルジャンドルの定理は三角形の内角和が高々 $\pi$ であることを述べるが、これはアルキメデスの公理を仮定するものである。デーンの例は、ルジャンドルの定理がアルキメデスの公理を除くと成立しない可能性があることを示している。

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation