Помогите задать бинарные отношения, которые были бы:
задан 3 Июн '14 12:13 MrFlexez |
Здесь вопрос задан в такой форме, что ответ на пункт г) будет подходить в качестве ответа на любой из трёх остальных пунктов. Можно взять отношение равенства на любом множестве, и оно будет рефлексивным, симметричным и транзитивным (то есть отношением эквивалентности). Поэтому, чтобы было интереснее, в пунктах а) - в) приведём примеры отношений, обладающих двумя свойствами из трёх, но не обладающих третьим. а) Назовём два целых числа близкими, если они либо равны, либо отличаются на единицу. Получится отношение $%\rho$% на $%\mathbb Z$%, где $%x\rho y$% означает $%|x-y|\le1$%. Рефлексивность и симметричность очевидны, а транзитивности нет, так как 3 и 4 близки, 4 и 5 тоже близки, но 3 и 5 уже не близки. То есть из условий $%x\rho y$% и $%y\rho z$% не следует $%x\rho z$%. б) Рассмотрим множество, в котором есть элемент $%x$%, не находящийся в отношении ни с каким (в том числе с самим собой), а все остальные элементы находятся друг с другом в этом отношении. Тогда отношение нерефлексивно (так как $%x\rho x$% неверно, а симметричность и транзитивность есть. в) Здесь подходит отношение "меньше или равно" на множестве чисел (например, действительных). отвечен 3 Июн '14 14:10 falcao |