"Алгебра", Макарычев Ю.Н., Миндюк Н.Г. и др.
Подмножество помогает сравнивать множества: оно показывает, входят ли все элементы одного множества в другое. Например, множество чётных чисел от 1 до 6 является подмножеством множества чисел от 1 до 6. Для проверки достаточно перебрать элементы меньшего множества и убедиться, что каждый есть в большем. Это понятие нужно, чтобы сравнивать множества, доказывать их равенство и разбираться с числовыми множествами и множествами решений.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Множество A называют подмножеством множества B, если каждый элемент A принадлежит B. Например, {1, 2} — подмножество {1, 2, 3}, потому что оба числа из первого набора есть во втором. Это понятие позволяет точно сравнивать множества и выяснять, входят ли все элементы одного в другое.
Знак ⊂ называют знаком включения. Запись A ⊂ B читают: «A — подмножество B» или «A включено в B»; она описывает отношение между двумя множествами, а не между элементом и множеством. Обозначение удобно, когда нужно коротко записать, что ни один элемент A не выходит за пределы B.
Множества равны, если состоят из одних и тех же элементов. При этом порядок записи элементов значения не имеет: {1, 2, 3} и {3, 1, 2} — одно множество. Равенство можно проверить через включения: каждое из двух множеств должно быть подмножеством другого.
Пустое множество — множество, в котором нет ни одного элемента; его обозначают ∅. Оно является подмножеством любого множества, потому что в нём нет элемента, который нарушил бы условие включения. Это обозначение помогает говорить о случаях, когда подходящих элементов вовсе нет.
Проверка включения сводится к перебору элементов предполагаемого подмножества. Нужно для каждого элемента A выяснить, принадлежит ли он B, потому что определение требует выполнения этого условия для всех элементов сразу. Если хотя бы один элемент A отсутствует в B, включение не выполняется: одного такого примера достаточно, чтобы опровергнуть общее утверждение.
Любое множество включено в себя: A ⊂ A. Причина проста — если выбрать любой элемент A, он уже принадлежит A, а значит, условие выполняется для каждого элемента. Это свойство полезно при сравнении множеств и не требует перечислять их элементы по отдельности.
Если A ⊂ B и B ⊂ C, то A ⊂ C. Возьмём любой элемент A: из первого включения следует, что он принадлежит B, а из второго — что он принадлежит C. Значит, каждый элемент A находится в C, и по определению A является его подмножеством.
Два множества равны тогда и только тогда, когда каждое включено в другое. Одно включение гарантирует, что в первом множестве нет элементов вне второго, но не исключает, что во втором есть дополнительные элементы. Обратное включение убирает эту возможность: элементы второго также должны быть в первом, поэтому составы совпадают.
Пустое множество является подмножеством любого множества. Чтобы включение было неверным, нужен элемент пустого множества, который не входит в выбранное множество, но такого элемента не существует. Поэтому условие о принадлежности каждого элемента выполняется без исключений.
| Запись | Что означает | Пример |
|---|---|---|
| A ⊂ B | Каждый элемент A принадлежит B | {1, 2} ⊂ {1, 2, 3} |
| A ⊄ B | В A есть элемент, не принадлежащий B | {1, 4} ⊄ {1, 2, 3} |
| A = B | Множества состоят из одних и тех же элементов | {1, 2} = {2, 1} |
| ∅ ⊂ A | Пустое множество является подмножеством A | ∅ ⊂ {1, 2} |
Сначала определи, какие объекты записаны слева и справа: знак ⊂ сравнивает множества, а не отдельные числа с множеством. Затем примени смысл записи из средней колонки и проверь пример. Для равенства проверяй включения в обоих направлениях.
Даны множества A = {1, 2} и B = {1, 2, 3}. Определите, верно ли, что A ⊂ B. Проверим элементы A, так как именно они должны все входить в B. Если каждый из них найдётся в B, включение верно.
Ответ: A ⊂ B. Число 3 в B не мешает включению: определение не требует, чтобы множества совпадали.
Даны C = {a, b, c} и D = {a, b}. Нужно проверить C ⊂ D и D ⊂ C по отдельности. Нельзя считать, что если одно включение неверно, то автоматически неверно и обратное: у каждого направления своя проверка.
Ответ: C ⊄ D, но D ⊂ C. Элемент c служит конкретным опровержением первого утверждения, а для второго все элементы проверены.
Даны E = {x ∈ ℤ | −2 ≤ x ≤ 2} и F = {−2, −1, 0, 1, 2}. Символ ℤ обозначает целые числа, поэтому E состоит из целых чисел от −2 до 2 включительно. Чтобы установить равенство, докажем два включения.
Ответ: E = F. Запись через условие и перечисление задают здесь один и тот же набор чисел.
Путать включение с принадлежностью. Запись A ⊂ B не означает, что A — элемент B: она сравнивает два множества. Ошибка возникает из-за того, что оба знака стоят между обозначениями; проверь, является ли левая часть множеством или отдельным элементом.
Проверять только часть элементов. Даже если несколько элементов A есть в B, оставшийся элемент может опровергнуть включение. Такую ошибку допускают, когда останавливаются после первых удачных проверок; для самопроверки перебери A до конца или найди конкретный контрпример.
Считать обратное включение автоматическим. Из A ⊂ B не следует само по себе B ⊂ A: в B могут быть дополнительные элементы. Чтобы не перепутать направления, отдельно выпиши элементы проверяемого множества и сравни их с другим.
Считать множества разными из-за порядка записи. Перестановка элементов не меняет состав множества, поэтому {1, 2} и {2, 1} равны. Ошибка появляется, если воспринимать множество как упорядоченный список; сравни именно элементы, а не очередность их записи.
Для работы с подмножествами нужно знать, что такое множество и его элементы, а также различать принадлежность ∈ и включение ⊂. Принадлежность связывает отдельный объект с множеством, а включение сопоставляет два множества. Это различие помогает правильно читать записи и строить доказательства.
Подмножества понадобятся при изучении пересечения и объединения множеств, числовых множеств, а также множеств решений уравнений и неравенств. Например, сравнение множеств решений позволяет увидеть, входит ли каждый ответ одного условия в набор ответов другого. Навык проверки включений помогает обосновывать такие выводы, а не угадывать их по записи.
Как проверить, является ли одно множество подмножеством другого?
Проверь каждый элемент предполагаемого подмножества: все они должны принадлежать второму множеству. Если найдётся хотя бы один элемент, которого там нет, включение неверно.
Чем знак ⊂ отличается от знака принадлежности ∈?
Знак ∈ связывает элемент с множеством: например, 2 ∈ {1, 2}. Знак ⊂ связывает два множества и означает, что каждый элемент первого входит во второе.
Может ли множество быть подмножеством самого себя?
Да. Каждый элемент множества принадлежит ему самому, поэтому для любого множества A верно A ⊂ A.
Как доказать, что два множества равны?
Нужно доказать два включения: каждый элемент первого множества принадлежит второму, а каждый элемент второго — первому. Тогда множества состоят из одних и тех же элементов.
Почему пустое множество является подмножеством любого множества?
В пустом множестве нет элементов, которые могли бы не принадлежать выбранному множеству. Поэтому условие «каждый элемент пустого множества принадлежит A» выполняется для любого A.
2. Подмножество