冪集合(べきしゅうごう、: power set)とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べき冪乗の冪(べき)と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。

S = {x, y, z} の冪集合 P(S) = { Φ, {x}, {y}, {z}, {x, y}, {y, z}, {z, x}, {x, y, z} } のハッセ図。要素数は 23 = 8 である。

集合と呼ぶべき対象を公理的にかつ構成的に与える公理的集合論では、新たに作られた原体の冪集合もしくはそれに準ずる複数の冪集合が、それぞれの連続性に関わらず集合と呼ばれるべきもののうちにあることを公理の一つ(冪集合公理)としてしばしば提示する。

記法 編集

集合   の冪集合は、冪を表す power からとって、通常は

 , (S), 2S

などのように記される。2S という表記は、一般に XYY から X への写像全体の集合を表すことによる(後述)。

定義 編集

集合 S が与えられたとき、S のすべての部分集合からなる集合

 

S の冪集合と呼ぶ。例えば

  •  
  •  
  •  
  •  

などとなる。空集合の冪集合は空集合を唯一つの元として持つ一元集合であり、空集合とは別のものである。

なおこの定義から明らかに

 

である。

構造 編集

包含関係による順序 編集

冪集合は包含関係を順序として順序集合になる。冪集合を底となる集合、包含関係を順序とする順序集合   (ここでの   は集合が一致する場合も含む)に順序同型な順序集合は単体様半順序集合 (simplex-like Poset) と呼ばれ、単体の一つの組合せ論的な特徴づけを与える(底となる   から空集合を抜いた順序集合を指すこともある)。また、冪集合   に包含関係と逆の順序  

 

を与えた順序集合   は、もとの順序集合   に順序同型で、その対応は補集合をとる操作

 

によって与えられる。またこの対応で、集合の結び交わりが互いに入れ替わる(双対性:ド・モルガンの法則)、対称差は不変(自己双対性)などを見て取ることができる。

順序集合   の部分集合である集合族

 

が与えられたとき、集合族の結び交わりをとる操作

 

は、この集合族に対して包含関係による順序に関する上限と下限を与える。とくに、  の二つの部分集合   について

 
 

を考えることにより、組  完備束となる。完備束の条件は空で無い部分集合族に対する上限・下限の存在を要求するものであるが、冪集合の束では集合族   が空集合であるときにも

 

が冪集合   の中に存在する。

集合代数系 編集

冪集合に定義される様々な集合演算は、冪集合を代数系として取り扱う手段を与えてくれる。たとえば、集合の結び  交わり  交換可能結合的な演算であるから、半群として冪集合を見ることができる。さらに、結びに関する中立元は空集合   であり、全体集合   が交わりに関する中立元となるので、  モノイドである。また、対称差   を与えられた演算とする代数系   は、空集合を単位元とし、補集合を逆元にもつになる。

結び   と交わり   は互いに他に対して分配的であるので、 の構造を見て取ることができる。とくに冪集合   を、集合の結び、交わり、補集合をとる操作および結び・交わりそれぞれに関する中立元を備えた代数系

 

と考えたものはブール代数の例を与える。一方、事実として、任意の有限ブール代数は有限集合のべき集合が作るこのブール代数によって同型的に実現することができる。

冪集合の濃度 編集

S の部分集合 A とその指示関数   を対応づけることにより、冪集合 2SS から {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の冪としての記法はこれの特別の場合にあたる。

冪集合の濃度は元の集合の濃度より常に大きい(カントールの定理)。有限集合のときにはこれは自明である。一般の場合は、カントールの対角線論法によって示される。

関連項目 編集

脚注 編集

  1. ^ 集合論の慣例で、自然数 2 を集合 {0,1} と同一視している。