Тема 3. Основы дискретной математики.

 

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

 

Понятия «множества», «отношения», «функции» и близкие к ним составляют основной словарь дискретной математики. Основоположником теории множеств является немецкий математик Г. Кантор.

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

Следующие совокупности объектов являются множествами: множество товаров в магазине, множество натуральных чисел, множество студентов, множество букв алфавита.

Всякое множество состоит из элементов. Множества обозначают заглавными буквами латинского алфавита, например А, В, С, а элементы - маленькими буквами, например, а, b, с.

Пример 1.1.

Множества могут быть конечными (т.е. состоящими из конечного числа элементов) и бесконечными. Число элементов в конечном множестве называется мощностью множества. Множество и его элементы обозначаются следующим образом:

А = { а₁, а ₂, а₃ } - множество, состоящее из трех элементов;

А = { а₁, а ₂,... } - множество, состоящее из бесконечного числа элементов.

Множество может состоять из элементов, которые сами являются множествами. Нужно различать элемент а и множество А, состоящее из единственного элемента а.

Пример 1.2.

Множество А = {1,2, 7} состоит из трех элементов 1,2,7.

Множество Х= {1, 3, 5, 8}. Мощность | Х|= 4.

Если элемент а принадлежит множеству А, это записывается следующим образом: . Если элемент а не принадлежит множеству А, то записывают так:

Пример 1.3.

Пусть А₁ — множество нечетных чисел, А₂ — множество целых чисел, а = 4.

Тогда

Если все элементы множества А являются элементами множества В и наоборот, т. е. множества А и В совпадают, то говорят, что А=В.

Если каждый элемент множества А является элементом множества В, говорят, что множество А является подмножеством множества В, и записывают А В. Отметим, что по определению само множество А является своим подмножеством, т.е. А А.

Если А В и В А, то по ранее введенному определению А = В.

Если А В и , то A есть собственное подмножество В, A В. Если А не является собственным подмножеством В, то записывают A В.

Пример 1.4.

Пусть А - множество четных чисел, В - множество целых чисел, С -множество нечетных чисел. Тогда

Не надо смешивать отношение принадлежности () и отношение включения ().

Пример 1.5.

Пусть A = {2} - множество, состоящее из одного элемента, В = {{2}, {4}} - множество, состоящее из двух элементов, каждое из которых является одноэлементным множеством. Тогда имеют место следующие соотношения:

2 {2};

{2} {{2}, {4}};

2 {{2}, {4}}.

Множество, не содержащее ни одного элемента, называется пустым множеством и обозначается Ø. Принято считать, что пустое множество является подмножеством любого множества, Ø А, где А - любое множество. Таким образом, всякое множество содержит в качестве своих подмножеств пустое множество и само себя.

Множество всех подмножеств данного множества А называется множеством-степенью и обозначается Р(А). Множество Р(А) состоит из 2ⁿ элементов.

Пример 1.6.

Пусть множество A = {1, 2} состоит из двух элементов 1, 2. Тогда множество Р(А) включает в себя пустое множество Ø, два одноэлементных множества {1} и {2} и само множество А = {1,2}, т.е.

P(A)={Ø,{1},{2},{1,2}}.

Мы видим, что множество Р(А) состоит из четырех элементов (4 = 2²).

Существуют следующие способы задания множеств.

1. Перечислением элементов множества. Например: А = {1, 3, 5, 7,9} - конечное множество; В = {1, 2,..., n,...} - бесконечное множество.

2. Указанием свойств элементов множества. Для этого способа пользуются следующим форматом записи: А = { а| указание свойства элементов}. Здесь а является элементом множества A, а А.

Пример 1.7.

Х= { х | х=2^к, где k= 1,2,3,...}.

А = { а | а — простое число}

В= { b|b²-1=0, b- действительное число}

Универсальным множеством называется такое множество U, что все рассматриваемые в данной задаче множества являются его подмножествами.

Для наглядного представления множеств и отношений между ними используются диаграммы Венна (иногда их называют кругами Эйлера или диаграммами Эйлера - Венна).

Универсальное множество изображают в виде прямоугольника, а множества, входящие в универсальное множество, - в виде кругов внутри прямоугольника; элементу множества соответствует точка внутри круга.