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

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

Понятие множества

Теория множеств опирается на три первичных понятия:

1) множество;

2) элемент;

3) принадлежность.

Строгого определения этим понятиям не дается, описывается только их применение. Для этих понятий используются обозначения: “ Множества и операции над ними - student2.ru ”- элемент а принадлежит множеству А; “ Множества и операции над ними - student2.ru ”элемент с не принадлежит множеству А.

Говоря о некотором множестве, мы требуем его:

1) целостности, т.е. возможности рассматривать его как отдельный объект;

2) различимости его элементов;

3) неупорядоченности элементов.

Поэтому записи Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru определяют одно и то же множество.

1.1.2. Способы задания множеств

Множество можно задать, перечислив все его элементы: Множества и операции над ними - student2.ru , Множества и операции над ними - student2.ru . Порядок записи элементов множества произволен. Часто задают множество, указав его характеристическое свойство, которое для каждого элемента позволяет выяснить, принадлежит он множеству или нет.

Например,

Множества и операции над ними - student2.ru – целый корень уравнения Множества и операции над ними - student2.ru ,

Множества и операции над ними - student2.ru – целое }.

В дальнейшем для известных числовых множеств будут использоваться обозначения:

N = { 1,2,3,…} – множество натуральных чисел;

Z = { …, -2,-1,0,1,2,…} – множество целых чисел;

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

R – множество действительных чисел.

1.1.3. Основные определения

Пустым множеством называется множество Æ, не содержащее ни одного элемента, т.е. для любого элемента x выполняется Множества и операции над ними - student2.ru Æ.

Универсальным называется множество U всех элементов, рассматриваемых в данной задаче.

Пример. Пусть U = Z и требуется найти все решения уравнения Множества и операции над ними - student2.ru . Множество М решений этой задачи есть пустое множество: М = Æ.

Пусть теперь U = R. Тогда множество М решений уравнения Множества и операции над ними - student2.ru не пусто: М = Множества и операции над ними - student2.ru .

Будем говорить, что множество А включается во множество В Множества и операции над ними - student2.ru , если каждый элемент множества А является элементом множества В ( говорят также, что А является подмножеством множества В). Из определения включения следуют свойства:

1) Множества и операции над ними - student2.ru для любого множества А;

2) Если Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru , то Множества и операции над ними - student2.ru ;

3) Æ Множества и операции над ними - student2.ruдля любого множества А;

4) Множества и операции над ними - student2.ru U для любого множества А.

Подмножество Множества и операции над ними - student2.ru называется собственным подмножеством множества В ( Множества и операции над ними - student2.ru - строгое включение), если А не пусто и не совпадает с В. Например, имеют место строгие включения: N Множества и операции над ними - student2.ru Z Множества и операции над ними - student2.ru Q Множества и операции над ними - student2.ru R.

Определим понятие равенства множеств: А=В тогда и только тогда, когда одновременно выполняются два включения Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru , т.е. каждый элемент множества А является элементом множества В и каждый элемент множества В является элементом множества А:

Множества и операции над ними - student2.ru

Свойства равенства множеств:

1) для любого А справедливо А=A;

2) если А=В, то и В=A;

3) если А=В и В=C, то A=C.

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

Эти диаграммы применяются для наглядного изображения множеств и их взаимного расположения.

 
  Множества и операции над ними - student2.ru

U

A B

Рис. 1.1 Диаграмма Эйлера-Венна

Универсальное множество U изображается в виде прямоугольника, а произвольные множества – подмножества универсального – в виде кругов (рис. 1.1).

При этом возможны следующие случаи взаимного расположения двух множеств А и В:

1) одно из множеств строго включается в другое ( Множества и операции над ними - student2.ru или Множества и операции над ними - student2.ru );

2) множества равны;

3) множества не имеют общих элементов;

4) множества находятся в общем положении, т.е. не подходит ни один из вышеперечисленных случаев, и множества расположены как на рис. 1.1.

Операции над множествами

Объединением множеств А и В называется множество Множества и операции над ними - student2.ru , состоящее из тех и только тех элементов, которые принадлежат хотя бы одному из множеств А или В (рис. 1.2, а).

Пример. Если Множества и операции над ними - student2.ru , то Множества и операции над ними - student2.ru .

Множества и операции над ними - student2.ru Множества и операции над ними - student2.ru Множества и операции над ними - student2.ru Множества и операции над ними - student2.ru Множества и операции над ними - student2.ru Множества и операции над ними - student2.ru Множества и операции над ними - student2.ru Множества и операции над ними - student2.ru U U

Множества и операции над ними - student2.ru

A B A B

а) б)

Рис. 1.2. Операции над множествами:

а) объединение множеств;

б) пересечение множеств

Пересечением множеств А и В называется множество Множества и операции над ними - student2.ru , состоящее из тех и только тех элементов, которые принадлежат одновременно и множеству А, и множеству В (рис. 1.2, б).

Пример. Если Множества и операции над ними - student2.ru , то Множества и операции над ними - student2.ru .

Разностью множеств А и В называется множество Множества и операции над ними - student2.ru тех и только тех элементов, которые принадлежат множеству А и не принадлежат множеству В (рис. 1.3, а).

Пример. Множества и операции над ними - student2.ru ;

Множества и операции над ними - student2.ru .

Дополнением множества А до универсального U называется множество Множества и операции над ними - student2.ru U Множества и операции над ними - student2.ru (рис. 1.3, б).

Пример. Если Множества и операции над ними - student2.ru ,U Множества и операции над ними - student2.ru, то Множества и операции над ними - student2.ru U Множества и операции над ними - student2.ru .

Множества и операции над ними - student2.ru

U U

A B

A

а) б)

Рис. 1.3. Операции над множествами:

а) разность множеств A и B;

б) дополнение множества A

Системы множеств

Элементы множества сами могут быть множествами: Множества и операции над ними - student2.ru ; в таком случае удобно говорить о системе множеств. Рассмотрим такие системы множеств, как булеан, разбиение и покрытие множеств.

Булеаном B(Х) множества Х называется множество всех подмножеств множества Х. Например, для множества Множества и операции над ними - student2.ru булеаном является множество B Множества и операции над ними - student2.ru Æ, Множества и операции над ними - student2.ru .

Разбиением R(Х) множества Х называется система его непустых непересекающихся подмножеств, в объединении дающая множество Х (рис. 1.4).

Множества и операции над ними - student2.ru

Множества и операции над ними - student2.ru Множества и операции над ними - student2.ru Множества и операции над ними - student2.ru Множества и операции над ними - student2.ru Множества и операции над ними - student2.ru

U

X X1 X2

X3 X4

Рис. 1.4. Разбиение множества R Множества и операции над ними - student2.ru

Например, для множества Множества и операции над ними - student2.ru можно построить разбиение R1 Множества и операции над ними - student2.ru , состоящее из двух элементов (они называются блоками разбиения), или разбиение R2 Множества и операции над ними - student2.ru – из четырех блоков; возможны и другие разбиения этого множества Х.

Покрытием P(X) множества X называется система его непустых подмножеств, в объединении дающая множество X (рис. 1.5).

 
  Множества и операции над ними - student2.ru

В этом определении отсутствует слово “непересекающаяся” – т.е. блоки могут иметь общие элементы.

Пример. Для множества Множества и операции над ними - student2.ru покрытиями являются системы множеств Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru .

1.1.7. Законы алгебры множеств

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

Таблица 1.1

Законы алгебры множеств

Формулы Название
AÇÆ =Æ ; AÈÆ = A; AÇ Множества и операции над ними - student2.ru Свойства пустого множества
AÈU = U; AÇU = A; AÈĀ = U Свойства универсального множества
AÇB = BÇA; AÈB = BÈA Закон коммутативности
(АÇВ)ÇС=АÇ(ВÇС); (АÈВ)ÈС=АÈ(ВÈС) Закон ассоциативности
АÇ(ВÈС)= (АÇВ)È(АÇС); АÈ(ВÇС)= (АÈВ)Ç(АÈС) Закон дистрибутивности
Множества и операции над ними - student2.ru Закон двойного дополнения
АÇА=А; АÈА=А Законы идемпотентности
Множества и операции над ними - student2.ru Законы де Моргана
АÈ(АÇВ)=А; АÇ(АÈВ)=А Законы поглощения

Докажем закон дистрибутивности

АÈ(ВÇС)= (АÈВ)Ç(АÈС). (1.1)

Обозначим X левую часть равенства (1.1), Y – правую. Согласно определению равенства множеств покажем, что выполняются одновременно Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru .

Пусть x – произвольная точка из множества X=АÈ(ВÇС). Тогда по определению объединения множеств ( Множества и операции над ними - student2.ru или Множества и операции над ними - student2.ru ). Далее по определению пересечения множеств ( Множества и операции над ними - student2.ru или Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru ). Следовательно,

Множества и операции над ними - student2.ru или Множества и операции над ними - student2.ru и ( Множества и операции над ними - student2.ru или Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru

Множества и операции над ними - student2.ru

Таким образом для любого Множества и операции над ними - student2.ru выполняется Множества и операции над ними - student2.ru , т.е. Множества и операции над ними - student2.ru .

Докажем теперь, что Множества и операции над ними - student2.ru . Пусть y – произвольная точка из множества Множества и операции над ними - student2.ru . Тогда

Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru или Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru или

Множества и операции над ними - student2.ru или Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru или Множества и операции над ними - student2.ru

Множества и операции над ними - student2.ru .

В силу произвольности Множества и операции над ними - student2.ru заключаем Множества и операции над ними - student2.ru .

Таким образом, Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru , следовательно, Множества и операции над ними - student2.ru , и закон дистрибутивности доказан.

Бинарные отношения

Свойства бинарных отношений

Бинарные отношения делятся на типы в зависимости от свойств, которыми они обладают. Рассмотрим следующие отношения на множестве Множества и операции над ними - student2.ru

Множества и операции над ними - student2.ru

Множества и операции над ними - student2.ru

Множества и операции над ними - student2.ru делится на Множества и операции над ними - student2.ru

Множества и операции над ними - student2.ru

Отношение R на множестве Х называется рефлексивным,если для всехМножества и операции над ними - student2.ruвыполняется условие Множества и операции над ними - student2.ru . Среди приведенных выше отношений рефлексивными являются отношение L (т.к. неравенство Множества и операции над ними - student2.ru справедливо при всех Множества и операции над ними - student2.ru ) и отношение М (т.к. разность Множества и операции над ними - student2.ru делится на 3, значит, пара Множества и операции над ними - student2.ru принадлежит отношению М при всех Множества и операции над ними - student2.ru ).

Отношение R на множестве Х называется антирефлексивным, если условие Множества и операции над ними - student2.ru не выполняется ни при одном Множества и операции над ними - student2.ru . Примером антирефлексивного отношения является отношение G (неравенство Множества и операции над ними - student2.ru не выполняется ни при каких значениях х, следовательно, ни одна пара Множества и операции над ними - student2.ru не принадлежит отношению G). Отметим, что отношение К не является рефлексивным Множества и операции над ними - student2.ru и не является антирефлексивным Множества и операции над ними - student2.ru .

Отношение R на множестве Х называется симметричным, если из условия Множества и операции над ними - student2.ru следует Множества и операции над ними - student2.ru . Симметричными являются отношения М (если Множества и операции над ними - student2.ru делится на 3, то и Множества и операции над ними - student2.ru делится на 3) и К (если Множества и операции над ними - student2.ru , то и Множества и операции над ними - student2.ru ).

Отношение R на множестве Х называется несимметричным, если для любых Множества и операции над ними - student2.ru из условия Множества и операции над ними - student2.ru следует Множества и операции над ними - student2.ru . Несимметричным является отношение G, т.к. условия Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru не могут выполняться одновременно (только одна из пар Множества и операции над ними - student2.ru или Множества и операции над ними - student2.ru принадлежит отношению G).

Отношение R на множестве Х называется антисимметричным, если для любых Множества и операции над ними - student2.ru из условия Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru следует Множества и операции над ними - student2.ru . Антисимметричным является отношение L, т.к. из одновременного выполнения Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru следует Множества и операции над ними - student2.ru .

Отношение R на множестве Х называется транзитивным, если для любых Множества и операции над ними - student2.ru из одновременного выполнения условий Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru следует Множества и операции над ними - student2.ru . Отношения G, L, M являются транзитивными, а отношение К нетранзитивно: если Множества и операции над ними - student2.ru то Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru , но Множества и операции над ними - student2.ru , то есть выполняются условия Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru , но Множества и операции над ними - student2.ru .

Отношения эквивалентности

Рассмотрим три отношения: M, S, H. Отношение М описано в 1.2.4. Отношение S введем на множестве X всех треугольников следующим образом: этому отношению принадлежат пары треугольников такие, что площадь треугольника x равна площади треугольника y.

Отношение Н действует на множестве жителей г. Томска и содержит пары Множества и операции над ними - student2.ru такие, что х и у носят шляпы одинакового размера.

Свойства этих трех отношений приведены в таблице 1.3, где Р означает рефлексивность, АР – антирефлексивность, С – симметричность, АС - антисимметричность, НС – несимметричность, Т – транзитивность отношения. В качестве упражнения проверьте правильность заполнения таблицы, пользуясь определениями свойств бинарных отношений.

Таблица 1.3

Свойства отношений

Отношение Р АР С АС НС Т
М + - + - - +
S + - + - - +
H + - + - - +

Мы видим, что отношения обладают одинаковыми свойствами, поэтому их относят к одному типу.

Определение. Отношение R на множестве Х называется отношением эквивалентности, если оно обладает свойствами рефлексивности, симметричности, транзитивности.

Таким образом, отношения M, S, H являются отношениями эквивалентности на соответствующих множествах Х. Важной особенностью отношений эквивалентности является то, что они разбивают все множество Х на непересекающиеся подмножества – классы эквивалентности.

Определение. Классом эквивалентности, порожденным элементом Множества и операции над ними - student2.ru , называется подмножество Множества и операции над ними - student2.ru множества Х, для элементов которого выполняется условие Множества и операции над ними - student2.ru . Таким образом, класс эквивалентности Множества и операции над ними - student2.ru .

Так, отношение М разбивает множество Множества и операции над ними - student2.ru на три класса эквивалентности: Множества и операции над ними - student2.ru . Класс, порожденный элементом 4, совпадает с классом [1]; [5] = [2], [3] = [6], [7] = [1].

Классы эквивалентности образуют систему непустых непересекающихся подмножеств множества Х, в объединении дающую все множество Х – т.е. образуют разбиение множества Х (см. 1.1.6).

Отношение эквивалентности обозначают “ º “, поэтому определение класса эквивалентности можно записать так: Множества и операции над ними - student2.ru .

Множество различных классов эквивалентности множества X по отношению R называется фактор-множеством и обозначается Множества и операции над ними - student2.ru . Так, для отношения M фактор-множество состоит из трех элементов:

Множества и операции над ними - student2.ru .

Теорема 1. Пусть R – отношение эквивалентности на множестве X и Множества и операции над ними - student2.ru - совокупность всех различных классов эквивалентности по отношению R. Тогда Множества и операции над ними - student2.ru - разбиение множества X.

Доказательство. По условию теоремы R – отношение эквивалентности, т.е. рефлексивно, симметрично и транзитивно. Покажем, что Множества и операции над ними - student2.ru - разбиение множества X, т.е.

а) Множества и операции над ними - student2.ru Æ;

б) Множества и операции над ними - student2.ru ;

в) Множества и операции над ними - student2.ru Æ, Множества и операции над ними - student2.ru .

Условие а выполняется по определению класса эквивалентности и по свойству рефлексивности, т.к. Множества и операции над ними - student2.ru для любого Множества и операции над ними - student2.ru .

Условие б выполняется, так как каждый элемент множества X попадает в какой-либо класс эквивалентности и Множества и операции над ними - student2.ru .

Условие в докажем методом “от противного”. Пусть Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru - разные классы эквивалентности (т.е. Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru отличаются хотя бы одним элементом). Покажем, что они не пересекаются. Предположим противное: найдется элемент Множества и операции над ними - student2.ru такой, что Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru . По определению класса эквивалентности Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru . По свойствам симметричности и транзитивности отношения R имеем: Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru - отсюда следует равенство множеств Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru .

Действительно, возьмем произвольный элемент Множества и операции над ними - student2.ru

Множества и операции над ними - student2.ru в силу произвольности a следует Множества и операции над ними - student2.ru . Возьмем произвольный элемент Множества и операции над ними - student2.ru : Множества и операции над ними - student2.ru - в силу произвольности b следует Множества и операции над ними - student2.ru . По определению равенства множеств Множества и операции над ними - student2.ru .

Условие в доказано: если классы эквивалентности не совпадают, то они не пересекаются.

Следовательно, фактор-множество Множества и операции над ними - student2.ru является разбиением множества X.

Теорема 2. Всякое разбиение множества X порождает на X отношение эквивалентности.

Доказательство. Пусть Множества и операции над ними - student2.ru - разбиение множества X. Рассмотрим на X отношение Множества и операции над ними - student2.ru найдется Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru .

Покажем, что R – отношение эквивалентности.

Рефлексивность отношения R следует из условия Множества и операции над ними - student2.ru . Каждый элемент множества X попадает в одно из множеств Множества и операции над ними - student2.ru , поэтому Множества и операции над ними - student2.ru .

Покажем, что отношение R симметрично. Пусть Множества и операции над ними - student2.ru . Это означает, что

Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru .

Покажем, что R транзитивно. Пусть Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru . Тогда найдется множество Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru и множество Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru . Но так как различные блоки разбиения не пересекаются, а Множества и операции над ними - student2.ru , то Множества и операции над ними - student2.ru . Следовательно, Множества и операции над ними - student2.ru и R транзитивно.

Отношение R обладает свойствами рефлексивности, симметричности, транзитивности, т.е. является отношением эквивалентности. Теорема доказана.

Отношения порядка

Рассмотрим отношения G, L из 1.2.4, отношение Q из 1.2.2 и отношение включения V на множестве всех подмножеств целых чисел (B(Z) – булеан множества Z): Множества и операции над ними - student2.ru B(Z) Множества и операции над ними - student2.ru .

Таблица 1.4

Свойства отношений

Отношение Р АР С АС НС Т
G - + - - + +
L + - - + - +
Q + - - + - +
V + - - + - +

Мы видим, что по свойствам эти отношения разделились на два типа.

Определение. Отношение R на множестве Х, обладающее свойствами рефлексивности, антисимметричности, транзитивности, называется отношением порядка на множестве Х (обозначается “p”).

Определение. Отношение R на множестве Х, обладающее свойствами антирефлексивности, несимметричности, транзитивности, называется отношением строгого порядка.

Таким образом, отношения L, Q, V являются отношениями порядка на соответствующих множествах, а отношение G – отношением строгого порядка.

Диаграммы Хассе

Для наглядного представления частично упорядоченного множества Множества и операции над ними - student2.ru используют диаграмму Хассе – граф отношения R без петель и транзитивно замыкающих дуг.

Пусть Множества и операции над ними - student2.ru . Рассмотрим на множестве X отношения порядка “ £ ” и “ ½ ”. Получим два частично упорядоченных множества (X, £ ) и (X, ½), различия которых наглядно отражают их диаграммы Хассе (рис.1.9).

 
  Множества и операции над ними - student2.ru

Определение. Элемент Множества и операции над ними - student2.ru называется наибольшим элементом частично упорядоченного множества Множества и операции над ними - student2.ru p), если Множества и операции над ними - student2.ru p w. Элемент Множества и операции над ними - student2.ru называется максимальным элементом частично упорядоченного множества Множества и операции над ними - student2.ru p), если в множестве X нет элемента y такого, что u p y.

Элемент Множества и операции над ними - student2.ru является наибольшим и одновременно максимальным для (X, £ ) (рис. 1.9, а). В частично упорядоченном множестве (X, ½ ) есть два максимальных Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru , но нет наибольшего (рис. 1.9, б).

Аналогично определяются понятия наименьшего и минимального элементов частично упорядоченного множества.

Теорема. Всякое частично упорядоченное множество имеет не более одного наибольшего элемента.

Доказательство. Пусть Множества и операции над ними - student2.ru p) – частично упорядоченное множество. Теорема утверждает, что если в множестве Множества и операции над ними - student2.ru p) имеется наибольший элемент, то он единственный. Предположим противное: пусть имеется два различных наибольших элемента Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru . Тогда по определению наибольшего элемента w p Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru p w, откуда в силу антисимметричности отношения порядка “ p ” следует Множества и операции над ними - student2.ru - противоречие, что и доказывает теорему.

Реляционная алгебра

Равномощные множества

Напомним, что отображение Множества и операции над ними - student2.ru является биекцией (см.1.2.1) тогда и только тогда, когда каждый элемент х множества Х имеет единственный образ Множества и операции над ними - student2.ru , а каждый элемент Множества и операции над ними - student2.ru имеет единственный прообраз Множества и операции над ними - student2.ru , т.е. Множества и операции над ними - student2.ru . Так, соответствие между множествами X и Y на рис. 1.20, а является биекцией, а на рис. 1.20, б, в – не является биекцией (объясните почему).

 
  Множества и операции над ними - student2.ru

а) б) в)

Рис. 1.20. Соответствие множеств X и Y

а) биективное;

б) в) не биективное

Определение. Будем говорить, что множества X и Yравномощны, если существует биекция множества X на множество Y.

Множества и операции над ними - student2.ru Пример. Покажем, что множества Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru равномощны. Действительно, можно установить биекцию Множества и операции над ними - student2.ru , например, по закону Множества и операции над ними - student2.ru (рис. 1.19, а). Биекцию между множествами X и Y можно установить и геометрически (рис. 1.19, б). Через левые концы отрезков проведена прямая l , через правые – прямая m. Точка пересечения прямых l и m обозначена М. Из точки М проводим лучи, пересекающие оба отрезка; при этом точке пересечения с лучом на первом отрезке соответствует единственная точка пересечения с лучом на втором отрезке (и наоборот).

Классы равномощных множеств

Введенное в 1.4.1 отношение равномощности является отношением эквивалентности “ º “. В самом деле, оно рефлексивно: для каждого множества Х справедливо Множества и операции над ними - student2.ru (Х равномощно Х), так как существует тождественное отображение множества Х на множество Х. Это отношение симметрично: если существует биекция X на Y , то обратное отображение также является биекцией (если Множества и операции над ними - student2.ru , то Множества и операции над ними - student2.ru ). Отношение транзитивно: если существует биекция Множества и операции над ними - student2.ru и существует биекция Множества и операции над ними - student2.ru , то соответствие Множества и операции над ними - student2.ru отображает X на Z биективно (если Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru , то Множества и операции над ними - student2.ru ).

По свойству отношения эквивалентности (см. 1.2.5) получаем разбиение всех множеств на непересекающиеся классы равномощных множеств. Каждому классу присвоим название - кардинальное число. Таким образом, кардинальное число – это то общее, что есть у всех равномощных множеств. Обозначим кардинальное число множества Множества и операции над ними - student2.ru или ½Х½. Пустое множество имеет кардинальное число Множества и операции над ними - student2.ru Æ =0; для всех конечных множеств кардинальное число совпадает с количеством элементов множества; а для обозначения кардинального числа бесконечных множеств используется буква À (алеф). Понятие кардинального числа (мощности множества) обобщает понятие “ количество элементов ” на бесконечные множества.

Свойства конечных множеств

Множество X называется конечным, если существует биекция Множества и операции над ними - student2.ru , т.е. множество X можно взаимно однозначно отобразить на отрезок натурального ряда {1,2,…,n}; при этом ½X½= n.

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

Пустое множество принято относить к конечным множествам и обозначать ½Æ½=0.

Сформулируем свойства конечных множеств в виде теорем (не все теоремы будут строго доказаны).

Теорема (правило суммы). Пусть множество X является объединением r непересекающихся конечных множеств Множества и операции над ними - student2.ru . Тогда Множества и операции над ними - student2.ru .

Согласно условию теоремы система множеств Множества и операции над ними - student2.ru является разбиением множества X. Доказательство проведем методом математической индукции по числу r блоков разбиения.

Шаг 1. Покажем, что теорема справедлива при Множества и операции над ними - student2.ru . Пусть Множества и операции над ними - student2.ru Æи множества Множества и операции над ними - student2.ru конечны, т.е. существует биекция Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru . Установим биекцию Множества и операции над ними - student2.ru следующим образом: всем элементам множества Множества и операции над ними - student2.ru оставим прежние номера, а номера элементов множества Множества и операции над ними - student2.ru увеличим на число Множества и операции над ними - student2.ru . Полученное отображение

Множества и операции над ними - student2.ru

является биекцией Множества и операции над ними - student2.ru в силу биективности Множества и операции над ними - student2.ru и Множества и операции над ними - student2.ru . Следовательно, Множества и операции над ними - student2.ru . Основание индукции доказано.

Шаг 2 . Индукционный переход заключается в следующем: предположим, что теорема справедлива при числе блоков разбиения Множества и операции над ними - student2.ru ; докажем, что в этом случае она будет справедлива и при числе блоков r.

Предположение: множества Множества и операции над ними - student2.ru , конечны и образуют разбиение множества Y. Тогда Множества и операции над ними - student2.ru

Рассмотрим разбиение множества X на r конечных множеств. Тогда Множества и операции над ними - student2.ru по закону ассоциативности объединения. Обозначим Множества и операции над ними - student2.ru Опираясь на основание индукции (шаг 1), имеем Множества и операции над ними - student2.ru , а по индукционному предположению Множества и операции над ними - student2.ru Индукционный переход доказан.

Закл

Наши рекомендации