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

集合と位相の問題

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

を正の整数全体の集合、 をそのべき集合とする。写像 を

で定める。カントールの対角線論法にならって、集合

を考える。この はどの正の整数 に対しても と一致しないので、 は全射ではない。集合 を求めよ。

この問題で使うもの

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

読み込み中…

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

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

ヒント

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

ヒント 1

カントールの対角線論法を使います。各 について「 が に属するか」だけを調べればよいです。

ヒント 2

の条件式の に 自身を代入すると、 となります。

ヒント 3

と因数分解できます。 はこれが 以下になる正の整数 の集まりです。

答えと解説

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

方針(対角線論法) 対角線論法では、各 について「 番目の集合 が 自身を含むかどうか」だけを調べ、その逆を選んで集合 を作ります。つまり の条件式の に 自身を代入すればよいです。

手順 1:対角成分を調べる となる条件は、 を代入して

です。これは または のときに成り立ちます。

手順 2:逆を選ぶ は となる 全体なので、、すなわち となる正の整数 全体です。よって

実際に確かめると、 では で 、 では で 、 では で 、 では で 、 では で です。 では より なので です。

手順 3:なぜ は の像に入らないか もし となる があったとすると、 となって矛盾します。具体的には、 と は要素 の有無で必ず食い違います。例えば は を含みませんが、 は を含みます。 は を含みますが、 は を含みません。

補足:濃度の大小について この議論は任意の写像 に対して使えるので、 から への全射は存在せず、特に全単射も存在しません。一方、写像 は単射なので です。この 2 つを合わせて がわかります。

答え:

別解

となる条件は、 を代入して が成り立たないこと、すなわち である。これは と変形でき、 となる。 は正の整数なので 。
検算:
- : なので 。
- : で正でないので 。
- : なので 。
- : なので 。
- : なので 。
- : なので 。
よって 。

この問題の確認

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

間違いを報告する

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

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

関連する問題