симетрична разлика

симетрична разлика

Симетричната разликата на две групи - операцията набор теорията, което води до нов набор, съдържащ всички елементи на първоначалния комплект не принадлежат едновременно както на оригиналния набор. С други думи, ако има две групи А и B, тяхната симетрична разлика е на Съюза на елементите А, извън B, с елементи B, които не са членки А. Писмото за обозначаване на симетрична разлика на масиви А и B наименованието A \ bigtriangleup B, по-рядко използван наименование A \, \ точка \, B.

дефиниция

Symmetric разлика може да се влезе по два начина:

  • симетрична разлика от две дадени комплекти А и B - е набор от A \ bigtriangleup B, която включва всички елементи на първия сет, които не са включени във втория сет, а също и елементите на втория сет, които не са включени в първата група:
A \ bigtriangleup B = \ ляво (A \ setminus B \ вдясно) \ чаша \ ляв (B \ setminus A \ вдясно).
  • симетрична разлика от две дадени комплекти А и B - е набор от A \ bigtriangleup B, която включва всички елементи от двете групи, които не са общи за двете определени набори.
A \ bigtriangleup B = \ ляво (A \ чаша B \ вдясно) \ setminus \ ляво (A \ капачка B \ вдясно).

Концепцията може да се обобщи с симетрична разлика от броя на групите, по-голям от две.

  • Симетричната разликата е двойна работа по всеки Булева;
  • Симетричната разликата пътува.
А \ bigtriangleup B = B \, \ триъгълник \, А;
  • симетрична разлика асоциативната The.
\ Наляво (А \ bigtriangleup B \ дясно) \, \ триъгълник \, С = A \ bigtriangleup \ наляво (B \, \ триъгълник \, С \ дясно);
  • Пресечната точка на разпределителни над симетрична разлика:
А \ капачка \ наляво (B \ bigtriangleup С \ дясно) = \ ляво (A \ капачка B \ дясно) \ bigtriangleup \ ляво (A \ капачка С \ дясно);
  • В празното множество е неутрален елемент на симетричен разликата:
А \ bigtriangleup \ varnothing = A;
  • Всеки върна към себе си по отношение на симетрична операция разлика:
А \ bigtriangleup А = \ varnothing;
  • По-специално, Булева операцията с симетрична разлика е абелева група;
  • Булева със симетричен операция разлика също е линейно пространство над \ Mathbb_2.
  • По-специално, булева операция пресичане и определя симетрична разлика е, алгебра единица.
  • \ Left (A_1 \ капачка A_2 \ вдясно) \ bigtriangleup \ ляв (B_1 \ капачка B_2 \ вдясно) \ подмножество \ ляв (A_1 \ bigtriangleup B_1 \ вдясно) \ чаша \ ляв (A_2 \ bigtriangleup B_2 \ дясно);
  • \ Left (A_1 \ чаша A_2 \ вдясно) \ bigtriangleup \ наляво (B_1 \ чаша B_2 \ вдясно) \ подмножество \ ляв (A_1 \ bigtriangleup B_1 \ вдясно) \ чаша \ ляв (A_2 \ bigtriangleup B_2 \ дясно);
  • \ Left (A_1 \ setminus A_2 \ вдясно) \ bigtriangleup \ ляв (B_1 \ setminus B_2 \ вдясно) \ подмножество \ наляво (A_1 \ bigtriangleup B_1 \ вдясно) \ чаша \ ляв (A_2 \ bigtriangleup B_2 \ дясно);
  • Ако ролята на "сумата" играе симетрична операция разлика, както и "продукт" - на кръстовището на декорите. след комплекти образуват пръстен с единица. И други основни операции на теория на множествата, разликата между сдружението и може да се изрази чрез тях:
A \ чаша B = A \ bigtriangleup B \ bigtriangleup \ ляво (A \ капачка B \ вдясно), A \ setminus B = A \ bigtriangleup \ ляво (A \ капачка B \ вдясно).
  • Комбинирането с пресечната точка на симетричен разликата от два комплекта е на Съюза на наборите от първоначалната
(А \ bigtriangleup В) \ чаша (A \ капачка B) = A \ чаша B

литература