集合と位相の問題
を正の整数全体の集合、 をそのべき集合とする。写像 を
で定める。カントールの対角線論法にならって、集合
を考える。この はどの正の整数 に対しても と一致しないので、 は全射ではない。集合 を求めよ。
この問題で使うもの
- 対角線論法と連続体の濃度(説明と入口の問題)
この問題を解けるようになるまで(8 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
カントールの対角線論法を使います。各 について「 が に属するか」だけを調べればよいです。
ヒント 2
の条件式の に 自身を代入すると、 となります。
ヒント 3
と因数分解できます。 はこれが 以下になる正の整数 の集まりです。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
方針(対角線論法) 対角線論法では、各 について「 番目の集合 が 自身を含むかどうか」だけを調べ、その逆を選んで集合 を作ります。つまり の条件式の に 自身を代入すればよいです。
手順 1:対角成分を調べる となる条件は、 を代入して
です。これは または のときに成り立ちます。
手順 2:逆を選ぶ は となる 全体なので、、すなわち となる正の整数 全体です。よって
実際に確かめると、 では で 、 では で 、 では で 、 では で 、 では で です。 では より なので です。
手順 3:なぜ は の像に入らないか もし となる があったとすると、 となって矛盾します。具体的には、 と は要素 の有無で必ず食い違います。例えば は を含みませんが、 は を含みます。 は を含みますが、 は を含みません。
補足:濃度の大小について この議論は任意の写像 に対して使えるので、 から への全射は存在せず、特に全単射も存在しません。一方、写像 は単射なので です。この 2 つを合わせて がわかります。
答え:
別解
となる条件は、 を代入して が成り立たないこと、すなわち である。これは と変形でき、 となる。 は正の整数なので 。
検算:
- : なので 。
- : で正でないので 。
- : なので 。
- : なので 。
- : なので 。
- : なので 。
よって 。