濃度 (数学)

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

濃度の関係 
集合  と  の間に全単射が存在するとき  と書き、 と  は濃度が等しいという。
集合  から集合  のへの単射が存在するとき  と書き、 の濃度は  の濃度以下であるという。
集合  と  について、 だが  でないとき、 と書き、 の濃度は  の濃度より小さいという。

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

 が常に成り立つ集合への数学的対象の割り当てを濃度といい、濃度として割り当てられる数学的対象を基数という（濃度  は  などとも表記される）。

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

 フォン・ノイマンの割り当て
 選択公理を仮定すると集合  に対し濃度  を } と定義できる 。
 これをフォン・ノイマンの割り当てという。
 スコットのトリック
 正則性公理の元、任意のクラスに対し画一的に（そのクラスの部分クラスとなる）集合を割り当てる方法であるスコットのトリックを使うと、 整列可能とは限らない集合  に濃度  を以下のように割り当てることができる（詳しくはスコットのトリックを参照）。
  かつ、任意の集合  に対し「} 」
 どのような定義を採用するにしろ集合の濃度が等しいのは、それらの間に全単射が構成できるちょうどそのときである。

様々な集合の濃度

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

可算集合 

自然数全体からなる集合の濃度を可算無限濃度または単に可算濃度という（古くは可付番濃度とも呼ばれた）。通常、（アレフ・ゼロ）あるいは  と表記される。はヘブライ文字のアレフである。濃度が可算無限になる集合を可算無限集合または単に可算集合（）という。たとえば、整数全体からなる集合、有理数全体からなる集合はいずれも可算無限集合である。可算無限以下である濃度を高々可算な濃度または単に可算濃度という。

可算無限濃度には以下の性質がある。
  は極小な無限濃度である。すなわち、 が  より小さい濃度ならば、 は有限濃度（すなわち自然数）である。
 選択公理を仮定すると、 は最小な無限濃度である。すなわち、全ての無限濃度  に対して、 が成り立つ。

非可算集合 

連続体濃度とは実数全体からなる集合の濃度である。 あるいは  と表記される（ベート数を使って  と書くこともできる）。カントールの対角線論法によって  が成り立つことが証明される。ユークリッド空間をはじめとする多くの有限次元の空間が連続体濃度を持つ。さらにはユークリッド空間の上の連続関数全体や可分なヒルベルト空間全体もこの濃度である。

連続体濃度の冪濃度は  あるいは  などと表記される。ユークリッド空間上の関数全体などはこの濃度を持つ。

集合演算と濃度 
濃度の間に以下の演算が定義される（詳しくは基数#基数演算を参照）。
（ただし  は  と  の直和  のこと）
を  と  の和という。
（ただし  は  と  の直積。）
を  と  の積という。
（ただし  は  から  への写像全体。）
を  を底、 を指数とする冪という。

このとき以下が成立。

出典

参考文献

関連項目 
 基数
 連続体仮説
 連続体濃度

外部リンク 
 

集合論

無限
数学に関する記事