Пусть X – линейное пространство над K. Для того чтобы оператор имел простую структуру, необходимо и достаточно, чтобы было выполнено одно из следующих условий:
1. Матрица оператора A в произвольном базисе подобна диагональной.
2. Пространство X раскладывается в прямую сумму собственных подпространств оператора A, т.е. (здесь суммирование ведётся по всем различным точкам спектра).
3. Размерность пространства X равна сумме размерностей собственных подпространств оператора A, т.е. , или
.
Доказательство. Необходимость первого критерия. Пусть A – оператор простой структуры, т.е.существует базис пространства X из собственных векторов этого оператора. Следовательно,
для всех
.Тогда [A ]
([ A
]
[A
]
[A
]
)=
([
]
[
]
[
]
)=
.
Если - произвольный базис пространства X, то что [A ]
=
[A ]
=
[A ]
, т.е.матрица что [A ]
подобна матрице [A ]
=
.
Достаточность первого критерия. Пусть матрица [A ] подобна диагональной
. По определению подобия это означает, что существует такая неособенная квадратная матрица
, для которой справедливо равенство [A ]
. Обозначим через
такую совокупность векторов, что
. Последнее равенство означает, что
. По условию матрица
неособенная. Следовательно,
- базис пространства X и
Подсчитаем матрицу [A ]
=
[A ]
= .
С другой стороны, [A ]
([ A
]
[A
]
[A
]
).
Следовательно, [A ]
=
= [
]
,
, [A
]
=
= [
]
, откуда получаем
для всех
. Таким образом,
- базис пространства X из собственных векторов оператора
. Следовательно, оператор
имеет простую структуру.
Остальные критерии приводятся без доказательства.
Замечание. Первый критерий оператора простой структуры объясняет, почему вместо выражения “оператор имеет простую структуру” используют равносильное ему “оператор
приводится к диагональному виду”.
Пример 1. Тождественный оператор имеет простую структуру, так как любой базис
пространства
состоит из его собственных векторов, поскольку
для
.
Пример 2. Покажем, что оператор из примера 3§7, матрица которого в базисе
имеет вид
, является оператором простой структуры.
В примере 3 были найдены спектр оператора
и его собственные векторы. В частности, вектор
– собственный вектор оператора
, соответствующий собственному числу
. Векторы
и
– собственные векторы оператора
, соответствующие
. Покажем, что совокупность векторов
линейно независимая. Подсчитаем ранг матрицы, составленной из координатных столбцов этих векторов в базисе
:
. Следовательно, совокупность векторов
линейно независимая, а т.к.
=3, то это базис пространства, состоящий из собственных векторов оператора
. Следовательно,
– оператор простой структуры по определению 2.)
Пример 3. Пусть A – оператор дифференцирования из примера 5§1, т.е.
L (X), где X= R
и
A для любого
X. В примере 1§ 6 был найден характеристический многочлен этого оператора
. Следовательно,
. В примере 1§4 было найдено ядро этого оператора
A =
. Следовательно, если A
, то
, и в пространстве X не существует базиса из собственных векторов оператора A. Таким образом, этот оператор не является оператором простой структуры.
Теорема 2. Если оператор , действующий в
-мерном пространстве, имеет
попарно различных собственных чисел, то этот оператор имеет простую структуру.
Доказательство. Пусть – собственные векторы оператора
, отвечающие собственным числам
, ¼,
соответственно, причем
, если
.
По теореме 2 §7, совокупность линейно независимая и, следовательно,
является базисом пространства из собственных векторов оператора
, так как
. Следовательно, по определению 2 оператор
имеет простую структуру.
Пример 4. Покажем, что оператор , матрица которого в базисе
имеет вид
, имеет простую структуру.
Найдем характеристический многочлен оператора :
.
Следовательно, и по теореме 2 оператор
имеет простую
структуру.