Оператор — математическое понятие¶
Оператор — это математическое понятие, обозначающее правило (закон), преобразующее один объект в другой. В широком смысле оператор — это функция, областью определения которой являются не только числа, но и другие математические объекты: функции, векторы, последовательности, многочлены и т. д. Понятие оператора является одним из центральных в математическом анализе, линейной алгебре и теории функций.
¶Основные понятия
Оператор (или преобразование) $A$ задаётся правилом, по которому каждому элементу $x$ из области определения $\text{Dom}(A)$ ставится в соответствие элемент $y = A(x)$ из области значений $\text{Ran}(A)$. Если область определения оператора — всё пространство, оператор называют определённым на всём пространстве.
Основные свойства оператора:
- Линейность — оператор $A$ линеен, если $A(\alpha x + \beta y) = \alpha A(x) + \beta A(y)$ для любых скаляров $\alpha, \beta$ и элементов $x, y$.
- Обратимость — оператор $A$ обратим, если существует оператор $A^{-1}$ такой, что $A A^{-1} = A^{-1} A = E$ (единичный оператор).
- Норма — числовая характеристика «величины» оператора; для линейных операторов на банаховых пространствах норма определяется как $\|A\| = \sup_{\|x\| \leq 1} \|Ax\|$.
- Спектр — множество значений параметра $\lambda$, при которых оператор $A - \lambda E$ необратим.
¶Классификация операторов
| Тип оператора | Определение |
|---|---|
| Линейный | Сохраняет операции сложения и умножения на скаляр |
| Нелинейный | Не является линейным |
| Бounded (ограниченный) | Имеет конечную норму |
| Самосопряжённый (симметричный) | Равен своему сопряжённому оператору |
| Эрмитов | Равен сопряжённому в комплексном пространстве |
| Компактный | Отображает ограниченные множества во множества с компактным замыканием |
| Интегральный | Задаётся интегральным ядром: $(Ax)(t) = \int_a^b K(t,s) x(s)\,ds$ |
| Дифференциальный | Связывает функцию с её производной или набором производных |
¶Операторы в линейной алгебре
В линейной алгебре оператор — это линейное преобразование конечномерного векторного пространства. Такой оператор полностью задаётся матрицей относительно выбранных базисов. Ключевые понятия:
- Собственный вектор — ненулевой вектор $x$, для которого $Ax = \lambda x$.
- Собственное значение — скаляр $\lambda$, соответствующий собственному вектору.
- Матрица оператора — числовая таблица, задающая оператор в конкретном базисе.
- Каноническая (жорданова) форма — приведение матрицы оператора к максимально простому виду.
¶Операторы в математическом анализе
В математическом анализе операторы часто являются функционалами (операторами, значениями которых являются числа) или интегральными/дифференциальными преобразованиями. Классические примеры:
- Оператор дифференцирования $D$: $D(f) = f'$.
- Оператор интегрирования $I$: $I(f)(x) = \int_a^x f(t)\,dt$.
- Оператор Лапласа $\Delta = \sum \frac{\partial^2}{\partial x_i^2}$.
- Оператор градиента $\nabla f$.
- Оператор сжатия (компрессии) — отображение, переводящее область в область меньшего объёма.
¶Спектральная теория
Спектральная теория операторов изучает структуру спектра и разложение операторов по собственным функциям. Основные результаты:
- Теорема о спектральном разложении для самосопряжённых операторов в гильбертовом пространстве (оператор Штурма — Лиувилля).
- Теорема Гельмгольца о разложении векторных полей.
- Оператор Шрёдингера — центральный объект квантовой механики: $H\psi = E\psi$, где $H$ — гамильтониан.
- Оператор Фредгольма — интегральный оператор с ядром, разрешимость уравнения которого связана с собственными значениями ядра.
¶Применение
Операторы применяются в широком спектре областей:
- Физика — уравнения движения, квантовая механика (операторы координат, импульса, энергии), теория поля.
- Инженерия — теория управления, обработка сигналов (операторы свёртки, преобразование Фурье).
- Компьютерные науки — лямбда-исчисление, теория типов, функциональное программирование, где операторы выступают как функции высших порядков.
- Численные методы — разрешение дифференциальных уравнений, аппроксимация операторов.
¶История
Понятие оператора развивалось постепенно. В XVIII веке Леонард Эйлер и Жозеф Луи Лагранж использовали символику дифференциальных операторов. В XIX веке Огюстен Луи Коши, Карл Вейерштрасс и Герман Шварц развили теорию функций комплексного переменного и операторов в ней. В начале XX века Давид Гильберт сформулировал аксиоматическую теорию интегральных уравнений и спектральную теорию операторов, заложив основы функционального анализа. В 1930-е годы Джон фон Нейман дал строгую аксиоматику квантовой механики на основе операторов в гильбертовом пространстве.
¶Источники
- Вейлберг Б. М. «Теория операторов».
- Крейн Г. М. «Операторы в гильбертовом пространстве».
- Рудин У. «Функциональный анализ».
- Ахиезер Н. И., Глейзер И. М. «Лекции по теории операторов».
- Шилов Г. Е. «Линейные операторы в гильбертовом пространстве».