ヨハン・カール・フリードリヒ・ガウス（[ɡaʊs]; ドイツ語: Gauß 
listen[ヘルプ/ファイル], ラテン語: Carolus Fridericus Gauss）（1777年4月30日 - 1855年2月23日）はドイツの数学者、天文学者、物理学者である。彼の研究は広範囲に及んでおり、特に近代数学のほとんどの分野に影響を与えたと考えられている。数学の各分野、さらには電磁気など物理学にも、彼の名が付いた法則、手法等が数多く存在する。19世紀最大の数学者の一人である[1]。
listen[ヘルプ/ファイル], ラテン語: Carolus Fridericus Gauss）（1777年4月30日 - 1855年2月23日）はドイツの数学者、天文学者、物理学者である。彼の研究は広範囲に及んでおり、特に近代数学のほとんどの分野に影響を与えたと考えられている。数学の各分野、さらには電磁気など物理学にも、彼の名が付いた法則、手法等が数多く存在する。19世紀最大の数学者の一人である[1]。生い立ちと幼年期[編集]
生誕地ブラウンシュヴァイクに建てられている記念碑
ガウスはドイツのブラウンシュヴァイクで、煉瓦職人の親方であった父親と、慎ましい母親の下に生まれた。子供の頃から彼は神童ぶりを発揮し、逸話として、小学校での話が残っている。
ある時、1 から 100 までの数字すべてを足すように課題を出された。それを彼は、1 + 100 = 101, 2 + 99 = 101, …, 50 + 51 = 101 となるので答えは 101 × 50 = 5050 だ、と即座に解答して教師を驚かせた。「81297に始まり、198ずつ増えていく100個の和を求めよ」だったとも言われている[2]。
実際、算術の教師は彼の才能を見るにつけ、このような天才に自分が教えられることは何もないと言ったそうである。教師はガウスの父親に、ガウスに数学を勉強させるように何度も説得したそうである。そして彼は多才であったため、音楽や言語学にも興味を持ち、将来何になるかを迷っていたそうである。また1792年頃、15歳当時の彼は、一日15分ずつの予備の時間を当てて1000個ずつの自然数にそれぞれいくつの素数が現れるかを調べ、その次第に減っていく様子から、約100年後に証明されることになる素数定理を予想した[3]。
ガウスは言葉を満足に話せるようになる前から、誰から学ぶこともなく計算ができたといわれている。彼がまだ3歳になるかならないかの頃、父親が職人達に支払う給料の計算をしていた時、彼は父親の計算が間違っていることを傍から指摘した。父親が驚いて計算をやり直したところ、息子が指摘した通りであったという[4]。また酒樽の体積を求めるにはそれをスライスした面の面積を調べて積み重ねればよい、という積分の概念にも自力で到達していた。七歳になるとガウスは地元の小学校に入った。ここでビュットナー校長によって算数を習うものの、すでにガウスは習得済みであった。このため、校長は自費でより高級な算術の教科書をハンブルクから取り寄せたが、すぐに読み終えてしまった。ここで校長は「これ以上教えられることはない」と述べたようである。そこで校長は、助手であるヨハン・バーテルスにガウスを任せることにした。ガウスとバーテルスは共に学び、教科書を改良したり、新しい概念を生み出すようになった。バーテルスはブラウンシュヴァイク＝ヴォルフェンビュッテル公フェルディナントの知人であり、フェルディナントの経済的支援によってゲッティンゲン大学に行くことになった。
大学では、ハンガリー貴族であるボーヤイ・ファルカシュ（独語表記：ファルカシュ・ヴォルフガング・ボヤイ）と友人になった。ボヤイがガウスの家を訪ねた際、ガウスの母はボヤイへ息子は優秀かと尋ね、ボヤイがガウスはヨーロッパ一の数学者になるでしょうと答えると、母は泣き崩れたという。
思想とおもな業績[編集]
ガウスは奨学金を得て大学に進み、数々の重要な発見を行った。彼は、古代ギリシアの数学者達に起源を持つ定規とコンパスによる正多角形の作図問題に正確な必要十分条件を与え、正17角形が作図できることを発見した（1796年3月30日）[5]。作図できる正素数角形は古来から知られていた正三角形と正五角形のみだと考えられていたのでこの発見は当時の数学界に衝撃を与えた。作図できる正多角形の種類が増えたのは約二千年ぶりのことであった。彼はこの結果を非常に喜び、この成果である正17角形を墓標に刻むように申し入れた（結局、これは実現されなかったが、彼の記念碑には正17角形が刻まれている）。また、この発見の日より、数学的発見を記述したガウス日記を付け始め、また自分の将来の進路を数学者とすることに決めたといわれる。学位論文で彼は代数学の基本定理を最初に証明した。後に彼はこの問題に対して3つの異なる証明を行い、複素数の重要性を決定付けた。
ガウスの最も偉大な貢献は数論の分野である。この分野だけが、その全貌ではないにしろガウスの研究が体系的にまとめられて出版された。それが1801年に発表した Disquisitiones Arithmeticae であり、そのほとんどのページが二、三元の二次形式の研究に当てられている。この本は、数の合同の記号を導入し合同算術の明確な表現を与え、平方剰余の相互法則の初の完全な証明などが与えられている。自然数の素数による一意分解の定理が明確に言明され、証明されたのもこの本が最初であった。また今日でいうところの円分体の理論が記述されているほか、素数定理に対する予想が述べられている。しかしこの本は、あまりにも時代を抜きん出た難解な著作であり、その上出版社の問題から発行部数が相当低かったこともあって、実際には当時理解できるものは限られていた。結局それがようやく大勢に理解されるようになるのは、それを詳しく解読し講義したディリクレの時代になってからである。
ガウスは発表はしなかったが、解析学の分野でも時代を先んじた研究を行っていた。当時はまだ複素数が完全なる市民権を得ておらず、できれば使用を避けたいという風潮のあった時代であった。そのため、ガウスは代数学の基本定理を証明した学位論文では誤解を避けるために虚数を表に出さず、多項式が実数の範囲内で1次または2次の因数に分解されるとした。そのような時代にあっても、早くから虚数への偏見から完全に自由であったガウスは複素数の世界に深く分け入り、数多の美しい結果を得た。まず1797年から始まる楕円関数の最初の研究、レムニスケート関数の発見である。そして1800年には一般楕円関数を発見し、その理論を展開した。楕円関数の発見が世の中に最初に公表されたのは 1828年のクレレ誌上のニールス・アーベルの論文によってであるから、ガウスがいかに時代を先んじていたかが分かる。また同じ1800年頃、モジュラー関数を発見してその理論を組み立てたが、それはデデキントの同種の仕事に先立つこと50年であった。一方、関数論は1825年のコーシーの虚数積分の論文に端を発し、その後30年を掛けて対象としての解析関数の認知にまで発展したが、ガウスには1811年にはすでに、後に「コーシーの積分定理」として知られる事柄を確実に把握し、使いこなしていた。すでに1790年代の中頃からガウス平面上で物事を考えていたガウスの眼には二重周期関数の存在は自明で、三角関数の拡張を目指して楕円積分の逆関数を考え、その結果 「楕円関数」を得たのもごく自然の動きであり、また複素積分での積分路の役割を考えてコーシーの積分定理の内容に逢着したのもこれまたごく自然であろう。
ガウスは、そうした成果の全てを発表しなかったが、彼がそのように、自身の成果を発表せずにいたのにはいくつかの要因があると思われる。その1はガウスにとっては研究で美しい結果を得ることが最大の報酬であり、他人の認知を必要としなかったことである。そしてその2は世間の無理解、誤解によって生ずる論争の煩わしさを嫌ったことである。実際、ガウスは非ユークリッド幾何学の可能性についての自身の考えが世に漏れることに極めて慎重であった。そしてその3は当時の成果発表手段の乏しさである。その頃は今のように論文原稿を送るべき学会誌や論文雑誌は存在せず、成果発表は主として自家印刷の小冊子や単行本によった（しばらくして学士院や大学の紀要も）。実際、ガウスの整数論は単行本として発表された。そしてアーベルの「代数方程式に関する論（五次の一般的な方程式を解くことの不可能の証明）」は自家印刷の粗末な小冊子として出されて、その時は世間に認知されずに終わった。アーベルのこの論文や楕円関数論が世間に認知されたのは1826年に論文雑誌「クレレ誌」が創刊され、それに寄稿しての話である。このような時代にあってガウスは解析学の大著述を計画するが、研究が進展して考察の範囲がとめどもなく拡大していき完結の機会を逸し、また測量学の実地での測量や膨大な数値計算、天文観測などで多忙であったこと、ナポレオンによるヨーロッパの政治混乱による経済的困窮などにより、ついに世に出ることがなかったという。
1809年にガウスは Theoria motus（『天体運行論』）の中で彼の主要な研究であった最小二乗法の振る舞いについて記す。これは現在の科学ではほぼすべての分野で観測等の誤差を含むデータから推定値を求める際の計算法として用いられている。また、誤差の分布に対してある程度の仮定を設けることで正規分布が導かれることや、正規分布に基づいて最小二乗法による推定の良さ（今日の最尤推定）が導かれることなどを証明した。これについての論文は1805年にアドリアン＝マリ・ルジャンドルが発表していたが、ガウスはこの理論に1795年には到達していた（ただし、これがルジャンドルとの先取権を巡るいざこざの原因となり、面倒を嫌うガウスの秘密主義を招いたとも言われる）。
ガウスはブラウンシュバイク公爵から援助されて研究生活をしていた。それを不満と思っていたわけではなく、生活に困ってもいなかったが、数学そのものがそれほど世の中の役に立つとは考えていなかった（注、職業数学者というポストが成立したのは主に大学制度が出来てからで、それ以前は貴族王侯の名誉を支える一種の芸人として仕えるあるいは助成を受ける者として、あるいは自然科学や産業上の研究と不可分な形で、または個人の名誉の探求行為としてのみ存在した）。そのため、彼自身は天文学者になることを願うようになり、1801年に発見後行方不明になっていたケレスの軌道決定の功績が認められて1807年にゲッティンゲンの天文台長になった。そこでも測定用機材の開発（ガウス式レンズの設計）、楕円関数の惑星の摂動運動への応用、力学に於ける最小作用の法則の定式化の一つである「ガウスの最小拘束の原理」など、数々の発見を行っている。
1818年にハノーファー王国の測量をする測定装置のために、後に大きな影響を与えた正規分布についての研究を始めた。これは測量結果の誤差に関する興味からである。またこのときの測量成果の取りまとめに当たり考案した、等角写像による地球楕円体表面から平面への地図投影法はガウス・クリューゲル図法として今日においても世界各国で活用されている。
測量への興味から曲面論を創始し、後のリーマン幾何学に影響を与えた。1827年に『曲面の研究』（羅: Disquisitiones generales circa superficies curvas）を出版し、曲面の面積と対応する単位球面の面積の無限小比として意味付けられる曲率（今日ではガウス曲率と呼ばれる）が、曲面の内在的量にのみ依存することを示し、ラテン語で Theorema Egregium（驚異の定理）と呼んだ。この定理は、微分幾何学においてガウスの基本定理、あるいは単にガウスの定理とも呼ばれる。
ガウスは非ユークリッド幾何学の一つである双曲幾何学の発見者でもある。しかしそれに関する発表は一切行わなかった。友人であるファルカス・ヴォルフガング・ボヤイはユークリッド幾何学以外の公理を発見しようと多くの年月を費やしたが失敗した。ボヤイの息子であるヤーノシュ・ボヤイは1820年代に双曲幾何学を再発見し1832年に結果を発表した。これについてガウスは「書かなくて良くなった」と発言している。この後、物理学の分野でこれが現実の世界にどれだけ妥当しているのかを計測しようと試みている。
また地球磁気の研究に関連して、フーリエ級数展開の高速な計算方法を開発し、データ数が2の冪乗の場合についてを論文に記述しているが、これは後の電子計算機の時代に FFT として定式化（が再発見）された方法と本質的には同じものである。
また1831年には物理学教授のヴィルヘルム・ヴェーバーとの共著を行い、電磁気学について多くの回答を与えた。ガウスの定理・ガウスの法則・ガウス（磁束密度の単位）・ガウス単位系は彼の名に因む。電気でのキルヒホッフの法則に当たるものを発見し、電信装置を作り上げた。これは1873年のウィーン万国博覧会に展示された。なお、モールスはこの話を旅行中の船上で人から聞き、思索の末に電信符号を発明した。ガウスとウェーバーの電信機は、電流計の針の振れ角の大きさで通信をするアナログ方式であったが、モールス符号はデジタル方式である。またモールスは英文に対して符号長が平均的に短くなるように印刷所の活字の割合を参考として符号の割り当てを決めてもいる。
また、ガウスは液体の表面張力や毛細管現象などについての研究も発表している。ガウスの研究の志向はその時代に自然哲学の巨星であったニュートンやオイラーが為した業績をさらに前進させるといったものが多かったように思われる。
彼は数学の教授になったことはなく、教師となることも嫌ったが、リヒャルト・デーデキントやベルンハルト・リーマンなど彼の弟子達は、彼の僚友で後継者としてユダヤ人初の正教授となったモーリツ・アブラハム・スターンにも才能を引き出され、偉大な数学者となった。
人柄と私生活[編集]
ガウスは信心深く、保守的な人物だった。君主制を支持し、フランス革命の際にはナポレオンと対立した。彼は他の数学者と一緒に何かをすることは殆どなく、あまり人と打ち解けることのない厳粛な人だったと多くの人が伝えている。
私生活では、最愛の妻、ヨハンナ・オストホフ（Johanna Osthoff, 1780年 - 1809年）が若くして亡くなり、さらにそれを追うように次男ルイスも夭逝するなど、暗い出来事が続いた。特に彼はヨハンナを精神的な意味も込めて溺愛しており、彼女の死は彼の精神に大きなショックを与え、以後完全に回復することはなかった。ルイスの死後すぐに、フリーデリカ・ヴィルヘルミーネ・ヴァルトエック（Friederica Wilhelmine Waldeck, 愛称ミンナ:Minna）と再婚したものの、この結婚から得られた幸せは希薄なものだったようである。ガウスはヨハンナの面影が忘れられず、再婚相手のミンナへの手紙にもそのことを書く始末であった。ミンナも1831年に長い病気の末に亡くなり、その後は娘のテレーズ (Therese) が身の回りの世話をしていた。また、ガウスは母親とも1812年から彼女の亡くなる1839年まで一緒に住んでいた。
子供は2人の妻に3人ずつ、合計6人もうけた。ヨハンナとの間の子供は、ヨゼフ（Joseph, 1806年 - 1873年）、ヴィルヘルミーナ（Wilhelmina, 愛称はやはりミン, 1808年 - 1846年）、ルイス（Louis, 1809年 - 1810年）である。なかでもヴィルヘルミーナの才能はガウスに近いものがあったと言われているが、彼女も若くして亡くなってしまう。ミンナ・ヴァルトエックとの間の子供はオイゲネ（Eugene, 1811年 - 1896年）、ヴィルヘルム（Wilhelm, 1813年 - 1879年）、テレーズ（Therese, 1816年 - 1864年）がいる。オイゲネは1832年頃父の元を離れてアメリカ合衆国ミズーリ州のセント・チャールズに移住した。しばらく後にヴィルヘルムもミズーリ州に渡り、農業を始め、後にセントルイスで靴のビジネスで成功した。テレーズは結婚した後もガウスの面倒を見て家に留まった。
とても興味深く読みました：
\documentclass[12pt]{article}
\usepackage{latexsym,amsmath,amssymb,amsfonts,amstext,amsthm}
\numberwithin{equation}{section}
\begin{document}
\title{\bf Announcement 362: Discovery of the division by zero as \\
$0/0=1/0=z/0=0$\\
(2017.5.5)}
\author{{\it Institute of Reproducing Kernels}\\
Kawauchi-cho, 5-1648-16,\\
Kiryu 376-0041, Japan\\
}
\date{\today}
\maketitle
{\bf Statement: } The Institute of Reproducing Kernels declares that the division by zero was discovered as $0/0=1/0=z/0=0$ in a natural sense on 2014.2.2. The result shows a new basic idea on the universe and space since Aristotelēs (BC384 - BC322) and Euclid (BC 3 Century - ), and the division by zero is since Brahmagupta (598 - 668 ?).
In particular, Brahmagupta defined as $0/0=0$ in Brāhmasphuṭasiddhānta (628), however, our world history stated that his definition $0/0=0$ is wrong over 1300 years, but, we will see that his definition is suitable.
For the details, see the references and the site: http://okmr.yamatoblog.net/
\bibliographystyle{plain}
\begin{thebibliography}{10}
\bibitem{kmsy}
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. {\bf 27} (2014), no 2, pp. 191-198, DOI: 10.12732/ijam.v27i2.9.
\bibitem{msy}
H. Michiwaki, S. Saitoh, and M.Yamada,
Reality of the division by zero $z/0=0$. IJAPM International J. of Applied Physics and Math. {\bf 6}(2015), 1--8. http://www.ijapm.org/show-63-504-1.html
\bibitem{ms}
T. Matsuura and S. Saitoh,
Matrices and division by zero $z/0=0$, Advances in Linear Algebra
\& Matrix Theory, 6 (2016), 51-58. http://dx.doi.org/10.4236/alamt.2016.62007 http://www.scirp.org/journal/alamt
\bibitem{mos}
H. Michiwaki, H. Okumura, and S. Saitoh,
Division by Zero $z/0 = 0$ in Euclidean Spaces.
International Journal of Mathematics and Computation Vol. 28(2017); Issue 1, 2017), 1-16.
\bibitem{osm}
H. Okumura, S. Saitoh and T. Matsuura, Relations of $0$ and $\infty$,
Journal of Technology and Social Science (JTSS), 1(2017), 70-77.
\bibitem{romig}
H. G. Romig, Discussions: Early History of Division by Zero,
American Mathematical Monthly, Vol. 31, No. 8. (Oct., 1924), pp. 387-389.
\bibitem{s}
S. Saitoh, Generalized inversions of Hadamard and tensor products for matrices, Advances in Linear Algebra \& Matrix Theory. {\bf 4} (2014), no. 2, 87--95. http://www.scirp.org/journal/ALAMT/
\bibitem{s16}
S. Saitoh, A reproducing kernel theory with some general applications,
Qian,T./Rodino,L.(eds.): Mathematical Analysis, Probability and Applications - Plenary Lectures: Isaac 2015, Macau, China, Springer Proceedings in Mathematics and Statistics, {\bf 177}(2016), 151-182 (Springer).
\bibitem{ttk}
S.-E. Takahasi, M. Tsukada and Y. Kobayashi, Classification of continuous fractional binary operations on the real and complex fields, Tokyo Journal of Mathematics, {\bf 38}(2015), no. 2, 369-380.
\bibitem{ann179}
Announcement 179 (2014.8.30): Division by zero is clear as z/0=0 and it is fundamental in mathematics.
\bibitem{ann185}
Announcement 185 (2014.10.22): The importance of the division by zero $z/0=0$.
\bibitem{ann237}
Announcement 237 (2015.6.18): A reality of the division by zero $z/0=0$ by geometrical optics.
\bibitem{ann246}
Announcement 246 (2015.9.17): An interpretation of the division by zero $1/0=0$ by the gradients of lines.
\bibitem{ann247}
Announcement 247 (2015.9.22): The gradient of y-axis is zero and $\tan (\pi/2) =0$ by the division by zero $1/0=0$.
\bibitem{ann250}
Announcement 250 (2015.10.20): What are numbers? - the Yamada field containing the division by zero $z/0=0$.
\bibitem{ann252}
Announcement 252 (2015.11.1): Circles and
curvature - an interpretation by Mr.
Hiroshi Michiwaki of the division by
zero $r/0 = 0$.
\bibitem{ann281}
Announcement 281 (2016.2.1): The importance of the division by zero $z/0=0$.
\bibitem{ann282}
Announcement 282 (2016.2.2): The Division by Zero $z/0=0$ on the Second Birthday.
\bibitem{ann293}
Announcement 293 (2016.3.27): Parallel lines on the Euclidean plane from the viewpoint of division by zero 1/0=0.
\bibitem{ann300}
Announcement 300 (2016.05.22): New challenges on the division by zero z/0=0.
\bibitem{ann326}
Announcement 326 (2016.10.17): The division by zero z/0=0 - its impact to human beings through education and research.
\bibitem{ann352}
Announcement 352(2017.2.2): On the third birthday of the division by zero z/0=0.
\bibitem{ann354}
Announcement 354(2017.2.8): What are $n = 2,1,0$ regular polygons inscribed in a disc? -- relations of $0$ and infinity.
\end{thebibliography}
\end{document}
0 件のコメント:
コメントを投稿