2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Произведение бинарных отношений
Сообщение07.06.2013, 13:45 
Пусть $R_1$ и $R_2$ - симметричные бинарные отношения на множестве $A$, причём $R_1R_2 \subseteq R_2R_1$. Докажите, что $R_1R_2 = R_2R_1$

-- 07.06.2013, 13:46 --

Начнём с определений.
Симметричность бинарных отношений означает, что если $aRb$, то $bRa$.
Произведение бинарных отношений $xR_1R_2y$ $| \exists z: xR_1z, zR_2y$

 
 
 
 Re: Произведение бинарных отношений
Сообщение07.06.2013, 13:49 
Аватара пользователя
С симметричностью как раз понятно. А что означает $R_1R_2$? Композицию?

 
 
 
 Re: Произведение бинарных отношений
Сообщение07.06.2013, 13:50 
Да. $R_1R_2$ - произведение бинарных отношений.

-- 07.06.2013, 13:53 --

Пока не знаю, в какую сторону делать следующий шаг

-- 07.06.2013, 13:55 --

Вообще, произведение симметричных бинарных отношений не является симметричным бинарным отношением в общем виде... Но к задаче это скорее всего не имеет отношения.

 
 
 
 Re: Произведение бинарных отношений
Сообщение07.06.2013, 14:02 
Аватара пользователя
Пока не учитываем включение, только симметрию. Если $aR_1R_2b$, то в каком отношении находится пара $(b,a)$?

-- 07.06.2013, 14:21 --

Alex_CAPS в сообщении #733981 писал(а):
Вообще, произведение симметричных бинарных отношений не является симметричным бинарным отношением в общем виде... Но к задаче это скорее всего не имеет отношения.

Вообще - нет. Но с дополнительным условием - да.
А все-таки, ответьте на мой вопрос. Какое соотношение связывает $b$ и $a$?

 
 
 [ Сообщений: 4 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group