2017年7月4日火曜日

もうすぐ「1kg」が変わりそう

もうすぐ「1kg」が変わりそう

頑張れば家でも作れる?

kg(キログラム)」、なにかと触れることが多い単位ではないでしょうか。体重とか、荷物の重さとか、体重とか。慣れ親しんだ質量の単位ですが、Techradarなどによれば2018年に定義が更新されそうなんです。

まず少し背景を。

世界にはさまざまな単位がありますが、その中でもSI基本単位である7つの単位は特に重要とされています。なぜかというと、その他多くの単位がこの7つを組み合わせや換算によって定められているからです。イメージとしては、単位界のボスたちという感じでしょうか。

さて、今回主役のキログラムもSI基本単位の1つですが、実は1970年代から定義の不安定さが問題視されていました。

他のSI基本単位は概念で定義されていて、安定しています。定義と概念の情報さえあればいつでも誰でも計り直せますし、情報は時間が経っても変わらないからです。対してキログラムは、「国際キログラム原器」という世界に1つしかない物体の質量として定義されています。原器もしくは原器の精密なコピーがないと正確なキログラムを知ることができないうえに、なんと時間が経つとともに質量が(汚れの蓄積と測量方法の変更によるものとはいえ)僅かながら変化してしまっているんです。ボスが意見のコロコロ変わってしまう人では困りますよね。



Image: Wikimedia Commons
アメリカが保有している国際キログラム原器のコピー



そのような事情があり、2011年にはキログラムの再定義が決定しました。そしていよいよ2018年に新定義が採択される予定というわけです。

現在もっとも有望視されているキログラムの新定義は、概念で定義できる電磁力がベースとなっています。ここで鍵となるのが特殊相対性理論とプランク定数。特殊相対性理論は質量とエネルギー量を結びつけ、プランク定数は電磁波の光子のエネルギー量とその周波数を結びつけます。新定義ではプランク定数を固定することで、間接的に質量を定義しています。

しかし実用性で考えると質量は重さで測りたいですよね。そこで重要になってくるのがワット天秤(キブル天秤)という非常に正確な天秤。プランク定数と重さを電磁力を通して結びつけます。

仕組みをとしてはこんな感じです。まず、永久磁石と電磁石の反発し合う力を、電流と電圧を調節することで、測りたい物体の重さと釣り合わせます。次に電流と電圧を測り、ワット天秤を校正したときに得たデータと照らし合わせることで、重さを割り出します。最後に、重さを重力加速度で割ることで、質量を計算。要は電流と電圧を測ることで、間接的に質量が測れる装置なのです。



Image: Wikimedia Commons
ワット天秤



というわけで、定義が更新されそうなんですが、たとえ更新されたとしても日常生活に特筆すべき影響はありません。影響があるのは製薬会社や、物理学者、または警察組織の鑑識といった、ものすごい精度が求められる現場です。

ちなみに、再定義に使用されるワット天秤は、ドイツ物理工学研究所によって作成されていますが、こちらのD.I.Y.動画によれば誰でもミニチュアバージョンが作れるそうです。

とても興味深く読みました:

再生核研究所声明3682017.5.19)ゼロ除算の意義、本質
                     
ゼロ除算の本質、意義について、既に述べているが、参照すると良くまとめられているので、初めに復習して、新しい視点を入れたい。

再生核研究所声明3592017.3.20) ゼロ除算とは何か ― 本質、意義

ゼロ除算の理解を進めるために ゼロ除算とは何か の題名で、簡潔に表現して置きたい。 構想と情念、想いが湧いてきたためである。
基本的な関数y=1/x を考える。 これは直角双曲線関数で、原点以外は勿論、値、関数が定義されている。問題はこの関数が、x=0  で どうなっているかである。結論は、この関数の原点での値を ゼロと定義する ということである。 定義するのである。定義であるから勝手であり、従来の定義や理論に反しない限り、定義は勝手であると言える。原点での値を明確に定義した理論はないから、この定義は良いと考えられる。それを、y=1/0=0 と記述する。ゼロ除算は不可能であるという、数学の永い定説に従って、1/0 の表記は学術書、教科書にもないから、1/0=0 の記法は 形式不変の原理、原則 にも反しないと言える。― 多くの数学者は注意深いから、1/0=\infty の表記を避けてきたが、想像上では x が 0 に近づいたとき、限りなく 絶対値が大きくなるので、複素解析学では、表現1/0=\infty は避けても、1/0=\infty と考えている事は多い。(無限大の記号がない時代、アーベルなどもそのような記号を用いていて、オイラーは1/0=\inftyと述べ、それは間違いであると指摘されてきた。 しかしながら、無限大とは何か、数かとの疑問は 続いている。)。ここが大事な論点である。近づいていった極限値がそこでの値であろうと考えるのは、極めて自然な発想であるが、現代では、不連続性の概念 が十分確立されていて、極限値がそこでの値と違う例は、既にありふれている。― アリストテレスは 連続性の世界観をもち、特にアリストテレスの影響を深く受けている欧米の方は、この強力な不連続性を中々受け入れられないようである。無限にいくと考えられてきたのが突然、ゼロになるという定義になるからである。 しかしながら、関数y=1/xのグラフを書いて見れば、原点は双曲線のグラフの中心の点であり、美しい点で、この定義は魅力的に見えてくるだろう。
定義したことには、それに至るいろいろな考察、経過、動機、理由がある。― 分数、割り算の意味、意義、一意性問題、代数的な意味づけなどであるが、それらは既に数学的に確立しているので、ここでは触れない。
すると、定義したからには、それがどのような意味が存在して、世の中に、数学にどのような影響があるかが、問題になる。これについて、現在、初等数学の学部レベルの数学をゼロ除算の定義に従って、眺めると、ゼロ除算、すなわち、 分母がゼロになる場合が表現上現れる広範な場合に 新しい現象が発見され、ゼロ除算が関係する広範な場合に大きな影響が出て、数学は美しく統一的に補充,完全化されることが分かった。それらは現在、380件以上のメモにまとめられている。しかしながら、世界観の変更は特に重要であると考えられる:

複素解析学で無限遠点は その意味で1/0=0で、複素数0で表されること、アリストテレスの連続性の概念に反し、ユークリッド空間とも異なる新しい空間が 現れている。直線のコンパクト化の理想点は原点で、全ての直線が原点を含むと、超古典的な結果に反する。更に、ゼロと無限の関係が明らかにされてきた。
ゼロ除算は、現代数学の初等部分の相当な変革を要求していると考えられる。
以 上

ゼロ除算の代数的な意義は、山田体の概念で体にゼロ除算を含む構造の入れ方、一般に体にゼロ除算の概念が入れられるが、代数的な発展については 専門外で、触れられない。ただ、計算機科学でゼロ除算と代数的な構造について相当議論している研究者がいる。
ゼロ除算の解析学的な意義は、従来孤立特異点での研究とは、孤立点での近傍での研究であり、正確に述べれば 孤立特異点そのものでの研究はなされていないと考えられる。
なぜならば、特異点では、ゼロ分のとなり、分子がゼロの場合には ロピタルの定理や微分法の概念で 極限値で考えてきたが、ゼロ除算は、一般に分子がゼロでない場合にも意味を与え、極限値でなくて、特異点で 何時でも有限確定値を指定できる ― ゼロ除算算法初めて、特異点そのものの世界に立ち入ったと言える。従来は孤立特異点を除いた世界で 数学を考えてきたと言える。その意味でゼロ除算は 全く新しい数学、世界であると言える。典型的な結果は tan(\pi/2) =0で、y軸の勾配がゼロであることである。
ゼロ除算の幾何学的な意義は、ユークリッド空間のアレクサンドロフの1点コンパクト化に、アリストテレスの連続性の概念でない、強力な不連続性が現れたことで、全く新しい空間の構造が現れ、幾何学の無限遠点に関係する部分に全く新規な世界が現れたことである。所謂無限遠点が数値ゼロで、表現される。
さらに、およそ無限量と考えられたものが、実は、数値ゼロで表現されるという新しい現象が発見された。tan(\pi/2) =0の意味を幾何学的に考えると、そのことを表している。これはいろいろな恒等式に新しい要素を、性質を顕にしている。ゼロが、不可能性を表現したり、基準を表すなど、ゼロの意義についても新しい概念が現れている。

以 上

ゼロ除算の詳しい解説を次で行っている:
(数学基礎学力研究会のホームページ
URL
The division by zero is uniquely and reasonably determined as 1/0=0/0=z/0=0 in the natural extensions of fractions. We have to change our basic ideas for our space and world

Division by Zero z/0 = 0 in Euclidean Spaces
Hiroshi Michiwaki, Hiroshi Okumura and Saburou Saitoh
International Journal of Mathematics and Computation Vol. 28(2017); Issue  1, 2017), 1
-16. 
http://www.scirp.org/journal/alamt   http://dx.doi.org/10.4236/alamt.2016.62007
http://www.ijapm.org/show-63-504-1.html

http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf

Relations of 0 and infinity
Hiroshi Okumura, Saburou Saitoh and Tsutomu Matsuura:
http://www.e-jikei.org/…/Camera%20ready%20manuscript_JTSS_A…

1/0=0、0/0=0、z/0=0

http://ameblo.jp/syoshinoris/entry-12276045402.html

 


1/0=0、0/0=0、z/0=0


再生核研究所声明3672017.5.18)数学の真実を求める方、数学の研究と教育に責任を感じる方へ
(「明日ありと 思う心の仇桜 夜半に嵐の 吹かぬものかは」 ― 親鸞聖人)
そもそも数学とは何だろうかと問うことは大事である。しかしながら、生きる意味を問うことは より根源的で大事な問いである。数学についても人生についても述べてきた:(No.81、2012年5月(PDFファイル432キロバイト) -数学のための国際的な社会...www.jams.or.jp/kaiho/kaiho-81.pdf)。
数学とは、公理系、仮定系を設定すると、このようなことが言えるというものである。公理系の上に、いろいろな概念や定義を導入して数学は発展するがその全貌や本質を捉えることは何時まで経っても人間の能力を超えた存在で不可能であろう。しかしながら、人それぞれの好みを越えて、完成された理論は人間を越えて存在する客観性を有すると信じられている。万有引力の法則など物理法則より数学の理論は不変で確かな存在であろう。
数学が関係の編みのようなものであると見れば、数学の発展の先や全貌は 人間を越えて本質的には存在すると言える。例えばニュートンの万有引力の発見は、物理学の発展から必然的と言えるが、数学の発展の先はそれよりも必然的であると考えられる。その意味では、数学では特に要求されない限り、じっくりと落ち着いて楽しむように研究を進められるであろう。
ところで、ゼロで割る問題、ゼロ除算であるが、これは誠に奇妙な歴史的な事件であると言える。
ゼロで割れないは 小学校以来の世界の常識であり、アリストテレス以来の考えであると言う。オイラーやアインシュタインなども直接関わり、数学的には確定していたが、不可能性に対する興味とともに、計算機科学と相対性の理論の関係で今でも議論が続けられている。
ところが、誠に奇妙な事実が存在する。ゼロの発見者、マイナスの数も考え、算術の四則演算を確立されたBrahmagupta (598 -668 ?) は 既に、そこで628年、0/0=0 と定義していたという。しかしながら、それは間違いであると 今でも判断されていて今日に至っている。今でもゼロ除算について諸説が有って、世界やグーグルの世界でも混乱している。何十年も研究を続けて、本を出版したり、論文を公表している者が4,5人、あるいはグループで研究している者もいるが、それらは間違いである、不適当であると説得を続けている。ゼロ除算について無駄な議論や情報が世界に氾濫していると言える。
再生核研究所では、ゼロ除算発見3周年を経過し、広く議論してきたので、ゼロ除算の発見を宣言している(Announcement 362: Discovery of the division by zero as $0/0=1/0=z/0=0$ (2017.5.5)})。詳しい解説も3年間続け
(数学基礎学力研究会のホームページ
URL
、論文も発表、学会、国際会議などでも報告してきている。
何と創始者の結果は実は正しく、適当であることが沢山の数学の具体的な例と発展から、明らかにされてきた。ところがゼロ除算は、アリストテレスの連続性の概念を変え、2000年以上の伝統を有するユークリッド空間に全く新しい面が加わり、現代数学の初歩全般に大きな影響を与えることが分かってきた。
我々の空間の認識は間違っており我々が学んでいる数学は、基本的なところで、欠落していて、真実とはかなり程遠く、実は数学はより完全でもっと美しいことが分かってきた。我々は年々不完全で不適当な数学を教えていると言える。
このような多くの大きな変化にはとても個人では対応できず、対応には大きな力が必要であるから、数学の愛好者や、研究者、教育者などの積極的な協力、教育、研究活動への参画、理解、援助などをお願い致したい。ゼロ除算の歴史は 人類の恥になるだろう。人々はゼロ除算の発展から、人間とはどのようなものかを沢山 学べるのではないだろうか。
以 上

再生核研究所声明3662017.5.16微分方程式論の不備 ― 不完全性
(2017.5.14.9 時頃 山間部を散歩している時に 自然に構想が湧いた。)
数学の論理の厳格さ、厳密性は ジョルダンの閉曲線定理 が有名であるが、デデキンドの連続性公理、ワイエルシュトラスの最大値、最小値の存在定理、中間値の定理なども有名である。数学専攻学生の初期における ゼミナールの指導精神は、厳格な論理的思考の訓練にあると考えられる。この態度は 数学者の精神の基礎で、世情でも数学者との論争は手ごわいと見られているのではないだろうか。論理に隙や飛躍がないからである。逆に見ると、数学者が確立した理論は 恰も不滅の、不変の真理のように思われている、考えられているのではないだろうか。
この観点で、日本の著名な代表著書 高木貞治氏の解析概論は、模範的な数学書で、完璧な記述でまるで芸術作品のようである。
年々数学の著書が数多く出版されているが、著者たちは まずは、間違いのない記述に気を遣ってきていると考えられる。
ここ2年くらい、ゼロ除算の発見で、主に初等数学、学部レベルの教科書を相当参照してきている。実際、ゼロ除算が 数学にどのような影響を与えるかの基礎を見るには、基礎的な数学への関係を見れば、基本的な状況が捉えられると考えたからである。 
ゼロ除算の影響は、初等幾何学、解析幾何学、線形代数学、微積分学、微分方程式、複素解析学、力学など広範囲に及び、初等数学全般に及ぶことが明らかにされてきた。
ところが、数学の多くの著書のうちでも、微分方程式論では、現在の版でも相当に隙や論理の飛躍、扱いの不統一さなど、数学書としては 他の分野の著書に比べて ちぐはぐ、隙だらけに見えて来た。微分方程式論は不完全な状況であると言える。このことを簡潔に、具対的に指摘したい。未知の相当な世界にも触れたい。
先ず、微分方程式の定義である。普通は導関数を含む方程式を微分方程式と称する。このとき導関数とは何だろうか。関数に微分係数を対応させて、微分によって導かられた関数が導関数であるから、微分方程式には関数が定義されていなくてはならない。普通は1変数関数ならばxの関数 y=f(x) などと考え、その導関数を含む方程式を考えるだろう。例として考えられるのは、原点を中心とする半径aの円群が満たす例として多くの教科書の初期に 微分方程式の例が挙げられる。このとき、円はy軸に平行な接線を持つから その点で微分係数は存在しないと考えられるから、ただでは円群の満たす微分方程式とは言えず、微分方程式を満たさない点が存在することになってしまう。数学としては初めから、格好が悪いと言える。多くの微分方程式でこのことは広く問題になる。― ここの説明を上手くするために 都合の悪いところで、独立変数と従属変数を変えて、そこで考えれば良いという意見を頂いたが、少し人為的、最初の議論としてはあまり良いとは言えないのではないだろうか。
ところがゼロ除算で考えると、何とy軸に平行な接線の接点で、関数は微分可能で、微分係数の値、勾配はゼロであることが ゼロ除算の拓いた重要な知見、結果である。すると、微分方程式 dy/dx= - x/y は至るところで、円によって満たされるとなる。念のため、(a,0) で (dy/dx)(a)= - a/0=0 である。
この初歩的な結果は、微分方程式論に大きな影響を与える。解析関数の孤立特異点で、自然な意味で、値と微分係数を定義できるから、微分方程式を孤立特異点そのものでも考えることができるという、広い世界が拓かれてくる。微分方程式論を孤立特異点まで含めて議論する広い世界である。そもそも従来は、孤立特異点の孤立点を除いた近傍で数学を議論してきた。孤立特異点そのところでは数学を考えて来なかったのである。
ゼロ除算が拓いたゼロ除算算法は 解析関数の孤立特異点で有限確定値を与え、それらが自然な意味を持つから、微分方程式と微分方程式の解の孤立特異点での値の性質を調べる雄大な分野が存在する。
要するに、数理科学の数式で、分母がゼロになる膨大な数式で、ゼロ除算算法で孤立特異点で考える新しい世界が出現し、その影響は甚大であると考えられる。
もちろん、偏微分方程式論でも同様であるが、多変数のゼロ除算の定義から既に多変数解析関数論における難解な問題に繋がっていて、殆ど未知の世界である。
ゼロ除算算法の微分方程式論における影響は広範で、甚大であると考えられる。学術書の全般的な書き換えが求められている。
以 上

再生核研究所声明3712017.6.27)ゼロ除算の講演― 国際会議 https://sites.google.com/site/sandrapinelas/icddea-2017 報告

ゼロ除算については、既に相当な世界を拓いていると考えるが、世の理解を求めている状況下で、理解と評価、反響にも関心がある:

ゼロ除算は 物理学を始め、広く自然科学や計算機科学への大きな影響があり、さらに哲学、宗教、文化への大きな影響がある。しかしながら、ゼロ除算の研究成果を教科書、学術書に遅滞なく取り入れていくことは、真智への愛、真理の追究の表現であり、四則演算が自由にできないとなれば、数学者ばかりではなく、人類の名誉にも関わることである。実際、ゼロ除算の歴史は 止むことのない闘争の歴史とともに人類の恥ずべき人類の愚かさの象徴となるだろう。世間ではゼロ除算について不適切な情報が溢れていて 今尚奇怪で抽象的な議論によって混乱していると言える。― 美しい世界が拓けているのに、誰がそれを閉ざそうと、隠したいと、無視したいと考えられるだろうか。我々は間違いを含む、不適切な数学を教えていると言える: ― 再生核研究所声明 41: 世界史、大義、評価、神、最後の審判 ―。
地動説のように真実は、実体は既に明らかである。 ― 研究と研究成果の活用の推進を 大きな夢を懐きながら 要請したい。 研究課題は基礎的で関与する分野は広い、いろいろな方の研究・教育活動への参加を求めたい。素人でも数学の研究に参加できる新しい初歩的な数学を沢山含んでいる。ゼロ除算は発展中の世界史上の事件、問題であると言える (再生核研究所声明325(2016.10.14) ゼロ除算の状況について ー 研究・教育活動への参加を求めて)

そのような折り、ISAAC マカオ国際会議では、招待、全体講演を行い、ゼロ除算について、触れ、 論文も発表したものの(Qian,T./Rodino,L.(eds.): Mathematical Analysis, Probability and Applications -Plenary Lectures: Isaac 2015, Macau, China.  (Springer Proceedings in Mathematics and Statistics, Vol. 177) Sep. 2016  305pp.(Springer)  
今回頭記の200名を超える大きな国際会議で、ゼロ除算と微分方程式について真正面からゼロ除算の成果を発表することができた。
ゼロ除算には、世界史と世界観がかかっているとの認識で、この国際会議を記念すべきものとするようにとの密かな望みを抱いて出席した。そこで、簡単に印象など記録として纏めて置きたい。
まずは、3日目 正規の晩餐会が開かれる恵まれた日に 最初に全体講演を行った。主催者の学生が多数出席されたり、軍の専属カメラマンが講演模様を沢山写真に収めていた。図版を用意し、大事な点はOHPで講演中図示していた。用意した原稿は良く見えるように配慮したので、全貌の理解は得られたものと考えられる。 結びには次のように述べ、示した。宣言文の性格を持たせるとの意思表示である:
{\bf The division by zero is uniquely and reasonably determined as $$1/0=0/0=z/0=0$$ in the natural extensions of fractions. \\
We have to change our basic ideas for our space and world.\\
We have to change our textbooks and scientific books on the division by zero.\\
Thank you for your attention.}

講演に対して、アラブ首長国の教授が、現代数学を破壊するので、全て認められないとの発言があった。後で、送迎中のバスの中で、とんちんかんな誤解をしている教授がいることが分かった。過去にも経験済みであるが、相当に二人共 感情的に見えた ― それはとんでもないという感じである。閉会式に参加者を代表して謝辞を述べられたギリシャの教授が、画期的な発見で、今回の国際会議の最大の話題であったと述べられたが、要点について話したところ、要点の全てについて深い理解をしていることが確認された。さらにゼロ除算の著書出版の具体的な計画を進めたいという、時宜を得た計画が相談の上、出来た。
そこで、講演原稿と図版を出席者たちにメールし、助言と意見を広く求めている。理解できないと述べられた人にも 要求に応じて送っているが、現在までのところ連絡、返答がない。
主催者から、50カ国以上から200名以上の出席者があったと述べられたが、そのような国際会議で、招待、全体講演を行うことができたのは 凄く記念すべきこととして、出版される会議録、論文集の出版に最善をつくし、交流ができた人々との交流を積極的に進めていきたい。尚、正規の日本人参加者は8名であった。
ゼロの発見国インドからは6名参加していたので、1300年も前に0/0=0が四則演算の創始者によって主張されていた事実を重要視してその状況を説明し、特に対話を深め、創始者に関する情報の収集についての協力をお願いした。ゼロ除算について理解した、分かったと繰り返し述べていたが、どうも感情が伴わず、心もとない感じであった。若いカナダの女性に印象を伺ったところ、沢山の具体例を挙げられたので、認めざるを得ない、内容や意義より驚きの感じで、それが講演に対する全体的な反響の状況を表していると考えられる。
歴史は未来によって作られる。今回の国際会議の意義は 今後の研究の進展で左右されるものと考える。しかしながら十分な記録は既に残されていると考えている。

以 上

1 件のコメント:

  1. Its interface is almost identical to Free YouTube to MP3 converter – a clean, self-explanatory affair with more advanced settings tucked away in an Options menu. There, you can choose to shut down your PC once the download is finished, download via a proxy, and paste URLs from the clipboard automatically.
    gta 5 apk

    返信削除