Задание 5
Докажите, исходя теоретико-множественных определений и проиллюстрируйте при помощи диаграмм Венна следующее равенство множеств:
Вариант 0. A\(B\C)(A\B)(AC).
Решение
1-й способ. Два множества X и Y равны, если XY и YX.
Докажем включение: (i) A\(B\C)(A\B)(AC).
Пусть xA\(B\C). Тогда, по определению разности множеств, xA и xB\C. Элемент x не принадлежит разности множеств B и C, если xB или xC. Рассмотрим два случая: 1) xA и xB; 2) xA и xC. В первом случае, по определению разности множеств, xA\B, а во втором случае, по определению пересечения множеств, xAC. Объединяя два случая, по определению объединения множеств, мы получим x(A\B)(AC).
Докажем включение: (ii) (A\B)(AC)A\(B\C).
Пусть x(A\B)(AC). Тогда, по определению объединения множеств, xA\B или xAC. В первом случае, в силу определения разности множеств, xA и xB, а во втором случае, в силу определения пересечения множеств, xA и xC. В первом случае, из xB следует, что xB\C, а во втором случае, из xC также следует, что xB\C. В обоих случаях, xA и xB\C, то есть, по определению разности множеств, xA\(B\C).
Из включений (i) и (ii) следует равенство A\(B\C)(A\B)(AC).
2-й способ. Множества A, B, C, расположенные на диаграмме Венна в виде кругов в самом общем случае, разбиваются на 7 частей. Эти множества мы одинаково изобразим на двух диаграммах. На левой диаграмме мы последовательно находим множества B\C и A\(B\C), а на правой – множества A\B, AC и (A\B)(AC). Видно, что множества A\(B\C) и (A\B)(AC) состоят из одинаковых частей, поэтому они равны.
Вариант 1. A\(BC)=(A\B)(A\C)
Вариант 2. (AB)C=(AC)(BC)
Вариант 3. (AB)\C=(A\C)(B\C)
Вариант 4. (AB)C=(AC)(BC)
Вариант 5. (A\B)C=(AC)\(BC)
Вариант 6. A\(BC)=(A\B)(A\C)
Вариант 7. A(BC)=(AB)(AC)
Вариант 8. (AB)\C=(A\C)(B\C)
Вариант 9. A(BC)=(AB)(AC)
Вариант 10. A (B\C)=(AB)\(AC)
Задание 6
Изобразите графики декартовых произведений AB, BA, AA и BB, если:
Вариант 0. A=[0,4]{5}, B=[0,1)(1,).
Решение
График декартового произведения AB – это множество всех точек, имеющих координаты (a,b), где aA и bB.
Множество всех точек с абсциссой xA[0,4]{5} состоит из вертикальной полосы с граничными линиями x0 и x4 и вертикальной линии x5.
Множество всех точек с ординатой yB[0,1)(1,) состоит из верхней полуплоскости с вычеркнутой горизонтальной линией y1.
Пересечение этих двух фигур будет графиком AB.
Пустые кружочки означают отсутствие точки в графике. Пунктирная линия показывает, что эта линия вычеркнута из графика.
Графики BA, AA и BB строятся аналогично.
Вариант 1. A(,1){3,4} и B[2,1][1,2]
Вариант 2. A{1,2,3} и B(1,1)(1,2)(2,)
Вариант 3. A{1}[2,3) и B(,1)(1,2]
Вариант 4. A[2,3)(3,5] и B(1,2)[3,)
Вариант 5. A{3,1,1,3} и B(,2][3,)
Вариант 6. A[3,1)[1,3) и B[1,3][4,)
Вариант 7. A[1,2][3,4] и B{2,1}[1,)
Вариант 8. A(,3][4,5) и B{1,2}[3,4]
Вариант 9. A[2,3)(3,) и B{1,2,3,4,5}
Вариант 10. A(,1][1,) и B[1,2)(2,3]