Условие задачи
Проверить, какие из следующих бинарных алгебраических отношений являются отношением эквивалентности, отношением порядка, функцией.
Ответ
Отношение 1:
рефлексивно, т.к. a R: выполняется sina = sina;
симметрично, т.к. a,b R: sina = sinb sinb = sina;
не антисимметрично, т.к. a,b R: (sina = sinb )⋀(sinb = sina ) ⇏ a = b;
транзитивно, т.к. a,b,c R: (sina = sinb )⋀(sinb = sinc) sina = sinc;
не функция, т.к. a,b,c R: (sina = sinb )⋀(sina = sinc) sinb = sinc ⇏ b = c.
Отношение 2:
не рефлексивно, т.к. a R: не выполняется a+a = 10;
симметрично, т.к. a, b R: a+b = 10 b+a = 10...