単元一覧 › 大学数学 集合と位相

集合と位相の問題

難易度 1教科書の例題レベル大学数学 集合と位相

各正の整数 に対して、 と からなる無限列 を

で定める。カントールの対角線論法にならい、列 を

で定める。このとき であり、各 について は 番目の項で と異なるので、 はどの とも一致しない。

和 の値を求めよ。

この問題で使うもの

この問題を解けるようになるまで(8 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. 写像・単射の個数と集合の濃度
  7. 可算集合
  8. 対角線論法と連続体の濃度

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

カントールの対角線論法で作る列 は、対角成分 だけで決まります。まず を求めましょう。

ヒント 2

は定義の に を代入したものなので、「 が の倍数かどうか」で決まります。 はその と を反転したものです。

ヒント 3

となるのは が の倍数でないときです。あとは の範囲でそのような の個数を数えます。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

対角線論法の考え方:列の列 を表のように並べ、 行目 列目の成分(対角成分) だけを取り出して、それを と反転させた列 を作ります。すると なので、 は 番目の項で と異なり、どの とも一致しません。これにより、写像 は への全射ではないことがわかります( が非可算であることの証明の核心)。

ステップ 1:対角成分を求める。
は定義で とした値なので、

と は互いに素なので、 が の倍数であることと が の倍数であることは同値です。よって

ステップ 2:反転して を求める。
なので

たとえば です。

ステップ 3:和を数える。
は、 以上 以下の整数のうち の倍数でないものの個数です。 の倍数は の 個なので、

答え:

別解

となるのは が 3 の倍数のとき、すなわち が 3 の倍数のときである。したがって は、 が 3 の倍数なら 、そうでなければ となる。
のうち 3 の倍数は 個なので、 となる は 個。
よって和は 。
検算: のとき は が 3 の倍数かを見るので となり、。 のとき は 3 の倍数なので 、。いずれも上の結論と合う。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題