ゼロ除算についてあらためて考える
テーマ：プログラマの算数
小学生の頃だったろうか。「10 をゼロで割るとどうなるか？」という先生の質問に悩んだことがある。友達のひとりは「割り切れない」と答え、私はわけもわからずに関心した。
しかし、結局、正解は「ゼロで割り算をしてはいけない」というものだった。そんな問題出すんじゃないよ！ これでは、「割り切れない」ではなく「やりきれない」ではないか。
★
普通の生活で、ゼロでの割り算をしなければならないような状況はないので、そんなことを気にする人は少ないかもしれない。しかし、プログラマにとって、ゼロ除算の回避は常識である。
プログラムがゼロ除算をすれば、その時点でエラーを出して異常終了してしまう。このため、プログラマが割り算を「書く」場合には、割る側の値（除数）がゼロにならないように、細心の注意を払う必要がある（※１）。簡単そうに思われるかもしれないが、除数が変数だったり関数の戻り値だったりすれば、なかなか大変なのである。
★
さて、そもそも「ゼロで割り算をしてはいけない」理由はなんだろうか。簡単な数字の計算なのに。
プログラミングの世界でよく目にする説明は、「ゼロ除算の結果の値は無限大（負の場合はマイナス無限大）になり、扱いきれなくなるため」というものだ。割り算では、除数が（正の数なら）小さくなるほど答えは大きくなるのだから、除数が０なら答えは「無限大」になるというわけだ。確かに、一般的にプログラムで扱う数値は有限（例えば、Ｃ言語の int なら INT_MIN～INT_MAX）なので、無限大は表現できない。
プログラマとしての理解はそんなところで十分かもしれない。私もその程度に考えていたが、今まで特に不都合はなかった。しかし、厳密には、これでは説明になっていないらしい。
★
調べているうちに、分かりやすい資料を見つけた。∫Integral Interval∫ さんの「０で割ってはいけない世界 」（PDF）である。
資料によれば、そもそも「無限大」は数ではない。数だとすると、「無限大＋１」という計算ができるはずだが、その時点で、無限大より大きい数が出来てしまうことになり、おかしなことになる。「無限大」は数ではなく「状態」だというのだ（※２）。
また、割り算の除数を正の数からどんどん小さくしていけば、答えはどんどん大きくなるが、逆に負の数から大きくしていけば小さくなる。つまり、除数がゼロになった時点で、答えは「プラス無限大」であると同時に「マイナス無限大」でもある、というおかしなことになるのだ。
つまり、「無限大」という得体の知れない言葉では、説明したことにならないというわけだ。では、どう説明すべきか ・・・ ということについては、上記資料を参照いただきたい。結局のところ、ゼロ除算を認めるとゼロ以外の数が扱えなくなってしまうということらしい。
確かに、無理やりゼロ除算の答えを出そうとすると、矛盾が発生する。例えば、仮に「１÷０＝ａ」とすると、「１＝ａ×０」が成立するはずだが、ゼロは何に掛けても０なので、「１＝０」となってしまうのである。
★
普段、何気なく順守してきた「ゼロ除算禁止のルール」だが、調べてみると奥が深かった。学生時代に文系であった私は、数学的知識は少ない方だ。今になってその面白さの一端に触れた気がする。
再生核研究所声明１９９（2015.1.15） 世界の数学界のおかしな間違い、世界の初等教育から学術書まで間違っていると言える ― ゼロ除算100/0=0,0/0=0
ゼロ除算は 西暦６２８年インドでゼロが文献に記録されて以来、問題とされてきた。ゼロ除算とは、ゼロで割ることを考えることである。これは数学の基本である、四則演算、加法、減法、乗法、除法において、除法以外は何時でも自由にできるのに、除法の場合だけ、ゼロで割ることができないという理由で、さらに物理法則を表す多くの公式にゼロ除算が自然に現れていることもあって、世界各地で、今でも絶えず、問題にされていると考えられる。― 小学生でも どうしてゼロで割れないのかと毎年、いろいろな教室で問われ続いているのではないだろうか.
これについては、近代数学が確立された以後でも、何百年を越えて 永い間の定説として、ゼロ除算は 不可能であり、ゼロで割ってはいけないことは、初等教育から、中等、高校、大学そして学術界、すなわち、世界の全ての文献と理解はそうなっている。変えることのできない不変的な法則のように理解されていると考えられる。
しかるに２０１４年２月２日 ゼロ除算は、可能であり、ゼロで割ればゼロであることが、偶然発見された。その後の経過、背景や意味付け等を纏めてきた：
再生核研究所声明 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.1５）ゼロで割る（ゼロ除算）から観えてきた世界
再生核研究所声明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= 0ｘ0について
ところが、気づいてみると、ゼロ除算は当たり前なのに、数学者たちが勝手に、割り算は掛け算の逆と思い込み、ゼロ除算は不可能であると 絶対的な真理であるかのように 烙印を押して、世界の人々も盲信してきた。それで、物理学者が そのために基本的な公式における曖昧さに困ってきた事情は ニュートンの万有引力の法則にさえ見られる。
さらに、誠に奇妙なことには、除算はその言葉が表すように、掛算とは無関係に考えられ、日本ばかりではなく西欧でも中世から除算は引き算の繰り返しで計算されてきた、古い、永い伝統がある。その考え方から、ゼロ除算は自明であると道脇裕氏と道脇愛羽さん６歳が（四則演算を学習して間もないときに）理解を示した ― ゼロ除算は除算の固有の意味から自明であり、ゼロで割ればゼロであるは数学的な真実であると言える（声明１９４）。数学、物理、文化への影響も甚大であると考えられる。
数学者は 数学の自由な精神で 好きなことで、考えられることは何でも考え、不可能を可能にし、分からないことを究め、真智を求めるのが 数学者の精神である。非ユークリッド幾何学の出現で 絶対は変わり得ることを学び、いろいろな考え方があることを学んできたはずである。そのような観点から ゼロ除算の解明の遅れは 奇妙な歴史的な事件である と言えるのではないだろうか。
これは、数学を超えた、真実であり、ゼロ除算は不可能であるとの 世の理解は間違っている と言える。そこで、真実を世界に広めて、人類の歴史を進化させるべきであると考える。特に声明１７６と声明１８５を参照。ゼロ除算は 堪らなく楽しい 新世界 を拓いていると考える。
以 上
再生核研究所声明２００（2015.1.16） ゼロ除算と複素解析の現状 ―佐藤超関数論との関係が鍵か？
正確に次のように公開して複素解析とゼロ除算の研究を開始した：
特異点解明の歩み100/0=0,0/0=0 関係者：
複素解析学では、1/0として、無限遠点が存在して、美しい世界です。しかしながら、1/0=0 は 動かせない真実です。それで、勇気をもって進まざるを得ない：― 哲学とは 真智への愛 であり、真智とは 神の意志 のことである。哲学することは、人間の本能であり、それは 神の意志 であると考えられる。愛の定義は 声明１４６で与えられ、神の定義は 声明１２２と１３２で与えられている。― 再生核研究所声明１４８．
私には 無理かと思いますが、世の秀才の方々に 挑戦して頂きたい。空論に付き合うのはまっぴらだ と考える方も多いかと思いますが、面白いと考えられる方で、楽しく交流できれば幸いです。宜しくお願い致します。 添付 物語を続けたい。敬具 齋藤三郎
２０１４．４．１．１１：１０
上記で、予想された難問、 解析関数は、孤立特異点で確定値をとる、が 自分でも予想しない形で解決でき、ある種の実体を捉えていると考えたのであるが、この結果自体、世のすべての教科書の内容を変える事件であるばかりではなく、確立されている無限遠点の概念に 新しい解釈を与えるもので、１次変換の美しい性質が、ゼロ除算の導入によって、任意の１次変換は 全複素平面を全複素平面に１対１ onto に写すという美しい性質に変わるが、 極である１点において不連続性が現れ、ゼロ除算は、無限を 数から排除する数学になっている。
６月、帰国後、気に成っていた、金子晃先生の ３０年以上前に購入した超函数入門の本に 極めて面白い記述があり、佐藤超関数とゼロ除算の面白い関係が出てきた。さらに 特異積分におけるアダマールの有限部分や、コーシーの主値積分は、弾性体やクラック、破壊理論など広い世界で、自然現象を記述するのに用いられているが、面白いのは 積分が、もともと有限部分と発散部分に分けられ、 極限は 無限たす、有限量の形になっていて、積分は 実は、普通の積分ではなく、そこに現れる有限量を便宜的に表わしている。ところが、その有限量が実は、 ゼロ除算にいう、 解析関数の孤立特異点での 確定値に成っていることが分かった。これはゼロ除算の結果が、広く、自然現象を記述していることを示している。
現在まで、添付２１ページの論文原稿について 慎重に総合的に検討してきた。
そこで、問題の核心、ゼロ除算の発展の基礎は、次の論点に有るように感じられてきた：
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 の現象として示していることである。
以 上
0 件のコメント:
コメントを投稿