現在2023年3月29日15時50分である。(この投稿は、ほぼ5623文字)
麻友「『超積と超準解析』を、進めるの? 超実数を、有理数の列から作るんじゃなかった?」
私「そう。有理数の列から、超実数を、作るのだが、もう十分に、『真理のカメさん』のとき、モチベーションは、上がっている。後は、可算級善良超フィルターが、存在することを、証明するだけだ。その場合、節の題名に上がっている、超フィルターを、作るだけで、いいんだ。そういう場合、最短コースを行く方法もある。
齋藤正彦さんのこの本を読む前に、
の2冊を読んだ私は、そこに使われている、型の理論(タイプのりろん)というものが、何となく肌に合わなくて、超準解析が、分からなかった。後で分かったところによると、これは、1階の理論でなく、高階の理論だったから、私に分からなかったのだった。ときどき話している、逆数学というものは、2階の理論を使う。私には、まだ分からないことなのだ。ただ、1階の理論でも、数学はできる。超準解析も、1階の理論で、展開できる」
若菜「じゃあ、どうして、わざわざ2階の理論を、使ったのでしょうね」
私「どこまで、超準解析を使いたいかにもよる」
結弦「どこまでって?」
私「これは、重要なことなのだが、私はあくまで、実数の解析学を、見通しよくやりたい。ところが、複素数の解析学もやりたくなるのは、人情だ。普通、複素数は、 となっているから、 は、 と、したくなる。ところが、これと、 は、違ってて、複素数の解析学には、そのまま応用できないんだ。同様に、多変数の実数の解析にも、応用しづらい」
麻友「なんか、余り、御利益がないわね」
私「直観的な議論をする上では、良いんだけど、やっぱり手を抜くと、後でたたられる」
麻友「そういうことか。取り敢えず、真理のカメさんを作るところまで、見届けるわ」
私「行くぞ。
*******************************
1.1.4 命題
1) がフィルター基底のとき,少なくとも一つの の元を含むような の部分集合の全体 はフィルターである.これは を含む最小のフィルターである。 を の生成するフィルターと言う.
2) が有限交差的のとき、 の元の有限共分の全体
はフィルター基底である. を と書き、 の生成するフィルターと言う.
証明はどちらもやさしい.
超フィルター
1.1.5 定義
上のフィルター が包含関係に関して極大のとき,すなわち なるフィルターが存在しないとき, を 上の超フィルター(ultrafilter)と言う.
1.1.6 定義
の一点 を含む部分集合の全体は超フィルターである.これらを単項超フィルター(principal ultrafilter),これ以外の超フィルターを非単項超フィルター(nonーprincipal ultrafilter)と言う.
実際に目に見える形に構成できるのは,単項超フィルターに限る. が無限集合の場合,非単項超フィルターは,選択公理に依拠するつぎの定理によって存在が保証されるにすぎない.しかし,役に立つのは非単項超フィルターである.
*******************************
『超積と超準解析』(10ページより)
麻友「細かいところは、全然分からないけど、例えば、 って、なんて読むの?」
私「花文字のSだね」
若菜「じゃあ、エスですか?」
私「そうだと思う。数学の記号の読み方って、先輩や先生の発音しているのを、盗むしかない。私も、最近まで、ZFを、ゼットエフと、読んでいたが、後輩が、ズィーエフと、読んでいるのを聞いて、確かに中学で、zをズィーと教わったなと、直すことにした」
結弦「そういう記号の読み方が、書いてある本って、ないの?」
私「大学1年生くらいまでの記号の読み方は、例えば、
などに、書いてある。もう一つ、
の巻末に、数式の英語での読み方が書いてあって、参考になる」
若菜「それ以上では?」
私「大学2年生くらいになって、
などとなると、先生によっては、「C(シー)に沿ってグルッと積分すると、0(ゼロ)になる」などと、読んだりする。数学でも、気持ちが大切だということだね」
若菜「それは、なんという定理?」
私「コーシーの定理という。ただ、コーシーと名の付く定理は多いので、コーシーの積分定理とも言う」
麻友「じゃあ、ひと息ついたところで、かの定理に、お目にかかりますか」
*******************************
1.1.7 定理
の部分集合 が有限交差的なら, を含む超フィルターが存在する.とくに,任意のフィルターを含む超フィルターが存在する.
証明
を含むフィルターの全体を とする. の生成するフィルター は の元だから は空でない. は包含関係に関して帰納順序集合である.実際, の空でない部分集合 が,同じ順序に関して全順序集合であるとしよう.(研究者注:これは、あくまで仮定である。なぜ、全順序なのか? と、理由を探すのは、空しい) とおく. はフィルターである.なぜなら,まず は空でない.つぎに定義の三条件を調べる.
a) 空集合はどの にも属さないから .
b) とする. はある に属する. はフィルターだから .よって .
c) なら なる の元 が存在する. は全順序集合だから または . なら も も、 に属する. はフィルターだから , よって . の場合も同様. はあらゆる を含むから の上界である.よって が帰納順序集合であることが分った.したがって,ツォルンの補題により, は極大元 を少くとも一つもつ. は超フィルターで, を含む.
*******************************
『超積と超準解析』(10ページから11ページより)
麻友「太郎さん。証明完了するまで、薬、飲まなかったのね」
私「だって、セロクエル100mgを飲むと、確実に馬鹿になるんだもん」
若菜「自分で分かるんですか?」
私「数学の証明っていうのは、いくつか条件が定まっていて、それが、満たされた状態で、道を進んでいくようなものだ。ここは、きわどいけど、通れるかな? というところが何カ所かある。そこで、これがあるから大丈夫だ。と、切り札のようにカードを切っていく。だが、最後ギリギリというのは、もの凄く閃いて、持っている条件、或いは、持っているカードを、全部切らなければ、ならないことが、多いんだ。そこで、このカードを、使って良いんだっけ、などと、心配になっているようじゃ、数学の証明を、やり切ることなんて、到底出来ない。自分の頭の中が、綺麗に整頓されていなければならないのに、セロクエルを200mg、さらにオランザピンを20mg、フルニトラゼパムを2mgも飲んでしまうと、あっちも心配、こっちも心配となって、整頓されているべきものが、ごっちゃごっちゃになる。人の命を救おうって言ってるのに、目の前のメスやピンセットが、いつも通り動いてくれない、なんてことが、起こったら、どうするの? と、以前相対論のブログで書いたが、数学者にとって、頭の冴えというのは、死活問題なんだよ」
結弦「こういう文章は、書けるんだな」
私「そろそろ、眠くなっているけどね」
麻友「上の証明で、帰納順序集合というのは、順序集合で、その空でない全順序部分集合が、上に有界であるときなのね。そして、ツォルンの補題というのは、空でない帰納順序集合は少なくとも一つの極大元を持つというもの。これを使って定理を証明した。細かいことは分からないけど、これで、真理のカメさんが、存在することが、証明されたのね」
私「後、可算級とか、善良とかの条件を付けるけど、峠は越えた。残りは、次回やる」
若菜「人の命を救おうって言ってるのに、目の前のメスやピンセットが、いつも通り動いてくれない、なんてことが、起こったら、どうするの? というお父さんの表現の真意を知ることが、できました。切実な問題なのですね」
結弦「今日は、これで、おしまいだなあ。おやすみなさーい」
若菜「おやすみなさーい」
麻友「おやすみ」
私「おやすみ」
現在2023年3月29日22時19分である。おしまい。