Тема 1.1. Множества и операции над ними

Глава 1. Введение в теорию множеств

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

Наивная теория множеств. До второй половины XIX века понятие «множества» не рассматривалось в качестве математического. Все изменилось, когда немецкий математик Георг Кантор разработал свою программу стандартизации математики, в рамках которой любой математический объект должен был оказываться тем или иным «множеством». При этом общему понятию «множества», рассматривавшемуся им в качестве центрального для математики, Кантор давал мало что определяющие определения вроде «множество есть многое, мыслимое как единое». Свою программу Кантор назвал не «теорией множеств» (этот термин появился много позднее), а учением о множествах (Mengenlehre).

Программа Кантора вызвала резкие протесты со стороны многих современных ему крупных математиков. Тем не менее, некоторые другие математики — в частности, Готлоб Фреге и Давид Гильберт — поддержали Кантора в его намерении перевести всю математику на теоретико-множественный язык.

Вскоре выяснилось, что установка Кантора на неограниченный произвол при оперировании с множествами (выраженный им самим в принципе «сущность математики состоит в её свободе») является изначально порочной. А именно, был обнаружен ряд теоретико-множественных антиномий: оказалось, что при использовании теоретико-множественных представлений некоторые утверждения могут быть доказаны вместе со своими отрицаниями (а тогда, согласно правилам классической логики высказываний, может быть «доказано» абсолютно любое утверждение). Антиномии ознаменовали собой полный провал программы Кантора.

Аксиоматическая теория множеств. В начале XX века Бертран Рассел, изучая наивную теорию множеств, пришел к парадоксу (с тех пор известному как парадокс Рассела). Таким образом, была продемонстрирована несостоятельность наивной теории множеств и связанной с ней канторовской программы стандартизации математики.

После обнаружения антиномии Рассела часть математиков решила полностью отказаться от использования теоретико-множественных представлений. Другая же часть математиков, возглавленная Д. Гильбертом, предприняла ряд попыток строго обосновать ту часть теоретико-множественных представлений, которая казалась им наиболее ответственной за возникновение антиномий, на основе заведомо надёжной финитной математики. С этой целью были разработаны различные аксиоматизации теории множеств.

Особенностью аксиоматического подхода является отказ от лежащего в основе программы Кантора представления о действительном существовании множеств в некотором идеальном мире. В рамках аксиоматических теорий множества «существуют» исключительно формальным образом, и их «свойства» могут существенно зависеть от выбора аксиоматики. Этот факт всегда являлся мишенью для критики со стороны тех математиков, которые не соглашались (как на том настаивал Гильберт) признать математику лишённой всякого содержания игрой в символы.

Цель: ознакомиться с понятием множество. Получить общие представления об множествах и операциях над ними.

Задачи:

1. Ознакомиться с основными понятиями.

2. Изучить операции над множествами.

3. Ознакомиться с векторами и прямыми произведениями.