「可算集合」の版間の差分
削除された内容 追加された内容
Luckas-bot (会話 | 投稿記録) m ロボットによる 追加: ca:Conjunt numerable |
|||
8行目:
また、高々可算な集合とは、'''N''' の濃度以下の濃度を持つ集合のことである。すなわち、集合 ''S'' が'''高々可算'''であるとは、''S'' から '''N''' へ[[単射]]が存在することをいう。これは、'''N''' から ''S'' へ[[全射]]が存在することと[[同値]]である。
慣例では、可算集合の濃度を <math>\aleph_0</math>（[[濃度 (数学)|アレフ]]ゼロ、aleph-null）で表す。例えば、'''N''' の濃度が可算であることを <math>|\mathbb{N}|=\aleph_0</math> などと表す。
== 例と性質 ==
| |||