出典: フリー百科事典『ウィキペディア(Wikipedia)』
| この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "冪集合" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2016年1月) |
冪集合︵べきしゅうごう、英: power set︶とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪︵べき︶と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。
集合と呼ぶべき対象を公理的にかつ構成的に与える公理的集合論では、新たに作られた原体の冪集合もしくはそれに準ずる複数の冪集合が、それぞれの連続性に関わらず集合と呼ばれるべきもののうちにあることを公理の一つ︵冪集合公理︶としてしばしば提示する。
集合 の冪集合は、冪を表す power からとって、通常は
, ℘(S), 2S
などのように記される。2S という表記は、一般に XYが Yから Xへの写像全体の集合を表すことによる︵後述︶。
集合 Sが与えられたとき、S のすべての部分集合からなる集合
を Sの冪集合と呼ぶ。例えば
●
●
●
●
などとなる。空集合の冪集合は空集合を唯一つの元として持つ一元集合であり、空集合とは別のものである。
なおこの定義から明らかに
である。
包含関係による順序[編集]
冪集合は包含関係を順序として順序集合になる。冪集合を底となる集合、包含関係を順序とする順序集合 ︵ここでの は集合が一致する場合も含む︶に順序同型な順序集合は単体様半順序集合 (simplex-like Poset) と呼ばれ、単体の一つの組合せ論的な特徴づけを与える︵底となる から空集合を抜いた順序集合を指すこともある︶。また、冪集合 に包含関係と逆の順序
を与えた順序集合 は、もとの順序集合 に順序同型で、その対応は補集合をとる操作
によって与えられる。またこの対応で、集合の結びと交わりが互いに入れ替わる︵双対性‥ド・モルガンの法則︶、対称差は不変︵自己双対性︶などを見て取ることができる。
順序集合 の部分集合である集合族
が与えられたとき、集合族の結びや交わりをとる操作
は、この集合族に対して包含関係による順序に関する上限と下限を与える。とくに、 の二つの部分集合 について
を考えることにより、組 は完備束となる。完備束の条件は空で無い部分集合族に対する上限・下限の存在を要求するものであるが、冪集合の束では集合族 が空集合であるときにも
が冪集合 の中に存在する。
集合代数系[編集]
冪集合に定義される様々な集合演算は、冪集合を代数系として取り扱う手段を与えてくれる。たとえば、集合の結び や交わり は交換可能で結合的な演算であるから、半群として冪集合を見ることができる。さらに、結びに関する中立元は空集合 であり、全体集合 が交わりに関する中立元となるので、 や はモノイドである。また、対称差 を与えられた演算とする代数系 は、空集合を単位元とし、補集合を逆元にもつ群になる。
結び と交わり は互いに他に対して分配的であるので、 に環の構造を見て取ることができる。とくに冪集合 を、集合の結び、交わり、補集合をとる操作および結び・交わりそれぞれに関する中立元を備えた代数系
と考えたものはブール代数の例を与える。一方、事実として、任意の有限ブール代数は有限集合のべき集合が作るこのブール代数によって同型的に実現することができる。
冪集合の濃度[編集]
S の部分集合 Aとその指示関数 を対応づけることにより、冪集合2S と Sから {0, 1}[脚注 1]への写像全体のなす集合 Map(S, {0, 1}) =: {0 ,1}S が一対一に対応する。これは、S の元 aが部分集合 Aに属するとき1、属さないとき 0 をラベル付けすることで部分集合 Aが特定できるということに対応する。したがって特に Aの濃度 card(A) が有限の値 nであるとき冪集合2A の濃度 card(2A) は2card(A) = 2n に等しい。一般に、有限集合 Eから有限集合 Fへの写像の総数は card(F)card(E) となり、このことは Eから Fへの写像全体のなす集合を FEと記す︵無限集合の場合にも記号を流用する︶ことの根拠の一つとなっている。そして、冪集合やその濃度の2の冪としての記法はこれの特別の場合にあたる。
冪集合の濃度は元の集合の濃度より常に大きい︵カントールの定理︶。有限集合のときにはこれは自明である。一般の場合は、カントールの対角線論法によって示される。
関連項目[編集]
- ^ 集合論の慣例で、自然数 2 を集合 {0,1} と同一視している。