Линейные операторы и их свойства
Линейный оператор
Линейный оператор
Def. Линейным оператором линейного пространства называется функция , удовлетворяющая двум свойствам линейности:
Def. Если , то называют образом вектора при операторе , а — прообразом (возможно, не единственным) вектора при .
Лемма
Для любого линейного оператора пространства выполняется равенство .
Доказательство
Возьмём произвольный . Поскольку , имеемСсылка на оригиналРазличные виды операторов
- Тождественный оператор : .
Свойства линейности выполняются непосредственно.
Матрица в любом базисе — единичная.- Нулевой оператор : .
Матрица — нулевая.- Ортогональное проектирование на подпространство .
Пусть — ортогональная проекция на . Для с проекциями
имеем , где . Значит — проекция суммы,
то есть . Второе свойство проверяется аналогично.- Оператор дифференцирования в пространстве многочленов .
Дифференцирование удовлетворяет обоим свойствам линейности.- Сдвиг с фиксированным . поэтому не является линейным оператором.
Теорема 1. Оператор задаваемый значениями на базисе
Теорема. Оператор задаваемый значениями на базисе
Теорема
Пусть — Базис линейного пространства над полем ,
а — произвольные векторы.
Тогда существует единственный линейный оператор , такой чтоДоказательство
1. Корректность определения.
Каждый вектор однозначно раскладывается по базисуЕсли бы существовало другое разложение с коэффициентами , их разность дала бы
,
что противоречило бы линейной независимости .
Заменим и положимЕдинственность координат обеспечивает однозначность .
2. Линейность.
Пусть и .
Аддитивность. Сначала складываем векторы:затем применяем :
Однородность. Используем свойство :
Таким образом удовлетворяет обеим аксиомам линейного оператора.
3. Единственность.
Если другой линейный оператор также удовлетворяет , то для любогоследовательно
Ссылка на оригиналПример
Пусть , стандартный базис
.
Зададим образыЭти линейно независимы, поэтому оператор окажется обратимым.
Матрица в том же базисе берёт столбцами векторы :Для произвольного имеем
что легко проверяется прямым умножением.
Теорема 2. Размерность образов подпространства
Теорема. Размерность образов подпространства
Теорема
Ссылка на оригиналДоказательство
1. Тривиальный случай.
При образ тоже , неравенство очевидно.2. Базис и координаты.
Пусть и — базис .
Любой имеет единственное разложение3. Образ подпространства.
Линейность даётСледовательно каждый вектор из выражается через ,
и наоборот для любой такой линейной комбинации найдётся прообраз в .
То есть — линейная оболочка векторов .4. Оценка размерности.
Линейная оболочка, заданная векторами, не может иметь размерность больше (если среди есть линейные зависимости, размерность ещё меньше);
поэтому
Матрица линейного оператора
Матрица линейного оператора
Def. Матрицей линейного оператора в базисе линейного пространства называется Матрица для которой при любом векторе .
Ссылка на оригинал
- — столбец координат вектора в выбранном базисе;
- — столбец координат образа в том же базисе.
Теорема 3. Матрица линейного оператора в произвольном базисе
Теорема. Матрица линейного оператора в произвольном базисе
Теорема
Для любого линейного оператора и любого базиса
пространства существует единственная матрица ,
описывающая действие в этом базисе.Ссылка на оригиналДоказательство
Шаг 1. Разложения образов базиса
Для каждого найдём координаты его образа:Шаг 2. Формирование матрицы
Расположим координаты в первом столбце, — во втором, и т.д.:Шаг 3. Проверка на произвольном векторе
ПустьУмножим на столбец координат :
С другой стороны, линейность даёт
Координатный столбец совпадает с , следовательно построенная матрица корректно описывает оператор.
Шаг 4. Единственность
Любая матрица, дающая правильные координаты для всех , обязана содержать те же столбцы , поэтому совпадает с .
Теорема 4. Взаимно-однозначное соответствие «оператор-матрица» в фиксированном базисе
Теорема. Взаимно-однозначное соответствие «оператор-матрица» в фиксированном базисе
Теорема
Пусть — фиксированный базис пространства .
- Различным линейным операторам соответствуют различные матрицы в этом базисе.
- Каждая квадратная матрица порядка является матрицей некоторого линейного оператора в том же базисе.
Доказательство
1. Однозначность оператора по его матрице.
Если , то для любого вектора
значит .2. Любая матрица задаёт оператор.
Пусть дана матрица . Определим отображение
Тогда для всех и выполняются свойства линейности:
Поэтому — линейный оператор с матрицей .2.1 Проверка на базисных векторах.
Для каждого имеем , где — -й стандартный столбец.
Его координаты в базисе совпадают с -м столбцом , как и требовалось.Ссылка на оригиналПример
Примеры линейных операторов и их матриц
Примеры линейных операторов и их матриц
1. Нулевой оператор
Определён правилом для любого .
Так как для каждого базисного , все координаты равны ,2. Тождественный оператор
Задан формулой .
Для базиса имеем
следовательно все коэффициенты стоят на главной диагонали:Ссылка на оригинал3. Оператор дифференцирования
Пространство многочленов , естественный базис
Действие оператора на базисе:
Значит матрица имеет ненулевые элементы только на первой подпобочной диагонали:
Теорема 5. Матрица линейного оператора в разных базисах
Теорема. Матрица линейного оператора в разных базисах
Теорема
Пусть и — два базиса пространства ,
а — матрица линейного оператора в базисе .
Тогда матрица того же оператора в базисе выражается формулойгде 1 переводит координаты из в ,
а — обратно из в .Доказательство
Ссылка на оригинал Footnotes
По итогам лекции нужно знать:
-
Понятия:
-
Основные теоретические факты с доказательствами