Стоит отметить, что такое определение понятия множества приводит к ряду внутренних противоречий теории – так называемым парадоксам



Например, рассмотрим парадокс Рассела. Парикмахер
(элемент х), проживающий в некоторой деревне, которые не бреются сами (пусть Х – множество всех тех и только тех жителей данной деревни, которые не бреются сами). Бреет ли парикмахер самого себя? То есть или ? Ответить на вопрос невозможно, поскольку полагая, например, что , сразу приходим к противоречию: , и обратно.

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

На настоящее время существует несколько аксиоматических систем теории множеств:

-Система аксиом Цермело. К этой системе аксиом часто добавляют аксиому выбора, и называют системой Цермело — Френкеля с аксиомой выбора (ZFC).

-Аксиомы теории NBG. Данная система аксиом, предложенная фон Нейманом, впоследствии пересмотренная и упрощенная Робинсоном, Бернайсом и Геделем.

Система Цермело (Z-система) состоит из 7 аксиом. Опишем данные аксиомы в тех рамках, в которых они используются в школьном курсе математики.

Аксиома объемности (Z1). Если все элементы множества А принадлежат множеству В, а все элементы множества В принадлежат также множеству А, то А=В.

Для пояснения данной аксиомы нам необходимо использовать термин «подмножество»: Если каждый элемент множества A является элементом множества Z, то говорят, что А – подмножество Z, и пишут . Символ именуется «включение». Если не исключается возможность ситуации, когда Z=A, то для того чтобы акцентировать на этом внимание, пишут .

Введя термин «подмножество», сформулируем аксиому 1 в символьном виде: .

Аксиома пары (Z2). Для произвольных a и b существует множество, единственными элементами которого являются {a,b}.

Данная аксиома используется при пояснении декартова произведения множеств, где первоначальным понятием является «упорядоченная пара». Под упорядоченной парой понимают совокупность двух элементов, каждый из которых занимает в записи определенное место. Обозначают упорядоченную пару так: (а,b).

Аксиома суммы (Z3). Для произвольных множеств А и В существует единственное множество С, элементами которого являются все элементы множества А и все элементы множества В и которое никаких других элементов больше не содержит.

В символьном виде аксиому Z3 можно записать так: . На основании данной аксиомы и вытекающих из неё теорем [6] указываются свойства операций множеств, описание которых будут изложены в пункте 3. Аксиомы Z1 и Z2 позволяют нам ввести понятие операции объединения, пересечения, дополнение, разности множеств.

Аксиома степени (Z4). Для любого множества Х существует множество всех его подмножеств Р(Х).

Аксиома бесконечности (Z6). Существует, по крайней мере, одно бесконечное множество – натуральный ряд чисел.

Аксиома выбора (Z7). Для всякого семейства непустых множеств существует функция, которая каждому множеству семейства сопоставляет один из элементов этого множества. Функция называется функцией выбора для заданного семейства.


Дата добавления: 2018-04-04; просмотров: 372; Мы поможем в написании вашей работы!

Поделиться с друзьями:






Мы поможем в написании ваших работ!