差集合

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "差集合" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2016年2月)

差集合（さしゅうごう、英: set difference）とは、ある集合の中から別の集合に属する要素を取り去って得られる集合のことである^[1]。特に、全体集合 U を固定して、U からその部分集合 A の要素を取り去って得られる集合を A の補集合という^[2]。

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

${\displaystyle B\setminus A,\quad B\smallsetminus A}$

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

${\displaystyle x\in B\setminus A\iff x\in B\land x\notin A,}$

すなわち

${\displaystyle {\begin{aligned}B\setminus A&=\{x\mid x\in B\land x\notin A\}\\&=\{x\in B\mid x\notin A\}\end{aligned}}}$

が差集合の定義である。これは A ∩ B とは限らない場合にも定義される。後述の補集合の言葉で書けば、${\displaystyle B\setminus A}$ とは、B における A ∩ B の補集合である。なお、一般に集合の差は交換法則を満たさない：

${\displaystyle A\setminus B\neq B\setminus A.}$

これらが等しくなるのは、 A = B のとき、またそのときに限る。

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

また、LaTeXで入力するとき、差集合としては B \backslash A (${\displaystyle B\backslash A}$) ではなく B \setminus A (${\displaystyle B\setminus A}$) を用いるか^[3][4]、B \smallsetminus A (${\displaystyle B\smallsetminus A}$) を用いる^[5][4]。

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

このとき

${\displaystyle P\smallsetminus Q=\{1,9\}}$

であり、

${\displaystyle Q\smallsetminus P=\{2\}}$

である。

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

${\displaystyle U\smallsetminus A}$

を A の（絶対）補集合（ほしゅうごう）^{[注釈 2]}といい、U が了解されている文脈では単に

• ${\displaystyle A^{\mathrm {c} }}$
• ${\displaystyle \complement A}$
• ${\displaystyle {\overline {A}}}$

のように表す。

• ある集合の補集合の補集合は、もとの集合自身である。
• 自然数について考えているとき、奇数全体の集合の補集合は偶数全体の集合である。
• 実数全体 R について考えているとき、有理数全体 Q の補集合 ${\displaystyle \mathbf {R} \setminus \mathbf {Q} }$ は無理数全体である。

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

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

${\displaystyle {\begin{aligned}(P\cup Q)^{\mathrm {c} }&=P^{\mathrm {c} }\cap Q^{\mathrm {c} }\\(P\cap Q)^{\mathrm {c} }&=P^{\mathrm {c} }\cup Q^{\mathrm {c} }\end{aligned}}}$

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

${\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}}}$

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

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

• 集合の代数学