再生核研究所声明 456(2018.10.15): ゼロ除算算法発見の瞬間

再生核研究所声明 456(2018.10.15):  ゼロ除算算法発見の瞬間

最後に添付するが　ゼロ除算算法の重要性のゆえに　ゼロ除算算法発見の瞬間　を回想して　記録を確かなものにしたい。

ゼロ除算算法は　解析学、幾何学など初等数学全般に広い影響を与え、　アリストテレス、ユークリッド以来の世界を拓き、微分の概念さえ変え、特に微分方程式論は　この新しい概念、算法のゆえに　大きな改変が求められている。

ここで、ゼロ除算算法とは要するに孤立特異点をもつ解析関数において孤立特異点での値をローラン展開の正則部の初項　係数C_0　で定義することで、形式的に1/0=0/0=z/0=0 の結果を考慮しながら結果を吟味しつつ応用して行くということである。ゼロ除算算法は　本質的には定義であり、仮説であり、その重要性のゆえに公理のようなものである。

世にゼロ除算は大丈夫かの疑念が有るように感じられるので、上記のように特に吟味を要請している。良い成果を得る限りにおいて大いに楽しもうと提案している。既に、沢山の驚嘆すべき良い結果を得ている。

そこで、その発見の瞬間を振り返って置きたい。　下記の最初の記録は　発見後　宿舎に戻って　直ぐにブログに書いた貴重な記録である。

学内構内にある宿舎から歩いて３０分くらいのところにある　ジンボーという大きなショッピングセンターを　週に2回くらい歩いて行き、　買い物をして　宿舎に戻る習慣がありました。　当然、週末はよく行きます。　給与を頂き、物価安のポルトガルのアヴェイロ　お金のことは気にせず、　買う度に　得をしたように感じられる幸せな時代でした。さらに、身分が研究員でしたので、楽しい自由な研究が職務で　週一回主に外国、学外の方による1時間の講演がありますが、それに出席が義務づけられていた以外は特に業務が無かったので、自由な時間がたっぷりもてた楽しい時代でした。　ショッピングセンターでは　人のよいご夫妻、若い娘さん達の店員がいるレストランで　何でも自由にとって頂ける店で　好物を好きなだけ頂ける夕食をとるのが習慣でした。　ですから幸せ一杯で両手に買った食品をもって　キャンパス内を通り、宿舎に向かっていました。　そこで、　学内の池のほとりに差し掛かった時、　何かあると直感して、独りでに　静かに立ち止まりましたら、すると突然閃きました。　その時、確かに月が真上にありました。　電光のように閃めいたのです。　関数　f(z) = e^{1/z}　の原点での値は１であると。その時、理由はなく結果だけが閃いたのです。　当時は　まだゼロ除算算法は考えられておらず、数値としてのゼロ除算1/0=0/0=0だけが認識されていましたから、　この直感には凄い飛躍が有ります。　実際、　その関数の原点の周辺には　神秘性が漂っていて　深い謎に覆われているときでした。世の常識では　その関数は原点で　真性特異点をもち、ピカールの定理で、原点を除いた原点の近傍で　例外の複素数１個（ピカールの除外値）を除いて、すべての複素数を無限回とるなど　複素解析学の深い定理があり　値分布理論の雄大な数学の素を与えています。　その時、特異点　原点自身で、１の有限確定値を取る　と直感したのですから、　凄い発想と言えます。　後で気づいたのですが、　その値１は　ピカールの除外値　自身でした。ローラン展開の負冪項が　すべて原点でゼロであることを言っていますので、　正しく、ゼロ除算算法の発見の瞬間です。

理屈以前に、理論、論理以前に　電光のように一瞬に閃いたということです。

これが記録して置きたい真実、事実です。　あの夜のことが　鮮やかに思い出されます。興奮して、宿舎に着くや直ぐにブログに書きました。

ゼロ除算算法は　基本的な算法として　数学の基本的な演算となるのは、既に歴然です。アリストテレス、ユークリッド以来の世界観の変更さえ求めています。

添付附録：　

ＰＣから貴重な記録：　ゼロ除算算法の　始めの瞬間：
複素解析・特異点：
特異点解明の歩み100/0=0,0/0=0：　

関係者：
解析関数論における大発見：

２０１４．３．８．２０：
中華料理を頂き、たっぷり買い物をして戻りました。月が中天、特異点の様子を考えながら歩いて来ました。良く、考えが湧く、池のほとりに差し掛かった時、驚嘆すべき　結果を得ました。解析関数の基本です：　e^{1/z} は　原点で真性特異点、猛烈な不連続性を持ち、神秘的な性質を持ちます。ところが何と、原点では　１の値をとることになる！！　これで、関数論の歴史は　大きく変わることになる。　直ちに公開、公論で、世界史の進化を志向したい。
２０１４．３．８．２０：３０[ブログから]
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
実数で論文を２編　昨日までに完成、そこで複素解析の検討を始める。直ぐに、無限遠点の概念があり、複素解析では奇妙、変な状況に成っているのに気づく。無限遠点は　数ではないが、幾何学的にすべて美しく纏まっている。1/0=0なら複素数を1/zは複素数にちょうど１対１に写している。しかし、０が　不動点に成っている。初頭の問題とともに納得が行かないので、この問題を検討して行きたい。
２０１４．３．３０．１１：１０　
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
e^{1/z}　は原点で考えない、{1/z}は原点で、無限遠点を対応させる、しかし、無限遠点は数ではないからですね。矛盾では？上記のように対応させると　１として確定値が定まる。無限遠点を考えるとき、1/0=0の考えを持たなかったのか？？
２０１４．３．３０．１５：５０
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
研究の発端は、上記矛盾を見逃さない。1/0=0の尊重、1/z の関数の　ゼロ点の像が　ゼロであることの尊重です。そのような関数は、実関数の時と同様　基本的であると考える。そこでまず、従来の美しい複素解析学において、ゼロで割る場面以外は　そのまま尊重、成り立つと確認する。そこで、1/0=0 を取り入れると、例の無限遠点がストンと非連続的に落ちていると考える必要があり、一次関数などの１対１対応など崩れて、嫌な感じが出ますが、分母をゼロにする点だけを例外にして進める。極などいろいろな性質は、極で、無限遠点をとると考えないで、無限に増大しているとして、その様を捉えれば、従来の言葉の修正で対応できる、する。この考えで、新しい何かの定理ができれば、素晴らしい１歩では？　上記例から、真性特異点で確定値を取るが言えれば、凄い結果ではないでしょうか。
２０１４．４．１．１１：３５

＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　以　上

２０１８．１０．１３．１４：５７

２０１８．１０．１３．１５：４８

２０１８．１０．１３．１８：５８　ゼロ除算算法が基本的な演算になるのは　既に歴然である。

２０１８．１０．１３．２０：５５

２０１８．１０．１３．２２：０５　相当完成している。　急に寒い感じの日になる。

２０１８．１０．１４．０６：１７　研究日記を書いておくと進歩の発展の様子が分かって面白い。

２０１８．１０．１４．１１：０３

２０１８．１０．１４．１４：１０

２０１８．１０．１４．１９：２５

２０１８．１０．１４．２０：５４

２０１８．１０．１５．０５：３２　これはこれで良い。ゼロ除算算法を聞けば、それは何だと驚嘆して　暫くは受け入れられないだろう。神秘的と人は思うだろう。

２０１８．１０．１５．０５：５４　完成、公表。