
- •Множини
- •Відображення
- •1.3. Бінарні відношення на множині
- •2.1. Принцип математичної індукції Аксіома математичної індукції
- •Узагальнення другої форми принципу математичної індукції
- •2.2. Підстановки
- •Основні алгебраїчні структури
- •3.1. Означення комплексного числа
- •3.2. Дії над комплексними числами
- •3.3. Піднесення до степеня і добування кореня
- •4.1. Поліноми від однієї змінної
- •Г) Найбільший спільний дільник
- •Д) Найменше спільне кратне
- •4.3.Поліноми над числовими полями
- •4.4. Поліноми від багатьох змінних
- •Б) Симетричні поліноми
- •5.1. Поняття матриці
- •5.2. Дії над матрицями
- •6.1. Визначники малих порядків
- •6.2. Поняття визначника n-го порядку
- •6.3. Властивості визначника n-го порядку
- •6.4. Обчислення визначників n-го порядку
- •7.1. Загальні поняття
- •7.2. Способи розв’язування систем лінійних рівнянь
- •7.3. Матрична форма запису системи лінійних рівнянь
- •8.1. Поняття векторного простору, його розмірність і базис
- •8.3. Підпростори векторного простору
- •8.4. Лінійні перетворення у векторному просторі
- •8.5. Власні вектори і власні значення лінійного перетворення а) Інваріантні підпростори
- •Звідси із лінійної незалежності векторів e1, e2, …, en випливає:
- •9.1. Поняття евклідового простору
- •9.2. Ортонормований базис
- •9.3. Лінійні перетворення в евклідовому просторі
- •Властивості:
- •10.1. Лінійна функція (форма)
- •10.2. Поняття білінійної та квадратичної функції
- •10.3. Зведення квадратичної форми до суми квадратів
- •10.4. Закон інерції квадратичних форм
- •10.5. Класифікація квадратичних форм
- •10.6. Білінійні і квадратичні форми в евклідовому просторі
- •10.7. Зведення рівняння другого порядку до канонічного вигляду
- •Виконаємо лінійне перетворення
- •11.2. Зведення матриць до жорданової нормальної форми
- •Необхідна і достатня умова зведення матриць до діагонального вигляду
11.2. Зведення матриць до жорданової нормальної форми
Теорема
3. Кожна
квадратна матриця А
порядку
з елементами з
поля Р зводиться в полі Р до жорданової нормальної
форми тоді і тільки тоді, якщо всі характеристичні
корені матриці А знаходяться в самому полі Р.
Доведення.
Необхідність.
Якщо
матриця А зводиться до жорданової
нормальної форми, тобто подібна деякій
жордановій матриці
,
то ці дві матриці володіють одними і
тими ж характеристичними коренями,
оскільки характеристичні матриці
еквівалентні. Характеристичні корені
матриці
шукаються просто: оскільки визначник
матриці
дорівнює добутку її елементів, що
знаходяться на головній діагоналі, то
поліном
розкладається над полем Р на лінійні
множники і його коренями служать числа
,
що знаходяться на головній діагоналі
матриці
,
і тільки вони (а вони є елементами поля
Р). Таким чином, характеристичні корені
матриці
теж належать Р.
Достатність.
Нехай
всі характеристичні корені матриці А
знаходяться в полі Р. Якщо інваріантні
множники
матриці
(ті, що не дорівнюють 1) будуть
,
то
.
Дійсно,
визначники матриці
і її канонічної матриці можуть відрізнятися
один від одного тільки сталим множником,
який насправді дорівнює
,
оскільки саме таким є старший коефіцієнт
характеристичного полінома
.
Таким чином,
серед поліномів
немає рівних 0;
сума степенів цих поліномів рівна
;
всі вони розкладаються над полем Р на лінійні множники (тому, що за умовою поліном
володіє таким розкладом).
Нехай
(4) будуть розкладами поліномів
в добутки степенів лінійних множників.
Назвемоелементарними
дільниками полінома
відмінні від 1 степені різних лінійних
двочленів, які входять в його розклад
(4), тобто
.
Елементарні дільники всіх поліномів
називаютьсяелементарними
дільниками матриці А.
Випишемо їх у вигляді таблиці (3).
Утворимо
тепер жорданову матрицю
порядку
,
складену із жордановим кліток, які
визначаються так: кожному елементарному
дільнику
матриці А ставимо у відповідність
жорданову клітку порядку
,
яка відноситься до числа
.
Очевидно, що нерівними 1 інваріантними
множниками матриці
будуть поліноми
і тільки вони. Тому матриці
і
еквівалентні і, значить, матриця А
подібна жордановій матриці
.
▲
Приклад
Звести матрицю А до жорданової нормальної форми:
.
Зводячи
звичайним способом матрицю
до канонічного вигляду, одержимо, що
нерівними 1 інваріантними множниками
цієї матриці будуть поліноми
і
.
Видно, що матриця А зводиться до жорданової
нормальної форми навіть в полі раціональних
чисел. Її елементарними дільниками є
поліноми
,
а тому жордановою нормальною формою
матриці А є матриця
.
Необхідна і достатня умова зведення матриць до діагонального вигляду
На основі отриманих результатів може бути сформульована, нарешті, необхідна і достатня умова звідності матриць до діагонального вигляду.
Теорема
4. Матриця
А
порядку
з елементами з поляР
зводиться
до діагонального вигляду тоді і тільки тоді, якщо усі її
характеристичні корені (або всі корені останнього
інваріантного
множника
її
характеристичної
матриці) знаходяться в полі Р, причому серед них нема
кратних.
Доведення.
Дійсно,
звідність матриці до діагонального
вигляду рівносильна звідності до такого
жорданового вигляду, всі жорданові
клітки якого мають порядок 1. Іншими
словами, всі елементарні дільники
матриці А повинні бути поліномами
першого степеня. Оскільки, однак, всі
інваріантні множники матриці
являються дільниками полінома
,
то остання умова рівносильна тому, що
всі елементарні дільники полінома
мають степінь 1, що й треба довести. ▲