Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Алгебра множин




Операції над множинами, як і операції над числами, мають деякі властивості (табл.). Останні виражаються сукупністю тотожностей незалежно від конкретного вмісту множин, що входять у ці тотожності та є підмножинами деякого універсуму U.

Комутативний закон
1а) А È В = В È А 1б) А Ç В = В Ç А
Асоціативний закон
2а) А È (В È С) = (А È В) È С 2б) А Ç (В Ç С) = (А Ç В) Ç С
Дистрибутивний закон
3а) А È (В Ç С) = (А È В) Ç (А È С) 3б) А Ç (В È С) = (А Ç В) È (А Ç С)
Властивості Æ та U
4а) А È Æ = A 4б) А Ç U = A
5а) 5б)
6а) А È U = U 6б) А Ç Æ = Æ
7а) 7б)
Закон самопоглинання
8а) А È A = A 8б) А Ç A = A
Закон поглинання
9а) А È (А Ç В) = А 9б) А Ç (А È В) = А
Правило де Моргана
10а) 10б)
Властивості доповнення, різниці та рівності
11) А È В = U і А Ç В = Æ Þ
12)
13)
14)
15) А Å В = В Å А
16) А Å (В Å С) = (А Å В) Å С
17) А Å Æ = Æ Å A = A
18) А Ì В Û А Ç В = А Û А È В = В Û
19)

 

Основний метод доведення тотожностей в алгебрі множин ґрунтується на згаданому раніше факті: А = В тоді і тільки тоді, коли А Í В і В Í А. Доведемо, наприклад, тотожність 3а) А È (В Ç С) = (А È В) Ç (А È С).

Доведемо, що А È (В Ç С) Ì (А È В) Ç (А È С). Для цього візьмемо будь-яке x Î А È (В Ç С), тоді за означенням операцій È та Ç маємо x Î А або (x Î В і x Î С). За законом дистрибутивності “або” відносно “і” (x Î А або x Î В) і (x Î А або x Î С), тобто x Î А È В і x Î А È С. Це рівносильно x Î (А È В) Ç (А È С), що й треба було довести.

Доведемо тепер, що (А È В) Ç (А È С) Ì А È (В Ç С). Для цього візьмемо будь-яке x Î (А È В) Ç (А È С). Звідси (x Î А або x Î В) і (x Î А або x Î С). Це рівносильно x Î А або (x Î В і x Î С), тобто x Î А È (В Ç С), що й потрібно було довести.

Таким чином, А È (В Ç С) = (А È В) Ç (А È С).

Із властивості асоціативності операції об’єднання множин випливає, що об’єднання кількох множин можна виконати, послідовно об’єднуючи їх, причому порядок входження множин не впливає на результат: А È (В È С) = (А È В) È С = А È В È С. Отже, об’єднання сукупності множин можна подати співвідношенням: .

Аналогічно на n множин узагальнюється операція перерізу: .

Використовуючи узагальнення операцій об’єднання та перерізу на n множин, можна узагальнити також інші співвідношення, наприклад закон де Моргана, який в узагальненому вигляді записується так: і .

Зауважимо, що операція декартового добутку неасоціативна і некомутативна, тобто множини (A ´ BC і A ´(B ´ C), а також множини A ´ B і B ´ A, взагалі кажучи, не рівні між собою.

Зв’язок декартового добутку з іншими теоретико-множинними операціями встановлюється такими тотожностями:

(A È B) ´ C = (A ´ C) È (B ´ C),

(A Ç B) ´ C = (A ´ C)Ç(B ´ C),

A ´ (B È C) =(A ´ B) È (A ´ C),

A ´ (B Ç C) =(A ´ B)Ç(A ´ C).

Сукупність підмножин A 1, A 2, …, An множини A називається розбиттям множини A, якщо:

1. ;

2. Ai Ç Aj = Æ, i ¹ j.

 




Поделиться с друзьями:


Дата добавления: 2014-11-29; Просмотров: 708; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.008 сек.