アルファ碁同士の棋譜公開 碁界騒然「見たことない」
大出公二
2017年6月2日17時24分
世界最強棋士との三番勝負で完勝した囲碁ＡＩ（人工知能）「アルファ碁」を開発したグーグル傘下の英ディープマインド社が、対局に備えて積み重ねたアルファ碁同士による自己対戦の棋譜５０局を公開した。棋士の理解を超える着手の連続に、「こんな碁はいまだかつて見たことがない」と碁界は騒然としている。
革新的な技術「ディープラーニング（深層学習）」を導入したアルファ碁は、高段者の棋譜を写真のように画像として読み込み、各局面に応じた好手を学習。人間の残す棋譜だけでは教材が足りず、アルファ碁同士が自己対戦を繰り返して能力を高めたが、その棋譜はほとんど非公表だった。
アルファ碁は５月２３～２７日、中国の世界最強棋士、柯潔（かけつ）九段を３戦全勝で圧倒。その後、ディープマインド社は「囲碁ファンへのスペシャルギフト」として棋譜５０局を自社のホームページに公開した。
手数が進んだ特殊な状況に限り有効とされていた「星への三々（さんさん）入り」を序盤の早いうちに互いに打ち合ったり、双方の石がぶつかり合って手抜きがしにくい接触戦のさなかに戦いを放置して他方面に転戦したり。これまでの常識では考えられない着手の連続にプロ棋士らは驚愕（きょうがく）した。
とても興味深く読みました：人工知能（AI）はゼロ除算ができるでしょうか： ∞？？？ ∞は定まった数ではない：
再生核研究所声明366（2017.5.16）微分方程式論の不備 ― 不完全性
（2017.5.14.9 時頃 山間部を散歩している時に 自然に構想が湧いた。）
数学の論理の厳格さ、厳密性は ジョルダンの閉曲線定理 が有名であるが、デデキンドの連続性公理、ワイエルシュトラスの最大値、最小値の存在定理、中間値の定理なども有名である。数学専攻学生の初期における ゼミナールの指導精神は、厳格な論理的思考の訓練にあると考えられる。この態度は 数学者の精神の基礎で、世情でも数学者との論争は手ごわいと見られているのではないだろうか。論理に隙や飛躍がないからである。逆に見ると、数学者が確立した理論は 恰も不滅の、不変の真理のように思われている、考えられているのではないだろうか。
この観点で、日本の著名な代表著書 高木貞治氏の解析概論は、模範的な数学書で、完璧な記述でまるで芸術作品のようである。
年々数学の著書が数多く出版されているが、著者たちは まずは、間違いのない記述に気を遣ってきていると考えられる。
ここ２年くらい、ゼロ除算の発見で、主に初等数学、学部レベルの教科書を相当参照してきている。実際、ゼロ除算が 数学にどのような影響を与えるかの基礎を見るには、基礎的な数学への関係を見れば、基本的な状況が捉えられると考えたからである。
ゼロ除算の影響は、初等幾何学、解析幾何学、線形代数学、微積分学、微分方程式、複素解析学、力学など広範囲に及び、初等数学全般に及ぶことが明らかにされてきた。
ところが、数学の多くの著書のうちでも、微分方程式論では、現在の版でも相当に隙や論理の飛躍、扱いの不統一さなど、数学書としては 他の分野の著書に比べて ちぐはぐ、隙だらけに見えて来た。微分方程式論は不完全な状況であると言える。このことを簡潔に、具対的に指摘したい。未知の相当な世界にも触れたい。
先ず、微分方程式の定義である。普通は導関数を含む方程式を微分方程式と称する。このとき導関数とは何だろうか。関数に微分係数を対応させて、微分によって導かられた関数が導関数であるから、微分方程式には関数が定義されていなくてはならない。普通は１変数関数ならばxの関数 y=f(x) などと考え、その導関数を含む方程式を考えるだろう。例として考えられるのは、原点を中心とする半径aの円群が満たす例として多くの教科書の初期に 微分方程式の例が挙げられる。このとき、円はy軸に平行な接線を持つから その点で微分係数は存在しないと考えられるから、ただでは円群の満たす微分方程式とは言えず、微分方程式を満たさない点が存在することになってしまう。数学としては初めから、格好が悪いと言える。多くの微分方程式でこのことは広く問題になる。― ここの説明を上手くするために 都合の悪いところで、独立変数と従属変数を変えて、そこで考えれば良いという意見を頂いたが、少し人為的、最初の議論としてはあまり良いとは言えないのではないだろうか。
ところがゼロ除算で考えると、何とy軸に平行な接線の接点で、関数は微分可能で、微分係数の値、勾配はゼロであることが ゼロ除算の拓いた重要な知見、結果である。すると、微分方程式 dy/dx= - x/y は至るところで、円によって満たされるとなる。念のため、(a,0) で (dy/dx)(a)= - a/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…
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12276045402.html
1/0=0、0/0=0、z/0=0
再生核研究所声明 １４８（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/
再生核研究所声明255 (2015.11.3) 神は、平均値として関数値を認識する
(２０１５．１０．３０．０７：４０
朝食後 散歩中突然考えが閃いて、懸案の問題が解決した：
どうして、ゼロ除算では、ローラン展開の正則部の値が 極の値になるのか？
そして、一般に関数値とは何か 想いを巡らしていた。
解決は、驚く程 自分の愚かさを示していると呆れる。 解は 神は、平均値として関数値を認識すると纏められる。実際、解析関数の場合、上記孤立特異点での関数値は、正則の時と全く同じく コ－シーの積分表示で表されている。 解析関数ではコ－シーの積分表示で定義すれば、それは平均値になっており、この意味で考えれば、解析関数は孤立特異点でも 関数値は 拡張されることになる ― 原稿には書いてあるが、認識していなかった。
連続関数などでも関数値の定義は そのまま成り立つ。平均値が定義されない場合には、いろいろな意味での平均値を考えれば良いとなる。解析関数の場合の微分値も同じように重み付き平均値の意味で、統一的に定義でき、拡張される。 いわゆるくりこみ理論で無限値（部）を避けて有限値を捉える操作は、この一般的な原理で捉えられるのではないだろうか。２０１５．１０．３０．０８：２５)
上記のようにメモを取ったのであるが、基本的な概念、関数値とは何かと問うたのである。関数値とは、関数の値のことで、数に数を対応させるとき、その対応を与えるのが関数でよく f 等で表され x 座標の点 x をy 座標の点 yに対応させるのが関数 y = f(x) で、放物線を表す２次関数 y=x^2, 直角双曲線を表す分数関数 y=1/x 等が典型的な例である。ここでは 関数の値 f(x) とは何かと問うたものである。結論を端的に表現するために、関数y=1/xの原点x=0における値を問題にしよう。 このグラフを思い出して、多くの人は困惑するだろう。なぜならば、x が正の方からゼロに近づけば 正の無限に発散し、xが負の方からゼロに近づけば負の無限大に発散するからである。最近発見されたゼロ除算、ゼロで割ることは、その関数値をゼロと解釈すれば良いという簡単なことを言っていて、ゼロ除算はそれを定義とすれば、ゼロ除算は 現代数学の中で未知の世界を拓くと述べてきた。しかし、これは誰でも直感するように、値ゼロは、 原点の周りの値の平均値であることを知り、この定義は自然なものであると 発見初期から認識されてきた。ところが、他方、極めて具体的な解析関数 W = e^{1/z} = 1 + 1/z + 1/2!z^2 + 1/3!z^3 +……. の点 z=0 における値がゼロ除算の結果１であるという結果に接して、人は驚嘆したものと考えられる。複素解析学では、無限位数の極、無限遠点の値を取ると考えられてきたからである。しかしながら、上記の考え、平均値で考えれば、値１をとることが 明確に分かる。実際、原点のコーシー積分表示をこの関数に適用すれば、値１が出てくることが簡単に分かる。そもそも、コーシー積分表示とは 関数の積分路上（簡単に点の周りの円周上での、 小さな円の取り方によらずに定まる）で平均値を取っていることに気づけば良い。
そこで、一般に関数値とは、考えている点の周りの平均値で定義するという原理を考える。
解析関数では 平均値が上手く定義できるから、孤立特異点で、逆に平均値で定義して、関数を拡張できる。しかし、解析的に延長されているとは言えないことに注意して置きたい。 連続関数などは 平均値が定義できるので、関数値の概念は 今までの関数値と同じ意味を有する。関数族では 平均値が上手く定義できない場合もあるが、そのような場合には、平均値のいろいろな考え方によって、関数値の意味が異なると考えよう。この先に、各論の問題が派生する。
以 上
Reality of the Division by Zero $z/0=0$
再生核研究所声明292(2016.03.2５) ユークリッド幾何学、非ユークリッド幾何学、平行線公理、そしてゼロ除算
（２０１６．３．２３ 朝、目を覚まして、情念と構想が閃いたものである。）
まず基本語をｳｲｷﾍﾟディアで確認して置こう：
アレクサンドリアのエウクレイデス（古代ギリシャ語: Εὐκλείδης, 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は ユークリッド幾何学においても、大きな変革を求めている。
以上
Matrices and Division by Zero z/0 = 0
0 件のコメント:
コメントを投稿