濃度_(数学)

ウィキペディア

濃度 (数学)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/04/24 02:04 UTC 版)

数学、特に集合論において、濃度（のうど、英: cardinality カーディナリティ）とは、有限集合における「元の個数」を一般の集合に拡張したものである^[1]。集合の濃度は基数 (cardinal number) と呼ばれる数によって表される。歴史的には、カントールにより初めて無限集合のサイズが一つではないことが見出された^[2][3]。

濃度の関係

集合 X と Y の間に全単射が存在するとき X ≈ Y と書き、X と Y は濃度が等しいという。

集合 X から集合 Y への単射が存在するとき X ≾ Y と書き、X の濃度は Y の濃度以下であるという。

集合 X と Y について、X ≾ Y だが X ≈ Y でないとき、X ≺ Y と書き、X の濃度は Y の濃度より小さいという。

シュレーダー=ベルンシュタインの定理により、X ≾ Y かつ Y ≾ X なら、X ≈ Y が成り立つ。さらに、選択公理を仮定すれば、任意の集合 X と Y に対して、X ≾ Y または Y ≾ X が成り立つ。

| X | = | Y | ⇔ X ≈ Y が常に成り立つ集合への数学的対象の割り当てを濃度といい、濃度として割り当てられる数学的対象を基数という（濃度 | X | は card(X), #X などとも表記される）。

厳密な定義

（カントールによって暗に、フレーゲやプリンキピア・マテマティカにおいて明確に示されていた）集合 X の濃度の最も古い定義は、X と一対一対応のつくすべての集合からなるクラス [X] としての定義である。これは、ZFCや関連する集合論の公理系ではうまく機能しない。それは、X が空でないならば、一対一対応のつくすべての集合を集めたものは集合にしては大きすぎるからである。実際、X を空でない集合としたとき、集合 S に {S} × X を対応させる写像を考えることによって、宇宙から [X] への単射が存在し、サイズの限界（英語版）より、[X] は真のクラスである。

フォン・ノイマンの割り当て

選択公理を仮定すると集合 X に対し濃度 | X | を | X | := min{α ∈ ON : |α| = | X | } と定義できる 。

これをフォン・ノイマンの割り当てという。

スコットのトリック

正則性公理の元、任意のクラスに対し画一的に（そのクラスの部分クラスとなる）集合を割り当てる方法であるスコットのトリックを使うと、 整列可能とは限らない集合 X に濃度 | X | を以下のように割り当てることができる（詳しくはスコットのトリックを参照）。

| X | := {A : | A | = | X | かつ、任意の集合 B に対し「| B | = | X | → rank( A) ≤ rank( B)} 」

どのような定義を採用するにしろ集合の濃度が等しいのは、それらの間に全単射が構成できるちょうどそのときである。

様々な集合の濃度

有限集合

有限集合の濃度は自然数を使って表せる。濃度がn である集合をn 点集合という。

可算集合

→詳細は「可算集合」を参照

自然数全体からなる集合の濃度を可算無限濃度または単に可算濃度という（古くは可付番濃度とも呼ばれた）^[1]。通常、${\displaystyle \aleph _{0}}$ カテゴリ