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



Министерство образования и  науки  Российской Федерации

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ

ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ

ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

«ГОРНО-АЛТАЙСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»

 

 

 

 

 

 

 

 

Физико-математический факультет

Кафедра алгебры, геометрии и МПМ

 

 

Курсовая работа  
«Элементы теории множеств»

 

 

 

 

Работу выполнила:

Студентка 622 группы 1 курса  ФМФ

Каланакова Алена Андреевна 

Проверила Работу:

 

 

 

 

 

 

 

 

 

Горно-Алтайск, 2013

 

Содержание

 

Введение  3

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

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

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

1.3. Равенство множеств  7

Глава 2. Основные теоретико-множественные отношения  8

2.1. Подмножества  8

2.2. Операции над множествами и их свойства  8

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

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

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

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

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

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

3.3. Конечные и бесконечные множества  17

3.4. Счетные множества и их свойства  17

3.5. Примеры счетных множеств  18

3.6. Несчетные множества. Мощность континуума  19

Глава 4. Аксиоматика теории множеств  20

4.1. Аксиомы теории множеств  20

4.2. Парадоксы теории множеств  21

Заключение 24

Литература 25

 

 

 

 

ВВЕДЕНИЕ

 

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

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

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

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

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

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

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

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

 

 

Цели курсовой работы «Элементы теории множеств»:

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

 

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

    1. Поиск наиболее полного, содержательного и объективного ответа на вопросы разделов теории множеств.
    2. Изучение определений и теорем в соответствии с различными научными подходами.
    3. Создание наглядной презентации с целью использования пособия при изучении теории множеств.

 

ГЛАВА 1

ИСХОДНЫЕ ПОНЯТИЯ ТЕОРИИ МНОЖЕСТВ

 

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

 

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

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

Суть понятия “множество” вполне передается словами: “совокупность”, “собрание”, “набор” и т.д. Однако, как абстрактное математическое понятие “множество” неопределимо.

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

Для того чтобы некоторую  совокупность элементов можно было назвать множеством, необходимо, чтобы  выполнялись следующие условия:

    1. Должно существовать правило, позволяющее определить, принадлежит ли указанный элемент данной совокупности.
    2. Должно существовать правило, позволяющее отличать элементы друг от друга. (Это, в частности, означает, что множество не может содержать двух одинаковых элементов).

 

Множества обозначаются прописными буквами латинского или готического алфавита: A, B, ... , M, K, ... . Если множество A состоит из элементов a, b, c, ... , это обозначается с помощью фигурных скобок: A = {a, b, c, ...}. Если a есть элемент множества A , то это записывают следующим образом: aÎA. Если же a не является элементом множества A , то пишут aÏA. Существует также специальное, так называемое пустое множество, которое не содержит ни одного элемента. Пустое множество обозначается символом Æ. Пустое множество является частью любого множества.

 

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

 

Для того, чтобы задать множество, нужно указать, какие элементы ему  принадлежат (или могут принадлежать). Это можно сделать различными способами:

    • перечислением элементов: M = {m1 ,m2 , ... , mn};
    • характеристическим условием (свойством): M = {x | P(x)};
    • порождающим правилом: M = {x | x = f(t)};

 

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

Пример.

Задание множества первых пяти нечетных натуральных чисел перечислением  элементов: M = {1, 3, 5, 7, 9}.

 

Второй способ позволяет определить принадлежность элемента x множеству M и, поэтому, пригоден для описания не только конечных, но и бесконечных множеств. Характеристическое условие обычно задается в форме логического утверждения, которое может выражаться словами, математическими уравнениями, неравенствами. Если для данного элемента условие выполнено, то он принадлежит определяемому множеству, в противном случае  не принадлежит. Характеристическое условие может состоять из нескольких условий: в таком случае в записи могут использоваться следующие знаки:

● L - равносильно “и”;

● V – равносильно “или”;

● " - квантор всеобщности;

● $ - квантор существования.

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

Пример.

Элемент x множества М есть целое число, квадрат которого меньше нуля.

M = {x | xÎZ L x2 < 0}.

 

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

Пример.

Зададим два множества перечислением: M1 := {1,2}; M2 := {1}.

Зададим множество M3 правилом построения его элементов:

                            M3 := {x | x = (x1,x2), x1ÎM1, x2ÎM2}.

Правило читается следующим образом: Для того, чтобы построить элемент  множества M3, надо взять один объект из множества M1, второй объект из множества M2 и составить из них упорядоченную пару. Руководствуясь этим правилом, можно построить каждый элемент множества M3: (1,1), (2,1).

 

1.3. Равенство множеств

 

Определение равенства  множеств. Множества А и B равны, если они состоят из одних и тех же элементов, то есть, если из xÎA следует xÎB и обратно, из xÎB следует xÎA.

Формально равенство  двух множеств записывается следующим образом:

А=В ó "x | xÎA ó xÎB.

Равенство множеств А и В записывают в виде А=В.

Чтобы доказать равенство двух множеств, необходимо доказать, что:

    1. "x | xÎA Þ xÎB;
    2. "x | xÎ B Þ xÎ A.

Пример.

  1. Равенство всех пустых множеств (A=Æ, B=Æ Þ A=B).
  2. А – множество корней уравнения (x-1)(x-2)=0. B – множество, состоящее из элементов 1 и 2: B={1,2}. A=B.

 

 

ГЛАВА 2

ОСНОВНЫЕ ТЕОРЕТИКО-МНОЖЕСТВЕННЫЕ  ОТНОШЕНИЯ

 

2.1. Подмножества

 

Определение подмножества. Множество А является подмножеством множества В, если любой элемент, принадлежащий множеству А, принадлежит множеству В.

Формальная запись: A ÍB ó "x | xÎA Þ xÎB.

Если A является подмножеством B, то B называется надмножеством A.

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

Отношение нестрогого включения обозначается “Í”.

Отношение строгого включения обозначается “Ì”.

AÍB обозначает, что множество A содержится в B, при чем А может быть равным множеству B. Строгое включение исключает такое равенство.

Если AÌB, A¹Æ , то A – собственное подмножество множества В.

Свойства отношения включения.

    1. "A выполняется AÍA (рефлексивность).
    2. "A, B выполняется AÍB L BÍA Þ A=B (антисимметричность).
    3. "A, B, C выполняется AÍB L BÍC Þ AÍC (транзитивность).

Пример.

Пустое множество является подмножеством любого множества.

Множество {2, 4, 6, ... , 2n, ...} является собственным подмножеством множества натуральных чисел {1, 2, 3, 4…}.

 

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

 

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

Определение объединения множеств. Суммой, или объединением произвольного конечного или бесконечного множества множеств называется множество, состоящее из тех и только тех элементов, которые принадлежат хотя бы одному из множеств А, В. AÈB={x | xÎA V xÎB}.

Пример.

A={1, 3, 5},  B={2, 4, 6}. AÈB={1, 2, 3, 4, 5, 6}.

 

Определение пересечения  множеств. Произведением, или пересечением любого конечного или бесконечного множества множеств называется множество, состоящее из тех и только тех элементов, которые принадлежат множествам А и В одновременно. AÇB = {x | xÎA L xÎB}.

Если множества заданы характеристическими  свойствами своих элементов, то из определения  пересечения следует, что характеристическое свойство множества АÇВ составляется из характеристических свойств пересекаемых множеств с помощью союза “и”.

Пример.

A={1, 3, 5},  B={1, 3, 7, 9}. AÈB={1, 3}.

 

Определение разности множеств. Разностью между множеством A и множеством B называется множество всех элементов из A, не являющихся элементами множества B. A\B = {x | xÎA L xÏB}.

Если множества А и  В заданы характеристическими свойствами их элементов, то из определения объединения следует, что характеристическое свойство элементов множества А U В составляется из характеристических свойств элементов множеств А и В с помощью союза “или”.

Пример.

A={1, 3, 5, 18},  B={1, 3, 7, 9}. A\B={5, 18}.

 

Определение симметрической разности множеств. Симметрической разностью множеств A и B называется множество всех элементов из A, не являющихся элементами множества B в объединении с множеством всех элементов из B, не являющихся элементами множества A. A∆B=(A\B)È(B\A).

Пример.

A={1, 3, 5, 18},  B={1, 3, 7, 12}. A∆B={5, 7, 12, 18}.

 

Определение абсолютного  дополнения. Пусть A – подмножество U. Абсолютным дополнением множества A до множества U называется множество, содержащее все элементы множества U, которые не принадлежат множеству A. A'= =U\A, где U - универсальное множество. =U\A={x | xÎU L xÏA}.

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

 

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

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

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

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

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

Пример. В выражении 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 называется отношением эквивалентности, если оно обладает следующими свойствами:

  1. (x, x)ÎR для всех xÎA (рефлексивность).
  2. Если (x, y)ÎR, то (y, x)ÎR (симметричность).
  3. Если (x, y)ÎR и (y, z)ÎR, то (x, z)ÎR (транзитивность).

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

  1. x=x для всех xÎA (рефлексивность).
  2. Если x=y, то y=x (симметричность).
  3. Если x=y и y=z, то x=z (транзитивность).

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

  1. Если (x, y)ÎR и (y, x)ÎR, то x=y (антисимметричность).
  2. Если (x, y)ÎR и (y, z)ÎR, то (x, z)ÎR (транзитивность).

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

  1. x£x для всех xÎA (рефлексивность).
  2. Если x £ y и y £ x, то x = y (антисимметричность).
  3. Если x £ y и y £ z, то x £ z(транзитивность).

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

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

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

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

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

 

ГЛАВА 3

ТЕОРИЯ БЕСКОНЕЧНЫХ  МНОЖЕСТВ

 

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

 

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

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

 

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