Оператором называется правило, по которому каждому элементу x некоторого непустого множества X ставится в соответствие единственный элемент y некоторого непустого множества Y. Говорят, что оператор действует из X в Y.
Оператор
(действующий из векторного пространства в векторное же) называется линейным однородным (или просто линейным), если он обладает следующими свойствами:
- может применяться почленно к сумме аргументов:
; - скаляр (постоянную величину)
можно выносить за знак оператора:
; -
Из 2) следует, что для линейного однородного оператора справедливо свойство
.
