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