Отношение R на множестве M={1, 2, 3, 4, 5, 6} задано условием «отличаться на 1». Это означает, что пара \((a, b)\) принадлежит отношению R, если \( |a - b| = 1 \).
1. Матрица отношения R:
Составим пары, где разница равна 1:
Матрица R будет иметь размер 6x6, где Rij = 1, если \( (i, j) ∈ R \), и Rij = 0 в противном случае.
| 1 | 2 | 3 | 4 | 5 | 6 | |
|---|---|---|---|---|---|---|
| 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 2 | 1 | 0 | 1 | 0 | 0 | 0 |
| 3 | 0 | 1 | 0 | 1 | 0 | 0 |
| 4 | 0 | 0 | 1 | 0 | 1 | 0 |
| 5 | 0 | 0 | 0 | 1 | 0 | 1 |
| 6 | 0 | 0 | 0 | 0 | 1 | 0 |
2. Матрица отношения R2:
R2 = R ∘ R. Пара \( (i, k) \) принадлежит R2, если существует \( j \) такое, что \( (i, j) ∈ R \) и \( (j, k) ∈ R \). Другими словами, элементы R2 вычисляются как произведение матрицы R на саму себя.
Проверим для \( (1, 3) \): \( (1, 2) ∈ R \) и \( (2, 3) ∈ R \), следовательно \( (1, 3) ∈ R^2 \).
Элементы R2: \( (1, 3), (3, 1), (2, 4), (4, 2), (3, 5), (5, 3), (4, 6), (6, 4) \).
| 1 | 2 | 3 | 4 | 5 | 6 | |
|---|---|---|---|---|---|---|
| 1 | 0 | 0 | 1 | 0 | 0 | 0 |
| 2 | 0 | 0 | 0 | 1 | 0 | 0 |
| 3 | 1 | 0 | 0 | 0 | 1 | 0 |
| 4 | 0 | 1 | 0 | 0 | 0 | 1 |
| 5 | 0 | 0 | 1 | 0 | 0 | 0 |
| 6 | 0 | 0 | 0 | 1 | 0 | 0 |
3. Матрица отношения R* (транзитивное замыкание):
R* = R0 ∪ R1 ∪ R2 ∪ ... \( ∞ \), где R0 — единичная матрица.
Наше отношение R означает, что элементы связаны, если их разница равна 1. R2 означает, что элементы связаны, если их разница равна 2. Продолжая, Rk означает, что элементы связаны, если их разница равна k.
Транзитивное замыкание R* включает все пары \( (i, j) \), для которых существует путь от i к j в графе отношения R. На данном множестве это означает, что любая пара \( (i, j) \) будет включена, кроме случая, когда \( i = j \) (если отношение не рефлексивное, а оно не рефлексивное, так как \( |i-i| ≠ 1 \)) и \( |i-j| ≥ 1 \).
Однако, поскольку элементы множества {1, 2, 3, 4, 5, 6} связаны последовательно, транзитивное замыкание будет включать все пары, где \( i ≠ j \).
Элементы R*: все пары \( (i, j) \) где \( i ≠ j \).
| 1 | 2 | 3 | 4 | 5 | 6 | |
|---|---|---|---|---|---|---|
| 1 | 0 | 1 | 1 | 1 | 1 | 1 |
| 2 | 1 | 0 | 1 | 1 | 1 | 1 |
| 3 | 1 | 1 | 0 | 1 | 1 | 1 |
| 4 | 1 | 1 | 1 | 0 | 1 | 1 |
| 5 | 1 | 1 | 1 | 1 | 0 | 1 |
| 6 | 1 | 1 | 1 | 1 | 1 | 0 |
Ответ: Представлены матрицы отношений R, R2 и R*.