Урок "Теория множеств. Пересечение и объединение множеств". Операции над множествами – объединение и пересечение. Свойства

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

Навигация по странице.

Простейшие случаи

>

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

Напомним, что

Определение.

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

Из данных определений несложно получить следующие правила нахождения пересечения и объединения множеств:

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

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

Рассмотрим на конкретных примерах применение озвученных правил для нахождения пересечения и объединения множеств.

Например, пусть нужно найти объединение числовых множеств A={3, 5, 7, 12} и B={2, 5, 8, 11, 12, 13} . Записываем все элементы, например, множества A , имеем 3 , 5 , 7 , 12 , и к ним добавляем недостающие элементы множества B , то есть, 2 , 8 , 11 и 13 , в результате имеем числовое множество {3, 5, 7, 12, 2, 8, 11, 13} . Не помешает упорядочить элементы полученного множества, в итоге получаем искомое объединение: A∪B={2, 3, 5, 7, 8, 11, 12, 13} .

Теперь найдем пересечение двух числовых множеств из предыдущего примера A={3, 5, 7, 12} и B={2, 5, 8, 11, 12, 13} . Согласно правилу, будем последовательно перебирать элементы первого множества A и проверять, входят ли они во множество B . Берем первый элемент 3 , он не принадлежит множеству B , следовательно, он не будет и элементом искомого пересечения. Берем второй элемент множества A , это число 5 . Оно принадлежит множеству B , поэтому принадлежит и пересечению множеств A и B . Так найден первый элемент искомого пересечения – число 5 . Переходим к третьему элементу множества A , это число 7 . Оно не принадлежит B , значит, не принадлежит и пересечению. Наконец, остался последний элемент множества A – число 12 . Оно принадлежит множеству B , следовательно, оно является и элементом пересечения. Итак, пересечение множеств A={3, 5, 7, 12} и B={2, 5, 8, 11, 12, 13} – это есть множество, состоящее из двух элементов 5 и 12 , то есть, A∩B={5, 12} .

Как Вы заметили, выше мы говорили о нахождении пересечения и объединения двух числовых множеств. Что же касается пересечения и объединения трех и большего числа множеств, то его нахождение можно свести к последовательному нахождению пересечения и объединения двух множеств. Например, чтобы найти пересечение трех множеств A , B и D можно сначала найти пересечение A и B , после чего найти пересечение полученного результата с множеством D . А теперь конкретно: возьмем числовые множества A={3, 9, 4, 3, 5, 21} , B={2, 7, 9, 21} и D={7, 9, 1, 3} и найдем их пересечение. Имеем A∩B={9, 21} , а пересечение полученного множества с множеством D есть {9} . Таким образом, A∩B∩D={9} .

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

Так, чтобы получить объединение трех и большего числа множеств указанного типа, надо к числам первого числового множества добавить недостающие числа второго, к записанным числам добавляем недостающие числа третьего множества и так далее. Чтобы пояснить этот момент возьмем числовые множества A={1, 2} , B={2, 3} и D={1, 3, 4, 5} . К элементам 1 и 2 числового множества A добавляем недостающее число 3 множества B , получаем 1 , 2 , 3 , и к этим числам добавляем недостающие числа 4 и 5 множества D , в итоге получаем нужное нам объединение трех множеств: A∪B∪C={1, 2, 3, 4, 5} .

Что же касается нахождения пересечения трех, четырех и т.д. числовых множеств, состоящих из конечного числа отдельных чисел, нужно последовательно перебрать числа первого множества и проверять, принадлежит ли проверяемое число каждому из остальных множеств. Если да, то это число является элементом пересечения, если нет – то не является. Здесь лишь заметим, что целесообразно в качестве первого брать множество с наименьшим числом элементов. В качестве примера возьмем четыре числовых множества A={3, 1, 7, 12, 5, 2} , B={1, 0, 2, 12} , D={7, 11, 2, 1, 6} , E={1, 7, 15, 8, 2, 6} и найдем их пересечение. Очевидно, множество B содержит меньше всего элементов, поэтому для нахождения пересечения исходных четырех множеств будем брать элементы множестваB и проверять, входят ли они в остальные множества. Итак, берем 1 , это число является элементами и множества A , и D и E , так что это первый элемент искомого пересечения. Берем второй элемент множества B – это нуль. Это число не является элементом множества A , поэтому не будет является и элементом пересечения. Проверяем третий элемент множества B – число 2 . Это число является элементом всех остальных множеств, поэтому, является вторим найденным элементом пересечения. Наконец, остается четвертый элемент множества B . Это число 12 , оно не является элементом множества D , поэтому, не является и элементом искомого пересечения. В итоге имеем A∩B∩D∩E={1, 2} .

Координатная прямая и числовые промежутки как объединение их частей

>

В нашем примере имеем записи

И

для пересечения и объединения числовых множеств соответственно.

Дальше изображают еще одну координатную прямую, ее удобно расположить под уже имеющимися. На ней будет изображаться искомое пересечение или объединение. На этой координатной прямой отмечают все граничные точки исходных числовых множеств. При этом эти точки сначала отмечают черточками, позже, когда будет выяснен характер точек с этими координатами, черточки будут заменены выколотыми или невыколотыми точками. В нашем случае это точки с координатами −3 и 7 .
Имеем

и

Точки, изображенные на нижней координатной прямой на предыдущем шаге алгоритма, позволяют рассматривать координатную прямую как набор числовых промежутков и точек, о чем мы говорили в . В нашем случае координатную прямую рассматриваем как набор следующих пяти числовых множеств: (−∞, −3) , {−3} , (−3, 7) , {7} , (7, +∞) .

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

• промежуток включается в пересечение, если он одновременно включен и в множество A , и в множество B (другими словами, если есть штриховка над этим промежутком над обеими верхними координатными прямыми, отвечающими множествам A и B );
• точка включается в пересечение, если она одновременно входит и в множество A , и в множество B (другими словами, если эта точка является невыколотой или внутренней точкой какого-либо интервала обеих числовых множеств A и B );
• промежуток входит в объединение, если он входит хотя бы в одно из множеств A или B (иными словами, если есть штриховка над этим промежутком хотя бы над одной из координатных прямых, отвечающих множествам A и B );
• точка входит в объединение, если она входит хотя бы в одно из множеств A или B (другими словами, если эта точка невыколотая или внутренняя точка какого-либо интервала хотя бы одного из множеств A и B ).

Проще говоря, пересечение числовых множеств A и B представляет собой объединение всех числовых промежутков множеств A и B , над которыми одновременно есть штриховка, и всех отдельных точек, принадлежащих одновременно и A , и B . А объединение двух числовых множеств есть объединение всех числовых промежутков, над которыми есть штриховка хотя бы у одного из множеств A или B , а также всех невыколотых отдельных точек.

Возвращаемся к нашему примеру. Закончим нахождение пересечения множеств. Для этого последовательно будем проверять множества (−∞, −3) , {−3} , (−3, 7) , {7} , (7, +∞) . Начинаем с (−∞, −3) , для наглядности выделим его на чертеже:

Этот промежуток не включаем в искомое пересечение, так как он не включен ни в A , ни в B (над этим промежутком нет штриховки). Так на этом шаге ничего на нашем чертеже не отмечаем и он сохраняет свой начальный вид:

Переходим к следующему множеству {−3} . Число −3 принадлежит множеству B (это невыколотая точка), но очевидно не принадлежит множеству A , поэтому не принадлежит и искомому пересечению. Поэтому на нижней координатной прямой делаем точку с координатой −3 выколотой:

Проверяем следующее множество (−3, 7) .

Оно входит в множество B (над этим интервалом есть штриховка), но не входит в множество A (над этим интервалом нет штриховки), поэтому, не будет входить и в пересечение. Следовательно, на нижней координатной прямой ничего не отмечаем:

Переходим к множеству {7} . Оно включено в множество B (точка с координатой 7 является внутренней точкой промежутка [−3, +∞)) , но не включено в множество A (эта точка выколотая), поэтому оно не будет включено и в искомое пересечение. Отмечаем точку с координатой 7 как выколотую:

Остается проверить промежуток (7, +∞) .

Он входит и в множество A , и в множество B (над этим промежутком есть штриховка), поэтому входит и в пересечение. Ставим штриховку над этим промежутком:

В результате на нижней координатной прямой мы получили изображение искомого пересечения множеств A=(7, +∞) и B=[−3, +∞) . Очевидно, оно представляет собой множество всех действительных чисел, больших семи, то есть, A∩B=(7, +∞) .

Теперь найдем объединение множеств A и B . Начинаем последовательную проверку множеств (−∞, −3) , {−3} , (−3, 7) , {7} , (7, +∞) на предмет их включения в искомое объединение двух числовых множеств A и B .

Первое множество (−∞, −3) не входит ни в A , ни в B (над этим промежутком нет штриховки), поэтому это множество не будет входить и в искомое объединение:

Множество {−3} входит в множество B , поэтому будет входить и в объединение множеств A и B :

Интервал (−3, 7) тоже входит в B (есть штриховка над этим интервалом), следовательно, он будет составной частью искомого объединения:

Множество {7} тоже будет входить в искомое объединение, так как оно входит в числовое множество B :

Наконец, (7, +∞) входит и в множество A , и в множество B , следовательно, будет входить и в искомое объединение:

По полученному изображению объединения множеств A и B заключаем, что A∩B=[−3, +∞) .

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

Пример.

Найдите пересечение и объединение множеств A=(−∞, −15)∪{−5}∪∪{12} и B=(−20, −10)∪{−5}∪(2, 3)∪{17} .

Решение.

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

Ответ:

A∩B=(−20, −15)∪{−5}∪(2, 3) и A∪B=(−∞, −10)∪{−5}∪∪{12, 17} .

Понятно, что при должном понимании озвученный выше алгоритм можно оптимизировать. Например, при нахождении пересечения множеств нет необходимости в проверке всех промежутков и множеств, состоящих их отдельных чисел, на которые разбивают координатную прямую граничные точки исходных множеств. Можно ограничиться проверкой лишь тех промежутков и чисел, которые составляют множество A или B . Остальные промежутки все равно не будут входить в пересечение, так как не принадлежат одному из исходных множеств. Проиллюстрируем сказанное, разобрав решение примера.

Пример.

Каково пересечение числовых множеств A={−2}∪(1, 5) и B=[−4, 3] ?

Решение.

Построим геометрические образы числовых множеств A и B :

Граничные точки заданных множеств разбивают числовую прямую на следующие множества: (−∞, −4) , {−4} , (−4, −2) , {−2} , (−2, 1) , {1} , (1, 3) , {3} , (3, 5) , {5} , (5, +∞) .

Несложно заметить, что числовое множество A можно «собрать» из только что записанных множеств, объединив {−2} , (1, 3) , {3} и (3, 5) . Для нахождения пересечения множеств A и B достаточно проверить, включены ли последние множества в множество B . Те из них, которые включены в B , и будут составлять искомое пересечение. Выполним соответствующую проверку.

Очевидно, {−2} входит в множество B (так как точка с координатой −2 является внутренней точкой отрезка [−4, 3]) . Интервал (1, 3) тоже входит в B (над ним есть штриховка). Множество {3} также входит в B (точка с координатой 3 является граничной и невыколотой множества B ). А интервал (3, 5) не входит в числовое множество B (над ним нет штриховки). Отметив сделанные выводы на чертеже, он примет такой вид

Таким образом, искомое пересечение двух исходных числовых множеств A и B представляет собой объединение следующих множеств {−2} , (1, 3) , {3} , которое можно записать как {−2}∪(1, 3] .

Ответ:

{−2}∪(1, 3] .

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

Пример.

Найдите пересечение и объединение трех числовых множеств A=(−∞, 12] , B=(−3, 25] , D=(−∞, 25)∪{40} .

Решение.

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

Так координатная прямая оказывается представлена числовыми множествами (−∞, −3) , {−3} , (−3, 12) , {12} , (12, 25) , {25} , (25, 40) , {40} , (40, ∞) .

Начинаем поиск пересечения, для этого по очереди смотрим, входят ли записанные множества в каждое из множеств A , B и D . Во все три исходных числовых множества входит интервал (−3, 12) и множество {12} . Они и составляют искомое пересечение множеств A , B и D . Имеем A∩B∩D=(−3, 12] .

В свою очередь искомое объединение будут составлять множества (−∞, −3) (входит в A ), {−3} (входит в A ), (−3, 12) (входит в A ), {12} (входит в A ), (12, 25) (входит в B ), {25} (входит в B ) и {40} (входит в D ). Таким образом, A∪B∪D=(−∞, 25]∪{40} .

Ответ:

A∩B∩D=(−3, 12] , A∪B∪D=(−∞, 25]∪{40} .

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

(10, 27) , {27} , (27, +∞) . Ни одно из записанных множеств одновременно не входит в четыре исходных множества, а это означает, что пересечение множеств A , B , D и E есть пустое множеств.

Ответ:

A∩B∩D∩E=∅.

Список литературы.

• Алгебра: учеб. для 8 кл. общеобразоват. учреждений / [Ю. Н. Макарычев, Н. Г. Миндюк, К. И. Нешков, С. Б. Суворова]; под ред. С. А. Теляковского. - 16-е изд. - М. : Просвещение, 2008. - 271 с. : ил. - ISBN 978-5-09-019243-9.
• Мордкович А. Г. Алгебра. 9 класс. В 2 ч. Ч. 1. Учебник для учащихся общеобразовательных учреждений / А. Г. Мордкович, П. В. Семенов. - 13-е изд., стер. - М.: Мнемозина, 2011. - 222 с.: ил. ISBN 978-5-346-01752-3.

Цели урока :

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

Ход урока.

>

1. Организационный момент.

>

2. Учитель сообщает тему урока, совместно с учащимися формулирует цели и задачи.

>

3. Учитель совместно с учащимися вспоминает материал, изученный по теме «Множества» в 7 классе, вводит новые понятия и определения, формулы для решения задач.

«Множество есть многое, мыслимое нами как единое» (основатель теории множеств – Георг Кантор). КАНТОР (Cantor) Георг (1845-1918) - немецкий математик, логик, теолог, создатель теории трансфинитных (бесконечных) множеств, оказавшей определяющее влияние на развитие математических наук на рубеже 19- 20 вв.

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

К сожалению, основному понятию теории – понятию множества – нельзя дать строгого определения. Разумеется, можно сказать, что множество – это «совокупность», «собрание», «ансамбль», «коллекция», «семейство», «система», «класс» и т. д. однако всё это было бы не математическим определением, а скорее злоупотреблением словарным богатством русского языка.

Для того чтобы определить какое – либо понятие, нужно, прежде всего, указать, частным случаем какого более общего понятия, оно является, для понятия множества сделать это невозможно, потому что более общего понятия, чем множество, в математике нет.

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

Предметы, составляющие данное множество, называются его элементами.

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

Множество месяцев – из элементов: январь, февраль, март, апрель, май, июнь, июль, август, сентябрь, октябрь, ноябрь, декабрь.

Множество арифметических действий - из элементов: сложение, вычитание, умножение, деление.

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

Если А - множество всех месяцев в году, то май принадлежит к А, а среда не принадлежит к А.

Если множество содержит конечное число элементов, то его называют конечным, а если в нем бесконечно много элементов, то бесконечным. Так множество деревьев в лесу конечно, а множество точек на окружности бесконечно.

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

Как уже упоминалось, понятие множества лежит в основе математики. Используя простейшие множества и различные математические конструкции, можно построить практически любой математический объект. Идею построения всей математики на основе теории множеств активно пропагандировал Г.Кантор. Однако, при всей своей простоте, понятие множества таит в себе опасность появления противоречий или, как ещё говорят, парадоксов. Появление парадоксов связано с тем, что далеко не всякие конструкции и не всякие множества можно рассматривать.

Самый простой из парадоксов - это "парадокс брадобрея ".

Одному солдату было приказано брить тех и только тех солдат его взвода, которые сами себя не бреют. Неисполнение приказа в армии, как известно, тягчайшее преступление. Однако возник вопрос, брить ли этому солдату самого себя. Если он побреется, то его следует отнести к множеству солдат, которые сами себя бреют, а таких брить он не имеет права. Если же он себя брить не будет, то попадёт во множество солдат, которые сами себя не бреют, а таких солдат согласно приказу он обязан брить. Парадокс.

Над множествами, как и над многими другими математическими объектами, можно совершать различные операции, которые иногда называют теоретико-множественными операциями или сет-операциями. В результате операций из исходных множеств получаются новые. Множества обозначаются заглавными латинскими буквами, а их элементы – строчными. Запись a R означает, что элемент а принадлежит множеству R , то есть а R . В противном случае, когда а не принадлежит множеству R , пишут a R .

Два множества А и В называются равными (А = В ), если они состоят из одних и тех же элементов, то есть каждый элемент множества А является элементом множества В и наоборот, каждый элемент множества В является элементом множества А .

Сравнение множеств.

Множество A содержится во множестве B (множество B включает множество A), если каждый элемент A есть элемент В:

Говорят, что множество А содержится в множестве В или множество А является подмножеством множества В (в этом случае пишут А В ), если каждый элемент множества А одновременно является элементом множества В . Эта зависимость между множествами называется включением . Для любого множества А имеют место включения: ØА и А А

В этом случае A называется подмножеством B , B - надмножеством A. Если , то A называется собственным подмножеством В . Заметим, что ,

По определению ,

Два множества называются равными , если они являются подмножествами друг друга

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

Пересечение.

Объединение.

Свойства.

1.Операция объединения множеств коммутативна

2.Операция объединения множеств транзитивна

3. Пустое множество X является нейтральным элементом операции объединения множеств

1. Пусть A = {1,2,3,4},B = {3,4,5,6,7}. Тогда

2. А={2,4,6,8,10}, В = {3,6,9,12}. Найдём объединение и пересечение этих множеств:

{2,4,6,8, 10,3,6,9,12}, = {6}.

3. Множество детей является подмножеством всего населения

4. Пересечением множества целых чисел с множеством положительных чисел является множество натуральных чисел.

5. Объединением множества рациональных чисел с множеством иррациональных чисел является множество положительных чисел.

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

Диаграммы Венна (Venn diagrams ) - общее название целого ряда методов визуализации и способов графической иллюстрации, широко используемых в различных областях науки и математики : теория множеств, собственно «диаграмма Венна» показывает все возможные отношения между множествами или событиями из некоторого семейства; разновидностями диаграмм Венна служат: диаграммы Эйлера,

Диаграмма Венна четырёх множеств.

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

Диаграммы Эйлера

Диаграммы Эйлера аналогичны диаграммам Венна.Диаграммы Эйлера можно использовать, для того, чтобы оценивать правдоподобность теоретико-множественных тождеств.

Задача 1. В классе 30 человек, каждый из которых поёт или танцует. Известно, что поют 17 человек, а танцевать умеют 19 человек. Сколько человек поёт и танцует одновременно?

Решение: Сначала заметим, что из 30 человек не умеют петь 30 - 17 = 13 человек.

Все они умеют танцевать, т.к. по условию каждый ученик класса поёт или танцует. Всего умеют танцевать 19 человек, из них 13 не умеют петь, значит, танцевать и петь одновременно умеют 19-13 = 6 человек.

Задачи на пересечение и объединение множеств.

1. Даны множества А = {3,5, 0, 11, 12, 19}, В = {2,4, 8, 12, 18,0}.
   Найдите множества AU В,
2. Составьте не менее семи слов, буквы которых образуют подмножества множества
   А -{к,а,р,у,с,е,л,ь}.
3. Пусть A - это множество натуральных чисел, делящихся на 2, а В - множество натуральных чисел, делящихся на 4. Какой вывод можно сделать относительно данных множеств?
4. На фирме работают 67 человек. Из них 47 знают английский язык, 35 - немецкий язык, а 23 - оба языка. Сколько человек фирмы не знают ни английского, ни немецкого языков?
5. Из 40 учащихся нашего класса 32 любят молоко, 21 - ли­монад, а 15 - и молоко, и лимонад. Сколько ребят в нашем классе не любят ни молоко, ни лимонад?
6. 12 моих одноклассников любят читать детективы, 18 -фантастику, трое с удовольствием читают и то, и другое, а один вообще ничего не читает. Сколько учеников в нашем классе?
7. Из тех 18 моих одноклассников, которые любят смотреть триллеры, только 12 не прочь посмотреть и мультфильмы. Сколько моих одноклассников смотрят одни «мультики», если всего в на­шем классе 25 учеников, каждый из которых любит смотреть или триллеры, или мультфильмы, или и то и другое?
8. Из 29 мальчишек нашего двора только двое не занимают­ся спортом, а остальные посещают футбольную или теннисную секции, а то и обе. Футболом занимается 17 мальчишек, а тенни­сом - 19. Сколько футболистов играет в теннис? Сколько тенниси­стов играет в футбол?
9. 65 % бабушкиных кроликов любят морковку, 10 % любят и морковку, и капусту. Сколько процентов кроликов не прочь по­лакомиться капустой?
10. В одном классе 25 учеников. Из них 7 любят груши, 11 -черешню. Двое любят груши и черешню; 6 - груши и яблоки; 5 -яблоки и черешню. Но есть в классе два ученика, которые любят все и четверо таких, что не любят фруктов вообще. Сколько учени­ков этого класса любят яблоки?
11. В конкурсе красоты участвовали 22 девушки. Из них 10 было красивых, 12 -умных и 9 -добрых. Только 2 девушки были и красивыми, и умными; 6 девушек были умными и одновременно добрыми. Определите, сколько было красивых и в то же время до­брых девушек, если я скажу вам, что среди участниц не оказалось ни одной умной, доброй и вместе с тем красивой девушки?
12. В нашем классе 35 учеников. За первую четверть пятерки по русскому языку имели 14 учеников; по математике - 12; по ис­тории - 23. По русскому и математике - 4; по математике и исто­рии - 9; по русскому языку и истории - 5. Сколько учеников имеют пятерки по всем трем предметам, если в классе нет ни одного ученика, не имеющего пятерки хотя бы по одному из этих предметов?
13. Из 100 человек 85 знают английский язык, 80 - испан­ский, 75 - немецкий. Все владеют, по крайней мере, одним ино­странным языком. Среди них нет таких, которые знают два ино­странных языка, но есть владеющие тремя языками. Сколько человек из этих 100 знают три языка?
14. Из сотрудников фирмы 16 побывали во Франции, 10 -в Италии, 6 - в Англии; в Англии и Италии - 5; в Англии и Фран­ции - 6; во всех трех странах - 5 сотрудников. Сколько человек посетили и Италию, и Францию, если всего в фирме работают 19 человек, и каждый из них побывал хотя бы в одной из названных стран?

5. Подведение итогов урока.

>

6. Рефлексия.

• Мне больше всего удалось…
• Для меня было открытием то, что …
• За что ты можешь себя похвалить?
• Что на ваш взгляд не удалось? Почему? Что учесть на будущее?
• Мои достижения на уроке.

7. Домашнее задание.

>

1. Макарычев. Пункт 13. №263, №264, №265, №266, № 271, №272.
2. Составить задачи на применение теории множеств.
3. По группам подготовить презентации по теме « Множества».

В математике понятие множества является одним из основных, фундаментальным, однако единого определения множества не существует. Одним из наиболее устоявшихся определений множества является следующее: под множеством понимают любое собрание определённых и отличных друг от друга объектов, мыслимых как единое целое. Создатель теории множеств немецкий математик Георг Кантор (1845-1918) говорил так: "Множество есть многое, мыслимое нами как целое".

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

Пример 0 (Паскаль). Существует набор продуктов, продаваемых в нескольких магазинах города. Определить: какие продукты есть во всех магазинах города; полный набор продуктов в городе.

Решение. Определяем базовый тип данных Food (продукты), он может принимать значения, соответствующие названиями продуктов (например, hleb). Объявляем тип множества, он определяет все подмножества, составленные из комбинаций значений базового типа, то есть Food (продукты). И формируем подмножества: магазины "Солнышко", "Ветерок", "Огонёк", а также производные подмножества: MinFood (продукты, которые есть во всех магазинах), MaxFood (полный набор продуктов в городе). Далее прописываем операции для получения производных подмножеств. Подмножество MinFood получается в результате пересечения подмножеств Solnyshko, Veterok и Ogonyok и включает те и только те элементы этих подмножеств, которые включены в каждое их этих подмножеств (в Паскале операция пересечения множеств обозначается звёздочкой: A * B * C, математическое обозначение пересечения множеств дано далее). Подмножество MaxFood получается в результате объединения тех же подмножеств и включает элементы, которые включены во все подмножества (в Паскале операция объединения множеств обозначается знаком "плюс": A + B + C, математическое обозначение объединения множеств дано далее).

Код PASCAL

Program Shops; type Food=(hleb, moloko, myaso, syr, sol, sahar, maslo, ryba); Shop = set of Food; var Solnyshko, Veterok, Ogonyok, MinFood, MaxFood: Shop; Begin Solnyshko:=; Veterok:=; Ogonyok:=; ... MinFood:=Solnyshko * Veterok * Ogonyok; MaxFood:=Solnyshko + Veterok + Ogonyok; End.

Какие бывают множества

>

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

Натуральных чисел 0, 1, 2, 3, 4, ...

Простых чисел

Чётных целых чисел

и т.п. (основные числовые множества рассмотрены в этого материала).

Объекты, составляющие множество, называются его элементами. Можно сказать, что множество - это "мешок с элементами". Очень важно: в множестве не бывает одинаковых элементов.

Множества бывают конечными и бесконечными. Конечное множество - это множество, для которого существует натуральное число, являющееся числом его элементов. Например, множество первых пяти неотрицательных целых нечётных чисел является конечным множеством. Множество, не являющееся конечным, называется бесконечным. Например, множество всех натуральных чисел является бесконечным множеством.

Если M - множество, а a - его элемент, то пишут: a ∈M , что означает "a принадлежит множеству M ".

Из первого (нулевого) примера на Паскале с продуктами, которые есть в тех или иных магазинах:

hleb ∈VETEROK ,

что означает: элемент "hleb" принадлежит множеству продуктов, которые есть в магазине "VETEROK".

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

Множество можно задать, перечислив все его элементы, например:

VETEROK = {hleb , syr , maslo } ,

A = {7 , 14 , 28 } .

Перечислением можно задать только конечное множество. Хотя можно сделать это и описанием. Но бесконечные множества можно задать только описанием.

Для описания множеств используется следующий способ. Пусть p (x ) - некоторое высказывание, которое описывает свойства переменной x , областью значений которых является множество M . Тогда через M = {x | p (x )} обозначаентся множество, состоящее из всех тех и только тех элементов, для которых высказывание p (x ) истинно. Это выражение читается так: "Множество M , состоящее из всех таких x , что p (x ) ".

Например, запись

M = {x | x ² - 3x + 2 = 0}

Пример 6. Согласно опросу 100 покупателей рынка, купивших цитрусовые, апельсины купили 29 покупателей, лимоны - 30 покупателей, мандарины - 9, только мандарины - 1, апельсины и лимоны - 10, лимоны и мандарины - 4, все три вида фруктов - 3 покупателя. Сколько покупателей не купили ни одного вида перечисленных здесь цитрусовых? Сколько покупателей купили только лимоны?

Операция декартова произведения множеств

>

Для определения ещё одной важной операции над множествами - декартова произведения множеств введём понятие упорядоченного набора длины n .

Длиной набора называется число n его компонент. Набор, составленный из элементов , взятых именно в этом порядке, обозначается . При этом i я () компонента набора есть .

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

Декартовым (прямым) произведением множеств называется множество, обозначаемое и состоящее из всех тех и только тех наборов длины n , i -я компонента которых принадлежит .

Например, если , , ,

Основными операциями, осуществляемыми над множествами, являются сложение (объединение), умножение (пересечение) и вычитание . Эти операции, как мы увидим дальше, не тождественны одноименным операциям, производимым над числами.

Определение : Объединением (или суммой) двух множеств A и B называется множество, содержащее все такие и только такие элементы, которые являются элементами хотя бы одного из этих множеств. Объединение множеств A и B обозначают как A  B.

Это определение означает, что сложение множеств A и B есть объединение всех их элементов в одно множество A  B. Если одни и те же элементы содержатся в обоих множествах, то в объединение эти элементы входят только по одному разу.

Аналогично определяется объединение трёх и более множеств.

Определение : Пересечением (или умножением) двух множеств A и B называется множество, состоящее из тех и только тех элементов, которые принадлежат множеству A и множеству В одновременно. Пересечение множеств A и B обозначают как A  B.

Аналогично определяется пересечение трёх и более множеств.

Определение : Разностью множеств A и B называется множество, состоящее из тех и только тех элементов множества A и которые не принадлежат множеству В. Разность множеств A и B обозначают как A \ B. Операция, при помощи которой находится разность множеств, называется вычитанием.

Если В  А, то разность A \ B называется дополнением множества B до множества A. Если множество B является подмножеством универсального множества U, то дополнение B до U обозначается , то есть= U \ B.

Упражнения :

Рассмотрим три множества N ={0,2,4,5,6,7}, M ={1,3,5,7,9} и P ={1,3,9,11}. Найти

1. A = N  M

   B = N  M

   C = N  P

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

1. Дано: А – множество всех студентов факультета, В – множество студентов, имеющих академические задолженности. Определить С – множество успевающих студентов факультета.

   Дано: А – множество всех отличников факультета, В – множество студентов, не имеющих академических задолженностей, С – множество успевающих студентов, имеющих хотя бы одну тройку. Определить D – множество студентов факультета, успевающих без троек.

   Дано: U – множество всех студентов учебной группы, А - множество студентов этой группы, получивших зачет по физкультуре, В – множество студентов той же группы, успешно сдавших зачет по истории Отечества. Определить С – множество студентов той же учебной группы, преуспевших в обеих дисциплинах, D – множество студентов той же группы, «заваливших» хотя бы один из зачетов.

1. Свойства объединения и пересечения множеств

   >

Из определений объединения и пересечения множеств вытекают свойства этих операций, представленные в виде равенств, справедливых для любых множеств A , B и С .

A  B = B  A - коммутативность объединения;

A  B = B  A - коммутативность пересечения;

A  (B  С ) = (A  B )  С - ассоциативность объединения;

A  (B  С ) = (A  B )  С - ассоциативность пересечения;

A  (B  С ) = (A  B )  (A  С) - дистрибутивность пересечения относительно объединения;

A  (B  С ) = (A  B )  (A  С) - дистрибутивность объединения относительно пересечения;

Законы поглощения:

A  A = A

A  A = A

A  Ø = A

A  Ø = Ø

A  U = U

A  U = A

Следует заметить, что разность не обладает свойствами коммутативности и ассоциативности, то есть A \ B ≠ B \ A и A \ (B \ С ) ≠ (A \ B ) \ С . В этом легко убедиться, построив диаграммы Эйлера - Венна.

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

>

Приветствую вас на первом уроке по высшей алгебре, который появился… в канун пятилетия сайта, после того, как я уже создал более 150 статей по математике, и мои материалы начали оформляться в завершённый курс. Впрочем, буду надеяться, что не опоздал – ведь многие студенты начинают вникать в лекции только к государственным экзаменам =)

Вузовский курс вышмата традиционно зиждется на трёх китах:

– математическом анализе (пределы , производные и т.д.)

– и, наконец, сезон 2015/16 учебного года открывается уроками Алгебра для чайников , Элементы математической логики , на которых мы разберём основы раздела, а также познакомимся с базовыми математическими понятиями и распространёнными обозначениями. Надо сказать, что в других статьях я не злоупотребляю «закорючками» , однако то лишь стиль, и, конечно же, их нужно узнавать в любом состоянии =). Вновь прибывшим читателям сообщаю, что мои уроки ориентированы на практику, и нижеследующий материал будет представлен именно в этом ключе. За более полной и академичной информацией, пожалуйста, обращайтесь к учебной литературе. Поехали:

Множество. Примеры множеств

>

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

В широком смысле, множество – это совокупность объектов (элементов), которые понимаются как единое целое (по тем или иным признакам, критериям или обстоятельствам). Причём, это не только материальные объекты, но и буквы, цифры, теоремы, мысли, эмоции и т.д.

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

– множество букв русского алфавита;
– множество натуральных чисел;

ну что же, пришла пора немного познакомиться:
– множество студентов в 1-м ряду

… я рад видеть ваши серьёзные и сосредоточенные лица =)

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

– множество, в котором нет ни одного элемента.

Пример вам хорошо известен – множество на экзамене частенько бывает пусто =)

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

– буква «бэ» принадлежит множеству букв русского алфавита;
– буква «бета» не принадлежит множеству букв русского алфавита;
– число 5 принадлежит множеству натуральных чисел;
– а вот число 5,5 – уже нет;
– Вольдемар не сидит в первом ряду (и тем более, не принадлежит множеству или =)).

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

– элемент принадлежит множеству .

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

– множество всех натуральных чисел, меньших ста.

Запомните : длинная вертикальная палка выражает словесный оборот «которые», «таких, что». Довольно часто вместо неё используется двоеточие: – давайте прочитаем запись более формально: «множество элементов , принадлежащих множеству натуральных чисел, таких, что » . Молодцы!

Данное множество можно записать и прямым перечислением:

Ещё примеры:
– и если и студентов в 1-м ряду достаточно много, то такая запись намного удобнее, нежели их прямое перечисление.

– множество чисел, принадлежащих отрезку . Обратите внимание, что здесь подразумевается множество действительных чисел (о них позже) , которые перечислить через запятую уже невозможно.

Следует отметить, что элементы множества не обязаны быть «однородными» или логически взаимосвязанными. Возьмите большой пакет и начните наобум складывать в него различные предметы. В этом нет никакой закономерности, но, тем не менее, речь идёт о множестве предметов. Образно говоря, множество – это и есть обособленный «пакет», в котором «волею судьбы» оказалась некоторая совокупность объектов.

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

>

Практически всё понятно из самого названия: множество является подмножеством множества , если каждый элемент множества принадлежит множеству . Иными словами, множество содержится во множестве :

Значок называют значком включения .

Вернёмся к примеру, в котором – это множество букв русского алфавита. Обозначим через – множество его гласных букв. Тогда:

Также можно выделить подмножество согласных букв и вообще – произвольное подмножество, состоящее из любого количества случайно (или неслучайно) взятых кириллических букв. В частности, любая буква кириллицы является подмножеством множества .

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

Пусть – множество студентов в 1-м ряду, – множество студентов группы, – множество студентов университета. Тогда отношение включений можно изобразить следующим образом:

Множество студентов другого ВУЗа следует изобразить кругом, который не пересекает внешний круг; множество студентов страны – кругом, который содержит в себе оба этих круга, и т.д.

Типичный пример включений мы наблюдаем при рассмотрении числовых множеств. Повторим школьный материал, который важно держать на заметке и при изучении высшей математики:

Числовые множества

>

Как известно, исторически первыми появились натуральные числа, предназначенные для подсчёта материальных объектов (людей, кур, овец, монет и т.д.). Это множество уже встретилось в статье, единственное, мы сейчас чуть-чуть модифицируем его обозначение. Дело в том, что числовые множества принято обозначать жирными, стилизованными или утолщёнными буквами. Мне удобнее использовать жирный шрифт:

Иногда к множеству натуральных чисел относят ноль.

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

Рационализаторы и лентяи записывают его элементы со значками «плюс минус» :))

Совершенно понятно, что множество натуральных чисел является подмножеством множества целых чисел:
– поскольку каждый элемент множества принадлежит множеству . Таким образом, любое натуральное число можно смело назвать и целым числом.

Название множества тоже «говорящее»: целые числа – это значит, никаких дробей.

И, коль скоро, целые, то сразу же вспомним важные признаки их делимости на 2, 3, 4, 5 и 10, которые будут требоваться в практических вычислениях чуть ли не каждый день:

Целое число делится на 2 без остатка , если оно заканчивается на 0, 2, 4, 6 или 8 (т.е. любой чётной цифрой) . Например, числа:
400, -1502, -24, 66996, 818 – делятся на 2 без остатка.

И давайте тут же разберём «родственный» признак: целое число делится на 4 , если число, составленное из двух его последних цифр (в порядке их следования) делится на 4.

400 – делится на 4 (т.к. 00 (ноль) делится на 4) ;
-1502 – не делится на 4 (т.к. 02 (двойка) не делится на 4) ;
-24, понятно, делится на 4;
66996 – делится на 4 (т.к. 96 делится на 4) ;
818 – не делится на 4 (т.к. 18 не делится на 4) .

Самостоятельно проведите несложное обоснование данного факта.

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

Проверим, делится ли на 3 число 27901. Для этого просуммируем его цифры:
2 + 7 + 9 + 0 + 1 = 19 – не делится на 3
Вывод: 27901 не делится на 3.

Просуммируем цифры числа -825432:
8 + 2 + 5 + 4 + 3 + 2 = 24 – делится на 3
Вывод: число -825432 делится на 3

Целое число делится на 5 , если оно заканчивается пятёркой либо нулём:
775, -2390 – делятся на 5

Целое число делится на 10 , если оно заканчивается на ноль:
798400 – делится на 10 (и, очевидно, на 100) . Ну и, наверное, все помнят – для того, чтобы разделить на 10, нужно просто убрать один ноль: 79840

Также существуют признаки делимости на 6, 8, 9, 11 и т.д., но практического толку от них практически никакого =)

Следует отметить, что перечисленные признаки (казалось бы, такие простые) строго доказываются в теории чисел . Этот раздел алгебры вообще достаточно интересен, однако его теоремы… прямо современная китайская казнь =) А Вольдемару за последней партой и того хватило…, но ничего страшного, скоро мы займёмся живительными физическими упражнениями =)

Следующим числовым множеством идёт множество рациональных чисел :
– то есть, любое рациональное число представимо в виде дроби с целым числителем и натуральным знаменателем .

Очевидно, что множество целых чисел является подмножеством множества рациональных чисел:

И в самом деле – ведь любое целое число можно представить в виде рациональной дроби , например: и т.д. Таким образом, целое число можно совершенно законно назвать и рациональным числом.

Характерным «опознавательным» признаком рационального числа является то обстоятельство, что при делении числителя на знаменатель получается либо
– целое число,

либо
– конечная десятичная дробь,

либо
– бесконечная периодическая десятичная дробь (повтор может начаться не сразу) .

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

В высшей математике все действия стремимся выполнять в обыкновенных (правильных и неправильных) дробях

Согласитесь, что иметь дело с дробью значительно удобнее, чем с десятичным числом 0,375 (не говоря уже о бесконечных дробях) .

Едем дальше. Помимо рациональных существует множество иррациональных чисел, каждое из которых представимо в виде бесконечной НЕпериодической десятичной дроби. Иными словами, в «бесконечных хвостах» иррациональных чисел нет никакой закономерности:
(«год рождения Льва Толстого» дважды)
и т.д.

О знаменитых константах «пи» и «е» информации предостаточно, поэтому на них я не останавливаюсь.

Объединение рациональных и иррациональных чисел образует множество действительных (вещественных) чисел :

– значок объединения множеств.

Геометрическая интерпретация множества вам хорошо знакома – это числовая прямая:


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

Числовую прямую также обозначают бесконечным интервалом , а запись или эквивалентная ей запись символизирует тот факт, что принадлежит множеству действительных чисел (или попросту «икс» – действительное число) .

С вложениями всё прозрачно: множество рациональных чисел – это подмножество множества действительных чисел:
, таким образом, любое рациональное число можно смело назвать и действительным числом.

Множество иррациональных чисел – это тоже подмножество действительных чисел:

При этом подмножества и не пересекаются – то есть ни одно иррациональное число невозможно представить в виде рациональной дроби.

Существуют ли какие-нибудь другие числовые системы? Существуют! Это, например, комплексные числа , с которыми я рекомендую ознакомиться буквально в ближайшие дни или даже часы.

Ну а пока мы переходим к изучению операций над множествами, дух которых уже материализовался в конце этого параграфа:

Действия над множествами. Диаграммы Венна

>

Диаграммы Венна (по аналогии с кругами Эйлера) – это схематическое изображение действий с множествами. Опять же предупреждаю, что я рассмотрю не все операции:

1) Пересечение И и обозначается значком

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

Так, например, для множеств :

Если у множеств нет одинаковых элементов, то их пересечение пусто. Такой пример нам только что встретился при рассмотрении числовых множеств:

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

Операция пересечения применима и для бОльшего количества множеств, в частности в Википедии есть хороший пример пересечения множеств букв трёх алфавитов .

2) Объединение множеств характеризуется логической связкой ИЛИ и обозначается значком

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

Запишем объединение множеств :
– грубо говоря, тут нужно перечислить все элементы множеств и , причём одинаковые элементы (в данном случае единица на пересечении множеств) следует указать один раз.

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

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

Операция объединения применима и для бОльшего количества множеств, например, если , то:

При этом числа вовсе не обязательно располагать в порядке возрастания (это я сделал исключительно из эстетических соображений) . Не мудрствуя лукаво, результат можно записать и так:

3) Разностью и не принадлежит множеству :

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

Пример с числовыми множествами:
– здесь из множества целых чисел исключены все натуральные, да и сама запись так и читается: «множество целых чисел без множества натуральных».

Зеркально: разностью множеств и называют множество , каждый элемент которого принадлежит множеству и не принадлежит множеству :

Для тех же множеств
– из множества «выброшено» то, что есть во множестве .

А вот эта разность оказывается пуста: . И в самом деле – если из множества натуральных чисел исключить целые числа, то, собственно, ничего и не останется:)

Кроме того, иногда рассматривают симметрическую разность , которая объединяет оба «полумесяца»:
– иными словами, это «всё, кроме пересечения множеств».

4) Декартовым (прямым) произведением множеств и называется множество всех упорядоченных пар , в которых элемент , а элемент

Запишем декартово произведение множеств :
– перечисление пар удобно осуществлять по следующему алгоритму: «сначала к 1-му элементу множества последовательно присоединяем каждый элемент множества , затем ко 2-му элементу множества присоединяем каждый элемент множества , затем к 3-му элементу множества присоединяем каждый элемент множества »:

Зеркально: декартовым произведением множеств и называется множество всех упорядоченных пар , в которых . В нашем примере:
– здесь схема записи аналогична: сначала к «минус единице» последовательно присоединяем все элементы множества , затем к «дэ» – те же самые элементы:

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

А теперь гвоздь программы: декартово произведение – это есть не что иное, как множество точек нашей родной декартовой системы координат .

Задание для самостоятельного закрепления материала:

Выполнить операции , если:

Множество удобно расписать перечислением его элементов.

И пунктик с промежутками действительных чисел:

Напоминаю, что квадратная скобка означает включение числа в промежуток, а круглая – его невключение , то есть «минус единица» принадлежит множеству , а «тройка» не принадлежит множеству . Постарайтесь разобраться, что представляет собой декартово произведение данных множеств. Если возникнут затруднения, выполните чертёж;)

Краткое решение задачи в конце урока.

Отображение множеств

>

Отображение множества во множество – это правило , по которому каждому элементу множества ставится в соответствие элемент (или элементы) множества . В том случае если в соответствие ставится единственный элемент, то данное правило называется однозначно определённой функцией или просто функцией .

Функцию, как многие знают, чаще всего обозначают буквой – она ставит в соответствие каждому элементу единственное значение , принадлежащее множеству .

Ну а сейчас я снова побеспокою множество студентов 1-го ряда и предложу им 6 тем для рефератов (множество ):

Установленное (добровольно или принудительно =)) правило ставит в соответствие каждому студенту множества единственную тему реферата множества .

…а вы, наверное, и представить себе не могли, что сыграете роль аргумента функции =) =)

Элементы множества образуют область определения функции (обозначается через ), а элементы множества – область значений функции (обозначается через ).

Построенное отображение множеств имеет очень важную характеристику: оно является взаимно-однозначным или биективным (биекцией). В данном примере это означает, что каждому студенту поставлена в соответствие одна уникальная тема реферата, и обратно – за каждой темой реферата закреплён один и только один студент.

Однако не следует думать, что всякое отображение биективно. Если на 1-й ряд (к множеству ) добавить 7-го студента, то взаимно-однозначное соответствие пропадёт – либо один из студентов останется без темы (отображения не будет вообще) , либо какая-то тема достанется сразу двум студентам. Обратная ситуация: если к множеству добавить седьмую тему, то взаимнооднозначность отображения тоже будет утрачена – одна из тем останется невостребованной.

Уважаемые студенты на 1-м ряду, не расстраивайтесь – остальные 20 человек после пар пойдут прибирать территорию университета от осенней листвы. Завхоз выдаст двадцать голиков, после чего будет установлено взаимно-однозначное соответствие между основной частью группы и мётлами…, а Вольдемар ещё и в магазин сбегать успеет =)).области определения соответствует свой уникальный «игрек», и наоборот – по любому значению «игрек» мы сможем однозначно восстановить «икс». Таким образом, это биективная функция.

! На всякий случай ликвидирую возможное недопонимание: моя постоянная оговорка об области определения не случайна! Функция может быть определена далеко не при всех «икс», и, кроме того, может быть взаимно-однозначной и в этом случае. Типичный пример:

А вот у квадратичной функции не наблюдается ничего подобного, во-первых:
– то есть, различные значения «икс» отобразились в одно и то же значение «игрек»; и во-вторых: если кто-то вычислил значение функции и сообщил нам, что , то не понятно – этот «игрек» получен при или при ? Что и говорить, взаимной однозначностью здесь даже не пахнет.

Задание 2 : просмотреть графики основных элементарных функций и выписать на листок биективные функции. Список для сверки в конце этого урока.

Мощность множества

>

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

Мощность пустого множества равна нулю.

Мощность множества равна шести.

Мощность множества букв русского алфавита равна тридцати трём.

И вообще – мощность любого конечного множества равно количеству элементов данного множества.

…возможно, не все до конца понимают, что такое конечное множество – если начать пересчитывать элементы этого множества, то рано или поздно счёт завершится. Что называется, и китайцы когда-нибудь закончатся.

Само собой, множества можно сравнивать по мощности и их равенство в этом смысле называется равномощностью . Равномощность определяется следующим образом:

Два множества являются равномощными, если между ними можно установить взаимно-однозначное соответствие .

Множество студентов равномощно множеству тем рефератов, множество букв русского алфавита равномощно любому множеству из 33 элементов и т.д. Заметьте, что именно любому множеству из 33 элементов – в данном случае имеет значение лишь их количество. Буквы русского алфавита можно сопоставить не только с множеством номеров
1, 2, 3, …, 32, 33, но и вообще со стадом в 33 коровы.

Гораздо более интересно обстоят дела с бесконечными множествами. Бесконечности тоже бывают разными! ...зелёными и красными Самые «маленькие» бесконечные множества – это счётные множества. Если совсем просто, элементы такого множества можно пронумеровать. Эталонный пример – это множество натуральных чисел . Да – оно бесконечно, однако у каждого его элемента в ПРИНЦИПЕ есть номер.

Примеров очень много. В частности, счётным является множество всех чётных натуральных чисел . Как это доказать? Нужно установить его взаимно-однозначное соответствие с множеством натуральных чисел или попросту пронумеровывать элементы:

Взаимно-однозначное соответствие установлено, следовательно, множества равномощны и множество счётно. Парадоксально, но с точки зрения мощности – чётных натуральных чисел столько же, сколько и натуральных!

Множество целых чисел тоже счётно. Его элементы можно занумеровать, например, так:

Более того, счётно и множество рациональных чисел . Поскольку числитель – это целое число (а их, как только что показано, можно пронумеровать) , а знаменатель – натуральное число, то рано или поздно мы «доберёмся» до любой рациональной дроби и присвоим ей номер.

А вот множество действительных чисел уже несчётно , т.е. его элементы пронумеровать невозможно. Данный факт хоть и очевиден, однако строго доказывается в теории множеств. Мощность множества действительных чисел также называют континуумом , и по сравнению со счётными множествами это «более бесконечное» множество.

Поскольку между множеством и числовой прямой существует взаимно-однозначное соответствие (см. выше) , то множество точек числовой прямой тоже несчётно . И более того, что на километровом, что на миллиметровом отрезке – точек столько же! Классический пример:


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

Данный парадокс, видимо, связан с загадкой бесконечности… но мы сейчас не будем забивать голову проблемами мироздания, ибо на очереди

Задание 2 Взаимно-однозначные функции на иллюстрациях урока