1.1. Множества и их элементы. Способы задания множеств

Первичным понятием теории множества является понятие самого множества. Данный термин был введен в математику создателем теории множеств Г. Кантором¹. Следуя ему, под множеством понимается совокупность объектов произвольной природы, которая рассматривается как единое целое. Объекты, входящие в состав множества, называются его элементами.

Это описание понятия множества нельзя считать логическим определением, а всего лишь пояснением. Понятие множества принимается как исходное, первичное, то есть не сводимое к другим понятиям.

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

Множества принято обозначать прописными буквами латинского алфавита: A, B, C, … Обозначается множество скобками {…}, внутри которых либо просто перечисляются элементы, либо описываются их свойства. Для числовых множеств будем использовать следующие обозначения:

N – множество натуральных чисел;

N₀ – множество неотрицательных целых чисел;

Z – множество целых чисел;

Q – множество рациональных чисел;

I – множество иррациональных чисел;

R – множество действительных чисел;

C – множество комплексных чисел.

Элементы множества будем обозначать строчными латинскими буквами: a, b, c, …

Предложения вида «объект a есть элемент множества A», «объект a принадлежит множеству A», имеющие один и тот же смысл, кратко записывают в виде a  A. Если элемент a не принадлежит множеству A, то пишут a  A. Символ  называется знаком принадлежности.

Множества могут содержать как конечное число элементов, так и бесконечное. Например, множество всех корней уравнения x² – 3x + 2 = 0 конечно (два элемента), а множество всех точек прямой бесконечно. Рассматривают в математике и множество, не содержащее ни одного элемента.

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

Число элементов конечного множества называется его мощностью. Если множество A содержит n элементов, то будем писать |A| = n. Если множество A = , то |A| = 0. Мощность бесконечного множества является более сложным понятием и изучается в дискретной математике и в числовых системах.

Замечание 1.1. Элементами множества могут быть множества. Например, можно говорить о множестве групп некоторого факультета университета. Элементы этого множества – группы, являющиеся в свою очередь множествами студентов. Но конкретный студент одной из групп уже не является элементом множества групп факультета.

Определение 1.2. Множество, элементами которого являются другие множества, называется семейством (или классом).

Определение 1.3. Если все элементы данной совокупности множеств принадлежат некоторому одному множеству, то такое множество называется универсальным множеством, и обозначается U.

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

1.  перечислением всех его элементов;

2.  характеристическим свойством элементов множества;

3.  порождающей процедурой.

Первый способ задания множеств применим только для конечных множеств, да и то при условии, что число элементов множества невелико. Если a, b, c, d – обозначения различных объектов, то множество A этих объектов записывают так: A = {a, b, c, d}. Запись читают: «A – множество, элементы которого a, b, c, d».

Замечание 1.2. Порядок перечисления элементов множества не имеет значения. Например, множества {m, n, k, r} и {n, m, r, k} совпадают.

Вторым способом можно задавать как конечные, так и бесконечные множества. Характеристическое свойство – это такое свойство, которым обладает каждый элемент, входящий в данное множество, и не обладает ни один элемент, который ему не принадлежит. Если обозначить символом P(а) характеристическое свойство элементов множества A, то тогда используется следующая запись: A = {а  P(а)}.

Порождающая процедура описывает способ получения элементов нового множества из уже полученных элементов или из других объектов. Тогда элементами множества считаются все объекты, которые могут быть получены с помощью этой процедуры. Другими словами, порождающая процедура – это процесс, который будучи запущен, порождает все элементы данного множества. С помощью порождающей процедуры можно задавать множества, содержащие любое число элементов.

Пример 1.1. Определим различными способами множество M всех нечетных натуральных чисел, не превышающих 10:

1. M = {1, 3, 5, 7, 9};

2. M = {m | m  N, m < 10, m – нечетное число} или

M = {2n – 1 | n  N, n  5};

3. порождающая процедура определяется правилами:

1. 1  M;

2. если m  M, то (m + 2)  M, где m  7.