"Информатика. Базовый уровень", Босова Л.Л., Босова А.Ю.
Множество — способ объединить объекты в одну группу и рассуждать о них по общим правилам. С его помощью удобно описывать данные, сравнивать группы и находить общие элементы или различия между ними. Множества задают перечислением элементов либо общим свойством, а их операции записывают специальными знаками. Главное — точно определить, какие элементы относятся к каждой группе, и помнить: порядок важен для разности, но не для объединения и пересечения.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Множество — совокупность объектов, которую рассматривают как единое целое. Его можно задать перечислением: например, A = {1, 2, 3}, или описанием общего свойства: A — натуральные числа меньше 4. Перечисление удобно, когда элементов немного, а свойство помогает задать большую или бесконечную группу.
Элемент множества — объект, который принадлежит этому множеству. Запись 2 ∈ A читают «2 принадлежит A», а 5 ∉ A — «5 не принадлежит A». Эти знаки позволяют кратко указывать, входит ли конкретный объект в группу.
Подмножество — множество, каждый элемент которого принадлежит другому множеству. Запись A ⊆ B означает, что все элементы A входят в B; при этом в B могут быть и другие элементы. Если же множества содержат одни и те же элементы, они равны: включение в обе стороны тогда выполняется одновременно.
Объединение, пересечение и разность — операции, которые создают новое множество по заданным правилам. Объединение собирает элементы из двух множеств, пересечение оставляет общие, а разность сохраняет элементы первого множества, отсутствующие во втором. По результату можно увидеть, какие части групп совпадают и чем они различаются.
Чтобы установить равенство множеств A и B, нужно сравнить их состав, а не способ записи. Сначала проверьте, что каждый элемент A содержится в B, затем выполните обратную проверку для элементов B. Если обе проверки успешны, ни одно множество не содержит лишних элементов относительно другого, значит, A = B. Такой способ работает, даже если элементы перечислены в разном порядке.
Элемент входит в объединение A ∪ B, если он принадлежит хотя бы одному из двух множеств. Причина в том, что объединение собирает всё, что относится к первой группе или ко второй, включая элементы, общие для них. Для пересечения A ∩ B условие строже: элемент должен принадлежать обоим множествам одновременно. Поэтому элемент, встретившийся лишь в одной группе, в пересечение не попадёт.
В разность A \ B включают элементы A, которые не принадлежат B. Сначала рассматривают только первый набор, а затем убирают из него всё, что обнаруживается во втором. Если поменять наборы местами, изменится и исходная группа отбора, поэтому результат обычно станет другим. Например, элементы, оставшиеся в A после исключения B, не обязаны совпадать с элементами B после исключения A.
Диаграммы Эйлера—Венна изображают множества в виде областей, часто кругов внутри общего прямоугольника. Для объединения выделяют обе области целиком, потому что подходят элементы любого из множеств. Для пересечения выделяют только часть, где области накладываются: там находятся элементы, принадлежащие обоим множествам. Такая схема помогает проверить, какие элементы должны попасть в ответ, прежде чем записывать его фигурными скобками.
Несколько операций можно выполнять последовательно, но результат определяется тем, что содержится в исходных множествах. После каждой операции полезно выписать получившийся набор и использовать именно его в следующем действии. Например, в (A ∪ B) \ C сначала собирают элементы A и B, а затем удаляют из результата элементы C. Если изменить исходные наборы, изменится состав промежуточного результата и, следовательно, итог.
| Операция | Обозначение | Какие элементы входят в результат | Пример |
|---|---|---|---|
| Объединение | A ∪ B | Элементы, принадлежащие хотя бы одному из множеств | {1, 2} ∪ {2, 3} = {1, 2, 3} |
| Пересечение | A ∩ B | Элементы, общие для обоих множеств | {1, 2} ∩ {2, 3} = {2} |
| Разность | A \ B | Элементы A, не принадлежащие B | {1, 2} \ {2, 3} = {1} |
В таблице сначала найдите обозначение операции, а затем прочитайте правило отбора элементов. Для объединения проверяйте принадлежность хотя бы одному множеству, для пересечения — обоим, а для разности — первому и не второму. Пример разности показывает, почему при перестановке A и B результат может измениться.
Задача 1. Даны множества A = {1, 2, 3} и B = {3, 4}. Найдите A ∪ B и A ∩ B. Для объединения нужно собрать все встречающиеся элементы, не записывая общий элемент дважды. Для пересечения, наоборот, оставляют только то, что найдено в обоих множествах.
Ответ: A ∪ B = {1, 2, 3, 4}; A ∩ B = {3}. При объединении мы собрали всё из обеих групп, а при пересечении оставили только общий элемент. Такое сравнение помогает не смешивать два разных правила отбора.
Задача 2. Для A = {a, b, c, d} и B = {b, d, e} найдите A \ B и B \ A, затем сравните результаты. Здесь нужно каждый раз начинать с множества, стоящего слева от знака разности. Из него удаляют элементы, которые присутствуют в множестве справа.
Ответ: A \ B = {a, c}; B \ A = {e}. Разность не симметрична: смена порядка множеств меняет и элементы, которые проверяют, и ответ. Поэтому при чтении записи сначала определите, из какого множества нужно отбирать элементы.
Задача 3. В классе 24 ученика: 14 изучают английский язык, 11 — немецкий, 5 изучают оба языка. Нужно найти число учеников, изучающих хотя бы один язык, а затем тех, кто не изучает ни одного. Если просто сложить 14 и 11, пятеро учеников, изучающих оба языка, будут посчитаны дважды. Чтобы получить число разных учеников в объединении, это повторное считывание нужно убрать.
Ответ: хотя бы один язык изучают 20 учеников, ни один из этих языков не изучают 4 ученика. Вычитание пересечения устраняет двойной подсчёт тех, кто входит в обе группы. Затем дополнение до общего числа учеников даёт количество вне объединения.
Считать, что одинаковые множества обязательно записываются в одном порядке, — ошибка: порядок перечисления не влияет на состав. Её допускают, когда сравнивают записи буквально, не проверяя элементы. Чтобы убедиться в равенстве, сравните, что каждый элемент одной записи есть в другой, и выполните обратную проверку.
Повторно записывать один элемент — значит ошибочно считать его несколькими элементами множества. Путаница часто возникает потому, что в обычном списке повторы могут иметь значение, а в множестве учитывается сам факт наличия объекта. Проверяйте фигурные скобки: каждый различный элемент должен встречаться не более одного раза.
Знаки ∈ и ⊆ обозначают разные отношения: первый связывает объект с множеством, второй — множество с множеством. Их путают из-за похожего смысла «входит», но выражения 2 ∈ A и {2} ⊆ A устроены по-разному. Проверка простая: слева от ∈ стоит элемент, а слева от ⊆ — множество.
Считать разность симметричной нельзя: A \ B и B \ A обычно содержат разные элементы. Такая ошибка появляется, если воспринимать знак как простое сравнение двух наборов и не учитывать их порядок. Для самопроверки выпишите сначала элементы первого множества, затем исключите те, что есть во втором, и повторите процедуру в обратном порядке.
Для работы с множествами достаточно понимать, что объекты можно объединять в группы по выбранному признаку и проверять, входит ли объект в такую группу. Это умение связано с логическими условиями: принадлежность множеству можно выразить условием, которое истинно или ложно для каждого объекта. Поэтому операции над множествами помогают разбираться с логическими выражениями и таблицами истинности.
В информатике множества полезны при описании данных и обработке результатов запросов. Например, один запрос может выбрать пользователей по одному условию, другой — по другому, а объединение или пересечение результатов позволяет получить нужную группу. Разность помогает исключить объекты, уже попавшие в другую выборку.
Может ли множество содержать одинаковые элементы несколько раз?
Нет, каждый элемент множества учитывается только один раз. Поэтому записи {1, 2, 2, 3} и {1, 2, 3} задают одно и то же множество.
Чем обозначение ∈ отличается от ⊆?
Знак ∈ показывает, что объект является элементом множества: 2 ∈ {1, 2}. Знак ⊆ сравнивает два множества и означает, что каждый элемент первого входит во второе.
Когда два множества считаются равными?
Два множества равны, если у них совпадают все элементы. Для проверки нужно убедиться, что каждый элемент первого множества есть во втором и каждый элемент второго — в первом.
Почему пересечение множеств может быть пустым?
Пересечение пусто, если у множеств нет общих элементов. Например, у множества чётных чисел и множества нечётных чисел пересечение пустое.
Почему при нахождении разности важно, какое множество стоит первым?
В A \ B отбирают элементы A, которых нет в B, а в B \ A — элементы B, которых нет в A. Эти группы обычно разные, поэтому разность не является симметричной операцией.
§ 17. Некоторые сведения из теории множеств
