Зарегистрируйтесь, чтобы продолжить обучение

Дополнение Теория множеств

// source_path[42182/500-complement/README.adoc] image::https://cdn2.hexlet.io/derivations/image/original/eyJpZCI6ImE5ODlhMzU5ZGUwN2RiMDU1YzY2ODI2NjMwZTU5ZDg0LnBuZyIsInN0b3JhZ2UiOiJjYWNoZSJ9?signature=2206252b7efb3bc77471f43fe60fa4650b80e487ba58ad6f88321fbd7f936f9f[]

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

:stem: asciimath

Допустим, нам нужно найти все целые числа, которые удовлетворяют неравенству stem:[-3 < x < 2]. Нам дано универсальное множество целых чисел:

====

stem:[{..., -3, -2, -1, 0, 1, 2, 3, ...}]

Целые числа, которые удовлетворяют неравенству:

====

stem:[{-2, -1, 0, 1}] — это подмножество универсального множества

Допустим, у нас есть множество stem:[A] — подмножество некоторого универсального множества stem:[U]. Дополнение stem:[A] — это все остальные элементы из stem:[U], которые не вошли в stem:[A].

В нашем примере выше, дополнение для stem:[{-2, -1, 0, 1}] — это множество, содержащее все целые числа, которые не удовлетворяют неравенству: stem:[{..., -3, 2, 3, ...}].

Мы можем проиллюстрировать это определение на другом примере. Если нашим универсальным множеством являются города России, то возможным подмножеством является множество городов миллионников: stem:[A={]Москва, Санкт-Петербург, Новосибирск, Екатеринбург, Казань, Нижний Новгород, Челябинск, Самара, Уфа, Ростов-на-Дону, Омск, Волгоград, Воронеж, Краснодар, Красноярск, Пермьstem:[}].

Тогда дополнением stem:[A] будет множество, содержащее все остальные города, которые не являются миллионниками.

Существуют различные способы обозначения дополнения множества с помощью нотации. Например, можно использовать знак простого числа. Иногда используется надстрочная строчная буква stem:[c]. Над именем исходного множества может стоять черточка или символ подчеркивания. Мы будем использовать stem:['].

В этом уроке мы подробно рассмотрим дополнение множества, его определение и свойства.

:stem:

Что такое дополнение множества?

Простыми словами, дополнение множества stem:[A] — это разность между универсальным множеством и множеством stem:[A].

Это тождество можно записать так:

====

stem:[A' = {x in U : x notin A}]

В дополнение входят те элементы stem:[x] из множества stem:[U], которые не входят в stem:[A].

Условные обозначения

Дополнение любого множества представляется как stem:[A', B', C'] и т.д. Другими словами, если задано универсальное множество stem:[(U)] и подмножество универсального множества stem:[(A)], то разность универсального множества stem:[(U)] и подмножества универсального множества stem:[(A)] является дополнением подмножества, то есть stem:[A' = U - A].

Рассмотрим на таком примере:

====

  • Дано stem:[U], в которое входят все простые числа до stem:[25]

* Множество stem:[A = {2, 3, 5}]

Найдем дополнение:

====

  • Шаг 1: Проверка универсального множества и множества, для которого нужно найти дополнение: stem:[U = {2, 3, 5, 7, 11, 13, 17, 19, 23}, A = {2, 3, 5}]
  • Шаг 2: Вычитание: stem:[(U - A)] +
  • Шаг 3: Здесь stem:[U - A = A'] + stem:[= {2, 3, 5, 7, 11, 13, 17, 19, 23} - {2, 3, 5}] + stem:[= {7, 11, 13, 17, 19, 23}] + ====

Диаграмма

Для лучшего понимания посмотрите на приведенную ниже диаграмму Венна, которая ясно показывает дополнение множества stem:[A], то есть stem:[A']:

image::https://cdn2.hexlet.io/derivations/image/original/eyJpZCI6IjY1ZTQ3NDQwODIyNDFjMTBjMWNjNGEzM2ZlOTM1NWY3LnBuZyIsInN0b3JhZ2UiOiJjYWNoZSJ9?signature=3ae1e3ee247d3cb622b78190c6dd810d0612f05577776f3ba28dac3135f53ab1[]

Здесь stem:[A'] не является частью множества stem:[A], и множество stem:[A] также не является частью stem:[A']. stem:[A] и stem:[A'] являются подмножествами stem:[U].

Свойства дополнения множества

Ниже перечислены свойства дополнения множества, которые включают в себя:

  • Законы дополнения
  • Закон двойного дополнения
  • Закон пустого множества
  • Закон универсального множества

Законы дополнения

  • Если stem:[A] является подмножеством универсального множества, то stem:[A'] также является подмножеством универсального множества. Поэтому объединение stem:[A] и stem:[A'] является универсальным множеством, представленным как stem:[A cup A' = U]

  • Пересечение множеств stem:[A] и stem:[A'] дает пустое множество "stem:[emptyset]", представленное как stem:[A cap A' = emptyset]

Рассмотрим на таком примере:

====

  • Если stem:[U = {1 , 2 , 3 , 4 , 5 }] и stem:[A = {4 , 5}] и stem:[B = {1, 2}]
  • stem:[A' = {1 , 2 , 3 }] и stem:[B' = {3, 4, 5}]
  • stem:[A cup A' = U = { 1 , 2 , 3 , 4 , 5}]

- Кроме того, stem:[A cap A' = emptyset]

Закон двойного дополнения

  • Дополнением дополненного множества является исходное множество stem:[(A')' = A]
  • Дополнение множества stem:[A'], где само stem:[A'] является дополнением stem:[A], двойное дополнение stem:[A], таким образом, является самим stem:[A]

В предыдущем примере stem:[U = {1 , 2 , 3 , 4 , 5}] и stem:[A = {4 , 5}], тогда stem:[A' = {1 , 2 , 3 }]. Дополнение stem:[A' = (A')' = {4, 5}], что равно множеству stem:[A].

Закон для пустого множества и универсального множества

  • Дополнением универсального множества является пустое множество или нулевое множество (stem:[emptyset]), а дополнением пустого множества — универсальное множество
  • Поскольку универсальное множество содержит все элементы, а пустое множество не содержит никаких элементов, следовательно, их дополнения прямо противоположны друг другу, что представляется как stem:[emptyset' = U] И stem:[U' = emptyset]

В примере выше, множество stem:[U = {1, 2, 3, 4, 5}] содержит все элементы множества stem:[A], а множество stem:[B] как универсальное множество содержит все элементы, поэтому stem:U' = emptyset и stem:[emptyset' = {1, 2, 3, 4, 5}].

Выводы

  • Дополнением универсального множества является пустое множество или нулевое множество
  • Множество пересечения содержит элементы, которые являются общими для обоих множеств
  • Объединение двух множеств — это множество, содержащее все элементы, которые находятся в A или B или в обоих

Самостоятельная работа

// source_path[42182/500-complement/self_study.adoc]

Задача №1:

По условию задачи:

  • stem:[B = { p | p] кратно stem:[3, p in N }]
  • stem:[p in N] означает, что stem:[N] — универсальное множество натуральных чисел

Найдите stem:[B'].

:stem: asciimath

.Нажмите, чтобы увидеть ответ [%collapsible]

==== По условию задачи:

  • stem:[N = U = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10,11, ...}.]
  • stem:[B = { p | p] кратно stem:[3, p in N } rightarrow B = { 3, 6, 9, 12, 15, ... }]

Следовательно, дополнением множества stem:[B] является:

  • stem:[B' = U - B = { 1, 2, 4, 5, 7, 8, 10,11, ...}]

Ответ: stem:[{ 1, 2, 4, 5, 7, 8, 10,11, ... }]

====


Задача №2:

Если stem:[U] — универсальное множество, содержащее stem:[50] учеников класса stem:[X] школы совместного обучения, а stem:[A] — множество всех девочек и оно содержит stem:[25] девочек. Найдите количество элементов дополнения множества девочек?

.Нажмите, чтобы увидеть ответ

[%collapsible]

Если множество stem:[A] содержит всех девочек, то дополнением множества stem:[A] является множество всех мальчиков. Разность между универсальным множеством и множеством всех девочек является дополнением множества девочек.

Таким образом, stem:[n(A') = 50 - 25 = 25]. Следовательно, дополнение множества содержит stem:[25] мальчиков.

Ответ: stem:[25]


Задача №3

Найдите дополнение множества stem:[A] и множества stem:[B].

Покажите, что stem:[(A U B)' = A' cap B'], где stem:[U = {11, 12, 13, 14, 15, 16}, A = {12, 13}] и stem:[B = {13, 14, 15}]?

.Нажмите, чтобы увидеть ответ

[%collapsible]

Дополнение множества stem:[A] или stem:[A'] содержит элементы, отличные от элементов множества A.

Следовательно, stem:[A' = {11, 14, 15, 16}].

Аналогично, stem:[B' = {11, 12, 16}].

Найдем stem:[A' cap B']. Так содержатся элементы, включенные как в stem:[A'], так и в stem:[B'].

Значит, stem:[A' cap B' = {11, 16}. ... (1)].

Таким образом, stem:[A U B = {12, 13, 14, 15}].

Значит, дополнение stem:[A U B] или stem:[(A U B)' = {11, 16}].

Следовательно, stem:[(A U B)' = A' cap B' = {11, 16} ... (2)].

Из stem:[(1)] и stem:[(2)] следует, что stem:[(A U B)' = A' cap B'].

====



Аватары экспертов Хекслета

Остались вопросы? Задайте их в разделе «Обсуждение»

Вам ответят команда поддержки Хекслета или другие студенты

Для полного доступа к курсу нужен базовый план

Базовый план откроет полный доступ ко всем курсам, упражнениям и урокам Хекслета, проектам и пожизненный доступ к теории пройденных уроков. Подписку можно отменить в любой момент.

Получить доступ
1000
упражнений
2000+
часов теории
3200
тестов

Открыть доступ

Курсы программирования для новичков и опытных разработчиков. Начните обучение бесплатно

  • 130 курсов, 2000+ часов теории
  • 1000 практических заданий в браузере
  • 360 000 студентов
Отправляя форму, вы принимаете «Соглашение об обработке персональных данных» и условия «Оферты», а также соглашаетесь с «Условиями использования»

Наши выпускники работают в компаниях:

Логотип компании Альфа Банк
Логотип компании Aviasales
Логотип компании Yandex
Логотип компании Tinkoff