
No.2ベストアンサー
- 回答日時:
加算ではなく「可算」で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との全単射を構築」することですが,
何でもかんでも写像を構築するわけでもないのです.
この回答への補足
わかりやすい回答をありがとうございます。
なるほど、非常によくわかりました。
無理やり写像にこじつけなくても、ある規則にしたがって並べたらどうなるかということを論述していいんですね。
あとは自分でなんとかがんばってみます。
ありがとうございました。
No.3
- 回答日時:
A∈Xを取ると、Aには有限個の自然数が含まれているので、Aに含まれる
要素全体の和は自然数である。
よって、
f:X→Nを、f(A)=Aに含まれる要素全体の和
によって定義すると、f(X)はNの部分集合となる。
(実際にはf(X)はNに一致する。)
n∈Nに対して、f(A)=nとなるA∈Xはいくつあるかを考えると、nをいく
つかの自然数の和として表す仕方の総数だけあり、それは有限個であ
る。
X=f^(-1)(1)∪f^(-1)(2)∪f^(-1)(3)∪…∪f^(-1)(n)…
となっており、交わりはなく、各f^(-1)(k)は有限個の要素から成る。
具体的には、
f^(-1)(1)={{1}}
f^(-1)(2)={{2}}
f^(-1)(3)={{3},{1,2}}
f^(-1)(4)={{4},{1,3}}
・・・
となっているから、順番に自然数を割り振っていくことができる。
詳しい回答ありがとうございます。
なるほど、このようなやり方もあるのですね。
元の並べ方は、何通りもあって、とにかく数え上げられることが重要で、それが示せればいいということがわかりました。
ありがとうございました。
No.1
- 回答日時:
>「XをN(自然数の集合)の有限部分集合全体の集合とするとき、
>|X|=アレフゼロ(可算濃度)となることを証明せよ」
“アレフゼロ”とは、加算無限集合ではなかったですか?
1.XからNへの単射な写像が存在すれば、Xは加算集合である。
2.NからXへの全単射な写像が存在すれば、Xは加算無限集合である。
【Xの濃度はNと同じである】
(事例)Xが偶数全体の集合であれば、
写像f:N→X[f(n)=2n(n∈N)]は全単射な写像になる。
従って、偶数全体の集合は、加算無限集合。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 数学 実数全体の集合Rの可算部分集合は可測であることを示せ。 示せる方いましたらよろしくお願いします。実解 1 2023/04/27 19:48
- 数学 環論の素元について 6 2022/05/09 04:04
- 数学 回答の意味について 3 2023/07/06 14:14
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 代数学 同型 1 2022/05/09 16:27
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 哲学 神論のエセンスは これだ 5 2022/07/19 04:39
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
Vをn次元実ベクトル空間、ΓをV...
-
「無限の一つ前の数字は何?」...
-
0から1の間の数は0から10の間の...
-
実数の個数は無限個?
-
質問文をよくお読みいただいた...
-
メルセンヌ素数でない素数は無...
-
エクセルで(~以上,~以下)...
-
「余年」の意味について教えて...
-
年代と年台・・・どちらが正し...
-
lim[n→∞](1-1/n)^n=1/e について
-
全員と同じグループを経験でき...
-
(x2乗+9)って因数分解出来ます...
-
極限
-
高2の数学の対数関数です。 真...
-
定義の同値性
-
COUNTIF関数 ある範囲の数値で...
-
数学 2次不等式
-
【数学】 lim x→a ↑これってど...
-
数学についての質問です。 大問...
-
離れた列での最大値の求め方
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報