【歴史的偉業】67歳おじいちゃんが数学上の未解決問題を“歯磨き中”に解決！ 徹底解説「ガウスの相関予想（GCC）」
半世紀にわたって世界中の数学者を苦しめてきた超難問「ガウスの相関予想（以下GCC）」の簡単な解決方法をおじいちゃん（67）がお風呂で歯磨き中に「思いついてしまった」とのニュースが飛び込んできた！
■数学最難問の1つ「ガウスの相関予想」が解決される
ローエン氏「Daily Mail」より引用
そもそも「GCC」（または「ガウスの相関不等式（GCI）」）とは一体どんな問題なのだろうか？ 専門外の素人では聞いたことさえない問題だが、実は幾何学、確率論、統計学の分野をまたぎ、まだ証明が得られない数学的超難問として半世紀にわたり君臨してきた予想だという。それを今回、ドイツ人数理統計学者トーマス・ローエン氏が、“お風呂で歯磨き中”に“ぼーっと考え事をしていたら”解けてしまったというから驚きだ。
日本語の情報がほぼないため、正確な記述は困難を極めるが、英紙「Daily Mail」（4月5日付）の記事を参考にローエン氏の偉業をわかり易く解説してみよう。
GCCのもととなった命題は1950年代に初めて提唱され、1970年に現在知られている形へとまとめられた。これを数学的に表現すると、「尾平均値が０の任意のn次元ガウス測度μとn次元ユークリッド空間の任意の対称な凸部分集合A、Bに対して、μ(A∩B)≧μ(A)×μ(B)が、成り立つ」となる予想である。ガウス測度とは、我々が通常“確率”と呼ぶ「確率測度」を満たす測度のことだが、専門的になるのでざっくり確率のことだと思ってもらいたい。
それにしても、このままではなんとも抽象的で分かりにくい。ダーツを例にとって簡単に考えてみよう（ダーツを例にとるのはガウス測度を満たす正規分布を作るためだが、細かいことは省略する）。 (下図参照：n=2、A：円板、B：長方形の板)。
画像は「Daily Mail」より引用
このように長方形の板の上にダーツの円盤を置いた場合、先ほどの不等式は次のように翻訳される。
「的にむかってダーツを投げた時、円板と長方形の板との重なった部分に刺さる確率は、円板だけに刺さる確率と長方形の板だけに刺さる確率の積以上になる」
一体どうしてこの不等式が成立すると思ったのか皆目検討もつかないが、予想されてしまったのだからしょうがない。この問題は一般的に現代の解析学で取り扱われるが、ローエン氏は古典的な統計学の手法を用いて解決してしまった。さらに彼のすごいところは、元の予想よりも一般化された問題へと拡張した上で、解決してしまった点だといえるだろう。通常、ある問題を一般化するとより複雑になるものだが、もともとGCCで予想されていた問題をより一般化することで逆に見通しが良くなったということだ。証明方法も実にエレガントなもので、たった数ページの論文におさまったという。
ただしダーツの例は、n次元であるものを2次元で表現し、任意である凸集合を円板と長方形の板というもので考えたものなので、ローエン氏が証明したものとは厳密には異なる（ローエン氏が解決した問題の方がはるかに難しい）。http://tocana.jp/2017/04/post_12877_entry.html
数学の王様ガウス
再生核研究所声明 １４８（2014.2.12） 100/0=0, 0/0=0 － 割り算の考えを自然に拡張すると ― 神の意志
１００割る０ の意味を質問されたが（なぜ １００÷０は１００ではないのか？ なぜ １００÷１は１００なのか… ０とは何...aitaitokidakenimoさん）、これは、定義によれば、その解、答えが有るとして、a と仮に置けば、 １００＝a ｘ０ = ０ で矛盾、すなわち、解は、答えは存在しないとなる。
方程式 a ｘ０= b は b=０ でなければ 解は無く、答えが求まらない。（特に、bが０ならば、解 a は 何でも良いと言うことに成る。）
解が、存在しなかったり、沢山の解が有ったりすると言う、状況である。
そこで、何時でも解が存在するように、しかも唯一つに定まるように、さらに 従来成り立っていた結果が そのまま成り立つように（形式不変の原理）、割り算の考えを拡張できないかと考えるのは、数学では よくやることである。数学の世界を 美しくしたいからである。
実際、文献の論文で 任意関数で割る概念を導入している。
現在の状況では、b 割るa の意味を ax – b の２乗を最小にする x で、しかも x の２乗を最小にする数 x で定義する。後半の部分が無いと、a が０の場合 x が定まらない。後半が有ると０として、唯一つに定まる。この意味で割り算の意味を考えれば、１００割る０は ０ であるとなる。
上記で もちろん、２乗を最小にする の最小値が０である場合が、 普通の割り算の解、
b 割るa を与える。
もちろん、我々の意味で、０割る０は 曖昧なく、解は唯一つに定まって、０となる。
f 割る g を ロシアの著名な数学者 チコノフの考えた正則化法 と 再生核の理論 を併用すると 一般的な割り算を 任意関数g で定義できて、上記の場合は、１００割る０は ０ という解に成る。
すなわち、解が存在しなかった場合に、割り算の意味を 自然に拡張すると 唯一つに解は存在して それは０であると言う、結果である。
上記で、ax – b の２乗を最小にする x で、と考えるのは、近似の考え方から、極めて自然と考えられるが、さらに、x の２乗を最小にする数 x とは、神は、最も簡単なものを選択する、これはエネルギー最小のもの、できれば横着したい という 世に普遍的に存在する 神の意志 が現れていると考えられる（光は、最短時間で到達するような経路で進むという ― フェルマーの原理）、神が２を愛している、好きだ とは 繰り返し述べてきた（神は ２を愛し給う）（http://www.jams.or.jp/kaiho/kaiho-81.pdf）。
これで、０で割るときの心配が無くなった。この考えの 実のある展開と応用は多い。
― 哲学とは 真智への愛 であり、真智とは 神の意志 のことである。哲学することは、人間の本能であり、それは 神の意志 であると考えられる。愛の定義は 声明１４６で与えられ、神の定義は 声明１２２と１３２で与えられている。―
以 上
文献：
Castro, L.P.; Saitoh, S. Fractional functions and their representations. Complex Anal. Oper. Theory 7, No. 4, 1049-1063 (2013).
ゼロの発見には大きく分けると二つの事が在ると言われています。
一つは数学的に、位取りが出来るということ。今一つは、哲学的に無い状態が在るという事実を知ること。http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1462816269
世界中で、ゼロ除算は 不可能 か
可能とすれば ∞ だと考えられていたが・・・
しかし、ゼロ除算 はいつでも可能で、解は いつでも０であるという意外な結果が得られた。
原点を中心とする単位円に関する原点の鏡像は、どこにあるのでしょうか・・・・
∞ では
無限遠点はどこにあるのでしょうか・・・・・
無限遠点は存在するが、無限大という数は存在しない・・・・
ゼロ除算（1/0=0）は、ピタゴラスの定理（a2 + b2 = c2 ）を超えた基本的な結果であると考えられる。
地球平面説→地球球体説
天動説→地動説
何年かかったでしょうか????
1/0=∞若しくは未定義 →1/0=0
何年かかるでしょうか????
Title page of Leonhard Euler, Vollständige Anleitung zur Algebra, Vol. 1 (edition of 1771, first published in 1770), and p. 34 from Article 83, where Euler explains why a number divided by zero gives infinity.
もし1+1=2を否定するならば、どのような方法があると思いますか？ http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q12153951522 #知恵袋_
一つの無限と一つの∞を足したら、一つの無限で、二つの無限にはなりません。
割り算のできる人には、どんなことも難しくない
世の中には多くのむずかしいものがあるが、加減乗除の四則演算ほどむずかしいものはほかにない。
ベーダ・ヴェネラビリス
数学名言集：ヴィルチェンコ編：松野武 山崎昇 訳大竹出版1989年
数学で「A÷０」（ゼロで割る）がダメな理由を教えてください。 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1411588849 #知恵袋_
割り算を掛け算の逆だと定義した人は、誰でしょう？？？
0×0=0・・・・・・・・・だから0で割れないと考えた。
唯根拠もなしに、出鱈目に言っている人は世に多い。
multiplication・・・・・増える 掛け算（×） 1より小さい数を掛けたら小さくなる。 大きくなるとは限らない。
ビッグバン宇宙論と定常宇宙論について、http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1243254887 #知恵袋_
ゼロ除算（100/0=0, 0/0=0）が、当たり前だと最初に言った人は誰でしょうか・・・・ 1+1=2が当たり前のように
『ゼロをめぐる衝突は、哲学、科学、数学、宗教の土台を揺るがす争いだった』 ⇒ http://ameblo.jp/syoshinoris/entry-12089827553.html … … →ゼロ除算（100/0=0, 0/0=0）が、当たり前だと最初に言った人は誰でしょうか・・・ 1+1=2が当たり前のように、
1÷0=0 １÷0＝∞・・・・数ではない １÷0＝不定・未定義・・・・狭い考え方をすれば、できない人にはできないが、できる人にはできる。
明治5年（1872）
ゼロ除算の証明・図｜ysaitoh｜note（ノート） https://note.mu/ysaitoh/n/n2e5fef564997
Ｑ）ピラミッドの高さを無限に高くしたら体積はどうなるでしょうか？？？ Ａ）答えは何と0です。 ゼロ除算の結果です。
ゼロ除算は1+1より優しいです。 何でも0で割れば、０ですから、簡単で美しいです。 1+1=２は 変なのが出てくるので難しいですね。
∞÷0はいくつですか・・・・・・・
∞とはなんですか・・・・・・・・
分からないものは考えられません・・・・・
1人当たり何個になるかと説いていますが、1人もいないのですから、その問題は意味をなさない。
よってこれは、はじめから問題になりません。
ついでですが、これには数学的に確定した解があって それは0であるという事が、最近発見されました。
Reality of the Division by Zero z/0 = 0
Einstein's Only Mistake: Division by Zero
０を引いても引いたことにならないから：
君に０円の月給を永遠に払いますから心配しないでください：
再生核研究所声明１７１（2014.7.30）掛け算の意味と割り算の意味 ― ゼロ除算100/0=0は自明である？
（2014.7.11小柴誠一、山根正巳氏との会合で、道脇裕氏の 割り算と掛け算は別であり、ゼロ除算100/0=0は自明であるとの考えを分析して得た考えを纏めたものである。）
ゼロ除算100/0=0は2014.2.2 偶然に論文出筆中に 原稿の中で発見したものである。チコノフ正則化法の応用として、自然に分数、割り算を拡張して得られたものであるが、歴史上不可能であるとされていること、結果がゼロであると言う意味で、驚嘆すべきことであること、さらに、高校生から小学生にも分る内容であると言う意味で、極めて面白い歴史的な事件と言える。そればかりか、物理学など世界の理解に大きな影響を与えることも注目される。詳しい経過などは 一連の声明を参照：
再生核研究所声明１４８（2014.2.12）100/0=0, 0/0=0 － 割り算の考えを自然に拡張すると ― 神の意志
再生核研究所声明１５４（2014.4.22）新しい世界、ゼロで割る、奇妙な世界、考え方
再生核研究所声明１５７（2014.5.8）知りたい 神の意志、ゼロで割る、どうして 無限遠点と原点が一致しているのか？
再生核研究所声明１６１（2014.5.30）ゼロ除算から学ぶ、数学の精神 と 真理の追究
再生核研究所声明１６３（2014.6.17）ゼロで割る（零除算）－ 堪らなく楽しい数学、探そう零除算 ― 愛好サークルの提案
再生核研究所声明１６６（2014.6.20）ゼロで割る（ゼロ除算）から学ぶ 世界観
しかるに いろいろな人たちと広く議論しているところであるが、世界の指導的な数学者でさえ、高校生でも理解できる発表済みの論文 その後の結果について、現代数学の常識を変えるものであり、受け入れられない、と言ってきている。まことに不思議なことであり、如何に驚くべき結果であるかを示していると言える。
多くの数学者は、内容を理解せず、100/0=0 は100=0 x 0 =0 で矛盾であると即断している。しかるに論文は 100/0 は 割り算の意味を自然に拡張するとゼロの結果を得るのであって、ゼロ除算の結果は 100=0 x 0 =0を意味しないと説明している。 逆に、無限大、無限遠点は数と言えるかと問うている。
ところが面白いことに 既に３月１８日付文書で、道脇裕氏は 掛け算と割り算は別であり、ゼロ除算100/0は 自明であると述べていた。しかし、その文書は、一見すると
矛盾や間違いに満ちていたので、詳しく分析してこなかった。しかるに上記７月１１日の会合で、詳しい状況を聞いて、道脇氏の文書を解読して、始めて道脇氏の偉大な考えに気づいた。結論は、ゼロ除算100/0は分数、割り算の固有の意味から、自明であると言うことである。これはチコノフ正則化法や一般逆とは関係なく、分数、割り算の意味から、自明であるというのであるから、驚嘆すべき結果である。千年を越えて、未明であった真実を明らかにした意味で、極めて面白い知見である。またそれは、割り算が掛け算の逆であり、ゼロ除算は不可能であるという長い囚われた考えから、解放した考えであると評価できる。
原理は日本語の表現にあるという、掛け算は 足し算で定義され、割り算は 引き算で定義されるという。割り算を考えるのに 掛け算の考えは不要であるという。
実際、2 x3 は ２＋２＋２＝６と繰り返して加法を用いて計算され、定義もできる。
割り算は、問題になっているので、少し詳しく触れよう。
声明は一般向きであるから、本質を分かり易く説明しよう。 そのため、ゼロ以上の数の世界で考え、まず、100/2を次のように考えよう：
100-2-2-2-,...,-2.
ここで、2 を何回引けるかと考え、いまは 50 回引いてゼロになるから分数は50であると考える。１００を２つに分ければ５０である。
次に 3/2 を考えよう。まず、
3 - 2 = 1
で、余り1である。そこで、余り1を10倍して、 同様に
10-2-2-2-2-2=0
であるから、10/2=５ となり
3/2 =１＋０．５＝ １．５
とする。３を２つに分ければ、１．５である。
これは筆算で割り算を行うことを 減法の繰り返しで考える方法を示している。a がゼロでなければ、分数b/aは 現代数学の定義と同じに定義される。
そこで、100/0 を上記の精神で考えてみよう。 まず、
100 - 0 = 100,
であるが、０を引いても １００は減少しないから、何も引いたことにはならず、引いた回数は、ゼロと解釈するのが自然ではないだろうか （ここはもちろん数学的に厳格に そう定義できる）。ゼロで割るとは、１００を分けないこと、よって、分けられた数もない、ゼロであると考えられる。 この意味で、分数を定義すれば、分数の意味で、
１００割るゼロはゼロ、すなわち、100/0=0である。（ここに、絶妙に面白い状況がある、０をどんどん引いても変わらないから、無限回引けると解釈すると、無限とも解釈でき、ゼロ除算は ０と無限の不思議な関係を長く尾を引いている。）
同様に０割る０は ゼロであること0/0=0が簡単に分かる。
上記が千年以上も掛かったゼロ除算の解明であり、 ニュートンやアインシュタインを悩ましてきたゼロ除算の簡単な解決であると 世の人は、受けいれられるであろうか？
いずれにしても、ゼロ除算z/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.
S. Saitoh, Generalized inversions of Hadamard and tensor products for matrices, Advances in Linear Algebra \& Matrix Theory. Vol.4 No.2 (2014), 87-95.http://www.scirp.org/journal/ALAMT/
再生核研究所声明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.pdf DOI:10.12732/ijam.v27i2.9.
再生核研究所声明359（2017.3.20） ゼロ除算とは何か ― 本質、意義
ゼロ除算の理解を進めるために ゼロ除算とは何か の題名で、簡潔に表現して置きたい。 構想と情念、想いが湧いてきたためである。
基本的な関数y=1/x を考える。 これは直角双曲線関数で、原点以外は勿論、値、関数が定義されている。問題はこの関数が、x=0 で どうなっているかである。結論は、この関数の原点での値を ゼロと定義する ということである。 定義するのである。定義であるから勝手であり、従来の定義や理論に反しない限り、定義は勝手であると言える。原点での値を明確に定義した理論はないから、この定義は良いと考えられる。それを、y=1/0=0 と記述する。ゼロ除算は不可能であるという、数学の永い定説に従って、1/0 の表記は学術書、教科書にもないから、1/0=0 の記法は 形式不変の原理、原則 にも反しないと言える。― 多くの数学者は注意深いから、1/0=\infty の表記を避けてきたが、想像上では x が 0 に近づいたとき、限りなく 絶対値が大きくなるので、複素解析学では、表現1/0=\infty は避けても、1/0=\infty と考えている事は多い。（無限大の記号がない時代、アーベルなどもそのような記号を用いていて、オイラーは1/0=\inftyと述べ、それは間違いであると指摘されてきた。 しかしながら、無限大とは何か、数かとの疑問は 続いている。）。ここが大事な論点である。近づいていった極限値がそこでの値であろうと考えるのは、極めて自然な発想であるが、現代では、不連続性の概念 が十分確立されていて、極限値がそこでの値と違う例は、既にありふれている。― アリストテレスは 連続性の世界観をもち、特にアリストテレスの影響を深く受けている欧米の方は、この強力な不連続性を中々受け入れられないようである。無限にいくと考えられてきたのが突然、ゼロになるという定義になるからである。 しかしながら、関数y=1/xのグラフを書いて見れば、原点は双曲線のグラフの中心の点であり、美しい点で、この定義は魅力的に見えてくるだろう。
定義したことには、それに至るいろいろな考察、経過、動機、理由がある。― 分数、割り算の意味、意義、一意性問題、代数的な意味づけなどであるが、それらは既に数学的に確立しているので、ここでは触れない。
すると、定義したからには、それがどのような意味が存在して、世の中に、数学にどのような影響があるかが、問題になる。これについて、現在、初等数学の学部レベルの数学をゼロ除算の定義に従って、眺めると、ゼロ除算、すなわち、 分母がゼロになる場合が表現上現れる広範な場合に 新しい現象が発見され、ゼロ除算が関係する広範な場合に大きな影響が出て、数学は美しく統一的に補充，完全化されることが分かった。それらは現在、３８０件以上のメモにまとめられている。しかしながら、世界観の変更は特に重要であると考えられる：
複素解析学で無限遠点は その意味で1/0=0で、複素数0で表されること、アリストテレスの連続性の概念に反し、ユークリッド空間とも異なる新しい空間が 現れている。直線のコンパクト化の理想点は原点で、全ての直線が原点を含むと、超古典的な結果に反する。更に、ゼロと無限の関係が明らかにされてきた。
ゼロ除算は、現代数学の初等部分の相当な変革を要求していると考えられる。
以 上
付記： The division by zero is uniquely and reasonably determined as 1/0=0/0=z/0=0 in the natural extensions of fractions. We have to change our basic ideas for our space and world
Division by Zero z/0 = 0 in Euclidean Spaces
Hiroshi Michiwaki, Hiroshi Okumura and Saburou Saitoh International Journal of Mathematics and Computation Vol. 28(2017); Issue 1, 2017), 1 -16.
http://www.scirp.org/journal/alamt http://dx.doi.org/10.4236/alamt.2016.62007
http://www.ijapm.org/show-63-504-1.html
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
http://www.ijapm.org/show-63-504-1.html
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
Relations of 0 and infinity
Hiroshi Okumura, Saburou Saitoh and Tsutomu Matsuura：
http://www.e-jikei.org/…/Camera%20ready%20manuscript_JTSS_A…
http://www.e-jikei.org/…/Camera%20ready%20manuscript_JTSS_A…
0 件のコメント:
コメントを投稿