"Математика (в 3-х частях)", Демидова Т.Е., Козлова С.А., Тонких А.П.
Подмножество — это множество, все элементы которого входят в другое множество. Такое отношение записывают знаком ⊆ и используют, чтобы сравнивать состав множеств, а не количество элементов в них. Разобравшись с включением, можно отличать равные множества от разных, понимать, что такое собственное подмножество, и правильно работать с пустым множеством. Эти понятия пригодятся при изучении числовых множеств и операций над множествами.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Множество A является подмножеством множества B, если каждый элемент A принадлежит B. Это определение проверяют по составу множеств: ни один элемент A не должен оказаться вне B. Понятие помогает описывать, как одно множество расположено относительно другого.
Запись A ⊆ B называют знаком включения и читают «A — подмножество B» или «A включено в B». Она сообщает, что элементы A входят в B, но не обязательно говорит, что множества различны. Поэтому знак ⊆ подходит и для случая, когда A и B равны.
Множество A называют собственным подмножеством B, если A ⊆ B, но A ≠ B. Иначе говоря, все элементы A входят в B, а сами множества не совпадают. Для такого отношения используют запись A ⊊ B; она позволяет отличить строгое включение от включения, допускающего равенство.
Множество, в котором нет ни одного элемента, называют пустым и обозначают ∅. Оно является подмножеством любого множества: в нём нет элемента, который мог бы не принадлежать этому множеству. Это обозначение удобно, когда рассматривают множества без общих элементов или перечисляют все подмножества.
Чтобы проверить A ⊆ B, переберите элементы A по одному и для каждого найдите такой же элемент в B. Если все проверки успешны, условие включения выполнено. Если хотя бы один элемент A отсутствует в B, он служит примером, который сразу опровергает включение. Такой способ работает независимо от того, как именно записаны множества.
При включении сравнивают элементы, а не количество элементов в множествах. Например, множества {1, 2} и {3, 4, 5} имеют разное число элементов, но первое не является подмножеством второго: ни 1, ни 2 в нём не встречаются. И наоборот, одинаковое количество элементов ещё не означает включения. Поэтому подсчёт сам по себе не отвечает на вопрос о подмножестве.
Любое множество является подмножеством самого себя: каждый его элемент, конечно, принадлежит этому же множеству. Именно поэтому знак ⊆ допускает случай A = B. Если бы включение означало обязательное различие множеств, пришлось бы отдельно исключать этот естественный случай, а определение стало бы менее удобным.
Пустое множество включено в любое множество, потому что проверять в нём нечего. Условие «все элементы ∅ принадлежат B» не нарушается: не существует элемента ∅, который оказался бы вне B. Это не значит, что пустое множество содержит элементы B; оно просто не содержит элементов вообще.
Если A ⊆ B и одновременно B ⊆ A, в каждом множестве содержатся все элементы другого. Значит, в них нет ни одного различающего элемента, и множества равны. Если A ⊆ B, но A ≠ B, включение строгое: в B есть хотя бы один элемент, которого нет в A. Так различают равенство множеств и собственное подмножество.
| Отношение | Условие | Пример |
|---|---|---|
| A ⊆ B | Каждый элемент A принадлежит B | {1, 3} ⊆ {1, 2, 3} |
| A ⊊ B | Каждый элемент A принадлежит B, но A ≠ B | {1, 3} ⊊ {1, 2, 3} |
| A = B | Множества состоят из одних и тех же элементов | {а, б} = {б, а} |
| A ⊄ B | Найдётся элемент A, который не принадлежит B | {1, 4} ⊄ {1, 2, 3} |
| ∅ ⊆ B | Пустое множество является подмножеством B | ∅ ⊆ {1, 2} |
Сначала определите, что именно проверяется: включение, строгое включение или равенство. Затем сравните элементы и убедитесь, что выполнено условие из среднего столбца. Примеры помогают увидеть, что при равенстве важен состав множеств, а не порядок записи элементов.
Задача 1. Даны A = {1, 3} и B = {1, 2, 3, 4}. Определите, верно ли A ⊆ B. Чтобы проверить включение, достаточно убедиться, что ни один элемент A не выпадает из B. Число элементов в множествах сравнивать не требуется.
Ответ: да, A ⊆ B. Более того, A ≠ B, поскольку в B есть элементы 2 и 4, которых нет в A, поэтому A ⊊ B.
Задача 2. Даны C = {а, б, в} и D = {а, б, в}. Определите, являются ли они подмножествами друг друга и равны ли они. Здесь нужно провести две проверки включения, а не остановиться после первой. Одинаковая запись элементов подсказывает, что оба множества имеют один и тот же состав.
Ответ: C и D являются подмножествами друг друга и равны. В этом примере включение не строгое, так как множества совпадают.
Задача 3. Даны E = {2, 5, 7} и F = {1, 2, 3, 5, 7}. Запишите все подмножества E, которые одновременно являются собственными подмножествами F. Сначала перечислим подмножества E, а затем проверим включение в F и равенство с ним. Все элементы E есть в F, а в F дополнительно есть 1 и 3.
Ответ: все восемь перечисленных подмножеств E являются собственными подмножествами F.
Ошибка: считать, что A ⊆ B означает лишь, что в A не больше элементов, чем в B. Такое рассуждение подменяет проверку состава подсчётом: например, два элемента могут не входить в множество из трёх элементов. Чтобы проверить себя, найдите каждый элемент A в B, а не сравнивайте числа.
Ошибка: путать A ∈ B и A ⊆ B. Знак ∈ говорит, что A — элемент множества B, а знак ⊆ — что каждый элемент множества A принадлежит B. Их путают из-за похожего смысла слов «входит» и «принадлежит». Проверьте, сравниваете ли вы один объект с множеством или два множества.
Ошибка: считать, что множество не может быть подмножеством самого себя. Иногда слово «подмножество» ошибочно понимают как обязательно меньшее множество. Но A ⊆ A верно по определению, ведь все элементы A находятся в A. Для строгого включения отдельно требуется, чтобы множества не равнялись.
Ошибка: исключать пустое множество из подмножеств. Кажется, что для включения в B в ∅ должны быть какие-то элементы, но определение требует только, чтобы каждый имеющийся элемент входил в B. Таких элементов нет, поэтому препятствий тоже нет. Проверьте условие буквально: ни одного элемента ∅, не принадлежащего B, найти невозможно.
Для работы с подмножествами нужно знать, что называют множеством и его элементами, а также уметь читать запись принадлежности, например 3 ∈ A. Это помогает не смешивать принадлежность отдельного элемента и включение одного множества в другое. Если эти обозначения понятны, проверка подмножества сводится к последовательной проверке элементов.
Понятие подмножества пригодится при изучении операций над множествами: тогда сравнивают, какие элементы входят в полученные множества. Оно также помогает классифицировать числовые множества, например рассматривать натуральные числа как часть целых. Так отношение включения связывает отдельные примеры с более общей системой множеств.
Как проверить, является ли одно множество подмножеством другого?
Возьмите каждый элемент первого множества и проверьте, есть ли он во втором. Если все элементы нашлись, первое множество является подмножеством второго. Если хотя бы один элемент не входит во второе, включения нет.
Может ли множество быть подмножеством самого себя?
Да. Каждый элемент множества принадлежит ему самому, поэтому для любого множества A верно A ⊆ A. Такое включение не является строгим.
Почему пустое множество входит в любое множество?
В пустом множестве нет элементов, которые могли бы не принадлежать другому множеству. Поэтому условие «каждый элемент ∅ входит в B» не нарушается ни для какого B.
Чем подмножество отличается от элемента множества?
Запись A ∈ B означает, что A — один из элементов множества B. Запись A ⊆ B означает, что каждый элемент множества A входит в B. В первом случае сравнивают объект с множеством, во втором — два множества.
Как отличить собственное подмножество от обычного?
Собственное подмножество входит в другое множество, но не равно ему. Значит, должно выполняться A ⊆ B и одновременно A ≠ B. Если множества равны, включение есть, но оно не строгое.
2.18. Подмножество
