Как найти симметричную разность множеств

Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 25 сентября 2021 года; проверки требует 1 правка.

Симметри́ческая ра́зность двух множеств — теоретико-множественная операция, результатом которой является новое множество, включающее все элементы исходных множеств, не принадлежащие одновременно обоим исходным множествам. Другими словами, если есть два множества A и B, их симметрическая разность есть объединение элементов A, не входящих в B, с элементами B, не входящими в A. На письме для обозначения симметрической разности множеств A и B используется обозначение {displaystyle Abigtriangleup B}, реже используется обозначение {displaystyle A,{dot {-}},B} или A+B[1].

Определение[править | править код]

Симметрическую разность можно ввести двумя способами:

{displaystyle Abigtriangleup B=left(Asetminus Bright)cup left(Bsetminus Aright).}
{displaystyle Abigtriangleup B=left(Acup Bright)setminus left(Acap Bright).}

Понятие симметрической разности можно обобщить на число множеств, большее двух.

Свойства[править | править код]

  • Симметрическая разница является бинарной операцией на любом булеане;
  • Симметрическая разность коммутативна:
{displaystyle Abigtriangleup B=B,triangle ,A;}
  • Симметрическая разность ассоциативна:
{displaystyle left(Abigtriangleup Bright),triangle ,C=Abigtriangleup left(B,triangle ,Cright);}
  • Пересечение множеств дистрибутивно относительно симметрической разности:
{displaystyle Acap left(Bbigtriangleup Cright)=left(Acap Bright)bigtriangleup left(Acap Cright);}
  • Пустое множество является нейтральным элементом симметрической разности:
{displaystyle Abigtriangleup varnothing =A;}
  • Любое множество обратно само себе относительно операции симметрической разности:
{displaystyle Abigtriangleup A=varnothing ;}
  • Если роль «суммы» играет операция симметрической разности, а роль «произведения» — пересечение множеств, то множества образуют кольцо с единицей. Причём другие основные операции теории множеств, разность и объединение, можно выразить через них:
{displaystyle Acup B=Abigtriangleup Bbigtriangleup left(Acap Bright),}
{displaystyle Asetminus B=Abigtriangleup left(Acap Bright).}
  • Объединение симметрической разности с пересечением двух множеств равно объединению исходных множеств
{displaystyle (Abigtriangleup B)cup (Acap B)=Acup B}

Пример[править | править код]

Пусть

{displaystyle A={1,2,3,4,5},quad B={3,4,5,6,7}.}

Тогда

{displaystyle A,triangle ,B={1,2,6,7}.}

См. также[править | править код]

  • Операции над множествами

Примечания[править | править код]

  1. Мельников О. В., Ремеслеников В. Н., Романьков В. А. Общая алгебра. Том 1. — М., Наука, 1990. — с. 13

Литература[править | править код]

  • К. Куратовский, А. Мостовский. Теория множеств / Перевод с английского М. И. Кратко под редакцией А. Д. Тайманова. — М.: Мир, 1970. — С. 23—26.

Симметрическая разность множеств

Симметрическую разность можно описать двумя способами:

  • симметрическая разность двух заданных множеств A и B — это такое множество A Δ B, куда входят все те элементы первого множества, которые не входят во второе множество, а, также те элементы второго множества, которые не входят в первое множество:
    А Δ В = (А В) ∪ (В А)
  • Например, если А={1,2,3,4}, B={3,4,5,6}, то А Δ В = (А В) ∪ (В А) = {1,2} ∪ {5,6} = {1,2,5,6}

  • симметрическая разность двух заданных множеств A и B — это такое множество A Δ B, куда входят все те элементы обоих множеств, которые не являются общими для двух заданных множеств.
    А Δ В = (A ∪ B) (A ∩ B)
  • Например, если А={1,2,3,4}, B={3,4,5,6}, то А Δ В = (A ∪ B) (A ∩ B) = {1,2,3,4,5,6} {3,4} = {1,2,5,6}

    Онлайн калькулятор позволяет найти симметрическую разность множеств A и B (А Δ B).

    Поделиться страницей в социальных сетях:

    Разностью
    множеств

    А и В называют множество, состоящее из
    тех и только тех элементов, которые
    принадлежат только множеству А и не
    принадлежат множеству В. Разность
    множеств1
    А и В обозначается АВ. Формально
    определение разности множеств А и В
    можно записать в виде:


    .
    1.16

    Примеры.

    1. Пусть
      имеем А={4,5,8,12,16,21}; B={1,2,5,7,12,17,21,30}.
      Тогда АВ={4,8,16}, а BA={1,2,7,17,30}.

    2. A={a,b,c,d};
      B={a,d,e,f,g}.
      В этом
      случае получаем: АВ={b,c}
      и BA={e,f,g}.

    Если как и ранее
    множества А и В изобразить в виде точек
    кругов А и В соответственно, то разность
    множеств будет представляться так, как
    это показано на рис. 1.3, где а) соответствует
    разности АВ, b)- разности
    BA.

    1.5.5 Симметрическая разность

    Симметрической
    разностью

    множеств А и В называют множество,
    состоящее из объединения множеств
    разностей АВ и ВА. Симметрическая
    разность множеств А и В обозначается
    символом ,
    т.е А 
    В. Таким образом, по определению


    .
    1.17

    Нетрудно
    убедиться, что

    .
    1.18

    Примеры.

    1. Имеем:
      А={4,5,8,12,16,21}; B={1,2,5,7,12,17,21,30}.
      Тогда

    А

    В={1,2,4,7,8,16, 17,30}.

    1. A={a,b,c,d};
      B={a,d,e,f,g}.
      В этом
      случае получаем А 
      В={b,c,e,f,g}.

    Графически
    симметричная разность множеств А и В
    может быть представлена как показано
    на рис. 1.4. Закрашенные области соответствуют
    симметрической разности множеств А и
    В.

    1.5.6 Универсальное множество

    Если
    в некотором рассмотрении участвуют
    только подмножества некоторого
    фиксированного множеств I,
    то это самое большое множество называют
    универсальным
    (или
    полным
    )
    множеством.

    В различных конкретных случаях роль
    универсального множества играют
    различные множества. Так, при рассмотрении
    студентов института универсальным
    (полным) множеством является вся
    совокупность студентов. Отдельные
    группы (факультеты) можно рассматривать
    как подмножества. В некоторых случаях
    универсальным множеством может являться
    и отдельная группа, в которой имеют
    место свои подмножества (отличники;
    студенты, проживающие в общежитии;
    юноши; девушки и т.п.).

    Вполне
    очевидно, что для универсального
    множества справедливы следующие
    соотношения:

    и

    1.19

    Универсальное
    множество удобно изображать графически
    в виде множества точек прямоугольника.
    Различные области внутри прямоугольника
    будут означать различные подмножества
    универсального множества. Изображение
    множества в виде областей в прямоугольнике,
    представляющем универсальное множество,
    называют диаграммой Эйлера-Венна.

    1.5.7 Дополнение множества

    Множество

    ,
    определяемое из соотношения

    1.20

    называют
    дополнением
    множества

    А (до универсального множества I)

    Графически
    дополнение множества А может быть
    представлено как показано на рис. 1.5.

    Формальное
    определение дополнения множества А
    может быть записано как

    1.21

    Из
    определения дополнения множества
    следует, что А и

    не имеют общих элементов, т.е.

    1.22


    Кроме
    того,

    1.23

    Из
    симметрии формул 1.22 и 1.23 следует, что
    не только

    является
    дополнением А, но и А является дополнением

    .
    Но дополнение

    есть

    .
    Таким образом

    1.24

    Рис.
    1.5

    С
    помощью операции дополнения удобно
    представить разность множеств:


    =
    ,
    т.е

    1.25

    Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

    • #
    • #
    • #
    • #
    • #
    • #

    Симметрическая разность множеств

    Симметрическую разность можно описать двумя способами:

    Например, если А=<1,2,3,4>, B=<3,4,5,6>, то А Δ В = (А В) ∪ (В А) = <1,2>∪ <5,6>=

    Онлайн калькулятор позволяет найти симметрическую разность множеств A и B (А Δ B).

    Также доступны следующие операции над множествами: объединение, пересечение, разность.

    Онлайн калькуляторы

    Calculatorium.ru — это бесплатные онлайн калькуляторы для самых разнообразных целей: математические калькуляторы, калькуляторы даты и времени, здоровья, финансов. Инструменты для работы с текстом. Конвертеры. Удобное решение различных задач — в учебе, работе, быту.

    Актуальная информация

    Помимо онлайн калькуляторов, сайт также предоставляет актуальную информацию по курсам валют и криптовалют, заторах на дорогах, праздниках и значимых событиях, случившихся в этот день. Информация из официальных источников, постоянное обновление.

    1.1.4 Операции над множествами

    В результате операций над множествами из одних множеств могут получаться другие множества. Основные из этих операций – объединение, пересечение и дополнение множеств. Кроме того, часто применяются операции разности и симметрической разности множеств.

    Объединение множеств. Пусть заданы множества A и В. Объединение этих множеств – множество, состоящее из всех тех и только тех элементов, которые принадлежат или множеству A, или множеству B (т.е. хотя бы одному из них). Объединение двух множеств обозначают как .

    Аналогично определяется объединение нескольких множеств. Пусть даны множества . Их объединение — множество, состоящее из всех тех и только тех элементов, которые принадлежат хотя бы одному из этих множеств. Операция объединения в этом случае обозначается как, или.

    Пересечение множеств. Пусть заданы множества A и В. Пересечение этих множеств – множество, состоящее из всех тех и только тех элементов, которые принадлежат и множеству A, и множеству B (т.е. обоим множествам сразу). Пересечение двух множеств обозначают как .

    Аналогично определяется пересечение нескольких множеств. Пусть даны множества . Их пересечение — множество, состоящее из всех тех и только тех элементов, которые принадлежат всем этим множествам сразу. Операция пересечения в этом случае обозначается как, или.

    Дополнение множества. Пусть задано множество A. Дополнение этого множества – множество, состоящее из всех тех и только тех элементов, которые не принадлежат множеству A. Дополнение множества обозначают как .

    Разность множеств. Пусть заданы множества A и В. Разность этих множеств – множество, состоящее из всех тех и только тех элементов, которые принадлежат множеству A, но не принадлежат множеству B. Разность множеств обозначают как S = A B.

    Симметрическая разность множеств. Пусть заданы множества A и В. Симметрическая разность этих множеств – множество, состоящее из всех тех и только тех элементов, которые принадлежат или множеству A, или множеству B, но не им обоим сразу. Симметрическую разность множеств обозначают как S = AB.

    Следует обратить внимание, что операции пересечения и объединения выполняются с несколькими множествами (двумя или более), а операция дополнения – с одним множеством. Операции разности и симметрической разности выполняются с двумя множествами.

    Операции разности и симметрической разности можно выразить через операции пересечения, объединения и дополнения:

    , (1.1)

    . (1.2)

    Эти равенства можно доказать на основе определений операций над множествами.

    Пример 1.1 – Даны множества: A = <2, 7, 9, 12>, B = <3, 6, 7, 12, 15>. Выполнить над этими множествами операции, рассмотренные выше.

    Чтобы найти дополнения множеств A и B, необходимо уточнить, что в данной задаче имеется в виду под универсальным множеством. Пусть под ним имеется в виду все множество целых чисел (обозначим его как Z). Тогда дополнение множества A можно записать как = <a | aZ, aA>. Аналогично записывается дополнение множества B: = <b | bZ, bB>.

    1Числа во множествах записаны по возрастанию только для удобства. На самом деле, порядок элементов во множествах безразличен. Поэтому, например, пересечение множествAиBможно записать и как <7, 12>, и как <12, 7>.

    2Следует обратить внимание, что в операциях пересечения, объединения, а также симметрической разности порядок множеств, с которыми выполняется операция, безразличен:,,AB=BA. Говорят, что эти операции обладают свойством коммутативности. В то же времяABBA.

    Пример 1.2 – Даны множества: A = <a | 5  a < 20>, B = <b | b  17>, C = <c | 10 < c  12>. Приведем некоторые примеры операций над этими множествами:

    X = C A = 

    X = = <x | x < 5 или x  20>

    X = = <x | x  17>.

    Диаграммы Эйлера-Венна

    Диаграмма Эйлера-Венна — геометрическая схема, которая используется для моделирования множеств и для схематичного изображения и отношений между ними.Диаграмма позволяет наглядно отразить различные утверждения о множествах. При использовании этого метода универсальное множество изображается в виде прямоугольника, подмножества изображают кругами. Диаграммы нашли свое применение в математике, логике, менеджменте и других прикладных направлениях.

    Для отражения отношений между множествами математики Джон Венн и Леонард Эйлер использовали для способа. Если Венн использовал для обозначения множеств замкнутые фигуры, то Эйлер использовал круги.

    Диаграммы Эйлера-Венна являются важным частным случаем кругов Эйлера. Диаграммы изображают все 2^n комбинаций n свойств, что является конечной булевой алгеброй. В случае n = 3 диаграмма Эйлера-Венна обычно состоит из трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приближенно равным длине стороны треугольника.

    Осторожно! Если преподаватель обнаружит плагиат в работе, не избежать крупных проблем (вплоть до отчисления). Если нет возможности написать самому, закажите тут.

    Принцип построения

    Построение диаграммы Эйлера-Венна — это изображение большого прямоугольника, который представляет универсальное множество U. Внутри прямоугольника изображаются замкнутые фигуры, обозначающие множества. Если множеств не более 3, то изображаются круги, и эллипсы, если множеств 4. Фигуры пересекаются в наиболее общем случае, требуемом задачей, что обозначается соответствующим образом.

    Предположим, что на диаграмме изображен круг, представляющий множество А. Область в середине круга множества А отражает истинность выражения А, в то время как область вне круга обозначает ложь. Логическая операция будет отображаться на диаграмме при помощи штриховки тех областей, в которых ее значения истинны. В соответствии с алгеброй логики, конъюнкция множеств А и B будет истинна только тогда, когда истинны оба множества. Тогда на диаграмме будет отмечена область пересечения множеств.

    С помощью диаграмм Эйлера-Венна можно доказать все законы алгебры, представляя их графически. Это возможно через выполнение следующего алгоритма:

    1. В первую очередь необходимо начертить диаграмму, заштриховав все множества, находящиеся в левой части равенства.
    2. Следующим шагом будет начертание другой диаграммы и штриховка всех множеств, которые находятся в правой части равенства.
    3. В случае, когда на диаграммах заштрихована одна и та же область, торжество истинно.

    Дополнение множества

    Дополнением к множеству A является множество (overline A) , которое состоит из элементов, не входящих в А.

    При этом не все элементы, не являющиеся элементами А, могут быть включены в (overline A.) Принято считать, что все множества, которые участвуют в решении задачи, являются подмножествами некоторого общего универсального множества U. Учитывая это, дополнение overline A определяется следующим образом:

    Таким образом выглядит дополнение (overline A) графически:

    Диаграмма

    Объединение множеств

    Объединением множеств A и B называют множество (A;cup;B) , которое состоит из элементов, принадлежащих хотя бы одному из множеств.

    Объединение записывается следующим образом:

    Таким образом объединение множеств выглядит графически:

    Объединение множеств

    Пересечение множеств

    Пересечением множеств A и B является множество (A;cap;B) , которое состоит из элементов, входящих в оба множества.

    Пересечение множеств записывается следующим образом:

    Таким образом пересечение множеств выглядит графически:

    Пересечение множеств

    Симметричная разность множеств

    Симметричная разность A B — это такое множество, куда входят все те элементы первого множества, которые не входят во второе множество, а, также те элементы второго множества, которые не входят в первое множество

    Разность множеств записывается следующим образом:

    (Abigtriangleup B=(Abackslash B)cup(Bbackslash A))

    Таким образом разность выглядит графически:

    Симметричная разность

    Разность множеств

    Разностью A B является множество элементов A, не входящих в B.

    Разность множеств записывается следующим образом:

    Таким образом разность выглядит графически:

    Разность множеств

    Использование диаграмм Эйлера-Венна для доказательства логических равенств

    Рассмотрим, как диаграммы Эйлера-Венна применяются для доказательства логических равенств.

    Предположим, что перед нами конъюнкция множеств (A;wedge;B)

    Использование диаграмм 1

    В первую очередь обратим внимание на левую часть равенства. Построим диаграмму для множеств А и B. Графически отметим дизъюнкцию, заштриховав оба круга цветом.

    Использование диаграмм 2

    Теперь отобразим инверсию, заштриховав область за пределами множеств.

    Использование диаграмм 3

    Обратим внимание на правую часть равенства. В первую очередь отобразим инверсию A штриховкой область за пределами круга множества A цветом.

    Использование диаграмм 4

    Проведем аналогичную операцию с множеством B.

    Использование диаграмм 5

    Теперь штриховкой черным цветом всех областей пересечения отобразим конъюнкцию инверсий множеств А и B.

    Использование диаграмм 6

    При сравнении области для отображения правой и левой частей, становится очевидно, что они равны. Справедливость логического равенства доказана с помощью диаграммы Эйлера-Венна.

    Примеры задач с решением

    Задача

    Группа туристов из 100 человек пробыла в городе N три дня. За это время в ресторане питались 28 туристов, фастфуде — 42, кофейне — 30. И в ресторане, и в фастфуде побывало 10 человек; в ресторане и кофейне — 8; в фастфуде и кофейне — 5. Все во всех трех местах побывали три человека. Сколько туристов питалось в других местах и не посетило ни одного из перечисленных?

    Решение

    В условии задачи три множества — Р, Ф и К. Туристы, которые пытались в ресторане, фастфуде и кофейне, соответственно. Универсальное множество U — это множество всех туристов группы. Запишем условие задачи, где n(X) — количество элементов множества X.

    Необходимо найти (n(Р;cup;Ф;cup;К);=;n;(U;backslash;(Р;cap;Ф;cap:К)))

    В решении задачи поможет представление данных графически с помощью диаграммы Эйлера-Венна. Составляя ее, важно помнить, что если в (Р;cap;Ф;cap:К) три элемента, а в множестве (Р;cap;Ф) — 10 элементов, то в диаграмме в месте пересечений множеств Р и Ф мы проставляем 7 элементов, так как 3 элемента уже учтено.

    Задача 1

    Теперь, когда на диаграмме все элементы учтены по одному разу, можно вычислить количество туристов, которые побывали хотя бы одном из заведений.

    Тогда, количество туристов, которые не побывали ни в ресторане, ни в фастфуде, ни в кофейне можно вычислить следующим образом:

    Ответ: 20 туристов не побывали ни в одном из указанных заведений.

    Задача

    На олимпиаде по математике школьникам предложили решить три задачи: одну по алгебре, одну по геометрии, одну по тригонометрии. В олимпиаде участвовало 1000 школьников. Результаты олимпиады были следующие: задачу по алгебре решили 800 участников, по геометрии — 700, по тригонометрии — 600. 600 школьников решили задачи по алгебре и геометрии, 500 — по алгебре и тригонометрии, 400 — по геометрии и тригонометрии. 300 человек решили задачи по алгебре, геометрии и тригонометрии. Сколько школьников не решило ни одной задачи?

    Решение

    Начнем с определения множеств и введения обозначений. В данном случае, их три:

    • множество задач по алгебре («А»);
    • множество задач по геометрии («Г»);
    • множество задач по тригонометрии («Т»).

    Используя диаграмму Эйлера-Венна графически изобразим информацию, данную в условии задачи.

    Бинарные операции над упорядоченными множествами

    В предыдущей статье я писал о бинарных операциях над неупорядоченными множествами. В этой статье мы рассмотрим алгоритмы с меньшей сложностью выполнения, для упорядоченных множеств.

    I. Пересечение упорядоченных множеств

    Пересечение двух упорядоченных множеств A и B — это множество только с теми элементами A и B, которые одновременно принадлежат обоим множествам, без дублей. Сложность алгоритма O(m+n), где m и n — длины входных множеств A и B соответственно.

    Сделал небольшую анимацию, чтобы показать как работает алгоритм.

    Пример реализации на javascript:

    Обращение к функции:

    II. Разность упорядоченных множеств

    Разность двух упорядоченных множеств A и B — это множество с элементами A, не совпадающими с элементами B, без дублей. Сложность алгоритма O(m+n), где m и n — длины входных упорядоченных множеств A и B соответственно.

    III. Объединение упорядоченных множеств

    Объединение двух упорядоченных множеств A и B — это множество с элементами A и элементы множества B, без дублей. Сложность алгоритма O(m+n), где m и n — длины входных упорядоченных множеств A и B соответственно.

    IV. Симметрическая разность упорядоченных множеств

    Симметрическая разность двух упорядоченных множеств A и B — это такое множество, куда входят все те элементы первого упорядоченного множества, которые не входят во второе упорядоченное множество, а также те элементы второго упорядоченного множества, которые не входят в первое упорядоченное множество. Сложность алгоритма O(2(m+n)), где m и n — длины входных упорядоченных множеств A и B соответственно.

    По сути это вычитание множеств, сначала A из B, затем B из A.

    Порой обучение продвигается с трудом. Сложная теория, непонятные задания… Хочется бросить. Не сдавайтесь, все сложности можно преодолеть. Рассказываем, как

    Не понятна формулировка, нашли опечатку?

    Выделите текст, нажмите ctrl + enter и опишите проблему, затем отправьте нам. В течение нескольких дней мы улучшим формулировку или исправим опечатку

    Что-то не получается в уроке?

    Загляните в раздел «Обсуждение»:

    1. Изучите вопросы, которые задавали по уроку другие студенты — возможно, ответ на ваш уже есть
    2. Если вопросы остались, задайте свой. Расскажите, что непонятно или сложно, дайте ссылку на ваше решение. Обратите внимание — команда поддержки не отвечает на вопросы по коду, но поможет разобраться с заданием или выводом тестов
    3. Мы отвечаем на сообщения в течение 2-3 дней. К «Обсуждениям» могут подключаться и другие студенты. Возможно, получится решить вопрос быстрее!

    Подробнее о том, как задавать вопросы по уроку

    Добавить комментарий