85947 (574951), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

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

Определение 2. Дополнением множества A называется множество , содержащее все элементы универсума, которые не являются элементами множества A.

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

Пример 1. Пусть U={a, b, c, d} и P={a, c}. Тогда ={b, d}.

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

Определение 3. Пересечением множеств A и B называется множество C, все элементы которого являются одновременно элементами множеств A и B.

Операция пересечения множеств обозначается символом "". Символически определение 3 можно записать как формулу

C = AB.

Например, пересечением множества всех студентов данного вуза и множества всех участников КВН, является множество студентов данного вуза, участвующих в КВН. Другой пример: пересечением множества всех чисел, делящихся на 2, и множества всех чисел, делящихся на 3, является множество всех чисел, делящихся на 6.

В логике операции пересечения соответствует логическая связка "И" (обозначается как или ). Если речь идет об объектах со свойствами P или Q, то логическая формула PQ означает, что речь идет только об объектах, которым присущи оба этих свойства. Если, допустим, свойствам P и Q соответствуют некоторые множества S_P и S_Q, то пересечение этих множеств S_PS_Q, будет состоять из элементов, каждому из которых одновременно присущи свойства P и Q

Пример 2. Пусть A={a, b, c, d} и P={a, c, f}. Тогда AP = {a, c}.

Определение 4. Объединением множеств A и B называется множество C, все элементы которого являются элементами по крайней мере одного из этих множеств.

Операция объединения множеств обозначается символом "". Символически определение 4 можно записать как формулу

C=AB

В логике операции объединения соответствует логическая связка "ИЛИ" (обозначается ""). Если речь идет об объектах со свойствами P или Q, то логическая формула PQ означает, что речь идет только об объектах, которым присуще хотя бы одно из этих свойств. При этом допускается, что объекты, которым присущи оба этих свойства, также относятся к этому классу объектов.

Пример 3. Пусть A={a, b, c, d} и P={a, c, f}. Тогда AP = {a, b, c, d, f}.

Обратите внимание, что в примере 3 элементы a и c, которые содержатся в каждом из множеств A и B, в объединении C не удваиваются, а содержатся как однократные. В математике и ее приложениях иногда используют множества с кратными элементами (они называются мультимножествами), но нам такие множества не понадобятся. В таких множествах нарушаются некоторые законы обычной алгебры множеств.

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

Определение 5. Разностью множеств A и B называется множество C=A\B, которое содержит только те элементы множества A, которые не являются одновременно элементами множества B.

Пример 4. Пусть A={a, b, c, d} и B={a, c, f}. Тогда A\B = {b, d}.

Важно отметить, что разность множеств является производной операцией. Это означает, что ее можно выразить с помощью других основных операций – для разности множеств справедливо следующее соотношение:

A\B = A .

Если в примере 4 задать универсум, например, U = {a, b, c, d, e, f}, то нетрудно убедиться в справедливости этого равенства:

= {b, d, e}; тогда A\B =A = {b, d}.

В то же время операцию дополнения можно выразить с помощью операции разности: =U\A. В некоторых версиях алгебры множеств операция разности множеств представлена как основная операция, а операция дополнения – как производная операция. Однако основные соотношения (или законы) алгебры множеств при этом остаются неизменными.

На рисунке 3 соответствующие операции над множествами изображены с помощью "кругов Эйлера". Серым цветом показаны результаты операций.

Рис. 3

Здесь хотелось бы обратить внимание на следующее важное обстоятельство. Для множеств A и B, у которых нет общих элементов, справедливы следующие соотношения:

AB = ; A ; B .

Ситуацию, соответствующую этим соотношениям, можно наглядно отобразить с помощью диаграммы Эйлера (рис. 4).

Рис. 4

Теперь у нас вполне достаточно понятий для того, чтобы отобразить в виде математической формулировки заданные суждения. Например, суждение "Все члены палаты лордов носят титул пэра" то расчленяется на субъект "члены палаты лордов" (A) и предикат "носят титул пэра" (B). Тогда математической формулой данного суждения будет

A B.

Это означает, что все члены палаты лордов включены в множество тех, кто носит титул пэра. Более сложное суждение, например, "Все члены палаты лордов носят титул пэра и находятся в здравом рассудке" можно выразить, используя два предиката: "носят титул пэра" (B) и "находятся в здравом рассудке" (С). Тогда получим следующую математическую формулировку:

A(B C). (1)

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

A(B ), (2)

где D – предикат "принимают участие в скачках на мулах".

Если использовать диаграммы Эйлера, то получим наглядное изображение формул (1) и (2) (рисунки 5 и 6).

Рис. 5

Рис. 6

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

В математическую форму суждений можно перевести многие предложения естественного языка.

Законы алгебры множеств – это по сути теоремы, которые выводятся из основных определений и аксиом. Часто приводятся 26 или 28 законов алгебры множеств. Приведем без доказательства лишь некоторые из них, необходимые для ясного понимания дальнейшего. Пусть A, B, C – некоторые произвольные множества в универсуме U. Тогда законами алгебры множеств являются следующие соотношения между ними.

1. =A.

Пример 5. Пусть U={a, b, c, d} и P={a, c}. Тогда ={b, d} и ={a, c}=P.

В алгебре множеств это соотношение (двойное дополнение) носит название закон инволюции. В логике этот закон известен под названием закон отрицания отрицания (или закон двойного отрицания): не (не-A) – то же самое, что и A.

2. A = (множество и его дополнение не имеют общих элементов)

В логике этому закону соответствует закон непротиворечия (утверждение и его полное отрицание логически несовместимы).

3. A = U.

В логике этому закону соответствует закон исключенного третьего (совмещение любого утверждения и его полного отрицания не допускает присутствия какого-либо третьего промежуточного варианта).

Следующие соотношения характеризуют более подробно свойства пустого множества и универсума:

4. = U;

5. =

6. A = ;

7. A = A;

8. AU = A;

9. AU = U.

Следующие законы алгебры множеств связывают друг с другом отношения включения и равенства:

10. Из AB следует:

10a. AB = A;

10b. AB = B;

10c. B = U;

10d. A = .

Соотношение 10d можно выразить также с помощью операции разности множеств:

10e. Из AB следует A\B = .

Следующие законы в логике и алгебре множеств называются законами де Моргана:

11a. = ;

11b = .

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

12a. Если AB и BC, то AC (закон транзитивности включения);

12b. Если AB, то справедливо также и (закон контрапозиции).

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

Пусть нам необходимо вывести некоторые законы для двух множеств X и Y. Рассмотрим диаграмму Эйлера (рисунок 7), на которой изображены эти множества и объемлющий их универсум (U).

Рис. 7

Выделим на диаграмме участки a, b, c и d, которые не имеют внутренних границ, т.е. выполним разбиение нашего универсума на непересекающиеся друг с другом множества. Такое разбиение позволяет нам представить эти множества как элементы, из которых состоят универсум U и множества X и Y. Тогда для них справедливы соотношения:

U = {a, b, c, d}; X = {a, b}; Y = {b, c}.

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

1. XY = {b};

2. = {a, c, d};

3. = {c, d};

4. = {a, d};

5. ={a, c, d};

6. сравнивая 2 и 5 заключаем, что = , что и требовалось доказать.

Закон транзитивности (12a) интуитивно понятен. Рассмотрим обоснование закона контрапозиции (12b). Поскольку он действителен только в том случае, когда X Y, то придется немного изменить нашу исходную систему. Для этого примем, что множество, представленное в системе элементом a, равно пустому множеству, и поэтому его можно исключить из универсума. Тогда получим следующие исходные данные:

U = {b, c, d}; X = {b}; Y = {b, c}.

Ясно, что в этой системе соотношение X Y соблюдается. Приступим к доказательству.

1. = {c, d};

2. = {d};

3. сравнивая и , убедимся, что , что и требовалось доказать.

Литература

1. Алгебра и начало анализа – Высшая школа – М. 2003 г.

2. Алгебра – под ред. Бутинець К.К. – К . – 2000 г.

Характеристики

Список файлов ответов (шпаргалок)