『フェルマーの最終定理』(新潮文庫)を読んだ。500頁近い厚い本であるが、約1週間で読み終えた。私は、毎日少しずつ読むのが好みであるが、内容が面白いので、私にしてはハイペースで読んだ。
1994年(論文として出版されたのは1995年)に「フェルマーの最終定理」を証明したアンドリュー・ワイルズが主人公である。ワイルズは、10歳の頃、E.T.ベル著の『最後の問題』を読み、そこに「フェルマーの最終定理」を見つけ、虜になったようだ。E.T.ベルという名前に、見覚えがあった。私の書斎の書棚を振り返ってみると、E.T.ベル著『数学を作った人々Ⅰ、Ⅱ、Ⅲ』(ハヤカワ文庫)の三分冊があった。1937年に初版が出ている。タイトルが大きく異なるので、この本は、10歳のワイルズが読んだものとは異なると思われるが、感慨深い。 フェルマーがこの問題を提示するきっかけになったピタゴラスの定理を証明したピタゴラスの頃まで遡って、数学の証明についての歴史が述べられている。沢山の数学者が登場するが、その中で最も心を動かされたのが、ガロアについての記述。ガロアは代数方程式の解に関する論文を書き、新しい数学「群論」の扉を開けた人である。彼は、若くして決闘に敗れて一生を終えた事は、幾つかの本で知っていた。標記の本には、彼の置かれていた境遇が詳しく書かれており、同情を禁じえない思い。フランス革命後の王政主義と共和制主義の間の政治闘争の犠牲者であった。また、フランスの学士院に提出すべく書記を務めていたフーリエに提出した論文が、フーリエの死亡により学士院に受理されていなかった等の不運も幾つか重なった。 ガロアの話が出てきたのは、ワイルズが「フェルマーの最終定理」を証明する時に、ガロア群も利用していたからである。ワイルズは、1986年から本格的に「フェルマーの最終定理」の証明に取り掛かった。7年後の1993年6月にそれを証明した事を発表した。この7年間、自分が「フェルマーの最終定理」に挑戦している事は、秘密にしてきた。発表後、証明に欠陥がある事が判明。この頃の事は、私も新聞などのニュースで知っていた。それから1年余り、証明の欠陥を修復しようと苦しい日々が続く。そこまでの証明を公開して修復を誰かに託す事はせず、あくまで自分で解決したいと頑張る。1994年夏になっても解決の目処がたたない。ワイルズは、9月末まで頑張ってもダメな時は、そこまでの証明を公開する決心をする。 その決心の後、ワイルズは、閃きを得た。1993年発表の証明で使用した方法 (A) は、別の方法 (B) が使えないと判断して使用していた。ところが、欠陥は、その(A) の適用にあった。(A) と (B) の単独での適用はダメだが、両者を組み合わせると、欠陥がなくせるという事だったらしい。この閃きにより、「フェルマーの最終定理」は、完全に証明され、本当の定理になった。 この閃きの部分を読んだ時、以下のように感じた。「9月を過ぎれば、欠陥を修復しなければならないという重圧から解放される」という思いが、それまで見過ごしていた分岐へ導いたのではないか。私にも、ちょっと似た経験がある。学位論文の最後の詰をしていた1999年秋。どうしても巧く行かず、学位取得を諦めた。指導して頂いていた宇宙研の川口教授にメールして、問題を解決できなかった事をお詫びした。学位論文のテーマにしようとしていた或る軌道の不安定現象は、1992年に見つけていた。この問題をいつも考えていた訳ではないが、7年間、ずっと頭の片隅にあった。川口教授にメールを出す事で、肩の荷が下りた気がした。目的は達成できなかったが、取り敢えず重圧からは解放されると。メールを出した当日か翌日かは覚えていないが、それまで不安定と思い込んでいた条件で、PC に軌道計算をさせた。何も目的は無かった。不安定なためにどこかに飛んで行くと思っていたが、何と安定な軌道であった。この計算がきっかけとなって、この不安定現象の解明が出来、学位を頂けた。あの時、学位を諦めるメールを送っていなければ、その不安定現象を解明できたかどうか。 ワイルズが1986年から本格的に証明に取り掛かった動機は、その年に、ケン・リベットの証明により、「谷山・志村予想」が解ければ「フェルマーの最終定理」が解けた事になる事が判ったからであった。「谷山・志村予想」を考えた一人の谷山豊氏は、婚約後に自らの命を絶っていた。1958年(31歳)の事であった。その数週間後、婚約者も後を追った。
by utashima
| 2007-09-15 18:25
| 読書
|
Trackback
|
Comments(0)
|
カテゴリ
全体 目次 自己紹介 ブログ作成の経過 宇宙機の軌道設計/ 解析 宇宙開発トピックス 歌島姓・尾道 省エネルギー パソコン 映画・ドラマ つくば近傍探訪記 読書 読書2 囲碁 イベント 最近考えている事 リンク
最新のコメント
最新のトラックバック
ライフログ
以前の記事
2024年 12月 2024年 03月 2024年 01月 2023年 09月 2023年 07月 2023年 05月 2023年 03月 2023年 02月 2022年 12月 2022年 11月 2022年 08月 2022年 06月 2022年 05月 2022年 04月 2022年 03月 2022年 02月 2022年 01月 2021年 12月 2021年 11月 2021年 10月 2021年 09月 2021年 08月 2021年 07月 2021年 06月 2021年 05月 2021年 02月 2020年 12月 2020年 11月 2020年 10月 2020年 09月 2020年 07月 2020年 06月 2020年 05月 2020年 04月 2020年 03月 2020年 02月 2020年 01月 2019年 12月 2019年 11月 2019年 10月 2019年 09月 2019年 08月 2019年 07月 2019年 06月 2019年 05月 2019年 04月 2019年 02月 2019年 01月 2018年 12月 2018年 11月 2018年 10月 2018年 08月 2018年 06月 2018年 05月 2018年 04月 2018年 02月 2018年 01月 2017年 12月 2017年 11月 2017年 10月 2017年 09月 2017年 08月 2017年 07月 2017年 06月 2017年 05月 2017年 04月 2017年 03月 2017年 02月 2017年 01月 2016年 12月 2016年 11月 2016年 10月 2016年 09月 2016年 08月 2016年 06月 2016年 05月 2016年 04月 2016年 03月 2016年 02月 2016年 01月 2015年 12月 2015年 11月 2015年 10月 2015年 09月 2015年 08月 2015年 07月 2015年 06月 2015年 05月 2015年 04月 2015年 03月 2015年 02月 2015年 01月 2014年 12月 2014年 11月 2014年 10月 2014年 09月 2014年 08月 2014年 07月 2014年 06月 2014年 05月 2014年 04月 2014年 03月 2014年 02月 2014年 01月 2013年 12月 2013年 11月 2013年 10月 2013年 09月 2013年 08月 2013年 07月 2013年 06月 2013年 05月 2013年 04月 2013年 03月 2013年 02月 2013年 01月 2012年 12月 2012年 11月 2012年 10月 2012年 09月 2012年 08月 2012年 07月 2012年 06月 2012年 05月 2012年 04月 2012年 03月 2012年 02月 2012年 01月 2011年 12月 2011年 11月 2011年 10月 2011年 09月 2011年 08月 2011年 07月 2011年 06月 2011年 05月 2011年 04月 2011年 03月 2011年 02月 2011年 01月 2010年 12月 2010年 11月 2010年 10月 2010年 09月 2010年 08月 2010年 07月 2010年 06月 2010年 05月 2010年 04月 2010年 03月 2010年 02月 2010年 01月 2009年 12月 2009年 11月 2009年 10月 2009年 09月 2009年 08月 2009年 07月 2009年 06月 2009年 05月 2009年 04月 2009年 03月 2009年 02月 2009年 01月 2008年 12月 2008年 11月 2008年 10月 2008年 09月 2008年 08月 2008年 07月 2008年 06月 2008年 05月 2008年 04月 2008年 03月 2008年 02月 2008年 01月 2007年 12月 2007年 11月 2007年 10月 2007年 09月 2007年 08月 2007年 07月 2007年 06月 2007年 05月 2007年 04月 2007年 03月 2007年 02月 2007年 01月 2006年 12月 2006年 11月 2006年 10月 2006年 09月 2006年 08月 2006年 07月 2006年 06月 2006年 05月 2006年 04月 2006年 03月 2006年 02月 2006年 01月 2005年 12月 2005年 11月 2005年 10月 2005年 09月 2005年 08月 2005年 07月 2005年 06月 2005年 05月 2005年 04月 2005年 03月 2005年 02月 2005年 01月 2004年 12月 2004年 08月 2003年 06月 2003年 01月 2001年 01月 検索
記事ランキング
ブログジャンル
画像一覧
|
ファン申請 |
||