第151回　3を作ろう（前編）

$ \newcommand{\HIRANO}{\unicode[sans-serif,STIXGeneral]{x306E}} \newcommand{\SQRT}[1]{\sqrt{\mathstrut #1}} \newcommand{\LOOKSLIKE}{\quad\longleftrightarrow\quad} \newcommand{\ZERO}{\bigl\{\,\bigr\}} \newcommand{\ONE}{\bigl\{\,\{\,\}\,\bigr\}} \newcommand{\TWO}{\Bigl\{\,\bigl\{\,\bigr\},\, \bigl\{\,\{\,\}\,\bigr\}\,\Bigr\}} \newcommand{\THREEYURI}{\biggl\{\,\Bigl\{\,\Bigr\},\, \Bigl\{\,\bigl\{\,\bigr\}\,\Bigr\},\,\Bigl\{\,\bigl\{\,\{\,\}\,\bigr\}\,\Bigr\}\,\biggr\}} \newcommand{\THREE}{\biggl\{\,\Bigl\{\,\Bigr\},\, \Bigl\{\,\bigl\{\,\bigr\}\,\Bigr\},\,\Bigl\{\,\bigl\{\,\bigr\},\,\bigl\{\,\{\,\}\,\bigr\}\Bigr\}\,\biggr\}} \newcommand{\YZERO}{\{\,\}} \newcommand{\YONE}{\bigl\{\,\YZERO\,\bigr\}} \newcommand{\YTWO}{\Bigl\{\,\YONE\,\Bigr\}} \newcommand{\YTHREE}{\biggl\{\,\YTWO\,\biggr\}} \newcommand{\YYZERO}{\{\,\}} \newcommand{\YYONE}{\bigl\{\,\YZERO\,\bigr\}} \newcommand{\YYTWO}{\Bigl\{\,\YYZERO,\,\YONE\,\Bigr\}} \newcommand{\YYTHREE}{\biggl\{\,\YYZERO,\,\YYONE,\,\YTWO\,\biggr\}} \newcommand{\YYADDED}{\Bigl\{\,\bigl\{\,\{\,\}\,\bigr\}\,\Bigr\}} $

僕の部屋

ユーリ「お兄ちゃん。ちょっと、これ見て！」

僕「うん？……ああ、なるほど。知ってる知ってる。これはね」

ユーリ「ちょーっと待ったー！」

僕「え？」

ユーリ「《知ってる知ってる》は、知らない人が言う言葉って、お兄ちゃんいつも言ってるじゃん！　そんなに安直に《知ってる知ってる》なんて言っていいの？」

僕「いや、そんな格言みたいなこと言った覚えはないけど……この数式がどうしたの？」

ユーリ「あ、やっぱり数式なんだ。あのね、これはとあるルートから入手した秘密文書なんだよ」

僕「そういうのはいいから。どうせまた、ユーリの《友達》から出されたクイズだろ？」

ユーリ「ま、確かに、クイズみたいな感じだけどさ。ともかく、問題は《この数式は何か》って話。お兄ちゃんは関心あるかもにゃあ？ と思って持ってきたんだよん」

僕「とか何とかいって、こっちに考えさせたいんだろ？　ともかく、これは有名な話だよ」

ユーリ「有名な話ってことは、《知ってるかどうかの問題》てゆーこと？　《考えてわかる問題》じゃなくて」

僕「うーん、何も知らないのにこの紙だけ見せられて意味が分かる人というのは、ほとんどいないと思うよ。いや、どうかな……いずれにしろ、 このままだと読みにくいから、少し書き換えて、読みやすくしてみようか」

ユーリ「そしたら、謎が解ける？」

僕「どうかな」

数式を書き換えて

ユーリ「この数式を書き直すって、どーすんの？」

僕「うん、カッコの大きさが全部同じだと、すごくごちゃごちゃして見える。 だから、こんなふうに大きさを変えてみよう」

ユーリ「おー　なるほど　これは　とっても　みやすくなったなー」

僕「なぜ棒読み」

ユーリ「だって、たいして変わらないもん」

僕「そんなことないよ。よく見てごらん。一番外側の$\{\quad\}$の中には、$3$個の要素が入っていることがわかるだろ？　コンマで区切られて」

ユーリ「ははーん、うん、これならわかるよ。確かに$3$個」

僕「この数式は、$3$個の要素を持っている集合を表しているんだよ。ユーリは集合のことはもう知ってるよね。 数学的なものをコンマで区切って並べて、 それを$\{ \quad \}$でくくってひとまとめにして表す」

ユーリ「うん、お兄ちゃん、よく話してくれるよね。集合のこと」

僕「ともかく、集合は、数学でとっても大切なものだからね。ものの集まりを《集合》と呼んで、 集まった個々のもののことを《要素》と呼ぶ」

ユーリ「覚えてるよん。偶数の集合は$\{ 0, 2, 4, 6, \ldots \}$とか」

僕「そうそう。それは《$0$以上の偶数全体の集合》といえるね。$0$や$2$などはその集合の《要素》になる。 それと同じように考えると、ユーリの持ってきた数式は、 $1$個の集合を表していて、その集合には$3$個の要素が属しているといえる」

ユーリ「そーだけど……これって、要素も集合で、集合が要素？　あれ？」

僕「うんうん、そこがややこしいところだよね」

• ユーリの数式は、$1$個の集合を表している。
• その集合には、$3$個の要素が属している。
• そして、その$3$個の要素は、それぞれがまた集合になっている。

ユーリ「ふんふん。にゃるほど？」

僕「それで、この数式の意味なんだけど」

ユーリ「そんなことより、お兄ちゃん。ユーリ思ったんだけど、いまバラバラにした$3$個の要素って、それぞれがまた集合なんでしょ？」

僕「そうだよ」

ユーリ「でね、もしかして、それぞれの集合の要素もまた集合になってない？」

僕「そうだね！」

ユーリ「こんな感じでもっとバラバラにできる！」

僕「おお、いいねえ……」

ユーリ「あ！　もっかいバラバラにできるよ！」

僕「そうだね。ユーリの発見はすごいな！」

ユーリ「あー……でも、これ以上はバラバラにできにゃい。要素、もう、なくなっちゃったから」

僕「うん。$\{\,\}$は要素が$1$個もない集合を表しているからね。空集合（くうしゅうごう）だ」

ユーリ「くうしゅうごう……これもお兄ちゃんよく話してくれるね」

僕「うん、じゃあ、話を戻して、この数式の意味を考えてみよう」

ユーリ「数式の意味って？」

僕「この数式は、そもそも何を表しているんだろうか、ってこと。ユーリはどう思う？」

ユーリ「何を表しているかって……空集合を集めて、集合を作ったものじゃないの？」

僕「実はね、ユーリが持ってきたこの数式は《空集合からスタートして、数を作ろうとしている数式》なんだよ！」

ユーリ「数を作る？！　数って作れんの？」

数を作る

僕「うん、できるんだよ。集合を使って数を作ることができる。《数》といっても、まずは$0$以上の整数だけどね。 つまり、 $$ 0, 1, 2, 3, \ldots $$ という数を、集合だけを使って作ってみよう！というんだよ。これは、フォン・ノイマンという人が考えたやり方なんだ。 いわば《ノイマンの方法》だね」

ユーリ「それ、すんごく、おもしろそー！……おもしろそーな気がするんだけど、でも、何がなんだかわかんないね」

僕「難しい話じゃないよ。ユーリなら絶対わかるから」

ユーリ「へー！」

ノイマンの方法

僕「《ノイマンの方法》では、まず《空集合》つまり$\ZERO$のことを$0$と見なす」

ユーリ「は？　はあ……」

僕「それから《空集合だけを要素に持つ集合》つまり$\ONE$のことを$1$と見なす」

ユーリ「……それで？」

僕「うん、それで今度は、《ここまで出てきた集合すべてを要素に持つ集合》 を考える。 言い換えると《$\ZERO$と$\ONE$を要素に持つ集合》のことだね。これを$2$と見なす」

ユーリ「うーん……」

僕「え？　そんなに難しくないだろ？」

ユーリ「いや、むずかしーとかじゃなくて、何だかつまんない」

僕「つまらないって、どうして？」

ユーリ「だって、リクツがわかんないから。$0$と$1$は、 まー、何となくわかる気もするけど、$2$はわかんない。 何かテキトーに作ってるみたいだから、つまんない」

僕「こういうふうにして数を作っていく理由はあるよ。ほらほら、その集合に属している《要素の個数》を考えてみればいい。 それがちょうど、その集合が表している数と一致することになる！」

ユーリ「いやいやいや、それはリクツとして弱いっちや」

僕「突然の零崎軋識……零だけに」

ユーリ「だって、集合の《要素の個数》を使って数を表したいんだったら、 $0,1,2$は、このほうがカンタンじゃん！」

僕「なるほど。ユーリは賢いなあ！　でも、それはまずいんだよ。ユーリは、 $$ \bigl\{\,\{\,\},\,\{\,\}\,\bigr\} $$ という集合は要素が$2$個あると考えたんだけど、そうじゃないから」

ユーリ「だって、$\{ \qquad \}$の中に$2$個の要素入れたよ。$2$個の空集合を要素にしたんじゃ、だめなの？」

僕「うん。それじゃだめだね。集合を考えるとき、ひとつの集合に等しい要素が何個入っていても$1$個として考えるルールになってるから。もう少し正確にいうと、集合では《何かがその集合に属しているかどうか》だけに注目することになっていて、 等しい要素が何個入っているかは気にしない」

ユーリ「ふーん。個数が問題にならないって、すんごく不自然だけど、ルールならしょうがない？」

僕「それほど不自然でもないんだよ。たとえば、ユーリの同級生の中で《チョコが好きな人の集合》と、《クッキーが好きな人の集合》を考えるとするよね。両方の集合を合わせた和集合を考えたとき、 両方の人数をそのまま足しちゃだめだよね。 《チョコかクッキーのどちらでもいいから好きな人の集合》を考える場合」

ユーリ「そりゃそーだね。だって、両方好きな人がいるかもしんないから」

僕「そうそう。両方の人数をそのまま足すんじゃなくて、両方の集合の要素をまとめた上で《ほんとうのところは何人いるか》を考えたくなる。 《だぶり》に注意するわけだ。 それっていうのは、等しい要素は何個入っていても$1$個だと考えてることになる。 要素になっているかどうかは気にする。等しい要素は何個入っていても$1$個として考えてる」

ユーリ「確かに！　そーゆー意味では不自然ではない？」

僕「うん。だから、何かがその集合に属しているかどうかだけに注目しましょうというルールは、 それほど不自然な話じゃあないんだ」

ユーリ「ふむふむ。ちょっと納得」

$2$から$3$へ

僕「それで、話を戻そう。《ノイマンの方法》の話をしてたんだった。集合を使って$0,1,2$をこんなふうに表してみた。集合で数を作ってみたといってもいい」

ユーリ「ふーん……」

僕「そして、ユーリは$2$の作り方にひっかかっていた。ユーリが提案した $$ \bigl\{\,\{\,\},\,\{\,\}\,\bigr\} $$ という集合だと、要素の個数は$2$にならない」

ユーリ「うーん、そっか……空集合しか要素がないってことは、要素が$1$個？」

僕「そういうこと。さて、ここでユーリにクイズです」

ユーリ「クイズ！」

僕「《ノイマンの方法》では、どんな集合が$3$になるだろうか。これがクイズ」

ユーリ「にゃるほど？　$3$を作ろう！ってことだにゃ？」