1.1 Основные понятия и определения теории множеств

Определение. Под множеством (совокупностью) понимают набор объектов произвольной природы, которые называются элементами множества.

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

Множества принято обозначать большими буквами латинского алфавита: Для числовых множеств приняты обозначения;

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

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

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

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

множество вещественных чисел;

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

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

Определение. Говорят, что всякий элемент множества принадлежит и пишут: Если же элемент не является элементом множества то говорят, что не принадлежит и пишут:

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

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

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

Определение. Если все элементы данной системы множеств принадлежат какому-то одному большому множеству, такое множество называется универсальным множеством, или универсумом, и обозначается Из контекста, как правило, ясно, какие элементы образуют универсум. В иных случаях универсум – это некоторое абстрактное множество, из элементов которого состоят все остальные множества, и других «кирпичиков» для образования множеств нет.

1.2 Два принципа интуитивной теории множеств

Утверждение, что любое множество однозначно определяется своими элементами, можно сформулировать по-другому.

Определение. (Интуитивный принцип объемности). Два множества и называются равными, пишется тогда и только тогда, когда они состоят из одних и тех же элементов.

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

В соответствии с принципом объемности доказательство равенства множеств и нужно проводить в два этапа: доказать, что всякий элемент принадлежит также множеству ; доказать, что всякий элемент принадлежит и множеству .

Пример 1.2.1. Множество равно множеству , так как порядок перечисления элементов множества не имеет значения.

Пример 1.2.2. , множество слева от знака это пустое множество, не содержащее элементов, а множество справа – это множество, содержащее единственный элемент – пустое множество.

Пример 1.2.3. так как первое множество – это семейство, содержащее два элемента: множества . Второе множество, содержит три элемента – 1, 2, 3.

Пример 1.2.4. Докажем, что множество всех положительных целых четных чисел равно множеству всех положительных чисел, представимых как сумма двух целых положительных нечетных чисел.

Доказательство.

Пусть

Тогда

Пусть

Тогда

Определение. Под высказыванием будем понимать любое повествовательное предложение, которое можно охарактеризовать как истинное или ложное.

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

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

1. Рассмотрим утверждение « ». Этот предикат превращается в истинное высказывание, если переменную заменить числом 6, ложное высказывание, если переменную заменить числом 3 и в бессмысленное высказывание, если написать «студент Иванов ».

2. Предикат «слово содержит букву а» превращается в истинное высказывание в случае «слово «математика» содержит букву а» и ложное в случае «слово «студент» содержит букву а».

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

Понятие одноместного предиката легко обобщить на двух-, трех-,…, – местные предикаты. Например, « » – это двуместный предикат, « » – трехместный предикат и т.д.

Предикаты будем обозначать большими латинскими буквами, после которых в скобках перечислены их аргументы:

и т.д.

Определение. (Интуитивный принцип абстракции). Говорят, что всякий предикат задает некоторое множество (быть может, пустое), посредством условия, согласно которому в входят те и только те элементы , которые обращают в истинное высказывание.

Так как всякое множество однозначно определяется своими элементами, любой предикат определяет в точности одно множество , обозначение: .

Читается: множество таких элементов , что истинное высказывание. Возможны некоторые модификации записи , смысл которых легко понять из контекста.

Пример 1.2.5. это множество точек окружности радиуса 1 с центром в начале координат.

Пример 1.2.6. и не имеет отличных от 1 делителей меньших или равных это множество простых чисел.

Пример 1.2.7. пустое множество.

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