トップQs
タイムライン
チャット
視点

差集合

ウィキペディアから

Remove ads

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

定義

要約
視点
Thumb
差集合 B A のベン図による視覚化(左が A、右がB。):
Thumb
差集合 A B のベン図による視覚化(左が A、右がB。):

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

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

すなわち

が差集合の定義である。これは AB とは限らない場合にも定義される。後述の(絶対)補集合の言葉で書けば、 とは、B における A B の補集合である。なお、一般に集合の差は交換法則を満たさない:

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

注意

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

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

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

このとき

であり、

である。

Remove ads

補集合

要約
視点
Thumb
補集合のベン図による視覚化(左がA、右がB。):

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

A の(絶対(ほしゅうごう)[注釈 2]といい、U が了解されている文脈では単に

のように表す。

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

注意

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

ド・モルガンの法則

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


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

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

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

Remove ads

関連項目

注釈

  1. : universe
  2. : complement

出典

参考文献

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads