21445

Приведение матрицы линейного оператора к канонической (жордановой) форме

Лекция

Математика и математический анализ

Вектор называется присоединенным вектором оператора соответствующим собственному значению если для некоторого целого выполняются соотношения . Иными словами если присоединенный вектор порядка то вектор является собственным вектором оператора . Существует базис 1 образованный из собственных и присоединенных векторов оператора в котором действие оператора дается следующими соотношениями:...

Русский

2013-08-02

623.5 KB

11 чел.

Приведение матрицы линейного оператора

к канонической (жордановой) форме.

Определение.

Вектор  называется присоединенным вектором оператора , соответствующим собственному значению , если для некоторого целого  выполняются соотношения

, .

При этом число  называется порядком присоединеного вектора .

Иными словами, если  - присоединенный вектор порядка , то вектор

является собственным вектором оператора .

Имеет место следующая

Теорема.

Пусть - линейный оператор, действующий в -мерном евклидовом пространстве .

Существует базис

,                                           (1) образованный из собственных и присоединенных векторов оператора, в котором действие оператора  дается следующими соотношениями:

                                         (2)

 

Замечание 1.

Очевидно, векторы   базиса (1) являются собственными векторами оператора, соответствующими собственным значениям .

Из определения присоединенных векторов и соотношения (2) следует, что векторы    являются присоединенными векторами порядка , соответствующими собственным значениям .

(Так как ).

Замечание 2.

Поскольку по определению линейного оператора

                                     , ,                                  (3)

то соотношения (2) действительно определяют действие оператора  в пространстве  при заданном базисе .

Замечание 3.

Матрица  линейного оператора  в базисе  имеет следующий клеточный вид ,                                                                   (4)

где клетка  представляет собой следующую матрицу

 

                        .                                                    (5)

Замечание 4.

Форма (4) матрицы  линейного оператора  называется жордановой формой матрицы этого оператора.  называется жордановой клеткой матрицы .

Замечание 5.

Жорданова форма (4) матрицы определена с точностью до порядка расположения клеток , который определяется порядком нумерации собственных значений .

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

Применим метод индукции.

При  утверждение теоремы очевидно.

Пусть  и теорема верна для пространств размерности, меньшей .

Докажем, что при этом предположении она верна и для пространств размерности .

Пусть  - собственное значение оператора, т.е.  является корнем характеристического уравнения . Таким образом, ранг  линейного оператора

                                                                                                   (6)

меньше  

Линейный оператор  отображает пространство  на подпространство . Поэтому оператор  отображает подпространство  размерности  в это же подпространство (для  линейного оператора   и  - инвариантные подпространства оператора , т.е. если , то и ).

По предположению индукции в  есть базис

,  ,                                              (7)

в котором действие оператора  из  задается соотношениями

                                            ,

                          ,  .                       (8)

Таким образом, в этом базисе матрица  оператора  (символом  обозначается оператор , действующий из  в ), действующего из  в , имеет следующий клеточный вид:

                  ,    .               (9)

Пусть лишь первые   собственных значений оператора  равны нулю.

Так как ранг каждой клетки (см. (9)), для которой , равен , а ранг клетки, для которой , равен , то, согласно (7), ранг матрицы  равен . Поэтому размерность пространства  равна  , но , следовательно  и  представляет собой линейную оболочку векторов . Эти векторы в силу линейной независимости образуют базис в. Очевидно, . Дополним базис  в  до базиса в  векторами , ,  (размерность  равна ).

Так как , то

                                                     .                                                (10)

Обратимся теперь к векторам , . Поскольку эти векторы принадлежат , то существуют такие векторы , что

                                            , .                                    (11)

Докажем теперь, что векторы

                               ,

                                     ,                                   (12)

линейно независимы.

Рассмотрим следующую равную нулю линейную комбинацию  этих векторов:

                                              (13)

и подействуем оператором  на , тогда, с учетом (8), (10) и (11), получим:

                  .           (14)

Полученное соотношение представляет собой равную нулю линейную комбинацию базисных векторов , поэтому коэффициенты при указанных векторах в рассматриваемой линейной комбинации равны нулю. Поскольку  при , то из (14) следует, что коэффициенты при   равны в точности , следовательно, . Отсюда и из соотношения (13) имеем

                                   ,                               (15)

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

С другой стороны, из (15) вытекает, что  представляет собой линейную комбинацию векторов , т.е. . Следовательно,   (так как ), и поэтому .

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

Итак, все коэффициенты в линейной комбинации (13) векторов (12) равны нулю, т.е. векторы (12) линейно независимы. 

Общее число векторов (12) равно . Так как  (это было установлено выше), то общее число векторов (12) равно , т.е. они образуют базис в . Обозначим

                                                                                                     (16)

и запишем векторы этого базиса в следующей последовательности серий:

                                     

                                     , ;                             (17)

                                    ,  

Рассмотрим действие оператора  на векторы базиса (17). В соответствии с (8), (10), (11) и (16) имеем

, ,

, ,

, ,

,  , .

Таким образом, в базисе (17) оператор  действует по правилу (2), указанному в формулировке теоремы. Но тогда в этом базисе и оператор  действует по тому же правилу. Теорема доказана.                   

Пример 1.

В некотором базисе матрица оператора  имеет вид .

Построим жорданов базис*).

.

,

 , , т.е. , ,

, т.е. .

Если , то ,

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

, т.е. , ; ,

; ,

таким образом, .

Пример 2.

 

   1 собственный вектор и 2 присоединенных.

, , т.е.

.

          

; ;

   

,  ;

;  

 те же векторы, что и у , но

, поэтому вектор  ищем из уравнения ,

т.е.

    или   

Итак, так как , то .

 

 

        

     

 

 

 

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   

PAGE  7


 

А также другие работы, которые могут Вас заинтересовать

40593. Унифицированный язык UML 17.75 KB
  Например нотация диаграммы классов определяет каким образом представляются такие элементы и понятия как класс ассоциация и множественность. Определение классов и объектов одна из самых сложных задач объектноориентированного проектирования. Наследование означает построение новых классов на основе существующих с возможностью добавления или переопределения данных и методов. Наследование и полиморфизм обеспечивают возможность определения новой функциональности классов с помощью создания производных классов потомков базовых классов.
40594. Диаграммы вариантов использования 52.06 KB
  Суть диаграммы вариантов использования состоит в следующем. Проектируемая система представляется в виде множества сущностей или актеров взаимодействующих с системой с помощью вариантов использования. Вариант использования служит для описания сервисов которые система предоставляет актеру.
40595. Диаграммы классов 37.79 KB
  Диаграмма классов определяет типы объектов системы и различного рода статические связи которые существуют между ними.1 Диаграмма классов На диаграммах классов изображаются также атрибуты классов операции классов и ограничения которые накладываются на связи между объектами.1 изображена типичная диаграмма классов.
40596. Диаграммы состояний 39.47 KB
  Диаграмма состояний показывает автомат. Ее частной разновидностью является диаграмма деятельности в которой все или большая часть состояний это состояния деятельности а все или большая часть переходов инициируются в результате завершения деятельности в исходном состоянии. Таким образом при моделировании жизненного цикла объекта полезны как диаграммы деятельности так и диаграммы состояний.
40597. Диаграммы потоков данных DED. АИС 55 KB
  Вендрова Проектирование ПО Ход урока Организационный момент 24 мин: Приветствие оформление документов к занятию Повторение пройденного материала применяемая методика выводы1520 мин Устные ответы на вопросы занятие 10 п.5 Сообщение темы урока постановка цели и задачи:13 мин: Изучить и закрепить на примере понятие модели информационной системы; Изучить основные элементы DFD диаграмм Изложение нового материала применяемая методика: 5060 мин. лекция с опорой на презентацию понятие модели; цель...
40598. Отражательный фазовращатель 23.11 KB
  Отражательный фазовращатель является одноплечным устройством, которое в идеальном случае полностью отражает ЭМВ, поступающую на его вход. При этом фаза отраженной волны изменяется на по отношению к фазе падающей волны. Такой фазовращатель можно представить в виде эквивалентного двухполюсника, описываемого коэффициентом отражения на входе///
40599. Y-циркулятор 36.5 KB
  Y-циркулятор являє собою зєднання під кутом 120 трьох ліній передачі (хвилевідної, коаксіальної, смужкової). У центрі зчленовування ліній розміщується намагнічений уздовж осі феритовий стрижень або диск
40600. Формирование документа XML и его DTD 570.5 KB
  Язык XML – это язык разметки, описывающий целый класс объектов данных, называемых документами XML. Документы XML обычно хранятся в виде текстовых файлов с расширением
40601. Подход RАD. Стадии реализации и внедрения 19.83 KB
  На данной фазе разработчики производят итеративное построение реальной системы на основе полученных в предыдущей фазе моделей а также требований нефункционального характера. Тестирование системы осуществляется непосредственно в процессе разработки. После окончания работ каждой отдельной команды разработчиков производится постепенная интеграция данной части системы с остальными формируется полный программный код выполняется тестирование совместной работы данной части приложения с остальными а затем тестирование системы в целом. Завершается...