Теорема

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

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

Воспользуемся индукцией по числу собственных векторов.
При доказательство очевидно.

Пусть утверждение выполняется для векторов, и они линейно независимы. Докажем для .
Возьмём собственные векторы , отвечающие числам соответственно,
и рассмотрим линейную комбинацию

где хотя бы один коэффициент не равен нулю.
Тогда, применяя оператор , получаем

а вследствие линейности оператора и свойств собственных векторов:

Домножим равенство (1) на и вычтем результат из (2):

По индуктивному переходу векторы линейно независимы,
поэтому

Тогда из равенства (1) следует, что , то есть либо , либо .
Вектор не может быть нулевым, следовательно, .

Получаем, что все коэффициенты равны нулю, что противоречит предположению.
Значит собственные векторы линейно независимы.

Следствие

Если в -мерном линейном пространстве оператор имеет различных собственных чисел, то соответствующие собственные векторы образуют базис пространства .

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