Оператор в математике
Опера́тор в матема́тике, математическое понятие, в самом общем смысле означающее соответствие между элементами двух множеств и , относящее каждому элементу из некоторый элемент из . Эквивалентный смысл имеют термины операция, отображение, преобразование, функция. Элемент называется образом , – прообразом . Термин «оператор» часто употребляется в функциональном анализе и линейной алгебре, в особенности для отображений векторных пространств. Оператор из множества в множество может быть определён не всюду, тогда говорят о его области определения . Для результат применения оператора к обозначают или .
Если и – векторные пространства над одним и тем же полем , то в множестве всех операторов из в можно выделить класс линейных операторов, т. е. таких операторов , для которых для всех ,
для всех ; остальные операторы из в называются нелинейными. Если и – топологические пространства, то в множестве операторов из в выделяется класс непрерывных операторов, т. е. таких операторов , для которых для любой точки и для всякой окрестности её образа существует такая окрестность точки , что ; здесь означает множество образов всех точек из . Существуют и другие классы операторов. Изучение линейных операторов в топологических векторных пространствах составляет важный раздел функционального анализа.
Примеры.
1) Оператор дифференцирования
сопоставляет каждой дифференцируемой функции её производную . Вообще левую часть линейного дифференциального уравнения
можно рассматривать как результат применения некоторого оператора, ставящего в соответствие функции функцию . Такой оператор называется линейным дифференциальным оператором; примерами линейных дифференциальных операторов являются оператор Гамильтона и оператор Лапласа.
2) Оператор определённого интегрирования
где и , , – действительные числа, сопоставляет каждой интегрируемой функции число .
3) Сопоставив каждой функции её произведение на фиксированную функцию , получают оператор умножения на функцию .
4) Пусть – непрерывная функция двух переменных, заданная в квадрате , . Формула
сопоставляющая непрерывной функции непрерывную функцию , определяет линейный интегральный оператор. В то же время формула
где – некоторая ограниченная непрерывная функция, определяет, вообще говоря, нелинейный интегральный оператор.