重力波を生んだ太古のブラックホール衝突を解明
太陽の96倍、60倍の二つの恒星が、それぞれブラックホールになり、衝突・合体した
2016.06.24
このエントリーをはてなブックマークに追加
宇宙の吸血鬼：O型星の連星の一方が他方から物質を吸い上げる様子の想像図。O型星は宇宙で最も高温で明るいタイプの恒星だ。LIGOが初めて検出した重力波も、こうした巨大な連星がそれぞれブラックホールになり、さらに合体することで発生した可能性がある。（IMAGE COURTESY ESO, M. KORNMESSER, S.E. DE MINK）
[画像のクリックで拡大表示]
はるか昔に2つのブラックホールがぶつかった際の衝撃が、時空のさざ波「重力波」として直接検出されたというニュースが、先日、大きな話題になった。これは、いわば古生物学者が誰も見たことのない画期的な化石を手にしたようなものだ。（参考記事：「重力波を発見、世紀の発見をもたらした壮大な物語」）
今、その「化石」を手掛かりに、モデルを使ったシミュレーションによって、衝突した太古のブラックホールの「生前」の姿を再現しようとする研究が進められている。
ブラックホールの衝突が最も頻繁だった
6月22日に科学誌『ネイチャー』に発表された論文によると、合体した2つのブラックホールは、もともとはお互いのまわりを軌道運動する2つの巨大な恒星で、質量はそれぞれ太陽の96倍と60倍で、ビッグバンから約20億年後に形成されたものだという。
その後、2つの恒星は別々の時期に死に、ともにブラックホールになって軌道運動を続けていたが、やがて渦を巻くように接近し、激突して合体した。（参考記事：「21年後に巨大ブラックホールが衝突へ」）
ブラックホールどうしの激突は巨大な衝撃波を引き起こし、それが時空のゆがみとなって波のように宇宙空間を伝わり、ついに2015年9月14日に地球を通過した。米国にあるLIGO（レーザー干渉計重力波天文台）が検出した重力波は、かつてこの連星が存在し、死んでいったことの唯一の証拠となった。
今回のシミュレーションは、見つかった重力波の成り立ちを明らかにするだけでない。ブラックホールどうしの合体が原因となる重力波が、ほかの原因（中性子星どうしの衝突やブラックホールと中性子星の衝突）による重力波に比べて頻繁に発生すること、つまり、今後検出される重力波の多くがこのタイプのものになることを示している。
ブラックホールどうしが合体する頻度についての彼らの見積もりが正しければ、2020年にLIGOの改良が終わって感度が向上した際には、年間1000件のブラックホールの合体が検出されるようになるという。そうなれば、重力波天文学者は太古のあらゆる種類のブラックホールを研究できるようになる。（参考記事：「太陽の120億倍、説明不能なブラックホール発見」）
英バーミンガム大学の天体物理学者イリヤ・マンデル氏は、今回の研究には関与していないが、「そう遠くない将来、『重力波古生物学』が始まるでしょう。古生物学者が恐竜の化石からその生前の姿や行動を知ることができるように、天文学者も、恒星が残した重力波から、その進化について知ることができるようになるのです」と言う。（参考記事：「2度目の重力波観測、天文学はいよいよ新時代へ」）
沈黙と闇の中で起こった衝突
先日検出された重力波は、異例の大きさのブラックホールどうしの合体によるものだった。今回発表されたモデルは、その理由を説明するのにも役立つ。
論文のシニアオーサーである米ロチェスター工科大学のリチャード・オショーネシー氏は、「私たちのモデルでは、ブラックホールの前身の2つの恒星は、やや特殊な領域にあったことになります」と言う。そこは、恒星の材料である水素とヘリウムのみからなる、重元素に汚染されていない巨大な雲の中だ。こうした原始的な領域で生まれた恒星には質量を失いにくいという特徴がある。
すでに述べたように、2つの恒星の質量は、それぞれ太陽の96倍と60倍だった。質量が大きい恒星ほど年をとるのが速いため、大きい方の恒星（恒星1とする）はどんどん年をとって膨れ上がり、その外層のガスは、小さくて若々しい兄弟（恒星2とする）の重力によって吸い上げられるようになる。（参考記事：「星を食らうブラックホール」）
やがて両者の質量は逆転し、恒星1はつぶれて太陽の約31倍の質量のブラックホールになった。
ブラックホールは恒星2のまわりを軌道運動しながら外層のガスを剥ぎ取り、恒星とともにガスの雲に包み込まれた。そして、巨大なミキサーのようにこの雲をかき混ぜながら、軌道運動をするためのエネルギーを失っていった。その結果、ブラックホールと恒星2の距離はどんどん小さくなり、ついには約6400万km（太陽から水星までの距離と同じくらい）まで近づいた。この頃に恒星2も死んで、太陽の31倍以上の質量を持つ巨大ブラックホールになった。
あとは沈黙だ。100億年もの間、2つのブラックホールはお互いのまわりを軌道運動し、エネルギーを放出しながら、さらに接近していった。そして今から約14億年前、2つのブラックホールはついに激しく衝突し、観察可能な宇宙のすべての恒星を合わせたよりも大量のエネルギーを放出した。
論文の筆頭著者であるポーランド、ワルシャワ大学のクリス・ベルチンスキー氏は、「宇宙最大級の爆発は、完全な沈黙と暗闇の中で起きたのです」と言う。（参考記事：「波長10億光年以上の重力波」）
文＝Michael Greshko／訳＝三枝小夜子http://natgeo.nikkeibp.co.jp/atcl/news/16/062400235/
再生核研究所声明１９６（2015.1.4）ゼロ除算に於ける山根の解釈100= 0ｘ0について
ゼロ除算 100/0=0 は 説明も不要で、記号を含めて 数学的に既に確定していると考える。 もちろん、そこでは100/0 の意味をきちんと捉え、確定させる必要がある。 100/0 は 割り算の自然な拡張として ある意味で定義されたが、 その正確な意味は微妙であり、いろいろな性質を調べることによって その意味を追求して行くことになる：
ゼロ除算の楽しい、易しい解説を次で行っている：
数学基礎学力研究会のホームページ
URLは
http://www.mirun.sctv.jp/~suugaku
100/0=0 というのであるから、それは 100= 0 ｘ0 というような意味を有するであろうかと 問うことは可能である。 もちろん、ｘ を普通の掛け算とすると0ｘ0 =0 となり、矛盾である。ところが山根正巳氏によって発見された解釈、物理的な解釈は絶妙に楽しく、深い喜びの情念を与えるのではないだろうか：
M. Kuroda, H. Michiwaki, S. Saitoh, and M. Yamane,
New meanings of the division by zero and interpretations on $100/0=0$ and on $0/0=0$, Int. J. Appl. Math. Vol. 27, No 2 (2014), pp. 191-198, DOI: 10.12732/ijam.v27i2.9.
等速で一直線上 異なる方向から、同じ一定の速さｖで、同じ質量ｍの物体が近づいているとする。 その時、2つの物体の運動エネルギーの積は
\begin{equation}
\frac{1}{2}m{ v}^2 \times \frac{1}{2}m{(- v)^2} =E^2.
\end{equation}
で 一定E^2である。
ところが2つの物体が衝突して止まれば、ｖは ともにゼロになり、衝突の後では見かけ上
\begin{equation}
0 \times 0 =E^2.
\end{equation}
となるのではないだろうか。 その時はE^2 は 熱エネルギーなどに変わって、エネルギー保存の法則は成り立つが、ある意味での掛け算が、ゼロ掛けるゼロになっている現象を表していると考えられる。 ゼロ除算はこのような変化、不連続性を捉える数学になっているのではないだろうか。 意味深長な現象を記述していると考える。
運動エネルギー、物質は数式上から消えて、別のものに変化した。 逆に考えると、形式上ないものが変化して、物とエネルギーが現れる。これはビッグバンの現象を裏付けているように感じられる。 無から有が出てきたのではなくて、何かの大きな変化をビッグバンは示しているのではないだろうか？
以 上
再生核研究所声明１９５（2015.1.3）ゼロ除算に於ける高橋の一意性定理について
ゼロで割る、ゼロ除算は 割り算が掛け算の逆と考えれば、不可能である事が簡単に証明されてしまう。しかるにゼロ除算はある自然な考え方でゼロになるということが発見されるや否や、ゼロ除算は除算の固有の意味から自明であるということと その一意性があっという間に証明されてしまった。ここでは創造性の実態、不思議な面に触れて、創造性の奇妙な観点をしっかり捉えて置きたい。― 背景の解説は 次を参照：
ゼロ除算の楽しい、易しい解説を次で行っている：
数学基礎学力研究会のホームページ
URLは
http://www.mirun.sctv.jp/~suugaku
道脇裕・愛羽 父・娘 氏たちの自明であるという解釈は 再生核研究所声明１９４で纏めたので、ここでは高橋の一意性定理を確認して置きたい。
まず、山形大学の高橋眞映 名誉教授によって与えられた 定理とその完全な証明を述べよう：
定理 Rを実数全体として、 Fを R ｘ R からRへの写像（２変数関数）で、全ての実数 a、ｂ、ｃ、ｄ に対して
F (a, b)F (c, d)= F (ac, bd)
および ｂ がゼロでない限り、
F (a, b) = a/b
とする。 このとき、 F (a, 0) = 0 が導かれる。
証明 実際、 F (a, 0) = F (a, 0)1 = F (a, 0)（2/2） = F (a, 0)F (2, 2) = F (ax 2, 0 x 2) = F (2a, 0) = F (2, 1)F (a, 0) = 2F (a, 0).。 よって F (a, 0) = 2F (a, 0)、ゆえに F (a, 0)=0。
この定理で、F (a, 0) を a/0 と定義するのは自然であり、実際、 そう定義する。 ここは大事な論点で、チコノフ正則化法や道脇方式で既にa/0が定義されていれば、もちろん、定理ではF (a, 0) ＝a/0 が導かれたとなる。
定理は 分数の積の性質 (a/b)(c/d) = (ac/bd) を持つもので、分数をゼロ除算に（分母がゼロの場合に）拡張する、如何なる拡張も ゼロに限る a/0=0 ことを示している。― これは、拡張分数の基本的な積の性質(a/b)(c/d) = (ac/bd)だけを仮定（要請）すると、ゼロ除算は ゼロに限る a/0=0ことを示しているので、その意義は 決定的であると考えられる。 この定理は千年以上の歴史を持つゼロ除算に 決定的な解を与えていると考えられる。
チコノフ正則化法や一般逆の方法では、一つの自然な考え方で導かれることを示しているだけで、いろいろな拡張の可能性を排除できない。道脇方式も同様である。 一意性定理とは、そもそも何、何で定まるとは、その、何、何が定める性質の本質を捉えていて、導いた性質の本質、そのものであると言える。高橋眞映教授の定理は 証明も簡潔、定理の意義は絶大であり、このような素晴らしい定理には、かつて会ったことがない。数学史上の異色の基本定理ではないだろうか。
ゼロ除算は、拡張分数が 直接、自明であるが、積の公式が成り立つと、積極的に性質を導いていることにも注目したい。（ゼロ除算は 新しい数学であるから、そのようなことまで、定義に従って検討する必要がある。）
ゼロ除算は 千年以上も、不可能であるという烙印のもとで, 世界史上でも人類は囚われていたことを述べていると考えられる。世界史の盲点であったと言えるのではないだろうか。 ある時代からの 未来人は 人類が 愚かな争いを続けていた事と同じように、人類の愚かさの象徴 と記録するだろう。 人は、我々の時代で、夜明けを迎えたいとは 志向しないであろうか。
数学では、加、減、そして、積は 何時でも自由にできた、しかしながら、ゼロで割れないという、例外が除法には存在したが、ゼロ除算の簡潔な導入によって、例外なく除算もできるという、例外のない美しい世界が実現できたと言える。
高橋の一意性定理だけで、数学はゼロ除算100/0=0,0/0＝0を確定せしめていると言えると考える。 実はこの大事な定理自身は 論文にもそのまま記述されたにも関わらず、共著者名に高橋の名前が高橋教授の希望で載っていない：
M. Kuroda, H. Michiwaki, S. Saitoh, and M. Yamane,
New meanings of the division by zero and interpretations on $100/0=0$ and on $0/0=0$, Int. J. Appl. Math. Vol. 27, No 2 (2014), pp. 191-198, DOI: 10.12732/ijam.v27i2.9.
ところが、 高橋教授がゼロ除算の一意性を証明したと 当時 アヴェイロ大学にポスドクで来ていた、イタリアのM. Dalla Riva博士に伝えたところ、そんな馬鹿な、反例を作ると猛然と挑戦したのであるが次々と失敗を続けていたが、帰る頃、驚いて高橋の結果は正しいと独自に定理を発見、証明した。― そこで、いろいろ経緯があって、共著で論文を書こうと提案していたところ、ゼロ除算そのものの研究の意味がないとして、論文と研究には参加せず、彼の結果は、齋藤のものとして良いとなった。彼らのあるグループ間では ゼロ除算は意味がないということで、意見が一致したというのである。これは数学が正しくても意味が無いという、見解の人たちが存在するという事実を述べている。そのような意見であったので、アヴェイロ大学では、ゼロ除算は研究できない状況になっていた。それらの思想、感覚は、アリストテレスの世界観が宗教のように深くしみわたっていて、universe は不連続なはずがないという事である。ゼロ除算における強力な不連続性は受け入れられない、ゼロ除算はまるで、恐ろしい魔物をみるように 議論しても、発表してもならないと 数学教室の責任者たちに念を押された事実を 真実の記録として、書き留めて置きたい。
独立に証明された、Riva氏と高橋教授は、自分たちの定理の重要性を認識していなかったように感じられる。 他方、齋藤は、最初から今もなお その素晴らしさに驚嘆して感銘させられている。
以 上
再生核研究所声明310（2016.06.29） ゼロ除算の自明さについて
人間の感性の観点から、ゼロ除算の自明さについて触れて置きたい。ゼロ除算の発見は誠に奇妙な事件である。まずは、近似の方法から自然に導かれた結果であるが、結果が全然予想されたことのない、とんでもないことであったので、これは何だと衝撃を受け、相当にその衝撃は続いた。まずは、数学的な論理に間違いがないか、厳重に点検を行い、それでも信じられなかったので、多くの友人、知人に意見を求めた。高橋眞映山形大学名誉教授のゼロ除算の一意性定理は大事だったので、特に厳重に検討した。多くの友人も厳重に時間をかけて検討した経過がよく思い出される。その他、いろいろな導入が発見されても、信じられない心境は１年を超えて続いたと言える。数学的に厳格に、論理的に確立しても 心情的に受け入れられない感情 が永く続いた。そのような心境を相当な人たちが抱いたことが国際的な交流でも良く分かる。中々受け入れらない、ゼロ除算の結果はそうだと受け入れられない、認められない空気であった。ゼロ除算の発展は世界史上の事件であるから、経過など出来るだけ記録するように努めてきた。
要するに、世界中の教科書、学術書、定説と全く違う結果が 世に現れたのである。慎重に、慎重に畏れを抱いて研究を進めたのは 当然である。
そこで、証拠のような具体例の発見に努めた。明確な確信を抱くために沢山の例を発見することとした。最初の２，３件の発見が特に難しかった。内容は次の論文に、招待され、出版された： http://www.ijapm.org/show-63-504-1.html ：
ゼロ除算を含む、山田体の発見、
原点の鏡像が（原点に中心をもつ円に関する）無限遠点でなく ゼロであること、
x,y直角座標系で y軸の勾配がゼロであること、
同軸２輪回転からの、ゼロ除算の物理的な意味付け、
これらの成果を日本数学会代数学分科会で発表し、また、ゼロ除算の解説(2015.1.14)を１０００部印刷広く配布してきた。２年間の時間の経過とともに我々の数学として、実在感が確立してきた。その後、広範にゼロ除算がいろいろなところに現れていることが沢山発見され、やがて、ゼロ除算は自明であり数学の初歩的な欠落部分であるとの確信を深めるようになってきている。
単に数学の理論だけでなく、いろいろな具体例が認識の有り様を、感性を変えることが分かる。そこで、何もかも分かったという心境に至るには、素朴な具体例で、何もかも当たり前であるという心理状況に至ることが大事であるが、それは、環境で心自体が変わる様をしめしている。本来１つの論文であった原稿は 招待されたため次の２つの論文に出版される：
(2016) Matrices and Division by Zero z/0 = 0. Advances in Linear Algebra
& Matrix Theory, 6, 51-58.
http://www.scirp.org/journal/alamt http://dx.doi.org/10.4236/alamt.2016.62007
Division by Zero z/0 = 0 in Euclidean Spaces：
International Journal of Mathematics and Computation 9 Vol. 28; Issue 1, 2017)。
沢山の具体例が述べられていて、ゼロ除算が基本的な数学であることは、既に確立していると考えられる。沢山の具体例が、そのような心境に至らしめている。
ゼロ除算の自明さを論理ではなく、簡単に 直感的な説明として述べたい。
基本的な関数y=1/xを考え、そのグラフを見よう。原点の値は考えないとしているが、考えるとすれば、値は何だろうか？ ゼロではないか と 思えば、ゼロ除算は正解である。それで十分である。その定義から、応用や意味付けを検討すれば良い。― 誰でも値は ゼロであると考えるのではないだろうか。中心だから、真ん中だから。あるいは平均値だからと考えるのではないだろうか。それで良い。
0/0=0 には違う説明が必要である。条件付き確率を考えよう。 A が起きたという条件の下で、B が起きる条件付き確率を考えよう。 その確率P(B|A) は AとBの共通事象ABの確率P(AB) と A が起きる確率P(A)との比 P(B|A)＝P(AB)/P(A) で与えられる。もし、Aが起きなければ、すなわち、P(A) =0 ならば、もちろん、P(AB) =0. 意味を考えても分かるようにその時当然、P(B|A) =0である。 すなわち、0/0=0は 当たり前である。
以 上
再生核研究所声明309（2016.06.28） 真無限と破壊 ― ゼロ除算
３辺の長さをa,b,cとする三角形を考える。その位置で、例えば、１辺bをどんどんのばしていく。一方向でも、双方向でも良い。どこまでも、どこまでも伸ばしていくとどうなるであろうか。bは限りなく長くなるが、結局、辺bは a, cの交点Bと平行な直線になって、 それ以上伸ばすことや長くすることはできないことに気づくだろう。正方向だけに伸びれば、辺cは辺bの方向と平行な半曲線に、負の方向に伸びれば、同様に辺aもBを通るbの方向と平行な半曲線になる。いずれの場合にも、bはそれ以上伸びないと言う意味で真無限の長さと表現できるだろう。もちろん、有限の長さではない。大事な観点は、ある意味で、もはやそれ以上伸びない、大きくならないという意味で、限りがあるとも言える無限である。
途中で作られる三角形の面積は辺cをどんどん伸ばしていくと、どんどん増加し、従来の数学では、面積は無限に発散すると表現してきた。平行線で囲まれる(？)面積、あるいは、平行線で囲まれる(？)部分を切った部分（一方向に辺cを伸ばした場合）は面積無限であると考えるだろう。ところがゼロ除算は、それらの面積はゼロであると述べている。 一般に、長さcをどんどん大きくしていくと、幾らでも大きくなって行くのに対して、真無限に至れば突然ゼロになるという結果がゼロ除算の大事な帰結である。 この現象は関数y=1/x の様子をxが正方向からゼロに近づいた状況を考えれば、理解できるだろう。 1/0=0 である。― c を無限に近づけた状況を知るには、1/c の原点での状況を見れば良い。
実に美しいことには、上記三角形の面積の状況は、３直線で囲まれた部分の面積を３直線を表す方程式で書いて、ゼロ除算の性質を用いると、解析幾何学的にも導かれるという事実である。ゼロ除算の結果を用いると、解析幾何学的に証明されるという事実である。
この事実は普遍的な現象として破壊現象の表現として述べられる。直方体の体積でも、１辺を真無限まで伸ばせば、体積はゼロである。円柱でも真無限まで伸ばせば、体積はゼロである。真無限まで行けば、もともとの形が壊れているためと自然に理解できるだろう。
円や球の場合にも、半径が真無限まで行けば、半平面や半空間になるから、同じように面積や体積がゼロになる。これらは、ゼロ除算と解析幾何学からも導かれ、ゼロ除算は基本的な数学であることが分かる。このことは、空間は、限りなく大きなものではないということをも述べていて、 楽しい。
以 上
再生核研究所声明308（2016.06.27） ゼロ除算とは何か、始めてのゼロ除算、ゼロで割ること
相当な記録、解説が蓄積されてきたので、外観する意味で表題の下で簡単に纏めて置こう。
先ず、ゼロ除算とは 加，減，乗，除の四則演算において 割る時にどうしてゼロで割れないかの問題を広く表す。ゼロで割ることを考えることである。西暦６２８年インドでゼロが文献上の記録として現れて以来議論されてきた。ある専門家によればアリストテレスが物理的にゼロ除算を最初に考え、不可能であるとされたという。割り算を掛け算の逆と考えれば、ゼロで割ることは 割られる数がゼロでなければ、不可能であることが簡単に証明されてしまうが、物理法則などには、分数式が現れて、分母がゼロである場合興味深いとして、現代でもいろいろ問題にされ、インターネット上をにぎわしている。この件では、ブラックホールの理論や相対性理論の関係からアインシュタインの人生最大の懸案の問題であるという言葉に象徴される。他の大きな関心として、計算機がゼロ除算にあって計算機障害を起こした事件から、ゼロ除算障害回避を目指して新しい数体系を考えている相当なグループが存在する。
このような永い歴史に対して、ゼロ除算を可能にする自然で簡単な体系が山田体として確立され、四則演算は 簡単な修正で ゼロ除算を含めていつでも可能であることが明らかになった。しかしながら、ここには分数，割り算の意味を自然に拡張して、可能になったという、新しい概念があるので、扱いには大いに気を付ける必要がある。分母がゼロである場合、ある意味で考えられるという、考え方である。ここは、従来、分数で、分母がゼロになる場合、微分学の基礎概念である、極限で考えるに対して、新しい意味付けを与える方法が発見された。これは、無限級数f(x) = \sum_{n= -\infty}^{\infty} C_n (x –a)^n に対して f(a)=C_0 と簡単に述べられる。具体例で述べれば、関数e^{xt}/(x^2)の原点における値はt^2/2として，関数cos(xt)/(x^3)の原点での値は恒等的にゼロとして意味を有する。このような値の実際的な意味が、幾何学、解析学、解析幾何学，微分方程式など広範に現れて、従来分母がゼロになる場合に避けてきたところ、いろいろな意味と解釈が可能であることが分かってきた。
新しい、状況とは何かであるが、第一には、我々の空間に対する考えに新しい世界が現れたことである。基本的な関数y=1/z の原点での値がゼロと定義されることから、従来無限遠点．無限と考えられていた想像上の点が 実はゼロで表されることになる。そこで、無限が関与する数学が改められることである。極限値として、+、マイナス、無限、あるいは複素平面で、無限は考えられるが、それらは定まった数ではなく、定まった数としての無限の存在を否定する数学になっている。
それで、古典的な結果、原点の原点に中心をもつ円に関する鏡像は 無限遠点ではなく、ゼロであること、無限遠点はゼロで表されることなど、 基本的な変更が 要求される。ゼロ除算は可能であり、我々の空間の認識は間違っているということになる。
解析関数は孤立特異点で、極と言って、無限遠点の値を取るという考えは改められ、特異点の近くで、幾らでも無限遠点の近くの値を取るものの、特異点では、有限確定値を取ると改められる。
このような有限確定値の具体的な意味付けがいろいろ現れた。顕著な例は、(x,y) 直交座標系で y軸の勾配はゼロで、微分学で微分係数が +、マイナス、無限として極限値が存在するとき、その時、微分係数はゼロであると定義すると、解析学も幾何学も上手く調和して、微分学の多くの公式が付加条件なしに一般的に成り立ち、解析幾何学と調和がとれていることが明らかにされた。数学の相当な部分の修正が必要であり、数学をより美しく、統一的にスッキリと纏められる。
典型的な例として、半径Rの円を考えてRを無限に飛ばすことを考えると、円の面積は当然、限りなく大きくなるが、Rが更には大きくできないとき、円の面積は突然ゼロになることが、解析幾何学とゼロ除算で導かれた。これはRが更には大きくできないときが、円板が半空間、円が直線になる場合で、半平面の面積がゼロであることを示している。このことはある大きな世界を覗かせていて、破壊現象の記述や無限の考え方に大きな変革をもたらす。平行線の概念と空間の概念は、新しい世界観であるから、次でより詳しく触れている：
再生核研究所声明306（2016.06.21）平行線公理、非ユークリッド幾何学、そしてゼロ除算
以 上
再生核研究所声明306（2016.06.21） 平行線公理、非ユークリッド幾何学、そしてゼロ除算
表題について、山間部を散歩している折り新鮮な感覚で、想いが湧いて来た。新しい幾何学の発見で、ボーヤイ・ヤーノシュが父に言われた 平行線の公理を証明できたら、地球の大きさ程のダイヤモンドほどの値打ちがあると言われて、敢然と証明に取り掛かった姿とその帰結である。また、ユークリッドが海岸を散歩しながら幾何学を建設していく情景が鮮やかに想い出された（Liwanovaの『新しい幾何学の発見』（のちに『ロバチェフスキーの世界』と改題）（東京図書刊行）。この件、既に声明に述べているので、まずは確認したい：
再生核研究所声明292(2016.03.25) ユークリッド幾何学、非ユークリッド幾何学、平行線公理、そしてゼロ除算（２０１６．３．２３ 朝、目を覚まして、情念と構想が閃いたものである。）
まず基本語をｳｲｷﾍﾟデｱで確認して置こう：
https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%A6%E3%82%AF%E3%83%AC%E3%82%A4%E3%83%87%E3%82%B9
アレクサンドリアのエウクレイデス（古代ギリシャ語: Εὐκλείδης, Eukleídēs、ラテン語: Euclīdēs、英語: Euclid（ユークリッド）、紀元前3世紀? - ）は、古代ギリシアの数学者、天文学者とされる。数学史上最も重要な著作の1つ『原論』（ユークリッド原論）の著者であり、「幾何学の父」と称される。プトレマイオス1世治世下（紀元前323年-283年）のアレクサンドリアで活動した。『原論』は19世紀末から20世紀初頭まで数学（特に幾何学）の教科書として使われ続けた。
https://ja.wikipedia.org/wiki/%E9%9D%9E%E3%83%A6%E3%83%BC%E3%82%AF%E3%83%AA%E3%83%83%E3%83%89%E5%
非ユークリッド幾何学の成立： ニコライ・イワノビッチ・ロバチェフスキーは「幾何学の新原理並びに平行線の完全な理論」(1829年)において、「虚幾何学」と名付けられた幾何学を構成して見せた。これは、鋭角仮定を含む幾何学であった。ボーヤイ・ヤーノシュは父・ボーヤイ・ファルカシュの研究を引き継いで、1832年、「空間論」を出版した。「空間論」では、平行線公準を仮定した幾何学（Σ）、および平行線公準の否定を仮定した幾何学（S）を論じた。更に、1835年「ユークリッド第 11 公準を証明または反駁することの不可能性の証明」において、Σ と S のどちらが現実に成立するかは、如何なる論理的推論によっても決定されないと証明した。
ユークリッド幾何学は ２０００年を超えて数学及び論理と あらゆる科学の記述の基礎になってきた。その幾何学を支える平行線の公理については、非ユークリッド幾何学の成立過程で徹底的に検討、議論され、逆に 平行線の公理がユークリッド幾何学の特徴的な仮定（仮説）で証明できない公理であることが明らかにされた。それとともに 数学とは何かに対する認識が根本的に変わり、数学とは公理系（仮説系）の上に建設された理論体系であって、絶対的な真理という概念を失った。
ここで焦点を当てたいのは 平行線の概念である。ユークリッド幾何学における平行線とは 任意の直線に対して、直線上以外の点を通って、それと交わらない直線のことで、平行線がただ１つ存在するというのがユークリッドの公理である。非ユークリッド幾何学では、そのような平行線が全然存在しなかったり、沢山存在する幾何学になっており、そのような幾何学は 実在し、現在も盛んに利用されている。
この平行線の問題が、ゼロ除算の発見1/0=0、台頭によって 驚嘆すべき、形相を帯びてきた。
ユークリッド自身、また、非ユークリッド幾何学の上記発見者たち、それに自ら深い研究をしていた天才ガウスにとっても驚嘆すべき事件であると考えられる。
何と ユークリッド空間で 平行線は ある意味で全て原点で交わっている という、現象が明らかにされた。
もちろん、ここで交わっていることの意味を 従来の意味にとれば、馬鹿馬鹿しいことになる。
そこで、その意味をまず、正確に述べよう。まずは、 イメージから述べる。リーマン球面に立体射影させると 全ユークリッド平面は 球面から北極点を除いた球面上に一対一に写される。そのとき、球面の北極点に対応する点が平面上になく、想像上の点として無限遠点を付け加えて対応させれば、立体射影における円、円対応を考えれば、平面上の平行線は無限遠点で交わっているとして、すっきりと説明され、複素解析学における基本的な世界観を与えている。平行線は無限遠点で 角ゼロ（度）で交わっている（接している）も立体射影における等角性で保証される。あまりの美しさのため、１００年を超えて疑われることはなく、世の全ての文献はそのような扱いになっていて数学界の定説である。
ところがゼロ除算1/0=0では 無限遠点は空間の想像上の点として、存在していても、その点、無限遠点は数値では ゼロ（原点）に対応していることが明らかにされた。 すなわち、北極（無限遠点）は南極（原点）と一致している。そのために、平行線は原点で交わっていると解釈できる。もちろん、全ての直線は原点を通っている。
この現象はユークリッド空間の考えを改めるもので、このような性質は解析幾何学、微積分学、複素解析学、物理学など広範に影響を与え、統一的に新しい秩序ある世界を構成していることが明らかにされた。２２００年を超えて、ユークリッド幾何学に全く新しい局面が現れたと言える。
平行線の交わりを考えてみる。交わる異なる２直線を１次方程式で書いて、交点の座標を求めて置く。その座標は、平行のとき、分母がゼロになって、交点の座標が求まらないと従来ではなっていたが、ゼロ除算では、それは可能で、原点（０，０）が対応すると解釈できる。ゼロ除算と解析幾何学からの帰結である。上記幾何学的な説明が、ゼロ除算で解析幾何学的にも導かれる。
一般の円の方程式を２次関数で表現すれば、(x^2+y^2) の係数がゼロの場合、直線の一般式になるが、ゼロ除算を用いると、それが保証されるばかりか、直線の中心は 原点である、直線も点円も曲率がゼロであることが導かれる。もちろん、ゼロ除算の世界では、全ての直線は原点を通っている。このとき、原点を無限遠点の映った影ともみなせ、原点はこのような意味で もともとの原点とこの意味での点としての、２重性を有し、この概念は今後大きな意味を有することになるだろう。
ゼロ除算1/0=0は ユークリッド幾何学においても、大きな変革を求めている。
以上
上記で、数学的に大事な観点は、ユークリッド自身そうであったが、平行線公理は真理で、証明されるべきもの、幾何学は絶対的な真理であると非ユークリッド幾何学の出現まで、考えられてきたということである。2000年を超える世界観であった事実である。そこで、平行線の公理を証明しようと多くの人が挑戦してきたが、非ユークリッド幾何学の出現まで不可能であった。実は、証明できない命題であったという全く意外な帰結であった。真に新しい、概念、世界観であった。証明できない命題の存在である。それこそ、世界観を変える、驚嘆すべき世界史上の事件であったと言える。
この事件に関してゼロ除算の発見は、全く異なる世界観を明らかにしている。ユークリッドそして、非ユークリッド幾何学の3人の発見者にとって、全く想像ができなかった、新しい事実である。平行線が 無限の先で交わっているとは ユークリッドは考えなかったと思われるが、近代では、無限の先で交わっていると考えられて来ている。― これには、アーベル、オイラー、リーマンなどの考えが存在する。このような考えは、ここ100年以上、世界の常識、定説になっている。ところがゼロ除算では、無限遠点は 数ではゼロが対応していて、平行線は代数的に原点で交わっている、すべての直線は代数的に原点を通っているという解釈が成り立つことを示している。
ユークリッドの幾何学の建設時の想い、ボーヤイ・ヤーノシュの激しい挑戦の様を、 想い を 深く、いろいろ想像している。
以 上
Matrices and Division by Zero z/0 = 0
http://file.scirp.org/pdf/ALAMT_2016061413593686.pdf
0 件のコメント:
コメントを投稿