85195 (Элементы теории множеств), страница 2

Приоритеты операций.

Под приоритетом операции понимается порядок ее выполнения. Первой выполняется та операция, приоритет которой выше.

Приоритет операции пересечения множеств выше приоритета операции объединения.

Приоритет операции пересечения множеств выше приоритета операции вычитания.

Объединение и вычитание множеств считают равноправными операциями.

Пример. В выражении CА\В надо сначала выполнить вычитание (из А вычесть В), а затем полученное множество объединить с множеством С.

Свойства операций над множествами.

1. A, AA=A. AA=A (идемпотентность).

2. Пересечение и объединение множеств коммутативно (перестановочно):

A ,B AB = BA; A ,B AB = BA.

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

Эти свойства вытекают из определения. Действительно, пусть xAB, тогда xA и xB, следовательно, xBA. Отсюда (AB)(BA). Аналогично доказывается обратное утверждение (BA)(AB). Отсюда AB = BA.

Пусть xAB, тогда либо xA, либо xB, но тогда xBA и (AB)  (BA). Аналогично (BA)  (AB). Следовательно, AB = BA.

3. Пересечение и объединение множеств ассоциативно: для любых множеств A, B и C имеем (AB)C=A(BC); (AB)C=A(BC).

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

Пусть x(AB)C, отсюда x(AB) и xC, или xA, xB, xC. Отсюда x(BC) и xA, следовательно, xA(BC) и верно (AB)CA(BC). Наоборот, если xA(BC), следует, что xA, xC, xB, откуда x(AB)C и верно A(BC)(AB)C. Отсюда A(BC) = (AB)C. Аналогично доказывается равенство множеств A(BC) = (AB)C.

4. Для любых множеств A, B справедливо: если AB, то AB = A; AB = B.

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

Пусть xAB, то есть xA и xB, отсюда xA. Пусть теперь xA. Из условия AB следует, что xB, отсюда xAB. Следовательно, AB = A.

Пусть xA B, тогда xA или xB. Но AB, и, следовательно, xB, ABB. Если xB, то по определению xAB и верно включение BAB. Отсюда AB = B.

5. Для любых множеств A, B и C справедливы равенства (свойство дистрибутивности):

a) A(BC) = (AB) (AC);

б) A(BC) = (AB) (AC).

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

а) Пусть xA(BC). Тогда xA и x(BC) → xA, xB или xC → xAB или xAC → x (AB)(AC) → A(BC) (AB)(AC). Пусть x (AB)(AC). Тогда x(AB) или x(AС)→(xA, xB) или (xA, xC) → xA и xB или xC→xA(BC) и отсюда (AB)(AC) A(BC). Окончательно имеем A(BC) = (AB)(AC).

б) Пусть xA (BC). Тогда xA или x (BC) → xA или (xB и xC) → (xA или xB) и (xA или xC) → x (AB) (AC) → A (BC) (AB) (AC). Обратно, пусть x (AB) (AC). Тогда x (AB) и x (AC) → (xA или xB) и (xA или xC) → или xA или (xB и xC) → xA (BC), то есть (AB) (AC)A (BC). Следовательно, A (BC) = (AB) (AC).

6. ;

(законы де Моргана).

7. Свойства универсального и пустого множества: A справедливо

AU=U;

A=A;

AU=A;

A=;

;

;

A\=A;

8. Свойства абсолютного дополнения: A справедливо

A=U;

;

A=.

9. Частные свойства разности множеств:

Если AB=, то А\В=А;

Если AB, то А\В=;

А\В = А\(АВ);

A\A =;

A\ =A.

2.3. Диаграммы Эйлера-Венна

Операции множеств и связанные с ними соотношения представляются наглядно с помощью диаграмм Эйлера-Венна (названных по имени русского математика Леонарда Эйлера (1707-1783гг.) и английского логика Джона Венна (1834-1923гг.). На этих диаграммах любые множества изображаются кругами, пересекающими друг друга, исходя из того, что внутренними точками круга изображаются элементы множества. Общей частью двух кругов, пересекающих друг друга, представляются возможные общие элементы двух множеств. Универсальное множество изображается в виде прямоугольника. Единичный элемент множества – точкой в круге.

Объединение множеств C=АВ (зеленое выделение):

Рис. 1

Пересечение множеств C=АВ (черное выделение):

Рис. 2

Множество В является подмножеством множества А:

Рис. 3

Разность A\B (зеленое выделение):

Рис. 4

Дополнение ко множеству А (синее выделение):

Рис. 5

Симметрическая разность множеств А∆B (зеленое выделение):

Рис. 6

2.4. Прямое произведение множеств

Одним из способов конструирования новых объектов из уже имеющихся множеств является декартово (прямое) произведение множеств.

Пусть A и B - множества. Выражение вида (a, b) , где aA и bB, называется упорядоченной парой. Элемент а называют первой координатой (компонентой) пары, элемент b - второй координатой (компонентой) пары.

Равенство вида (a, b)=(c, d) означает, что a=c и b=d. В общем случае, можно рассматривать упорядоченную n-ку (a1, a2, a3, … ,an) из элементов a1A1, a2A2 … anAn. Упорядоченные n-ки иначе называют наборами или кортежами.

Определение прямого произведения множеств. Декартовым (прямым) произведением множеств A1, A2,… An называется множество упорядоченных наборов (кортежей) вида A1A2…An={( a1, a2,… an | aiAi}.

Из вышеприведенного определения следует, что для любых a1a2 справедливо (a1,a2) (a1,a2).

Операция нахождения декартова произведения множеств называется декартовым умножением множеств.

Определение степени прямого произведения. Степенью декартового произведения A1A2…An называется число множеств n, входящих в это декартово произведение.

Замечание. Если все множества Ai одинаковы, то используют обозначение

An=AA…A.

Выясним, какими свойствами обладает операция нахождения декартова произведения множеств. Так как декартовы произведения (a1, a2) (a2, a1), a1a2 состоят из различных элементов, то декартово умножение множеств свойством коммутативности не обладает.

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

(A U B)  C = ( A  C ) U ( B  C );

(A \ B) C = ( A C ) \ ( B  C ).

2.5. Отношения на множестве

Определение отношения степени n. Подмножество R декартового произведения множеств A1 A2… An называется отношением степени n (n-арным отношением).

Определение мощности отношения. Мощность множества кортежей, входящих в отношение R, называют мощностью отношения R.

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

Т.к. любое множество можно рассматривать как декартовое произведение степени 1, то любое подмножество, как и любое множество, можно считать отношением степени 1. Это не очень интересный пример, свидетельствующий лишь о том, что термины “отношение степени 1” и “подмножество” являются синонимами. Нетривиальность понятия отношения проявляется, когда степень отношения больше 1. Ключевыми здесь являются два момента:

Во-первых, все элементы отношения есть однотипные кортежи. Если же множество состоит из разнотипных числовых кортежей, то это множество не является отношением ни в R1, ни в R2, ни в Rn.

Во-вторых. За исключением крайнего случая, когда отношение есть само декартово произведение A1A2…An, отношение включает в себя не все возможные кортежи из декартового произведения. Это значит, что для каждого отношения имеется критерий, позволяющий определить, какие кортежи входят в отношение, а какие - нет. Этот критерий, по существу, определяет для нас смысл (семантику) отношения.

Действительно, каждому отношению можно поставить в соответствие некоторое логическое выражение P(x1 ,x2, … , xn), зависящее от n параметров и определяющее, будет ли кортеж (a1, a2, … ,an) принадлежать отношению R. Это логическое выражение называют предикатом отношения R. Более точно, кортеж (a1, a2, … ,an) принадлежит отношению R тогда и только тогда, когда предикат этого отношения P(a1, a2, … ,an) принимает значение “истина”. Таким образом, существует взаимно однозначное соответствие между n-арными отношениями и n-местными предикатами.

Примеры отношений.

Бинарные отношения (отношения степени 2)

В математике большую роль играют бинарные отношения, т.е. отношения, заданные на декартовом произведении двух множеств A1A2.

Определение отношения эквивалентности. Отношение R на множестве A2 называется отношением эквивалентности, если оно обладает следующими свойствами:

(x, x)R для всех xA (рефлексивность).

Если (x, y)R, то (y, x)R (симметричность).

Если (x, y)R и (y, z)R, то (x, z)R (транзитивность).

Обычно отношение эквивалентности обозначают знаком “=” или “ ”. Говорят, что это отношение задано на множестве А (но не на А2). Условия 1-3 в таких обозначениях выглядят более естественно:

x=x для всех xA (рефлексивность).

Если x=y, то y=x (симметричность).

Если x=y и y=z, то x=z (транзитивность).

Определение отношения порядка. Отношение R на множестве A2 называется отношением порядка, если оно обладает следующими свойствами:

Если (x, y)R и (y, x)R, то x=y (антисимметричность).

Если (x, y)R и (y, z)R, то (x, z)R (транзитивность).

Обычно отношение порядка обозначают знаком . Если для двух элементов x и y выполняется xy , то говорят, что x “предшествует” y. Как и для отношения эквивалентности, условия 1-3 в таких обозначениях выглядят более естественно:

xx для всех xA (рефлексивность).

Если x  y и y  x, то x = y (антисимметричность).

Если x  y и y  z, то x  z(транзитивность).

Определение функционального отношения. Отношение R на декартовом произведении двух множеств A1A2 называется функциональным отношением, если оно обладает следующим свойством:

Если (x, y)R и (x, z)R, то y=z (однозначность функции).

Обычно, функциональное отношение обозначают в виде функциональной зависимости - (x, y)R тогда и только тогда, когда y=f(x). Функциональные отношения (подмножества декартового произведения) называют иначе графиком функциональной зависимости.

N-арные отношения (отношения степени n).

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

Глава 3. Теория бесконечных множеств

3.1. Мощность множества

Понятие “мощность множества” введено основателем теории множеств Г. Кантором (1878), который установил, что мощность множества действительных чисел больше , и тем самым показал, что бесконечные множества могут быть расклассифицированы по их мощности.

Мощность множества в математике есть обобщение на произвольные множества понятия «число элементов». Мощность множества определяется методом абстракции как то общее, что есть у всех множеств, эквивалентных (количественно) данному; при этом два множества называемых эквивалентными, если между ними можно установить взаимно однозначное соответствие. Мощности называются часто кардинальными (т. е. количественными) числами.

3.2. Множество натуральных чисел

Определение натурального множества. Всякое множество, удовлетворяющее свойствам