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

Определения и обозначения

Пересечение множеств — это множество элементов, которые принадлежат одновременно каждому из рассматриваемых множеств. Например, если элемент есть и в A, и в B, он входит в их пересечение. Это понятие нужно, когда требуется выделить объекты, обладающие сразу несколькими свойствами.

Пересечение множеств A и B обозначают A ∩ B и читают «пересечение множеств A и B». Знак ∩ показывает, что мы ищем не все элементы из двух наборов, а только совпадающие. Такая запись помогает коротко выражать условие, что элемент принадлежит обоим множествам.

Общими называют элементы, которые входят и в A, и в B. Если элемент есть только в одном множестве, в пересечение он не попадает, даже если кажется похожим на элементы второго множества. Это различие позволяет не смешивать пересечение с объединением.

Множества, у которых нет общих элементов, называются непересекающимися. Их пересечение равно пустому множеству ∅: это множество, в котором нет ни одного элемента. Обозначение ∅ важно, потому что результат операции есть даже тогда, когда общих элементов не нашлось.

Как это устроено

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

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

Порядок множеств в пересечении не меняет результата: A ∩ B = B ∩ A. Причина проста: если элемент принадлежит и A, и B, то он принадлежит и B, и A — перестановка условий ничего не меняет. Поэтому при поиске можно начинать с любого множества, выбирая то, список которого удобнее проверять.

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

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

Как определить пересечение множеств

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

Разбор задач

Даны A = {1, 2, 3, 4} и B = {3, 4, 5}. Найдите A ∩ B.

1. Начнём с элементов A: 1, 2, 3, 4.
2. Проверим каждый элемент по списку B. Чисел 1 и 2 в B нет, поэтому они не общие.
3. Числа 3 и 4 есть и в A, и в B; число 5 из B не проверяем как элемент A, поэтому в пересечение оно не входит.

Ответ: A ∩ B = {3, 4}. Проверка показывает, что оба числа есть в каждом множестве, а других общих элементов нет.

Даны A = {a, b, c, d} и B = {c, d, e, f}. Найдите A ∩ B и изобразите множества диаграммой.

1. Сравним элементы A с элементами B: буквы a и b в B отсутствуют.
2. Буквы c и d встречаются в обоих множествах, поэтому оставляем их.
3. Буквы e и f принадлежат только B и не могут быть элементами пересечения.

Ответ: A ∩ B = {c, d}. На диаграмме изобразите два пересекающихся круга: c и d поместите в их общую часть, a и b — только в круг A, e и f — только в круг B. Такое расположение наглядно отделяет общие элементы от остальных.

Известно, что A = {2, 4, 6, 8, 10}, B = {1, 2, 3, 4, 5} и C = {2, 4}. Найдите A ∩ B, A ∩ C и объясните различие результатов.

1. Сравним A и B. Числа 2 и 4 есть в обоих множествах, а остальные элементы A в B не входят.
2. Получаем A ∩ B = {2, 4}. Теперь сравним A и C: и 2, и 4 входят в A.
3. Множество C целиком содержится в A, поэтому пересечение равно C: A ∩ C = {2, 4}.

Ответ: A ∩ B = {2, 4}, A ∩ C = {2, 4}. Здесь результаты совпали, но причины можно описать по-разному: в первом случае найдены общие элементы двух списков, а во втором всё меньшее множество C содержится в A.

Типичные ошибки

Ошибка — включить в пересечение элемент, который есть только в одном множестве. Её допускают, когда собирают все элементы из обоих списков, не проверяя принадлежность второму множеству. Чтобы проверить себя, для каждого элемента ответа найди его сразу в обоих исходных множествах.

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

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

Отсутствие общих элементов не означает, что результат нельзя записать. Пересечение в этом случае есть, но оно называется пустым множеством и обозначается ∅. Если ни один элемент не прошёл проверку на принадлежность обоим множествам, запиши именно ∅, а не оставляй ответ незаполненным.

Связь с другими темами

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

Что запомнить

• A ∩ B состоит из элементов, принадлежащих и A, и B.
• Элементы, встречающиеся только в одном множестве, в пересечение не входят.
• Порядок множеств не влияет на результат: A ∩ B = B ∩ A.
• Если множества не имеют общих элементов, их пересечение равно ∅.
• Если A содержится в B, то A ∩ B = A.
• Каждый элемент множества в записи пересечения указывают только один раз.