米国のレーザー干渉計型重力波検出器「LIGO」が世界で初めて、ブラックホール同士の合体から発生した重力波を検出した。アインシュタインが一般相対性理論を発表し重力波の存在を予測してから100年、ついにその時が訪れ、重力波天文学の新しい窓が開いた。
【2016年2月12日 LIGO Caltech／NSF】
質量を持つ物体が存在するとその周囲の時空はゆがみ、物体が運動することで時空のゆがみが光速で広がっていく。この「時空のゆがみの伝播＝重力波」の存在はアインシュタインが1915年から1916年にかけて発表した一般相対性理論によって予測され、中性子星の連星の合体や超新星爆発、ブラックホールなどから発生すると考えられてきたが、これまで直接検出されたことはなかった。
その予測からほぼ100年となる昨年9月14日、米・ワシントン州ハンフォードとルイジアナ州リビングストンに設置されているレーザー干渉計型重力波検出器「LIGO」によって、ついに重力波が世界で初めて検出された。
検出された重力波は、約13億年前に太陽の29倍の質量と36倍の質量を持つブラックホール同士が合体して1つのブラックホールが作られた際、太陽3個分の質量がエネルギーに変換され放出されたものだ。重力波源の方向は特定できていないが、リビングストンではハンフォードに比べて7ミリ秒早く現象が記録されていることから、南半球がわの空域と思われる。
ハンフォード（上）とリビングストン（中）で記録された信号のグラフ。それぞれ太線が測定値、細線が理論値を表し、横軸は時間、縦軸はゆがみの量（1.0は「1000億の100億倍」分の1）。一番下は2か所のデータの時間のずれなどを揃えたもの（提供：LIGO Caltech）
一般相対性理論によると、互いの周りを回るブラックホールのペアは重力波を放出してエネルギーを失いながら、数十億年かけて徐々に接近していく。そして最後の瞬間、ブラックホール同士は光速のほぼ半分もの速度で衝突し、質量の一部がエネルギーに変換され重力波となって放出される。それが、今回LIGOが検出したものだ。従来の装置をアップグレードして行われた、最初の観測で見つかったものである。
ブラックホール同士の衝突のシミュレーション動画（提供：SXS）
1974年、Joseph Taylor Jr.とRussell Hulseが中性子星の連星系を発見し、8年後の1982年にTaylorとJoel M. Weisbergがその連星系の軌道がゆっくりと収縮していることを明らかにした。軌道が縮んだのはエネルギーが重力波として放出されているためであり、これは重力波の存在を間接的に証明するものである。TaylorとHulseは連星発見により1993年のノーベル物理学賞を受賞している。そして今回の検出は、重力波の存在を「直接的に示した」ものだ。
「重力波の検出は、新しい時代の始まりです。重力波天文学がやっと現実のものとなったのです」（米・ルイジアナ州立大学 Gabriela Gonzalézさん）。
「アインシュタインに直接報告ができたら、最高でしょうね」（1980年代にLIGOを重力波検出器として最初に提案したチームの一員で、現・マサチューセッツ工科大学名誉教授 Rainer Weissさん）。
「この発見によって人類は、新たな探求へ乗り出す時が来ました」（現・カリフォルニア工科大学名誉教授、1980年代Weissさんと同チームだったKip Thorneさん）。http://www.astroarts.co.jp/article/hl/a/720
再生核研究所声明 277(2016.01.26)：アインシュタインの数学不信 ― 数学の欠陥
（山田正人さん：散歩しながら、情念が湧きました：２０１６．１．１７．１０時ころ 散歩中）
西暦６２８年インドでゼロが記録され、四則演算が考えられて、１３００年余、ようやく四則演算の法則が確立された。ゼロで割れば、何時でもゼロになるという美しい関係が発見された。ゼロでは割れない、ゼロで割ることを考えてはいけないは １０００年を超える世界史の常識であり、天才オイラーは それは、1/0は無限であるとの論文を書き、無限遠点は 複素解析学における１００年を超える定説、確立した学問である。割り算を掛け算の逆と考えれば、ゼロ除算が不可能であることは 数学的に簡単に証明されてしまう。
しかしながら、ニュートンの万有引力の法則，アインシュタインの特殊相対性理論にゼロ除算は公式に現れていて、このような数学の常識が、物理的に解釈できないジレンマを深く内蔵してきた。そればかりではなく、アリストテレスの世界観、ゼロの概念、無とか、真空の概念での不可思議さゆえに２０００年を超えて、議論され、そのため、ゼロ除算は 神秘的な話題 を提供させてきた。実際、ゼロ除算の歴史は ニュートンやアインシュタインを悩ましてきたと考えられる。
ニュートンの万有引力の法則においては ２つの質点が重なった場合の扱いであるが、アインシュタインの特殊相対性理論においては ローレンツ因子 にゼロになる項があるからである。
特にこの点では、深刻な矛盾、問題を抱えていた。
特殊相対性理論では、光速の速さで運動しているものの質量はゼロであるが、光速に近い速さで運動するものの質量（エネルギー）が無限に発散しているのに、ニュートリノ素粒子などが、光速に極めて近い速度で運動しているにも拘わらず 小さな質量、エネルギーを有しているという矛盾である。
そこで、この矛盾、ゼロ除算の解釈による矛盾に アインシュタインが深刻に悩んだものと思考される。実際 アインシュタインは 数学不信を公然と 述べている：
What does Einstein mean when he says, "I don't believe in math"?
アインシュタインの数学不信の主因は アインシュタインが 難解で抽象的な数学の理論に嫌気が差したものの ゼロ除算の間違った数学のためである と考えられる。（次のような記事が見られるが、アインシュタインが 逆に間違いをおかしたのかは 大いに気になる：Sunday, 20 May 2012
簡単なゼロ除算について １３００年を超える過ちは、数学界の歴史的な汚点であり、物理学や世界の文化の発展を遅らせ、それで、人類は 猿以下の争いを未だに続けていると考えられる。
数学界は この汚名を速やかに晴らして、数学の欠陥部分を修正、補充すべきである。 そして、今こそ、アインシュタインの数学不信を晴らすべきときである。数学とは本来、完全に美しく、永遠不滅の、絶対的な存在である。― 実際、数学の論理の本質は 人類が存在して以来 どんな変化も認められない。数学は宇宙の運動のように人間を離れた存在である。
再生核研究所声明で述べてきたように、ゼロ除算は、数学、物理学ばかりではなく、広く人生観、世界観、空間論を大きく変え、人類の夜明けを切り拓く指導原理になるものと思考される。
以 上
Impact of ‘Division by Zero’ in Einstein’s Static Universe and Newton’s Equations in Classical Mechanics. Ajay Sharma physicsajay@yahoo.com Community Science Centre. Post Box 107 Directorate of Education Shimla 171001 India
Key Words Aristotle, Universe, Einstein, Newtonhttp://gsjournal.net/Science-Journals/Research%20Papers-Relativity%20Theory/Download/2084
再生核研究所声明 278(2016.01.27)： 面白いゼロ除算の混乱と話題
Googleサイトなどを参照すると ゼロ除算の話題は 膨大であり、世にも珍しい現象と言える(division by zero: 約298 000 000結果（0.51秒）
検索結果
https://en.wikipedia.org/wiki/ Division_by_zero
数学では、ゼロ除算は、除数（分母）がゼロである部門です。このような部門が正式に配当である/ 0をエスプレッソすることができます(2016.1.19.13:45)).
問題の由来は、西暦６２８年インドでゼロが記録され、四則演算が考えられて、１３００年余、ゼロでは割れない、ゼロで割ることを考えてはいけないは １０００年を超える世界史の常識であり、天才オイラーは それは、1/0は無限であるとの論文を書き、無限遠点は 複素解析学における１００年を超える定説、確立した学問である。割り算を掛け算の逆と考えれば、ゼロ除算が不可能であることは 数学的に簡単に証明されてしまう。しかしながら、アリストテレスの世界観、ゼロの概念、無とか、真空の概念での不可思議さゆえに２０００年を超えて、議論され、そのため、ゼロ除算は 神秘的な話題 を提供させてきた。
確定した数学に対していろいろな存念が湧き、話題が絶えないことは 誠に奇妙なことと考えられる。ゼロ除算には 何か問題があるのだろうか。
先ず、多くの人の素朴な疑問は、加減乗除において、ただひとつの例外、ゼロで割ってはいけないが、奇妙に見えることではないだろうか。例外に気を惹くは 何でもそうであると言える。しかしながら、より広範に湧く疑問は、物理の基本法則である、ニュートンの万有引力の法則，アインシュタインの特殊相対性理論に ゼロ除算が公式に現れていて、このような数学の常識が、物理的に解釈できないジレンマを深く内蔵してきた。実際、ゼロ除算の歴史は ニュートンやアインシュタインを悩ましてきたと考えられる。
ニュートンの万有引力の法則においては ２つの質点が重なった場合の扱いであるが、アインシュタインの特殊相対性理論においては ローレンツ因子 にゼロになる項があるからである。
特にこの点では、深刻な矛盾、問題を抱えていた。
特殊相対性理論では、光速の速さで運動しているものの質量はゼロであるが、光速に近い速さで運動するものの質量（エネルギー）が無限に発散しているのに、ニュートリノ素粒子などが、光速に極めて近い速度で運動しているにも拘わらず 小さな質量、エネルギーを有しているという矛盾である。それゆえにブラックホール等の議論とともに話題を賑わしてきている。最近でも特殊相対性理論とゼロ除算、計算機科学や論理の観点でゼロ除算が学術的に議論されている。次のような極めて重要な言葉が残されている：
George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as the biggest blunder of his life [1]：
1. Gamow, G., My World Line (Viking, New York). p 44, 1970
スマートフォン等で、具体的な数字をゼロで割れば、答えがまちまち、いろいろなジョーク入りの答えが出てくるのも興味深い。しかし、計算機がゼロ除算にあって、実際的な障害が起きた：
ヨークタウン (ミサイル巡洋艦)ヨークタウン(USS Yorktown, DDG-48/CG-48)は、アメリカ海軍のミサイル巡洋艦。タイコンデロガ級ミサイル巡洋艦の2番艦。艦名はアメリカ独立戦争のヨークタウンの戦いにちなみ、その名を持つ艦としては5隻目。
艦歴[編集]
1997年9月21日バージニア州ケープ・チャールズ沿岸を航行中に、乗組員がデータベースフィールドに0を入力したために艦に搭載されていたRemote Data Base Managerでゼロ除算エラーが発生し、ネットワーク上の全てのマシンのダウンを引き起こし2時間30分にわたって航行不能に陥った。 これは搭載されていたWindows NT 4.0そのものではなくアプリケーションによって引き起こされたものだったが、オペレーティングシステムの選択への批判が続いた。[1]
2004年12月3日に退役した。
出典・脚注[編集]
1. ^ Slabodkin, Gregory (1998年7月13日). “Software glitches leave Navy Smart Ship dead in the water”. Government Computer News. 2009年6月18日閲覧。
これはゼロ除算が不可能であるから、計算機がゼロ除算にあうと、ゼロ除算の誤差動で重大な事故につながりかねないことを実証している。それでゼロ除算回避の数学を考えている研究者もいる。論理や計算機構造を追求して、代数構造を検討したり、新しい数を導入して、新しい数体系を提案している。
確立している数学について話題が尽きないのは、思えば、ゼロ除算について、何か本質的な問題があるのだろうかと考えられる。 火のないところに煙は立たないという諺がある。 ゼロ除算は不可能であると 考えるか、無限遠点の概念、無限か と考えるのが 数百年間を超える数学の定説であると言える。
ところがその定説が、 思いがけない形で、完全に覆り、ゼロ除算は何時でも可能で、ゼロで割れば何時でもゼロになるという美しい結果が ２０１４．２．２ 発見された。 結果は３篇の論文に既に出版され、日本数会でも発表され、大きな２つの国際会議でも報告されている。 ゼロ除算の詳しい解説も次で行っている：
○ 堪らなく楽しい数学-ゼロで割ることを考える(18)
○ 堪らなく楽しい数学-ゼロで割ることを考える(18)
数学基礎学力研究会のホームページ
URLは
また、再生核研究所声明の中でもいろいろ解説している。
以 上
再生核研究所声明312（2016.07.14） ゼロ除算による 平成の数学改革を提案する
アリストテレス以来、あるいは西暦６２８年インドにおけるゼロの記録と、算術の確立以来、またアインシュタインの人生最大の懸案の問題とされてきた、ゼロで割る問題 ゼロ除算は、本質的に新しい局面を迎え、数学における基礎的な部分の欠落が明瞭になってきた。ここ７０年を越えても教科書や学術書における数学の基礎的な部分の変更は かつて無かった事である。
そこで、最近の成果を基に現状における学術書、教科書の変更すべき大勢を外観して置きたい。特に、大学学部までの初等数学において、日本人の寄与は皆無であると言えるから、日本人が数学の基礎に貢献できる稀なる好機にもなるので、数学者、教育者など関係者の注意を換気したい。― この文脈では稀なる日本人数学者 関孝和の業績が世界の数学に活かせなかったことは 誠に残念に思われる。
先ず、数学の基礎である四則演算において ゼロでは割れない との世の定説を改め、自然に拡張された分数、割り算で、いつでも四則演算は例外なく、可能であるとする。山田体の導入。その際、小学生から割り算や分数の定義を除算の意味で 繰り返し減法（道脇方式）で定義し、ゼロ除算は自明であるとし 計算機が割り算を行うような算法で 計算方法も指導する。― この方法は割り算の簡明な算法として児童に歓迎されるだろう。
反比例の法則や関数y=1/xの出現の際には、その原点での値はゼロであると 定義する。その広範な応用は 学習過程の進展に従って どんどん触れて行くこととする。
いわゆるユークリッド幾何学の学習においては、立体射影の概念に早期に触れ、ゼロ除算が拓いた新しい空間像を指導する。無限、無限の彼方の概念、平行線の概念、勾配の概念を変える必要がある。どのように、如何に、カリキュラムに取り組むかは、もちろん、慎重な検討が必要で、数学界、教育界などの関係者による国家的取り組み、協議が必要である。重要項目は、直角座標系で ｙ軸の勾配はゼロであること。真無限における破壊現象、接線などの新しい性質、解析幾何学との美しい関係と調和。すべての直線が原点を代数的に通り、平行な２直線は原点で代数的に交わっていること。行列式と破壊現象の美しい関係など。
大学レベルになれば、微積分、線形代数、微分方程式、複素解析をゼロ除算の成果で修正、補充して行く。複素解析学におけるローラン展開の学習以前でも形式的なローラン展開(負べき項を含む展開)の中心の値をゼロ除算で定義し、広範な応用を展開する。特に微分係数が正や負の無限大の時、微分係数をゼロと修正することによって、微分法の多くの公式や定理の表現が簡素化され、教科書の結構な記述の変更が要求される。媒介変数を含む多くの関数族は、ゼロ除算 算法で統一的な視点が与えられる。多くの公式の記述が簡単になり、修正される。
複素解析学においては 無限遠点はゼロで表現されると、コペルニクス的変更（無限とされていたのが実はゼロだった）を行い、極の概念を次のように変更する。極、特異点の定義は そのままであるが、それらの点の近傍で、限りなく無限の値に近づく値を位数まで込めて取るが、特異点では、ゼロ除算に言う、有限確定値をとるとする。その有限確定値のいろいろ幾何学な意味を学ぶ。古典的な鏡像の定説；原点の 原点を中心とする円の鏡像は無限遠点であるは、誤りであり、修正し、ゼロであると いろいろな根拠によって説明する。これら、無限遠点の考えの修正は、ユークリッド以来、我々の空間に対する認識の世界史上に置ける大きな変更であり、数学を越えた世界観の変更を意味している。― この文脈では天動説が地動説に変わった歴史上の事件が想起される。
ゼロ除算は 物理学を始め、広く自然科学や計算機科学への大きな影響が期待される。しかしながら、ゼロ除算の研究成果を教科書、学術書に遅滞なく取り入れていくことは、真智への愛、真理の追究の表現であり、四則演算が自由にできないとなれば、人類の名誉にも関わることである。ゼロ除算の発見は 日本の世界に置ける顕著な貢献として世界史に記録されるだろう。研究と活用の推進を 大きな夢を懐きながら 要請したい。
以 上
追記：
(2016) Matrices and Division by Zero z/0 = 0. Advances in Linear Algebra & Matrix Theory, 6, 51-58.
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdfDOI:10.12732/ijam.v27i2.9.
再生核研究所声明316（2016.08.19） ゼロ除算における誤解
（２０１６年８月１６日夜，風呂で、ゼロ除算の理解の遅れについて 理由を纏める考えが独りでに湧いた。）
６歳の道脇愛羽さんたち親娘が３週間くらいで ゼロ除算は自明であるとの理解を示したのに、近い人や指導的な数学者たちが１年や２年を経過してもスッキリ理解できない状況は 世にも稀なる事件であると考えられる。ゼロ除算の理解を進めるために その原因について、掘り下げて纏めて置きたい。
まず、結果を聞いて、とても信じられないと発想する人は極めて多い。割り算の意味を自然に拡張すると1/0=0/0=z/0 となる、関数y=1/xの原点における値がゼロであると結果を表現するのであるが、これらは信じられない、このような結果はダメだと始めから拒否する理由である。
先ずは、ゼロでは割れない、割ったことがない、は全ての人の経験で、ゼロの記録Brahmagupta(598– 668?) 以来の定説である。しかも、ゼロ除算について天才、オイラーの1/0を無限大とする間違いや、不可能性についてはライプニッツ、ハルナックなどの言明があり、厳格な近代数学において確立した定説である。さらに、ゼロ除算についてはアインシュタインが最も深く受け止めていたと言える：（George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} ：Gamow, G., My World Line (Viking, New York). p 44, 1970.）。
一様に思われるのは、割り算は掛け算の逆であり、直ぐに不可能性が証明されてしまうことである。ところが、上記道脇親娘は 割り算と掛け算は別であり、割り算は、等分の考えから、掛け算ではなく、引き算の繰り返し、除算で定義されるという、考えで、このような発想から良き理解に達したと言える。
ゼロで割ったためしがないので、ゼロ除算は興味も、関心もないと言明される人も多い。
また、割り算の（分数の）拡張として得られた。この意味は結構難しく、何と、1/0=0/0=z/0 の正確な意味は分からないというのが 真実である。論文ではこの辺の記述は大事なので、注意して書いているが 真面目に論文を読む者は多いとは言えないないから、とんでもない誤解をして、矛盾だと言ってきている。1/0=0/0=z/0 らが、普通の分数のように掛け算に結びつけると矛盾は直ぐに得られてしまう。したがって、定義された経緯、意味を正確に理解するのが 大事である。数学では、定義をしっかりさせる事は基本である。― ゼロ除算について、情熱をかけて研究している者で、ゼロ除算の定義をしっかりさせないで混乱している者が多い。
次に関数y=1/xの原点における値がゼロである は 実は定義であるが、それについて、面白い見解は世に多い。アリストテレス（Aristotelēs、前384年 - 前322年3月7日）の世界観の強い影響である。ゼロ除算の歴史を詳しく調べている研究者の意見では、ゼロ除算を初めて考えたのはアリストテレスで真空、ゼロの比を考え、それは考えられないとしているという。ゼロ除算の不可能性を述べ、アリストテレスは 真空、ゼロと無限の存在を嫌い、物理的な世界は連続であると考えたという。西欧では アリストテレスの影響は大きく、聖書にも反映し、ゼロ除算ばかりではなく、ゼロ自身も受け入れるのに１０００年以上もかかったという、歴史解説書がある。ゼロ除算について、始めから国際的に議論しているが、ゼロ除算について異様な様子の背景にはこのようなところにあると考えられる。関数y=1/xの原点における値が無限に行くと考えるのは自然であるが、それがx=0で突然ゼロであるという、強力な不連続性が、感覚的に受け入れられない状況である。解析学における基本概念は 極限の概念であり、連続性の概念である。ゼロ除算は新規な現象であり、なかなか受け入れられない。
ゼロ除算について初期から交流、意見を交わしてきた２０年来の友人との交流から、極めて基本的な誤解がある事が、２年半を越えて判明した。勿論、繰り返して述べてきたことである。ゼロ除算の運用、応用についての注意である。
具体例で注意したい。例えば簡単な関数 y=x/(x -1) において x=1 の値は 形式的にそれを代入して 1/0=0 と考えがちであるが、そのような考えは良くなく、y = 1 + 1/(x -1) からx=1 の値は1であると考える。関数にゼロ除算を適用するときは注意が必要で、ゼロ除算算法に従う必要があるということである。分子がゼロでなくて、分母がゼロである場合でも意味のある広い世界が現れてきた。現在、ゼロ除算算法は広い分野で意味のある算法を提起しているが、詳しい解説はここでは述べないことにしたい。注意だけを指摘して置きたい。
ゼロ除算は アリストテレス以来、あるいは西暦６２８年インドにおけるゼロの記録と、算術の確立以来、またアインシュタインの人生最大の懸案の問題とされてきた、ゼロで割る問題 ゼロ除算は、本質的に新しい局面を迎え、数学における基礎的な部分の欠落が明瞭になってきた。ここ７０年を越えても教科書や学術書における数学の基礎的な部分の変更は かつて無かった事である。と述べ、大きな数学の改革を提案している：
再生核研究所声明312（2016.07.14） ゼロ除算による 平成の数学改革を提案する
以 上
0 件のコメント:
コメントを投稿