Hiệu đối xứng

Trong toán học, hiệu đối xứng của hai tập hợp, hay còn gọi là phép hợp tuyển, là tập các phần tử thuộc một trong hai tập hợp nhưng không cả hai. Ví dụ, hiệu đối xứng của hai tập formula_1 và formula_2 là formula_3.
Hiệu đối xứng của "A" và "B" thường được ký hiệu bằng formula_4 hoặc formula_5
Tập lũy thừa của bất kỳ tập hợp trở thành nhóm abel khi đi kèm hiệu đối xứng, trong đó tập rỗng làm phần tử trung hoà của nhóm và mọi phần tử trong nhóm này là nghịch đảo. Tập lũy thừa của bất kỳ tập hợp trở thành vành Boole, trong đó hiệu đối xứng là phép cộng của vành còn phép giao là phép nhân.
Tính chất.
Hiệu đối xứng tương đương với hợp của cả hai phần bù tương đối, nghĩa là:
Hiệu đối xứng cũng có thể biểu diễn bằng phép XOR ⊕ trên các vị từ mô tả hai tập hợp trong ký pháp xây dựng tập hợp:
Nội dung này cũng có thể phát biểu bằng hàm chỉ thị (được ký hiệu ở đây bằng formula_8) của hiệu đối xứng, trong đó ta dùng phép XOR (hoặc phép cộng mod 2) trong hàm chỉ thị hai tham số: formula_9 hoặc trong ký hiệu ngoặc vuông Iverson: formula_10
Hiệu đối xứng cũng có thể phát biểu là hợp của hai tập hợp, trừ đi phần giao của chúng:
Cụ thể hơn, formula_12; dấu bằng trong phép bao hàm không nghiêm ngặt này chỉ xảy ra khi và chỉ khi formula_13 và formula_14 không giao nhau. Hơn nữa, ký hiệu formula_15 và formula_16, khi đó formula_17 và formula_18 luôn không giao nhau, nên formula_17 và formula_18 luôn phân hoạch formula_21. Hệ quả thu được, khi coi phép hiệu đối xứng và phép giao là hai phép nguyên thuỷ, thì hợp của hai tập hợp có thể "định nghĩa" bằng hai phép toán đó như sau:
Hiệu đối xứng có tính kết hợp và giao hoán:
Tập rỗng là phần tử trung hoà và mỗi tập hợp là nghịch đảo của chính nó:
Do đó, tập lũy thừa của bất kỳ tập "X" trở thành nhóm giao hoán dưới phép hiệu đối xứng. (Tổng quát hơn, bất kỳ trường tập hợp lập thành một nhóm với hiệu đối xứng là phép toán đi kèm.) Nhóm mà mọi phần tử là nghịch đảo của chính nó (hay nói tương đương, mỗi phần tử đều có cấp 2 đôi khi được gọi là nhóm Boole; Hiệu đối xứng cho phép định nghĩa một ví dụ mẫu về các nhóm có tính chất như thế và đôi khi nhóm Boole được định nghĩa sử dụng hiệu đối xứng. Trong trường hợp tập "X" chỉ có hai phần tử, nhóm thu được là nhóm bốn Klein.
Nói tương đương, nhóm Boole là nhóm giao hoán sơ cấp 2 phần tử. Hệ quả là, nhóm cảm sinh từ hiệu đối xứng là không gian vectơ trên trường hai phần tử Z2. Nếu "X" hữu hạn, thì các tập đơn điểm trở thành cơ sở của không gian vectơ này, và số chiều của nó bằng với số phần tử của "X". Phương pháp xây dựng được dùng trong lý thuyết đồ thị,và được dùng để định nghĩa không gian chu trình của một đồ thị..
Từ tính chất nghịch đảo của nhóm Boole, suy ra rằng hiệu đối xứng của hai hiệu đối xứng có lặp lại một tập hợp tương đương với hiệu đối xứng có lặp của nối của hai đa tập, trong đó tập bị lặp có thể bị bỏ đi. Tức là:
Từ đây suy ra bất đẳng thức tam giác: Hiệu đối xứng của "A" và "C" nằm trong hợp của hiệu đối xứng của "A" và "B" và hiệu đối xứng của "B" và "C".
Phép giao phân phối trên hiệu đối xứng:
và điều cho thấy bất kỳ tập luỹ thừa của bất kỳ tập "X" đều có trở thành một vành, với hiệu đối xứng làm phép cộng và phần giao làm phép nhân. Đây là ví dụ mẫu cho vành Boole.
Các tính chất khác của hiệu đối xứng bao gồm:
Hiệu đối xứng có thể định nghĩa trong bất kỳ đại số Boole, bằng cách viết
Phép toán này có cùng các tính chất với phép toán trên tập hợp
Hiệu đối xứng trên không gian độ đo.
Miễn là còn khái niệm tập hợp "lớn cỡ nào",thì hiệu đối xứng giữa hai tập hợp có thể coi là độ đo "khoảng cách" giữa chúng
Đầu tiên xét tập hữu hạn "S" và độ đo đếm trên các tập con của nó. Sau đó, xét hai tập con của "S" và đặt khoảng cách giữa chúng là kích thước của hiệu đối xứng. Khoảng cách này quả thật là một mêtric, và do đó khiến tập luỹ thừa trên "S" là không gian mêtric. Nếu "S" có "n" phần tử thì khoảng cách từ tập rỗng đến "S" là "n", và đây là khoảng cách lớn nhất cho bất kỳ cặp tập con.
Sử dụng các ý tưởng trong lý thuyết độ đo, sự phân rã của các tập đo được có thể định nghĩa bằng độ đo của hiệu đối xứng của chúng. Nếu μ là một độ đo σ-hữu hạn được định nghĩa trên σ-đại số Σ, thì hàm số
là giả mêtric trên Σ. "dμ" trở thành mêtric nếu Σ được xét mô đun quan hệ tương đương "X" ~ "Y" khi và chỉ khi formula_42. Đôi khi nó được gọi là mêtric Fréchet-Nikodym. Không gian mêtric thu được khả ly khi và chỉ khi L2(μ) cũng khả ly.
Nếu formula_43, ta có: formula_44. Thật vậy,
Nếu formula_46 là không gian độ đo và formula_47 là các tập đo được, thì hiệu đối xứng của nó cũng đo được: formula_48. Ta có thể định nghĩa quan hệ tương đương trên các tập đo được bằng cách gọi formula_49 và formula_50 
có quan hệ với nhau nếu formula_51. Quan hệ này được ký hiệu formula_52.
Cho formula_53, viết formula_54 nếu với mỗi formula_55 tồn tại một số formula_56 sao cho formula_57. Quan hệ "formula_58" là thứ tự riêng phần trên họ các tập con của formula_59.
Ta viết formula_60 nếu formula_54 và formula_62. Quan hệ "formula_63" là quan hệ tương đương giữa các tập con của formula_59.
"Bao đóng đối xứng" của formula_65 là họ tất cả các tập formula_59-đo được mà formula_63 với một số formula_68. Bao đóng phản xạ của formula_65 chứa formula_65. Nếu formula_65 là formula_72-đại số con của formula_59, thì bao đóng đối xứng của formula_65 cũng vậy.
formula_52 khi và chỉ khi formula_76 formula_77 gần như mọi nơi.
Khoảng cách Hausdorff.
Khoảng cách Hausdorff và (tích của) hiệu đối xứng đều là giả mêtric trên tập các hình học đo được. Song, chúng hoạt động hoàn toàn khác nhau. Hình trong vế phải cho thấy hai dãy hình học, "Đỏ" và "Đỏ ∪ Xanh". Khi khoảng cách Hausdorff giữa chúng càng nhỏ hơn thì diện tích phần hiệu đối xứng càng lớn hơn, và ngược lại. Bằng việc tiếp tục dãy này theo cả hai hướng, ta có thể tìm ra hai dãy trong đó khoảng cách Hausdorff giữa chúng hội tụ về 0 và hiệu đối xứng giữa chúng phân kỳ, và ngược lại.