non-Euclidean geometry
2015年03月03日(火)
テーマ:数学
非ユークリッド幾何学
非ユークリッド幾何学(ひ-ユークリッド-きかがく、non-Euclidean geometry)は、ユークリッド幾何学の平行線公準が成り立たないとして成立する幾何学の総称。非ユークリッドな幾何学の公理系を満たすモデルは様々に構成されるが、計量をもつ幾何学モデルの曲率を一つの目安としたときの両極端の場合として、至る所で負の曲率をもつ双曲幾何学と至る所で正の曲率を持つ楕円幾何学(殊に球面幾何学)が知られている。
ユークリッドの幾何学は、至る所曲率0の世界の幾何であることから、双曲・楕円に対して放物幾何学と呼ぶことがある。大雑把に言えば「平面上の幾何学」であるユークリッド幾何学に対して、「曲面上の幾何学」が非ユークリッド幾何学である。
目次 [非表示]
1 歴史
1.1 平行線公準
1.1.1 古代ギリシア
1.1.2 アラビア
1.1.3 近代ヨーロッパ
1.2 非ユークリッド幾何学の成立
2 幾何学の相補性
3 関連項目
4 参考文献
5 外部リンク
歴史[編集]
詳細は「平行線公準」を参照
平行線公準[編集]
ユークリッドの著した「原論」('element')の1~4巻に於いては、今日で言うところのユークリッド幾何学に関して、古代ギリシア数学の成果がまとめられている。
さて、「原論」では最初にいくつかの公理・公準を述べているが、その中の第5公準が次の、平行線公準と呼ばれるものである。
1 直線が 2 直線に交わり、同じ側の内角の和を 2 直角より小さくするならば、この 2 直線は限りなく延長されると、2 直角より小さい角のある側において交わること。
これは他の公理に比べて自明性は低く、また明らかに冗長であったので、いくつかの疑念を生ずることとなった。
公理・公準として扱うことは正しいのだろうか? 定理なのでは無いだろうか。
あるいは、もっと自明で簡潔な、同値な命題が存在するのではないだろうか。
ここから、平行線公準の証明の試み、あるいは平行線公準の言い換えの試みが始まった。
古代ギリシア[編集]
プロクロスは、「原論」の注釈書に於いて平行線公準が定理なのではないかと述べている。
プトレマイオスは「平行線公準を証明した」と主張したが、その証明は巡り巡って「原論」第1 巻命題 29 に依っており、命題 29 は平行線公準により証明されているので主張は正しくなかった。
アラビア[編集]
近代ヨーロッパ[編集]
古代ギリシャ以降も、無数の「平行線公準の証明」が生まれたが、多くはプトレマイオスと同じ過ちを犯していた。しかし、その結果として「平行線公準と同値な命題」が作られた。
ジョバンニ・ジローラモ・サッケーリは、1773年、論文「あらゆる汚点から清められたユークリッド」(Euclides ab Omni Naevo Vindicatus)において、鋭角仮定・直角仮定・鈍角仮定という互いに背反かついずれかは成立するような仮定を設定し、直角仮定から平行線公準を導けることを示した。
同論文の定理 9 および定理 15 により、各仮定をより分かりやすく言い換えるなら次の通りである。
鋭角仮定
三角形の内角の和は 2 直角よりも小さい
直角仮定
三角形の内角の和は 2 直角に等しい
鈍角仮定
三角形の内角の和は 2 直角よりも大きい
サッケーリは、鈍角仮定および鋭角仮定は矛盾を生じると主張したが、その証明に於いてはやはり平行線公準に依存する命題を使ってしまっており、証明としては正しくなかった。しかしながら、上の 3 つの分類はその後の非ユークリッド幾何学の構築に大きな役割を果たした。
またヨハン・ハインリッヒ・ランベルトも1766年執筆の論文「平行線の理論」に於いて同様の主張をしている(この論文は1786年に発見された)。
カール・フリードリヒ・ガウスは、1824年11月8日の手紙に於いて、鋭角仮定のもとで整合的な幾何学が成立する可能性を示唆し、そこにはある定数があってこれが大きいほど通常の幾何学に近づくと述べた。
ガウスの言うある定数とは、現代の言葉で言えば空間の曲率 k に対し、-(1/k)のことである。ガウス個人は非ユークリッド幾何の存在を確信していたと見られるが、宗教論争に巻き込まれる事を恐れ公表していない。
非ユークリッド幾何学の成立[編集]
ニコライ・イワノビッチ・ロバチェフスキーは「幾何学の新原理並びに平行線の完全な理論」(1829年)において、「虚幾何学」と名付けられた幾何学を構成して見せた。これは、鋭角仮定を含む幾何学であった。
ボーヤイ・ヤーノシュは父・ボーヤイ・ファルカシュの研究を引き継いで、1832年、「空間論」を出版した。「空間論」では、平行線公準を仮定した幾何学(Σ)、および平行線公準の否定を仮定した幾何学(S)を論じた。更に、1835年「ユークリッド第 11 公準を証明または反駁することの不可能性の証明」において、Σ と S のどちらが現実に成立するかは、如何なる論理的推論によっても決定されないと証明した。
ベルンハルト・リーマン
[icon] この節の加筆が望まれています。
あわせて4人が3通りの方法を発見した。その結果をまとめると以下のようになる。なお、ここでは曲がった面上や空間内の「直線」は二点間の最短距離を指す。平行線は絶対に交わらない二本の直線である。
研究結果
結論 リーマン ユークリッド ロバチェフスキー・ボーヤイ
平行線の数 0本 1本 2本以上
図形 凸面(球体) 平面 擬球面(鞍型)
幾何学の相補性[編集]
楕円・放物・双曲の各幾何学は、互いに他を否定する存在ではなく、いわば並行に存在しうる幾何学であることを注意しておきたい。各幾何は、それぞれ他の幾何の中に(少なくとも局所的には)モデルを持ち、したがって互いに他の体系の正当性を保証することになるからである。つまり、ユークリッド幾何学が無矛盾な体系であれば他の幾何学もやはり無矛盾だというわけである。
関連項目[編集]
ユークリッド幾何学
楕円幾何学
球面幾何学
双曲幾何学(ボヤイ・ロバチェフスキー幾何学)
公理主義
リーマン幾何学
参考文献[編集]
再生核研究所声明202(2015.2.2)ゼロ除算100/0=0,0/0=0誕生1周年記念声明 ― ゼロ除算の現状と期待
ゼロ除算の発見、経過、解説などについては、結構な文献に記録されてきた:
再生核研究所声明148(2014.2.12)100/0=0, 0/0=0 - 割り算の考えを自然に拡張すると ― 神の意志
再生核研究所声明154(2014.4.22)新しい世界、ゼロで割る、奇妙な世界、考え方
再生核研究所声明157(2014.5.8) 知りたい 神の意志、ゼロで割る、どうして 無限遠点と原点が一致しているのか?
再生核研究所声明161(2014.5.30)ゼロ除算から学ぶ、数学の精神 と 真理の追究
再生核研究所声明163(2014.6.17)ゼロで割る(零除算)- 堪らなく楽しい数学、探そう零除算 ― 愛好サークルの提案
再生核研究所声明166(2014.6.20)ゼロで割る(ゼロ除算)から学ぶ 世界観
再生核研究所声明171(2014.7.30)掛け算の意味と割り算の意味 ― ゼロ除算100/0=0は自明である?
再生核研究所声明176(2014.8.9)ゼロ除算について、数学教育の変更を提案する
Announcement 179 (2014.8.25) Division by zero is clear as z/0=0 and it is fundamental in mathematics
Announcement 185: The importance of the division by zero $z/0=0$
再生核研究所声明188(2014.12.15)ゼロで割る(ゼロ除算)から観えてきた世界
再生核研究所声明190(2014.12.24)
再生核研究所からの贈り物 ― ゼロ除算100/0=0, 0/0=0
夜明け、新世界、再生核研究所 年頭声明
― 再生核研究所声明193(2015.1.1 ―
再生核研究所声明194(2015.1.2)大きなイプシロン(無限小)、創造性の不思議
再生核研究所声明195(2015.1.3)ゼロ除算に於ける高橋の一意性定理について
再生核研究所声明196(2015.1.4)ゼロ除算に於ける山根の解釈100= 0x0について
再生核研究所声明199(2015.1.15)世界の数学界のおかしな間違い、世界の初等教育から学術書まで間違っていると言える ― ゼロ除算100/0=0,0/0=0
ゼロ除算100/0=0,0/0=0誕生1周年記念日に当たり、概観して共同研究者と共に夢を明るく 楽しく描きたい。まずは、ゼロ除算の意義を復習しておこう:
1)西暦628年インドでゼロが記録されて以来 ゼロで割るの問題 に 簡明で、決定的な解 ゼロで 何でも割れば ゼロ z/0=0 である をもたらしたこと。
2)ゼロ除算の導入で、四則演算 加減乗除において ゼロでは 割れない の例外から、例外なく四則演算が可能である という 美しい四則演算の構造が確立されたこと。
3)2千年以上前に ユークリッドによって確立した、平面の概念に対して、おおよそ200年前に 非ユークリッド幾何学が出現し、特に楕円型非ユークリッド幾何学ではユークリッド平面に対して、無限遠点の概念がうまれ、特に立体射影で、原点上に球をおけば、 原点ゼロが 南極に、無限遠点が 北極に対応する点として 複素解析学では 100年以上も定説とされてきた。それが、無限遠点は 数では、無限ではなくて、実はゼロが対応するという驚嘆すべき世界観をもたらした。
4)ゼロ除算は ニュートンの万有引力の法則における、2点間の距離がゼロの場合における新しい解釈、独楽(コマ)の中心における角速度の不連続性の解釈、衝突などの不連続性を説明する数学になっている。ゼロ除算は アインシュタインの理論でも重要な問題になっていたとされている。数多く存在する物理法則を記述する方程式にゼロ除算が現れているが、それらに新解釈を与える道が拓かれた。
5)複素解析学では、1次変換の美しい性質が、ゼロ除算の導入によって、任意の1次変換は 全複素平面を全複素平面に1対1 onto に写すという美しい性質に変わるが、 極である1点において不連続性が現れ、ゼロ除算は、無限を 数から排除する数学になっている。
6)ゼロ除算は、不可能であるという立場であったから、ゼロで割る事を 本質的に考えてこなかったので、ゼロ除算で、分母がゼロである場合も考えるという、未知の新世界、新数学、研究課題が出現した。
7)複素解析学への影響は 未知の分野で、専門家の分野になるが、解析関数の孤立特異点での性質について新しいことが導かれる。典型的な結果は、どんな解析関数の孤立特異点でも、解析関数は 孤立特異点で、有限な確定値をとる という定理 である。佐藤の超関数の理論などへの応用がある。
8)特異積分におけるアダマールの有限部分や、コーシーの主値積分は、弾性体やクラック、破壊理論など広い世界で、自然現象を記述するのに用いられている。面白いのは 積分が、もともと有限部分と発散部分に分けられ、 極限は 無限たす、有限量の形になっていて、積分は 実は、普通の積分ではなく、そこに現れる有限量を便宜的に表わしている。ところが、その有限量が実は、 ゼロ除算にいう、 解析関数の孤立特異点での 確定値に成っていること。いわゆる、主値に対する解釈を与えている。これはゼロ除算の結果が、広く、自然現象を記述していることを示している。
9)中学生や高校生にも十分理解できる基本的な結果をもたらした:
基本的な関数y = 1/x のグラフは、原点で ゼロである;すなわち、 1/0=0 である。
10)既に述べてきたように 道脇方式は ゼロ除算の結果100/0=0, 0/0=0および分数の定義、割り算の定義に、小学生でも理解できる新しい概念を与えている。多くの教科書、学術書を変更させる大きな影響を与える。
11)ゼロ除算が可能であるか否かの議論について:
現在 インターネット上の情報でも 世間でも、ゼロ除算は 不可能であるとの情報が多い。それは、割り算は 掛け算の逆であるという、前提に議論しているからである。それは、そのような立場では、勿論 正しいことである。しかしながら、出来ないという議論では、できないから、更には考えられず、その議論は、不可能のゆえに 終わりになってしまう ― もはや 展開の道は閉ざされている。しかるに、ゼロ除算が 可能であるとの考え方は、それでは、どのような理論が 展開できるのかという未知の分野が望めて、大いに期待できる世界が拓かれる。
12)ゼロ除算は、数学ばかりではなく、 人生観、世界観や文化に大きな影響を与える。
次を参照:
再生核研究所声明166(2014.6.20)ゼロで割る(ゼロ除算)から学ぶ 世界観
再生核研究所声明188(2014.12.16)ゼロで割る(ゼロ除算)から観えてきた世界
ゼロ除算における新現象、驚きとは Aristotélēs の世界観、universe は連続である を否定して、強力な不連続性を universe の現象として表していることである。
ゼロ除算は 既に数学的に確定され、その意義も既に明らかであると考えられるが、声明199にも述べられているように、ゼロ除算が不可能であるとの世の常識、学術書、数学は 数学者の勝手な解釈による歴史的な間違いに当たる ことをしっかりと理解させ、世の教育書、学術書の変更を求めていきたい。― 誰が、真実を知って、偽りを教え、言い続けられるだろうか。― 教育に於ける除算、乗算の演算の意味を 道脇方式で回復させ、新しい結果 ゼロ除算を世に知らしめ、世の常識とさせたい。それは ちょうど天動説が地動説に変わったように 世界史の確かな進化と言えるだろう。
ゼロ除算の研究の進展は、数学的には 佐藤超関数の理論からの展開、発展、 物理学的には ゼロ除算の物理法則の解釈や、衝突現象における山根の面白い解釈の究明 などに興味が持たれる。しかしながら、ゼロ除算の本質的な解明とは、Aristotélēs の世界観、universe は連続である を否定して、強力な不連続性を universe の自然な現象として受け入れられることである。数学では、その強力な不連続性を自然なものとして説明され、解明されることが求められる。
以 上
再生核研究所声明200(2015.1.16) ゼロ除算と複素解析の現状 ―佐藤超関数論との関係が鍵か?
正確に次のように公開して複素解析とゼロ除算の研究を開始した:
特異点解明の歩み100/0=0,0/0=0 関係者:
複素解析学では、1/0として、無限遠点が存在して、美しい世界です。しかしながら、1/0=0 は 動かせない真実です。それで、勇気をもって進まざるを得ない:― 哲学とは 真智への愛 であり、真智とは 神の意志 のことである。哲学することは、人間の本能であり、それは 神の意志 であると考えられる。愛の定義は 声明146で与えられ、神の定義は 声明122と132で与えられている。― 再生核研究所声明148.
私には 無理かと思いますが、世の秀才の方々に 挑戦して頂きたい。空論に付き合うのはまっぴらだ と考える方も多いかと思いますが、面白いと考えられる方で、楽しく交流できれば幸いです。宜しくお願い致します。 添付 物語を続けたい。敬具 齋藤三郎
2014.4.1.11:10
上記で、予想された難問、 解析関数は、孤立特異点で確定値をとる、が 自分でも予想しない形で解決でき、ある種の実体を捉えていると考えたのであるが、この結果自体、世のすべての教科書の内容を変える事件であるばかりではなく、確立されている無限遠点の概念に 新しい解釈を与えるもので、1次変換の美しい性質が、ゼロ除算の導入によって、任意の1次変換は 全複素平面を全複素平面に1対1 onto に写すという美しい性質に変わるが、 極である1点において不連続性が現れ、ゼロ除算は、無限を 数から排除する数学になっている。
6月、帰国後、気に成っていた、金子晃先生の 30年以上前に購入した超函数入門の本に 極めて面白い記述があり、佐藤超関数とゼロ除算の面白い関係が出てきた。さらに 特異積分におけるアダマールの有限部分や、コーシーの主値積分は、弾性体やクラック、破壊理論など広い世界で、自然現象を記述するのに用いられているが、面白いのは 積分が、もともと有限部分と発散部分に分けられ、 極限は 無限たす、有限量の形になっていて、積分は 実は、普通の積分ではなく、そこに現れる有限量を便宜的に表わしている。ところが、その有限量が実は、 ゼロ除算にいう、 解析関数の孤立特異点での 確定値に成っていることが分かった。これはゼロ除算の結果が、広く、自然現象を記述していることを示している。
現在まで、添付21ページの論文原稿について 慎重に総合的に検討してきた。
そこで、問題の核心、ゼロ除算の発展の基礎は、次の論点に有るように感じられてきた:
We can find many applicable examples, for example, as a typical example in A. Kaneko (\cite{kaneko}, page 11) in the theory of hyperfunction theory: for non-integers $\lambda$, we have
\begin{equation}
x_+^{\lambda} = \left[ \frac{-(-z)^{\lambda}}{2i \sin \pi \lambda}\right] =\frac{1}{2i \sin \pi \lambda}\{(-x + i0)^{\lambda}- (-x - i0)^{\lambda}\}
\end{equation}
where the left hand side is a Sato hyperfunction and the middle term is the representative analytic function whose meaning is given by the last term. For an integer $n$, Kaneko derived that
\begin{equation}
x_+^{n} = \left[- \frac{z^n}{2\pi i} \log (-z) \right],
\end{equation}
where $\log$ is a principal value: $ \{ - \pi < \arg z < +\pi \}$. Kaneko stated there that by taking a finite part of the Laurent expansion, the formula is derived.
Indeed, we have the expansion, for around $ n$, integer
$$
\frac{-(-z)^{\lambda}}{2i \sin \pi \lambda}
$$
\begin{equation}
= \frac{- z^n}{2\pi i} \frac{1}{\lambda -n} - \frac{z^n}{2\pi i} \log (-z )
- \left( \frac{\log^2 (-z) z^n}{2\pi i\cdot 2!} + \frac{\pi z^n}{2i\cdot 3!}
\right)(\lambda - n) + ...
\end{equation}
(\cite{kaneko}, page 220).
By our Theorem 2, however, we can derive this result (4.3) from the Laurant expansion (4.4), immediately.
上記ローラン展開で、\lambda に n を代入したのが ちょうど n に対する佐藤の超関数になっている。それは、ゼロ除算に言う、 孤立特異点における解析関数の極における確定値である。これはゼロ除算そのものと殆ど等価であるから、ローラン展開に \lambda = n を代入した意味を、上記の佐藤超関数の理論は述べているので 上記の結果を分析すれば、ゼロ除算のある本質を捉えることができるのではないかと考えられる。
佐藤超関数は 日本で生まれた、基本的な数学で 優秀な人材を有している。また、それだけ高級、高度化しているが、このような初歩的、基本的な問題に関係がある事が明らかになってきた。そこで、佐藤超関数論の専門家の方々の研究参加が望まれ、期待される。また、関係者の助言やご意見をお願いしたい。
ゼロ除算における新現象、驚きとは Aristotélēs の世界観、universe は連続である を否定して、強力な不連続性を universe の現象として示していることである。
以 上
再生核研究所声明199(2015.1.15) 世界の数学界のおかしな間違い、世界の初等教育から学術書まで間違っていると言える ― ゼロ除算100/0=0,0/0=0
ゼロ除算は 西暦628年インドでゼロが文献に記録されて以来、問題とされてきた。ゼロ除算とは、ゼロで割ることを考えることである。これは数学の基本である、四則演算、加法、減法、乗法、除法において、除法以外は何時でも自由にできるのに、除法の場合だけ、ゼロで割ることができないという理由で、さらに物理法則を表す多くの公式にゼロ除算が自然に現れていることもあって、世界各地で、今でも絶えず、問題にされていると考えられる。― 小学生でも どうしてゼロで割れないのかと毎年、いろいろな教室で問われ続いているのではないだろうか.
これについては、近代数学が確立された以後でも、何百年を越えて 永い間の定説として、ゼロ除算は 不可能であり、ゼロで割ってはいけないことは、初等教育から、中等、高校、大学そして学術界、すなわち、世界の全ての文献と理解はそうなっている。変えることのできない不変的な法則のように理解されていると考えられる。
しかるに2014年2月2日 ゼロ除算は、可能であり、ゼロで割ればゼロであることが、偶然発見された。その後の経過、背景や意味付け等を纏めてきた:
再生核研究所声明 148(2014.2.12) 100/0=0, 0/0=0 - 割り算の考えを自然に拡張すると ― 神の意志
再生核研究所声明154(2014.4.22) 新しい世界、ゼロで割る、奇妙な世界、考え方
再生核研究所声明157(2014.5.8) 知りたい 神の意志、ゼロで割る、どうして 無限遠点と原点が一致しているのか?
再生核研究所声明161(2014.5.30)ゼロ除算から学ぶ、数学の精神 と 真理の追究
再生核研究所声明163(2014.6.17)ゼロで割る(零除算)- 堪らなく楽しい数学、探そう零除算 ― 愛好サークルの提案
再生核研究所声明166(2014.6.20)ゼロで割る(ゼロ除算)から学ぶ 世界観
再生核研究所声明171(2014.7.30)掛け算の意味と割り算の意味 ― ゼロ除算100/0=0は自明である?
再生核研究所声明176(2014.8.9) ゼロ除算について、数学教育の変更を提案する
Announcement 179 (2014.8.25): Division by zero is clear as z/0=0 and it is fundamental in mathematics
Announcement 185 : The importance of the division by zero $z/0=0$
再生核研究所声明188(2014.12.15)ゼロで割る(ゼロ除算)から観えてきた世界
再生核研究所声明190(2014.12.24)
再生核研究所からの贈り物 ― ゼロ除算100/0=0, 0/0=0
夜明け、新世界、再生核研究所 年頭声明
― 再生核研究所声明193(2015.1.1)―
再生核研究所声明194(2015.1.2)大きなイプシロン(無限小)、創造性の不思議
再生核研究所声明195(2015.1.3)ゼロ除算に於ける高橋の一意性定理について
再生核研究所声明196(2015.1.4)ゼロ除算に於ける山根の解釈100= 0x0について
ところが、気づいてみると、ゼロ除算は当たり前なのに、数学者たちが勝手に、割り算は掛け算の逆と思い込み、ゼロ除算は不可能であると 絶対的な真理であるかのように 烙印を押して、世界の人々も盲信してきた。それで、物理学者が そのために基本的な公式における曖昧さに困ってきた事情は ニュートンの万有引力の法則にさえ見られる。
さらに、誠に奇妙なことには、除算はその言葉が表すように、掛算とは無関係に考えられ、日本ばかりではなく西欧でも中世から除算は引き算の繰り返しで計算されてきた、古い、永い伝統がある。その考え方から、ゼロ除算は自明であると道脇裕氏と道脇愛羽さん6歳が(四則演算を学習して間もないときに)理解を示した ― ゼロ除算は除算の固有の意味から自明であり、ゼロで割ればゼロであるは数学的な真実であると言える(声明194)。数学、物理、文化への影響も甚大であると考えられる。
数学者は 数学の自由な精神で 好きなことで、考えられることは何でも考え、不可能を可能にし、分からないことを究め、真智を求めるのが 数学者の精神である。非ユークリッド幾何学の出現で 絶対は変わり得ることを学び、いろいろな考え方があることを学んできたはずである。そのような観点から ゼロ除算の解明の遅れは 奇妙な歴史的な事件である と言えるのではないだろうか。
これは、数学を超えた、真実であり、ゼロ除算は不可能であるとの 世の理解は間違っている と言える。そこで、真実を世界に広めて、人類の歴史を進化させるべきであると考える。特に声明176と声明185を参照。ゼロ除算は 堪らなく楽しい 新世界 を拓いていると考える。
以 上
0 件のコメント:
コメントを投稿