差集合

差集合（さしゅうごう、difference set）とは、ある集合の中から別の集合に属する要素を取り去って得られる集合のことである。

定義

ファイル:Venn0010.svg

差集合 B − A のベン図による視覚化（左がA、右がB。）:
<math>B \setminus A~~=~~A^c \cap B</math>

ファイル:Venn0100.svg

差集合 A − B のベン図による視覚化（左がA、右がB。）:
<math>A \setminus B~~=~~A \cap B^c</math>

集合 B から集合 A に属する元を間引いて得られる集合を

<math>B \setminus A, \quad B \smallsetminus A</math>

または B − A と表現し、B から A を引いた差、差集合あるいは B における A の（相対）補集合と呼ぶ。記号を用いて書けば、

<math>x \in B \smallsetminus A \iff x \in B \mbox{ and } x \notin A</math>

が差集合の定義である。一般に集合の差は交換法則を満たさない。

注意

集合 A, B が加法 + を持つ代数系（特に加法群）の部分集合であるとき、B − A は集合 {b − a | a ∈ A, b ∈ B} と紛らわしいのでこの記法を使用するには注意が必要である。

例

P = {1,3,5,7,9} (10 以下の奇数の集合) Q = {2,3,5,7} (10 以下の素数の集合) このとき

<math>P \smallsetminus Q = \{ 1,9 \}</math>

であり、

<math>Q \smallsetminus P = \{ 2 \}</math>

である。

補集合

ファイル:Venn1010.svg

補集合のベン図による視覚化（左がA、右がB。）:
<math>A^c~~=~~\emptyset^c \setminus A</math>

全体集合や普遍集合 (universe) などと呼ばれる（大きな）集合 U を固定して、その部分集合についてのみ考えているとき（例えば、U が自然数全体、実数全体やある位相空間であるときなど） U の部分集合 A について、

<math>U \smallsetminus A</math>

を A の（絶対）補集合（ほしゅうごう、complement）といい、

<math>A^c,\, \complement A,\, \bar{A}</math>

などと表す。

• ある集合の補集合の補集合はもとの集合自身である。
• 自然数について考えているとき、奇数全体の集合の補集合は偶数全体の集合である。

注意

P の補集合を P^c と表す場合、おおくは P^- が P の閉包 をあらわす。逆に P^- が補集合を表しているような文脈では、P^c で P の閉包 (closure) を記すことがある。

ド・モルガンの法則

P, Q をある集合の部分集合とするとき、

(P ∪ Q)^c = P^c ∩ Q^c

(P ∩ Q)^c = P^c ∪ Q^c

が成り立つことが分かる。これはもっと一般化できて、{P_λ}_λ∈Λ をある基礎となる集合の部分集合の族とするときに、

<math>\left( \bigcup_{\lambda \in \Lambda} P_\lambda \right) ^c = \bigcap P_\lambda^c</math>

<math>\left( \bigcap_{\lambda \in \Lambda} P_\lambda \right) ^c = \bigcup P_\lambda^c</math>

が成り立つ。これらをド・モルガンの法則という。

この法則は、対応する論理記号の性質（特に双対性）を反映したものである。詳しくは記号論理学の項目を参照。

関連項目

• 集合の代数学