「冪集合」の版間の差分
編集の要約なし |
→冪集合の濃度: 補足的内容を脚注に追加、カントールの定理へリンク |
||
54行目: | 54行目: | ||
== 冪集合の濃度 == |
== 冪集合の濃度 == |
||
''S'' の部分集合 ''A'' とその[[指示関数]] <math>\chi_A</math> を対応づけることにより、冪集合 2<sup>''S''</sup> と ''S'' から {0, 1} への写像全体のなす集合 Map(''S'', {0, 1}) =: {0 ,1}<sup>''S''</sup> が[[全単射|一対一に対応]]する。これは、''S'' の元 ''a'' が部分集合 ''A'' に属するとき 1、属さないとき 0 をラベル付けすることで部分集合 ''A'' が特定できるということに対応する。したがって特に ''A'' の[[濃度 (数学)|濃度]] card(''A'') が有限の値 ''n'' であるとき冪集合 2<sup>''A''</sup> の濃度 card(2<sup>''A''</sup>) は 2<sup>card(''A'')</sup> = 2<sup>''n''</sup> に等しい。一般に、有限集合 ''E'' から有限集合 ''F'' への写像の総数は card(''F'')<sup>card(''E'')</sup> となり、このことは ''E'' から ''F'' への[[写像全体のなす集合]]を ''F''<sup>''E''</sup> と記す(無限集合の場合にも記号を流用する)ことの根拠の一つとなっている。そして、冪集合やその濃度の[[2の冪]]としての記法はこれの特別の場合にあたる。 |
''S'' の部分集合 ''A'' とその[[指示関数]] <math>\chi_A</math> を対応づけることにより、冪集合 2<sup>''S''</sup> と ''S'' から {0, 1}<ref group="脚注">集合論の慣例で、自然数 2 を集合 {0,1} と同一視している。</ref>への写像全体のなす集合 Map(''S'', {0, 1}) =: {0 ,1}<sup>''S''</sup> が[[全単射|一対一に対応]]する。これは、''S'' の元 ''a'' が部分集合 ''A'' に属するとき 1、属さないとき 0 をラベル付けすることで部分集合 ''A'' が特定できるということに対応する。したがって特に ''A'' の[[濃度 (数学)|濃度]] card(''A'') が有限の値 ''n'' であるとき冪集合 2<sup>''A''</sup> の濃度 card(2<sup>''A''</sup>) は 2<sup>card(''A'')</sup> = 2<sup>''n''</sup> に等しい。一般に、有限集合 ''E'' から有限集合 ''F'' への写像の総数は card(''F'')<sup>card(''E'')</sup> となり、このことは ''E'' から ''F'' への[[写像全体のなす集合]]を ''F''<sup>''E''</sup> と記す(無限集合の場合にも記号を流用する)ことの根拠の一つとなっている。そして、冪集合やその濃度の[[2の冪]]としての記法はこれの特別の場合にあたる。 |
||
冪集合の濃度は元の集合の濃度より常に大きい。有限集合のときにはこれは |
冪集合の濃度は元の集合の濃度より常に大きい([[カントールの定理]])。有限集合のときにはこれは自明である。一般の場合は、[[カントールの対角線論法]]によって示される。 |
||
==関連項目== |
==関連項目== |
||
65行目: | 65行目: | ||
* [[連続体仮説]] |
* [[連続体仮説]] |
||
== 脚注 == |
|||
<references group="脚注" /> |
|||
{{集合論}} |
{{集合論}} |
||
{{DEFAULTSORT:へきしゆうこう}} |
{{DEFAULTSORT:へきしゆうこう}} |
2023年11月7日 (火) 10:22時点における最新版
冪集合(べきしゅうごう、英: 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} と同一視している。