Очікує на перевірку

Жорданова нормальна форма

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

У лінійній алгебрі жорданова нормальна форманормальна форма, до якої можна привести довільну квадратну матрицю над полем, що містить всі її власні значення, за допомогою переходу до певного базису. Дана форма запису матриці має важливе теоретичне значення у лінійній алгебрі і при розв'язуванні систем диференціальних рівнянь.

Мотивація

[ред. | ред. код]

Квадратну матрицю A розмірності n можна привести до діагонального виду тоді і тільки тоді, коли сума розмірностей власних просторів, що відповідають різним власним значенням дорівнює n, або ,еквівалентно, якщо і тільки якщо A має n лінійно незалежних власних векторів. Таке приведення до діагонального виду можливе не для всіх матриць. Наприклад матриця:

Власними значеннями даної матриці A є λ = 1, 2, 4, 4. Розмірність ядра матриці (A − 4In) дорівнює 1, отже A не допускає діагоналізації. Проте для неї існує невироджена матриця P, така що A = PJP−1, де

Матриця J є майже діагональною. Вона й називається жордановою формою матриці A.

Означення

[ред. | ред. код]

Матриця виду: називається жордановим блоком із власним значенням .

Матриця

де блоки на діагоналі — жорданові блоки, називається жордановою матрицею.

Для довільної квадратної матриці над алгебраїчно замкнутим полем завжди існує така квадратна невироджена матриця над , що є жордановою матрицею (інакше кажучи подібна у деякій жордановій матриці).

Матриця , вказана вище, називається жордановою формою (або жордановою нормальною формою) матриці .

Жорданова форма матриці визначена не однозначно, а з точністю до порядку жорданових блоків. Точніше, дві жорданові матриці подібні у у тому і лише в тому випадку, коли вони складені з одних і тих же жорданових блоків і відрізняються один від одного лише розташуванням цих блоків на головній діагоналі.

Крім жорданової нормальної форми, розглядають ряд інших типів нормальних форм матриці. До їх розгляду вдаються, наприклад, коли основне поле не містить всіх коренів мінімального многочлена матриці.

Узагальнені (приєднані) власні вектори

[ред. | ред. код]

Нехай матриця A подібна деякому жордановому блоку, тобто для деякої невиродженої матриці P виконується P−1AP = Jλ, або

Позначимо вектори-стовпці матриці P pi, i = 1, ..., k, тоді

Звідси

Далі , і зокрема

Вектор x для якого виконується для деякого власного значення λ і цілого числа m називається узагальненим (приєднаним) власним вектором.

Якщо розглядати тепер довільну жорданову матрицю, то подібно до попереднього можна показати, що деяка матриця є подібною до жорданової матриці, якщо існує базис лише з узагальнених власних векторів. Тобто існують цілі числа і вектори , де — власні вектори і для відповідного власного значення λ.

Властивості

[ред. | ред. код]
  • Кількість жорданових блоків порядку з власним значенням у жордановії формі матриці можна обчислити за формулою
де - одинична матриця того ж порядку що і , ранг матриці , а , за визначенням, рівний порядку .

Дійсна жорданова нормальна форма

[ред. | ред. код]

Поле дійсних чисел не є алгебраїчно замкнутим тому не кожну матрицю з дійсними елементами можна звести до жорданової матриці з дійсними елементами. Це можливо лише у випадку коли всі власні значення матриці є дійсними.

Проте для дійсної матриці кожному жордановому блоку для комплексного власного значення a + ib відповідає жордановий блок для спряженого комплексного власного значення a - ib. Цим двом блокам відповідає дійсний жорданів блок:

Загалом звідси можна визначити дійсну жорданову нормальну форму:

де — звичайні жорданові блоки для дійсних власних значень і визначені вище дійсні жорданові блоки для спряжених комплексних власних значень.

Див. також

[ред. | ред. код]

Література

[ред. | ред. код]

Посилання

[ред. | ред. код]