§1. Множества и операции над ними
Объяснение и обоснование
- Понятие множества. Одним из основных понятий, которые используются в математике, является понятие множества. Для него не дается определения. Можно пояснить, что множеством называют произвольную совокупность объектов, а сами объекты — элементами данного множества. Так, можно говорить о множестве учеников в классе (элементы — ученики), множестве дней недели (элементы — дни недели), множестве натуральных делителей числа 6 (элементы — числа 1, 2, 3, 6) и т. д.
В курсах алгебры и алгебры и начал математического анализа чаще всего рассматривают множества, элементами которых являются числа, и поэтому их называют числовыми множествами.
Как правило, множества обозначают прописными буквами латинского алфавита. Например, если множество М состоит из чисел 1; 2; 3, то его обозначают так: М = {1; 2; 3}. Тот факт, что число 2 входит в это множество (является элементом данного множества М), записывается с помощью специального значка ∈ следующим образом: 2 ∈ М; а то, что число 5 не входит в это множество (не является элементом данного множества), записывается так: 5 ∉ М.
Можно рассматривать также множество, не содержащее ни одного элемента, — пустое множество.
Например: множество простых делителей числа 1 — пустое множество.
Для некоторых множеств существуют специальные обозначения. Так, пустое множество обозначается символом ∅, множество всех натуральных чисел — буквой N, множество всех целых чисел — буквой Z, множество всех рациональных чисел — буквой Q, а множество всех действительных чисел — буквой R.
Множества бывают конечными и бесконечными в зависимости от того, какое количество элементов они содержат. Так, множества А = {7} и M = {1; 2; 3} — конечные, потому что содержат конечное число элементов, а множества N, Z, Q, R — бесконечные.
Множества задают или с помощью перечисления их элементов (это можно сделать только для конечных множеств), или с помощью описания, когда задается правило (характеристическое свойство), которое позволяет определить, принадлежит или нет данный объект рассматриваемому множеству. Например, А = {–1; 0; 1} (множество задано перечислением элементов), B — множество всех четных целых чисел (множество задано характеристическим свойством всех элементов множества). Последнее множество иногда записывают так: B = {b|b — четное целое число} или так: B = {b|b = 2m, где m ∈ Z} — здесь после вертикальной черточки записано характеристическое свойство*.
В общем виде запись множества с помощью характеристического свойства можно обозначить так: A = {x|P (x)}, где P (x) — характеристическое свойство. Например, {x|x2 – 1 = 0} = { –1, 1}, {x|x ∈ R и x2 + 1 = 0} = ∅.
- Равенство множеств. Пусть А — множество всех цифр трехзначного числа 312, то есть A = {3; 1; 2}, а B — множество всех натуральных чисел, меньших четырех, то есть B = {1; 2; 3}. Поскольку эти множества состоят из одних и тех же элементов, то они считаются равными. Это записывают так: A = B. Для бесконечных множеств таким способом (сравнивая все элементы) установить их равенство невозможно. Поэтому в общем случае равенство множеств определяется следующим образом.
Два множества называются равными, если каждый элемент первого множества является элементом второго множества и, наоборот, каждый элемент второго множества является элементом первого множества.
Из приведенного определения равенства множеств следует, что в множестве одинаковые элементы не различаются. Действительно, например, {1; 2; 2} = {1; 2}, поскольку каждый элемент первого множества (1 или 2) является элементом второго множества и, наоборот, каждый элемент второго множества (1 или 2) является элементом первого. Поэтому, записывая множество, чаще всего каждый его элемент записывают только один раз.
- Подмножество
Если каждый элемент множества A является элементом множества B, то говорят, что множество A является подмножеством множества B.
Это записывают следующим образом: A ⊂ B.
Например, {1; 2} ⊂ {0; 1; 2; 3}, N ⊂ Z (поскольку любое натуральное число — целое), Z ⊂ Q (поскольку любое целое число — рациональное), Q ⊂ R (поскольку любое рациональное число — действительное).
Полагают, что всегда ∅ ⊆ A, то есть пустое множество является подмножеством любого множества.
Иногда вместо записи A ⊂ B используется также запись A ⊆ B.
Сопоставим определение равенства множеств с определением подмножества. Если множества А и В равны, то: 1) каждый элемент множества А является элементом множества В, следовательно, А — подмножество В (A ⊆ B); 2) каждый элемент множества В является элементом множества А, следовательно, В — подмножество А (B ⊆ A). Таким образом,
два множества равны тогда и только тогда, когда каждое из них является подмножеством другого.
Иногда соотношения между множествами удобно иллюстрировать с помощью кругов (которые часто называют кругами Эйлера–Венна). Например, рисунок 1 иллюстрирует определение подмножества, а рисунок 2 — отношения между множествами N, Z, Q, R.