集合と位相の問題
正の整数全体の集合を とする。直積 の元 を、次の規則で一列に並べる。
- の値が小さいものほど先に並べる。
- の値が等しいものどうしでは、 が小さいものほど先に並べる。
この並べ方では、列は となる。先頭から 番目、 番目、 と番号を付けると、 にその番号を対応させる写像 は全単射になる。このことから の濃度は である。
このとき、 の値を求めよ。
この問題で使うもの
- 可算集合(説明と入口の問題)
この問題を解けるようになるまで(7 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
技能「可算集合」を使う。元を一列に並べて番号を付ける全単射を考え、 が何番目に来るかを数える。
ヒント 2
となる元は 個ある。 より前のグループ に元が何個あるかを数える。
ヒント 3
から までのグループには 個の元がある。あとは のグループの中で が何番目かを調べる。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
考え方(可算集合であることの示し方)
集合の濃度が であることを示すには、その集合の元を「 番目、 番目、」と、どの元もちょうど 回ずつ、有限番目に現れるように並べればよい。そうすれば「元 番号」が への全単射になる。
は無限集合なので、 を固定して を と動かす並べ方では の元だけで列が終わらず、 の元に番号が付かない。そこで ごとに区切る。 となる元は
の 個で、有限個である。よって の順にこれらを並べれば、どの元も有限番目にちょうど 回現れる。これが問題の であり、全単射である。
の計算
は のグループに属する。それより前には のグループが並ぶ。各グループの個数は 個なので、その総数は
である。
のグループの中は の小さい順に と並ぶので、 はこのグループの 番目である。
したがって
である。
(一般には と表せる。 を代入すると となり、上の結果と一致する。)
別解
となる組は 個ある。したがって より前の和 に属する組の総数は である。和が の組の中では が小さい順に並ぶので 番目になる。よって である。
では なので となる。
検算: は 番目、 は で 番目となり、列 と一致する。