Определение множества.

Теория множеств.

Множества. Пустое множество. Универсальное множество. Подмножества. Собственное подмножество. Способы задания множеств. Мощность множества. Равномощные множества. Конечные и счётные множества. Операции над множествами (объединение, пересечение, дополнение, разность, симметрическая разность). Законы алгебры множеств. Характеристические функции. Декартово произведение множеств. Отношения и свойства отношений. Функции на множествах.

Определение множества.

Множество - это совокупность определённых различаемых объектов, причём таких, что для каждого можно установить, принадлежит этот объект данному множеству или нет.

Множества обычно обозначаются заглавными латинскими буквами, а элементы множества - строчными. Элементами множеств могут быть любые объекты, например, числа, символы, слова, объекты реального мира. В частности, элементами множества могут быть другие множества.

Например:

A = { a, b, c } - множество A состоящее из 3 элементов

N = { 1, 2, 3, … } - множество N целых чисел

Элементы множества являются уникальными, то есть, один и тот же элемент не может включаться в множество несколько раз (в отличие от векторов и мультимножеств). Считается, что при добавлении в множество элемента, который в нем уже присутствует, множество не меняется.

Порядок записи элементов множества не является существенным (в отличие от записи элементов векторов, где порядок важен).

Таким образом, множества считаются равными, если они состоят из одних и тех же элементов.

Если некоторый объект является элементом множества , то этот факт записывается следующим образом: и читается «x принадлежит А». Аналогично, если элемент не является элементом множества , используется запись («y не принадлежит А»).

Пустое множество – это множество, не содержащее элементов. Пустое множество может быть обозначено с использованием фигурных скобок: = { }. Однако, множество B = { } не является пустым: это множество, содержащее один элемент, который является пустым множеством.

Универсальное множество Е – множество всех объектов, рассматриваемых в данной задаче.

Конечные и бесконечные множества. Если количество элементов множества конечно (то есть существует натуральное число, равное количеству элементов множества), то такое множество называется конечным. В противном случае множество называется бесконечным.

Мощность множества или кардинальное число |A| (иногда card (A)). Мощность множества является обобщением понятия количества элементов на бесконечные множества. Для конечных множеств мощность равна количеству элементов множества.

Мощность пустого множества по определению равна нулю: .

Равномощные множества – это множества, между элементами которых можно установить взаимно однозначное соответствие.

Счётное множество – множество, равномощное множеству натуральных чисел.

Множество А называют подмножеством множества B (обозначается либо ) если все элементы, которые принадлежат множеству A, так же принадлежат и множеству B.

В этом случае B называют надмножеством A

Пустое множество является подмножеством любого множества.

Любое множество является подмножеством самого себя:

Любое множество является подмножеством универсального множества:

Два множества A и B равны тогда и только тогда, когда A является подмножеством B и B является подмножеством A.

Если множество A является подмножеством множества B, но A и B не равны, то в этом случае говорят что А является собственным подмножеством B (обозначается ).

Некоторые специальные множества: (Натуральные числа), (целые числа), (вещественные числа), (рациональные числа),