1. Элементы теории множеств.

1.1. Множества, подмножества, элементы множества.

         В отличие от других объектов, изучаемых математикой, термин "множество" не имеет строгого определения. Этот термин употребляется как синоним понятий совокупность, собрание, коллекция некоторых элементов. Так, можно говорить (а) о множестве пчёл в улье, (б) о множестве точек отрезка, (в) о множестве вершин квадрата или (г) о множествах его сторон и (д) диагоналей, (е) о множестве студентов в аудитории и т.д. В приведённых примерах в случаях (а), (в)-(е) соответствующие множества состоят из определённого конечного числа предметов, такие множества называются конечными. Множество точек отрезка (пример (б)) пересчитать невозможно, такие множества называются бесконечными. Наконец, множество, не содержащее ни одного элемента, называется пустым множеством.          Задаются множества различными способами. Наиболее простая форма задания множества - перечисление его элементов, например А={2, 6, 15} (множество А состоит из трёх элементов - целых чисел 2, 6, 15). Другая часто применяемая форма задания - указание свойств элементов множества, например A = {x| x² ≤ 4} - множество чисел х, удовлетворяющих указанному условию x² ≤ 4.          Множества обычно обозначаются большими буквами А, В, С,…, а их элементы - малыми: а, в, с… Запись а ∈ А (читается: а принадлежит А) или A ∋ a (читается: А содержит а) означает, что а есть элемент множества А. Записи аА, , (а не принадлежит А) означает, что а не является элементом множества А. Пустое множество обозначается значком .

         Опр. 1.1. Если каждый элемент множества В является также элементом множества А, множество В называется подмножеством множества А (обозначение - B ⊆ A или A ⊇ B).          Согласно этому определению, каждое множество является своим подмножеством (это самое "широкое" подмножество множества). Пустое множество является подмножеством любого множества (это самое "узкое" подмножество). Любое другое подмножество множества А содержит хотя бы один элемент множества А, но не все его элементы. Такие подмножества называются истинными, или собственными подмножествами. Для истинных подмножеств множества А применяется обозначение B ⊂ A или A ⊃ B. Если одновременно B ⊆ A и A ⊆ B, т.е каждый элемент множества В принадлежит А, и в то же время каждый элемент А принадлежит В, то А и В, очевидно, состоят из одних и тех же элементов и, следовательно, совпадают. В этом случае применяется знак равенства множеств =: A = B. (Символы ∈, ∋, ⊂, ⊃, ⊆, ⊇ называются символами включения).

         Общепринятые обозначения множеств: N = { 1, 2, 3, …} - множество натуральных чисел; Z = { ,-4, -3 -2,- 1, 0, 1, 2, 3, ….} - множество целых чисел; Q = - множество рациональных чисел. R - множество вещественных чисел.

         Рассмотрим простой пример. Пусть А, В, С - подмножества множества N: А={1, 2, 6, 18}; В={6, 1, 18}; С={2, 18, 6, 1},. В этом случае А = С; C ⊆ A и A ⊆ C, B ⊂ A.

         Геометрически множества обычно изображаются как некоторые подмножества точек плоскости. В любой имеющей смысл задаче обычно рассматриваются подмножества некоторого "наибольшего" множества U, которое называют универсальным множеством.Так, на рис. 1 изображено универсальное множество U и два его подмножества - множества А и В, B ⊂ A. Сами картинки типа рис. 1 называются диаграммами Эйлера-Венна.