集合・位相

集合の対称差

A,B を集合 X の部分集合とするとき A,B の集合差 AB を以下で定義する。
AB=(AB)(BA)
このとき
(1) AX=Ac
(2) AAc=X
(3) AB=(AB)(AB)
が成り立つことを示せ。

(1)
AX=(AX)(XA)=Ac=Ac
(2)
AAc=(AAc)(AcA)=AAc=X
(3)
(AB)(AB)=(AB)(AB)c=(AB)(AcBc)=((AB)Ac)((AB)Bc)=((AAc)(BAc))((ABc)(BBc))=((BAc))((ABc))=(BAc)(ABc)=(BA)(AB)=AB