地球は丸いらしい
数学 雑記 多様体
最近知った...
というのは嘘だけれど、自分でちゃんと証明してみて、これ、以外と非自明だなぁ、とあらためて実感した。
いや、球じゃなくて、回転楕円体だよ、とかそういうことでなくね。
地球一周できたよ、じゃあ、地球は球だね、なんていうお気楽なモンじゃないぞっていうお話。
マゼランは地「球」を一周したか?
地球は丸いっていうのを始めて習ったのは、確か中学か小学の地理だったと思う。
マゼラン一行が地球一周航海を成し遂げたことで、地球は球であると証明されたという。
だがしかし、それは本当に「球」であることを証明したことになっているのか?
トポロジーを勉強した者として安易であるとは思うが、例えばドーナツを用意しよう。
そこに蟻をのせる。
その蟻は、ドーナツをくるりと「一周」してもとの場所に戻ってくることができる。
特に、ドーナツの穴の内側でなく外側を周ったならば、彼は一体自分が一周したのが、ドーナツなのか地球儀なのかわからないはずである。
(内側だったら、上を見上げればわかる)
あるいはドーナツでなくとも、円筒とか円柱だったとしても、同様だろう。
ひねくれたことを言えば、地球は、重い円柱状の芯を円筒の大地が覆っているような構造になっており、その芯と円筒の間を亀と象が支えているとすれば、当時の科学と神話、双方に矛盾の少ない地球になったんじゃなかろうか。
つまり、何が言いたいのかといえば、マゼラン一行の航海によって示されるのは、地球表面の東西方向には縁は存在しない、という事実のみである。
もっとも、マゼラン後数百年かけて、結局どこにも縁はないことが示されるのであるが、それでも、地球に縁は無いということは、決して地球が球体であることを示唆したりはしない。
具体的には、ドーナツ型地球を否定する材料はありはしないのだ。
地球が球体であることのいくつかの「根拠」検証
地球が球体であることの、(僕に言わせればちゃんとした)根拠としてあげられるのは、月蝕では、月は丸く欠けるということである。
しかも、世界(=当時発見されていた土地)のどこから見ても、丸い。
自転軸に沿って一周しても丸いままである。
従って、地球はその「丸」を自転軸に沿って回転させた形をしているはずで、それは球だというのである。
これは、現実的には地球が丸いことのほとんど完全な証明を与えているようにも見えるのだが、しかし、これは暗黙のうちに一つの仮定をしいている。
つまり、太陽系(少なくとも太陽、地球、月の3天体)が、3次元ユークリッド空間上にある、少し感覚的な言葉を使えば、太陽系には、光の進路を捻じ曲げるような「空間の歪み」は存在しないことを前提にしている。
数学で多様体、リーマン多様体を勉強した(そして一般相対性理論の知識が雀の涙である)身としては、十分な議論抜きで、ホイホイとそんな仮定を認めることには抵抗がある。
(もっともこれは完全に屁理屈であり、「空間の歪み」なんてものが問題になるのは、アインシュタインの相対性理論発明前後からのことであり、それによれば「空間の歪み」≒重力のことなので、光の進路を捻じ曲げるような「空間の歪み」の存在は、十二分に精密に構成された古典的な太陽系の惑星運動の理論を滅茶苦茶に破壊することになる。
だから、実際には古典惑星運動学は「空間の歪み」の存在を否定していることになる。
そんな訳で、この仮定に反抗しようとするのは僕のような浅学な阿呆ばかりなのだが、まぁ、目をつむって下さいな。)
次に、宇宙空間の塵が集まったり、小惑星が衝突したりしてできる形としては球がもっとも自然だという話。
しかし、我らが地球が丸いか丸くないか、とかいうレベルの話に、惑星の起源の話を持ってくるのは、炭は何故燃えるのか、という議論に量子力学を持ちこむようなものだと思う。
確かな根拠かも知れないが、無粋なので却下。
ちなみに、始めからドーナツ型の惑星があったとしたら、ドーナツの形状にある程度の制約を課せば、重力的にはそれなりに安定。
最後に、これは僕がトポロジー好きだから出てくる発想なんだろうが、地球上には「上下左右前後」があること。
つまり、左手を出して、中指:右、人差し指:前にすると、親指は上を向く。
地球一周して戻ってきても、多分そうなるはず。
何を言っているかわからない?
トポロジー的には結構大事なのだけれど...説明が面倒なので、このことは無視の方向で。
具体例:ドラゴンクエストIIの惑星
上の事を信じられない方のために具体例。
次の地図をご覧頂きたい*1
f:id:junology:20120722001807p:image
これは、ドラゴンクエストII世界の惑星の世界地図であるが、注意すべき点として、地図の右端は左端に一致し、上端は下端に一致している。
問題は次である。
この惑星(便宜上、以下DQ2星とする)は球か?
答えは否。
理由はいくつかあるが、恐らく最もなされる説明が、紐の回収である。
例えば、主人公はローレンシアの城の門柱に、絶対に切れないすごく丈夫なロープの一端を絶対に解けないように結びつけ、もう一方の端を持って東向きに旅に出たとする。
挙げく主人公は世界を一周して西からローレンシア城に帰省してきた。
さて、主人公は、城にいながらにして、ロープの全部を手元に回収することができるだろうか?
ただし、紐と地面にかかる摩擦や地面の凹凸、紐の質量は無視して良いとし、また、主人公は特殊な技能を持っているので、指先一つで、紐の端点以外は星の上を自由に動かせると仮定する。
もしもDQ2星が球ならばこれは可能である。
実際、地球儀の上でためしてみれば良い。
地球儀にどう頑張って紐をからめても、強く引きさえすれば紐ははずれるだろう(地球儀の支柱にからめたりしたらダメだが)。
ところが、DQ2星が地図の通りだとするなら、残念ながら、主人公はロープを回収するために、もう一度世界一周旅行に出なければならないことは、容易に想像がつく。
地図の右端と左端が一致しているので、すなわちこの状態は、円筒にロープを引っかけているのと同じことなのだ。
さらに、上端と下端も一致しているということで、実はDQ2星こそドーナツ型をしていることが示される。
さて、何故マゼラン一行の仕事だけでは地球が丸いことの証明にならないか、了解頂けましたか?
*1:ドラゴンクエストIIゲーム内よりキャプチャしたものに街の位置と名前を加えたhttp://junology.hatenablog.com/entry/20120722/1342923158
再生核研究所声明295(2016.04.07) 無限の先にあるもの、永遠の先にあるもの ―盲点
セロ除算は新しい空間像をもたらしたので、いろいろな面から論じ、例えば、再生核研究所声明 271(2016.01.04): 永遠は、無限は確かに見えるが、不思議な現象 の中で、次のように述べた。
直線を どこまでも どこまでも行ったら、どうなるだろうか。立体射影の考えで、全直線は 球面上 北極、無限遠点を通る無限遠点を除く円にちょうど写るから、我々は、無限も、永遠も明確に見える、捉えることができると言える。 数学的な解説などは下記を参照:
再生核研究所声明264 (2015.12.23):永遠とは何か―永遠から
再生核研究所声明257(2015.11.05):無限大とは何か、無限遠点とは何か―新しい視点
再生核研究所声明232(2015.5.26):無限大とは何か、無限遠点とは何か―驚嘆すべきゼロ除算の結果
再生核研究所声明262(2015.12.09)::宇宙回帰説―ゼロ除算の拓いた世界観
とにかく、全直線が まるまる見える、立体射影の考えは、実に楽しく、面白いと言える。この考えは、美しい複素解析学を支える100年以上の伝統を持つ、私たちの空間に対する認識であった。これは永劫回帰の思想を裏付ける世界観を 楽しく表現していると考えて来た。
ところが、2014.2.2.に発見されたゼロ除算は、何とその無限遠点が、実は原点に一致しているという、事実を示している。それが、我々の数学であり、我々の世界を表現しているという。数学的にも、物理的にもいろいろ それらを保証する事実が明らかにされた。これは世界観を変える、世界史的な事件と考えられる:
地球平面説→地球球体説
天動説→地動説
1/0=∞若しくは未定義 →1/0=0
現在、まるで、宗教論争のような状態と言えるが、問題は、無限の彼方、無限遠点がどうして、突然、原点に戻っているかという、強力な不連続性の現象である。複数のEUの数学者に直接意見を伺ったところ、アリストテレスの世界観、世は連続であるに背馳して、そのような世界観、数学は受け入れられないと まるで、魔物でも見るかのように表情を歪めたものである。新しい数学は いろいろ証拠的な現象が沢山発見されたものの、まるで、マインドコントロールにでもかかったかのように 新しい数学を避けているように感じられる。数学的な内容は せいぜい高校生レベルの内容であるにも関わらず、考え方、予断、思い込み、発想の違いの為に、受けいれられない状況がある。
この声明では 盲点の視点から、強調したい存念を纏めたい。
直線をどこまでも どこまでも行ったら、どうなるだろうか? 関数 y = 1/xで 正方向からx がゼロに近づいたらどうなるであろうか? あるいは 同様に上記立体射影で 北極にどんどん近づいたら どうなるであろうか? どんどん進んだらどうなるであろうかという問題である。伝統的で自然な考えは 何に近づくかと発想して、近づいた先、具体的には、無限大や北極に(無限遠点)に行くと考えるのは当然ではないだろうか。この発想の基礎には連続性、あるいは極限値の考え方がある。近づいて行った先が、求める対象であると考えてきた。具体的な関数y = 1/x では 正方向からx がゼロに近づいたら,限りなく大きくなるので、無限大が 1/0 の自然な値であろうと考えてきた。ところがゼロ除算の数学は、突然ゼロであると言っている。驚嘆すべき現象、事件である。北極に近づいた先が北極(無限遠点)であるから,平面上のあらゆる方向の先は、北極(無限遠点)であろうと発想してきたが、実は突然、原点に飛んでいるということが明らかにされた。無限の先は、実はゼロであったという事実である。我々はどんどん近づく先を考えたが、真の先までは考えず、あくまでも近づく先を考えていたことになる。これは無限の先を見てきた時の,それこそ、盲点そのものであったと言えるのではないだろうか。無限の先は、連続性ではなく、実は強力な不連続性、飛びが生じていたという事実である。これは全く、思いがけない、現象である と言える。それは、盲点、あるいは落とし穴があったと表現できよう。
従って、無限の彼方に関する我々の世界観は 大きな変更を要求されることになるだろう。
以 上
再生核研究所声明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は ユークリッド幾何学においても、大きな変革を求めている。
以上
再生核研究所声明290(2016.03.01) 神の隠し事、神の意地悪、人類の知能の程
オイラーの公式 e^{pi i}= -1 は最も基本的な数、-1, pi, i, eの4つの数の間の簡潔な関係を確立させているとして、数学とは何かを論じて、神秘的な公式として、その様を詳しく論じた(No.81, May 2012(pdf 432kb)
www.jams.or.jp/kaiho/kaiho-81.pdf Traduzir esta página
19/03/2012 -ここでは、数学とは何かについて考えながら、数学と人間に絡む問題などについて、幅. 広く 面白く触れたい。)。
余りにも深い公式なので、神の人類に対する意地悪かと表現して、神は恥ずかしがり屋で、人類があまりに神に近づくのを嫌がっているのではないかと発想した。
ここ2年間、ゼロ除算を発見して、ゼロ除算の実在性は確信できたが、ゼロ除算の神秘的な歴史(再生核研究所声明287(2016.02.13)神秘的なゼロ除算の歴史―数学界で見捨てられていたゼロ除算)とともに、誠に神秘的な性質があるので その神秘性に触れたい。同時に これを未解決の問題として世に提起したい。
ゼロ除算はゼロで割ることを考えるであるが、アリストテレス以来問題とされ、ゼロの記録がインドで初めて628年になされているが、既にそのとき、正解1/0が期待されていたと言う。しかし、理論づけられず、その後1300年を超えて、不可能である、あるいは無限、無限大、無限遠点とされてきたものである。天才オイラーの無限であることの証明とその誤りを論じた論文があるが、アーベル、リーマンと継承されて現在に至る。他方極めて面白いのは、アリストテレス以来、ニュートン、アインシュタインで問題にされ、下記の貴重な言葉が残されている:
Albert Einstein:
Blackholes are where God divided by zero.
I don’t believe in mathematics.
George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} [1]:
1. Gamow, G., My World Line (Viking, New York). p 44, 1970.
現在、ゼロ除算の興味、関心は 相対性の理論との関係と、ゼロ除算が計算機障害を起すことから、論理の見直しと数体系の見直しの観点にある。さらに、数学界の難問、リーマン予想に関係していると言う。
ゼロ除算の神秘的な歴史は、早期の段階で ゼロ除算、割り算が乗法の逆で、不可能であるとの烙印を押され、確定的に、 数学的に定まった と 人は信じてしまったことにあると考えられる。さらに、それを天才達が一様に保証してきたことにある。誠に重い歴史である。
第2の要素も、極めて大事である。アリストテレス以来、連続性で世界を考える が世界を支配してきた基本的な考え方である。関数y=1/x の原点での値を考えるとき、正方向、あるいは 負方向からゼロに近づけば、正の無限や負の無限に近づくのをみて、ゼロ除算とは無限の何か、無限遠と考えるのは極めて自然で、誰もがそのように考えるだろう。
ところが、結果はゼロであるというのであるから、驚嘆して、多くの人は それは何だと顔さえしかめたものである。しばらく、話さえできない状況が国際的にも一部の友人たちの間でも1年を超えても続いた。 そこで、最近、次のような文書を公表した:
ゼロ除算についての謎 ― 神の意思は?:
ゼロ除算は数学的な真実で、我々の数学の基本的な結果です。ところが未だ、謎めいた現象があり、ゼロ除算の何か隠れた性質が有るように感じます。それはギリシャ、アリストテレスの世界観、世の連続性を否定し、強力な不連続性を表しています。強力な不連続性は普遍的に沢山あることが分かりましたが、肝心な次の等角写像での不連続性が分かりません:複素関数
W = z+ 1/z
は 単位円の外と内を [-2,+2] を除いた全複素平面上に一対一上へ等角に写します。単位円は[-2,+2]を往復するようにちょうど写ります。単位円が少しずれると飛行機の翼の断面のような形に写るので、航空力学での基本関数です。問題は、原点が所謂無限遠点に写っているということです。ところがゼロ除算では、無限遠点は空間の想像上の点としては考えられても、数値では存在せず、数値としては、その代わりに原点ゼロで、それで原点に写っていることになります。それで強力な不連続性を起こしている。
神が、そのように写像を定めたというのですが、何か上手い解釈が有るでしょうか?
神の意思が知りたい。
2016.2.27.16:46
既に 数学における強力な不連続性は 沢山発見され、新しい世界観として定着しつつあるが、一般の解析関数の孤立特異点での確定値がどのような意味があり、なぜそのような不連続性が存在するのかは、神の意思に関わることで、神秘的な問題ではないだろうか。 神秘の世界があることを指摘して置きたい。
以 上
再生核研究所声明287(2016.02.12) 神秘的なゼロ除算の歴史―数学界で見捨てられていたゼロ除算
(最近 相当 ゼロ除算について幅広く歴史、状況について調べている。)
ゼロ除算とは ゼロで割ることを考えることである。ゼロがインドで628年に記録され、現代数学の四則演算ができていたが、そのとき、既にゼロで割ることか考えられていた。しかしながら、その後1300年を超えてずっと我々の研究成果以外解決には至っていないと言える。実に面白いのは、628年の時に、ゼロ除算は正解と判断される結果1/0=0が期待されていたということである。さらに、詳しく歴史を調べているC.B. Boyer氏の視点では、ゼロ除算を最初に考えたのはアリストテレスであると判断され、アリストテレスは ゼロ除算は不可能であると判断していたという。― 真空で比を考えること、ゼロで割ることはできない。アリストテレスの世界観は 2000年を超えて現代にも及び、我々の得たゼロ除算はアリストテレスの 世界は連続である に反しているので受け入れられないと 複数の数学者が言明されたり、情感でゼロ除算は受け入れられないという人は結構多い。
数学界では,オイラーが積極的に1/0 は無限であるという論文を書き、その誤りを論じた論文がある。アーベルも記号として、それを無限と表し、リーマンもその流れで無限遠点の概念を持ち、リーマン球面を考えている。これらの思想は現代でも踏襲され、超古典アルフォースの複素解析の本にもしっかりと受け継がれている。現代数学の世界の常識である。これらが畏れ多い天才たちの足跡である。こうなると、ゼロ除算は数学的に確定し、何びとと雖も疑うことのない、数学的真実であると考えるのは至極当然である。― ゼロ除算はそのような重い歴史で、数学界では見捨てられていた問題であると言える。
しかしながら、現在に至るも ゼロ除算は広い世界で話題になっている。 まず、顕著な研究者たちの議論を紹介したい:
論理、計算機科学、代数的な体の構造の問題(J. A. Bergstra, Y. Hirshfeld and J. V. Tucker)、
特殊相対性の理論とゼロ除算の関係(J. P. Barukcic and I. Barukcic)、
計算器がゼロ除算に会うと実害が起きることから、ゼロ除算回避の視点から、ゼロ除算の研究(T. S. Reis and James A.D.W. Anderson)。
またフランスでも、奇怪な抽象的な世界を建設している人たちがいるが、個人レベルでもいろいろ奇怪な議論をしている人があとを立たない。また、数学界の難問リーマン予想に関係しているという。
直接議論を行っているところであるが、ゼロ除算で大きな広い話題は 特殊相対性理論、一般相対性理論の関係である。実際、物理とゼロ除算の関係はアリストテレス以来、ニュートン、アインシュタインの中心的な課題で、それはアインシュタインの次の意味深長な言葉で表現される:
Albert Einstein:
Blackholes are where God divided by zero.
I don’t believe in mathematics.
George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} [1]:
1. Gamow, G., My World Line (Viking, New York). p 44, 1970.
数学では不可能である、あるいは無限遠点と確定していた数学、それでも話題が尽きなかったゼロ除算、それが予想外の偶然性から、思いがけない結果、ゼロ除算は一般化された除算,分数の意味で、何時でも唯一つに定まり、解は何時でもゼロであるという、美しい結果が発見された。いろいろ具体的な例を上げて、我々の世界に直接関係する数学で、結果は確定的であるとして、世界の公認を要請している:
再生核研究所声明280(2016.01.29) ゼロ除算の公認、認知を求める
Announcement 282: The Division by Zero $z/0=0$ on the Second Birthday
詳しい解説も次で行っている:
○ 堪らなく楽しい数学-ゼロで割ることを考える(18)
数学基礎学力研究会のホームページ
URLは http://www.mirun.sctv.jp/~suugaku
以 上
何故ゼロ除算が不可能であったか理由
1 割り算を掛け算の逆と考えた事
2 極限で考えようとした事
3 教科書やあらゆる文献が、不可能であると書いてあるので、みんなそう思った。
0 件のコメント:
コメントを投稿