Работа вам нужна срочно. Не волнуйтесь, уложимся!
Заполните, пожалуйста, данные для автора:
- 22423 авторов готовы помочь тебе.
- 2402 онлайн
Определить матрицы отношений. Каковы свойства исходных и полученных отношений? Являются ли отношения R1, R2, отношениями эквивалентности?
Задание связано с дискретной математикой, а именно с разделом о отношениях и матрицах отношений. Нам необходимо:
Исходные матрицы заданы как: \[ R_1 = \begin{pmatrix} 1 & 0 & 0 & 1 \\ 1 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}, \quad R_2 = \begin{pmatrix} 0 & 1 & 0 & 0 \\ 1 & 0 & 1 & 1 \\ 0 & 1 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{pmatrix} \]
Инверсия отношения — это дополнение отношения. Элементы матрицы \( \overline{R_1} \) и \( \overline{R_2} \) принимают значение \( 1 \), если соответствующий элемент исходной матрицы имеет значение \( 0 \), и наоборот.
\[ \overline{R_1} = \begin{pmatrix} 0 & 1 & 1 & 0 \\ 0 & 1 & 0 & 1 \\ 1 & 0 & 1 & 1 \\ 1 & 1 & 1 & 1 \end{pmatrix} \]
\[ \overline{R_2} = \begin{pmatrix} 1 & 0 & 1 & 1 \\ 0 & 1 & 0 & 0 \\ 1 & 0 & 1 & 0 \\ 1 & 1 & 1 & 1 \end{pmatrix} \]
Обратное отношение \( R^{-1} \) получается транспонированием матрицы исходного отношения.
\[ R_1^{-1} = \begin{pmatrix} 1 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \\ 1 & 0 & 0 & 0 \end{pmatrix} \]
\[ R_2^{-1} = \begin{pmatrix} 0 & 1 & 0 & 0 \\ 1 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 1 & 1 & 0 \end{pmatrix} \]
Для нахождения объединения отношений операций сложения по модулю 2 (или операция дизъюнкции) применяется ко всем ячейкам исходных матриц отдельно.
\[ R_1 \cup R_2 = \begin{pmatrix} 1 & 1 & 0 & 1 \\ 1 & 0 & 1 & 1 \\ 0 & 1 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{pmatrix} \]
Пересечение отношений делается как операция конъюнкции для каждой ячейки исходных матриц.
\[ R_1 \cap R_2 = \begin{pmatrix} 0 & 0 & 0 & 0 \\ 1 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} \]
Отношение считается эквивалентностью, если оно обладает следующими свойствами:
Вывод: \( R_1 \) не является отношением эквивалентности.
Вывод: \( R_2 \) не является отношением эквивалентности.