"Информатика", Горячев А.В., Волкова Т.О.
Множества помогают объединять объекты по общему признаку, а вложенность показывает, как одно множество целиком помещается в другое. Например, каждый натуральный номер одновременно является целым числом, поэтому множество натуральных чисел входит во множество целых. Чтобы проверить такое отношение, нужно убедиться, что каждый элемент меньшего множества есть в большем. Включение может быть строгим, а может означать, что множества совпадают.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Множество — совокупность объектов, которую рассматривают как единое целое. Например, множество гласных букв объединяет несколько букв по общему признаку. Каждый объект, входящий в множество, называют его элементом. Это понятие помогает говорить сразу о группе объектов, а не перечислять их каждый раз отдельно.
Принадлежность элемента множеству — отношение между отдельным объектом и множеством. Его обозначают знаком ∈: запись 2 ∈ A читают «2 принадлежит множеству A». Если объект не входит в множество, используют знак ∉, например 5 ∉ A. Эти знаки позволяют коротко указывать, какие именно объекты входят в выбранную группу.
Подмножество — множество, каждый элемент которого принадлежит другому множеству. Запись A ⊆ B означает, что A является подмножеством B: всё, что есть в A, обязательно есть и в B. Например, если A = {1, 2}, а B = {1, 2, 3}, то A ⊆ B. Это обозначение удобно, когда нужно сравнить не отдельные объекты, а целые группы.
Вложенность множеств — отношение, при котором одно множество целиком входит в другое. Множества могут совпадать: тогда в них одни и те же элементы. Если же в большем множестве есть дополнительные элементы, включение строгое. Различие важно, чтобы понимать, говорит ли запись только о полном включении или ещё и о том, что множества неодинаковы.
Чтобы проверить, верно ли A ⊆ B, нужно взять каждый элемент A и выяснить, есть ли он в B. Проверка именно всех элементов необходима: несколько совпадений ещё не доказывают, что включение выполнено для всей группы. Если нашёлся хотя бы один элемент A, которого нет в B, условие нарушено. Такой элемент служит контрпримером и сразу опровергает включение.
Вложенность числовых множеств следует из правил, по которым определены числа. Натуральные числа используют при счёте, а каждое из них является целым числом; поэтому любое натуральное число входит в множество целых чисел. Значит, множество натуральных чисел вложено в множество целых. Аналогично, любое целое число можно записать как дробь со знаменателем 1, поэтому целые числа входят в рациональные.
Запись A ⊆ B допускает два случая: все элементы A входят в B, и при этом A может как совпадать с B, так и быть его частью. Чтобы включение было строгим, требуется дополнительное условие: в B должен найтись элемент, которого нет в A. Например, {1, 2} ⊂ {1, 2, 3}, потому что число 3 есть только во втором множестве. Если дополнительных элементов нет, множества равны.
Диаграмма Эйлера—Венна изображает множества в виде областей. Если A ⊆ B, область A рисуют целиком внутри области B, потому что ни один элемент A не может оказаться за пределами B. При строгом включении часть области B остаётся снаружи A: там можно расположить дополнительные элементы большего множества. Диаграмма помогает увидеть направление включения, но сама по себе не заменяет проверку элементов.
Включения можно соединять в цепочку. Если каждый элемент A входит в B, а каждый элемент B входит в C, то любой элемент A входит и в C: сначала он принадлежит B, а значит, по следующему включению принадлежит C. Поэтому A ⊆ C. Такое свойство позволяет располагать множества от более узких к более общим, например натуральные, целые и рациональные числа — в порядке N ⊂ Z ⊂ Q.
| Отношение | Что проверяем | Обозначение | Что следует из записи |
|---|---|---|---|
| Элемент принадлежит множеству | Входит ли объект в множество | x ∈ A | x является элементом A |
| Элемент не принадлежит множеству | Отсутствует ли объект в множестве | x ∉ A | x не является элементом A |
| Одно множество входит в другое | Все ли элементы A есть в B | A ⊆ B | Каждый элемент A принадлежит B; множества могут совпадать |
| Одно множество строго входит в другое | Все ли элементы A есть в B и есть ли в B дополнительные | A ⊂ B | A входит в B, но A и B не совпадают |
| Два множества совпадают | Состоят ли они из одних и тех же элементов | A = B | Каждый элемент A есть в B и наоборот |
Сначала определите, что сравнивается: один объект с множеством или два множества. Затем выберите нужный знак и проверьте условие из третьего столбца. Для строгого включения дополнительно убедитесь, что в большем множестве есть элемент, которого нет в меньшем.
Задача. Даны A = {1, 2, 3} и B = {1, 2, 3, 4}. Определите, является ли A подмножеством B, и запишите отношение символами. Сравнивать нужно каждый элемент A с составом B. Если все три числа найдутся в B, включение верно; наличие в B ещё и числа 4 этому не мешает.
Ответ: A ⊆ B, причём A ⊂ B.
Задача. Даны C = {а, б, в} и D = {а, в, г}. Проверьте, верно ли C ⊆ D. Чтобы доказать включение, пришлось бы подтвердить принадлежность D каждого элемента C. Для опровержения достаточно обнаружить один элемент C, которого в D нет.
Ответ: C ⊆ D неверно, потому что б ∈ C, но б ∉ D.
Задача. Даны множества натуральных, целых и рациональных чисел. Запишите их в порядке вложенности и изобразите отношение между ними диаграммой. Сначала выясним, какие числа входят в каждое множество. Натуральные числа входят в целые, а каждое целое можно представить дробью со знаменателем 1, поэтому оно является рациональным.
Ответ: натуральные числа ⊂ целые числа ⊂ рациональные числа. Вложенные области диаграммы показывают, что каждый элемент внутреннего множества принадлежит всем окружающим его множествам.
Путать принадлежность элемента и включение множеств — значит смешивать два разных отношения. Запись 2 ∈ A сравнивает число и множество, а A ⊆ B сравнивает два множества; это различие легко упустить из-за похожих символов. Проверяйте, что стоит слева от знака: отдельный объект или обозначение множества. Так можно выбрать нужный знак ещё до проверки самого отношения.
Несколько общих элементов не доказывают включение. Например, множества могут содержать числа 1 и 2, но в A при этом может быть ещё число, отсутствующее в B. Ошибку допускают, когда сравнивают только начало списков или замеченные совпадения. Для самопроверки выпишите все элементы меньшего множества и поставьте отметку напротив каждого найденного в большем.
Иногда знак ⊆ ошибочно считают обозначением только строгого включения и исключают равные множества. Но если A и B состоят из одних и тех же элементов, каждый элемент A всё равно принадлежит B, значит, A ⊆ B. Ошибка возникает из-за бытового смысла слова «часть». Проверьте, есть ли в большем множестве дополнительный элемент: если его нет, множества совпадают, но включение остаётся верным.
При записи A ⊆ B направление важно: проверяем элементы A и ищем их в B. Из этого не следует, что каждый элемент B находится в A. Поменять множества местами — значит изменить утверждение, а оно может оказаться неверным. Чтобы не ошибиться, прочитайте запись словами: «каждый элемент A принадлежит B» и проверьте её именно в этом порядке.
Для изучения вложенности нужно понимать, что такое множество и его элементы, а также уметь читать записи принадлежности ∈ и ∉. Без этих понятий нельзя проверить, входят ли элементы одного множества в другое. Поэтому сначала выясняют состав множеств, а уже затем сравнивают их. Различение элементов и множеств помогает не путать знаки ∈ и ⊆.
Вложенность пригодится при изучении числовых множеств: например, натуральные числа входят в целые, а целые — в рациональные. Она помогает классифицировать объекты по общим признакам и выстраивать группы от узких к более общим. Диаграммы делают такую классификацию наглядной: расположение областей показывает отношения между множествами. Тот же подход применяют, когда нужно понять, входит ли одна категория объектов в другую.
Как проверить, что одно множество является подмножеством другого?
Проверьте каждый элемент первого множества: он должен принадлежать второму. Если хотя бы один элемент не входит во второе множество, включения нет.
Чем знак ∈ отличается от знака ⊆?
Знак ∈ показывает, что отдельный объект является элементом множества: например, 2 ∈ A. Знак ⊆ сравнивает два множества: A ⊆ B означает, что каждый элемент A принадлежит B.
Может ли множество быть подмножеством самого себя?
Да. Каждый элемент множества принадлежит ему самому, поэтому A ⊆ A. Такое включение не является строгим.
Как понять, что включение множеств строгое?
При строгом включении все элементы меньшего множества входят в большее, но в большем есть хотя бы один дополнительный элемент. Например, если A = {1, 2}, а B = {1, 2, 3}, то A строго входит в B.
Как показать вложенность множеств на диаграмме?
Нарисуйте область большего множества и поместите область меньшего целиком внутрь неё. Элементы большего множества могут оставаться за пределами внутренней области.
§ 19. Вложенность множеств
