Analysis Nowの1.1 Ordered Setsの行間埋め1

はじめに

あまり集合と位相の基本事項を知らないまま関数解析に興味をもってAnalysis Nowの1.1 Ordered Setsで躓くことってよくありますよね？個人的には，一番最初に選択公理とZornの補題と整列可能定理が同値であることの証明を載せているのに出落ち感があるなあと思うのですが・・・

ここの証明がよくわからなくて，誰か有識者に質問をしてみても，大体（対応して頂けるだけでもありがたいですが）別の本による証明で納得させられたり，「ステートメントが使えればよいのでその証明はやらなくてよい」と言われたりしてもやもやします．

この記事では，Analysis Nowのやり方から逃げないで証明してみようと思います．

定義，記号の整理，定理，証明のオンパレードです．この記事を2つのタブで開き適時スクロールしながら読むのをお勧めします．
気合十分！ですが，間違い等があればやさしく教えて下さい．

お膳立て1・定義たち

まず1.1.1を見ます．二項関係・順序集合(ordered set)・全順序集合(totally ordered set)，ついでに直積も既知とします（常識でしょ？）．

filtering downwardな順序の例は，$X=\mathbb{N}$で大小関係を考えた時です．
ここで1.1.4を見越して記号をこしらえます．

$\text{maj}(Y)$は$Y$の上界全体の集合，$\text{min}(Y)$は$Y$の下界全体の集合です．
こいつらでいろいろ遊んでみましょう．

命題$1$に絡めた話をすると，$C\cap\text{min}\{x\}=\emptyset$のとき$\text{maj}(C\cap\text{min}\{x\})=X$になります．なんだか$\text{maj}$と$\text{min}$は集合の順序を逆にする装置みたいに思えてきますね．　

次に以下の2つの集合を考えてみることにします．

$(1)$の集合は書き下すと
$C\cap\text{min}\{x\}=C\cap\{y\in X:\forall c\in \{x\},\;y< c\}=\{y\in C:y< x\}$
これは$C$にある$x$より小さい元全体のことです．正体わかりましたね．
今後道端とかで，例えば$X=\mathbb{R},\;C=\mathbb{N},\;73\in\mathbb{N}$をとって普通の大小関係を入れた時，$\mathbb{N}\cap\text{min}\{73\}$はなあに？と言われても「$73$より小さい自然数全体の集合」つまり$\{1,2,\cdots,72\}$ですと即答できるわけです．完全に理解しましたね．
次に$(2)$です．まず定義通り書き下します．
$\text{maj}(C\cap\text{min}\{x\})=\{y\in X:\forall z\in C\cap\text{min}\{x\},z< y\}\overset{\text{ちょい言葉で言うと}}{=}\{y\in X:\forall z\in \{C\text{にある}x\text{より小さい元全体}\},z< y\}$

「『$C$にある$x$より小さい元全体』より大きい$X$の元全体」です．
これはなんというか誤解を招きますね．丁度これを書いているときABEMAでめぞん一刻の第4話を見ていたのですが，管理人さんが五代に恋心を寄せていると誤解？されて困っているシーンがありました．誤解は嫌ですよね．
すぐ思いつく誤解例をいくつか書いておきました．参考になれば．

☆整列集合$\Longrightarrow$全順序集合

因みに，この逆は成り立つとは限りません．
例えば$(0,1)$は全順序集合ですが，整列集合ではありません．

1.1.2に多種多様な順序集合の例があります．ここへの言及は不要と思い割愛．一つ一つ確かめたり自分でオリジナルの例を作ったりすると理解が深まると思います．
というかその前に，色んな順序が英語で出てきてよくわからない，という人もいるかもしれませんので，ここまでで出てきた順序をまとめてみます．

定理の紹介

1.1.3では選択公理・整列可能定理・Zornの補題のステートメントが紹介されています．

まずは選択公理です．

あれ，なんだか「よく見る」選択公理と違うではないかと思うわけですが，同じです．

なぜか？上の$\Lambda$として$\mathscr{P}(X)\setminus\{\emptyset\}$を考え，このとき$A_{\lambda}$は$A_{Y}\;(Y\in\mathscr{P}(X)\setminus\{\emptyset\})$の形ですが，$A_{Y}=Y$とすればよいのです．このとき$\bigcup_{\lambda\in \Lambda} A_{\lambda}$は$\bigcup_{Y\in \mathscr{P}(X)\setminus\{\emptyset\}} Y\overset{X\in\mathscr{P}(X)\setminus\{\emptyset\}\text{より明白}}{=}\;\;X$になり，Analysis Nowでの選択関数の値域になります．
そして添え字集合として空集合を除いた$X$のべき集合をとった時の，空でない$X$の部分集合たちの直積は空でない．実際，選択関数は$\prod_{\lambda\in I}^{} A_{\lambda}$に入ってこれは空でなくなります．

どんな集合でも，任意の空でない部分集合が最小元(the first element)を持つような順序を取れるということです．同語反復ですが，いちいち定義に戻ることはそれほど悪くないように思います．

最後にZornの補題です．それには「帰納的順序集合」というものが登場するのでまずそいつを定義します．

帰納的順序集合の例は うどんさんの動画 を見てください．因みにうどんさんは 極大元とかの動画 も出されているのですが，こちらもとてもわかりやすくおすすめです．

お膳立て2・補題

1.1.4には後々の証明で使う補題があります．初学者にとってはこいつが厄介！
以下，$(X,\leq):\;$順序集合，$c:\mathscr{P}(X)\setminus\{\emptyset\}\to X\;$($X$の)選択関数とします．

はい来ました．これはいったい何なんでしょうかね．いきなりこういうの書くのマジ勘弁ですよね．一応書きますが上にあるminは最小値の意味ではなく真に小さい下界(proper minorant)全体のことです．

その下にこんな注意が書いてあります．

何言っているかわかりましたか？わからないですよね．一つ一つ追っていきましょう．
因みに，ネットで検索してよく出てくるchainの定義は「全順序部分集合」．こっちならすぐ理解できるのに・・・．今回のchainも実はただの全順序部分集合になるのか，と考えると沼にはまります．なぜなら，上に枠付きで定めたchainは**Analysis Now特有の"Strong chain"**だからです．でもこれは冷静に考えると明らかです（整列集合という時点で全順序集合より強い条件を仮定しているから）．

まずはchainの理解からやってみる．

つまり，$C\subset X$がchainであるとは

という整列集合のことなのです．
ここで先ほどの注意を考えてみます．実はこれは命題1「$\text{maj}(\emptyset)=X$」から直ちに従います．

なんだか正しく追えているみたいですね．この調子で$1.1.5$ Lemmaに行ってみましょう．

これは大丈夫ですね．どういう状況なのか絵でも描いて理解してみるとベターだと思います．

ここでの一番の目的は$C_1\cap\text{min}\{x_1\}\supseteqq C_2$を示すことですが，そのための飛び石が複数あってそれらの証明もしているなど複雑です．僕の好みでStepと名付けてみました．がしかしあくまで一番の目的は$C_1\cap\text{min}\{x_1\}\supseteqq C_2$の証明であることを忘れないように．

ここで止めてみましょう．なんか示すもの増えましたね．これからもっと増えます．

先に進みましょう．

気持ちとしては「それはそう」と思えることを背理法で示しています．背理法の中に背理法が入っています．
$y\in C_2\cap\text{min}\{x_2\}$とは$y\in C_2$かつ$y\in \text{min}\{x_2\}$が成り立つという意味ですが，$y\in C_2$は①より明白ですね．
もう片方はどうか？$x\in\text{min}\{x_2\}$から$x< x_2$ですが，$y\leqq x$と合わせて順序の推移律から$y< x_2$を得ます．これは$y\in \text{min}\{x_2\}$を意味します．良さそうですね．

Step1で得た結果を言い換えると「$y\in\text{maj}(C_2\cap\text{min}\{x_2\})$」ということです．これはStep2で使います．

今のところ

という状況です．

そろそろ$C_2\cap\text{min}\{x_2\}=C_1\cap\text{min}\{x_1\}$にとどめを刺します．今までchainの定義条件として整列集合であることしか使っていないことに気づいた方もいらっしゃるのではと思いますが，以下では（定義からコピー＆ペーストしちゃうと）

こっちも使います．

ついにクライマックスです．

やっと証明が終わりました．ふー疲れた！
因みに， 岩村聯先生の「束論」 の第4章19節「lemmaの別証明」にAnalysis Nowに近いchainを用いたZornの補題の証明が書かれています．僕は今年の春，神保町の古本屋で昭和24年に河出書房から出された「束論」を買ったのですが，なんかAnalysis Nowに似たことが書いてあってうれしかったです．

ここからが本題

いやーここまで頑張ってきたわけですが，まだ同値性示せていません．やばいですね．

方針としては(i)$\Longrightarrow$(ii)，(ii)$\Longrightarrow$(iii)，(iii)$\Longrightarrow$(i)を示します．簡単な(iii)$\Longrightarrow$(i)から示しましょう．

楽勝ですね．残りの2つ，やりたくないです（長いから）．
ちょっと今日は休みたいのでこの続きは後日にさせてください．

さいごに

諸定義を定め，chainの補題を示しました．「整列可能定理$\Longrightarrow$選択公理」を示しました．
次回は「選択公理$\Longrightarrow$Zornの補題」と「Zornの補題$\Longrightarrow$整列可能定理」を示します．

蛇足

Analysis Nowの行間埋めのモチベーションを書くと，それはゼミ選考が近く後輩から相談されるかもと思っているからです．
昨年，私はバイトの先輩方とAnalysis Nowの自主ゼミをしており，この1.1にひどく苦しめられました．良いことを言おうとすればするほど自分の不勉強さがボロボロ露呈する感じがしたのを今でも覚えています．当時ルベーグ積分に興味を持ち（吉田ルベーグの問題を解いたり数学徒のつどいにて2時間講演をしてしまうくらいはまっていました）解析系のゼミに進もうと思っていた矢先，Analysis Nowに出鼻をくじかれました．関数解析って大変なんだなあと面喰ったのですが・・・
あまりにもわからなすぎるので，大学にいる数学ができる人たちに1.1の内容について質問をしたいなあと思ったのですが，そのときゼミ紹介期間だったことを思い出しました．Analysis Nowに強い人にすぐ会えるかもしれないと思い，解析系のTゼミ案内に参加した後にそこの院生のMさんに「選択公理とZornとwell-ordering principle（当時は整列可能定理の言葉もおぼつかないほどの数学力でした）の同値性を示したいのですが助けてください」と言ってみました．
そしたらMさんは「ちょっと準備させて」と待たされてから同値性を示してくださりました．僕はその無茶ぶりでも受け付けてくださる対応と理解を丁寧に確認してくれた姿を見て，MさんのいるTゼミに入って関数解析頑張ってみようと心に決めました．で，いざ自分がTゼミに入ったらMさんは一般企業に就職されてそこにはいませんでした．
あれから1年．今度は僕たちが後輩にゼミ紹介をする番になりました．中には「選択公理とZornとwell-ordering principleの同値性示してください」と言う者もいるかもしれない，少なくとも去年の自分を超えたいと思って，ずっと手を触れていなかった1.1に戻ってみました．するとこれがめちゃくちゃわかるようになっているんですね．自分で驚くくらいでした．自分がちょっとは後輩の手本になる良い先輩になれそうかなとほっこりしました．