Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Дискретка.doc
Скачиваний:
0
Добавлен:
01.04.2025
Размер:
949.76 Кб
Скачать

Вопрос 1

Предметы (объекты), составляющие данное множест­во, называют его элементами. При этом никаких ограни­чений на природу элементов множества не наклады­вается. Предполагается только, что для любых двух эле­ментов данного множества имеется возможность выяс­нить, различны они или одинаковы. Тот факт, что элемент x принадлежит множеству А (x является элементом множества А), записывается так: . Если же x не является элементом множества А (x не принадлежит множеству А), будем писать . Таким образом, принадлежность - это отно­шение между элементами и множествами, при этом пред­полагается, что для любого конкретного элемента и любого конкретного множества можно определить, принад­лежит этот элемент данному множеству или нет. Множество называется конечным, если оно состоит из конечного числа элементов, и бесконечным — в проти­воположном случае. Возможны различные способы задания множеств. Один из них состоит в том, что дается полный список (полный перечень) элементов, входящих в данное мно­жество. Так, множество учеников класса определяется списком в журнале. Если множество А конечное, состоя­щее из элементов a1, … , an, то используют обозначение А = {a1, … , an}. В частности, {а} — множество, состоя­щее из одного элемента а. Если Р(x) - некоторое свойство, то предполагается, что оно определяет некоторое множество^ А, состоящее из всех тех элементов x, которые удовлетворяют свой­ству Р(x). �� этом случае множество А обозначают так: A = {x| P(x)} или A = {x: P(x)}. Например, если А = {a1, … , an}, то оно может быть определено с помощью характеристического свойства следующим образом: A = {x| x = a1 или x = a2, или … или x = an}. Множество всех сенаторов США может быть определено с помощью характеристического свойства так: {x| x — сенатор}, и это задание экономнее задания данного множества с по­мощью списка всех сенаторов. Ясно, что существуют множества, состоящие из трех, двух или одного элемента. Например, множество родите­лей любого человека двухэлементное. Однако иногда приходится рассматривать и множество, не содержащее ни одного элемента. Оно называется пустым и обозна­чается . При задании множества характеристическим свойством не всегда известно, существует ли элемент с таким свойством. Например, мы говорим о множестве решений какого-либо уравнения, которое может и не иметь решения, т.е. это множество решений уравнения пустое. Более того, часто бывает очень трудно выяснить, является ли пустым данное множество. Неизвестно, на­пример, до сих пор, является ли пустым множество всех натуральных п > 2 таких, что уравнение xn + yn = zn имеет положительное целочисленное решение (проблема Ферма). Пусть А и В — непустые мно­жества. Если каждый элемент множества А является вместе с тем и элементом множества В, то А называют подмножеством множества В (или А содержится в В, или В содержит А, или А включено в В) и обозначают . Положим, по определению, что пустое множест­во есть подмножество любого множества В**, в том числе и пустого. Пусть, например, ^ С — множество всех комплексных чисел; R — множество всех действительных чисел; Q — множество всех рациональных чисел; Z — множество всех целых чисел; N — множество всех натуральных чи­сел. Тогда . Понятие подмножества определяет отношение между двумя множествами — отношение включения. Отметим простейшие свойства введенного отношения включения:

  1. , т. е. любое множество А является подмно­жеством самого себя (рефлексивность);

  2. если , , то (транзитив­ность).

Чтобы в множестве А выделить подмножество В, до­бавляют к характеристическому признаку множества А то или иное дополнительное свойство Р(х) и обозначают это так: B = { | P(x)}. Например, { | x > 0} множество всех положительных действительных чисел. Введем наряду с отношением включения множеств еще одно отношение — отношение равенства множеств. Определение 2. Пусть А и В — два множества. Множества А и В называются равными, если каждый элемент множества А является вместе с тем и элементом множества В, и обратно, каждый элемент множества В является и элементом множества А. Другими словами, множества А и В называются равными, если выполняют­ся два включения: и . Отношение равенства двух множеств, очевидно, удов­летворяет следующим условиям:

  1. А = А (рефлексивность);

  2. если А = В и В = С, то А = С (транзитивность).

Если и , то А называют собственным подмножеством множества В и обозначают . Введенное отношение называется отношением строгого включения. Например, . Отношение строгого включения удовлетворяет следующему свойст­ву: если и , то (транзитивность). Пусть^ А — множество. Совокупность всех подмно­жеств множества �� обозначают через Р(А) и назы­вают булеаном множества А. Ясно, что , . Если, например, А = {а, b}, то P(A) = { , {a}, {b}, A}.