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

Курсовая работа

Выполнил студент 3 курса 4 группы физико-математического факультета Данилюк Ярослав Борисович

Мозырский государственный педагогический университет

Мозырь 2006

Введение

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

Программа Кантора вызвала резкие протесты со стороны многих современных ему крупных математиков. Особенно выделялся своим непримиримым к ней отношением Леопольд Кронекер, полагавший, что математическими объектами могут считаться лишь натуральные числа и то, что к ним непосредственно сводится (известна его фраза о том, что “бог создал натуральные числа, а всё прочее — дело рук человеческих”). Тем не менее, некоторые другие математики — в частности, Готлоб Фреге и Давид Гильберт — поддержали Кантора в его намерении перевести всю математику на теоретико-множественный язык.

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

После обнаружения антиномии Рассела часть математиков (например, Л. Э. Я. Брауэр и его школа) решила полностью отказаться от использования теоретико-множественных представлений. Другая же часть математиков, возглавленная Д. Гильбертом, предприняла ряд попыток обосновать ту часть теоретико-множественных представлений, которая казалась им наименее ответственной за возникновение антиномий, на основе заведомо надёжной финитной математики. С этой целью были разработаны различные аксиоматизации теории множеств. Особенностью аксиоматического подхода является отказ от, лежащего в основе программы Кантора, представления о действительном существовании множеств в некотором идеальном мире. В рамках аксиоматических теорий множества “существуют” исключительно формальным образом, и их «свойства» могут существенно зависеть от выбора аксиоматики.

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

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

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

Целями данной курсовой работы являются:

Изучение исходных понятий теории множеств, а также аксиоматики теории множеств.

Систематизация теоретико-множественной концепции.

Интеграция научной информации в учебный процесс.

Задачи курсовой работы “Элементы теории множеств”:

Поиск наиболее полного, содержательного и объективного ответа на вопросы разделов теории множеств.

Изучение определений и теорем в соответствии с различными научными подходами.

Создание компьютерной презентации с целью использования в качестве наглядного пособия при изучении теории множеств.

Создание электронного учебника, позиционируемого как справочное пособие для домашнего самостоятельного изучения.

Глава 1. Исходные понятия теории множеств

1.1. Множество как первоначальное неопределяемое понятие в математике

В 70-х годах прошлого века немецкий математик Георг Кантор, исследуя тригонометрические ряды и числовые последовательности, встал перед необходимостью сравнить между собой бесконечные совокупности чисел. Для решения возникших проблем Кантор и выдвинул понятие множества. Согласно канторовскому определению, множество есть любое собрание определенных и различимых между собой объектов нашей интуиции или интеллекта, мыслимое как единое целое. Это определение не накладывает никаких ограничений на природу элементов множества, что предоставляет нам значительную свободу. В частности, допустимо рассматривать множества, элементы которых по той или иной причине нельзя точно указать (например, множество простых чисел).

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