Линейные операторы и их матричные представления

Свойства линейности и принцип суперпозиции

Чтобы функция (отображение) считалась линейным оператором, она должна удовлетворять двум простым условиям: аддитивности и однородности. Аддитивность означает, что образ суммы двух векторов равен сумме их образов. Однородность требует, чтобы при умножении вектора на число его образ растягивался или сжимался ровно в такое же количество раз. В физике и инженерии эти два свойства объединяются в знаменитый принцип суперпозиции. Если мы знаем, как линейная система реагирует на изолированные внешние воздействия, мы можем точно предсказать ее поведение при комбинации этих воздействий — нужно просто сложить индивидуальные реакции. Это фундаментальное свойство позволяет рассчитывать сложные электрические цепи и механические конструкции.

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

Вся прелесть конечномерной линейной алгебры заключается в том, что любой абстрактный линейный оператор можно жестко привязать к числам — представить в виде матрицы. Для этого необходимо выбрать базис в пространстве. Если мы подействуем оператором на каждый базисный вектор по очереди, мы получим новые векторы. Записав координаты этих новых векторов в виде столбцов, мы сформируем матрицу линейного оператора. После этого любое действие оператора на произвольный вектор сводится к элементарному умножению этой матрицы на столбец координат вектора. Это означает, что геометрия полностью переводится на язык арифметики, понятный вычислительным машинам.

Изменение матрицы при смене базиса

Важно понимать, что один и тот же линейный оператор будет иметь совершенно разные матрицы в разных базисах. Возникает естественный вопрос: как связана старая матрица оператора с новой при переходе к другому базису? Эта связь описывается через так называемую матрицу перехода (которая хранит координаты новых базисных векторов в старом базисе). Формула изменения матрицы оператора имеет вид B = T^(-1) * A * T, где A — старая матрица, B — новая, а T — матрица перехода. Матрицы, связанные таким соотношением, называются подобными. Они описывают одно и то же физическое или геометрическое действие, просто увиденное под разными углами наблюдения.

Ядро и образ оператора: размерность и структура

Каждый линейный оператор характеризуется двумя важнейшими подпространствами: ядром (Ker) и образом (Im). Ядро — это множество всех векторов, которые оператор «сплющивает» в нулевой вектор. Размерность ядра называется дефектом оператора; она показывает, сколько информации безвозвратно теряется при преобразовании. Образ — это множество всех возможных векторов, которые можно получить на выходе оператора. Размерность образа совпадает с рангом матрицы оператора. Существует фундаментальная теорема о размерностях: сумма размерности ядра и размерности образа всегда в точности равна размерности всего исходного пространства. Это своего рода закон сохранения информации в линейной алгебре.