Для начала рассмотрим отношение ( R ), заданное условием: "число ( x ) на 3 меньше числа ( y )". Это можно записать в виде уравнения:
[ x = y - 3. ]
Теперь, имея множество ( X = {8, 2, 11, 5, 14} ), мы можем определить пары ((x, y)), которые удовлетворяют этому условию.
а) Построим график отношения ( R ).
Рассмотрим каждое число ( y ) из множества ( X ) и найдем соответствующее ( x ), если оно также принадлежит множеству ( X ).
- Для ( y = 8 ), ( x = 8 - 3 = 5 ). Пара ((x, y) = (5, 8)) подходит, потому что оба числа находятся в ( X ).
- Для ( y = 2 ), ( x = 2 - 3 = -1 ). Число (-1) не принадлежит множеству ( X ), поэтому этой пары нет.
- Для ( y = 11 ), ( x = 11 - 3 = 8 ). Пара ((x, y) = (8, 11)) подходит.
- Для ( y = 5 ), ( x = 5 - 3 = 2 ). Пара ((x, y) = (2, 5)) подходит.
- Для ( y = 14 ), ( x = 14 - 3 = 11 ). Пара ((x, y) = (11, 14)) подходит.
Таким образом, отношение ( R ) на множестве ( X ) представлено следующими парами: ((5, 8), (8, 11), (2, 5), (11, 14)).
б) Рассмотрим свойства этого отношения.
Рефлексивность: Отношение называется рефлексивным, если для любого элемента ( x ) из множества ( X ) выполняется ( (x, x) \in R ). В нашем случае это отношение не является рефлексивным, так как ни одна из пар не имеет форму ((x, x)).
Симметричность: Отношение симметрично, если для любых ( x ) и ( y ) из ( X ), из ( (x, y) \in R ) следует ( (y, x) \in R ). Наше отношение не симметрично, так как, например, из ((5, 8) \in R) не следует ((8, 5) \in R).
Антисимметричность: Отношение антисимметрично, если для любых ( x ) и ( y ) из ( X ), из ((x, y) \in R) и ((y, x) \in R) следует, что ( x = y ). В данном случае отношение является антисимметричным, так как ни для одной пары ((x, y)) не существует обратной пары ((y, x)).
Транзитивность: Отношение транзитивно, если для любых ( x, y, z ) из ( X ), из ((x, y) \in R) и ((y, z) \in R) следует ((x, z) \in R). Наше отношение не транзитивно, так как, например, из ((2, 5) \in R) и ((5, 8) \in R) не следует ((2, 8) \in R).
Таким образом, отношение ( R ) обладает свойством антисимметричности, но не является рефлексивным, симметричным или транзитивным.