1. Множества

После проработки этой главы Вы должны уметь:

1. использовать систему записи множеств;

2. определять, равны ли данные два множества или является ли одно из данных множеств подмножеством другого;

3. находить объединение, пересечение и разность двух данных множеств.

1. Что такое множество?

В

Простое число — это целое число n < 1, у которого есть только два положительных делителя — 1 и n; первые несколько простых чисел — 2, 3, 5, 7, 11, 13, 17.

математике часто рассматриваются наборы объектов различных типов. Например, можно рассматривать:

• решения квадратного уравнения;

• точки на окружности;

• простые числа меньше 100;

• вершины треугольника;

• область определения вещественной функции.

Понятие множества предоставляет единую структуру, необходимую для систематического рассмотрения подобных наборов.

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

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

Т

[картинка]

Символ S означает множество, а не его элемент. Подобные обозначение появятся и на других диаграммах.

акое описание может быть произведено многими способами. Например, можно определить множество S как множество чисел из списка 4, 9, 3, 2. Это описание позволяет определить, что, к примеру, число 2 принадлежит S, а число 1 — нет. Такое множество может быть проиллюстрировано схемой, как на полях; она называется диаграммой Венна в честь жившего в XIX веке кембриджского математика Джона Венна.

Также множество E может быть задано утверждением: «пусть E будет множеством всех чётных целых чисел». Такое описание позволяет нам определить, является ли данный объект элементом E, узнав, является ли он чётным целым числом; например, 6 принадлежит E, а 5 — нет.

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

М

Действительное число — это число с разложением (возможно, бесконечным) на сумму десятичных дробей, например, π = 3,14... или 1,1.

Рациональное число — это действительное число, которое может быть выражено дробью, например, 14/5 или –3/4.

ы используем символ ∈, чтобы показать принадлежность множеству; например, чтобы показать, что 7 — это элемент ℕ, мы пишем:

.

Чтобы показать, что 9 — это не элемент ℕ, мы пишем:

.

Также символ ∈ используется, чтобы ввести символ, обозначающий произвольный элемент множества. Например, пишут

чтобы показать, что x — это произвольный (неопределённый) элемент множества ℝ. Иногда говорят, что x — это вещественная переменная. Вообще переменная — это символ (типа x или n), который обозначает произвольный элемент множества.

Упражнение 1.1

2. Система записи множеств

Теперь изучим некоторые формальные способы записи множеств.

Множество с небольшим количеством элементов может быть задано перечисление этих элементов в фигурных скобках. Например, можно задать множество A, состоящее из первых пяти натуральных чисел, так:

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

Таким же образом можно задать множество B вершин квадрата, показанного на полях:

Можно даже задать множество C, элементами которого будут три множества {1, 3, 5}, {9, 4} и {2}:

Множество из одного элемента, как, например, {2}, называется одноэлементным, или одноточечным. (Не путайте множество {2} и число 2.)

Упражнение 1.2

Не имеет значения, указываем ли мы элемент множества в фигурных скобках несколько раз: мы по-прежнему описываем множество, состоящее из каждого из элементов по отдельности. Например, {1, 2, 3, 3} и {1, 2, 3} — это одно и то же множество. Тем не менее, записи одного элемента несколько раз обычно избегают.

В случае множеств с большим числом элементов перечислять все элементы непрактично, поэтому иногда для указания на продолжение определённой модели принадлежности элементов множеству используются три точки (называемые многоточием, или эллипсисом). Например, множество первых 100 натуральных чисел можно задать, написав {1, 2, 3, ..., 100}.

Использование многоточия может быть расширено и на некоторые бесконечные множества. Например, множество всех натуральных чисел натуральных чисел может быть записано как {1, 2, 3, ...}. Недостаток такой записи заключается в том, что модель, обозначенная многоточием, может быть двусмысленной. Например, непонятно, какое множество описывает запись {3, 5, 7, ...}: множество всех нечётных простых чисел или множество всех нечётных чисел больше единицы. По этой причине такая запись может быть использована, только когда модель принадлежности очевидна или когда даются дополнительные пояснения.

Другой способ задания множества — это использование переменных для построения объектов необходимого типа и последующая запись условий, которым должны отвечать эти объекты. Например, рассмотрим интервал (3, ∞), которые состоит из всех такие действительных чисел x, что x > 3. Используя систему записи множеств, мы можем записать его как

что читается так: множество действительных x таких, что x больше 3.

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

Если после двоеточия нужно поставить больше одного условия, то они разделяются запятой или словом «и». Так, полуинтервал (0, 1] может быть записан так:

хотя обычно эти неравенства совмещают и пишут

Иногда удобно задать множество, написав перед двоеточием выражение от одной или нескольких переменных, а после — условия, накладываемые на переменные. Например, множество чётные целых чисел меньше 100 может быть задано так:

Так же, как и при записи множества как списка элементов, запись одного элемента несколько раз значения не имеет. Например, записи

задают одно и то же множество.

Запись множеств полезна, когда нам нужно указать множество решений одного или нескольких уравнений. Например, решения уравнения составляют множество

Множество решений уравнений зависит от множества значений, из которого выбираются решения. Например, множество решений уравнения

—

это

если нас интересуют действительные решения, но если мы рассматриваем только целые решения, то это будет

В этой части книги мы полагаем, что решения берутся из , если не оговорено иное.

Иногда у уравнения нет действительных решений, поэтому в множестве его решений нет элементов. Такое множество называется пустым множеством и обозначается символом ⌀. Например,

Пример 1.1

Решение

Упражнение 1.3