Множества и операции над ними. Понятие множества является одним из основных математических понятий

Понятие множества является одним из основных математических понятий. Оно первично, исходно и не определяется через другие более простые понятия. Под множеством понимают совокупность различимых между собой объектов, мыслимых как единое целое. Объекты, которые образуют множество, называются элементами (или членами) этого множества. Примерами множеств могут служить: множество адвокатов в некоторой юридической консультации, множество дел, рассмотренных каким-либо судом за предыдущий месяц, множество действительных чисел. Множества обозначаются большими буквами латинского алфавита: А, В, С, ….

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

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

Существует несколько способов задания множеств.

1. Множество можно задать словесным описанием его элементов, например:

а) Множество действительных чисел;

б) Множество правонарушений в Ярославской области за 2000 год

в) Множество студентов Ярославского госуниверситета.

2. Множество можно задать перечислением его элементов. При этом перечисляемые элементы заключаются в фигурные скобки, например: – множество, состоящее из элементов ; – множество, состоящее из натуральных чисел . Такое задание и обозначение применяется для конечных множеств, содержащих небольшое число элементов. Для задания конечных множеств, содержащих большое число элементов, оно слишком громоздко, и тем более оно неприменимо для бесконечных множеств.

3.Третий способ задания множества заключается в указании общего вида его элементов и их характеристического свойства. В этом случае поступают следующим образом: в фигурных скобках указывается общий вид элементов множества, затем проводится вертикальная черта, после которой формулируется характеристическое свойство. Например, множество – множество рациональных чисел.

Свойство считается характеристическим для элементов множества, если этому множеству принадлежат те и только те элементы, которые обладают данным свойством. Если характеристическое свойство элементов обозначить символом , то будем иметь запись . Посредством характеристического свойства можно задавать любые множества: и конечные, и бесконечные.

Для обозначения того, что является элементом множества (или что принадлежит ), применяется запись . Говорят, что два множества равны ( ), если они состоят из одних и тех же элементов, то есть если все элементы одного множества являются и элементами другого. Если множество не содержит никаких элементов, то оно называется пустым множеством и обозначается символом Æ. Множество всех объектов, которые рассматриваются в конкретной задаче или ситуации, называется универсальным множеством и обозначается символом .

Пусть – заданное множество элементов. Множество называется подмножеством множества (обозначение ), если каждый элемент множества является элементом множества . Заметим, что если и , то .