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

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

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

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

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

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

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

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

Пример.

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

M = {x | xZ  x2 < 0}.

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

Пример.

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

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

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

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

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

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

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

А=В - x | xA - xB.

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

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

x | xA Þ xB;

x | x B Þ x A.

Пример.

Равенство всех пустых множеств (A=, B= Þ A=B).

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

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

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

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