Урок 21
§17. Некоторые сведения из теории множеств

17.1. Понятие множества

С понятием множества вы познакомились на уроках математики ещё в начальной школе, а затем работали с ним при изучении математики и информатики в основной школе.

Множество — это совокупность объектов произвольной природы, которая рассматривается как единое целое.

Примерами множеств могут служить: множество всех учеников вашего класса, множество всех жителей Санкт-Петербурга, множество всех натуральных чисел, множество всех решений некоторого уравнения и т. п.

Множества принято обозначать прописными буквами латинского алфавита (А, В, С, ...). Объекты, входящие в состав множества, называются его элементами.

Множество можно задать следующими способами:

1) перечислением всех его элементов;
2) характеристическим свойством его элементов.

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

Например, запись М = {1, 3, 5, 7, 9} означает, что множество М состоит из чисел 1, 3, 5, 7 и 9. Точно такой же смысл будет иметь запись М = {3, 1, 5, 9, 7}. Иначе говоря, порядок расположения элементов в фигурных скобках значения не имеет. Важно точно указать, какие именно объекты являются элементами множества.

Например:

• число 5 является элементом множества М: 5 ∈ М ¹⁾;
• число 4 не является элементом множества М: 4 ∉ М.

---

¹⁾ Символ ∈  называется знаком принадлежности.

Это же множество можно задать с помощью характеристического свойства образующих его элементов — такого свойства, которым обладает каждый элемент, принадлежащий множеству, и не обладает ни один элемент, который ему не принадлежит. В нашем примере можно говорить о множестве натуральных однозначных нечётных чисел.

В рассматриваемом множестве М содержится 5 элементов. Это обозначают так: |М| = 5. Можно составить множество, содержащее любое число элементов. Например, множество всех корней уравнения х² - 4х - 5 = 0 конечно (два элемента), а множество всех точек прямой бесконечно. Множество, не содержащее ни одного элемента, называется пустым и обозначается символом ∅.

Первый способ задания множеств применим только для конечных множеств, да и то при условии, что число элементов множества невелико. Вторым способом можно задавать как конечные, так и бесконечные множества.

Из некоторых элементов множества М можно составить новое множество, например Р: Р = {1, 3, 5}.

Если каждый элемент множества Р принадлежит множеству М, то говорят, что Р есть подмножество М, и записывают: Р ⊂ М.

Само множество М является своим подмножеством, т. к. каждый элемент М принадлежит множеству М. Пустое множество также является подмножеством М.

Работая с объектами какой-то определённой природы, всегда можно выделить «самое большое» или универсальное множество, содержащее все возможные подмножества. Пусть А — множество чётных чисел, В — множество натуральных чисел, С — множество чисел, кратных пяти.

Тогда самым большим множеством, содержащим в себе множества А, В и С, а также другие подобные множества, будет множество целых чисел. Универсальное множество будем обозначать буквой U.

Для наглядного изображения множеств используются круги Эйлера (рис. 4.1). Точки внутри круга считаются элементами множества.

Рис. 4.1. Графическое изображение множеств: 1) х ∈ М, 2) х ∉ М

Cкачать материалы урока