差集合 – Wikipedia
|
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。2016年2月)
( |
差集合(さしゅうごう、英: set difference)とは、ある集合の中から別の集合に属する要素を取り去って得られる集合のことである[1]。特に、全体集合 U を固定して、U からその部分集合 A の要素を取り去って得られる集合を A の補集合という[2]。
集合 B から集合 A に属する元を間引いて得られる集合を
- B∖A,B∖A{displaystyle Bsetminus A,quad Bsmallsetminus A}
または B − A と表現し、B から A を引いた差、差集合あるいは B における A の(相対)補集合と呼ぶ。記号を用いて書けば、
- x∈B∖A⟺x∈B∧x∉A,{displaystyle xin Bsetminus Aiff xin Bland xnotin A,}
すなわち
- B∖A={x∣x∈B∧x∉A}={x∈B∣x∉A}{displaystyle {begin{aligned}Bsetminus A&={xmid xin Bland xnotin A}\&={xin Bmid xnotin A}end{aligned}}}
が差集合の定義である。これは
A⊂B{displaystyle Asubset B}B∖A{displaystyle Bsetminus A} とは限らない場合にも定義される。後述の(絶対)補集合の言葉で書けば、
とは、B における A ∩ B の補集合である。なお、一般に集合の差は交換法則を満たさない:
- A∖B≠B∖A.{displaystyle Asetminus Bneq Bsetminus A.}
これらが等しくなるのは、A = B のとき、またそのときに限る。
注意[編集]
集合 A, B が加法 + を持つ代数系(特に加法群)の部分集合であるとき、B − A は集合 {b − a | a ∈ A, b ∈ B} と紛らわしいのでこの記法を使用するには注意が必要である。
例[編集]
P = {1, 3, 5, 7, 9} (10 以下の奇数の集合)
Q = {2, 3, 5, 7} (10 以下の素数の集合)
このとき
- P∖Q={1,9}{displaystyle Psmallsetminus Q={1,9}}
であり、
- Q∖P={2}{displaystyle Qsmallsetminus P={2}}
である。
全体集合や普遍集合 (universe) などと呼ばれる(大きな)集合 U を固定して、その部分集合についてのみ考えているとき(例えば、U が自然数全体、実数全体やある位相空間であるときなど) U の部分集合 A について、
- U∖A{displaystyle Usmallsetminus A}
を A の(絶対)補集合(ほしゅうごう、complement)といい、Uが了解されている文脈では単に
- Ac,∁A,A¯{displaystyle A^{mathrm {c} },,complement A,,{overline {A}}}
などと表す。
- ある集合の補集合の補集合はもとの集合自身である。
- 自然数について考えているとき、奇数全体の集合の補集合は偶数全体の集合である。
- 実数全体 R について考えているとき、有理数全体 Q の補集合
R∖Q{displaystyle mathbf {R} setminus mathbf {Q} } は無理数全体である。
注意[編集]
P の補集合を Pc と表す場合、おおくは P が P の閉包 をあらわす。逆に P が補集合を表しているような文脈では、Pc で P の閉包 (closure) を記すことがある。
ド・モルガンの法則[編集]
P, Q をある集合の部分集合とするとき、
- (P∪Q)c=Pc∩Qc(P∩Q)c=Pc∪Qc{displaystyle {begin{aligned}(Pcup Q)^{mathrm {c} }&=P^{mathrm {c} }cap Q^{mathrm {c} }\(Pcap Q)^{mathrm {c} }&=P^{mathrm {c} }cup Q^{mathrm {c} }end{aligned}}}
が成り立つことが分かる[3]。これはもっと一般化できて、{Pλ}λ∈Λ をある基礎となる集合の部分集合の族とするときに、
- (⋃λ∈ΛPλ)c=⋂λ∈ΛPλc(⋂λ∈ΛPλ)c=⋃λ∈ΛPλc{displaystyle {begin{aligned}left(bigcup _{lambda in Lambda }P_{lambda }right)^{mathrm {c} }&=bigcap _{lambda in Lambda }P_{lambda }^{mathrm {c} }\left(bigcap _{lambda in Lambda }P_{lambda }right)^{mathrm {c} }&=bigcup _{lambda in Lambda }P_{lambda }^{mathrm {c} }end{aligned}}}
が成り立つ。これらをド・モルガンの法則という。
この法則は、対応する論理記号の性質(特に双対性)を反映したものである。詳しくは記号論理学の項目を参照。
関連項目[編集]
参考文献[編集]
Recent Comments