Раздел 3. Множества

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

Множество — совокупность объектов, рассматриваемая как единое целое. Например, множество дней недели объединяет семь названий, а множество файлов в папке — хранящиеся там файлы. В информатике множеством могут быть, например, введённые пользователем числа. Такое представление помогает собрать объекты вместе и рассуждать об их общем составе.

Элемент множества — отдельный объект, который входит в его состав. Если число 3 входит в множество A, записывают 3 ∈ A; знак ∈ читают «принадлежит». Если число 5 в A не входит, пишут 5 ∉ A. Эти обозначения позволяют коротко указывать, содержится ли конкретный объект в выбранном наборе.

Пустое множество — множество, в котором нет ни одного элемента. Его обозначают символом ∅. Например, множество целых чисел, которые одновременно больше 5 и меньше 4, пусто: подходящего числа не существует. Такое обозначение удобно, когда условие не подходит ни одному объекту.

Подмножество — множество, каждый элемент которого принадлежит другому множеству. Запись B ⊆ A означает, что B является подмножеством A. Например, если A = {1, 2, 3}, а B = {1, 3}, то B ⊆ A. Это понятие помогает выражать включение одного набора объектов в другой.

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

Множество часто описывают перечислением элементов внутри фигурных скобок: A = {2, 4, 6}. Элементы можно записать в любом порядке, потому что порядок не является свойством состава множества. Повторять один объект тоже незачем: запись {2, 2, 4} не добавляет нового элемента и задаёт то же множество, что и {2, 4}. Поэтому при сравнении наборов учитывают сами объекты, а не способ их записи.

Чтобы проверить принадлежность, нужно выяснить, есть ли объект среди элементов множества. Запись x ∈ A ставит на первое место объект x, а на второе — набор A, которому он принадлежит. В записи A ∈ x роли поменялись: она утверждала бы, что множество A является элементом объекта x. Это обычно не то, что требуется сказать, поэтому важно следить, что обозначает каждый символ.

Для проверки отношения B ⊆ A рассматривают каждый элемент B по очереди и ищут его в A. Если все элементы нашлись, условие выполнено; достаточно одного элемента, которого нет в A, чтобы B не было подмножеством A. Например, для B = {2, 4} и A = {1, 2, 3, 4} оба элемента B входят в A. Такой способ проверки напрямую следует из определения подмножества.

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

Сравнивая два множества, проверяют их состав. Они равны, если каждый элемент первого встречается во втором и каждый элемент второго встречается в первом; например, {а, б, в} = {в, а, б}. Если общими являются лишь некоторые элементы, множества не равны, хотя и пересекаются по составу. Например, {1, 2, 3} и {2, 3, 4} содержат 2 и 3, но у каждого есть элемент, которого нет у другого.

Основные понятия и обозначения множеств

Сначала найдите в таблице понятие, которое нужно выразить, затем выберите соответствующий знак и сверьте его смысл. Обратите внимание: ∈ связывает объект и множество, а ⊆ — два множества. Примеры показывают, как обозначения выглядят в записи.

Разбор задач

Задача 1. Дано множество A = {2, 4, 6, 8}. Определите, какие из чисел 4, 5 и 8 принадлежат A, и запишите ответ с помощью символов ∈ и ∉.

1. Сравним число 4 с элементами A. Оно есть в списке, поэтому записываем 4 ∈ A.
2. Проверим число 5. Такого элемента среди 2, 4, 6 и 8 нет, значит, пишем 5 ∉ A.
3. Проверим число 8. Оно указано в множестве, следовательно, 8 ∈ A.

Ответ: 4 ∈ A, 5 ∉ A, 8 ∈ A. Здесь каждый раз проверялось наличие конкретного числа, поэтому использовались знаки принадлежности и непринадлежности.

Задача 2. Даны множества A = {а, б, в} и B = {в, а, б}. Определите, равны ли они, и объясните, влияет ли порядок записи элементов.

1. Сравним элементы A с B: буквы а, б и в есть в обоих множествах.
2. Проверим в обратную сторону: в B нет элементов, отсутствующих в A.
3. Порядок букв различается, но на состав множества он не влияет.

Ответ: A = B. Оба множества содержат одни и те же элементы, поэтому перестановка букв не делает их разными.

Задача 3. Даны множества A = {1, 2, 3, 4} и B = {2, 4}. Определите, является ли B подмножеством A, а затем проверьте, является ли A подмножеством B.

1. Для B ⊆ A проверяем каждый элемент B: число 2 есть в A, и число 4 тоже есть в A. Значит, ни один элемент B не нарушает условие включения.
2. Для A ⊆ B проверяем элементы A. Числа 1 и 3 входят в A, но отсутствуют в B.
3. Одного такого элемента достаточно, чтобы включение не выполнялось.

Ответ: B ⊆ A, но A ⊈ B. Проверка в обоих направлениях необходима: включение меньшего набора не означает обратного включения.

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

Ошибка: считать, что перестановка элементов меняет множество. Так думают, потому что в обычных списках порядок часто важен, но множество описывает только состав объектов. Чтобы проверить себя, сравните элементы: если наборы содержат одно и то же, они равны независимо от порядка записи.

Ошибка: записывать повтор объекта как новый элемент множества. Повтор может казаться дополнительным экземпляром, однако в множестве один и тот же объект учитывается один раз. Удалите дубликаты и сравните оставшийся состав — если он не изменился, множество осталось тем же.

Ошибка: использовать ∈ вместо ⊆. Знаки похожи по смыслу, но первый связывает объект с множеством, а второй — множество с множеством. Для самопроверки назовите обе стороны записи: если слева стоит элемент, проверяют принадлежность; если множество, проверяют включение.

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

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

Чтобы описывать множества, нужно уметь различать объекты и находить их общие признаки. Если сгруппировать предметы по выбранному свойству, получится удобный набор для сравнения и классификации. Например, можно выделить числа, удовлетворяющие заданному условию, и проверить, какие объекты в него попали.

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

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

• Множество — это совокупность объектов, рассматриваемая как одно целое.
• Запись x ∈ A означает, что x — элемент множества A.
• Порядок элементов и их повторение не меняют множество.
• Пустое множество обозначают символом ∅.
• B ⊆ A означает, что каждый элемент B принадлежит A.
• Пустое множество является подмножеством любого множества.