質問: 可算かどうか 「xをn(自然数の集合)の有限部分集合全体の集合とするとき、|x|=アレフゼロ(可算濃度)となることを証明せよ」 を教えてください。 自然数nと一対一対応もしくは、先頭から番号をつけていくことができるというような証明の仕方ではないのかなとは思うのですが、具体的な証明方法が思いつきません、教えてください。 よろしくお願いいたします。
回答: 加算ではなく「可算」でokです. これは``countable''の訳語です. 加算だとむしろ``additive''だけども一般的ではないですな. それと「アレフゼロ」も「濃度」でok. 可算無限集合の濃度(「基数」というべきか)を 「アレフゼロ」とするわけです. 「可算濃度」といってしまうと確かに問題なので 「可算無限濃度」ということの方が正確ですね. #大抵は自明なので,無限を略することもないわけではないけども #ややこしい文脈・有限を包含する文脈もあるので注意 さて本題. xはnの有限部分集合の全体ですよね. xを 要素0個の連中,1個の連中,2個の連中・・・・ とわけていきます. この段階で,xはアレフゼロ個分のグループに分割されます. そして,0以外の自然数kに対して 要素k個のグループは,必ずアレフゼロ個です 例: 1個の連中:{1},{2},{3},・・・・ 2個の連中:{1,2},{1,3},{2,3},・・・ という具合(これをまじめに証明するのは,ご自分でどうぞ). よって,アレフゼロの集合がアレフゼロだけあるわけだから 全体はアレフゼロです. 細かいところは自分で穴埋めしてください. 基本は「nとの全単射を構築」することですが, 何でもかんでも写像を構築するわけでもないのです.