Докажем, что образы базисных векторов расположены в столбцах матрицы, что именно при таком строении матрицы умножение её на вектор-столбец будет задано корректно, то есть оно будет действительно отображать базисные векторы в их образы.
Умножим произвольную квадратную матрицу на
и
:
,
.
Базисные векторы при умножении на квадратную матрицу отобажаются именно в такие векторы, координаты которых записаны в 1 и 2 столбце матрицы. Строение матрицы оператора: столбцы есть образы базисных векторов при данном отображении, то есть столбец номер
матрицы оператора содержит вектор
.
Итак, если задан какой-либо закон, по которому отображаются векторы, то чтобы задать матрицу оператора, надо найти, куда отображаются базисные векторы. Для примера, найдём матрицу оператора поворота на произвольный угол
.

Расстояния r1 и r2 здесь равны
и
. Красным показаны образы базисных векторов. Получаем матрицу
.
При
получится
Действие оператора на любой вектор задаётся матрицей так:
- любой вектор поворачивается на 90 градусов.
|
|
|
При
матрица будет иметь вид
, и действительно, умножение на такую матрицу переводит любой вектор
в
, а при повороте на
каждый вектор как раз и должен повернуться и стать противоположным исходному.
Оператор проекции пространства на плоскость.
Базисные векторы (1,0,0) и (0,1,0) остаются на своём месте, а (0,0,1) отображается в (0,0,0).
Матрица оператора проекции: 
Каждый вектор
он отображает в
:

Здесь естественным образом возникает такое понятие как ядро линейного оператора.Множество векторов, которые отображаются в 0, называется ядром оператора.
.
Для примера выше (проекции) ядро - это ось
.
Тождественный оператор. Линейный оператор, который отображает каждый вектор в исходный, называется тождественным. I(x)=x. Ему соответствует матрица Е.
Композиция операторов. Если последовательно действуют два линейных оператора:
то итоговое отображение называется композицией двух операторов. Соответственно, с помозью матриц это задаётся так:
, что равно
, так что композиции операторов соответствует произведение матриц.
Обратный оператор.
Определение. Если для линейного оператора L существует линейный оператор
, который каждый вектор отображает обратно:
, т.е. в композиции с исходным получится тождественный оператор
тогда L называется обратимым, а
обратным для L.
Примеры: поворот на угол - обратимый, проекция - необратимый линейный оператор. Обратному оператору соответствует обратная матрица.
Свойство. Линейный оператор является обратимым
.
Определение. Если для ненулевого вектора выполняется
, то
называется собственным числом, а вектор
называется собственным вектором, соответствующим этому собственному числу.
|
|
|
Геометрически это означает, что при действии отображения вектор остаётся на той же самой прямой. Для нулевого вектора рассматривать это понятие нет смысла, ведь
для любого числа
.
Не для каждого оператора существуют собственные векторы. Так, при повороте плоскости на произвольный угол (кроме 0 и 1800) ни один вектор не остаётся на той же самой прямой. При вращении шара в пространстве: все векторы на оси вращения - собственные, они соответствуют
.
Если растяжение по оси x с коэффициентом 2, а по оси y с коэффициентом 3, то векторы, не лежащие на осях, поворачиваются, и они не являются собственными.

Теорема 1. Линейная комбинация собственных векторов, соответствующих одному и тому же числу
, тоже является собственным вектором, соответствующим
.
Доказательство. Дано
,
. Тогда
=
.
Итак, для линейной комбинации, действие оператора тоже равносильно умножению на
, что и требовалось доказать.
Следствия: Если какой-то вектор на прямой является собственным, то и любой другой вектор на этой же прямой является собственным, так как он кратен первом у вектору, то есть является его линейной комбинацией. Если растяжение в плоскости на один и тот же коэффициент по двум осям, то и все векторы плоскости - собственные векторы.
Теорема 2. Любые два собственных вектора, соответствующих различным собственным числам, образуют ЛНС (линейно-независимую систему).
Доказательство. Дано
,
. Допустим, что они были бы линейно-зависимы, то есть предположим
.
Можно сначала отобразить линейным оператором, а потом представить в виде
, а можно наоборот, сначала выразить через
, а потом применить отображение:


тогда
, то есть
. Но вектор
ненулевой, коэффициент
тоже. Тогда
, то есть
, а это противоречит условию теоремы. Итак, предположение
ложно, векторы не могут быть линейно-зависимы. Что и требовалось доказать.
Вывод: Вся прямая состоит из собственных векторов, соответствующих одному и тому же
, там не может быть векторов, соответствующих другим числам, а также векторов, не являющихся собственными.
Теорема 3. Если
является собственным вектором линейного оператора
, соответствующим
, то он также является собственным и для обратного оператора
, и соответствует числу
.
Доказательство. Если
, то по определению обратного оператора
. Но тогда вынесем константу: 
а значит,
.
Введём такие понятия: Характеристическая матрица
.
Характеристическое уравнение:
(вычислить определитель хар. матрицы и приравнять к 0).
Теорема 4. Число
является собственным для линейного оператора, заданного матрицей
, тогда и только тогда, когда
.
Доказательство. Покажем для матрицы 2 порядка. Запишем подробно выражение
:
, тогда 
Это кажется похоже не неодородную, но на самом деле это однородная система, так как справа не константы, а выражения с теми же переменными, что и слева, то есть их можно перенести все в одну сторону, и справа останутся 0, вот что получилось:

Если основная матрица такой системы невырождена, то решение только тривиальное (так как ранг равен числу переменных, и нет свободных переменных), а если вырождена, то нетривиальные решения есть.
Итак, решение существует
, это и есть
, так как это определитель матрицы
.
Что и требовалось доказать.