Декартово произведение двух множеств
- Понятие декартова произведения
- Табличное представление декартовых произведений
- Координатная плоскость как декартово произведение
- Примеры
Понятие декартова произведения
Множество всех возможных пар, составленных из элементов множества A и B, называется декартовым произведением этих множеств:
$$ A times B = {(a,b)| a in Bbb A, b in Bbb B } $$
Мощность декартова произведения равно произведению мощностей исходных множеств: $|A times B| = |A| cdot |B|$. Это справедливо как для конечных, так и бесконечных множеств.
Декартово произведение некоммутативно: $A times B neq B times A$
Произведение $A times A = A^2$ называют декартовым квадратом.
Например:
Если A = {1;3;5}, B = {2;4}, их декартово произведение – это множество пар:
$A times B$ = {(1;2),(1;4),(3;2),(3;4),(5;2),(5;4)}
Мощность декартова произведения $n(A times B) = 6 = underbrace{n(A)}_{3text{}} cdot underbrace{n(B)}_{2text{}} $
Произведение в другом порядке:
$B times A$ = {(2;1),(2;3),(2;5),(4;1),(4;3),(4;5)}
Множества $A times B$ и $B times A$ отличаются.
Табличное представление декартовых произведений
Таблица умножения или таблица квадратов натуральных чисел являются примером функций, заданных на декартовых произведениях.
Например, таблица квадратов натуральных чисел:
3
961
1024
1089
1156
1225
4
1681
1764
1849
1936
2025
5
2601
2704
2809
2916
3025
Соответствует декартову произведению двух множеств
A = {1;2;3;4;5} и B{1;2;3;4;5}
На котором задана функциональная зависимость:
$$f(A times B) = {f(a,b) | f(a,b) = (10a+b)^2, a in Bbb A, b in Bbb B}$$
Второй пример – турнирная таблица встреч команд-участников чемпионата
Для пяти команд, если встречи две и на первом месте в паре – команда-хозяин, получаем:
1
—
(1;2)
(1;3)
(1;4)
(1;5)
2
(2;1)
—
(2;3)
(2;4)
(2;5)
3
(3;1)
(3;2)
—
(3;4)
(3;5)
4
(4;1)
(4;2)
(4;3)
—
(4;5)
5
(5;1)
(5;2)
(5;3)
(5;4)
—
В этом случае:
$$ f(A times B) = {(a,b)|a neq b,a in Bbb A, b in Bbb B} $$
Координатная плоскость как декартово произведение
Координатная плоскость является декартовым квадратом множества действительных чисел: $ Bbb R times Bbb R = Bbb R^2$. Точки, соответствующие полученным парам чисел, полностью заполняют плоскость.
Принадлежность точки координатной плоскости можно записать: $ (x,y) in Bbb R^2$
Множество $ Bbb R^2$ является континуальным и эквивалентно $ Bbb R^2 sim Bbb R sim [0;1]$
Бесконечный квадрат имеет столько же точек, сколько единичный отрезок (!)
Примеры
Пример 1. Найдите декартовы произведения и декартовы квадраты множеств:
а) A = {0;1}, B = {3;5;7}
$ A times B$ = {(0;3),(0;5),(0;7),(1;3),(1;5),(1;7)}
$ B times A$ = {(3;0),(3;1),(5;0),(5;1),(7;0),(7;1)}
$ A^2$ = {(0;0),(0;1),(1;0),(1;1)}
$B^2 $ = {(3;3),(3;5),(3;7),(5;3),(5;5),(5;7),(7;3),(7;5),(7;7) }
б) A = {a;b;c}, B = {e;f}
$ A times B$ = {(a;e),(a;f),(b;e),(b;f),(c;e),(c;f)}
$ B times A$ = {(e;a),(e;b),(e;c),(f;a),(f;b),(f;c)}
$ A^2$ = {(a;a),(a;b),(a;c),(b;a),(b;b),(b;c),(c;a),(c;b),(c;c) }
$B^2 $ = {(e;e),(e;f),(f;e),(f;f)}
Пример 2. Отметьте на координатной плоскости точки множеств $A times B$ и $B times A$, найдите их пересечение, если
а) A = {2;3;5}, B = {-2;3}
Точки $ A times B$ синие, точки B×A красные, точка пересечения $ A times B cap B times A$ = {(3,3)} зелёная.
б) A = {-1;2}, B = {0;2;4}
Точки $ A times B$ синие, точки B×A красные, точка пересечения $ A times B cap B times A$ = {(2,2)} зелёная.
Назовем
(х,
у) упорядоченной
парой, а х
и
у
–
компонентами этой пары. При этом считают,
что (х1
у1)
= (х2.у2),
если
х1
= х2
и у1
=
у2.
__________________________________________________________________
Определение
9. Декартовым произведением множеств А
и В называют множество АВ,
элементами которого являются все
пары(х,у), такие, что х
А, уВ,
т.е. АВ
= {(х,у)/х
А, у
В}.
_____________________________________________________________________________________________
Найдем,
например, декартово произведение
множеств А
= {1,3}
и В
={2,4,6}.
АВ
=
{(1,
2);(1, 4);(1, 6);(3, 2);(3, 4);(3, 6)}.
Операцию, при
помощи которой находят декартово
произведение, называют декартовым
умножением множеств.
Декартово умножение
множеств не обладает ни свойством
коммутативности, ни свойством
ассоциативности, но связано с операциями
объединения и вычитания множеств
дистрибутивными свойствами:
для
любых множеств А,
В, С имеют
место равенства:
(А
В)
С = (АС)
(ВС),
(АВ)С
=
(АС)(ВС).
Для наглядного
представления декартова произведения
числовых множеств часто используют
прямоугольную систему координат.
Пусть
А
и
В
–
числовые множества. Тогда элементами
декартова произведения этих множеств
будут упорядоченные пары чисел. Изобразив
каждую пару чисел точкой на координатной
плоскости, получим фигуру, которая и
будет наглядно представлять декартово
произведение множеств А
и
В.
Изобразим
на координатной плоскости декартово
произведение множеств А
и
В,
если:
a)
A
=
{2, 6};
B
={1,4}, б)
А = {2, 6};
В
=
[1,4], в)
А
= [2, 6];
B
=[1,4].
В случае а) данные
множества конечны и можно перечислить
элементы декартова произведения.
АВ
= {(2,
1); (2, 4); (6, 1); (6, 4)}.
Построим оси координат и на оси ОХ
отметим элементы множества А,
а на оси ОУ
– элементы
множества В.
Затем
изобразим каждую пару чисел множества
АВ
точкам на координатной плоскости
(рис.7). Полученная фигура из четыре точек
и будет наглядно представлять декартово
произведение данных множеств А
и
В.
В
случае б) перечислить все элементы
декартова произведения множеств
невозможно, т.к. множество В
–
бесконечное, но можно представить
процесс образования этого декартова
произведения: в каждой паре первая
компонента либо 2,
либо 6,
а вторая компонента – действительное
число из промежутка [1,4].
Все
пары, первая компонента которых есть
число 2,
а вторая пробегает значение от 1
до 4
включительно, изображаются точками
отрезка
СД,
а
пары, первая компонента которых есть
число 6,
а вторая – любое действительное число
из промежутка [1,4],
– точками
отрезка РS
(рис.8).
Таким образом, в случае б) декартово
произведение множеств А
и
В
на
координатной плоскости изображается
в виде отрезка СД
и
РS.
Рис. 7 Рис. 8
Рис. 9
Случай
в) отличается от случая б) тем, что здесь
бесконечно не только множество В,
но
и множество А,
поэтому,
первой
компонентой пар, принадлежащих множеству
А
В,
является
любое число из промежутка [2,
6].
Точки, изображающие элементы декартова
произведения множеств А
и
В,
образуют
квадрат СДЕL
(рис.
9). Чтобы подчеркнуть, что элементы
декартова произведения изображаются
точками квадрата, его можно заштриховать.
Контрольные
вопросы
-
Покажите, что
решение следующих задач приводит к
образованию декартова произведения
множеств:
а) Запишите
все дроби, числителем которых является
число из множества А
= {3,
4},
а знаменателем – число из множества В
= {5, 6,
7}.
б) Запишите
различные двузначные числа, используя
числа 1,
2, 3, 4.
-
Докажите,
что для любых множеств А,
В, С справедливо
равенство (А
В)С
= (АС)
(ВС).
Проиллюстрируйте
его выполнимость для множеств А
=
{2, 4, 6}, В=
{1,3,
5}, С = {0, 1}. -
Какую
фигуру образуют точки на координатной
плоскости, если их координаты являются
элементами декартова произведения
множеств А
=
{– 3, 3} и В
=
R -
Определите,
декартово произведение каких множеств
А
и
В
изображено
на рисунке 10.
а)
б) в)
Рис. 10
Упражнения
112.
Запишите все двузначные числа, цифры
десятков которых принадлежат множеству
А
=
{1,
3, 5},
а цифры единиц – множеству В
= {2,4,6}.
113.
Напишите
все дроби, числители которых выбираются
из множества А=
{3, 5,
7},
а знаменатель – из множества В=
{4,
6, 8}.
114.
Напишите
все правильные дроби, числители которых
выбираются из множества А
= {3,
5,7}, а знаменатель – из множества В=
{4, 6,8}.
115.
Даны множества Р
= {1,
2, 3}, К=
{а, b}.
Найдите
все декартова произведения множеств
Р
К и
KР.
116.
Известно,
что
АВ
=
{(1, 2); (3, 2); (1, 4);(3, 4); (1, 6); (3, 6)}. Установите,
из каких элементов состоят множества
А
и
В.
117.
Запишите
множества (АВ)С
и
А(ВС)
перечислением
пар,
если
А={а,
b},
B
= {3},C={4,
6}
118.
Составьте множества АВ,
ВА,
если:
a)А
= {а,b,с},В={d},
б) A
= {a,
b},
B
= ,
в)
А= {т, п, k
}, В = А,
г)
A
= {x,
y,
z},
B
= {k,
n}
119. Известно, что
АВ
= {(2,3), (2,5), (2,6), (3,3), (3,5), (3,6)}.
Установите, из каких элементов состоят
множества А
и В.
120.
Найдите
декартово произведение множеств А
=
{5, 9, 4}
и В
=
{7, 8, 6}
и выделите из него подмножество пар,
в которых:
а) первая компонента
больше второй; б) первая компонента
равна 5; в) вторая компонента равна 7.
121.
Перечислите элементы, принадлежащие
декартову произведению множеств А,
В и
С,
если:
а) А
= {2,
3}, В
=
(7, 8, 9}, С
=
{1, 0};
б) А
= В =
С
=
{2, 3};
в) А
=
{2, 3}, B
=
{7, 8, 9},
С
=
122. Изобразите
на координатной плоскости элементы
декартова про
изведения множеств
А
и В, если:
а) А
= {х/х
N,
2
< х
< 4},
В
=
{х/х
N,
х < 3};
б)
А = {х/х
R,
2 < х < 4}, В = {х/х
N,
х < 3};
в) А
=
[2, 4]; В
=
[1,2].
123. Все
элементы декартова произведения двух
множеств A
и B
изображены точками в прямоугольной
системе координат. Запишите множества
A
и В
(рис.
11).
а)
б)
в)
Рис. 13
124.
Изобразите на координатной плоскости
элементы декартова произведения
множеств X
и
Y,
если:
а)
Х={–1,0,
1,2}, Y={2,
3,4};
б)
Х={–1,0,
1,2}, Y=[2,
4];
в) Х
= [–1;2], Y
= {2, 3,
4};
г) Х
=
[1;7],
Y
= [2; 6];
д) X
= [–3; 2], Y
= [0; 5[;
е) X
= R,
Y
=
[–2; 2];
ж) Х
=
]–3;2[, Y=R;
з)
Х={2},
Y=R;
и) Х=
R,
Y
= {–3}.
125.
Фигуры, приведенные на рис. 14, являются
результатом изображения на координатной
плоскости декартова произведения
множеств X
и
Y.
Укажите
для каждой фигуры эти множества.
а)
б)
в)
г)
д)
Рис. 14
126.
Выясните, декартово произведение каких
двух множеств изображается на координатной
плоскости в виде полуплоскости.
Рассмотрите все случаи.
127.
Установите, декартово произведение
каких двух множеств изображается на
координатной плоскости в виде прямого
угла, который образуется при пересечении
координатных осей.
128. На
координатной плоскости постройте
прямую, параллельную
оси ОХ
и
проходящую через точку Р
(–2,
3).
Установите, декартово произведение
каких двух множеств изображается на
координатной плоскости в виде этой
прямой.
129. На
координатной плоскости постройте
прямую, параллельную оси ОY
и
проходящую через точку Р
(–2,
3).
Установите, декартово произведение
каких двух множеств изображается на
координатной плоскости в виде этой
прямой.
130. На
координатной плоскости постройте
полосу, ограниченную прямыми, проходящими
через точки (–2,
0) и
(2, 0)
и параллельными оси ОY.
Опишите
множество точек, принадлежащих этой
полосе.
131. На
координатной плоскости постройте
прямоугольник, вершинами которого
служат точки А
(–3,
5), В
(–3,
8), С
(7,
5), D
(7,
8).
Опишите множество точек этого
прямоугольника.
132. Постройте
на координатной плоскости множество
точек, координаты которых удовлетворяют
условию:
а) х
R,
у =
5;
б) х
=
–3, у
R;
в)
хR,
|у| = 2;
г) |x|
= 3, у
R;
д) х
R,
y≥
4;
е) x
R,
y
4;
ж) х
R,
|у|
4;
з) |x|
4, |у|
3;
и) |х|
≥1, |у| ≥ 4;
к)|х|
≥ 2, у
R.
133. На
координатной плоскости изобразите
элементы декартова произведения
множеств X
и
Y,
если:
а) X
= R,
Y
= {3};
б) X
= R,
Y
= [–3; 3];
в) X
= [0;
),Y
= (,
0].
134. На
координатной плоскости постройте
фигуру F,
если
а) F
= {(х, у) |х
= 2, у
R}
б) F
= {(х, у) | x
R,
у = –3};
в) F
= {(х, у) | х
2, у
R};
г) F
= {(х, у) | х
К, y≥
– 3};
д) F
= {(х, у) | |х| = 2, у
R};
е) F={(х,у)
|х
R,
|у| = 3}.
135.
Постройте прямоугольник с вершинами
в точках (–3,
4), (–3, –3), (1, –3), (1, 4).
Укажите характеристическое свойство
точек, принадлежащих этому прямоугольнику.
136. На
координатной плоскости постройте
прямые, параллельные оси ОХ и проходящие
через точки (2, 3) и (2, –1). Установите,
декартово произведение каких двух
множеств изображается на координатной
плоскости в виде полосы, заключенной
между построенными прямыми.
137. На
координатной плоскости постройте
прямые, параллельные оси ОY
и проходящие через точки (2, 3) и (–2, 3).
Установите, декартово произведение
каких двух множеств изображается на
координатной плоскости в виде полосы,
заключенной между построенными прямыми.
138.
Изобразите в прямоугольной системе
координат множество XY,
если:
a)
X
= R;
Y
={ yу
R,
|у|
<
3},
б) Х=
{x/x
R,
|х|
> 2}; Y=
{у/у
R,
|у|
> 4}.
По
теме данной главы студент должен уметь:
— задавать множества
разными способами;
— устанавливать
отношения между множествами и изображать
их с помощью диаграмм Эйлера-Венна;
— доказывать
равенство двух множеств;
— выполнять операции
над множествами и геометрически их
иллюстрировать с помощью диаграмм
Эйлера-Венна;
— производить
разбиение множества на классы с помощью
одного или нескольких свойств; оценивать
правильность выполненной классификации.
☰
Что такое декартово произведение множеств?
Если каждому элементу из множества A сопоставлен в соответствие определенный элемент из множества B, то возникает множество, составленное из пар элементов множеств A и B, — декартово произведение множеств.
Записывают декартово произведение множеств так:
A × B = {(a; b) | a ∈ A, b ∈ B}.
Это значит, что если например дано множество A = {1,2,3} и множество B = {15,25}, то их декартово произведение будет состоять из пар:
A × B = {(1;15), (1;25), (2;15), (2;25), (3;15), (3;25)}
Если во множестве A количество элементов равно m, а во множестве B — n, то их декартово произведение будет состоять из m×n элементов.
Следует иметь в виду что A×B и B×A разные множества, так как пары типа (a; b) отличаются от пар тип (b; a).
Примером декартова произведения множеств могут служить
- таблица умножения, где умножаются два множества, содержащие натуральные числа,
- множество точек плоскости с координатами (x; y), где x ∈ A, y ∈ B,
- множество дробей, в которых числитель принадлежит одному множеству, а знаменатель другому.
Математика — это точная абстрактная наука, оперирующая своими специальными понятиями, структурами и символами. Основными методами в математических исследованиях являются строгие логические рассуждения, а объектами изучения — математические модели. Но абстрактность математики не означает ее отрыв от реальной жизни. Реальные задачи описываются в математических терминах, как правило в безразмерном виде. Это есть так называемая
математическая модель явления. При решении уже поставленной математической задачи используются абстрактные математические методы.
Одна и та же математическая модель может описывать свойства различных реальных явлений. Само реальное явление рассматривается вновь после решения математической задачи и ее анализа, на основании которого могут быть сделаны выводы
не только о состоянии явления, но и о его развитии. В этом смысле без математики нет науки. Еще великий Леонардо да Винчи писал: «Никакой достоверности нет в науках там, где нельзя применить ни одну из математических наук, ив том, что не имеет связи с математикой.» И еще: » Ни одно человеческое исследование не может называться истинной наукой, если оно не прошло через математические доказательства.»
Математические методы играют огромную роль в образовании современного высококвалифицированного специалиста в технических областях, предоставляя ему аппарат исследования, дисциплинируя, приучая к строгим логическим рассуждениям.
Поскольку язык и методы математики широко используются при современном преподавании всех естественно-научных и технических дисциплин, математика изучается с первого семестра в любом высшем техническом учебном заведении, и на нее выделяется значительная часть бюджета времени студента.
Под множеством понимают любой набор определенных и различимых между собой объектов, рассматриваемых как единое целое. Это высказывание не является определением, поскольку слово « множество» заменено словом «набор». Близкими к понятию «множество» являются понятия: собрание, совокупность, комплекс, система и т. п. Вместе с тем здесь имеется три важных момента.
Объекты, входящие во множество, определенные (т. е. для каждого объекта можно однозначно сказать, принадлежит ли он данному множеству или нет), различимы между собой (во множестве не может быть двух или более одинаковых объектов) и все объекты, входящие во множество, мыслятся как единое целое (все объекты рассматриваются в совокупности, а от свойств отдельных объектов абстрагируются).
Множества обозначают прописными буквами латинского алфавита. Объекты, входящие во множество, называют элементами и их обозначают строчными буквами. Множество, состоящее из конечного числа элементов, называется конечным, в противном случае множество называется бесконечным.
Множество может быть задано при помощи правила, позволяющего определить, является ли данный объект элементом множества или нет. В записи правило, задающее множество, отделено вертикальной чертой. Например, пусть множество В есть множество решений уравнения тогда В можно записать так Элементами множества В являются числа 2 и 3, то есть
Конечное множество может быть задано перечислением входящих в него и разделенных запятой элементов, например, Множество может содержать и всего лишь один элемент. Множество, не содержащее вообще ни одного эле-
мента, называется пустым и обозначается символом Например, пусть есть множество точек на плоскости, удовлетворяющих условию При окружность, при одна точка, а при пустое множество.
Для указания того факта, что объект принадлежит данному множеству, используют знак Например, Если же объект не принадлежит данному множеству, то пишут знак Например,
Множество В называется подмножеством множества А, если каждый элемент В одновременно является элементом множества А. Это записывается так:
Пример:
Пусть заданы множества Очевидно, что В есть подмножество А, т. е. Из определения следует, что множество А есть подмножество самого себя, т. е. Говорят, что А — самое широкое подмножество А. Пустое множество является самым узким подмножеством любого множества. Множество А и пустое множество называются несобственными подмножествами множества А. Все другие подмножества А называются собственными подмножествами А.
Пример:
Если то оно имеет, следующие подмножества: Всего 8 подмножеств.
Если конечное множество А состоит из п элементов, то оно имеет ровно подмножеств. Из них ровно являются собственными подмножествами. Элементами множества могут также выступать и другие множества. В этом случае говорят не о множестве множеств, а о системе множеств. Частным случаем системы множеств является система всех подмножеств данного множества А и обозначается Р(А). Так, система подмножеств множества А из предыдущего примера имеет вид
Замечание. Не следует путать символы и . Символ употребляется для обозначения отношения элемента к множеству. Символ употребляется для обозначения отношения множества к множеству.
Зафиксированное каким-либо образом множество объектов, допустимых при данном рассмотрении, называют базовым или универсумом. Базовое множество обозначают буквой Примерами универсума являются: числа в арифметике, слова в языкознании, законы в юриспруденции и т.п.
Операции над множествами
Множества можно складывать и вычитать, то есть совершать операции.
Равенство множеств
Множества А и В считаются равными, если они состоят из одних и тех же элементов. Равенство множеств обозначают так: А=В. Если множества не равны, то пишут: А В. Отсюда следует, что запись равенства двух множеств «А=В» эквивалентна записи
Пример. Доказать, что множество равно множеству В корней уравнения
Для доказательства решим уравнение. Получим: Следовательно, или Затем непосредственной подстановкой убеждаемся, что любое из чисел 0,2, 3 удовлетворяет уравнению, следовательно или Теперь можно записать, что А=В.
Объединение (сумма) множеств
Объединением множеств А и В называется такое множество С, каждый элемент которого содержится хотя бы в одном из множеств А или В. Обозначается: Пример. Если
Можно рассматривать объединение множеств:
при этом в А входят все элементы, которые входят хотя бы в одно из множеств Например, множество всех дей-
ствительных чисел состоит из множества положительных чисел множества отрицательных чисел и множества содержащего один элемент — ноль, то есть
Для наглядного представления соотношений между несколькими подмножествами какого-либо универсума часто используются круги Эйлера или диаграммы Венна. Универсум представляется множеством всех точек некоторого прямоугольника, а его подмножества — соответствующими кругами. Операция объединения и другие операции иллюстрируются кругами Эйлера представленными на рис. 1.1-1.5.
Пересечение (умножение) множеств
Пересечением множеств А и В называется множество D, составленное из общих для множеств А и В элементов. Обозначение: Например:
Можно рассматривать пересечение множеств:
при этом в А входят только те элементы, которые входят во все множества Пересечение двух множеств иллюстрируется на рис 1.2.
Пусть есть некоторое множество А. Говорят, что задано разбиение множества А на классы если
для всех причем
Классы — это такие подмножества разбиваемого множества, которые не имеют общих элементов, а их объединение образует исходное множество А. Следовательно, каждый элемент множества А входит в один и только в один класс.
Разность двух множеств
Разностью двух множеств А и В называется множество G, содержащее лишь те элементы из А, которые не входят в В. Обозначение: Отметим, что в А могут находиться не все элементы из вычитаемого множества В (см. рис. 1.3). Например,
Если В — подмножество то разность называется дополнением к В до А. Например, если и то множество дополнение к В до А. Операция дополнения иллюстрируется на рис. 1.4. Дополнение к А до универсума имеет особое обозначение: (см. рис. 1.5).
Пример. Пусть Такое множество называется множеством неотрицательных чисел.
Тогда это множество отрицательных чисел.
Операции над множествами подчиняются определенным законам. Перечислим их.
1.Коммутативный или переместительный закон
2.Ассоциативный или сочетательный закон
Так как порядок выполнения операций несущественен, то скобки в записи опускают.
3.Дистрибутивный или распределительный закон:
4.Закон идемпотентности:
5.Закон поглощения:
6.Закон двойственности де Моргана:
10.Если и одновременно
Из законов (1-12) следует принцип двойственности: всякое равенство, тождественно выполняемое в теории множеств, переходит также в тождественно выполняющееся равенство при замене знака объединения на знак пересечения множество универсум на пустое множество и наоборот.
Прямое произведение множеств
Кортежем называют любую выделенную упорядоченную совокупность объектов (элементов кортежа). Синонимами понятия «кортеж» являются: упорядоченная система, упорядоченная совокупность, вектор, упорядоченный набор, «-ка» и др. Отличие кортежа от множества заключается в том, что компоненты кортежа упорядочены и могут полностью или частично совпадать. Два кортежа называются равными, если они имеют
одинаковую длину, и все их соответствующие компоненты совпадают.
Элементы, составляющие кортеж, называются компонентами, которые в силу упорядоченности имеют номер: первый компонент, второй компонент, … -ый компонент. Длиной кортежа называют число компонентов в кортеже. Когда вместо термина «кортеж» употребляется термин «вектор», то говорят соответственно о координатах и размерности вектора.
Примеры кортежей: Это кортеж N длины 5, первый компонент которого — 8, второй — 7, третий — 4 и т. д.; в этом случае второй, а четвертый компонент кортежа М.
Прямым произведением двух множеств А и В (обозначается называется множество, состоящее из всех тех и только тех пар, первый компонент которых принадлежит А, второй -В. Если первый сомножитель имеет элементов, а второй — то их прямое произведение имеет элементов, каждый из которых — упорядоченная пара. Например, если и В общем случае, если Тем самым прямым произведением множеств называется множество всех кортежей длины (-ок), первый компонент которых принадлежит второй -тый — т. е.
где -ый элемент множества
Если все множества равны между собой, то есть то прямое произведение множеств обозначается как
Например: пусть R — множество действительных чисел, тогда множество упорядоченных пар вида Геометрически R — множество точек числовой оси, тогда множество точек плоскости, где координаты этих точек. Прямое произведение часто называют декартовым произведением множеств. Множество Р называется графиком, если
каждый его элемент является упорядоченной парой, следовательно, любое подмножество множества можно назвать графиком.
Проекцией кортежа на і-ю ось называется і-ый компонент кортежа, т. е. Проекция точки плоскости на первую ось называется абсциссой, на вторую ось — ординатой Из определения прямого произведения следует, что оно не коммутативно, т. е.
Пример:
Пусть А — отрезок [1,3], В — отрезок [2,5]. Тогда множество точек прямоугольника, заштрихованного на рис. 1.6, прямоугольник, заштрихованный на рис. 1.7.
Пример:
Пусть А — множество, элементами которого являются буквы, цифры и все знаки операций и препинания. Такое множество называют алфавитом. Тогда множество всех слов длины .
Природа компонентов прямого произведения обычно отличается от природы элементов сомножителей. Например, пусть Q — множество участников шахматного турнира, тогда при всех есть множество пар участников, причем играет белыми фигурами, черными.
Понятие соответствия
Пусть заданы два множества . Если для каждого элемента указан элемент с которым сопоставляется то говорят, что между множествами установлено соответствие. Иначе говоря, соответствием называется тройка множеств Множество называется областью отправления, — областью прибытия, — графиком соответствия. Если то множество первых проекций называется областью определения соответствия, множество вторых проекций — областью значений этого соответствия, — график соответствия.
Два соответствия равны тогда и только тогда, когда равны их области отправления, области прибытия и графики. Пример. Заданы четыре разных соответствия, имеющие одинаковые области отправления и прибытия:
На рис. 1.8а, 1.86, 1.8в, и 1.8г. различия этих соответствий видны достаточно наглядно.
В соответствии множество всех которые сопоставляются элементу называется образом Множество же всех которым сопоставляют элемент называется прообразом
Соответствие называется всюду определенным, если множество т. е. его область определения, совпадает с областью отправления (в противном случае говорят о частичном соответствии). Если же то соответствие называют сюръективным, или накрывающим. Это означает, что область значений соответствия совпадает с его областью прибытия. На рис. 1.8 а и 1.8 б представлено всюду определенное сюръективное соответствие. Соответствия, представленные на рис.18 в и 1.8 г, не сюръективны, а соответствие, изображенное на рис. 1.8, г не всюду определенное.
Соответствие называется функциональным (или однозначным), если образом любого элемента из является единственный элемент из График такого соответствия называется функциональным. Это означает, что в нем нет пар с одинаковыми первыми и различными вторыми компонентами. Например, соответствие, представленное на рис. 1.8 б, нефункционально. Соответствие называется инъективным, если любому элементу из соответствует единственный элемент из , на рис. 1.8 в изображено инъективное соответствие.
Соответствие между называется взаимно-однозначным (или биективным), если оно всюду определено, сюръективно, функционально и инъективно.
Пусть — множества вещественных чисел. В этом случае график соответствия может быть представлен некоторой линией на плоскости. Например. На рис. 1.9 представлено функциональное соответствие, но оно не инъективно (некоторым соответствует более одного ), не всюду определено ( определен не для всех ), не сюръективно ( проектируется не на все ) и не биективно. На рис. 1.10 представлено нефункциональное соответствие, которое не всюду определено, сюръективно и не биективно. На рис. 1.11 представлено взаимно-однозначное соответствие.
Мощность множества
Мощность множества характеризует количество элементов этого множества. Множества равномощны, если между их элементами можно установить взаимно-однозначное соответствие. Число элементов в конечном множестве А называется кардинальным числом и обозначается |А|. Подсчет элементов конечного множества заключается в установлении взаимно-однозначного соответствия между этими элементами и конечной последовательностью натуральных чисел.
Множество называется бесконечным, если оно равномощно хотя бы одному из его собственных подмножеств. Бесконечное множество А называется счетным, если оно равномощно множеству всех натуральных чисел N. Примеры счетных множеств: множество целых чисел, четных чисел, рациональных чисел. Счетное множество образуется при объединении счетного множества конечных множеств (например, множество слов в любом конечном алфавите) и т. д. Счетным будет и объединение счетного множества счетных множеств (множество всех векторов с натуральными компонентами). Множество А называется не более чем счетным, дискретным, если оно конечно (в частности, пусто) или счетно. Счетное множество среди бесконечных множеств имеет наименьшую мощность.
Рассмотрим все вещественные числа на отрезке Эти числа не могут быть пронумерованы, следовательно, их множество не образует счетное множество, оно несчетно. По определению, множество, равномощное множеству всех вещественных чисел
единичного отрезка числовой оси, имеет мощность континуума (непрерывное множество). Мощность множества континуума превышает мощность счетного множества. Любой конечный отрезок числовой оси равномощен единичному отрезку. Более того, любой конечный отрезок равномощен и всей числовой оси. Например, между отрезком и множеством можно установить такое соответствие:
Множества наибольшей мощности не существует. Это следует из того, что мощность любого множества А всегда строго меньше мощности множества всех его подмножеств
Множества — основные понятия
Под множеством понимается совокупность каких-либо объектов, называемых элементами этого множества. Например, можно говорить о множестве студентов данного вуза, множестве учебников по математике, множестве треугольников, множестве действительных чисел и т. д. Множества, содержащие конечное число элементов, называются конечными (множество студентов, множество учебников). Множества с бесконечным числом элементов называются бесконечными (множество треугольников, множество действительных чисел).
Множество обычно обозначается заглавными латинскими буквами A, B, С, …, а их элементы — малыми а, b, с, ….
Утверждение ’’элемент х принадлежит множеству А” записывается так : «х ∈ А ”, а противоположное утверждение ” элемент х не принадлежит множеству А” записывается так : ”х ∉ А ”.
Определение:
Если все элементы множества А принадлежат также множеству В, то говорят, что ” А содержится в В” или: ” А является подмножеством В”, и записывают так: A ⊂ В.
Определение:
Два множества называются равными (совпадающими), если они состоят из одних и тех же элементов: A = B.
Пример:
Сформулируйте словами утверждение:
A=B⇔ A ⊂ B и B ⊂ A и докажите его.
Конечное множество можно задать перечислением его элементов. Так, запись A = {1;2;3} означает, что множество А состоит из трех чисел 1,2,3. При этом порядок перечисления элементов не играет роли: {1;2;3} = {3;2;1}.
Бесконечное множество можно задать, написав условие, которое выполняется для всех элементов данного множества и не выполняется для других. Запись
В = {x | 1 < х < 2}
означает множество всех чисел, больших одного, но меньших двух, т.е. интервал (1;2).
Множество удобно схематически изображать в виде ’’диаграмм Эйлера” — геометрических фигур на плоскости, взаимное расположение которых отражает отношение между множествами. Так, например, если A ⊂ B и B ⊂ C, то A изображается частью В₁ а В частью C (рис. 1). C помощью диаграммы Эйлера на рис. 1 наглядно видно свойство транзитивности операции включения множеств: A ⊂ B ⊂ C ⟹ A ⊂ C.
Определение:
Множество называется пустым, если оно не содержит ни одного элемента. Пустое множество обозначается символом ⊘.
Так, например, множество отрицательных натуральных чисел пусто.
Операции над множествами
Определение:
Пересечением множеств A и B называется множество С, состоящее из всех элементов, одновременно входящих и в А, и в В. Это записывается следующим образом: A ∩ В = С.
Иллюстрация пересечения двух множеств с помощью диаграмм Эйлера приведена на рис. 2, где множество C заштриховано.
Пример:
Если множество А есть интервал (1 ;5) а множество В есть интервал (2;7), то пересечение множеств A и B есть интервал (2;5).
Свойства операции пересечения множеств приведем без доказательств:
- A ∩ В = В ∩ А(коммутативность).
- A ∩ (В ∩ С) = (A ∩ В) ∩ C = A ∩ В ∩ С(ассоциативность).
- A ⊂ В ⟹ А ∩ В = А.
- A∩A= А.
- A ∩ ⊘ = ⊘
Определение:
Объединением множеств A и B называется множество С, состоящее из всех элементов, каждый из которых принадлежит хотя бы одному из данных множеств или А, или В, или A u B одновременно. Это обозначается следующим образом : A ∪ В = С.
Иллюстрация объединения с использованием диаграмм Эйлера приведена на рис. 3, где множество C заштриховано.
Пример:
Если множество А есть отрезок [1;3], множество В есть отрезок [2;5], то A ∪ B есть отрезок B=[1;5].
Свойства операции объединения множеств приведем без доказательств:
1) A ∪ B=B ∪ A (коммутативность).
2) A ∪ (B∪C)=(A ∪ B) ∪ C=A ∪ B ∪ C (ассоциативность).
3) A∩(B∪C)=(A∩B) ∪ (A∩C) (дистрибутивность).
4) A ⊂ B ⇒A ∪ B=B.
5) A ∪ A=A.
6) A ∪ ⊘=A.
Определение:
Разностью множеств А и В называется множество С, состоящее из всех элементов, принадлежащих множеству А, но не принадлежащих В. Разность A u B обозначается АВ и изображена штриховкой на рис. 4.
Операция вычитания множеств не коммутативна : A∖B≠B∖A.
Пример:
Если А = (1; 10), В = (3; 20), то АВ=(1;3], ВА =[10,20).
Кванторы общности и существования
При изложении материала мы будем использовать знак , называемый квантором общности, и знак Ǝ, называемый квантором существования. Символ означает: ’’для любого х«, ’’для всех х”, ’’для каждого х«, ’’какое бы ни было х«. Запись > 0 означает: ’’для всех положительных x” Запись ∈ M читается: ’’для всех x, принадлежащих множеству М”.
Обозначение Ǝх означает: ’’существует такое х, что …”, ”по крайней мере для одного х…”, запись Ǝх > 0 читается: ’’существует такое положительное число х, что…”, запись Ǝх₁ ,x₂ Є M означает: ’’существуют такие х₁ ,x₂ — элементы множества М, что …”.
Нам также неоднократно придется использовать символы ⇒ и ⇔.
Запись логического следования А ⇒ В означает, что если верно утверждение А, то верно и утверждение В, то-есть из А следует В.
Запись логической равносильности ⇔ означает, что из А следует В и наоборот, из В следует А.
Так, например, запись: > ƎN > N ⇒ | f (x) — b| < ε читается следующим образом: ’’для любого ε больше 0 существует N такое, что для любых х, больших N, будет выполняться неравенство | f (x) — b∣< ε.”
Необходимое и достаточное условие
Любая теорема может быть сформулирована в виде: если выполняется условие А, то верно утверждение В. Будем называть это прямой теоремой и схематически запишем в виде:
Теорема:
А ⇒ В.
В качестве примера приведем теорему, называемую достаточным условием экстремума непрерывной функции, изучаемую в курсе математики средней школы.
Теорема:
Если функция f непрерывна в точке а и производная f меняет знак при переходе через эту точку, то а является точкой экстремума функции f.
Условие А стоит после слова «если», утверждение В написано после
слова «то».
Определение:
А называется достаточным условием для
выполнения В. В свою очередь, В является необходимым условием для выполнения А.
Применительно к теореме 1.2 это выглядит следующим образом.
Достаточным условием для существования экстремума непрерывной функции f в точке а является изменение знака ее производной при переходе через эту точку.
Для лучшего усвоения введенных понятий рассмотрим очевидно справедливое утверждение не из области математики.
Теорема:
Если человек здоров, то у него есть голова.
Здесь здоровье является достаточным условием наличия у человека головы. Наоборот, наличие головы является необходимым условием здоровья. Подумайте, будет ли это условие достаточным для того, чтобы человек был здоров? Реально ли вообще сформулировать достаточное условие того, что человек здоров?
Обозначим А утверждение, заключающееся в отрицании утверждения А(читается «не А»). Если справедлива прямая теорема 1.1, то методом «от противного» легко можно доказать справедливость следующего утверждения, которое называется
«противоположная к обратной теорема»:
Теорема:
В ⇒ А.
Доказательство:
Имеем А ⇒ В, нужно доказать, что В⇒ А Предположим противное: В ⇒ А, но в соответствии с теоремой 1.1 А ⇒ В. Полученное противоречие (В ⇒ В) доказывает теорему.
Аналогично можно доказать, что если справедлива теорема 1.4, то верна теорема 1.1, т. е. эти утверждения равносильны.
Для теоремы 1.2 противоположной к обратной будет теорема: ’’Если точка а не является точкой экстремума функции f ̕ непрерывной в этой точке, то производная f ̕ не меняет знак при переходе через эту точку”.
Для теоремы 1.3 противоположным к обратному будет утверждение: ’’Если у человека нет головы, то он не здоров”.
Проведите доказательство этого утверждения самостоятельно методом ”от противного».
Наряду с прямой теоремой 1.1 можно рассмотреть утверждение, называемое «обратной теоремой” :
Теорема:
В ⇒ А.
Однако обратная теорема не всегда справедлива, если верна прямая. Так, например, для теоремы 1.3 обратное утверждение: «Если у человека есть голова, то он здоров”, очевидно, не верно.
Если все же теорема 1.5 справедлива, то методом «от противного” исходя из нее доказывается справедливость утверждения, называемого «противоположная теорема”:
Теорема:
А ⇒ В
Наоборот, из теоремы 1.6 вытекает справедливость теоремы 1.5, т.е. эти утверждения равносильны. Заметим, что из прямой теоремы 1.1 не обязательно следует справедливость противоположной теоремы 1.6.
Приведенные связи удобно запоминать, представляя себе следующий ’’логический квадрат» (рис. 5):
Если наряду с прямой теоремой выполняется также обратная теорема, то А является ’’необходимым и достаточным” условием для В. То же самое можно сказать про В по отношению к А.
Так, например, то, что треугольник прямоугольный, является необходимым и достаточным условием того, что квадрат одной из сторон равен сумме квадратов двух других.
Множество N натуральных чисел
Определение:
Числа 1,2,3,… называются натуральными.
Сумма и произведение натуральных чисел будет числом натуральным, а разность и частное — не всегда. При вычитании натуральных чисел может получится отрицательное число, а при делении — не целое. Например, при делении получится целая часть 2 и 1 в остатке, что записывается следующим равенством: .
Приводя к общему знаменателю, получим равенство: 7 = 2 ∙ 3 + 1. В этих равенствах 7 называется делимым, 3 — делителем, 2 — целой частью и 1 — остатком (остаток всегда меньше делителя). Если остаток равен нулю, то говорят, что делимое делится на делитель, как, например, 6 делится на 3. Если натуральное число, большее единицы, делится только на 1 и на себя (что всегда справедливо), то оно называется простым. Простыми числами являются числа 2,3,5,7,11,13,17,19,23 и т. д. Любое натуральное число может быть представлено в виде произведения простых сомножителей. Например : 12 = 1 ∙ 2 2 3, 18 = 1 2 ∙ 3 3, 7 = 1 ∙ 7 и т. д.
Определение:
Наименьшим общим кратным двух данных натуральных чисел называется наименьшее из чисел, которые делятся на каждое из них.
Для любых двух натуральных чисел всегда найдется наименьшее общее кратное, поскольку их произведение всегда делится на каждое из двух данных.
Наименьшее общее кратное 12 и 18 равно 36. Для того чтобы найти наименьшее общее кратное двух чисел, нужно первое число помножить на простые множители, входящие в разложение второго числа и не входящие в разложение первого: 12 ∙ 3 = 36.
Определение:
Наибольшим общим делителем двух данных натуральных чисел называется наибольшее из чисел, на которые делится каждое из них.
Для любых двух натуральных чисел всегда найдется наибольший общий делитель, поскольку любые два числа всегда делятся на единицу. Если у двух натуральных чисел нет других общих делителей кроме единицы, они называются взаимно простыми. Наибольший общий делитель 12 и 18 равен 6. Для того, чтобы найти наибольший общий делитель двух чисел, нужно перемножить общие простые множители, входящие в разложение и одного, и другого числа: 1 ∙ 2 ∙ 3 = 6.
Множество Z целых чисел
Определение:
Натуральные, отрицательные натуральные числа и ноль образуют множество целых чисел (множество Z).
Сумма, произведение и разность целых чисел является целым числом, а частное — не всегда. Иногда множество отрицательных целых чисел обозначается Z_.
Множество натуральных чисел является подмножеством множества целых чисел: N ⊂ Z.
Множество Q рациональных чисел
Определение:
Рациональными числами называются числа вида , где m — целое (m Є Z), n — натуральное (n Є N), тип взаимно простые. Множество рациональных чисел обозначается Q.
Множество целых чисел является подмножеством множества рациональных чисел, т. к. любое целое число m можно рассматривать как рациональное, представив в виде . Сумма, произведение, разность, частное рациональных чисел ( при ненулевом знаменателе) является числом рациональным, однако корень из рационального числа — не всегда, как, например, , и т.д.
Всякое рациональное число можно представить в виде десятичной дроби, конечной или периодической. И наоборот, любая конечная или периодическая десятичная дробь может быть записана в виде простой дроби.
Пример:
=0,5; =0,8 ; =0,666…=0,(6) ; =7,31(06).
Две последние десятичные дроби бесконечные периодические. Повторяющиеся цифры называются периодом дроби и пишутся в скобках, количество этих цифр называется длиной периода. Для обратного преобразования конечной десятичной дроби ее нужно представить в виде простой и сократить: 0,8==. На самом деле разница между конечной дробью и периодической непринципиальная. Так, 0,5=0,4(9).
Перевод периодической десятичной дроби в простую объясним на примере.
Пример:
Записать в виде простой дроби 0,(6).
Решение:
Периодическую дробь 0,(6) обозначим за x: 0,(6)=x, тогда, т. к. 10‧х — 10-0,666… = 6,666…, легко заметить, что 10∙х = 6 х. Решая это уравнение, получаем: 9‧x=6⇔x = = .
Определение:
Целой частью числа называется наибольшее целое число, не превосходящее данное. Целая часть числа х обозначается [x].
Примеры:
[3,56]=3; [0,12]=0; [-0,12]=-1; [-]=-4;
[5]=5; [0]=0.
Определение:
Дробной частью числа называется разность между самим числом и его целой частью. Дробная часть числа обозначается {x}. Она строго меньше единицы и находится в пределах : 0 ≤ {x} < 1.
Примеры:
{3,56}=0,56; {0,12}=0,12; {-0,12}=0,88;
{}=; {5}=0; {0}=0.
Множество J иррациональных чисел
Определение:
Иррациональным числом называется бесконечная непериодическая десятичная дробь.
Примерами иррациональных чисел являются √2, √3, ∛11, π, е, и т. д. Заметим, что J ∩Q = ⊘ Иррациональное число нельзя представить в виде простой дроби, его также невозможно ’’выписать до конца” (представить в виде конечной десятичной дроби), поэтому запись √2 = 1,41 ошибочна, следует писать √2 ≈ 1,41.
Заданное бесконечной непериодической дробью иррациональное число определяет две последовательности конечных (рациональных) десятичных дробей, называемых десятичными приближениями по недостатку и по избытку. Например, для √2 можно написать:
1 √2<2,
1,4< √2<1,5,
1,41< √2<1,42.
…
В инженерных расчетах при замене иррациональных чисел их рациональными приближениями достаточно во всех вычислениях брать на один знак больше, чем требуется в результате, и затем округлить результат.
Для иррациональных чисел можно также определить целую и дробную части, причем для х ∈ J ⇒ {τ} ∈ J.
Множество R действительных чисел
Определение:
Все рациональные и иррациональные числа образуют множество действительных (вещественных) чисел: R = QuJ.
В множестве действительных чисел всегда выполнимы сложение, вычитание, умножение, деление (не на ноль), возведение в любую действительную степень положительного числа, извлечение корня нечетной степени из отрицательного числа.
В множестве действительных чисел невозможно извлечение корня четной степени из отрицательного числа.
Числовая ось
Множеству действительных чисел можно дать простую геометрическую интерпретацию. Выберем на прямой положительное направление (указывается стрелкой), начало отсчета и единицу масштаба. Такая прямая называется числовой осью. Каждой ее точке можно поставить в соответствие единственное действительное число следующим образом: положительное число х изображается точкой, расположенной на оси на расстоянии х в направлении стрелки (на рис. 6 справа от О), отрицательное с другой стороны (на рис. 6 слева от О) на расстоянии х от О.
Число х называется координатой соответствующей точки на числовой оси. Из двух чисел больше будет то, которое расположено на числовой оси дальше в направлении стрелки (на рис. 6 — правее).
Например, -1 > -2.
Числовые промежутки
Если известны два действительных числа а и b, a < b, то можно определить следующие множества действительных чисел, находящихся между двумя данными — числовые промежутки.
Отрезок (сегмент) [α; b]= {x | a ≤ х ≤ b},
Интервал (a; b)= {x | a < х < b}.
В частности, можно рассматривать бесконечные интервалы:
(- ∞; +∞)={x∈R}, (a;+∞)={x|x>a}, (- ∞ ;b)={x|x<b}.
Полуинтервал, [a;b)={x∣a≤x<b}, (a;b]={x∣a<x≤b}.
В частности, можно рассматривать бесконечные полуинтервалы: [a;+∞)={x∣x≥a}, (-∞;b]={x∣x≤b}.
Числовые промежутки изображают на числовой оси, причем если граничная точка принадлежит промежутку — она закрашена, если нет — изображается светлым кружком (’’выкалывается”). На рис 7 изображен полуинтервал (2;5].
Числовые промежутки будем выделять штриховкой или утолщенной линией.
Примеры с решением на тему: «Множества«
При решении примеров данного практического занятия используется материал средней школы и материал лекции 1. Применение метода интервалов для решения неравенств иллюстрируется примерами 1.2-1.5
Пример:
Пусть A = [-3;5],B = (-5;7),C = [1;2). Найдите множество: A₀ = (4 ∩ В) U (В ∩ С).
Решение:
Для нахождения результата операций над числовыми промежутками их удобно изображать на числовых осях, расположенных одна под другой с согласованным началом и одинаковым масштабом. Если исходные промежутки А и В заштриховать, то их пересечением будет множество точек, заштрихованных на каждой из осей (рис. 8), а их объединением — множество точек, заштрихованных хотя бы на одной из осей (рис. 9).
Пользуясь этим правилом, последовательно получим A ∩ В, В ∩C и, наконец, (Л ∩ В) ∪ (В ∩ С) (рис. 8, 10, 11).
Ответ: A₀ ≈ [-3; 5].
Пример:
Найдите элементы множества:
A₀ = {x | (2 — 3x)(x + 4)(x — 2) > 0}.
Решение:
Неравенство (2 — 3x)(х + 4)(x — 2) > 0 решим методом интервалов, для чего нанесем на числовую ось значения х, при которых левая часть неравенства обращается в ноль: x₁ =,x₂ = -4,х₃ = 2. (рис. 12)
Сами эти значения не удовлетворяют неравенству, поэтому соответствующие точки “выколоты».
Знаки выражения в левой части неравенства определим, подставляя в него по одному значению из каждого интервала, на которые все множество R разбилось точками x₁,x₂,х₃. Отметим штриховкой те интервалы, на которых выражение в левой части неравенства положительно. Это множество является искомым.
Ответ: A₀=(-∞; -4) ∪ (; 2).
Пример:
Задайте характеристическим свойством множество: A₀ — множество всех натуральных чисел, меньших 5 или больших 10.
Решение:
В условии требуется,чтобы натуральные числа были меньше 5 или больше 10, т.е. искомое множество есть объединение двух подмножеств: множества натуральных чисел, меньших 5 и больших 10.
Ответ: A₀ = {x|x < 5, х ∈ N} ∪ {x|x > 10, х ∈ N}.
Пример:
Решите систему неравенств:
Решение:
Решение системы неравенств есть пересечение множеств решений каждого из входящих в систему неравенств. Аналогично тому, как это делалось при решении примера 1.2, решим каждое из неравенств системы методом интервалов и найдем их пересечение (рис 13).
Ответ: х ∈ (-1; 2,5).
Пример:
Решите совокупность систем неравенств:
Решение:
Решение совокупности систем неравенств есть объединение решений каждой системы, входящей в совокупность. Для решения разложим каждый многочлен в произведение с помощью корней:
Решение совокупности систем методом интервалов представлено на рис. 14
Ответ: х ∈ (-2; 1)
Множества
Понятие множества является одним из основных понятий математики. Оно не сводится к другим понятиям и не определяется. Вместо определения приводят лишь примеры, поясняющие его смысл. Так, можно говорить о множестве всех учеников данной школы, о множестве всех собак на земном шаре, о множестве всех клеток данного человеческого тела, о множестве всех картофелин в данном мешке, о множестве всех натуральных чисел, о множестве всех треугольников на данной плоскости, о множестве всех точек данного круга и т. д.
Когда в математике говорят о множестве, то объединяют некоторые предметы в одно целое — множество, состоящее из этих предметов. Основатель теории множеств Георг Кантор (1845—1918) выразил это следующими словами: «Множество есть многое, мыслимое как единое».
Предметы (объекты), составляющие некоторое множество, называются его элементами. То обстоятельство, что объект а является элементом множества А, записывается так: (словами: а есть элемент множества А; а принадлежит А; а содержится в А; А содержит а). Если объект а не является элементом множества А, то это записывается так: (словами: а не есть элемент множества А; а не принадлежит А; а не содержится в А; А не содержит а).
Например, если А есть множество всех четных натуральных чисел, то
Множество иногда можно задать перечислением всех его элементов. В этом случае употребляют фигурные скобки, в которые помещают названия всех элементов множества, разделенные запятыми. Так, {1, 2, 3) обозначает множество, состоящее из чисел «один», «два», «три» и только из них.
Вообще некоторое множество считается заданным, если указано некоторое свойство, которым обладают все его элементы и не обладают никакие другие объекты. Такое свойство называется характеристическим свойством множества.
Характеристическим свойством множества {1, 2, 3) может быть свойство совпадать с одним из членов списка, приведенного в фигурных скобках. Другим характеристическим свойством этого же множества является свойство быть корнем уравнения
Числовые множества
Множества могут состоять из объектов самой различной природы. Их элементами могут быть буквы, атомы, числа, уравнения, точки, углы и т. д. Именно этим объясняется чрезвычайная широта теории множеств и ее приложимость к самым разным областям знания (математике, механике, физике, лингвистике, экономике и т. д.). Для математики особо важную роль играют множества, составленные из «математических» объектов— корней уравнений, геометрических фигур и т. д. Чаще всего нам будут встречаться числовые множества, то есть множества, элементами которых являются числа. Примерами числовых множеств являются: а) множество всех действительных чисел; б) множество всех рациональных чисел; в) множество всех положительных чисел; г) множество всех чисел, удовлетворяющих неравенству д) множество всех чисел вида
Некоторые числовые множества имеют особые названия. Если даны два числа а и b, а < b, то множество всех чисел, удовлетворяющих неравенству называют числовым отрезком или,
если это не вызывает недоразумений, просто отрезком и обозначают [а, b]. На числовой оси ему соответствует отрезок с концами а и b (рис. 1).
Множество чисел, удовлетворяющих неравенству а < х< b , называют числовым промежутком или, короче, промежутком и обозначают (а, b). На числовой оси ему соответствует отрезок, у которого отброшены концевые точки (рис. 2).
Множество чисел, удовлетворяющих неравенствам вида х > а (или х<а), называют (числовым) лучом. Его обозначают (а, )
(или (—, а)) (рис. 3). Иногда нам будут встречаться множества чисел, удовлетворяющих неравенствам или (рис. 4). Их называют (числовыми) полуотрезками и обозначают [а, b) и (а, b]. Заметим, что квадратная скобка означает, что соответствующий
конец включается в множество, а круглая — что он исключается.
Пустое множество
Введение понятия множества в математику оказалось очень полезным. Из-за того что элементами множеств могут быть вещи самой различной природы, одни и те же утверждения, касающиеся множеств, можно истолковать и как утверждения о натуральных числах, и как утверждения о точках геометрических фигур, и как утверждения о множестве слов и т. д. Таким образом, понятия и теоремы теории множеств обладают большой общностью. Этим и объясняется то, что язык теории множеств применяется в самых различных областях математики.
В математике приходится иногда рассматривать множества, содержащие только один элемент, и даже множества, не имеющие ни одного элемента. Множество, не содержащее ни одного элемента, называют пустым. Его обозначают знаком . На первый взгляд может показаться, что понятие пустого множества излишне. Но когда множество задано своим характеристическим свойством, заранее неизвестно, пусто оно или нет. Например, пусть некоторое множество состоит из всех прямоугольников с неравными диагоналями. То, что свойство «быть прямоугольником с неравными диагоналями» задает пустое множество, составляет утверждение геометрической теоремы: «Во всяком прямоугольнике диагонали равны». Точно так же из теоремы Пифагора следует, что множество прямоугольных треугольников, для которых квадрат гипотенузы не равен сумме квадратов катетов, пусто. Вот еще несколько примеров задания пустого множества характеристическим свойством: а) множество рациональных чисел r таких, что б) множество всех точек пересечения двух параллельных прямых; в) множество треугольников, сумма углов которых отлична от 180°; г) множество квадратных уравнений, имеющих более двух раз личных корней; д) множество решений системы уравнений
О некотором множестве может быть неизвестно, является ли оно пустым множеством или нет. Так, до сих пор неизвестно, пусто ли множество натуральных чисел n таких, что n > 2, а уравнение
имеет положительные целочисленные решения (в этом состоит известная проблема Ферма).
Пустое множество единственно: нет двух разных пустых множеств.
Подмножество
Пусть даны два множества A и B, причем каждый элемент первого множества является элементом второго множества. Тогда множество А называют подмножеством (или частью) множества В. В этом случае пишут:
Примеры подмножеств: а) числовой отрезок [1,3] есть подмножество числового отрезка [0, 4];
б) множество всех квадратов есть подмножество множества всех прямоугольников; в) множество всех целых чисел есть подмножество множества всех рациональных чисел.
Отметим, что пустое множество является подмножеством любого множества А. Каждое множество А является одним из своих подмножеств. Эти два подмножества ( 0 и все множество) называют несобственными. Все остальные подмножества называют собственными.
Множества часто изображают наглядно как множество точек геометрической фигуры. Тогда подмножество — это множество то чек части фигуры (рис. 5).
Пересечение множеств
Пусть даны множества А, В, С, … . Их пересечением называют множество X, содержащее те и только те элементы, которые входят в каждое из заданных множеств. Пере сечение двух множеств А и В обозначают АВ или
Если множества А и В состоят из точек некоторых геометрических фигур, то — множество общих точек этих фигур, то есть множество точек пересечения этих фигур в обычном смысле (рис. 6).
Пересечение множеств называют также их произведением, а операцию пересечения — умножением множеств. Можно показать,
что многие свойства пересечения множеств напоминают свойства умножения чисел.
Примеры пересечения множеств: а) пересечением числового отрезка [0, 4 ] с числовым отрезком [2, 5] является числовой отрезок [2, 4] (рис. 7);
б) пересечение числового отрезка [0, 2] с числовым отрезком [3, 5] пусто; в) пересечение множества всех ромбов с множеством всех прямоугольников есть множество всех квадратов; г) пересечением множества четных натуральных чисел с множеством натуральных чисел, делящихся на 3, является множество натуральных чисел, делящихся на 6.
Сложение множеств
Суммой (или объединением) множеств А, В, С, . . . называют множество X, состоящее из тех и только тех элементов, которые входят хотя бы в одно из этих («слагаемых») множеств. Сумму двух множеств А и В обозначают А + В или . Мы увидим позже, что некоторые свойства суммы множеств напоминают свойства суммы чисел.
Если какой-нибудь элемент входит в несколько слагаемых множеств, то в сумме он берется лишь один раз. Например, суммой числового отрезка [0, 4] и числового отрезка [2, 5] является числовой отрезок [0, 5]. При этом точки отрезка [2, 4] входят в оба слагаемые, но в сумме они берутся лишь один раз. Впрочем, выражения «некоторый элемент берется в данном множестве пять раз» и т. п., как это следует из принятого нами понимания терминов «множество» и «элемент», просто не имеют смысла.
Примеры а) Обозначим через А множество точек некоторой плоской области и через В — множество точек другой области (рис. 8). Тогда их суммой будет множество точек заштрихованной фигуры, ограниченной на рис. 8 жирной линией. б) Обозначим через А множество успевающих учеников в классе, через В — множество девочек в этом классе и через С — множество неуспевающих мальчиков. Тогда является множеством всех учеников этого класса. (Имеют ли множества А и В общие элементы?) в) Обозначим через множество всех положительных дробей со знаменателем n. Тогда является множеством всех положительных дробей, то есть дробей вида , где m и n — натуральные числа. г) Обозначим через множество правильных n-угольников. Тогда является множеством всех правильных многоугольников. д) Обозначим через A множество целых чисел вида 4n — 1, а через В — множество целых чисел вида 4n + 1. Тогда — множество всех нечетных целых чисел.
Разбиение множеств
Пусть множество X является суммой множеств A, В, С. . . , причем никакие два из них не имеют общих элементов. Тогда говорят, что множество X разбито на (непересекающиеся) подмножества А, В, С, . . . .
Примеры разбиения множеств: а) Множество натуральных чисел разбивается на подмножества четных чисел и нечетных чисел. б) Множество всех учеников в классе разбивается на множества учеников, фамилия которых начинается на букву «А», учеников, фамилия которых начинается на букву «Б», и т. д. вплоть до буквы «Я». Какое из этих множеств пусто, если взять ваш класс? Какие из этих множеств пусты для любого класса? в) Множество всех векторов на плоскости можно разбить на непересекающиеся подмножества, относя к одному подмножеству все векторы, равные друг другу по длине, параллельные и одинаково направленные. г) Это же множество можно разбить иначе, относя к одному под множеству векторы, выходящие из одной точки плоскости.
Вычитание множеств
Если даны два множества A и В, то их разностью называют такое множество X = A В или (А — В), в которое входят все элементы из Л, не принадлежащие множеству В. При этом не предполагается, что множество В является частью множества A. Таким образом, при вычитании множества В из множества A из A удаляют общую часть (пересечение) A и В:
Например, если A — множество всех учащихся IX класса данной школы, а В — множество всех девочек, которые учатся в этой школе, то A В — множество всех мальчиков, обучающихся в IX классе этой школы.
В случае, когда В — часть множества А, А В называют дополнением к В в множестве А и обозначают (разумеется, одно и то же множество В имеет разные дополнения в разных содержащих его множествах А). Например, дополнением множества четных чисел в множестве всех целых чисел является множество нечетных чисел. Дополнением множества всех квадратов в множестве прямоугольников является множество всех прямоугольников с неравными сторонами, а дополнением того же множества квадратов в множестве всех ромбов — множество ромбов с неравными диагоналями.
Отображение множеств
Пусть даны два множества X и У и пусть имеется правило ставящее в соответствие каждому элементу некоторый определенный . Тогда говорят, что задано отображение множества X в множество У. Элемент, соответствующий х в силу правила обозначают и пишут: . Элемент у называют образом элемента х при отображении а элемент х называют прообразом элемента у при отображении Отображение называют также функцией, заданной на множестве X и принимающей значения во множестве У. Множество X называют областью определения функции
Если всякий является образом некоторого при отображении , то отображение называют отображением множества X на множество У. В этом случае множество У называется областью значений функции .
Приведем примеры отображений множеств: а) Пусть X — множество всех действительных чисел, У — множество всех неотрицательных чисел. Равенство связывающее с элементом множества X элемент у множества У, задает отображение X на У. При этом числу 2 соответствует число 4, числу 6 — число 36 и т. д. б) Пусть X — множество всех действительных чисел, отличных от числа 3, У — множество всех действительных чисел. Равенство , связывающее с элементом х множества X элемент множества У, задает отображение X в У. Является ли это отображение отображением на У? в) Пусть X — множество всех кругов, а У — множество всех действительных чисел. Поставим каждому кругу в соответствие длину его радиуса. Мы получим отображение множества X в множество У. Другое отображение X в У получится, если поставить каждому кругу в соответствие его площадь. г) Пусть X — множество всех треугольников, а У — множество всех окружностей. Поставим каждому треугольнику в соответствие вписанную в него окружность. Получим отображение множества X в У. Другое отображение X в У получится, если поставить в соответствие каждому треугольнику описанную вокруг него окружность. д) Пусть У — множество всех деревьев на земном шаре, а X — множество всех плодов, растущих на этих деревьях. Поставим каждому плоду в соответствие дерево, на котором он растет. Получим отображение множества X в множество У.
Пусть — отображение множества X в множество У и пусть Множество всех элементов вида уназывается образом множества при отображении и обозначается
Рассмотрим некоторый элемент у из множества У и возьмем все элементы х из X, отображающиеся в у при отображении . Множество всех этих элементов называют полным прообразом элемента у при отображении и обозначают . В первом примере в) полным прообразом положительного числа r является множество всех кругов радиуса r. В первом примере г) полным прообразом любой данной окружности является множество всех треугольников, описанных вокруг этой окружности.
Если полный прообраз каждого элемента у из У при отображении или пуст, или состоит только из одного элемента, то отображение называется вложением в У. Например, функция с отрезком [1, 4] в качестве области определения определяет вложение этого отрезка в действительную ось.
Если есть отображение множества X на множества У и полный прообраз каждого элемента у из У состоит лишь из одного элемента, то отображение называется взаимно-однозначным отображением множества X на множество У. Иными словами, отображение взаимно-однозначно, если каждый элемент из его области значений является образом одного и только одного элемента его области определения.
Краткие исторические сведения
Теоретико-множественные представления в неявной форме давно использовались математиками. Геометры древней Греции в III веке до н. э. рассматривали «геометрические места точек», то есть множества точек, обладающих тем или иным свойством. Однако трудности, связанные с понятием бесконечности, привели к тому, что в течение длительного времени математики избегали рассматривать геометрические фигуры как множества точек.
Исследования по бесконечным множествам начали чешский ученый Б. Больцано (1781— 1841) и немецкий математик Г. Кантор (родился в 1845 г. в Петербурге, умер в 1918 г. в Галле). Труд Больцано был опубликован лишь через много лет после его смерти. Основные заслуги в развитии теории множеств принадлежат Кантору. Он пришел к проблемам этой теории, исходя из сравнительно узкой математической задачи (вопроса о сходимости и расходимости тригонометрических рядов). Однако вскоре ему и его последователям стало ясно, что теория множеств имеет важнейшее значение для различных областей математики. Сейчас теория множеств дает общепринятый язык для многих разделов математики. В целом ряде случаев применение теоретико-множественных понятий позволило привести в систему многие ветви математики. Большой вклад в теорию множеств сделан трудами советских математиков П. С. Александрова, А. Н. Колмогорова, Н. Н. Лузина, П. С. Новикова, М. Я. Суслина и других. Советская школа теории множеств оказала сильное влияние на развитие этой части математики во всем мире.
Вскоре после создания теории множеств выяснилось, что «наивная» трактовка понятия бесконечного множества может привести к противоречиям. Исследования в этом направлении потребовали развития математической логики. Первоначально эта область математики была очень далека от практических приложений, но впоследствии ее принципы составили идейную основу конструирования электронных вычислительных машин и программирования вычислений на этих машинах.
Правила действий над высказываниями, во многом известные еще Аристотелю (создателю формальной логики), были более подробно сформулированы Г. В. Лейбницем, которого часто считают создателем математической логики. Алгебраическую форму этим правилам придали английские математика Дж. Буль (1815— 1864) и А. де Морган (1806—1871). По сути дела, эти правила совпадают с указанными выше правилами действий над множествами. Большой вклад в развитие математической логики внесли Г. Фреге, Б. Рассел, Д. Гильберт, К. Гёдель, А. Тарский, советские математики П. С. Новиков, А. Н. Колмогоров, А. А. Марков и другие.
Дополнение к различным типам множеств
Смотрите также:
Предмет математический анализ
Решение заданий и задач по предметам:
- Математика
- Высшая математика
- Математический анализ
- Линейная алгебра
Дополнительные лекции по высшей математике:
- Тождественные преобразования алгебраических выражений
- Функции и графики
- Преобразования графиков функций
- Квадратная функция и её графики
- Алгебраические неравенства
- Неравенства
- Неравенства с переменными
- Прогрессии в математике
- Арифметическая прогрессия
- Геометрическая прогрессия
- Показатели в математике
- Логарифмы в математике
- Исследование уравнений
- Уравнения высших степеней
- Уравнения высших степеней с одним неизвестным
- Комплексные числа
- Непрерывная дробь (цепная дробь)
- Алгебраические уравнения
- Неопределенные уравнения
- Соединения
- Бином Ньютона
- Число е
- Непрерывные дроби
- Функция
- Исследование функций
- Предел
- Интеграл
- Двойной интеграл
- Тройной интеграл
- Интегрирование
- Неопределённый интеграл
- Определенный интеграл
- Криволинейные интегралы
- Поверхностные интегралы
- Несобственные интегралы
- Кратные интегралы
- Интегралы, зависящие от параметра
- Квадратный трехчлен
- Производная
- Применение производной к исследованию функций
- Приложения производной
- Дифференциал функции
- Дифференцирование в математике
- Формулы и правила дифференцирования
- Дифференциальное исчисление
- Дифференциальные уравнения
- Дифференциальные уравнения первого порядка
- Дифференциальные уравнения высших порядков
- Дифференциальные уравнения в частных производных
- Тригонометрические функции
- Тригонометрические уравнения и неравенства
- Показательная функция
- Показательные уравнения
- Обобщенная степень
- Взаимно обратные функции
- Логарифмическая функция
- Уравнения и неравенства
- Положительные и отрицательные числа
- Алгебраические выражения
- Иррациональные алгебраические выражения
- Преобразование алгебраических выражений
- Преобразование дробных алгебраических выражений
- Разложение многочленов на множители
- Многочлены от одного переменного
- Алгебраические дроби
- Пропорции
- Уравнения
- Системы уравнений
- Системы уравнений высших степеней
- Системы алгебраических уравнений
- Системы линейных уравнений
- Системы дифференциальных уравнений
- Арифметический квадратный корень
- Квадратные и кубические корни
- Извлечение квадратного корня
- Рациональные числа
- Иррациональные числа
- Арифметический корень
- Квадратные уравнения
- Иррациональные уравнения
- Последовательность
- Ряды сходящиеся и расходящиеся
- Тригонометрические функции произвольного угла
- Тригонометрические формулы
- Обратные тригонометрические функции
- Теорема Безу
- Математическая индукция
- Показатель степени
- Показательные функции и логарифмы
- Множество действительных чисел
- Числовые множества
- Преобразование рациональных выражений
- Преобразование иррациональных выражений
- Геометрия
- Действительные числа
- Степени и корни
- Степень с рациональным показателем
- Тригонометрические функции угла
- Тригонометрические функции числового аргумента
- Тригонометрические выражения и их преобразования
- Преобразование тригонометрических выражений
- Комбинаторика
- Вычислительная математика
- Прямая линия на плоскости и ее уравнения
- Прямая и плоскость
- Линии и уравнения
- Прямая линия
- Уравнения прямой и плоскости в пространстве
- Кривые второго порядка
- Кривые и поверхности второго порядка
- Числовые ряды
- Степенные ряды
- Ряды Фурье
- Преобразование Фурье
- Функциональные ряды
- Функции многих переменных
- Метод координат
- Гармонический анализ
- Вещественные числа
- Предел последовательности
- Аналитическая геометрия
- Аналитическая геометрия на плоскости
- Аналитическая геометрия в пространстве
- Функции одной переменной
- Высшая алгебра
- Векторная алгебра
- Векторный анализ
- Векторы
- Скалярное произведение векторов
- Векторное произведение векторов
- Смешанное произведение векторов
- Операции над векторами
- Непрерывность функций
- Предел и непрерывность функций нескольких переменных
- Предел и непрерывность функции одной переменной
- Производные и дифференциалы функции одной переменной
- Частные производные и дифференцируемость функций нескольких переменных
- Дифференциальное исчисление функции одной переменной
- Матрицы
- Линейные и евклидовы пространства
- Линейные отображения
- Дифференциальные теоремы о среднем
- Теория устойчивости дифференциальных уравнений
- Функции комплексного переменного
- Преобразование Лапласа
- Теории поля
- Операционное исчисление
- Системы координат
- Рациональная функция
- Интегральное исчисление
- Интегральное исчисление функций одной переменной
- Дифференциальное исчисление функций нескольких переменных
- Отношение в математике
- Математическая логика
- Графы в математике
- Линейные пространства
- Первообразная и неопределенный интеграл
- Линейная функция
- Выпуклые множества точек
- Система координат