Студопедия

КАТЕГОРИИ:


Архитектура-(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)

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




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

Для получения новых множеств из уже существующих используют операции над множествами. Рассмотрим основные из них.

Объединением множеств X и Y называется множество , все элементы которого являются элементами множества X или Y:

={ x x или }.

Пересечением множеств X и Y называется множество , элементы которого являются элементами обоих множеств X и Y:

={ x | x X и x Y}.

Очевидно, что выполняются включения

;

Разностью множеств X и Y называется множество всех тех элементов X, которые не принадлежат Y:

={ x x и }.

Дополнением множества X называется множество всех тех элементов x, которые не принадлежат множеству X:

.

Симметрической разностью (или кольцевой суммой) множества X и Y называется множество

.

Замечание. .

Универсальное множество графически изображают в виде множества точек прямоугольника, отдельные области внутри этого прямоугольника соответствуют различным подмножествам универсального множества. Такое представление универсального множества и его подмножеств называется диаграммой Эйлера-Венна. На диаграмме Эйлера-Венна можно проиллюстрировать все основные операции над множествами (рис. 1.1-1.5).

 

 


Операции над множествами обладают определенными свойствами и удовлетворяют некоторым соотношениям. Рассмотрим следующие утверждения.

Утверждение 1.2.1. Для любых множеств X, Y, Z выполняются следующие тождества (основные свойства операций):

1. Коммутативность операций и :

2. Ассоциативность операций и :

3. Законы дистрибутивности

4. .

5. .

6. Законы комплиментарности:

7. Законы идемпотентности:

8. Законы де Моргана: .

(Август де Морган (1806–1871) – английский математик).

9. Закон двойного отрицания

10. Законы поглощения

Докажем один из законной дистрибутивности:

Доказательство. Чтобы доказать равенство двух множеств А = В нужно доказать, что А Í В и В Í А. Докажем, что Для доказательства этого включения выберем произвольный элемент из множества и покажем, что он принадлежит множеству . Итак, пусть . Тогда и . Если , то , а значит, . Если , то , а значит, . Таким образом,

Теперь докажем, что Пусть . Если , то и , отсюда следует, что и , т.е. . Если , то и . Отсюда следует, что и , т.е. . Итак, Таким образом, получили, что и ,

а это значит, что эти два множества равны.

Доказательство можно оформить в более формализованном виде, используя “{” для системы высказываний, объединенных союзом “и”, “[”- для системы высказываний, объединенных союзом «или».

Докажем, один из законов де Моргана: .

С одной стороны,

 

.

 

С другой стороны,

 

Так как и , то , что и требовалось доказать.

 

Утверждение 1.2.2.Следующие предложения о произвольных множествах попарно эквивалентны:

1) ; 2) ; 3) ; 4) ; 5) .

Доказательство. 1 2. Так как , то достаточно показать, что влечет . Но если , то по условию , и, следовательно, .

2 3. Так как , то . По закону поглощения и закону коммутативности имеем . Тогда .

3 4. Предположим, что . Так как , то по закону де Моргана, закону ассоциативности, закону коммутативности, закону комплиментарности и закону 4 имеем

.

4 5. Предположим, что , т. е. . Тогда . По закону де Моргана и закону двойного отрицания получаем .

5 1. Предположим, что и не выполняется условие , т. е. найдется элемент x такой, что и . Тогда и, значит, , а это противоречит равенству .

 

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

 

Пересечение и объединение могут быть определены для любого множества множеств , где индексы пробегают множество . Пересечение { | Î } и объединение { | Î } задаются равенствами

{ | Î } = { | Î для всех Î },

{ | Î } = { | Î для некоторого Î }.

Вместо { | Î } и { | Î } часто пишут соответственно и , а иногда просто , , если из контекста ясно, какое множество I имеется в виду. Если I = {1,2,…, n }, то и , а также и .

Совокупность множеств называется покрытием множества X, если Если при этом >0 и для всех i , то называется разбиением множества X.

Пример. Пусть X ={ a, b, c, d, e, f }. Тогда {{ a, b, d }, { c, f }, { e }} – разбиение множества X, а {{ a, b, d }, { в, c, f }, { в, e }} – покрытие множества X.

Одним из важных понятий теории множеств является понятие декартова произведения множеств. Декартовым (прямым) произведением множеств X и Y называется множество упорядоченных пар вида

{(x, y) x и }.

Пример. Пусть X ={1,2}, Y ={3,4,5}. Тогда {(1,3), (1,4), (1,5), (2,3), (2,4), (2,5)}, {(3,1), (3,2), (4,1), (4,2), (5,1), (5,2)}, {(1,1), (1,2), (2,1), (2,2)}.

Две пары (x, y) и (u, v) считаются равными тогда и только тогда, когда x = u и y = v

Аналогично можно определить декартово произведение n множеств

Если , то n -я степень множества X определяется как

Пример. Множество равно множеству

, которому соответствует множество точек на плоскости, имеющих неотрицательные координаты, не превосходящие единицы (рис. 1.6).

 

Рис. 1.6

 




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


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


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



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




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