1. Вещественные числа. Операции над множествами
Множество — совокупность некоторых предметов, которые называются элементами, объединенных по некоторому признаку.
Множество — понятие неопределимое, основное понятие математики.
Примеры. 1) Множество прямоугольников.
2) .
3) Множество планет Солнечной системы.
4) — множество натуральных чисел.
Обозначения: — множество рациональных чисел;
— множество целых чисел;
— множество вещественных чисел.
—
— элемент множества
;
Способы задания множеств
I. Перечисляются все элементы множества
Примеры.
1),
2) ,
3) .
II. Множество задается выражением с указанием значений, принимаемых входящими в это выражение переменными.
Примеры.
1) ,
.
2) ,
.
3) ,
.
III. Задание множества характеристическим свойством элементов.
Характеристической свойство — свойство, которым обладают все элементы множества и больше ничего.
Примеры.
1) ,
2) ,
3) — множество всех натуральных
, для которых уравнение
разрешимо в натуральных числах.
Пример. Верно или нет следующее
1) ?
Неверно, так как .
2) ?
Верно, так как .
3)
Верно, так как при
.
Задачи. Верно ли следующее
1) ;
2) ;
3) ;
4) Каждый элемент множества принадлежит множеству
;
5) Каждый элемент множества принадлежит множеству
Определение. Множество называется подмножеством множества
, если каждый элемент множества
является элементом множества
.
Обозначение. .
Определение. Объединением множеств и
называется множество, состоящее из всех элементов, которые входят хотя бы в одно из этих множеств.
или
Примеры.
1) ,
2) ,
3) ,
,
Определение. Пересечением множеств и
называется множество, состоящее из всех общих элементов этих множеств.
1) ,
2) ,
3) — множество всех ромбов,
— множество всех
прямоугольников, — множество всех квадратов.
4) .
Определение. Разностью множеств и
называется множество всех элементов множества
, которые не принадлежат множеству
.
Обозначение. .
Для наглядности операции над множествами будем иллюстрировать рисунками. Множества будем изображать в виде кругов на плоскости.
Замечание. Такие рисунки называются диаграммами Эйлера — Венна. Леонард Эйлер (1707–1783) — выдающийся математик, механик и физик, длительное время живший и работавший в Петербурге. Джон Венн (1834–1923) — английский логик.
На рисунке приведена диаграмма Эйлера — Венна, поясняющая определение объединения множеств и
.
Примеры.
1) ,
2) — множество ромбов,
— множество прямоугольников,
— множество ромбов, не являющихся квадратами.
Задачи. Найдите объединение, пересечение и разность множеств
1) ,
2) ,
3) Докажите утверждение
4) ,
. Найдите а)
; б)
; в)
.
Пример. Знание определений операций над множествами позволяет доказывать равенство множеств, полученных в результате применения этих операций. Так, например, докажем свойство операций объединения и пересечения
Для доказательства равенства множеств и
нам необходимо доказать, что каждый элемент множества
является элементом множества
и обратно, каждый элемент множества
является элементом множества
.
Пусть . Тогда либо
, либо
. Если
, то
и
, а следовательно, по определению пересечения множеств,
. Если
, то
и
. Следовательно,
и
, откуда
. Тем самым, мы доказали, что
Пусть . Тогда
и
. Следовательно,
, или
и
,
откуда, по определению объединения множеств, . Тем самым, мы доказали, что
Следовательно, имеем равенство
Замечание. Диаграмма Эйлера — Венна, иллюстрирующая свойство операции над множествами, ни в коем случае доказательством не является! Это просто иллюстрация к тому, о чем говорится.
1 Конспект по математическому анализу | Математика, которая мне нравится:
[...] выложен первый параграф Вещественные числа. Операции над множествами Рубрика: Новости | Отзывы (RSS) [...]
9 Апрель 2011, 0:162 Изящный беспорядок | Математика, которая мне нравится:
[...] идею случайного блуждания, был Джон Венн (см. также диаграммы Эйлера — Венна). Он также использовал цифры числа , но он исключил [...]
4 Март 2012, 0:053 wimar:
касательно доказательств объединение множества с пересечением двух множеств выглядит слабым и неубедительным… особенно с частым употреблением слово следовательно….уверен … кто пытается отследить логику доказательств будет чертыхаться и в итоге плюнет и уйдёт искать более убедительное в логике доказательств..
удачи…
[Ответить]
Елизавета Александровна Калинина Reply:
Октябрь 24th, 2013 at 13:51
Слово следовательно стоит на своем месте. Не вижу слабости логики. Логика или есть, или ее нет. Что Вы понимаете под более убедительной логикой? Если есть ошибки, назовите. Если их нет, то о чем вообще идет речь?
[Ответить]