Quantcast
Viewing all 187 articles
Browse latest View live

集合と位相の名著2冊

前回から、かなり間が空いてしまった。

今回は「集合と位相」の本を紹介しようと思う。

その前に、昨日、劇作家・唐十郎さんの訃報に接したので、唐さんの芝居の思い出を書こう。

唐さんの演劇を観たのは、1980年から1983ぐらいが中心だったと思う。たぶん、最初に観たのは、『女シラノ』だったんじゃないかな。『お化け煙突物語』も観た記憶がある。当時、日暮里に住んでいたので、唐さんの描く下町の人々に共感があった。とにかく、客はテントの中にぎゅうぎゅうに詰められ、足を伸ばすこともできないしんどい環境の中で、しかしだからこそ観客が一丸となって芝居を楽しむ、不思議な体験だった。とりわけ、水をふんだんに使った演出や、最後に舞台の後ろのテントが開いて、夜空を背景として演じられるエンディングは、どんな窮屈な思いも吹き飛んでしまうものだった。

唐さんの戯曲の持ち味は、いかがわしく下品で野蛮なタッチの中に、そこはかとない叙情が潜んでいることだ。とても好きだった芝居は、下谷万年町物語』と秘密の花園』とさすらいのジェニー』。どれも水をふんだんに使った舞台だった。

下谷万年町物語』はとにかく大人数の出る舞台でそのスケールと異次元感に圧倒された。秘密の花園』は下北沢の本多劇場こけら落としの公演。舞台に船を浮かべるエンディングにはどぎもを抜かれた。主演の緑魔子さんと柄本明さんがむちゃくちゃ良かった。とりわけ、姉と恋人の二役を演じた緑魔子さんの演技は秀逸。彼女の演技は劇団・第七病棟でも何度も観たけれど、その消えてしまいそうな儚さは比類ないほどの女優だと思う。

『さすらいのジェニー』は、ポール・ギャリコの原作を戯曲化したもの。ネコの冒険の物語。浅草の川沿いに安藤忠雄さん設計の建物を作ってそこで演じられた。これがまた演劇には全く向かない建造物で、聞こえないし見えないし寒いしで最悪だった。それでも、主演の緑魔子さんの切なさは最高だった。なにより、このときぼくは、愛猫を失った直後であり、この悲しい物語に号泣を禁じ得なかった。

唐さんは、稀代の天才的な劇作家だったけれど、これらの作品は時代のなせるものでもあったと思う。天才性と時代性がマッチしてこのような作品が生まれたのではないか。だから、こういう芝居はもう二度と出てこないように思う。

 さて、本題の「集合と位相」に入ろう。

ここのところ、ぼくは、「位相空間」の勉強に熱中していた。その大きな理由は、近々執筆する予定の本に、位相空間の解説を入れたいからだが、もうひとつ動機がある。ぼくは大学教員を引退したら(今は、再雇用で特任教授としてまだ講義している)、(純粋)数学の研究をしたいな、と思っており、そのテーマを模索している。それでいろいろな数学書を読んでいるのであるが、昔に熱をあげた「数論」も、未遂に終わった「代数幾何」もいまとなっては何かぴんとこないものがある。そこでたどりついたのが「位相空間論」なのである。実は、ぼくが経済学の中の意思決定理論で書いた論文は、どれも離散集合論と集合関数に関連するものだった。そういう意味で、ぼくはこういうジャンルに、情熱と適性があるんだろうなと思い至ったのだ。それで、昔読んだことがあり、しかし、通読はしていない二冊の名著をもう一度読んでみようと思った次第。

 二冊とは、松坂和夫『集合・位相入門』岩波書店彌永昌吉・建一『集合と位相Ⅰ・Ⅱ』岩波基礎数学だ。

どちらもすばらしい教科書なのだけど、「どこが出来が良いのか」は全く異なっている。簡単に言えば、松坂版は、「話題をしぼって、非常に丁寧にわかりやすく解説する」スタンスの本であり、彌永版は「数学のさまざまな分野から豊富な例をとりこんで、位相空間の応用の広さを解説する」スタンスの本である。したがって、学習者は自分のニーズをはっきりさせて選ぶべきであろう。

松坂版は、とにかくわかりやすく、つっかえずにスラスラ読んでいける。今後の数学の勉強に必要となるであろう集合と位相の知識で重要なことだけを網羅し、最速で修得できるように工夫されている。余計なアイテムや、他分野を勉強していないとわからないアイテムは入れられていない。対して、彌永版は、いろいろなアイテムが投入されているので、リッチなもののなかなか進まない。なかなか進まないけれど、ひとつひとつの位相的概念をイメージ豊かに理解していける。

 二冊の比較のために、いくつか例を挙げよう。

集合論のなかで最も有用な定理に「ツォルンの補題」というのがある。「帰納的な順序集合は極大元をもつ」という定理だ。ベクトル空間の基底の存在とか、環における極大イデアルの存在とかを証明するなど、さまざまな場面で使われる。この定理について、松坂版では整列集合についての数ページに及ぶかなり長い準備のもとで証明が行われる。他方、彌永版では、ツェルメロの証明に想を得たHalmosの証明を紹介している。これは、短くカッコイイ証明なのだが、その分、イメージ化が困難でわかりにくい。

 「距離空間」については、松坂版は「実ユークリッド空間」のみを題材として、最短で位相の概念を作り上げる。彌永版は「関数空間」(関数の間に距離を導入して距離空間化したもの)や、「p進体」(有理数に通常の距離とは異なる、素数を使った距離を導入して、完備化した空間)など、発展的な距離空間を投入している。後者は、なかなか進まないとか、わかりにくいとかの難点を抱えるが、距離空間という概念がいかに応用範囲が広いかを知ることができる。数学ではいろいろなアイテムに「距離」を設定できるのだな、という「数学の自由奔放さ」を思い知れる。

 「位相空間」において、二冊の違いは明確になる。位相空間とは、距離空間の位相を抽象化して、一般的な集合に位相を導入した空間だ。松坂版では、「開集合」の公理を出発点として、「閉集合」「閉包」「近傍」などを定義していく。他方、彌永版では、「閉包」を出発点として、他のアイテムを定義していく。もちろん、どちらの本でも、「どの概念を出発点としても他の概念を定義できる」ことを証明しているのは言うまでもない。

どちらが優れていると感じるかは、何に注目しているかに依存する。ぼくの場合、最初は松坂版がわかりやすく、彌永版には歯が立たなかった。だから、松坂版で勉強して単位をとった。彌永版を読んだのは、最近になってからのことだ。今回勉強し直してみると、彌永版のほうがしっくりくる。その理由は、彌永版のほうが「関数の連続性」がしっくり来たからだ。「連続」とは、「像が切れてジャンプすることなく、つながっていること」だ。これを開集合で定義する場合、「開集合の逆像が開集合」というふうになる。「逆像」という「逆」で考えることの意味が把握しにくい。他方、閉包で定義する場合、「任意の集合の閉包の像が、像の閉包に包含される」となる。これは順像の形式になっており、「像が切れてジャンプすることなく、つながっていること」をそのまま表現しているように思える。とてもしっくりくる。

 位相空間については、他にも重要な違いがある。

松坂版は、距離空間でない位相空間の例は基本的に、「密着空間」(開集合が空集合と全体集合のみ)と「離散空間」(すべての部分集合が開集合)しか出てこない。他方、彌永版では、それらに加えて、「有限的位相空間」(有限集合の閉包は自分自身で、無限集合の閉包は全体集合になる空間)や「クルル空間」(群Gの指数有限正規部分群を使って、閉包を定義した空間)が導入されている。どちらも、閉包を使って位相を定義しているから、簡単に導入できている(この点は裏をとってないので嘘かもしれない)。さらに「ザリスキー空間」(体係数の多項式環イデアルの零点を閉集合と定義する)も導入されている(これをは閉集合を経由して閉包を定義している)。これらの中では、クルル空間がめちゃくちゃ面白い。元の群を整数の加法群としてさえ、まったくイメージ化できない空間だけど、だからこそ、この空間でさまざまな位相のアイテムを試すのは意外性を感じて楽しめる。これこそ、抽象数学の楽しさの醍醐味だ。

 位相空間についての松坂版の利点は、大事な概念だけをすらすらと猛スピードで学習していけることだ。証明もわかりやすいので、つっかえることはほとんどない。「チコノフの定理」(コンパクト空間の直積空間はコンパクト)の有限交叉性を使った証明もとてもわかりやすい。他方、欠点は、距離空間以外の例がほとんどないので、なぜ位相空間が必要なのかが実感がわかないこと。

彌永版の利点は、意外性のあるリッチな例が投入されているため、位相空間のアイテムを図像的イメージがわかないまま試すことで概念理解を深めることができること。他方、欠点は、なかなか進まないので、連結性とかコンパクト性などの最重要概念に到達する前にギブアップする可能性が高いことである。

どちらを読むべきかは、動機と目的による。初学者は、もちろん松坂版からにすべきだろう。大事な概念だけ、最適なスピードで進めるからだ。しかし、位相空間については、彌永版をちらちら参照するとその本質に触れることができるだろう。一方、位相空間の本領を学びたい人には、彌永版をお勧めする。なかなか進まないが、ひとつひとつのアイテムをかみしめながら、あるいは別の本で調べながら読み進むと、異世界・異空間のスリリングな冒険を楽しめる。群論や数論や代数幾何の初歩をかじったことのある人は、彌永版に戻ると意外な収穫があるかもしれない。かくいうぼくがそうだった。

 最後に、いつものように、販促をさせてほしい。位相については、拙著『数学入門』ちくま新書を、ザリスキー位相については拙著『数学は世界をこう見る』PHP新書を手に取ってほしい。

 

 

 

 

 

 


遠山啓『初等整数論』

 今回は、最近出版された遠山啓『初等整数論ちくま学芸文庫の紹介をしよう。最近出版された、と言っても、初版は『数学セミナー』での1969年から1970年の連載を1972年に日本評論社から刊行したものであり、その文庫版ということになる。嬉しいプレミアムとして、数学者・黒川信重さんの解説が新たに加えられている。

 

 この本の内容に触れる前に、生涯学習の市民講座である早稲田エクステンションセンターでぼくがレクチャーする一般人向けの夏期講習の宣伝をしておきたい。それは、素数の話」というタイトルで、8/31(土曜), 9/7(土曜)の2回講座となっている。講義概要は、以下。

素数は、1と自分自身以外では割り切れない整数です。2、3、5、7、11、13、17、19・・・というようにとても不規則に並んでいます。素数の研究は紀元前のギリシャから始まり、2千年以上もの長い間、数学者たちを虜にしてきました。今でも新しい発見がなされ、また、いまだに解かれていない難問もたくさんあります。そんな素数の魅力を初心者に向けて解説しましょう。フェルマーの小定理ウイルソンの定理などの初等的な有名定理から、リーマン予想などの未解決問題、素数の作る新奇な空間など総合的に解説します。また、素数を使う数理暗号が私たちのセキュリティを守っていることもお話しましょう。

詳細や申し込みは、以下のURLからどうぞ。

素数のはなし | 小島 寛之 | [公開講座] 早稲田大学エクステンションセンター

 

さて、遠山本の話にもどろう。

この本は、タイトル通り、初等整数論を解説した本である。章立ては「整数の基本性質」「約数と倍数」「いろいろな関数」「合同式」「群、環、体」「連分数」となっており、初等整数論の標準的なラインナップと言っていい。

一読した印象だと、高木貞治『初等整数論講義』岩波書店と同じ題材を、非常に丁寧に解説したように感じる。ただ、練習問題として、しゃれた問題も加えられており、受験業界の人には良いネタ帳になるんじゃないか、と思う。

高木本との違いは、行列理論を積極的に導入していることと、連分数へのアプローチが若干、洗練されている点であろう。とは言っても、連分数に関しては、高木本が「モジュラル変形」やミンコフスキーの「数の幾何学」など、現代数論で大事になる題材を導入しているのに対し、遠山本にはそういう「情熱」「情念」のようなものは感じられない。

その理由は、たぶん、遠山本のあとがきにあるように、初等整数論を「数学教育の題材」とみるスタンスを持っているからである。実際、あとがきでは、ハーディの言葉「初等整数論は早期の数学教育にとってもっともよい教材の一つであろう」を引用し、それに諸手を挙げて賛成している。それに対して、高木は、あくまで初等整数論を現代数論の入り口、「鳥居の如きもの」と扱っている。近頃のぼくが、遠山本より高木本のほうが面白く感じるのは、ぼくが数学教育者の感覚から遠のき、数学そのものに「情念」を持つようになった証しなのかもしれない。

とは言っても実はぼくは、遠山氏の著作で好きだったのは中学生のときに読んだ『数学入門』岩波新書だけだった。その後、『無限と連続』岩波新書など何冊か読んだが、あまり興味を感じなかった。遠山氏の数学の解説は、なにか淡泊というか、無味無臭というか、数学者の多くが秘めている数学概念に対する「情念」のようなものが欠落しているのように思えてしまうのである。これは、遠山氏の数学の著作全体に感じるもので(教育論の著作はそうではない)、「本当に数学者なんだろうか」といぶかるほどである。まあ、単なる趣味の問題なのであろうけど。

それでもぼくは、この遠山啓『初等整数論ちくま学芸文庫を強く推奨したい。それは、黒川信重さんの文庫版解説がとても面白いからだ。

この解説は、黒川さんが遠山氏の最終講義に参加する話から始まる。

私は、東京工業大学に入学が決まり、下宿などを探しに大岡山キャンパスをふらついていて偶然、遠山先生の最終講義の案内を見てふらふらと講義室に導かれていた

という黒川さんらしいと言えば、らしいエピソードが書いてあって楽しい。

でも、そのすぐあとから、ゼータ関数の解説が始まる。いつもの黒川節である。

紹介されているのは、非常に簡単な、複素数Image may be NSFW.
Clik here to view.
s
を変数とするゼータ関数(多項式ゼータ関数?)、

Image may be NSFW.
Clik here to view.
\zeta_n(s)=s^n-(s-1)^n

である。このImage may be NSFW.
Clik here to view.
\zeta_n(s)
について、次の定理を提示する。

(定理) (1) [関数等式] Image may be NSFW.
Clik here to view.
\zeta_n(1-s)=(-1)^{n-1}\zeta_n(s)
 

(2)  [リーマン予想類似] Image may be NSFW.
Clik here to view.
\zeta_n(s)=0
となる複素数Image may be NSFW.
Clik here to view.
s
は、Image may be NSFW.
Clik here to view.
 Re(s)=\frac{1}{2}
を満たす(Image may be NSFW.
Clik here to view.
 Re(s)
複素数Image may be NSFW.
Clik here to view.
s
の実部を表す)。

黒川さんは、親切にも、2次(Image may be NSFW.
Clik here to view.
n=2
)の場合も証明してみせてくれる。その上で、一般のImage may be NSFW.
Clik here to view.
n
の証明を代数版と幾何版の2通り与えてくれる。どちらも感動的に見事な証明だ。とは言っても、賢い高校生なら自力でできるだろう。

黒川さんは、きっとこの文庫版解説で、(意識してか無意識かわからないが)、遠山本に決定的に欠けているもの、すなわち、「その先に広がる魅力的な数学世界」を補ってくれたんではないか、と思う次第である。

いつものことではあるが、ぼくの初等整数論に関する著作の販促をさせてほしい。それは、『世界は2乗でできている』講談社ブルーバックスだ。この本は、2乗にまつわる数論を平易に紹介している。「ピタゴラス数」、「2平方定理」、「4平方定理」、「平方剰余」、「フィボナッチ数」など。楽しくて、情念に満ちた本なので、何卒です。

 

 

 

 

 

とにかく、三度の飯よりフェルマーが好きだった

今回は、昔話を書こうと思う。

少年の頃は、とにかく数学者フェルマーが好きだった、という話だ。

その話の前に前回に続いて、市民講座の宣伝をば。

生涯学習の市民講座である早稲田エクステンションセンターでぼくがレクチャーする一般人向けの夏期講習。それは、素数の話」というタイトルで、8/31(土曜), 9/7(土曜)の2回講座となっている。講義概要は、以下。

素数は、1と自分自身以外では割り切れない整数です。2、3、5、7、11、13、17、19・・・というようにとても不規則に並んでいます。素数の研究は紀元前のギリシャから始まり、2千年以上もの長い間、数学者たちを虜にしてきました。今でも新しい発見がなされ、また、いまだに解かれていない難問もたくさんあります。そんな素数の魅力を初心者に向けて解説しましょう。フェルマーの小定理ウイルソンの定理などの初等的な有名定理から、リーマン予想などの未解決問題、素数の作る新奇な空間など総合的に解説します。また、素数を使う数理暗号が私たちのセキュリティを守っていることもお話しましょう。

詳細や申し込みは、以下のURLからどうぞ。

素数のはなし | 小島 寛之 | [公開講座] 早稲田大学エクステンションセンター

 

では、フェルマーの話に進む。

ぼくがフェルマーを知ったのは、たぶん、中学1年の終わりか2年の始めぐらいだと思う。数学の授業から素数に興味を持ったぼくは、書店にいって、素数のことを書いてある本を探しまくった。その過程で、コンスタンス・レイド『ゼロから無限へ』芹沢正三・訳、ブルーバックスに出会った。初版が1971年8月15日だから、刊行された直後のことと思う。この本は、「ゼロの話」、「1の話」、「2の話」という具合に自然数を語っていって、最後には「・・・の話」(これは無限集合論の章)、「eの話」で締めくくられる。

「3の話」のところで、素数を解説しているので買ったのだけど、「4の話」でフェルマーの大定理(Image may be NSFW.
Clik here to view.
x^n+y^n=z^n
は、Image may be NSFW.
Clik here to view.
n
が3以上だと正の整数解を持たない)や、2平方定理(4で割って1余る素数は、2つの平方数の和になる)に触れ、「5の話」でフェルマーの多角数定理を紹介している。中学生だったぼくは、わくわくしてしまい、すぐに虜になった。

その後、フェルマーのことをもっと知りたいと思って、巻末で芹沢先生の読書案内の中にあるイタール『整数論』村田全・訳、クセジュ文庫を買い求めた。これは、本当にぼくが焦がれた内容の本だった。

まず、フェルマーが挑んだディオファントス的な問題を解説する。例えば、Image may be NSFW.
Clik here to view.
4x^2+20x+8, 4x^2+4x-8
がともに平方数である場合を求める、など。そのあと、オイラーが誤って命名したため、今では「ペル方程式」と呼ばれるが、実はフェルマーの創案である方程式Image may be NSFW.
Clik here to view.
x^2-Ay^2=1
の整数解の解法について解説している。さらには、フェルマー方程式Image may be NSFW.
Clik here to view.
x^4+y^4=z^4
に正の整数解がないことのフェルマーによる証明を詳説し、Image may be NSFW.
Clik here to view.
x^3+y^3=z^3
に正の整数解がないことのオイラーのアプローチ(不完全だった)まで足を延ばしている。

この本があまりに好きすぎたぼくは、大学受験に失敗して浪人生をしていたとき、思いあまって翻訳者の村田先生にお手紙を出してしまった。「この本にあるフェルマーの業績をもっと知りたいので、本を紹介して欲しい」というファンレターのような要望のような手紙だった。村田先生が親切にもすぐにお返事をくださった。その内容は、「自分は数学者ではなく、数学史家なので、詳しくは知りません。それはともかく、あなたは浪人中だそうなので、そんなことで道草を食わず、まずは勉強をして大学に合格しなさい」という感じだった。いやあ、今思えばごもっとも。でも、お返事をいただけたのはとても嬉しく、励みになった。

その次に買ったのは、やはりクセジュ文庫のボレル『素数』芹沢正三・訳だった。この本には、フェルマーの2平方定理と4平方定理の証明が収められていた。そればかりではなく、「素数定理」(Image may be NSFW.
Clik here to view.
x
以下の素数の個数がImage may be NSFW.
Clik here to view.
x/log x
に漸近する、という定理)が成り立つ直感的な理屈まで説明しているスゴ本だった。ちなみに、著者のボレルは、測度論で出てくる「ボレル集合」に名を残す高名な数学者だ。でも、中高生の頃のぼくはあまり楽しく読めず、この本を真面目に読んだのは、つい最近で、拙著『素数ほどステキな数はない』技術評論社を書くためだった。年を取ってから読むと、実にすばらしい本だと思えた(ボレルの本は現在、絶版のため、素数定理のボレルによる初等的な解説を知りたい人は拙著で読んでね)。

その後、ぼくはフェルマーの大定理へ最新のアプローチをした森嶋太郎『ふぇるまーの問題』という本があることを知った。本屋では販売されておらず、普通の図書館にもないことがわかったが、どうしても手に入れたいと思った。どういう手段か忘れたが、東大の総合図書館にあると突き止めた。ぼくは、その本を読みたい一心で、東大受験へのモチベーションを高めたのだった。

なんとかかんとか入試に合格したぼくは、さっそく、本郷にある総合図書館に行った。総合図書館は荘厳な雰囲気で、「やっとここにたどりついた」という感慨をかみしめながら、入館証を作った。そして、意気揚々と森嶋太郎『ふぇるまーの問題』をリストで調べ、図書番号を持って、司書さんに提出した。司書さんが本を探しに行っている間は本当にどきどきした。

司書さんは本を持って戻ってくると、「これは貸し出しはできないので、書庫の中で読んでください。中に机と椅子があります」と言われてびっくりした。「この本は、そんなに貴重な本だったんだ」と感心したのだった。

渡された本は数学書とは思えないほど、小さい本だった。それを持ってぼくは書庫の中に入り、空いている机に着席した。どきどきしながら、本を開くと、完全に動揺してしまった。本には、何語だかまったく分からない言語が書かれていた。英語でもフランス語でもドイツ語でもない。たぶん、ラテン語だったんじゃないか、と思う。

ぼくは途方に暮れた。森嶋太郎『ふぇるまーの問題』ではないことだけは確かだった。数式はいっこもなかったから。どうしたらいいかわからず、小一時間、机に座って、1字も読めない本とにらめっこした。どうしたものかと思案をめぐらせた。

意を決してぼくは、司書さんのところに行って、「この本ではないようです」と告白した。事情を聴いた司書さんは、「君は番号の見方を間違っていますよ」と説明してくれて、もう一度、書庫の中に行き、今度はちゃんと森嶋太郎『ふぇるまーの問題』を持ってきてくれた。「これなら、貸し出しも可能ですよ」と。ぼくは、わくわくしながら借りだし、コピーもとった。思い出すと今でも、甘酸っぱい思いがあふれてくる。

 大学では、どうにか理学部数学科に進学することができた。そこで落ちこぼれた話は何回もエントリーしたので、ここでは省略する。代数幾何が専門の教官が指導教官になったのだけど、その先生に「数学で何がやりたいのか」と尋ねられ、正直に「フェルマーの大定理の周辺を勉強したい」とぼくは答えた。それを聞いた教官には、「今頃、そんな古典的な問題を勉強してどうする」と叱責された。「数論がやりたいなら、ゼータ関数とか保型形式とかやりなさい」と説教された。ぼくの中に悔しさとも憎悪ともつかない感情が渦巻いた。その頃はまだ、フライによる「フェルマーの大定理谷山・志村予想に帰着される」という定理が発表されていなかった。教官の叱責は半分は正しく、半分は間違っていた。フェルマーの大定理は、決して古典的な問題ではなく、現代数学の標的になっていたのだ。一方で、解法のポイントは「ゼータ関数とか保型形式とか」であったのだった。

フェルマーの大定理は1995年、みごとにワイルズによって解決された。ぼくは、ひとり祝杯をあげた。自分が生きているうちに解決されたのは本当に嬉しいことだった。

 経済学の道に進んでしばらく数学から離れていたぼくは、数学の著作を書く仕事に戻り、加藤・黒川・斉藤『数論Ⅰ・Ⅱ』を入手した。その序章を読んで、思わず涙がこみ上げてきてしまった。そこには、フェルマーの研究が列挙され、それがいかに現代の数論に影響を与えたかが切々と書かれていたからだった。

 なんか、思い出話、自分語りに終始してしまったので、最近はまっている音楽を紹介してお茶を濁して終わろうと思う。それは、夜中の(夜更けの)曲紹介番組で偶然目にした(耳にした)「a子」さんというシンガーソングライターだ。ぼくが注目したときはまだマイナーだったけど、先月にメジャーデビューを果たした。めでたい。今は、彼女の曲しか聴いていない。YUIにはまって以来のはまりぶりだと思う。a子ちゃんといえばこれだ、というPVを2つリンクしておくね。YUIとは違って、いまどきの女の子の痛々しい歌詞がすばらしい。もちろん、曲もすばらしい。

a子 - あたしの全部を愛せない : MUSIC VIDEO (Ako - All to myself) - YouTube

a子 - trank : MUSIC VIDEO - YouTube

 

 

 

 

 

現在は、バブルや否や

 先週の月曜日、8月5日に株価の4451円の暴落が起きた。その前に8月2日にも2216円の下落となっているので、合計するとすさまじい値下がりだ。これを日銀の利上げや植田総裁の発言のせいだと非難する人たちもいるし、単なる短期的な調整と見る投資関係者もいる。現在の株価がいわゆる「バブル」でこれからも暴落を続けるのだろうか。それとも、そんなことはなく、再び安定したり上昇軌道に戻るのだろうか。もちろん、ぼくにはどっちだか判断がつかない。つくはずがない。(確実な判断がつくぐらいなら、こんなブログを書く暇に、株を買うか空売りするかしてるがな。笑)。判断はつかないが、もしも現在が「バブル」であるなら、それはとても重要な問題なのだ。そんなわけで今回は、経済学者の立場から「資産バブルの問題」について解説したいと思う。

 その前に、宣伝をひとつ。

今年は宇沢弘文先生の没後10年にあたり、記念のシンポジウムが企画されている。ぼくも登壇するので、是非とも皆さんにお知らせしたい。それは以下。

宇沢弘文没後 10 年記念シンポジウム
主催:宇沢国際学館

共催:学習院大学経済経営研究所・科学技術研究費基盤(C)「無形資産の生産力効果」
開催日:2024 年 8 月 24 日(土曜日)

開催場所:学習院大学西 5 号館 B1 教室   オンライン配信

(プログラム)
9:45 主催者あいさつ 占部まり(宇沢国際学館代表取締役)


1 10:00~11:00 社会的共通資本理論の再検討 浅子和美(一橋大学名誉教授)×宮川努(学習院大学教授)


2 11:15~12:00 宇沢弘文の数学 安田洋祐(大阪大学教授)×小島寛之(帝京大学特任教授)


(昼食休憩)

3 13:00~14:15「定常型社会」と「資本主義の新しい形」 広井良典(京都大学教授)×諸富徹(京都大学教授)×松下和夫(京都大学名誉教授)

4 14:30~15:15 21 世紀のコモンズ論 三俣学(同志社大学教授)×茂木愛一郎(前学習院大学非常勤講師)

(休憩)
15:30~「宇沢弘文追悼メッセージ」(ビデオ上映)
(2014 年制作・約 25 分:(出演)ケネス・アロー、ロバート・ソロー、ジョセフ・スティグリッツ、ジョージ・アカロフ)

5 16:00~17:00 宇沢弘文マクロ経済学清滝信宏(プリンストン大学教授)

ぼくの討論相手は、経済学者として業績をつむだけではなく、マスコミなどほうぼうでも大活躍の、そして相変わらずイケメンの安田洋祐先生だ。5年前の没後5年のイベントでも討論させていただき、今回はそれをお互いに発展させたものになると思うので、大変楽しみである。

それより何より、トリをつとめてくださるのは、あの、日本を代表する、世界的な経済学者の清滝先生だよ。一般の人はなかなかお目にかかれない学者だぜ。このチャンスを逃す手はないと思うぞ。しかも無料だ。お申し込みは下記からどうぞ。

宇沢弘文 没後10年記念シンポジウム 申し込み

 

さて、「バブル」の話に戻ろう。もしも現在の株価がバブルならどうして大問題なのか。それについて、拙著『シン・経済学 貧困、格差および孤立の一般理論』帝京新書から引用しよう。

注目すべきことは、バブルがはじけたあとに長期不況がやってくることです。南海泡沫バブルでも、オランダ・チューリップ・バブルでも、アメリカ資産バブルでも、その崩壊後に長期不況がやってきています。日本の80年代バブルの崩壊後も、日本は長期不況「失われた30年」に見舞われることになりました。2008年のリーマン・ショック低所得者向け住宅ローン(サブプライム・ローン)の債券バブルの崩壊に起因したもので、世界中を不況にひきずりこみました。(p26)

では、なぜ、バブルがはじけたあとに長期不況がやってくるのか。それについても本書での説明を引用する。

その理由を一言で言えば、「資産バブルと長期不況は同じ現象だから」ということになります。

 成熟社会においては、人々の興味が消費から資産に移ることを説明しました。資産選好が強くなる、ということです。こうなると人々は、所得のほとんどを資産に積み増すようになります。この状況では、資産価格は必然的に高騰していきます。例えば、人々がこぞって、所得で消費財を買うのではなく、株を買おうとすれば、株価はどんどん上昇します。(中略)。

しかし、資産価格があまりに高騰すると、人々は資産の信用性に疑いを持ち始めます。こうなった瞬間、バブルの崩壊がやってきます。人々は我先にと資産を手放そうとするからです。これがバブル崩壊のメカニズムです。

バブル膨張とバブル崩壊のメカニズムが資産選好から来ることを理解すれば、バブル崩壊後に長期不況が到来する理由もわかります。それは、バブルの源泉であった資産への信頼が崩れたため、人々は「際限ない金持ち願望」を満たすために別の標的を求め、それが貨幣になるからです。

人々は資産選好を貨幣保有から満たそうとします。貨幣は政府が後ろ盾になっているので、最も信頼性の高い資産だからです。すると、人々は所得を消費ではなく、貨幣保有にまわします。このことはモノが売れない状態を生み出し、物価の下落をもたらします。これがデフレーションです。

 デフレーションとは物価の継続的下落ですから、これを裏側から見れば、貨幣の価値の継続的な上昇ということになります。これはまさに「貨幣のバブル」と呼ぶべき状況です。つまり、長期不況とはバブルの変種であり、強い資産選好のもたらす災いなのです。(p56)

以上は小野善康さんの不況定常均衡モデルから解説したものだ。(小野モデルについては、これこれこれのエントリーを参照のこと)。もっと詳しく知りたい人は、是非とも拙著をお読みくだされ。とにかく、バブルがはじけることは長期不況を呼び出すことにつながる。だから、バブルは大きくなる前に潰す必要があるのである。

 バブルとは何なのかを理解してもらうために今回は、「バブルの経済モデル」について解説する。参照するのは、Blanchard & Fischer「Lectures on Macroeconomics」だ。なぜこの本を本棚から取り出したのか。それは実は、大学院のときに植田・日銀総裁からこの本に沿って「バブルの経済モデル」を教わったからなのだ(ほんとの話)。

 まず、株などの資産価格を決めるための「裁定方程式」を知る必要がある。

Image may be NSFW.
Clik here to view.
r=\frac{(p^e_{t+1}-p_t)+d_t}{p_t}

ここで、Image may be NSFW.
Clik here to view.
p_t
Image may be NSFW.
Clik here to view.
t
期の株価、Image may be NSFW.
Clik here to view.
p^e_{t+1}
Image may be NSFW.
Clik here to view.
t+1
期の株の予想価格(記号Image may be NSFW.
Clik here to view.
e
はexpectation(期待)を意味する)。Image may be NSFW.
Clik here to view.
d_t
Image may be NSFW.
Clik here to view.
t
期の配当、Image may be NSFW.
Clik here to view.
r
は利子率である。この等式が成り立つ理由はこうだ。すなわち、株を1単位所有するときの予想収益は、配当Image may be NSFW.
Clik here to view.
d_t
と値上がり益(キャピタル・ゲイン)Image may be NSFW.
Clik here to view.
p^e_{t+1}-p_t
を加えたものである。したがって、株保有の収益率はこの和を1株の購入価格Image may be NSFW.
Clik here to view.
p_t
で割ったものとなる。これが、利子率Image may be NSFW.
Clik here to view.
r
と一致しなければならない。なぜなら、もしも利子率より大きければ、預金から株へ資金の移動が起きるし、逆なら逆の移動が起きるからだ。

この裁定方程式の分母を払ってImage may be NSFW.
Clik here to view.
p_t
の1次方程式として解くと、

Image may be NSFW.
Clik here to view.
p_t=ap^e_{t+1}+ad_t
 where Image may be NSFW.
Clik here to view.
a=1/(1+r)

となる。この式が意味するのは、「株の現在価格は次期の予想価格から決まる」ということだ。すると、来期の価格は同様にして来来期の予想価格から決まるから、めぐりめぐって、今期の価格も来来期の予想価格から決まることになる。これを逐次的に実行すれば、今期の価格は遠い将来の予想価格から決まる、ということになるのだ。

さて、Image may be NSFW.
Clik here to view.
p^e_{t+1}
をもっと詳しく書くと、Image may be NSFW.
Clik here to view.
E(p_{t+1}|I_t)
と表現される。ここで、Image may be NSFW.
Clik here to view.
E(  )
は確率的期待値、Image may be NSFW.
Clik here to view.
I_t
Image may be NSFW.
Clik here to view.
t
期に利用可能な情報である。したがって、Image may be NSFW.
Clik here to view.
E(p_{t+1}|I_t)
は、情報Image may be NSFW.
Clik here to view.
I_t
の下での来期の価格の期待値ということになる。すると、先ほどの方程式は、

Image may be NSFW.
Clik here to view.
p_t=aE(p_{t+1}|I_t)+ad_t
 

と書き直せる。

Image may be NSFW.
Clik here to view.
E(p_{t+1}|I_t)
の定義としてよく知られているのは、統計学の回帰分析、ベイズ推定、測度論の情報増大系などだ。最初の(ルーカスやサージェントが使っている)だと、これまでの価格などから次期の価格を回帰してそれをImage may be NSFW.
Clik here to view.
E(p_{t+1}|I_t)
とする。二番目だと、これまでの価格などからベイス推定を行った予想価格をImage may be NSFW.
Clik here to view.
E(p_{t+1}|I_t)
とする。どれでやるにしても、次の公式が役に立つ。

Image may be NSFW.
Clik here to view.
E(E(x|I_{t+1})|I_t)=E(x|I_t)

これは「the law of iterated expectaion」で、「期待値の繰り返し公式」と呼ばれるものだ。言葉で言えば、「明日利用可能な情報を利用して作る予想を、今日利用可能な情報で予想するなら、単に 今日利用可能な情報で作る予想と同じである」ということである。これを利用すると、Image may be NSFW.
Clik here to view.
a^{T+1}E(p_{t+T+1}|I_t) \to 0 \qquad(T \to \infty)

という仮定の下で、株の価格が次のように決まる(期をずらして期待値Image may be NSFW.
Clik here to view.
E(|I_t)
をとり、the law of iterated expectaionを使えば出せる。やってみて欲しい)。

Image may be NSFW.
Clik here to view.
p^{*}=\sum_{k=0}^{\infty}a^kE(d_{t+k}|I_t)

ちなみに上記の仮定は、予想価格が大きくなるスピードはImage may be NSFW.
Clik here to view.
a^k
が0に近づいていくスピードほどではない、ということを意味する。このImage may be NSFW.
Clik here to view.
p^{*}
を「ファンダメンタルズ価格」と呼ぶ。ファンダメンタルズ価格の意味は、この株を買わずにその額を預金すれば、将来得られる利子の総額が予想配当額の総和と同じになる、ということ。言い換えると、「配当予想の利子率で割り引いた現在価値の総和が現在の株価」になる、ということだ。当たり前といえば当たり前の話。ファンダメンタルズ価格は当然、上記の裁定方程式の解となっている

 さて、いよいよバブルの話に移る。ここで、Image may be NSFW.
Clik here to view.
p_t=p^{*}+b_t
とおいて、Image may be NSFW.
Clik here to view.
b_t
が0でないような解が可能かどうかを考えよう(任意のImage may be NSFW.
Clik here to view.
t
に関してImage may be NSFW.
Clik here to view.
b_t=0
なら、これはファンダメンタルズ解)。Image may be NSFW.
Clik here to view.
b_t
をまさに「バブル項」と呼ぶ。これを先ほどの裁定方程式Image may be NSFW.
Clik here to view.
p_t=aE(p_{t+1}|I_t)+ad_t
に代入すると、

Image may be NSFW.
Clik here to view.
p_t^{*}+b_t=aE(p_{t+1}^{*}|I_t)+aE(b_{t+1}|I_t)+ad_t

が得られる。ファンダメンタルズ解Image may be NSFW.
Clik here to view.
p^{*}
は裁定方程式を当然、満たしているから、Image may be NSFW.
Clik here to view.
p_t^{*}=aE(p_{t+1}^{*}|I_t)+ad_t
が成り立ち、したがって、これを両辺から相殺することで、

Image may be NSFW.
Clik here to view.
b_t=aE(b_{t+1}|I_t)

と変形できる。この式が意味するのは、次期のバブル項の予想値にImage may be NSFW.
Clik here to view.
a(=1/(1+r))
を掛けると今期のバブル項になる、ということ。これを満たすImage may be NSFW.
Clik here to view.
p_t=p^{*}+b_t
が「バブル解」となる。この式はImage may be NSFW.
Clik here to view.
E(b_{t+1}|I_t)=a^{-1}b_t
と同値。したがって、期をずらすと、Image may be NSFW.
Clik here to view.
E(b_{t+2}|I_{t+1})=a^{-1}b_{t+1}
。この期待値をとって、Image may be NSFW.
Clik here to view.
E(E(b_{t+2}|I_{t+1})|I_t)=a^{-1}E(b_{t+1}|I_t)
。the law of iterated expectaionから、Image may be NSFW.
Clik here to view.
E(b_{t+2}|I_t)=a^{-1}a^{-1}b_t=a^{-2}b_t
となる。つまり、Image may be NSFW.
Clik here to view.
E(b_{t+k}|I_t)=a^{-k}b_t
が得られる。Image may be NSFW.
Clik here to view.
a^{-1}=1+r
は1より大きいから、バブル項の予想は指数的に大きくなって行かなくてはならない。

 このように、例えば、バブル項がImage may be NSFW.
Clik here to view.
b_t=(1+r)^tb_0
であるような、Image may be NSFW.
Clik here to view.
p_t=p^{*}+b_t
も裁定方程式を満たすので、株価の経路としては「考え得る」。これは、「ever-expanding bubble」と呼ばれる。けれどもこれは、人々が「株価はいくらでも、無限大の大きさまでも、高くなり得る」と予想していることなので、「数学的には可能」だけど、現実味があるとは言えない。例えば、「1株の価格が世界のGDPの合計より高くなる」などということは到底想像し得ないだろう。だって、その株で地球上の全商品を購入できちゃうわけだからね。そういう価格になる前の前のずっと前、天文学的に前の段階で、株をモノに換えようとするに違いない。

 しかし、もう少し現実味のある「バブル解」が存在する。それは、「Bursting Bubble」と呼ばれる解だ。それは、Image may be NSFW.
Clik here to view.
E(e_{t+1}|I_t)=0
を満たす{Image may be NSFW.
Clik here to view.
e_t
}を設定して、バブル項Image may be NSFW.
Clik here to view.
b_t
が、確率Image may be NSFW.
Clik here to view.
q
Image may be NSFW.
Clik here to view.
b_{t+1}=(aq)^{-1}b_t+e_{t+1}
となり、確率Image may be NSFW.
Clik here to view.
1-q
Image may be NSFW.
Clik here to view.
b_{t+1}=e_{t+1}
を満たすような確率的プロセスだ。このようなImage may be NSFW.
Clik here to view.
b_t
は、Image may be NSFW.
Clik here to view.
b_t=aE(b_{t+1}|I_t)
を満たすのが簡単に確かめられる。したがって、このImage may be NSFW.
Clik here to view.
b_t
に対するImage may be NSFW.
Clik here to view.
p_t=p^{*}+b_t
は裁定方程式を満たす。この株価Image may be NSFW.
Clik here to view.
p_t
は確率Image may be NSFW.
Clik here to view.
q
で次期にファンダメンタルズ価格からはずれたまま、バブル項がImage may be NSFW.
Clik here to view.
(aq)^{-1}
倍に膨張する。そういう意味で、「株価のバブル的膨張」を表現できている。しかし、このプロセスが前のものよりも現実的なのは、このような膨張が永遠には続かない、からなのだ。確率Image may be NSFW.
Clik here to view.
q
の出来事が2回連続で起きる確率はImage may be NSFW.
Clik here to view.
q^2
、3回連続で起きる確率はImage may be NSFW.
Clik here to view.
q^3
、とどんどん小さくなって0に近づいていく。したがって、いつかもう一方のできごと、Image may be NSFW.
Clik here to view.
b_{k+1}=e_{k+1}
が起きて、株価はファンダメンタルズ価格に戻ってしまう。このメカニズムが、「Bursting Bubble」の名の由来なのだ。

 ぼくが大学院で植田先生(現・日銀総裁)にこのモデルを教わったとき、先生は突如、黒板に折れ線を描いた。そして、実名の企業を上げて、「これは私が以前に保有していた株の価格の推移です」と仰った。続けて、「このように値上がりして行きましたが、このあたりで私は怖くなり、売ってしまいました」というニュアンスのジョークを言って話を終えた(ように記憶している)。そういう脱線は稀だったので、今でも覚えているのだ。そんなこんなで、植田先生は今回、「私個人の所有株への恐怖」ではなく「国民たちの恐怖」を考えて、利上げをしたのかもしれないね(もちろん、冗談ですよ)。

 今回は、合理的期待形成の立場からのバブルモデルを解説したのだけど、これは「バブルがはじけると不況が到来する」ことの説明にはなっていない。次回は小野モデルの立場からのバブル崩壊とその後の長期不況のメカニズムを解説する予定だ。お楽しみに。そして、拙著↓もよろしく。

 

 

 

 

 

突然、束論に目覚めた

前回のエントリーからずいぶん時間が空いてしまった。大学では特任教授になって、講義コマ数と出勤日数が減ったから大きな余裕ができるはずだったのだが、新しい仕事が入ったり、共同研究が増えたりして、逆に忙しくなってしまったのだ。それでブログの更新がなかなかできないでいる。

忙しいと言っても、数学の勉強だけは継続的に続けている。やっぱり、数学が心底好きなんだよね。以前には知らなかった数学を、新たに理解することはとても大きな効用をもたらしてくれる。今ではもう、数学で一旗揚げるなんていう野心はみじんもなくなったけど、生きているうちにできるだけ、興味を持った数学を勉強したい。

というわけで今回は、今勉強している数学についてエントリーしようと思う。それは「束論」という分野だ。岩村『束論』共立出版のまえがきから引用すれば

束あるいはラティスというのは、ある種の''演算が指定された集合''すなわち''代数系''であって、近ごろよく話題になるブール代数もその1種である。

となっている。

なぜこの「束論」にめぐりあったかというと、数理論理学と位相の関わりからなのだ。ぼくは「位相空間が面白くて勉強している」ということを以前にエントリーした。そして、位相空間の再勉強のあとに、「そういえば」とある本を思い出したのだ。それはずっと昔に買って未読のままだった田中俊一『位相と論理』日本評論社という本だ。思い出したことは、この本に数理論理学における「完全性定理」の位相を使った証明が解説されていたはずだ、ということだった(記憶違いだったことをあとで説明する)。それもブール代数と位相とのコラボレーションだという記憶だった。

ぼくは長い間、数理論理についての初心者にも読める本を書きたいと思っていて、専門書を集めていた。数理論理の本を書くことは拙著『証明と論理に強くなる』技術評論社で達成した。この本では「完全性定理」の証明(命題論理については完全なもの、述語論理についてはざっくりとした部分的なもの)を解説した。その際、田中俊一『位相と論理』で解説されている証明法は参考にしなかった(読んでなかったし)。それでこの本を本棚から久しぶりに取り出して初めて読んでみた。そしたら、めちゃくちゃ面白かった。「命題論理の完全性定理」の束論を使った証明が解説されていたからだ。ただし、残念ながら、「位相を使った証明」ではなかった。位相を使って証明される数理論理の定理は「コンパクト性定理」というやつだった。

「命題論理の完全性定理」というのは、「トートロジーは必ず証明できる」という定理である。もう少し詳しく説明しよう。与えられた命題について、それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき、その命題をトートロジー(恒真命題)と呼ぶ。与えられた命題がトートロジーであるなら、その命題は必ず、通常の(公理から出発する形式的な)推論規則によって証明できる、というものだ。例えば、命題変数Image may be NSFW.
Clik here to view.
p,q
から生成される命題Image may be NSFW.
Clik here to view.
((p \lor q) \land \neg p) \to q
を考えてみる。Image may be NSFW.
Clik here to view.
p,q
にどんな真偽の組み合わせ(4通り)を当てはめても、この命題は必ず真であるからトートロジーである。このとき、この論理式は推論規則で導出することができる。(どのように導出されるかは、拙著『証明と論理に強くなる』で読んでくださいな)。「命題論理の完全性定理」は、このようなことが一般的に成り立つことを主張している。すなわち、「形式的に証明できる命題は常に正しい」だけではなく、「常に正しい命題は、形式的に証明できる」というわけなのだ。前者はそんなに不思議ではない。なぜなら、推論規則は真なる命題から真なる命題を構成するような手続きだから。でも、後者はとても意外性のある帰結だ。どんな真偽を当てはめても論理演算で真と評価される命題は、推論規則をつなげて証明できる、と言っているからだ。

田中俊一『位相と論理』ではこの「命題論理の完全性定理」を束論を使って証明している。もっと詳しくいうと、束論にも「イデアル」という概念があって、それを用いるのだ。素イデアル写像に関する性質をブール代数リンデンバウム代数という構造に応用することで証明される。ぼくのような素人は舌を巻いてしまう証明だった。

ところで、束というのは、順序集合(全順序でなくてもよい、すなわち、順序を比べられない要素があってもよい)においてすべての「有限join」、「有限meet」が存在することが成り立つものと定義される。ここで、Image may be NSFW.
Clik here to view.
a
が集合Image may be NSFW.
Clik here to view.
S
の最小上界であるとき、Image may be NSFW.
Clik here to view.
a
Image may be NSFW.
Clik here to view.
S
のjoinと言い、Image may be NSFW.
Clik here to view.
a
が集合Image may be NSFW.
Clik here to view.
S
の最大下界であるとき、Image may be NSFW.
Clik here to view.
a
Image may be NSFW.
Clik here to view.
S
のmeetと言う。最小上界というのは、集合Image may be NSFW.
Clik here to view.
S
のどの要素よりも順位が後ろにある要素の中で最も先の順位にある要素。最大下界はその双対である。このjoinとmeetという演算を駆使することで、「分配束」とか「ブール代数」とか「ブール環」とかを定義でき、さらには環のイデアルの類似の概念を導入することができる。もちろん、極大イデアルや素イデアルも同様に定義できる。この「順序概念を基礎とする抽象的な代数世界」に命題論理の構造を埋めこむことで完全性定理が証明できる、という次第。イデアルというのは、数学を貫くアイテムなんだなあ、と再認識した。久しぶりにわくわくしてしまった。

この勉強が楽しかった理由は他にもあるのだ。それはゲーム理論を勉強しているとき、オーマンの画期的な論文「AGREEING TO DISAGREE」(Annals of Statistics, 1976)を読んだ経験だった。これはたった4ページの論文ながら、後に「共有知識(common knowledge)」という概念に発展して、ゲーム理論を革新することになる論文だった。共有知識というのは、「プレーヤーAはXという事象を知っており、しかも、プレーヤーBはプレーヤーAがXを知っていることを知っている」みたいな複層的な知識構造のことだ。こういう複層的知識構造を定義するプロセスの、非常に重要なところにjoinとmeetが登場したのだ。最初は意味がわからなかった。当時、一緒に意思決定理論を勉強していた院生に聞いて初めて意味がわかったのだった。30年ぐらい昔の懐かしい思い出だ。このjoinとmeetに束論で再会したのはとても興奮した。運命のようなものを感じた(笑)。ちなみに共有知識については、拙著『確率的発想法』NHKブックス拙著『数学的推論が世界を変える』NHK出版新書に詳しく解説してあるので、興味ある人は是非手に取って欲しい。

もともとは数論が大好きで数学科に進学したぼくが、この年になって束論のような抽象代数に惹かれるとは、人生何があるかわらかんものだ。もちろん、それはぼくが経済学や意思決定理論やゲーム理論を経由したことにも由来する。人生経験は人を新たな境地に導く。以下に参考文献を列挙しておくね。

 

 

 

再び、東大駒場の講義から稀代の名著が誕生

今回は、三枝洋一『数論幾何入門』森北出版を紹介したい。この本は一言で言えば、保型形式と楕円曲線についての入門書なのだが、とんでもなくわかりやすく書かれている。まえがきによれば、「東京大学教養学部前期課程の全学自由研究ゼミナールで大学1・2年生を対象に行った講義をもとにしたもの」ということだ。このような講義から生まれた奇跡の名著に、久賀道郎『ガロアの夢~群論微分方程式ちくま学芸文庫がある。この本に匹敵する本はもう出てこないだろうと思っていたが、なんと、再来したのだね。

その前に、例によって、ぼくが市民講座で行う講義の宣伝をしておきたい。

早稲田エクステンションセンター 中野校

世界は数でできている無理数から理解する株からカオス理論まで

全3回 2015年 02/07, 02/14, 02/21 (すべて金曜日) 15:05~16:35

(講義概要)

皆さんは、ルート2(2の平方根)やπ(円周率)やe(ネピア定数)などの無理数をご存じでしょう。しかし同時に、これらの無理数は私たちの生活とは無縁なものと思っておられるでしょう。この講義では、これらの無理数が実は、現実世界をつかさどっていることを解説します。例えば、株価は日々、乱高下します。その動きはでたらめのように見えますが、ある程度法則があり、そこに無理数が関わっています。また、火事や機械の故障などの突発的なできごとにも法則があり、ここにも無理数が出現します。このように、無理数は世界を読みとくカギになるのです。最後には、カオス理論という数学の先端理論にも足を延ばします。

詳しくは、以下のURLで見てほしい。

世界は数でできている | 小島 寛之 | [公開講座] 早稲田大学エクステンションセンター

 

さて、三枝洋一『数論幾何入門』にもどろう。

この本がなぜ名著なのかというと、「非常に難しい専門の数学を、めちゃめちゃわかりやすく解説している」からだ。それは、久賀道郎『ガロアの夢~群論微分方程式にも共通することである。なぜ、「めちゃめちゃわかりやすい」解説になったかというと、東大の1年生を対象とした講義であり、前提知識が限られるからだ。1年生だから当然、解析学線形代数は習っていない。知っているのは高校数学だけだ。その縛りの中で「非常に難しい専門の数学」を解説しようとするなら、自ずと工夫をしなくてはならない。大抵の東大の教員は、そんな親切心は持ち合わせていないから、受講生の前提知識など気にせず未習得の知識をばんばん使って講義をしてしまうだろう。東大の一部には、高校生のときに既に大学数学をマスターしている強者がいるからそれでもついてこれる。でも、とても稀にだが、自ら高校数学までに縛りをかけて高度な講義にチャレンジしようという教員が出てくる。これが、久賀先生であり三枝先生だというわけなのだ。そして、このような「縛りをかけた工夫」は名著を生み出すことになる。

ぼくが、三枝『数論幾何入門』を手にしたきっかけは、現在ぼくが執筆している本において、保型形式と楕円曲線の解説が不可避だからだった。それでこれらに関するたくさんの本を読んだが、どれもわかった気にさせてもらえなかった。とりわけ、ぼくにとって最も重要なImage may be NSFW.
Clik here to view.
\Gamma_0(11)
Image may be NSFW.
Clik here to view.
\Gamma_1(11)
という楕円曲線(モジュラー曲線のひとつでもある)の方程式を知りたいのに、それがわかりやすく書かれているものが(ウエブにアップロードされている論文以外には)全くなかったのだ。本書はまさにピンポイントでこの方程式を初等的に導いてくれている。これはぼくにとって、幸運な巡り会いだった。

本書は、まえがきに「高校までで学ぶ内容を超えた予備知識は極力仮定しないように務めている」と宣言している通り、大学数学の知識がなくても読めるようになっている。とは言っても、仮定していないだけで、大学数学で習うことと同レベルの数学を展開しているので、「スラスラ読めちゃう」たぐいの本ではないのでそこはご注意を。

ぼくがこの本で感心するのは、どこかの専門書には書かれている定理であっても、著者の(たぶん)オリジナルな証明が随所に提示されていることだ。例えば、「上半平面(虚部が正である複素数の作る複素平面の上半分)に作用するモジュラー群(整数が成分の2×2行列で行列式が1であるものの作る乗法群)が、2つの要素から生成される」という定理は、いろんな本に書かれているが、本書ではユークリッドの互除法を使って証明している。ぼくはこの証明は初めてみた。

もう導入部からして驚きである。数論幾何というのは整数論幾何学的な方法からアプローチする分野だが、その最も簡単な例として、「ピタゴラス数」へのアプローチを紹介する。

ピタゴラス数というのは、Image may be NSFW.
Clik here to view.
a^2+b^2=c^2
を満たす自然数の組のことだ。Image may be NSFW.
Clik here to view.
a=3, b=4, c=5
Image may be NSFW.
Clik here to view.
a=5, b=12, c=13
など無限に存在する。それらをすべて求める手法として、円周上の有理点に帰着させる方法が有名である。まず、Image may be NSFW.
Clik here to view.
a^2+b^2=c^2
Image may be NSFW.
Clik here to view.
(\frac{a}{c})^2+(\frac{b}{c})^2=1
と変形する。これは、有理点Image may be NSFW.
Clik here to view.
(\frac{a}{c},\frac{b}{c})
が円Image may be NSFW.
Clik here to view.
x^2+y^2=1
の周上にあることを意味する。したがって、ピタゴラス数を求める問題は、原点を中心とし半径1の円周上の有理点をすべて決定する問題に帰着される。この問題には、次のような見事な解法がある。円周上の点Image may be NSFW.
Clik here to view.
P_0(-1,0)
を通り、傾きが有理数Image may be NSFW.
Clik here to view.
t
の直線を作る。それはImage may be NSFW.
Clik here to view.
y=t(x+1)
である。これと円Image may be NSFW.
Clik here to view.
x^2+y^2=1
の交点を求める。円の方程式に直線の方程式を代入すれば、Image may be NSFW.
Clik here to view.
x^2+t^2(x+1)^2=1
となるが、1つの解がImage may be NSFW.
Clik here to view.
x=-1
とわかっていることから、方程式がImage may be NSFW.
Clik here to view.
(x+1)((1+t^2)x+t^2-1)=0
と簡単に変形できてしまう。したがって、Image may be NSFW.
Clik here to view.
(-1,0)
以外の交点として、Image may be NSFW.
Clik here to view.
(\frac{1-t^2}{1+t^2}, \frac{2t}{1+t^2})
が求められる。逆に、円周上に有理点PImage may be NSFW.
Clik here to view.
(x, y)
があれば、点Image may be NSFW.
Clik here to view.
P_0(-1,0)
と結んでその傾きImage may be NSFW.
Clik here to view.
\frac{y}{x+1}
有理数だから、これを傾きImage may be NSFW.
Clik here to view.
t
とすればPを生み出すことができる。したがって、円周上の(Image may be NSFW.
Clik here to view.
P_0(-1,0)
以外の)有理点すべてがこの方法で見つけられる。ひいては、すべてのピタゴラス数がこの方法で見つかることになる。実際、有理数Image may be NSFW.
Clik here to view.
t
Image may be NSFW.
Clik here to view.
t=\frac{q}{p}
と置けば、Image may be NSFW.
Clik here to view.
(\frac{1-t^2}{1+t^2}, \frac{2t}{1+t^2})=(\frac{p^2-q^2}{p^2+q^2},\frac{2pq}{p^2+q^2})
となるから、ピタゴラス数の(既約な)パラメーター表示Image may be NSFW.
Clik here to view.
a=p^2-q^2, b=2pq, c=p^2+q^2
が与えられる。ピタゴラス数が無限にあることもこれからわかる。

 以上のことは、多くの数学書に書いてある。本書の真骨頂はこれからだ。本書は、この解法を有限体Image may be NSFW.
Clik here to view.
\mathbb{F}_p
に拡張する。有限体Image may be NSFW.
Clik here to view.
\mathbb{F}_p
とは素数Image may be NSFW.
Clik here to view.
p
に対する集合Image may be NSFW.
Clik here to view.
\{ 0, 1, 2, \dots, p-1\}
に余り算の四則計算を導入した体のことだ(Image may be NSFW.
Clik here to view.
mod p
での合同式の計算と言ってもよい)。このImage may be NSFW.
Clik here to view.
\mathbb{F}_p
において、方程式Image may be NSFW.
Clik here to view.
x^2+y^2=1
の解の個数を求めるのである。Image may be NSFW.
Clik here to view.
\mathbb{F}_p
の要素に対するImage may be NSFW.
Clik here to view.
(x,y)
は平面を成しているわけではないので、これは円の方程式ではない。けれども、あたかも円のように扱い、アプローチする。それを著者は「あたかも幾何学的実体を持っているかのように扱える」みたいな感じに表現している。

そして、何をするかというと、「平方剰余の第1補完法則」を証明するのである。「平方剰余の第1補完法則」というのは、Image may be NSFW.
Clik here to view.
x^2 \equiv -1 \mod p
Image may be NSFW.
Clik here to view.
\{ 0, 1, 2, \dots, p-1\}
における解の個数が、Image may be NSFW.
Clik here to view.
p \mod 4
で分類できるという法則だ。どうやってこれを導くかというと、Image may be NSFW.
Clik here to view.
(\frac{1-t^2}{1+t^2}, \frac{2t}{1+t^2})
の分母がImage may be NSFW.
Clik here to view.
t^2+1
であるのがポイントとなる。つまり、有理数の世界ではこれが0になるImage may be NSFW.
Clik here to view.
t
は存在しないから問題にならなかったが、Image may be NSFW.
Clik here to view.
\mathbb{F}_p
の世界では存在する可能性があるから(これが先ほどのImage may be NSFW.
Clik here to view.
x^2 \equiv -1 \mod p
、すなわちImage may be NSFW.
Clik here to view.
-1
が平方剰余となるもの)、これをちゃんと処理しないとならない。Image may be NSFW.
Clik here to view.
t^2+1=0
なるImage may be NSFW.
Clik here to view.
t
はいわゆる値の定義できない「極」になる。したがって、極の個数が方程式Image may be NSFW.
Clik here to view.
x^2+y^2=1
の解の個数に関与することになり、そこに注目することで「平方剰余の第1補完法則」が証明されるのである。こんな証明はぼくの持っているどの整数論の本にも書かれていなかった。見当違いかもしれないが、リーマン面の理論では極の存在からリーマン面の性質がいろいろわかる。「幾何学的な実体を捉えるには特異な点に注目する」ということの意味は、この「平方剰余の第1補完法則」の証明に端的に現れているのかな、などと妄想した。ちなみに、本書ではさらに、同じ分析方法で「平方剰余の第2補完法則」も導いている。

今回は、三枝『数論幾何入門』の冒頭のところだけ紹介したが、本書の本領は、最初のほうに述べたImage may be NSFW.
Clik here to view.
\Gamma_0(11)
Image may be NSFW.
Clik here to view.
\Gamma_1(11)
の方程式を導くことと、これらと保型形式との関係を明らかにするところにある。その説明が、ぼくが持っているどの本よりもクリアカットに書かれているのがすばらしいのだ。

実はぼくも、駒場に通っていた頃、このような1年生向けの数学ゼミナールの第1回に勇んで出席したことがあった。担当教員が開口一番、「数学セミナーなんか読んで数学がわかった気になっている人は来ないでください」みたいなことを述べた。ぼくはこの発言にめっちゃ憤った。数セミが愛読書だったからだ。ぼくは即座に退室した。出て行ったのはぼく一人だったと思う。そのセミナーではセール『数論講義』を教科書にしたのだと記憶している。だから退室して良かった、結果オーライだったと今では思う。もし意地になって出席して、セール『数論講義』を輪読したら、難しすぎて、きっと数学の道を諦めたと思う。そういうところでぼくにはツキがあるのだ。

最後にいつものように販促をしたい。久賀道郎『ガロアの夢~群論微分方程式については、拙著『完全版 天才ガロアの発想力』技術評論社で解説をしている。久賀先生の本よりもさらにかみ砕いているので、久賀先生の本にチャレンジする前に拙著を読んでおくと、面白い本がさらに面白くなること請け合いである。

 

『せいすうたん1』は数の宝石箱

今回は、関真一朗・小林銅蟲『せいすうたん1』日本評論社を紹介しよう。これはまるで、数の宝石箱のようなすばらしい本だ。

その前に、前回にも行った、ぼくが講義する市民講座の紹介を今回もやっておきたい。

早稲田エクステンションセンター 中野校

世界は数でできている無理数から理解する株からカオス理論まで

全3回 2015年 02/07, 02/14, 02/21 (すべて金曜日) 15:05~16:35

(講義概要)

皆さんは、ルート2(2の平方根)やπ(円周率)やe(ネピア定数)などの無理数をご存じでしょう。しかし同時に、これらの無理数は私たちの生活とは無縁なものと思っておられるでしょう。この講義では、これらの無理数が実は、現実世界をつかさどっていることを解説します。例えば、株価は日々、乱高下します。その動きはでたらめのように見えますが、ある程度法則があり、そこに無理数が関わっています。また、火事や機械の故障などの突発的なできごとにも法則があり、ここにも無理数が出現します。このように、無理数は世界を読みとくカギになるのです。最後には、カオス理論という数学の先端理論にも足を延ばします。

詳しくは、以下のURLで見てほしい。

世界は数でできている | 小島 寛之 | [公開講座] 早稲田大学エクステンションセンター

 さて、『せいすうたん1』だ。

これは、あまりに突拍子もない本。魅力的な性質を持っている数を集めて、一冊に詰め込んでいる。例えば、サブライム数、ゲーベル数列、シェルピンスキー数、アペリー数、弱い素数、ヴェーフェリッヒ素数など。まるで、きらきら輝く宝石を詰め込んだ宝石箱のような一冊だ。

この宝石箱を開けて中の宝石を手のひらに乗せるのがこよなく楽しいのは、次の理由による。

1.よくもこんな数を見つけることができたものだ、と発見した数学者の才能に舌を巻くことができる。

2.それらの数が単なる「おもちゃ」ではなく、数学の歴史的な有名問題に関わっていることを知ることができる。

3. それらの魅力的な性質に対して、本質的な部分についてのちゃんとした証明がついている。

4. 各章の冒頭に2ページのマンガがついている。

以上の4点について、どの点についても本書は希有な本だ。まず、そもそもこんなにたくさんの宝石を集めた本はほとんどない。ぼくも類書を1冊だけ持っているが、それは辞典のような本で、読んでいても決して面白くない。また、本書はこれらの宝石を出発点として、フェルマーの大定理や、ゼータ関数などの解説に足を延ばしている。つまり、現代数学の入門書としても機能している。そして最も貴重なことは、この本にはそれら宝石が宝石たる「証明」がきちんとついていることだ。これは、ぼくの知る限り、他の本にはない特徴である。マンガについては言うまでもあるまい。マンガもそれぞれ面白い。

ひとつ例を挙げよう。「弱い素数」というのが解説されている。「弱い素数」というのは、「正整数の十進表記において、任意に1つの桁の数を選び、その数を他の数(ただし、0, 1, 2, ・・・,9のいずれか)に変えると合成数になるような素数」のことだ。

例えば、素数294001が「弱い素数」である。実際、先頭の2を0に変えると94001になるが、94001=23×61×67だから合成数となる。先頭から3つめの(千の位の)数を1に変えた291001は、291001=397×733だから合成数である。先頭から5つめの(十の位の)数を7に変えた294071も294071=409×719だから合成数となる。以上のように、ひとつの位の数だけを変えた54通りすべての数が合成数となるのである。こんなばかなことをどうして考えたのかと首をかしげる

この「弱い素数」が無限に存在することがテレンス・タオによって証明されていることも書かれている。タオはそればかりでなく、「どの程度存在するのか」も突き止めているとのことだ。本書にはこのタオの定理の証明が収められているのだけれど、その過程で、双子素数の個数を評価する「ブルンのふるい」や「セルバーグのふるい」についての説明がなされている。これらの「ふるい」はなかなか良い解説書がないので、良い参考になるのではないか、と思う。

ぼくがとても興奮したのは、「シェルピンスキー数」という宝石だ。これは、「任意の正整数Image may be NSFW.
Clik here to view.
n
に対して、Image may be NSFW.
Clik here to view.
k\cdot2^n+1
がすべて合成数となるようなImage may be NSFW.
Clik here to view.
k
」のことだ。つまり、どんな2のべき乗をImage may be NSFW.
Clik here to view.
k
倍して1を加えても、決して素数にはならないで、合成数になる、というわけなのだ。

例えば、78557がシェルピンスキー数だ。実際、

Image may be NSFW.
Clik here to view.
78557\cdot2^1+1=5\times7\times67^2

Image may be NSFW.
Clik here to view.
78557\cdot2^2+1=3\times104743

Image may be NSFW.
Clik here to view.
78557\cdot2^3+1=73\times8609

・・・

のように、いかなる2べきに対しても78557を掛けて1を加えると合成数となってしまう。絶対に素数が出てこないのである。ちなみに、2べきでなくどんな正整数も許せば、無限個の素数が含まれることがわかっている。シェルピンスキー数は、それらの素数をよけて通るってわけ。本書には証明もきちんと紹介されている。合同式を使った初等的な方法なので、数学が得意な高校生なら理解できるだろう。

証明を読んでぼくが躍り上がったのは、証明の本源的アイデアが「フェルマー」にあることを知ったからだ。「フェルマー数」というのは、Image may be NSFW.
Clik here to view.
2^{2^n}+1
で計算される数列のこと。

Image may be NSFW.
Clik here to view.
2^{2^0}+1=3
,  Image may be NSFW.
Clik here to view.
2^{2^1}+1=5
,  Image may be NSFW.
Clik here to view.
2^{2^2}+1=17
,  Image may be NSFW.
Clik here to view.
2^{2^3}+1=257
,  Image may be NSFW.
Clik here to view.
2^{2^4}+1=65537
, ・・・

となる。最初の5個が素数なので、フェルマーは「すべて素数だろう」と予想したが、残念ながら6番目のフェルマー数は素数でないことがオイラーによって示された。この5個以外、現在のところ、素数は見つかっていない。

このフェルマー数が「78557がシェルピンスキー数である」ことの証明に活かされる、というのだから、フェルマーファンのぼくは感涙むせんでしまう。しかも、6番目のフェルマー数が素数でないことが有効に働くというのだから、面白いことこの上ない。

もう一つだけ紹介しておこう。それは「アペリー数」という宝石だ。これは、

Image may be NSFW.
Clik here to view.
 (n+1)^3a_{n+1}-(34n^3+51n^2+27n+5)a_n+n^3a_{n-1}=0, (a_0=1, a_1=5)

というImage may be NSFW.
Clik here to view.
n\geq1
に関する漸化式で定義される数列である。具体的には、

1, 5, 73, 1445, 33001, ・・・

のようになっていく。次の項を求める際に、Image may be NSFW.
Clik here to view.
 (n+1)^3
での割り算が生じるが、これがいつも割り切れるというだけで驚きだ。しかし、この数列の真骨頂は違うところにある。それは、ゼータ関数との関係である。

ゼータ関数というのは、

Image may be NSFW.
Clik here to view.
 \zeta(s)=\frac{1}{1^s}+\frac{1}{2^s}+\frac{1}{3^s}+\dots

で定義される(複素数Image may be NSFW.
Clik here to view.
s
を変数とする)関数である。Image may be NSFW.
Clik here to view.
s=2
のとき、Image may be NSFW.
Clik here to view.
 \zeta(2)=\frac{\pi^2}{6}
となることは有名で、オイラーが証明した。オイラーはさらに、Image may be NSFW.
Clik here to view.
s
が正の偶数のとき、Image may be NSFW.
Clik here to view.
 \zeta(s)
が円周率Image may be NSFW.
Clik here to view.
\pi
で表現できることもつきとめた。しかし、Image may be NSFW.
Clik here to view.
s
が正の奇数のときについては長い間、何もわからなかった。それに対して画期的な結果を得たのが、アペリーだった。1978年のマルセイユの研究集会で発表されたとのこと。それは、「Image may be NSFW.
Clik here to view.
 \zeta(3)
無理数である」という定理だった。オイラー以来何もわかっていなかったのだから、これは驚愕の第一歩と言っていい。アペリーは、この定理を証明するために、上記のアペリー数を利用したのである。本書には、アペリーの証明が解説されている。これはぼくには宝石どころか金塊と言ってもいいものだった。なぜなら、「Image may be NSFW.
Clik here to view.
 \zeta(3)
無理数である」ということは数学者・黒川信重先生のゼータ関数に関する本のいくつもに書かれていたが、「いったいどうやって証明するのか」ということは書かれていなかったからだ。ぼくは本書で、(まだ詳細は理解できていないものの)、その証明のエッセンスを掴むことができた。「なるほど」と膝を打つようなアプローチだった。

さらに著者は、アペリーの定理のその後の展開についても記述している。それは、ボイカーズという人が別証明を与えた、という展開だ。しかもそれは、「コンセビッチ-ザギエの周期」と呼ばれる(積分表示を主役とする)新しい数論のアイテムを用いた証明だという。数論がどんどんと進化している様子を感じ取れる。

この本を読んでいて感じたのは、「著者って、ラマヌジャンみたいな数学者なんだろうな」ということだった。ラマヌジャンは、数の宝石を無数に発見した「数の採掘者」だったと思う。ラマヌジャンの好奇心が、数学者たちに多くのテーマを与えた。黒川信重先生は、「難しい定理を証明する数学者だけではなく、ラマヌジャンのようにすばらしい魅力的な予想をたくさん発見する数学者が数学の進歩には不可欠である」という趣旨のことをあちこちで書いている。この本の著者は、黒川先生が待望する数学者なんじゃないか、と思う。このまま成長して、「日本のラマヌジャン」に育ってほしいものだ。

 いつものように最後に販促をば。フェルマー数やゼータ関数については、拙著素数ほどステキな数はない』技術評論社に詳しく平易に解説してあるので参考にしてほしい。また、ぼくなりの「数の宝石箱」として、『世界は2乗でできている』ブルーバックスを著したので、是非一読していただきたい。これには平方数の宝物をたくさん詰め込んでいる。

 

 

 

 

 

Viewing all 187 articles
Browse latest View live