Уніпотентна матриця

Матеріал з testwiki
Версія від 16:37, 18 серпня 2022, створена imported>Олюсь
(різн.) ← Попередня версія | Поточна версія (різн.) | Новіша версія → (різн.)
Перейти до навігації Перейти до пошуку

Уніпотентна матрицяквадратна матриця, що рівна сумі одиничної і нільпотентної матриць. Уніпотентні матриці є уніпотентними елементами у кільці квадратних матриць.

Важливість уніпотентних матриць значною мірою пояснюється наявністю розкладу Жордана — Шевальє для довільної невиродженої квадратної матриці над досконалим полем. Зважаючи на наявність цього розкладу і його узагальнень, уніпотентні матриці відіграють важливу роль у теорії представлення груп і теорії груп Лі і алгебричних груп.

Означення

Квадратна матриця ARn×n над кільцем з одиницею R називається уніпотентною, якщо матриця AI є нільпотентною, інакше кажучи, якщо

(AI)m=0

для деякого m. Уніпотентні матриці є уніпотентними елементами у кільці Rn×n.

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

Приклади

Простим прикладом уніпотентної матриці є матриця

A=(1101),

для якої

(AI)2=(0100)(0100)=(0000).

Більш загальним прикладом є верхні трикутні матриці, для яких елементи на головній діагоналі усі рівні 1, тобто матриці виду

A=(1a1,2a1,n0an1,n001).

Усі такі матриці є уніпотентними, оскільки (AI)n=0. Також усі матриці подібні до матриці A є уніпотентними оскільки

(S1ASI)n=S1(AI)nS=0

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

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

Властивості

Власні значення

Квадратна матриця AKn×n над полем K є уніпотентною, коли її характеристичний многочлен має вигляд

χA(λ)=(λ1)n

Іншими словами всі власні значення матриці рівні 1 sind.

Розклад Жордана — Шевальє

Кожна невироджена матриця A над досконалим полем K може бути записана у виді розкладу Жордана — Шевальє:

A=DU=UD,

де матриця D є напівпростою (для алгебрично замкнутих полівдіагоналізовною), а U — уніпотентною. Такий розклад завжди є єдиним.[1]

Степені, добутки і обернена матриця

Степінь уніпотентної матриці Ak над довільним полем теж є уніпотентною матрицею. Її можна записати через степені нільпотентної матриці:

Ak=(I+N)k=I+kN+k(k1)2N2++k(k1)(km+2)(m1)!Nm1

де N — нільпотентна матриця зі степенем нільпотентності m.

Зокрема звідси отримуємо, що над полем характеристики p>0 матриця A є уніпотентною тоді і тільки тоді коли для всіх достатньо великих s>0 справедливою є рівність Aps=I.

Більш загально, добуток двох комутуючих уніпотентних матриць над полем є уніпотентною матрицею.

Для матриць над довільним кільцем з одиницею уніпотентна матриця A=I+N завжди має обернену матрицю рівну:

A1=IN+N2++(1)m1Nm1

де N — нільпотентна матриця зі степенем нільпотентності m. Обернена матриця теж є уніпотентною.

Логарифм і експонента

Логарифм уніпотентної матриці є нільпотентною матрицею, яка рівна:

logA=log(I+N)=NN22+N33++(1)m1Nm1m1

де N — нільпотентна матриця зі степенем нільпотентності m.

Також для логарифму і експоненти матриці справедливою є рівність[2]

elogA=A.

Навпаки, експонента нільпотентної матриці N є уніпотентною матрицею і [2]

logeN=N.

Зокрема, якщо N є нільпотентною матрицею зі степенем нільпотентності m, то образом її експоненти буде матриця виду I+N, де N є нільпотентною матрицею зі степенем нільпотентності m. Навпаки логарифм уніпотентної матриці I+N, де N є нільпотентною матрицею зі степенем нільпотентності m є нільпотентною матрицею теж степеня m. До того ж ці два відображення задають гомеоморфізм між просторами нільпотентних матриць зі степенем нільпотентності m і уніпотентних матриць виду I+N, де N має степінь нільпотентності m.

Див. також

Джерела

Примітки

Шаблон:Reflist