Matricea Jordan este o matrice pătrată pe diagonală pe câmp , cu blocuri de formă
\ lambda 1 0 \ cdots 0 0 \\ 0 \ lambda 1 \ cdots 0 0 \\ 0 0 \ lambda \ ddots 0 0 \\\ vdots \ vdots \ ddots \ ddots \ ddots \ vdots \\ 0 0 0 \ ddots \ lambda 1 \\ 0 0 0 \ cdots 0 \ lambda \\\ end. Fiecare bloc se numește celula Iordaniei cu valoarea proprie (valorile proprii în diferite blocuri, în general, pot coincide).Conform teoremei privind forma normală a Iordaniei, pentru o matrice arbitrară pătrată peste un câmp algebric închis (de exemplu, domeniul numerelor complexe ) există o matrice nondegenerată pătratică (adică, inversibilă, cu determinant nonzero) peste , astfel încât
este o matrice din Iordania. În acest caz, se numește forma Iordaniei (sau forma normală a Iordaniei) a matricei . În acest caz, spunem, de asemenea, că matricea Iordaniei în teren este similar (sau conjugat) cu o anumită matrice . În schimb, în virtutea relației echivalente
matrice similare în domeniu matrice . Nu este greu de arătat că relația de similitudine introdusă în acest fel este o relație de echivalență și împarte setul tuturor matricelor pătrate dintr-o ordine dată într-un câmp dat în clase de echivalență disjuncte. Forma Iordaniei a matricei nu este determinată în mod unic, ci până la ordinea blocurilor din Iordania. Mai precis, două matrici ale Iordaniei sunt similare dacă și numai dacă ele sunt compuse din aceleași celule Iordan și diferă una de alta numai în aranjamentul acestor celule pe diagonala principală.
- Numărul celulelor Iordaniei este de ordinul lui cu o valoare proprie în forma Iordaniei a matricei poate fi calculat din formula
\ operatorname (A - \ lambda I) ^ -2 \ operatorname (A - \ lambda I) ^ + \ operatorname (A - \ lambda I)
unde Este matricea de identitate de aceeași ordine ca și , simbol denotă rangul matricei. și , prin definiție, este egal cu ordinea . Formula de mai sus rezultă din egalitate- În cazul în care câmpul nu este închis algebric. pentru ca matricea era similar cu anumite blocuri din Iordania, este necesar și suficient ca domeniul conține toate rădăcinile polinomului caracteristic al matricei .
- Într-o matrice hermitiană, toate celulele Iordaniei au dimensiunea 1.
- Este matricea unui operator liniar în baza canonică.
- Formele Iordaniei a două matrici similare coincid până la ordinea celulelor.
Una dintre primele forme de matrice a fost considerată de Iordan.
Variații și generalizări
- Deasupra câmpului numerelor reale, valorile proprii ale matricei (adică rădăcinile polinomului caracteristic) pot fi fie reale, fie complexe, iar valorile proprii complexe, dacă există, sunt prezente în perechi împreună cu conjugatele lor complexe: , unde și Sunt numere reale, . Într-un spațiu real, o pereche de valori proprii complexe corespunde unui bloc , și la forma de mai sus a matricelor din Iordania, matrice care conțin și blocuri ale formei , corespunzătoare perechilor de valori proprii complexe: [1] [2]
- O teoremă despre forma normală a Iordaniei este un caz special al teoremei privind structura modulelor generate finit în domenii ale principalelor idealuri. Într-adevăr, clasificarea matricelor corespunde clasificării operatorilor liniari. și spațiile vectoriale deasupra câmpului cu un operator liniar fix corespund bijectiv cu modulele de pe inelul polinomilor (multiplicarea vectorului prin este definită ca aplicarea unui operator liniar).
- Pe lângă forma normală a Iordaniei, sunt luate în considerare și alte tipuri de forme matrice normale (de exemplu, forma normală Frobenius). Acestea sunt considerate în special atunci când câmpul de sol nu conține toate rădăcinile polinomului caracteristic al matricei date.