Линейные операторы и их свойства

Линейный оператор

Линейный оператор

  • Def. Линейным оператором линейного пространства называется функция , удовлетворяющая двум свойствам линейности:

  • Def. Если , то называют образом вектора при операторе , а прообразом (возможно, не единственным) вектора при .

Лемма

Для любого линейного оператора пространства выполняется равенство .

Доказательство
Возьмём произвольный . Поскольку , имеем

Различные виды операторов

  1. Тождественный оператор : .
    Свойства линейности выполняются непосредственно.
    Матрица в любом базисе — единичная.
  2. Нулевой оператор : .
    Матрица — нулевая.
  3. Ортогональное проектирование на подпространство .
    Пусть ортогональная проекция на . Для с проекциями
    имеем , где . Значит — проекция суммы,
    то есть . Второе свойство проверяется аналогично.
  4. Оператор дифференцирования в пространстве многочленов .
    Дифференцирование удовлетворяет обоим свойствам линейности.
  5. Сдвиг с фиксированным . поэтому не является линейным оператором.

линейныйоператор

Ссылка на оригинал


Теорема 1. Оператор задаваемый значениями на базисе

Теорема. Оператор задаваемый значениями на базисе

Теорема

Пусть Базис линейного пространства над полем ,
а — произвольные векторы.
Тогда существует единственный линейный оператор , такой что

Доказательство

1. Корректность определения.
Каждый вектор однозначно раскладывается по базису

Если бы существовало другое разложение с коэффициентами , их разность дала бы
,
что противоречило бы линейной независимости .
Заменим и положим

Единственность координат обеспечивает однозначность .

2. Линейность.
Пусть и .
Аддитивность. Сначала складываем векторы:

затем применяем :

Однородность. Используем свойство :

Таким образом удовлетворяет обеим аксиомам линейного оператора.

3. Единственность.
Если другой линейный оператор также удовлетворяет , то для любого

следовательно

Пример

Пусть , стандартный базис
.
Зададим образы

Эти линейно независимы, поэтому оператор окажется обратимым.
Матрица в том же базисе берёт столбцами векторы :

Для произвольного имеем

что легко проверяется прямым умножением.

линейныйоператор

Ссылка на оригинал


Теорема 2. Размерность образов подпространства

Теорема. Размерность образов подпространства

Теорема

Пусть Линейный оператор, а Подпространство.
Тогда

Здесь — множество всех образов элементов .

Доказательство

1. Тривиальный случай.
При образ тоже , неравенство очевидно.

2. Базис и координаты.
Пусть и базис .
Любой имеет единственное разложение

3. Образ подпространства.
Линейность даёт

Следовательно каждый вектор из выражается через ,
и наоборот для любой такой линейной комбинации найдётся прообраз в .
То есть линейная оболочка векторов .

4. Оценка размерности.
Линейная оболочка, заданная векторами, не может иметь размерность больше (если среди есть линейные зависимости, размерность ещё меньше);
поэтому

линейныйоператор

Ссылка на оригинал


Матрица линейного оператора

Матрица линейного оператора

Def. Матрицей линейного оператора в базисе линейного пространства называется Матрица для которой при любом векторе .

линейноепространство

Ссылка на оригинал


Теорема 3. Матрица линейного оператора в произвольном базисе

Теорема. Матрица линейного оператора в произвольном базисе

Теорема

Для любого линейного оператора и любого базиса
пространства существует единственная матрица ,
описывающая действие в этом базисе.

Доказательство

Шаг 1. Разложения образов базиса
Для каждого найдём координаты его образа:

Шаг 2. Формирование матрицы
Расположим координаты в первом столбце, — во втором, и т.д.:

Шаг 3. Проверка на произвольном векторе
Пусть

Умножим на столбец координат :

С другой стороны, линейность даёт

Координатный столбец совпадает с , следовательно построенная матрица корректно описывает оператор.
Шаг 4. Единственность
Любая матрица, дающая правильные координаты для всех , обязана содержать те же столбцы , поэтому совпадает с .

линейныйоператор

Ссылка на оригинал


Теорема 4. Взаимно-однозначное соответствие «оператор-матрица» в фиксированном базисе

Теорема. Взаимно-однозначное соответствие «оператор-матрица» в фиксированном базисе

Теорема

Пусть — фиксированный базис пространства .

  1. Различным линейным операторам соответствуют различные матрицы в этом базисе.
  2. Каждая квадратная матрица порядка является матрицей некоторого линейного оператора в том же базисе.

Доказательство

1. Однозначность оператора по его матрице.
Если , то для любого вектора

значит .

2. Любая матрица задаёт оператор.
Пусть дана матрица . Определим отображение

Тогда для всех и выполняются свойства линейности:


Поэтому — линейный оператор с матрицей .

2.1 Проверка на базисных векторах.
Для каждого имеем , где -й стандартный столбец.
Его координаты в базисе совпадают с -м столбцом , как и требовалось.

Пример

В с базисом , возьмём матрицу

Тогда оператор действует как поворот плоскости на против часовой стрелки:

линейныйоператор

Ссылка на оригинал


Примеры линейных операторов и их матриц

Примеры линейных операторов и их матриц

1. Нулевой оператор

Определён правилом для любого .
Так как для каждого базисного , все координаты равны ,

2. Тождественный оператор

Задан формулой .
Для базиса имеем

следовательно все коэффициенты стоят на главной диагонали:

3. Оператор дифференцирования

Пространство многочленов , естественный базис

Действие оператора на базисе:

Значит матрица имеет ненулевые элементы только на первой подпобочной диагонали:

линейныйоператор

Ссылка на оригинал


Теорема 5. Матрица линейного оператора в разных базисах

Теорема. Матрица линейного оператора в разных базисах

Теорема

Пусть и — два базиса пространства ,
а матрица линейного оператора в базисе .
Тогда матрица того же оператора в базисе выражается формулой

где 1 переводит координаты из в ,
а обратно из в .

Доказательство

Для любого выполняется:

где 1 . Подставив и , получаем

По определению имеем также , отсюда

линейныйоператор

Footnotes

  1. Образ линейного оператора 2

Ссылка на оригинал


По итогам лекции нужно знать:

  1. Понятия:

  2. Способ нахождения матрицы оператора

  3. Матрица оператора в разных базисах

  4. Основные теоретические факты с доказательствами

линейныйоператор