[logo] Web連載「数学ガールの秘密ノート」
Share

第64回 シーズン7 エピソード4
数えない論理(後編)

書籍『数学ガールの秘密ノート/場合の数』

この記事は『数学ガールの秘密ノート/場合の数』として書籍化されています。

無料でWeb立ち読み アマゾンで購入

の部屋

ユーリ「ミルカさまの受け売りはいいから」

「別に受け売りってわけじゃないんだけどね」

は高校二年生。いとこのユーリは中学二年生。 僕たちはいっしょに数学を題材におしゃべりをしている。 クイズやパズルを楽しむような感覚だ。 ユーリはあまり根気強くはないけど、なかなか賢い。

ユーリ「『なかなか賢い』じゃなくて『とっても賢い』だよ!」

「地の文に突っ込むなよ」

ユーリ「それにしても、突然 $2$ 進数が出てくるのはおもしろいにゃ」

「まあそうだよね。《集合》はいろんな分野の土台になっているし」

ユーリ「いろんな分野って?」

「たとえば幾何学きかがく。数学の幾何学では、直線や円のような図形を扱うよね」

ユーリ「三角形とか?」

「そうそう。図形は《点》が集まったものと見なすことができる。 つまり《図形は点の集合》ということ」

ユーリ「ほーほー、なるほど。それで?」

「だから、集合の考え方を使って、図形を扱うことができる。集合は幾何学の土台になっているといえる」

ユーリ「あんましピンと来ない」

「そう? たとえば、球面を考えたとする。ボールの表面を想像すればいいよね。シャボン玉の表面でもいい」

ユーリ「きゅうめん? いいよ」

「それを平面で切ったとしよう。大きな包丁でさくっと」

ユーリ「ぱぁん!」

「うわ! 急に大声出すなよ」

ユーリ「だってボールに包丁入れたら破裂するし」

「あ……まあね。ボールはたとえだよ。球面を平面で切ると、その断面はになる」

ユーリ「わかるよん」

「その円は、《球面を作っている点の集合》と《平面を作っている点の集合》の二つの集合の《共通部分》になるわけだ」

ユーリ「きょうつうぶぶん」

「そう。さっき説明したよね。共通部分というのは、二つの集合の両方に属している要素の集合のこと(第63回参照)」

ユーリ「両方、ね」

「そう。《球面を作っている点であり》かつ《平面を作っている点でもある》……そんな点の集合のこと」

ユーリ「なんか、わざわざめんどくさく説明してるよーな気もするけど」

「幾何学だけじゃない。集合の考え方は、連立方程式を解くときも出てくるよ」

ユーリ「へー」

「連立方程式を解くときは、二つ以上の方程式を連立させて解くけど、 あれはそれぞれの方程式の《解の集合》の《共通部分》を求めていることになる」

ユーリ「あ、また共通部分」

「そうだね。……集合の考え方は数学のあちこちに登場するんだよ」

ユーリ「……」

「どうした?」

ユーリ「話、もどっちゃうんだけど、気になった」

「何が?」

ユーリ「さっきの《球面》を《平面》で切る話。ボールと包丁」

「?」

ユーリ「お兄ちゃんはさっき、《球面を作っている点の集合》と《平面を作っている点の集合》の《共通部分》は円になるっていってたけど、 そうじゃないときもあるよね。なんてゆーか、こう……ぎりぎりピタッと」

「そうだね! その通りだよ。ユーリは球面と平面が接するときのことを言ってるんだね。ユーリは賢いなあ。 球面が平面に接しているときは、共通部分はたった一点からなる集合になるね。その一点は接点せってんになる」

ユーリ「でしょー? だから円になるときもあるけど、点になるときもあるよね?」

「そうそう。まあ、一点を《半径が $0$ の円》と見なして、も……」

ユーリ「お兄ちゃん、どしたの。顔赤いよ」

「いや、何でもないよ。一点を《半径が $0$ の円》と見なすこともできるけどね」

ユーリ「あと、空振りするときもある」

「空振りって?」

ユーリ「ほら、ボールを切ろうとしたけど、包丁空振りでスカッと」

「そうだね。球面と平面の共通部分が空集合くうしゅうごうになるときだね」

ユーリ「あ、そっか。そー言えるんだ」

「こんなふうに、集合の言葉は数学のいろんな概念を整理して表現できるんだよ」

数を求める

ユーリ「ところでさ、お兄ちゃん。あのね、さっきヴェン図のパターンをたくさん数えたじゃん?(第63回参照)」

「そうだね」

ユーリ「小学校のとき、あれと似たような図で別な計算をしたことある」

「どういう計算?」

ユーリ「あのね、チョコとクッキーの好きな人の数の問題。たとえば、こんな感じの問題」

問題(チョコとクッキー)

教室にいる $30$ 人の生徒にチョコとクッキーの好き嫌いを聞いたところ、 全員が好きか嫌いかのどちらかを答えてくれました。

チョコが好きな人は $21$ 人いました。

クッキーが好きな人は $14$ 人いました。

どちらも嫌いな人は $5$ 人いました。(信じらんない!)

チョコとクッキーの両方が好きな人は何人いますか。

「なるほど、なるほど……」

ユーリ「えっと、いま適当に作ったんだけど、お兄ちゃんわかる?」

「わかるよ。図を描いて考えればわかるけど……《教室にいる人の集合》と《チョコが好きな人の集合》と《クッキーが好きな人の集合》を こんなふうに描く。ヴェン図だね」

ユーリ「ふんふん」

「この問題文からわかるのは、こうだね」

《(a)教室にいるのが $30$ 人》

《(b)チョコが好きな人が $21$ 人》

《(c)クッキーが好きな人は $14$ 人》

《(d)どちらも嫌いな人が $5$ 人》

ユーリ「そーだね」

「チョコ好き($21$ 人)と、クッキー好き($14$ 人)と、どちらも嫌い($5$ 人)を足すと、 $21 + 14 + 5 = 40$ になって、教室にいる人($30$ 人)を $10$ 人も越えてしまう。 なぜ越えてしまうかというと……」

ユーリ「両方好きな人をだぶって数えてるから!」

「そうそう。だからその越えた $10$ 人がちょうど両方好きな人の人数になるんだね」

解答(チョコとクッキー)

チョコとクッキーの両方が好きな人の人数は $10$ 人になります。

ユーリ「まー、そんな感じで、こーゆー計算を思い出したの」

「なるほど」

ユーリ「でもね、小学生だったけど、ユーリ、すごくなっとくいかなかった」

「何が?」

ユーリ「あのね。先生が『チョコ好きな人』って言ったんだけど、 ほんとは『チョコ好きな人で、この中にはクッキーが好きな人も嫌いな人もいるよ』って言ってほしかったんだよ」

「なるほど」

ユーリ「何だかね、先生に引っ掛けられたような気がしたの」

「うん、ユーリの気持ちはちょっとわかるかも」

ユーリ「なんてゆーか……もうちょっとちゃんと言ってくれたら答えられたのに」

「まちがったの?」

ユーリ「うん……最初、かんちがいして、『チョコ好きな人』を『チョコだけが好きな人』って意味だと思ってまちがった」

「なるほど。言葉だけで説明するとそうなっちゃうね、確かに」

ユーリ「ってゆーか……うーん、先生って、ていねいに教えてくれるんだと思ってたのに、 なんだかひっかけられたような気持ちになったの。 かっこいい先生だったのに、すんごくがっかりした」

「小学校のとき?」

ユーリ「……小学校のとき」

「それは……ごめんな、ユーリ」

ユーリ「なんで、お兄ちゃんがあやまんの?」

「いや、なんとなく」

ユーリ「……ま、いーや! とにかく、こーゆー集合の問題ではヴェン図を考えればまちがえないよねっ!」

「そうだね……そうか」

ユーリ「どしたの?」

「いや、ユーリがいうのは正しい。とても正しい。 いま、集合に属する要素の数を数えたんだけど、そういうときにヴェン図を描いて考えるのはとても正しい態度だよ」

ユーリ「え、だからそーゆー話、してたんだよね?」

「うん。お兄ちゃんが考えてたのは、それを数式で書く方法について」

ユーリ「?」

数式で書く

「要素の数を数えること。つまりね、 全体の人数、 チョコが好きな人数、クッキーが好きな人数、チョコとクッキーの両方が好きな人数、両方とも嫌いな人数……その人数の関係は 一般的に数式で書けるなあと考えてたんだよ」

ユーリ「なに言ってるのかわかんない」

「こういう数式のこと!」

$$ \begin{align*} & \textbf{《全体の人数》} + \textbf{《両方が好きな人数》}\\ &= \textbf{《チョコが好きな人数》} + \textbf{《クッキーが好きな人数》} + \textbf{《両方とも嫌いな人数》} \\ \end{align*} $$

ユーリ「え?」

「いや、こう書いた方が自然かなあ」

$$ \begin{align*} & \textbf{《全体の人数》} - \textbf{《両方とも嫌いな人数》}\\ &= \textbf{《チョコが好きな人数》} + \textbf{《クッキーが好きな人数》} - \textbf{《両方が好きな人数》} \\ \end{align*} $$

ユーリ「え? ……えーと。全体から両方嫌いな人数引いて、うわめんどくさい」

「いやいや、ちゃんと読んでほしいな」

ユーリ「はいはいっと。全体から両方嫌いな人数を引いて……うん、なるほど、そっか《チョコとクッキーとどっちかは好きな人数》てこと?」

「そうだね」

ユーリ「で、それはチョコ好きとクッキー好きを足してから、両方好きを引く……あったりまえじゃん!」

「だよね。当たり前だ」

ユーリ「これって、あれでしょ? 丸いの二つ足しておいて、重なったアーモンド部分を引いたんでしょ?」

「そうそう、よく分かってるね」

ユーリ「カンタン、カンタン」

「ユーリが言い換えた通り、こう書いてもいいね」

$$ \begin{align*} & \textbf{《チョコとクッキーの少なくとも片方が好きな人数》}\\ &= \textbf{《チョコが好きな人数》} + \textbf{《クッキーが好きな人数》} - \textbf{《両方が好きな人数》} \\ \end{align*} $$

ユーリ「カンタン、カンタン……それにしてもお兄ちゃんって数式好きだね」

「数式になると安心するんだよ」

ユーリ「変なの」

「変じゃないよ。数式で書けると、『確かにわかった』って感じるんだ」

ユーリ「ふーん」

文字と記号

「でもね、さっきの式はまだ日本語を使っていたから、長ったらしくなっているよね。 文字と記号を使って書けば、ずっと短く、ずっと簡単に書ける」

ユーリ「へー、たとえば?」

「《チョコが好きな人の集合》を $A$ として、 《クッキーが好きな人の集合》を $B$ と書く。これは文字を使って表したわけだね」

ユーリ「あははっ、そりゃ短くなるよね。一文字だもん」

「そして、 $A$ と $B$ の少なくとも片方に属している要素の集合……つまり《$A$ と $B$ の和集合》のことを、 $A \cup B$ と書くことにしよう」

$A$ と $B$ の和集合

$$ A \cup B $$

ユーリ「あ、これ、どっかで見たことある。お兄ちゃんが前に教えてくれたんだっけ?」

「そうだったかな」

ユーリ「すっごくまぎらわしーんだよ、この記号」

「そう? この記号 $\cup$ はカップみたいな形をしてるよね。 $A$ と $B$ を合わせてすくい上げるんだよ」

ユーリ「$A$ と $B$ を合わせてすくい上げるカップ……ふーん」

「そして、別の記号。 $A$ と $B$ の両方に属している要素の集合……つまり《$A$ と $B$ の共通部分》のことを、 $A \cap B$ と書くんだ」

$A$ と $B$ の共通部分

$$ A \cap B $$

ユーリ「ほらきた。まぎらわしーんだよね。 $\cup$ だか $\cap$ だか」

「何回か書いていると、すぐに慣れるよ」

ユーリ「そーゆーもん?」

「そういうもの。それで、集合 $A$ に属している要素の個数を $|A|$ で表すことにする」

集合 $A$ の要素の個数

$$ |A| $$

ユーリ「要素の個数って……チョコ好きな人数のこと?」

「そう。《チョコ好きな人の集合》を $A$ で表したとき、《チョコ好きの人数》は $|A|$ と書ける」

ユーリ「めんどくさいね」

「最初はね。でも、こういうふうに約束事を決めておきさえすれば、後がすごく楽になる。 とても複雑なことが短く表せるから。めんどくさくなくなるんだよ」

ユーリ「へー」

「たとえばさっきの《チョコとクッキーの少なくとも片方が好きな人数》の式は、 ズバリ、こう書ける」

集合の要素数の関係式

$$ |A \cup B| = |A| + |B| - |A \cap B| $$

ユーリ「ほほー。にゃるほど。 両方足しておいて、重なったところを引く……そーだね!」

「ねえ、ユーリ」

ユーリ「何?」

「くどくどと日本語で書くよりも数式の方がずっと短く書けると思わない?」

ユーリ「うーん……短く書けるけど、でもわかりにくいよー」

「記号に慣れないといけないからね。 じゃ、問題だよ。正しいものをすべて選ぼう」

問題(集合の要素数)

正しいものをすべて選ぼう。 ただし、集合の要素数はすべて有限個とする。

(1)どんな集合 $A$ に対しても、 $|A| \geqq 0$ が成り立つ。

(2)どんな集合 $A$ と $B$ に対しても、 $|A \cap B| \leqq |A|$ が成り立つ。

(3)どんな集合 $A$ と $B$ に対しても、 $|A \cup B| \geqq |A|$ が成り立つ。

(4)どんな集合 $A$ と $B$ に対しても、 $|A \cup B| \leqq |A| + |B|$ が成り立つ。

ユーリ「……」

ユーリは僕が問題を出したとたん、モードが切りかわった。 急速思考モードだ。口を閉じ、真剣な顔。栗色の髪が金色に輝く。 いつもの軽口を叩いているユーリとはちょっと違う。 は黙って、ユーリのモードが再び切り替わるのを待つ。

無料で「試し読み」できるのはここまでです。 この続きをお読みになるには「読み放題プラン」へのご参加が必要です。

ひと月500円で「読み放題プラン」へご参加いただきますと、 434本すべての記事が読み放題になりますので、 ぜひ、ご参加ください。


参加済みの方/すぐに参加したい方はこちら

結城浩のメンバーシップで参加 結城浩のpixivFANBOXで参加

(2014年1月31日)

書籍『数学ガールの秘密ノート/場合の数』

この記事は『数学ガールの秘密ノート/場合の数』として書籍化されています。

書籍化にあたっては、加筆修正をたくさん行い、 練習問題や研究問題も追加しました。

どの巻からでも読み始められますので、 ぜひどうぞ!

無料でWeb立ち読み アマゾンで購入

[icon]

結城浩(ゆうき・ひろし) @hyuki


『数学ガール』作者。 結城メルマガWeb連載を毎週書いてます。 文章書きとプログラミングが好きなクリスチャン。2014年日本数学会出版賞受賞。

Twitter note 結城メルマガ Mastodon Bluesky Threads Home