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

С конца 19-го — начала 20-го века теория множеств становится универсальным языком математики.

Георг Кантор (Georg Cantor, 18 -1919, Германия), создатель теории бесконечных множеств и родоначальник теоретико-множественного языка в математике, писал: „под множеством мы понимаем объединение в одно целое определенных, вполне различимых объектов нашего восприятия или мысли“. Это высказывание не является определением понятия „множество“: оно лишь поясняет это понятие, связывая его с другими не менее сложными и не более определенными ранее понятиями. Понятие множества относится к основным, неопределяемым понятиям.

Созданную Кантором теорию обычно называют наивной теорией множеств. Основные положения наивной теории множеств следующие.

1. Множество может состоять из любых хорошо различимых элементов.

2. Множество вполне определяется совокупностью его элементов.

3. Всякое свойство множеств однозначно определяет класс тех и только тех множеств, которые им обладают.

4. Множества сами могут быть элементами множеств.

5. Включение объекта в ту или иную совокупность не отражается на его индивидуальных свойствах.

6. Допустимо мыслить бесконечные множества завершенными (актуальная бесконечность) и, соответственно, операции над ними — выполненными.

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

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

Будем стремиться обозначать элементы множеств, в основном, малыми (строчными) буквами из начала или из конца латинского алфавита:

,

а множества — в основном, большими (заглавными) буквами из начала или из конца латинского алфавита:

.

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

Обозначения: а Î А – элемент а принадлежит множеству А.

х Ï А Û Ø (х Î А) – х не принадлежит множеству А.

А ∋ х – множество А имеет элемент х.

А ∌ х – множество А не имеет элемента х.

Диаграммы Эйлера-Венна:

Множества: фигуры на плоскости, элементы множеств – точки.

Отношения равенства и включения:

1°. А = В Û " х (х Î А Û х Î В)

а) рефлексивность: А = А;

б) симметрия: А = В Þ В = А;

в) транзитивность: А = В Ù В = С Þ А = С.

2°. А Ì В Û " х (х Î А Þ х Î В)

«Множество А содержится в множестве В»,

А – подмножество, В – надмножество.

А É В Û В Ì А – «А содержит В».

Отношение включения рефлексивно (множество содержит само себя А Ì А),

антисимметрично (А Ì В Ù В Ì А Û А = В),

транзитивно (А Ì В Ù В Ì С Þ А Ì С).

Отношения равенства и включения определяют частичную упорядоченность.

Классификатор: множество М зачастую задаетсяс помощью классификатора

М º { x ½ P (x)}

«Множество М есть множество объектов х для которых выполнено свойство Р (х)».

Пустое множество Æ – множество, которое не имеет элементов т.е.

а) " х х ÏÆ; б) " Х ÆÌ Х; в) " Х (Х ÌÆ Þ Х = Æ).