Как доказать ассоциативность умножения некоторых слов $%u$% и $%v$% ($%uv=vu$%) и как доказать транзитивность некоторых слов $%u$%, $%v$% и $%w$% (из того, что $%u=v$%, $%v=w$% следует, что $%u=w$%). Заранее благодарен. задан 10 Окт '14 12:22 hali |
Как доказать ассоциативность умножения некоторых слов $%u$% и $%v$% ($%uv=vu$%) и как доказать транзитивность некоторых слов $%u$%, $%v$% и $%w$% (из того, что $%u=v$%, $%v=w$% следует, что $%u=w$%). Заранее благодарен. задан 10 Окт '14 12:22 hali |
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
10 Окт '14 12:22
показан
773 раза
обновлен
11 Окт '14 16:12
Ассоциативностью называется другое свойство: $%(uv)w=u(vw)$%. Для умножения слов оно очевидно. Коммутативность же, то есть свойство $%uv=vu$%, очевидно, не имеет места в общем случае (ДА -- это одно слово; АД -- совсем другое). То, что из $%u=v$%, $%v=w$% следует $%u=w$% -- это аксиома равенства, её доказывать не нужно.
Извиняюсь. Нужно доказать не равенство утверждения транзитивности, а их отношение эквивалентности.
@hali: надо точно сформулировать условие задачи. Желательно слово в слово. Словесный оборот "равенство утверждения транзитивности" не имеет никакого смысла.