Универсальное множество

Подмножество

Определение: Множество Х является подмножеством Y, если любой элемент множества Х принадлежит множеству Y. Это еще называется нестрогим включением.

Некоторые свойства подмножества:

1. ХÍХ - рефлективность

2. X Í Y & YÍZ ® X Í Z - транзитивность

3. Æ Í X т.е. пустое множество является подмножеством любого множества.

Например:

Пусть Х – множество студентов некоторой группы, Е – множество отличников этой же группы.

EÍX т.к. группа может состоять только из отличников.

Когда хотят подчеркнуть, что в множестве У есть обязательно элементы, отличные от элементов множества Х, то пишут ХÌУ. Это называется строгим включением.

Например:

Пусть Х – множество всех курсантов ДВИММУ, Е – множество курсантов электромеханического факультета.

EÌX т.к. в множестве всех курсантов ДВИММУ, обязательно есть элементы Ï E.

Упражнение: Самостоятельно определить свойства строгого включения.

Универсальное множество

Определение: Универсальное множество – это такое множество, которое состоит из всех элементов, а так же подмножеств множества объектов исследуемой области, т.е.

1. Если М Î I , то М Í I

2. Если М Î I , то Ώ(М) Í I , где под Ώ(М) – понимаются все возможные подмножества М, или Булеан М.

Универсальное множество обычно обозначается I.

Универсальное множество может выбираться самостоятельно, в зависимости от рассматриваемого множества, и решаемых задач.

Например:

Рассматривая множество студентов вашей группы, в качестве универсального множества можно взять и множество студентов ДВГМА, и множество всех людей земли, и множество всех живых существ земли.

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

Более подробно о свойствах универсального множества мы поговорим, обсуждая операции над множествами. Скажем только, что если роль нуля в алгебре множеств играет пустое множество. То универсальное множество, играет роль единицы в алгебре множеств.

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

Теперь определим операции над множествами.