Множество всех собственных векторов, соответствующих данному собственному значению линейного оператора, не является линейным подпространством, так как это множество не содержит нулевого вектора, который, по определению, не может быть собственным.
Обозначим через 
множество всех собственных векторов линейного оператора 
, соответствующих собственному значению 
, с добавленным к этому множеству нулевым вектором 
:
.
Теорема 5.13. Множество является линейным подпространством пространства 
.
□ Покажем, что множество замкнуто относительно операций сложения векторов и умножения вектора на число, то есть при всех 
и 
: 
.
Действительно, имеем
,
что и означает, что вектор . ■
Определение 5.13. Подпространство называется собственным подпространством линейного оператора .
Определение 5.14. Геометрической кратностью 
собственного значения линейного оператора называется размерность собственного подпространства : 
.
Согласно определению 5.14, геометрическая кратность собственного значения равна числу линейно независимых собственных векторов 
, соответствующих этому собственному значению. Например, для линейного оператора из примера 5.2 были получены два собственных значения 
. При этом геометрические кратности для каждого из них равны соответственно
.
Теорема 5.14. Если 
– попарно различные собственные значения линейного оператора 
, то система
соответствующих им собственных векторов линейно независима.
□ Доказательство проведем методом математической индукции по числу 
векторов.
При 
(база индукции) утверждение теоремы верно, так как линейная независимость системы из одного вектора 
означает, что этот вектор ненулевой, а вектор 
является ненулевым, так как он собственный вектор для оператора .
Предположим, что утверждение теоремы верно при 
, то есть если 
попарно различные собственные значения линейного оператора , то система
соответствующих им собственных векторов линейно независима (предположение индукции).
Покажем, что утверждение теоремы верно для 
(шаг индукции), то есть система векторов
(5.8)
линейно независима (
попарно различные собственные значения линейного оператора ).
Запишем линейную комбинацию векторов (5.8) с произвольными весовыми коэффициентами 
и приравняем ее нулевому вектору
(5.9)
Найдем образы векторов в левой и правой частей равенства (5.9). Учитывая линейность оператора , а также равенства 
, получим
(5.10)
Умножив равенство (5.10) на число 
, получим
Вычтем последнее равенство из равенства (5.10):
В силу того, что система векторов 
линейно независима, получим, что в последнем равенстве все весовые коэффициенты равны нулю:
.
Так как все собственные значения 
попарно различны, то
.
При этом равенство (5.9) примет вид
Так как собственный вектор 
ненулевой, то 
Итак, в равенстве (5.9) все весовые коэффициенты равны нулю: 
, что и означает линейную независимость системы векторов (5.8). ■
Теорема 5.15. Два собственных подпространства 
и 
, соответствующие двум различным собственным значениям 
(
) линейного оператора , пересекаются по нулевому вектору.
□ Предположим, что 
. Покажем, что 
. Так как , то 
. Вычитая из первого равенства второе равенство, получим
.
Так как по условию теоремы , то последнее равенство возможно только в том случае, когда . ■
[1] Это подпространство называется алгебраическим дополнением к подпространству ядра оператора