Skip to main content

Теория: 04 Свойства операций над множествами: переместительное, сочетательное, распределительное, включения (короткая версия)

Задание

На примере множеств \(\displaystyle A=\begin{Bmatrix}6{\small;} \; 8\end{Bmatrix}\small,\) \(\displaystyle B=\begin{Bmatrix}2{\small;} \; 6\end{Bmatrix}\) и \(\displaystyle C=\begin{Bmatrix}2{\small;} \; 8\end{Bmatrix}\) проверьте выполнение распределительного свойства относительно операции пересечения множеств

\(\displaystyle (A \cup B) \cap C = (A \cap C) \cup (B \cap C)\small.\)

 

Проверка для множеств \(\displaystyle A=\begin{Bmatrix}6{\small;} \; 8\end{Bmatrix}\small,\) \(\displaystyle B=\begin{Bmatrix}2{\small;} \; 6\end{Bmatrix}\) и \(\displaystyle C=\begin{Bmatrix}2{\small;} \; 8\end{Bmatrix}\small:\)

Левая часть равенства:Правая часть равенства:
\(\displaystyle (A \cup B) \cap C=\)\(\displaystyle (A \cap C) \cup (B \cap C)=\)

Результат проверки для множеств \(\displaystyle A=\begin{Bmatrix}6{\small;} \; 8\end{Bmatrix}\small,\) \(\displaystyle B=\begin{Bmatrix}2{\small;} \; 6\end{Bmatrix}\) и \(\displaystyle C=\begin{Bmatrix}2{\small;} \; 8\end{Bmatrix}\small:\)

\(\displaystyle (A \cup B) \cap C\)  \(\displaystyle (A \cap C) \cup (B \cap C)\small.\)

Решение

Сначала найдём \(\displaystyle (A \cup B) \cap C\) и \(\displaystyle (A \cap C) \cup (B \cap C)\) для множеств \(\displaystyle A=\begin{Bmatrix}6{\small;} \; 8\end{Bmatrix}\small,\) \(\displaystyle B=\begin{Bmatrix}2{\small;} \; 6\end{Bmatrix}\) и \(\displaystyle C=\begin{Bmatrix}2{\small;} \; 8\end{Bmatrix}\small,\) после чего проверим, верно ли равенство

\(\displaystyle (A \cup B) \cap C = (A \cap C) \cup (B \cap C)\small.\)

 

\(\displaystyle \color{darkviolet}1\small.\) Найдём \(\displaystyle (A \cup B) \cap C\small.\)

Расставим порядок выполнения операций:

 1 2 
\(\displaystyle (A\)\(\displaystyle \cup\)\(\displaystyle B)\)\(\displaystyle \cap\)\(\displaystyle C\small.\)

 

Первая операция  – \(\displaystyle A \color{magenta}\cup B\small.\)

\(\displaystyle A \cup B=\begin{Bmatrix}2{\small;}\;6{\small;}\;8\end{Bmatrix}\small.\)

Вторая операция  – \(\displaystyle (A \cup B) \color{magenta}\cap C\small.\)

\(\displaystyle (A \cup B) \cap C=\begin{Bmatrix}2{\small;} \; 8\end{Bmatrix} \small.\)

Итак, \(\displaystyle (A \cup B) \cap C=\begin{Bmatrix}2{\small;} \; 8\end{Bmatrix} \small.\)

 

\(\displaystyle \color{darkviolet}2\small.\) Найдём \(\displaystyle (A \cap C) \cup (B \cap C)\small.\)

Расставим порядок выполнения операций:

 1 3 2 
\(\displaystyle (A\)\(\displaystyle \cap\)\(\displaystyle C)\)\(\displaystyle \cup\)\(\displaystyle (B\)\(\displaystyle \cap\)\(\displaystyle C)\small.\)

 

Первая операция  – \(\displaystyle A \color{magenta}\cap C\small.\)

\(\displaystyle A \cap C=\{8\}\small.\)

Вторая операция  – \(\displaystyle B \color{magenta}\cap C\small.\)

\(\displaystyle B \cap C=\{2\}\small.\)

Третья операция  – \(\displaystyle (A \cap C) \color{magenta}\cup (B \cap C)\small.\)

\(\displaystyle (A \cap C) \cup (B \cap C)=\begin{Bmatrix}2{\small;} \; 8\end{Bmatrix} \small.\)

Итак, \(\displaystyle (A \cap C) \cup (B \cap C)=\begin{Bmatrix}2{\small;} \; 8\end{Bmatrix} \small.\) 

 

Видим, что \(\displaystyle (A \cup B) \cap C=\begin{Bmatrix}2{\small;} \; 8\end{Bmatrix}\) и \(\displaystyle (A \cap C) \cup (B \cap C)=\begin{Bmatrix}2{\small;} \; 8\end{Bmatrix} \small.\)

Значит, для множеств \(\displaystyle A=\begin{Bmatrix}6{\small;} \; 8\end{Bmatrix}\small,\) \(\displaystyle B=\begin{Bmatrix}2{\small;} \; 6\end{Bmatrix}\) и \(\displaystyle C=\begin{Bmatrix}2{\small;} \; 8\end{Bmatrix}\) имеем верное равенство

\(\displaystyle (A \cup B) \cap C = (A \cap C) \cup (B \cap C)\small.\)

 

Ответ:

Проверка для множеств \(\displaystyle A\small,\) \(\displaystyle B\) и \(\displaystyle C \! \small:\)
Левая часть равенства:Правая часть равенства:
\(\displaystyle (A \cup B) \cap C=\begin{Bmatrix} 2{\small;} \; 8\end{Bmatrix}\)\(\displaystyle (A \cap C) \cup (B \cap C)=\begin{Bmatrix} 2{\small;} \; 8\end{Bmatrix}\)

Результат проверки для множеств \(\displaystyle A\small,\) \(\displaystyle B\) и \(\displaystyle C \! \small:\)

\(\displaystyle (A \cup B) \cap C = (A \cap C) \cup (B \cap C)\small.\)