集合と位相の問題
各正の整数 に対して、 と からなる無限列 を
で定める。カントールの対角線論法にならい、列 を
で定める。このとき であり、各 について は 番目の項で と異なるので、 はどの とも一致しない。
和 の値を求めよ。
この問題で使うもの
- 対角線論法と連続体の濃度(説明と入口の問題)
この問題を解けるようになるまで(8 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
カントールの対角線論法で作る列 は、対角成分 だけで決まります。まず を求めましょう。
ヒント 2
は定義の に を代入したものなので、「 が の倍数かどうか」で決まります。 はその と を反転したものです。
ヒント 3
となるのは が の倍数でないときです。あとは の範囲でそのような の個数を数えます。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
対角線論法の考え方:列の列 を表のように並べ、 行目 列目の成分(対角成分) だけを取り出して、それを と反転させた列 を作ります。すると なので、 は 番目の項で と異なり、どの とも一致しません。これにより、写像 は への全射ではないことがわかります( が非可算であることの証明の核心)。
ステップ 1:対角成分を求める。
は定義で とした値なので、
と は互いに素なので、 が の倍数であることと が の倍数であることは同値です。よって
ステップ 2:反転して を求める。
なので
たとえば です。
ステップ 3:和を数える。
は、 以上 以下の整数のうち の倍数でないものの個数です。 の倍数は の 個なので、
答え:
別解
となるのは が 3 の倍数のとき、すなわち が 3 の倍数のときである。したがって は、 が 3 の倍数なら 、そうでなければ となる。
のうち 3 の倍数は 個なので、 となる は 個。
よって和は 。
検算: のとき は が 3 の倍数かを見るので となり、。 のとき は 3 の倍数なので 、。いずれも上の結論と合う。