2016年9月30日金曜日

秋こそ、数学という“芸術”に触れる――『奇蹟がくれた数式』に日本の各界著名人から絶賛コメントが到着

秋こそ、数学という“芸術”に触れる――『奇蹟がくれた数式』に日本の各界著名人から絶賛コメントが到着


10月22日公開の映画『奇蹟がくれた数式』に、各界の著名人がコメントを寄せている。同作品は、英国人数学者のハーディとインドの名もなき事務員・ラマヌジャンという、生まれも境遇も全く違う2人の天才が出会い、世界を変える奇蹟を起こした実話を描いた物語。
詳細は次の通り。
画像:(C)Richard Blanshard

____________________________________________________________

神に愛された男と神を拒否する男。肌の色も文化も異なる二人を結びつけた数式は今を生きる私たちの未来にも光をあてる。この作品には心に刺さる感動が詰まっている。
安藤和津(エッセイスト・コメンテイター)
未来の人工知能から生まれた最初の数学者は、きっとラマヌジャンの姿をしているんじゃないか?
川上量生(ドワンゴ会長)
戦時下で国籍や文化、身分や個性などの違いがあっても、数学を通してお互いが尊重し合い固い絆で結ばれていく、ハーディ教授とラマヌジャンの友情に心を打たれました。
澤穂希
天才は見出す天才がいるから天才なのだ!そのことを衝撃の数式で教えてくれた。
志茂田景樹(作家・よい子に読み聞かせ隊 隊長)
「数学者は色のない絵を描く」この映画を観て、私の頭の中の数学知識が、まるで生命の息吹を得たかのように踊り始めた。学校で数学が苦手になってしまった人にもオススメしたい。
竹内薫(サイエンス作家)
胸が熱くなり、心が揺さぶられ、涙しました。是非家族で見てほしい映画です。隣にいる人のまだ見ぬ才能を心から信じ、互いを慈しみ合おうと思える素敵な時間を過ごせると思います。
坪田信貴(坪田塾 塾長・「ビリギャル」著者)
ラマヌジャンの存在は輝く星のようです。星は明るく大きいほど、その寿命は短いといいます。その残滓が私達を形作っているということを、一体どれほどの人が知っているでしょうか。
中野信子(脳科学者)
親友への愛、数学への愛、恋人への愛。大英帝国のしがらみと人種の壁さえ溶かす色んな形の愛溢れる作品。そしてこの愛という力は奇蹟を起こす力を持つ事を改めて再確認できました。beautiful.
ハリー杉山(タレント)
数学という情熱を注ぐ共通の趣味のおかげで、宗教や人種や文化の壁を超える、友情と協力の実話に基づく物語。数学が嫌いな人でも感動できる素晴らしい映画だ!
ピーター・フランクル(数学者)
ラマヌジャンの公式を見て私が感ずるのは、まず文句なしの感嘆であり、そして苛立ちである。なぜそんな途轍もない真理に到達したのか。天空から降りて来た人物としか思えない。
藤原正彦(数学者、作家)
インドの無名の若者が、数学史を塗り替えた!真理の探究が、違いを超えて人を結び付ける。他人との出会いを求めるあなたにこそ、『奇蹟がくれた数式』が必要だ。
茂木健一郎(脳科学者)
数式は、音楽、絵、詩などの様に、世界を表す美しい手段である。対極ともいえる二人の数学者の、真理を求める友情がとても美しい。
山崎直子(宇宙飛行士)
数学はまるで分らないのですが、ぐんぐん引きつけられて観てしまいました。二人の素晴らしい俳優が奇蹟を信じさせてくれました。
吉行和子(女優)
(敬称略・五十音順)
____________________________________________________________
『奇蹟がくれた数式』
2016年10月22日より角川シネマ有楽町、Bunkamuraル・シネマ、角川シネマ新宿ほか全国にて
配給:KADOKAWA
公式HP:http://kiseki-sushiki.jp/
見に行きたいです:
再生核研究所声明311(2016.07.05) ゼロ0とは何だろうか
ここ2年半、ゼロで割ること、ゼロ除算を考えているが、ゼロそのものについてひとりでに湧いた想いがあるので、その想いを表現して置きたい。
数字のゼロとは、実数体あるいは複素数体におけるゼロであり、四則演算で、加法における単位元(基準元)で、和を考える場合、何にゼロを加えても変わらない元として定義される。積を考えて変わらない元が数字の1である:

Wikipedia:ウィキペディア:
初等代数学[編集]
数の 0 は最小の非負整数である。0 の後続の自然数は 1 であり、0 より前に自然数は存在しない。数 0 を自然数に含めることも含めないこともあるが、0 は整数であり、有理数であり、実数(あるいは代数的数、複素数)である。
数 0 は正でも負でもなく、素数でも合成数でも単数でもない。しかし、0は偶数である。
以下は数 0 を扱う上での初等的な決まりごとである。これらの決まりはxを任意の実数あるいは複素数として適用して構わないが、それ以外の場合については何も言及していないということについては理解されなければならない。
加法:x + 0 = 0 +x=x. つまり 0 は加法に関する単位元である。
減法: x− 0 =x, 0 −x= −x.
乗法:x 0 = 0 ·x= 0.
除法:xが 0 でなければ0x= 0 である。しかしx0は、0 が乗法に関する逆元を持たないために、(従前の規則の帰結としては)定義されない(ゼロ除算を参照)。

実数の場合には、数直線で、複素数の場合には複素平面を考えて、すべての実数や複素数は直線や平面上の点で表現される。すなわち、座標系の導入である。
これらの座標系が無ければ、直線や平面はただ伸びたり、拡がったりする空間、位相的な点集合であると考えられるだろう。― 厳密に言えば、混沌、幻のようなものである。単に伸びたり、広がった空間にゼロ、原点を対応させるということは 位置の基準点を定めること と考えられるだろう。基準点は直線や平面上の勝手な点にとれることに注意して置こう。原点だけでは、方向の概念がないから、方向の基準を勝手に決める必要がある。直線の場合には、直線は点で2つの部分に分けられるので、一方が正方向で、他が負方向である。平面の場合には、原点から出る勝手な半直線を基準、正方向として定めて、原点を回る方向を定めて、普通は時計の回りの反対方向を 正方向と定める。これで、直線や平面に方向の概念が導入されたが、さらに、距離(長さ)の単位を定めるため、原点から、正方向の点(これも勝手に指定できる)を1として定める。実数の場合にも複素数の場合にも数字の1をその点で表す。以上で、位置、方向、距離の概念が導入されたので、あとはそれらを基礎に数直線や複素平面(座標)を考える、すなわち、直線と実数、平面と複素数を1対1に対応させる。これで、実数も複素数も秩序づけられ、明瞭に表現されたと言える。ゼロとは何だろうか、それは基準の位置を定めることと発想できるだろう。
― 国家とは何だろうか。国家意思を定める権力機構を定め、国家を動かす基本的な秩序を定めることであると原理を述べることができるだろう。
数直線や複素平面では 基準点、0と1が存在する。これから数学を展開する原理を下記で述べている:

しかしながら、数学について、そもそも数学とは何だろうかと問い、ユニバースと数学の関係に思いを致すのは大事ではないだろうか。この本質論については幸運にも相当に力を入れて書いたものがある:

19/03/2012
ここでは、数学とは何かについて考えながら、数学と人間に絡む問題などについて、幅.広く面白く触れたい。

複素平面ではさらに大事な点として、純虚数i が存在するが、ゼロ除算の発見で、最近、明確に認識された意外な点は、実数の場合にも、複素数の場合にも、ゼロに対応する点が存在するという発見である。ゼロに対応する点とは何だろうか?
直線や平面で実数や複素数で表されない点が存在するであろうか? 無理して探せば、いずれの場合にも、原点から無限に遠ざかった先が気になるのではないだろうか? そうである立体射影した場合における無限遠点が正しくゼロに対応する点ではないかと発想するだろう。その美しい点は無限遠点としてその美しさと自然さ故に100年を超えて数学界の定説として揺るぐことはなかった。ゼロに対応する点は無限遠点で、1/0=∞ と考えられてきた。オイラー、アーベル、リーマンの流れである。
ところが、ゼロ除算は1/0=0 で、実は無限遠点はゼロに対応していることが確認された。
直線を原点から、どこまでも どこまでも遠ざかって行くと、どこまでも行くが、その先まで行くと(無限遠点)突然、ゼロに戻ることを示している。これが数学であり、我々の空間であると考えられる。この発見で、我々の数学の結構な部分が修正、補充されることが分かりつつある。
ゼロ除算は可能であり、我々の空間の認識を変える必要がある。ゼロで割る多くの公式である意味のある世界が広がってきた。それらが 幾何学、解析学、代数学などと調和して数学が一層美しい世界であることが分かってきた。

全ての直線はある意味で、原点、基準点を通ることが示されるが、これは無限遠点の影が投影されていると解釈され、原点はこの意味で2重性を有している、無限遠点と原点が重なっている現象を表している。この2重性は 基本的な指数関数y=e^x が原点で、0 と1 の2つの値をとると表現される。このことは、今後大きな意味を持ってくるだろう。

古来、ゼロと無限の関係は何か通じていると感じられてきたが、その意味が、明らかになってきていると言える。

2点から無限に遠い点 無限遠点は異なり、無限遠点は基準点原点の指定で定まるとの認識は面白く、大事ではないだろうか。
以 上
再生核研究所声明310(2016.06.29) ゼロ除算の自明さについて
人間の感性の観点から、ゼロ除算の自明さについて触れて置きたい。ゼロ除算の発見は誠に奇妙な事件である。まずは、近似の方法から自然に導かれた結果であるが、結果が全然予想されたことのない、とんでもないことであったので、これは何だと衝撃を受け、相当にその衝撃は続いた。まずは、数学的な論理に間違いがないか、厳重に点検を行い、それでも信じられなかったので、多くの友人、知人に意見を求めた。高橋眞映山形大学名誉教授のゼロ除算の一意性定理は大事だったので、特に厳重に検討した。多くの友人も厳重に時間をかけて検討した経過がよく思い出される。その他、いろいろな導入が発見されても、信じられない心境は1年を超えて続いたと言える。数学的に厳格に、論理的に確立しても 心情的に受け入れられない感情 が永く続いた。そのような心境を相当な人たちが抱いたことが国際的な交流でも良く分かる。中々受け入れらない、ゼロ除算の結果はそうだと受け入れられない、認められない空気であった。ゼロ除算の発展は世界史上の事件であるから、経過など出来るだけ記録するように努めてきた。
要するに、世界中の教科書、学術書、定説と全く違う結果が 世に現れたのである。慎重に、慎重に畏れを抱いて研究を進めたのは 当然である。
そこで、証拠のような具体例の発見に努めた。明確な確信を抱くために沢山の例を発見することとした。最初の2,3件の発見が特に難しかった。内容は次の論文に、招待され、出版された: http://www.ijapm.org/show-63-504-1.html :
ゼロ除算を含む、山田体の発見、
原点の鏡像が(原点に中心をもつ円に関する)無限遠点でなく ゼロであること、
x,y直角座標系で y軸の勾配がゼロであること、
同軸2輪回転からの、ゼロ除算の物理的な意味付け、

これらの成果を日本数学会代数学分科会で発表し、また、ゼロ除算の解説(2015.1.14)を1000部印刷広く配布してきた。2年間の時間の経過とともに我々の数学として、実在感が確立してきた。その後、広範にゼロ除算がいろいろなところに現れていることが沢山発見され、やがて、ゼロ除算は自明であり数学の初歩的な欠落部分であるとの確信を深めるようになってきている。
単に数学の理論だけでなく、いろいろな具体例が認識の有り様を、感性を変えることが分かる。そこで、何もかも分かったという心境に至るには、素朴な具体例で、何もかも当たり前であるという心理状況に至ることが大事であるが、それは、環境で心自体が変わる様をしめしている。本来1つの論文であった原稿は 招待されたため次の2つの論文に出版される:
(2016) Matrices and Division by Zero z/0 = 0. Advances in Linear Algebra
& Matrix Theory, 6, 51-58.
Division by Zero z/0 = 0 in Euclidean Spaces:
International Journal of Mathematics and Computation 9 Vol. 28; Issue  1, 2017)

沢山の具体例が述べられていて、ゼロ除算が基本的な数学であることは、既に確立していると考えられる。沢山の具体例が、そのような心境に至らしめている。
ゼロ除算の自明さを論理ではなく、簡単に 直感的な説明として述べたい。
基本的な関数y=1/xを考え、そのグラフを見よう。原点の値は考えないとしているが、考えるとすれば、値は何だろうか? ゼロではないか と 思えば、ゼロ除算は正解である。それで十分である。その定義から、応用や意味付けを検討すれば良い。― 誰でも値は ゼロであると考えるのではないだろうか。中心だから、真ん中だから。あるいは平均値だからと考えるのではないだろうか。それで良い。
0/0=0 には違う説明が必要である。条件付き確率を考えよう。 A が起きたという条件の下で、B が起きる条件付き確率を考えよう。 その確率P(B|A) は AとBの共通事象ABの確率P(AB) と A が起きる確率P(A)との比 P(B|A)=P(AB)/P(A) で与えられる。もし、Aが起きなければ、すなわち、P(A) =0 ならば、もちろん、P(AB) =0. 意味を考えても分かるようにその時当然、P(B|A) =0である。 すなわち、0/0=0は 当たり前である。

以 上

再生核研究所声明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

0 件のコメント:

コメントを投稿