Академический Документы
Профессиональный Документы
Культура Документы
Теоремы:
1. Любое подмножество счетного множества
является либо конечным, либо счетным, иначе
говоря, каждое бесконечное подмножество счетного
множества также является счетным;
2. Объединение конечного числа счетных
множеств также является счетным множеством.
Булеаном В(А) множества А называется
множество всех его подмножеств.
Иначе булеан множества А называют
множеством - степенью множества А.
Булеан включает в себя, в том числе:
- пустое множество;
- само множество А;
- отдельные элементы множества А;
- всевозможные комбинации различных элементов
множества А.
Пример 2. Булеан (множество – степень) для
множества А={a, b, c}:
B(A)={, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}.
Утверждение. Если множество А состоит из n
элементов, то множество B(A) всех его подмножеств
состоит из 2n элементов, т.е.
|А|= n |B(A)|= 2n = 2|А|.
A B
Пример 3.
А={a,b,c}, B={b,c,d}, C={c,d,e}.
AB={a,b,c,d}; AC={a,b,c,d,e}; BC={b,c,d,e};
ABC={a,b,c,d,e}.
k
A B
A B
A B = A + B - A B
A BС = A + B С -
- A B - BС - AС
A BС
n
Ai = Ai - Ai A j + A i A j A k - ...+
i=1 i i< j i< j<k
+(-1) n-1
A 1 A 2 ... A n
Пример 7.
Порядок выполнения операций над множествами
определяется их приоритетами в следующем
порядке:
А , , , \ , Δ.
Основные тождества алгебры множеств
1.Коммутативные законы:
AB = BA; AB = BA.
2. Ассоциативные законы:
A (BC) = (AB) C; A (BC) =(AB) C.
3. Дистрибутивные законы:
A (BC) = (AB) (AC);
A (BC) = (AB) (AC).
4. Законы тавтологии (идемпотентности):
AA= A; AA= A.
5. Законы двойственности (де Моргана):
А В А В, А В А В.
Следствия из законов двойственности:
А В А В, А В А В .
6. Законы поглощения: А (АВ)=А; А(АВ)=А.
7. Закон инволютивности: А А.
8. Закон противоречия: А А .
9. Закон «третьего не дано»: А А U.
10. Свойства универсального множества:
АU=U; АU=А.
11. Свойства пустого множества: А=А; А=.
12. Законы склеивания:
( А В) ( А В) А, ( А В) ( А В) А.
13. Законы сокращения (законы Порецкого):
А ( А В) А В, А ( А В) А В.
14. Дополнительные тождества для операции
разности множеств:
A \ (B \ C)=(A \ B) (AC); (A \ B) \ C=(A \ C) \ (B \ C);
A \ (BC)=(A \ B) \ C; A \ (BC)=(A \ C) \ (B \ C).
15. Дополнительные тождества для операции
симметрической разности:
AΔ(BΔC) = (AΔB) ΔC; A(BΔC) = (AB) Δ(AC).
Замечание. Практически все основные тождества
(законы) множеств представлены парами, которые
характеризуются своей симметричностью в
отношении операций объединения и пересечения.
Подобное свойство законов называется
дуальностью (двойственностью).
ВС А(ВС)
АВ A B
A B AB
Доказательство справедливости проверяемых
тождеств можно проводить алгебраическим
методом.
Пример 1. Докажем второй закон поглощения:
А(АВ) = А преобразованием левой части
тождества к правой с использованием других
тождеств: