Math Problem Statement

  1. Верно ли каждое из следующих равенств

(R1∪R2)−1=R1−1∪R2−1(R1​∪R2​)−1=R1−1​∪R2−1​;

(R1∩R2)−1=R1−1∩R2−1(R1​∩R2​)−1=R1−1​∩R2−1​

для бинарных отношений R1R1​ и R2R2​, определённых на произвольном множестве MM? Ответ «да», надо обосновать, ответ «нет» аргументировать приведением примера.

Solution

Рассмотрим каждое из данных равенств отдельно.

1. Проверка первого равенства:

(R1R2)1=R11R21(R_1 \cup R_2)^{-1} = R_1^{-1} \cup R_2^{-1}

Определение:

  • R1R^{-1} — это обратное отношение для RR, в котором пары (a,b)(a, b) заменяются на (b,a)(b, a). То есть: R1={(b,a)(a,b)R}R^{-1} = \{(b, a) \mid (a, b) \in R\}
  • R1R2R_1 \cup R_2 — это объединение отношений, содержащее все пары, которые находятся хотя бы в одном из отношений R1R_1 или R2R_2.

Теперь проверим, верно ли, что инверсия объединения равна объединению инверсий.

Доказательство:

  1. Пусть (b,a)(R1R2)1(b, a) \in (R_1 \cup R_2)^{-1}. Это значит, что (a,b)R1R2(a, b) \in R_1 \cup R_2, то есть либо (a,b)R1(a, b) \in R_1, либо (a,b)R2(a, b) \in R_2.

    В обоих случаях, либо (b,a)R11(b, a) \in R_1^{-1}, либо (b,a)R21(b, a) \in R_2^{-1}. Следовательно, (b,a)R11R21(b, a) \in R_1^{-1} \cup R_2^{-1}.

  2. Пусть (b,a)R11R21(b, a) \in R_1^{-1} \cup R_2^{-1}. Это значит, что либо (b,a)R11(b, a) \in R_1^{-1}, либо (b,a)R21(b, a) \in R_2^{-1}, что эквивалентно тому, что либо (a,b)R1(a, b) \in R_1, либо (a,b)R2(a, b) \in R_2.

    Следовательно, (a,b)R1R2(a, b) \in R_1 \cup R_2, что означает (b,a)(R1R2)1(b, a) \in (R_1 \cup R_2)^{-1}.

Таким образом, равенство (R1R2)1=R11R21(R_1 \cup R_2)^{-1} = R_1^{-1} \cup R_2^{-1} верно.

2. Проверка второго равенства:

(R1R2)1=R11R21(R_1 \cap R_2)^{-1} = R_1^{-1} \cap R_2^{-1}

Определение:

  • R1R2R_1 \cap R_2 — это пересечение отношений, содержащее только те пары, которые принадлежат как R1R_1, так и R2R_2.

Теперь проверим, верно ли, что инверсия пересечения равна пересечению инверсий.

Доказательство:

  1. Пусть (b,a)(R1R2)1(b, a) \in (R_1 \cap R_2)^{-1}. Это значит, что (a,b)R1R2(a, b) \in R_1 \cap R_2, то есть (a,b)R1(a, b) \in R_1 и ( (a, b) \in R

Ask a new question for Free

By Image

Drop file here or Click Here to upload

Math Problem Analysis

Mathematical Concepts

Set Theory
Binary Relations
Inverse Relations

Formulas

(R1 ∪ R2)⁻¹ = R1⁻¹ ∪ R2⁻¹
(R1 ∩ R2)⁻¹ = R1⁻¹ ∩ R2⁻¹

Theorems

Properties of Inverse Relations
Union and Intersection of Sets

Suitable Grade Level

University Level (Discrete Mathematics)