数学において、2 つの集合 AB との対称差(たいしょうさ、: symmetric difference[1])とは、“A に属し、B に属さないもの” と “B に属し、A に属さないもの” とを全部集めて得られる集合である[2]。一般に、集合 AB との対称差を、記号

ベン図による対称差の表現
ベン図による対称差の表現
(AB)△C のベン図

AB[2]  あるいは  AB  あるいは  AB

などで表す。例えば、{1, 2, 3}{3, 4} との対称差は {1, 2, 4} に等しい: {1, 2, 3}△{3, 4} = {1, 2, 4}

任意の集合に対して、その集合の冪集合は、対称差 算法としてアーベル群となる[3]空集合 はその群の単位元であり、その群の任意の元はその元自身の逆元である。また、任意の集合に対して、その集合の冪集合は、対称差 を加法とし共通部分 を乗法とするとき、ブール環となる[4]

性質

編集

対称差は、和集合差集合の記号を用いて次のように表すことができる[2]

AB = (AB)∪(BA)

X を 1 つの集合とし、A, BX の 2 つの部分集合とする。集合 {0, 1} における二項演算として排他的論理和 ⊕ : {0, 1} × {0, 1}{0, 1} を定義すれば、X における指示関数に関して次が成り立つ: X の任意の元 x に対して

χ AB (x) = χ A (x) ⊕ χ B (x)

アイバーソンの記法を用いれば次のようにも書ける:

[ xAB ] = [ xA ] ⊕ [ xB ]

対称差はまた、和集合、差集合、共通部分の記号を用いて次のように表すことができる[2]

AB = (AB)−(AB)

特に、ABAB の部分集合である: ABAB。また、AB とが互いに素であるときかつそのときに限り AB = AB である。さらには、ABAB とは互いに素であって、集合 {AB, AB}AB の 1 つの分割である。従って、対称差と共通部分とを最初に定義しておき、それらの記号を用いて、式

AB = (AB)△(AB)

によって和集合を定義することもできる。

代数学的な性質

編集

対称差について、次の 4 つが成り立つ[2]

  1. (AB)△C = A△(BC)    (結合法則)、
  2. A△∅ = ∅△A = A
  3. AA = ∅
  4. AB = BA    (交換法則)。

X を 1 つの集合とし、P(X)X の冪集合とする。P(X) × P(X) の元 (A, B)P(X) の元 AB を対応させれば、P(X) における 1 つの二項算法が得られる。上の 4 つの性質から、その算法に関して P(X) はアーベル群となる。空集合 はその群の単位元である。P(X) の任意の元 A に対して AA の逆元であるから、P(X)ブール群でもある。X がちょうど 2 個の元から成る集合であるならば、その可換群 P(X)クラインの四元群 Z2 × Z2[注釈 1]同型である。

共通部分は対称差に対して分配法則を満たす[2]

A∩(BC) = (AB)△(AC)

よって、X を 1 つの集合とするとき、P(X) × P(X) の元 (A, B)P(X) の元 AB を対応させて得られる二項算法を加法とし、P(X) × P(X) の元 (A, B)P(X) の元 AB を対応させて得られる二項算法を乗法とすれば、P(X)となる。また、P(X) はブール環でもある。

その他の性質

編集
  • X を 1 つの集合とし、A, BX の 2 つの部分集合とするとき、次が成り立つ:

AB = (XA)△(XB)

  • Λ を 1 つの集合とし、Λ の各元 λ に対して 2 つの集合 Aλ , Bλ が定められているとき、次が成り立つ:

 

  • f を集合 S から集合 T への 1 つの写像とし、A, BT の 2 つの部分集合とするとき、次が成り立つ:

f −1(AB) = f −1(A) △ f −1(B)

多項対称差

編集

対称差は結合法則と交換法則を満たすので、n個の集合A0, …, An−1の対称差A0 △ ⋯ △ An−1 = (⋯(A0A1) △ ⋯ △ An−1)は順番に依らない。このことから対称差はより一般に(各元における重複度が有限であるような)集合族   に対し以下のように拡張できる。

 

上記のような集合族について Λ 及び各 Aλ がともに有限集合であるとき、対称差の濃度について以下のような公式が成り立つ(和集合の場合にも同様の公式が成り立つ)。

 

測度空間上の対称差

編集

2つの集合の対称差の「大きさ」は2つの集合がどれだけ異なるかを表していると思える。 今 μ を集合 X 上の測度とし Σ を測度有限な可測集合全体とする。 このときΣ×Σ上の関数のd

 

と定めると、これは Σ 上の擬距離になる。

この擬距離に関して2つの集合間の距離が0になることは、2つの集合の定義関数が μ に関して殆どいたるところ一致することの必要十分条件である。

A, BΣ の元であるとき   が成立する。

脚注

編集

注釈

編集
  1. ^ Z2Z2Z による商群に等しい: Z2 = Z/2Z。ここで、Z加法群整数全体の集合)、2Z{2} によって生成される Z部分群偶数全体の集合)である。

出典

編集
  1. ^ 小田 稔ほか 編「symmtric dfference」『理化学英和辞典』JapanKnowledge、1998年。 
  2. ^ a b c d e f 松坂 1968, pp. 21–22  第1章 §2 問題7-9
  3. ^ 松坂 1976, p. 50  第2章 §2 問題9
  4. ^ 松坂 1976, p. 111  第3章 §1 問題8

参考文献

編集
  • 松坂, 和夫 (1968), 集合・位相入門, 日本: 岩波書店, ISBN 4-00-005424-4 
  • 松坂, 和夫 (1976), 代数系入門, 日本: 岩波書店, ISBN 4-00-005634-4 

関連項目

編集

外部リンク

編集