Приблизительно понял всё гениальность игры.....!
Только проблема возникает в том, чтобы доказать, что все линейные операторы над пространством многочленов являются кольцом. У меня с таким уровнем абстракции проблемы...
-- Пн дек 27, 2010 22:23:08 --Пусть
.
кольцо, так как:
Вводим операцию сложения как:
Тогда замкнутость есть, коммутативность, ассоциативность - тоже есть (вроде проверять не надо).
Для элемента
обратный по сложению будет элемент
.
Нейтральный по сложению
.
Операцию умножения вводим как:
Законы дистрибутивности - тоже выполняются (вроде очевидно).
Это верно?