再生核研究所声明１９５（2015.1.3）ゼロ除算に於ける高橋の一意性定理について
ゼロで割る、ゼロ除算は 割り算が掛け算の逆と考えれば、不可能である事が簡単に証明されてしまう。しかるにゼロ除算はある自然な考え方でゼロになるということが発見されるや否や、ゼロ除算は除算の固有の意味から自明であるということと その一意性があっという間に証明されてしまった。ここでは創造性の実態、不思議な面に触れて、創造性の奇妙な観点をしっかり捉えて置きたい。― 背景の解説は 次を参照：
ゼロ除算の楽しい、易しい解説を次で行っている：
数学基礎学力研究会のホームページ
URLは
道脇裕・愛羽 父・娘 氏たちの自明であるという解釈は 再生核研究所声明１９４で纏めたので、ここでは高橋の一意性定理を確認して置きたい。
まず、山形大学の高橋眞映 名誉教授によって与えられた 定理とその完全な証明を述べよう：
定理 Rを実数全体として、 Fを R ｘ R からRへの写像（２変数関数）で、全ての実数 a、ｂ、ｃ、ｄ に対して
F (a, b)F (c, d)= F (ac, bd)
および ｂ がゼロでない限り、
F (a, b) = a/b
とする。 このとき、 F (a, 0) = 0 が導かれる。
証明 実際、 F (a, 0) = F (a, 0)1 = F (a, 0)（2/2） = F (a, 0)F (2, 2) = F (ax 2, 0 x 2) = F (2a, 0) = F (2, 1)F (a, 0) = 2F (a, 0).。 よって F (a, 0) = 2F (a, 0)、ゆえに F (a, 0)=0。
この定理で、F (a, 0) を a/0 と定義するのは自然であり、実際、 そう定義する。 ここは大事な論点で、チコノフ正則化法や道脇方式で既にa/0が定義されていれば、もちろん、定理ではF (a, 0) ＝a/0 が導かれたとなる。
定理は 分数の積の性質 (a/b)(c/d) = (ac/bd) を持つもので、分数をゼロ除算に（分母がゼロの場合に）拡張する、如何なる拡張も ゼロに限る a/0=0 ことを示している。― これは、拡張分数の基本的な積の性質(a/b)(c/d) = (ac/bd)だけを仮定（要請）すると、ゼロ除算は ゼロに限る a/0=0ことを示しているので、その意義は 決定的であると考えられる。 この定理は千年以上の歴史を持つゼロ除算に 決定的な解を与えていると考えられる。
チコノフ正則化法や一般逆の方法では、一つの自然な考え方で導かれることを示しているだけで、いろいろな拡張の可能性を排除できない。道脇方式も同様である。 一意性定理とは、そもそも何、何で定まるとは、その、何、何が定める性質の本質を捉えていて、導いた性質の本質、そのものであると言える。高橋眞映教授の定理は 証明も簡潔、定理の意義は絶大であり、このような素晴らしい定理には、かつて会ったことがない。数学史上の異色の基本定理ではないだろうか。
ゼロ除算は、拡張分数が 直接、自明であるが、積の公式が成り立つと、積極的に性質を導いていることにも注目したい。（ゼロ除算は 新しい数学であるから、そのようなことまで、定義に従って検討する必要がある。）
ゼロ除算は 千年以上も、不可能であるという烙印のもとで, 世界史上でも人類は囚われていたことを述べていると考えられる。世界史の盲点であったと言えるのではないだろうか。 ある時代からの 未来人は 人類が 愚かな争いを続けていた事と同じように、人類の愚かさの象徴 と記録するだろう。 人は、我々の時代で、夜明けを迎えたいとは 志向しないであろうか。
数学では、加、減、そして、積は 何時でも自由にできた、しかしながら、ゼロで割れないという、例外が除法には存在したが、ゼロ除算の簡潔な導入によって、例外なく除算もできるという、例外のない美しい世界が実現できたと言える。
高橋の一意性定理だけで、数学はゼロ除算100/0=0,0/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.
ところが、 高橋教授がゼロ除算の一意性を証明したと 当時 アヴェロ大学にポスドクで来ていた、イタリアのM. Dalla Riva博士に伝えたところ、そんな馬鹿な、反例を作ると猛然と挑戦したのであるが次々と失敗を続けていたが、帰る頃、驚いて高橋の結果は正しいと独自に定理を発見、証明した。― そこで、いろいろ経緯があって、共著で論文を書こうと提案していたところ、ゼロ除算そのものの研究の意味がないとして、論文と研究には参加せず、彼の結果は、齋藤のものとして良いとなった。彼らのあるグループ間では ゼロ除算は意味がないということで、意見が一致したというのである。これは数学が正しくても意味が無いという、見解の人たちが存在するという事実を述べている。アヴェイロ大学でもそのような意見であったので、アヴェイロ大学では、ゼロ除算は研究できない状況になっていた。それらの思想、感覚は、アリストテレスの世界観が宗教のように深くしみわたっていて、universe は不連続なはずがないという事である。ゼロ除算における強力な不連続性は受け入れられない、ゼロ除算はまるで、恐ろしい魔物をみるように 議論しても、発表してもならないと 数学教室の責任者たちに念を押された事実を 真実の記録として、書き留めて置きたい。
独立に証明された、Riva氏と高橋教授は、自分たちの定理の重要性を認識していなかったように感じられる。 他方、齋藤は、最初から今もなお その素晴らしさに驚嘆して感銘させられている。
以 上
0 件のコメント:
コメントを投稿