РАЗДЕЛ I. МНОЖЕСТВА, ФУНКЦИИ, ОТНОШЕНИЯ.

Лекция № 1. Множества и операции над ними.

1. Основные понятия теории множеств.

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

а Î М

Множество можно описать, указав какое-то свойство, присущее всем элементам этого множества.

Замечание. Вообще говоря, понятие множества считается первичным (исходным) понятием, и, как таковое, не определяется. Приведённое выше определение следует, скорее, считать уточнением понятия множества.

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

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

Множество, не содержащее элементов, называется пустыми обозначается символом Æ.

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

Пример 1. Некоторые примеры множеств, заданных различными способами.

а) .

б) .

в) .

Мощностью конечного множества М называется количество его элементов. Обозначается . Если , то множества А и В называются равномощными.

Определение. Если все элементы множества А являются также элементами множества В, то говорят, что множество А включается (содержится) в множестве В.

А

В