2016年12月22日木曜日

Hasta los genios se equivocan Incluso Euler, uno de los más grandes, erró en una ocasión

Hasta los genios se equivocan

Incluso Euler, uno de los más grandes, erró en una ocasión

Todos, absolutamente todos, nos equivocamos en alguna ocasión. Todos hemos cometido un error en algún momento, todos hemos tenido que rectificar alguna vez (o al menos deberíamos haberlo hecho) y todos hemos pensado en alguna ocasión que nuestro argumento era correcto y al final nos hemos dado cuenta de que no era así.
Por otra parte, en todos los ámbitos del conocimiento existen figuras icónicas, ídolos, maestros, personajes que han marcado profundamente la historia y el desarrollo de dicha rama. Personas que, por su omnipresencia en ese ámbito, parecen infalibles. Pero no, ni siquiera ellos lo son.
Leonhard Euler es uno de los matemáticos más importantes e influyentes de la historia de las matemáticas. Pocos pueden siquiera acercarse a su productividad y la importancia de sus trabajos. Euler, el matemático más prolífico de la historia de las matemáticas, también se equivocó. Y de ello vamos a hablar hoy.
En el año 1637, Pierre de Fermat dejó para la posteridad una conjetura, denominada último teorema de Fermat (en adelante UTF), sobre potencias de números enteros positivos escrita en el margen de un libro que resultó ser uno de los enigmas matemáticos que más tiempo han perdurado sin demostración. Finalmente, fue Andrew Wiles, en 1995, quien le puso el cascabel al gatodemostrando que el UTF era cierto.
El UTF decía básicamente lo siguiente:
Si n es un entero positivo mayor que 2, no existen números enteros positivos x, y y z tales que xn+yn=zn.
Muchos fueron los matemáticos que intentaron demostrar o refutar esta conjetura, y muchos también los que realizaron aportaciones importantes sobre la misma, entre ellos Euler.
Pero no vamos a hablar de esta conjetura, sino de otra. En 1769, en el transcurso de sus investigaciones sobre este problema, Euler propuso una conjetura que, en cierto sentido, generaliza al UTF. La conocida como conjetura de Euler podría enunciarse de esta forma:
Al igual que un cubo no puede ser suma de dos cubos (necesitaríamos al menos tres cubos), una cuarta potencia no puede ser suma de tres cuartas potencias (necesitaríamos al menos cuatro), y una quinta potencia no puede ser suma de cuatro quintas potencias (necesitaríamos al menos cinco), y, en general, una potencia de exponente n no puede ser suma de n-1 potencias de dicho exponente n.
Que una potencia 3 (un cubo) no puede ser suma de 2 potencias 3 (que es el caso n=3 del UTF) lo demostró el propio Euler; el resto del enunciado anterior es lo que conjeturó. Esto significaría que la ecuación
x4+y4+z4=s4
no tendría solución para valores enteros positivos de todas sus incógnitas. Y lo mismo pasaría con la ecuación
x5+y5+z5+t5=s5
Y, en general, con n-1 potencias de exponente n, para n mayor o igual que 4.
Así quedó la cosa, sin avances ni hacia un lado ni hacia el otro, hasta 1911. Una de las cosas que conjeturó Euler era que hacía falta sumar al menos cuatro potencias cuartas para obtener una potencia cuarta, pero no se conocía ningún ejemplo que necesitara exactamente cuatro de estas potencias. En ese año, en 1911, R. Norrie presentaba el primer ejemplo conocido:
304+1204+2724+3154=3534
por lo que podemos decir que esa (pequeña) parte de la conjetura era cierta. Después se encontraron más ejemplos como este para n=4, y para otros valores de n también se conocen ejemplos, como para n=5 (Sastry)
75 + 435 + 575 + 805 + 1005 = 1075
para n=7 (Dodrill)
1277 + 2587 + 2667 + 4137 + 4307 + 4397 + 5257 = 5687
o para n=8 (Scott Chase)
908 + 2238 + 4788 + 5248 + 7488 + 10888 + 11908 + 13248 = 14098
pero el resto de la conjetura, lo gordo, seguía igual, sin demostrarse ni refutarse…
…hasta 1966. En dicho año, L. J. Lander y T. R. Parkin publicaban el artículo A Counterexample to Euler’s Sum of Powers Conjecture, que, además de contener mucha más información sobre este tema, incluía el primer contraejemplo conocido para el caso n=5:
275+845+1105+1335=1445
¡La conjetura de Euler era falsa para n=5! Más adelante se encontraron más contraejemplos para este caso, como este de Roger Frye en 2004:
555 + 31835 + 289695 + 852825 = 853595
Pero, como hemos comentado, esto solamente resolvía parte de la conjetura, ya que, por ejemplo, el caso n=4 seguía abierto…hasta 1988, año en el que Noam Elkies encontraba un método para generar infinitos contraejemplos de la conjetura de Euler. El más pequeño de ellos es este:
26824404 + 153656394 + 187967604 = 206156734
¡La conjetura de Euler también era falsa para n=4! Y no sólo por un contraejemplo, sino por infinitos. Además, los que genera el método de Elkies no son los únicos, ya que ese mismo año 1988, siguiendo la línea de las técnicas de Elkies, Roger Frye encontraba el contraejemplo más pequeño posible para n=4:
958004 + 2175194 + 4145604 = 4224814
Y pare usted de contar. No se sabe si la conjetura es cierta o falsa para n mayor o igual que 6. De hecho, para n=6 ni siquiera se conocen ejemplos (al menos que yo sepa) de seis potencias sextas cuya suma dé como resultado una potencia sexta, y lo mismo para n mayor o igual que 9. Con un ordenador potente y muuuuuuuucho tiempo podéis intentar encontrar ejemplos o contraejemplos de todos estos casos, pero la verdad es que no os lo recomiendo.
En resumen, a pesar de su enorme capacidad y su magnífica intuición para las matemáticas, Euler se equivocó con su conjetura. Bueno, en realidad hasta ahora sabemos que estaba equivocado al menos en parte (para n=4 y para n=5). Aunque nos tocará esperar para saber si también erró para el resto de valores o si, por el contrario, en esos casos estaba en lo cierto, podemos decir que Euler también falló, al menos en esta ocasión. Hasta los genios se equivocan.
Para terminar, os quiero pedir que nos habléis en los comentarios sobre otros errores relacionados con matemáticas que pudo cometer Euler o cualquier otro matemático. Seguro que será interesante conocerlos e indagar en ellos.http://elpais.com/elpais/2016/12/21/el_aleph/1482310273_633133.html

興味深く読みました:

再生核研究所声明 148(2014.2.12) 
100/0=0,  0/0=0 - 割り算の考えを自然に拡張すると ― 神の意志

100割る0 の意味を質問されたが(なぜ 100÷0は100ではないのか? なぜ 100÷1は100なのか… 0とは何...aitaitokidakenimoさん)、これは、定義によれば、その解、答えが有るとして、a と仮に置けば、 100=a x0 = 0 で矛盾、すなわち、解は、答えは存在しないとなる。
方程式 a x0= b は b=0 でなければ 解は無く、答えが求まらない。(特に、bが0ならば、解 a は 何でも良いと言うことに成る。)
解が、存在しなかったり、沢山の解が有ったりすると言う、状況である。
そこで、何時でも解が存在するように、しかも唯一つに定まるように、さらに 従来成り立っていた結果が そのまま成り立つように(形式不変の原理)、割り算の考えを拡張できないかと考えるのは、数学では よくやることである。数学の世界を 美しくしたいからである。
実際、文献の論文で 任意関数で割る概念を導入している。
現在の状況では、b 割るa の意味を ax – b の2乗を最小にする x で、しかも x の2乗を最小にする数 x で定義する。後半の部分が無いと、a が0の場合 x  が定まらない。後半が有ると0として、唯一つに定まる。この意味で割り算の意味を考えれば、100割る0は 0 であるとなる。 
上記で もちろん、2乗を最小にする の最小値が0である場合が、 普通の割り算の解、
b 割るa を与える。
もちろん、我々の意味で、0割る0は 曖昧なく、解は唯一つに定まって、0となる。
f  割る g を ロシアの著名な数学者 チコノフの考えた正則化法 と 再生核の理論 を併用すると 一般的な割り算を 任意関数g で定義できて、上記の場合は、100割る0は 0 という解に成る。
すなわち、解が存在しなかった場合に、割り算の意味を 自然に拡張すると 唯一つに解は存在して それは0であると言う、結果である。
上記で、ax – b の2乗を最小にする x で、と考えるのは、近似の考え方から、極めて自然と考えられるが、さらに、x の2乗を最小にする数 x とは、神は、最も簡単なものを選択する、これはエネルギー最小のもの、できれば横着したい という 世に普遍的に存在する 神の意志 が現れていると考えられる(光は、最短時間で到達するような経路で進むという ― フェルマーの原理)、神が2を愛している好きだ とは 繰り返し述べてきた(神は 2を愛し給う)(http://www.jams.or.jp/kaiho/kaiho-81.pdf)。
これで、0で割るときの心配が無くなった。この考えの 実のある展開と応用は多い。
― 哲学とは 真智への愛 であり、真智とは 神の意志 のことである。哲学することは、人間の本能であり、それは 神の意志 であると考えられる。愛の定義は 声明146で与えられ、神の定義は 声明122と132で与えられている。―

以 上
文献:
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


世界中で、ゼロ除算は 不可能 か 
可能とすれば ∞  だと考えられていたが・・・
しかし、ゼロ除算 はいつでも可能で、解は いつでも0であるという意外な結果が得られた。

原点を中心とする単位円に関する原点の鏡像は、どこにあるのでしょうか・・・・
∞ では
無限遠点はどこにあるのでしょうか・・・・・

無限遠点は存在するが、無限大という数は存在しない・・・・

ゼロ除算(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÷0」(ゼロで割る)がダメな理由を教えてください。 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 1÷0=∞・・・・数ではない 1÷0=不定・未定義・・・・狭い考え方をすれば、できない人にはできないが、できる人にはできる。

明治5年(1872)

ゼロ除算の証明・図|ysaitoh|note(ノート)  https://note.mu/ysaitoh/n/n2e5fef564997

Q)ピラミッドの高さを無限に高くしたら体積はどうなるでしょうか??? A)答えは何と0です。 ゼロ除算の結果です。

ゼロ除算は1+1より優しいです。 何でも0で割れば、0ですから、簡単で美しいです。 1+1=2は 変なのが出てくるので難しいですね。
∞÷0はいくつですか・・・・・・・

∞とはなんですか・・・・・・・・

分からないものは考えられません・・・・・

1人当たり何個になるかと説いていますが、1人もいないのですから、その問題は意味をなさない。
よってこれは、はじめから問題になりません。
ついでですが、これには数学的に確定した解があって それは0であるという事が、最近発見されました。

Reality of the Division by Zero z/0 = 0
Einstein's Only Mistake: Division by Zero

0を引いても引いたことにならないから:

君に0円の月給を永遠に払いますから心配しないでください:

再生核研究所声明171(2014.7.30)
掛け算の意味と割り算の意味 ― ゼロ除算100/0=0は自明である?

(2014.7.11小柴誠一、山根正巳氏との会合で、道脇裕氏の 割り算と掛け算は別であり、ゼロ除算100/0=0は自明であるとの考えを分析して得た考えを纏めたものである。)
ゼロ除算100/0=0は2014.2.2 偶然に論文出筆中に 原稿の中で発見したものである。チコノフ正則化法の応用として、自然に分数、割り算を拡張して得られたものであるが、歴史上不可能であるとされていること、結果がゼロであると言う意味で、驚嘆すべきことであること、さらに、高校生から小学生にも分る内容であると言う意味で、極めて面白い歴史的な事件と言える。そればかりか、物理学など世界の理解に大きな影響を与えることも注目される。詳しい経過などは 一連の声明を参照:
再生核研究所声明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)ゼロで割る(ゼロ除算)から学ぶ 世界観
しかるに いろいろな人たちと広く議論しているところであるが、世界の指導的な数学者でさえ、高校生でも理解できる発表済みの論文 その後の結果について、現代数学の常識を変えるものであり、受け入れられない、と言ってきている。まことに不思議なことであり、如何に驚くべき結果であるかを示していると言える。
多くの数学者は、内容を理解せず、100/0=0 は100=0 x 0 =0 で矛盾であると即断している。しかるに論文は 100/0 は 割り算の意味を自然に拡張するとゼロの結果を得るのであって、ゼロ除算の結果は 100=0 x 0 =0を意味しないと説明している。 逆に、無限大、無限遠点は数と言えるかと問うている。
ところが面白いことに 既に3月18日付文書で、道脇裕氏は 掛け算と割り算は別であり、ゼロ除算100/0は 自明であると述べていた。しかし、その文書は、一見すると
矛盾や間違いに満ちていたので、詳しく分析してこなかった。しかるに上記7月11日の会合で、詳しい状況を聞いて、道脇氏の文書を解読して、始めて道脇氏の偉大な考えに気づいた。結論は、ゼロ除算100/0は分数、割り算の固有の意味から、自明であると言うことである。これはチコノフ正則化法や一般逆とは関係なく、分数、割り算の意味から、自明であるというのであるから、驚嘆すべき結果である。千年を越えて、未明であった真実を明らかにした意味で、極めて面白い知見である。またそれは、割り算が掛け算の逆であり、ゼロ除算は不可能であるという長い囚われた考えから、解放した考えであると評価できる。
原理は日本語の表現にあるという、掛け算は 足し算で定義され、割り算は 引き算で定義されるという。割り算を考えるのに 掛け算の考えは不要であるという。
実際、2 x3 は 2+2+2=6と繰り返して加法を用いて計算され、定義もできる。
割り算は、問題になっているので、少し詳しく触れよう。
声明は一般向きであるから、本質を分かり易く説明しよう。 そのため、ゼロ以上の数の世界で考え、まず、100/2を次のように考えよう:
100-2-2-2-,...,-2.
ここで、2 を何回引けるかと考え、いまは 50 回引いてゼロになるから分数は50であると考える。100を2つに分ければ50である。
次に 3/2 を考えよう。まず、
3 - 2 = 1
で、余り1である。そこで、余り1を10倍して、 同様に
10-2-2-2-2-2=0
であるから、10/2=5 となり
3/2 =1+0.5= 1.5
とする。3を2つに分ければ、1.5である。
これは筆算で割り算を行うことを 減法の繰り返しで考える方法を示している。a がゼロでなければ、分数b/aは 現代数学の定義と同じに定義される。
そこで、100/0 を上記の精神で考えてみよう。 まず、
100 - 0 = 100,
であるが、0を引いても 100は減少しないから、何も引いたことにはならず、引いた回数は、ゼロと解釈するのが自然ではないだろうか (ここはもちろん数学的に厳格に そう定義できる)。ゼロで割るとは、100を分けないこと、よって、分けられた数もない、ゼロであると考えられる。 この意味で、分数を定義すれば、分数の意味で、
100割るゼロはゼロ、すなわち、100/0=0である。(ここに、絶妙に面白い状況がある、0をどんどん引いても変わらないから、無限回引けると解釈すると、無限とも解釈でき、ゼロ除算は 0と無限の不思議な関係を長く尾を引いている。)
同様に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/


再生核研究所声明306(2016.06.21) 平行線公理、非ユークリッド幾何学、そしてゼロ除算

表題について、山間部を散歩している折り新鮮な感覚で、想いが湧いて来た。新しい幾何学の発見で、ボーヤイ・ヤーノシュが父に言われた 平行線の公理を証明できたら、地球の大きさ程のダイヤモンドほどの値打ちがあると言われて、敢然と証明に取り掛かった姿とその帰結である。また、ユークリッドが海岸を散歩しながら幾何学を建設していく情景が鮮やかに想い出された(Liwanovaの『新しい幾何学の発見』(のちに『ロバチェフスキーの世界』と改題)(東京図書刊行)。この件、既に声明に述べているので、まずは確認したい:



再生核研究所声明292(2016.03.25) ユークリッド幾何学、非ユークリッド幾何学、平行線公理、そしてゼロ除算(2016.3.23 朝、目を覚まして、情念と構想が閃いたものである。)

まず基本語をウイキペデアで確認して置こう:

https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%A6%E3%82%AF%E3%83%AC%E3%82%A4%E3%83%87%E3%82%B9

アレクサンドリアのエウクレイデス(古代ギリシャ語: Εὐκλείδης, 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 のどちらが現実に成立するかは、如何なる論理的推論によっても決定されないと証明した。



ユークリッド幾何学は 2000年を超えて数学及び論理と あらゆる科学の記述の基礎になってきた。その幾何学を支える平行線の公理については、非ユークリッド幾何学の成立過程で徹底的に検討、議論され、逆に 平行線の公理がユークリッド幾何学の特徴的な仮定(仮説)で証明できない公理であることが明らかにされた。それとともに 数学とは何かに対する認識が根本的に変わり、数学とは公理系(仮説系)の上に建設された理論体系であって、絶対的な真理という概念を失った。

ここで焦点を当てたいのは 平行線の概念である。ユークリッド幾何学における平行線とは 任意の直線に対して、直線上以外の点を通って、それと交わらない直線のことで、平行線がただ1つ存在するというのがユークリッドの公理である。非ユークリッド幾何学では、そのような平行線が全然存在しなかったり、沢山存在する幾何学になっており、そのような幾何学は 実在し、現在も盛んに利用されている。

この平行線の問題が、ゼロ除算の発見1/0=0、台頭によって 驚嘆すべき、形相を帯びてきた。

ユークリッド自身、また、非ユークリッド幾何学の上記発見者たち、それに自ら深い研究をしていた天才ガウスにとっても驚嘆すべき事件であると考えられる。

何と ユークリッド空間で 平行線は ある意味で全て原点で交わっている という、現象が明らかにされた。

もちろん、ここで交わっていることの意味を 従来の意味にとれば、馬鹿馬鹿しいことになる。

そこで、その意味をまず、正確に述べよう。まずは、 イメージから述べる。リーマン球面に立体射影させると 全ユークリッド平面は 球面から北極点を除いた球面上に一対一に写される。そのとき、球面の北極点に対応する点が平面上になく、想像上の点として無限遠点を付け加えて対応させれば、立体射影における円、円対応を考えれば、平面上の平行線は無限遠点で交わっているとして、すっきりと説明され、複素解析学における基本的な世界観を与えている。平行線は無限遠点で 角ゼロ(度)で交わっている(接している)も立体射影における等角性で保証される。あまりの美しさのため、100年を超えて疑われることはなく、世の全ての文献はそのような扱いになっていて数学界の定説である。

ところがゼロ除算1/0=0では 無限遠点は空間の想像上の点として、存在していても、その点、無限遠点は数値では ゼロ(原点)に対応していることが明らかにされた。 すなわち、北極(無限遠点)は南極(原点)と一致している。そのために、平行線は原点で交わっていると解釈できる。もちろん、全ての直線は原点を通っている。

この現象はユークリッド空間の考えを改めるもので、このような性質は解析幾何学、微積分学、複素解析学、物理学など広範に影響を与え、統一的に新しい秩序ある世界を構成していることが明らかにされた。2200年を超えて、ユークリッド幾何学に全く新しい局面が現れたと言える。

平行線の交わりを考えてみる。交わる異なる2直線を1次方程式で書いて、交点の座標を求めて置く。その座標は、平行のとき、分母がゼロになって、交点の座標が求まらないと従来ではなっていたが、ゼロ除算では、それは可能で、原点(0,0)が対応すると解釈できる。ゼロ除算と解析幾何学からの帰結である。上記幾何学的な説明が、ゼロ除算で解析幾何学的にも導かれる。

一般の円の方程式を2次関数で表現すれば、(x^2+y^2) の係数がゼロの場合、直線の一般式になるが、ゼロ除算を用いると、それが保証されるばかりか、直線の中心は 原点である、直線も点円も曲率がゼロであることが導かれる。もちろん、ゼロ除算の世界では、全ての直線は原点を通っている。このとき、原点を無限遠点の映った影ともみなせ、原点はこのような意味で もともとの原点とこの意味での点としての、2重性を有し、この概念は今後大きな意味を有することになるだろう。

ゼロ除算1/0=0は ユークリッド幾何学においても、大きな変革を求めている。

                                     

以上



上記で、数学的に大事な観点は、ユークリッド自身そうであったが、平行線公理は真理で、証明されるべきもの、幾何学は絶対的な真理であると非ユークリッド幾何学の出現まで、考えられてきたということである。2000年を超える世界観であった事実である。そこで、平行線の公理を証明しようと多くの人が挑戦してきたが、非ユークリッド幾何学の出現まで不可能であった。実は、証明できない命題であったという全く意外な帰結であった。真に新しい、概念、世界観であった。証明できない命題の存在である。それこそ、世界観を変える、驚嘆すべき世界史上の事件であったと言える。

この事件に関してゼロ除算の発見は、全く異なる世界観を明らかにしている。ユークリッドそして、非ユークリッド幾何学の3人の発見者にとって、全く想像ができなかった、新しい事実である。平行線が 無限の先で交わっているとは ユークリッドは考えなかったと思われるが、近代では、無限の先で交わっていると考えられて来ている。― これには、アーベル、オイラー、リーマンなどの考えが存在する。このような考えは、ここ100年以上、世界の常識、定説になっている。ところがゼロ除算では、無限遠点は 数ではゼロが対応していて、平行線は代数的に原点で交わっている、すべての直線は代数的に原点を通っているという解釈が成り立つことを示している。

ユークリッドの幾何学の建設時の想い、ボーヤイ・ヤーノシュの激しい挑戦の様を、 想い を 深く、いろいろ想像している。

以 上


Matrices and Division by Zero z/0 = 0


再生核研究所声明292(2016.03.2) 
ユークリッド幾何学、非ユークリッド幾何学、平行線公理、そしてゼロ除算

(2016.3.23 朝、目を覚まして、情念と構想が閃いたものである。)
まず基本語をウイキペディアで確認して置こう:

アレクサンドリアのエウクレイデス古代ギリシャ語: Εὐκλείδης, 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 のどちらが現実に成立するかは、如何なる論理的推論によっても決定されないと証明した。

ユークリッド幾何学は 2000年を超えて数学及び論理と あらゆる科学の記述の基礎になってきた。その幾何学を支える平行線の公理については、非ユークリッド幾何学の成立過程で徹底的に検討、議論され、逆に 平行線の公理がユークリッド幾何学の特徴的な仮定(仮説)で証明できない公理であることが明らかにされた。それとともに 数学とは何かに対する認識が根本的に変わり、数学とは公理系(仮説系)の上に建設された理論体系であって、絶対的な真理という概念を失った。
ここで焦点を当てたいのは 平行線の概念である。ユークリッド幾何学における平行線とは 任意の直線に対して、直線上以外の点を通って、それと交わらない直線のことで、平行線がただ1つ存在するというのがユークリッドの公理である。非ユークリッド幾何学では、そのような平行線が全然存在しなかったり、沢山存在する幾何学になっており、そのような幾何学は 実在し、現在も盛んに利用されている。
この平行線の問題が、ゼロ除算の発見1/0=0、台頭によって 驚嘆すべき、形相を帯びてきた。
ユークリッド自身、また、非ユークリッド幾何学の上記発見者たち、それに自ら深い研究をしていた天才ガウスにとっても驚嘆すべき事件であると考えられる。
何と ユークリッド空間で 平行線は ある意味で 全て原点で交わっている という、現象が明らかにされた。
もちろん、ここで交わっていることの意味を 従来の意味にとれば、馬鹿馬鹿しいことになる。
そこで、その意味をまず、正確に述べよう。まずは、 イメージから述べる。リーマン球面に立体射影させると 全ユークリッド平面は 球面から北極点を除いた球面上に一対一に写される。そのとき、球面の北極点に対応する点が平面上になく、想像上の点として無限遠点を付け加えて対応させれば、立体射影における円、円対応を考えれば、平面上の平行線は無限遠点で交わっているとして、すっきりと説明され、複素解析学における基本的な世界観を与えている。平行線は無限遠点で 角ゼロ(度)で交わっている(接している)も立体射影における等角性で保証される。あまりの美しさのため、100年を超えて疑われることはなく、世の全ての文献はそのような扱いになっていて数学界の定説である。
ところがゼロ除算1/0=0では 無限遠点は空間の想像上の点として、存在していても、その点、無限遠点は数値では ゼロ(原点)に対応していることが明らかにされた。 すなわち、北極(無限遠点)は南極(原点)と一致している。そのために、平行線は原点で交わっていると解釈できる。もちろん、全ての直線は原点を通っている。
この現象はユークリッド空間の考えを改めるもので、このような性質は解析幾何学、微積分学、複素解析学、物理学など広範に影響を与え、統一的に新しい秩序ある世界を構成していることが明らかにされた。2200年を超えて、ユークリッド幾何学に全く新しい局面が現れたと言える。
平行線の交わりを考えてみる。交わらない異なる2直線を1次方程式で書いて、交点の座標を求めて置く。その座標は、平行のとき、分母がゼロになって、交点の座標が求まらないと従来ではなっていたが、ゼロ除算では、それは可能で、原点(0,0)が対応すると解釈できる。ゼロ除算と解析幾何学からの帰結である。上記幾何学的な説明が、ゼロ除算で解析幾何学的にも導かれる。
一般の円の方程式を2次関数で表現すれば、(x^2+y^2) の係数がゼロの場合、直線の一般式になるが、ゼロ除算を用いると、それが保証されるばかりか、直線の中心は 原点である、直線も点円も曲率がゼロであることが導かれる。もちろん、ゼロ除算の世界では、全ての直線は原点を通っている。このとき、原点を無限遠点の映った影ともみなせ、原点はこのような意味で もともとの原点とこの意味での点としての、2重性を有し、この概念は今後大きな意味を有することになるだろう。
ゼロ除算1/0=0は ユークリッド幾何学においても、大きな変革を求めている。
                                     
以上

Matrices and Division by Zero z/0 = 0

0 件のコメント:

コメントを投稿