AMKbook.Net Задачи должны иметь решение

Задача №1867

Условие

Доказать равенство \(\displaystyle{\left(A\backslash{B}\right)\cup\left(B\backslash{A}\right)=\left(A\cup{B}\right)\backslash\left(A\cap{B}\right)}\).

Решение

Первый способ

Пусть \(\displaystyle{x\in\left(A\backslash{B}\right)\cup\left(B\backslash{A}\right)}\). Тогда \(\displaystyle{x\in{A\backslash{B}}}\) или \(\displaystyle{x\in{B\backslash{A}}}\). Если \(\displaystyle{x\in{A\backslash{B}}}\), то \(\displaystyle{x\in{A}}\) и \(\displaystyle{x\notin{B}}\). Если \(\displaystyle{x\in{B\backslash{A}}}\), то \(\displaystyle{x\in{B}}\), \(\displaystyle{x\notin{A}}\). В любом из этих двух случаев имеем \(\displaystyle{x\in{A\cup{B}}}\), \(\displaystyle{x\notin{A\cap{B}}}\), поэтому \(\displaystyle{x\in\left(A\cup{B}\right)\backslash\left(A\cap{B}\right)}\). Это значит, что \(\displaystyle{\left(A\backslash{B}\right)\cup\left(B\backslash{A}\right)\subset\left(A\cup{B}\right)\backslash\left(A\cap{B}\right)}\).

Пусть \(\displaystyle{x\in\left(A\cup{B}\right)\backslash\left(A\cap{B}\right)}\), тогда \(\displaystyle{x\in{A\cup{B}}}\), \(\displaystyle{x\notin{A\cap{B}}}\). Так как \(\displaystyle{x\in{A\cup{B}}}\), то \(\displaystyle{x\in{A}}\) или \(\displaystyle{x\in{B}}\). Если \(\displaystyle{x\in{A}}\), то из условия \(\displaystyle{x\notin{A\cap{B}}}\) имеем \(\displaystyle{x\notin{B}}\), поэтому \(\displaystyle{x\in\left(A\backslash{B}\right)\cup\left(B\backslash{A}\right)}\). Аналогично, если \(\displaystyle{x\in{B}}\), то из условия \(\displaystyle{x\notin{A\cap{B}}}\) имеем \(\displaystyle{x\notin{A}}\), поэтому \(\displaystyle{x\in\left(A\backslash{B}\right)\cup\left(B\backslash{A}\right)}\). Таким образом, \(\displaystyle{\left(A\cup{B}\right)\backslash\left(A\cap{B}\right)\subset\left(A\backslash{B}\right)\cup\left(B\backslash{A}\right)}\).

Исходя из вышеизложенного, имеем \(\displaystyle{\left(A\backslash{B}\right)\cup\left(B\backslash{A}\right)=\left(A\cup{B}\right)\backslash\left(A\cap{B}\right)}\).

Второй способ

Покажем, что характеристические функции левой и правой частей равенства совпадают.

\[ \chi_{\left(A\backslash{B}\right)\cup\left(B\backslash{A}\right)}(x)=\\ =\chi_{A\backslash{B}}(x)+\chi_{B\backslash{A}}(x)-\chi_{A\backslash{B}}(x)\cdot\chi_{B\backslash{A}}(x)=\\ =\chi_{A}(x)-\chi_{A}(x)\cdot\chi_{B}(x)+\chi_{B}(x)-\chi_{B}(x)\cdot\chi_{A}(x)-\left(\chi_{A}(x)-\chi_{A}(x)\chi_{B}(x)\right)\cdot\left(\chi_{B}(x)-\chi_{B}(x)\chi_{A}(x)\right)=\\ =\chi_{A}(x)+\chi_{B}(x)-2\chi_{A}(x)\cdot\chi_{B}(x)-\left(\chi_{A}(x)\chi_{B}(x)-\chi_{A}(x)\chi_{B}(x)-\chi_{A}(x)\chi_{B}(x)+\chi_{A}(x)\chi_{B}(x)\right)=\\ =\chi_{A}(x)+\chi_{B}(x)-2\chi_{A}(x)\cdot\chi_{B}(x) \]
\[ \chi_{\left(A\cup{B}\right)\backslash\left(A\cap{B}\right)}(x)=\\ =\chi_{A\cup{B}}(x)-\chi_{A\cup{B}}(x)\cdot\chi_{A\cap{B}}(x)=\\ =\chi_{A}(x)+\chi_{B}(x)-\chi_{A}(x)\cdot\chi_{B}(x)-\left(\chi_{A}(x)+\chi_{B}(x)-\chi_{A}(x)\chi_{B}(x)\right)\cdot\chi_{A}(x)\chi_{B}(x)=\\ =\chi_{A}(x)+\chi_{B}(x)-\chi_{A}(x)\chi_{B}(x)-\left(\chi_{A}(x)\chi_{B}(x)+\chi_{A}(x)\chi_{B}(x)-\chi_{A}(x)\chi_{B}(x)\right)=\\ =\chi_{A}(x)+\chi_{B}(x)-2\chi_{A}(x)\cdot\chi_{B}(x) \]

Характеристические функции левой и правой частей равенства совпадают. Следовательно, равенство верно.

Ответ:

Равенство доказано.

Источники задачи

Задачник №2Кудрявцев "Сборник задач по математическому анализу" (том №1)
Параграф №1Множества. Комбинаторика
Задача №4
Пункт №2