Diagonální matice
V lineární algebře , je diagonální matice je čtvercová matice , jejíž koeficienty mimo hlavní diagonály jsou nulové. Koeficienty úhlopříčky mohou nebo nemusí být nulové.
Diagonální matice je matice, která odpovídá reprezentaci části diagonalizable endomorfismů v základu z vektorů . Matice diagonalizovatelného endomorfismu je podobná diagonální matici.
Libovolná diagonální matice je symetrická , normální a trojúhelníková . Matice identity I n je diagonální.
Definice
O čtvercové matici se říká, že je diagonální, pokud:
D=(di,j)1≤i,j≤ne{\ displaystyle D = (d_ {i, j}) _ {1 \ leq i, j \ leq n}}
∀(i,j)∈[[1,ne]]2, i≠j ⇒ di,j=0.{\ displaystyle \ forall (i, j) \ v [\! [1, n] \!] ^ {2}, \ i \ neq j \ \ Rightarrow \ d_ {i, j} = 0.}Příklady
Následující matice jsou diagonální:
(10000i0000-10000-i),(10000000-3),(0001),(1).{\ displaystyle {\ begin {pmatrix} 1 & 0 & 0 & 0 \\ 0 & \ mathrm {i} & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & - \ mathrm {i} \ end {pmatrix}}, \ quad {\ begin {pmatrix} 1 & 0 & 0 \ \ 0 & 0 & 0 \\ 0 & 0 & -3 \ end {pmatrix}}, \ quad {\ begin {pmatrix} 0 a 0 \\ 0 a 1 \ end {pmatrix}}, \ quad {\ begin {pmatrix} 1 \ end {pmatrix}}.}Na druhou stranu následující matice nejsou diagonální:
(000100-100i001000),(10002100-3),(0100).{\ displaystyle {\ begin {pmatrix} 0 & 0 & 0 & 1 \\ 0 & 0 & -1 & 0 \\ 0 & \ mathrm {i} & 0 & 0 \\ 1 & 0 & 0 & 0 \ end {pmatrix}}, \ quad {\ begin {pmatrix} 1 & 0 & 0 \\ 0 & 2 & 1 \\ 0 & 0 & - 3 \ end {pmatrix}}, \ quad {\ begin {pmatrix} 0 & 1 \\ 0 a 0 \ end {pmatrix}}.}Hodnocení
Vzhledem k tomu, že diagonální matice je zcela určena seznamem jejích diagonálních prvků, je často přijata následující stručnější notace:
diag(na1,na2,...,nane)=(na10...00na2⋱⋮⋮⋱⋱00...0nane).{\ displaystyle \ operatorname {diag} (a_ {1}, a_ {2}, \ ldots, a_ {n}) = {\ begin {pmatrix} a_ {1} & 0 & \ ldots & 0 \\ 0 & a_ {2} & \ ddots & \ vdots \\\ vdots & \ ddots & \ ddots & 0 \\ 0 & \ ldots & 0 & a_ {n} \ end {pmatrix}}.}Použití
Diagonální matice se objevují téměř ve všech oblastech lineární algebry. Násobení diagonálních matic je velmi jednoduchá; pokud lze zajímavou matici určitým způsobem nahradit diagonální maticí, pak budou výpočty, které ji zahrnují, rychlejší a matice se snáze uloží do paměti. Jedním ze způsobů vytvoření úhlopříčky některých matic je diagonalizace .
Téměř diagonální matice (pak se říká, že je to dominantní diagonální matice ) může být obrácena, aniž by došlo k průniku jejích Gershgorinových kruhů .
Diagonální matice řádu n s koeficienty v K má přirozeně vlastních vektorů (vektorů podle kanonické základě z K n ) a jeho diagonální koeficienty jsou spojené vlastní hodnoty .
Je-li normální matice je trojúhelníkový , pak je úhlopříčka.
Složitá matice je normální, právě když je jednotně podobná diagonální matici.
Viz také rozklad singulární hodnoty , podle kterého je jakákoli složitá matice (ne nutně čtvercová) jednotně ekvivalentní pozitivní diagonální matici lemované nulami.
Vlastnosti
Násobení
- Pokud je matice, pak:
M{\ displaystyle M}ne×m{\ displaystyle n \ krát m}
-
diag(na1,...,nane)M{\ displaystyle \ operatorname {diag} (a_ {1}, \ dots, a_ {n}) M}se odvodí z vynásobením, pro všechny z až se tý řádek o ;M{\ displaystyle M}i{\ displaystyle i}1{\ displaystyle 1}ne{\ displaystyle n}i{\ displaystyle i}M{\ displaystyle M}nai{\ displaystyle a_ {i}}
-
Mdiag(b1,...,bm){\ displaystyle M \ operatorname {diag} (b_ {1}, \ dots, b_ {m})}se odvodí z vynásobením pro všechny od do , na tý sloupec o .M{\ displaystyle M}j{\ displaystyle j}1{\ displaystyle 1}m{\ displaystyle m}j{\ displaystyle j}M{\ displaystyle M}bj{\ displaystyle b_ {j}}
- Zejména, diag(na1,...,nane)diag(b1,...,bne)=diag(na1b1,...,nanebne){\ displaystyle \ operatorname {diag} (a_ {1}, \ dots, a_ {n}) \ operatorname {diag} (b_ {1}, \ dots, b_ {n}) = \ operatorname {diag} (a_ { 1} b_ {1}, \ dots, a_ {n} b_ {n})}
proto .∀k∈NE∗diag(na1,...,nane)k=diag(na1k,...,nanek){\ displaystyle \ forall k \ in \ mathbb {N} ^ {*} \ quad \ operatorname {diag} (a_ {1}, \ dots, a_ {n}) ^ {k} = \ operatorname {diag} (a_ {1} ^ {k}, \ dots, a_ {n} ^ {k})}
- Pro každý komutativní kruhu A , diagonální matice, aby n tvoří komutativní podalgebry zMne(NA){\ displaystyle \ mathrm {M} _ {n} (A)}
Jinými slovy, pro všechny diagonální matice a my máme:D=diag((di)1≤i≤ne){\ displaystyle D = \ operatorname {diag} ((d_ {i}) _ {1 \ leq i \ leq n})}E=diag((Ei)1≤i≤ne){\ displaystyle E = \ operatorname {diag} ((e_ {i}) _ {1 \ leq i \ leq n})}
- ∀(λ,μ)∈NA2λD+μE=diag((λdi+μEi)1≤i≤ne){\ displaystyle \ forall (\ lambda, \ mu) \ v A ^ {2} \ quad \ lambda D + \ mu E = \ operatorname {diag} ((\ lambda d_ {i} + \ mu e_ {i}) _ {1 \ leq i \ leq n})}
- DE=ED=diag((diEi)1≤i≤ne){\ displaystyle DE = ED = \ operatorname {diag} ((d_ {i} e_ {i}) _ {1 \ leq i \ leq n})}
Určující
Determinant z diagonální matice je rovna součinu jeho diagonální prvky:
det(diag(na1,na2,...,nane))=|na10...00na2⋱⋮⋮⋱⋱00...0nane|=∏k=1nenak{\ displaystyle \ det (\ operatorname {diag} (a_ {1}, a_ {2}, \ ldots, a_ {n})) = {\ begin {vmatrix} a_ {1} & 0 & \ ldots & 0 \ \ 0 & a_ {2} & \ ddots & \ vdots \\\ vdots & \ ddots & \ ddots & 0 \\ 0 & \ ldots & 0 & a_ {n} \ end {vmatrix}} = \ prod _ {k = 1} ^ {n} a_ {k}}
Reverzibilita
Podle expresi produktů diagonální matice jakýmkoli matice ( viz výše ), diagonální matice, s koeficienty v jednotné kruhu A (ne nutně komutativní) je invertibilní v právě tehdy, když všechny jsou invertibilní v A (tj non -zero, pokud A je pole ) a v tomto případě,
diag(na1,na2,...,nane){\ displaystyle \ operatorname {diag} (a_ {1}, a_ {2}, \ tečky, a_ {n})} Mne(NA){\ displaystyle \ mathrm {M} _ {n} (A)}nai{\ displaystyle a_ {i}}
diag(na1,na2,...,nane)-1=diag(1/na1,1/na2,...,1/nane){\ displaystyle \ operatorname {diag} (a_ {1}, a_ {2}, \ dots, a_ {n}) ^ {- 1} = \ operatorname {diag} (1 / a_ {1}, 1 / a_ { 2}, \ tečky, 1 / a_ {n})}.
Díky tomu je možné pro invertibilní diagonální matici rozšířit na celočíselné relativní exponenty pravidlo pro výpočet pravomocí, které jsme viděli dříve.
Skalární matice
Skalární matice je diagonální matice (s koeficienty v kruhu ), z nichž všechny diagonální koeficienty jsou stejné, to znamená, že ve tvaru λ I n , kde λ je skalární a I n identita matice řádu n .
Jinými slovy, je skalární matice, pokud D je čtverec a pokud:
D=(nai,j){\ displaystyle D = (a_ {i, j})}
nai,j={λ-li i=j0-li i≠j{\ displaystyle a_ {i, j} = {\ začátek {případů} \ lambda & {\ text {si}} i = j \\ 0 & {\ text {si}} i \ neq j \ end {případů}} }
to znamená, že všechny prvky na hlavní úhlopříčce jsou stejné a všechny ostatní prvky jsou nulové.
To je matice v každém základě na vektoru škálování poměru .
λ{\ displaystyle \ lambda}
Jestliže K je komutativní těleso je střed na lineární skupiny GL ( n , K ) je vytvořena skalární nenulové matice v n řádků a n sloupců a s koeficienty v K . Obecněji, v případě, je jednotkový kruh, centrum GL ( n , ) je tvořena nenulových skalárních matric o velikosti n koeficientů v centru A .
Poznámky a odkazy
-
N. Bourbaki , Algebra , kap. 2, Paříž, 1970, s. II.151.
-
Viz například (v) JJ Rotman, Úvod do teorie skupin , 4 th edition, vydání 1999, Věty 8,9, s. 222.
-
(in) VP Platonov , „General linear group“ in Michiel Hazewinkel , Encyclopedia of Mathematics , Springer ,2002( ISBN 978-1556080104 , číst online ).
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">