Matriz diagonal

En álxebra linear, unha matriz diagonal é unha matriz na que as entradas á parte da diagonal principal son todas cero; o termo refírese xeralmente a matrices cadradas. Os elementos da diagonal principal poden ser cero ou distintos de cero. Un exemplo de matriz diagonal 2×2 é $\left[\begin{array}{cc}3& 0\\ 0& 2\end{array}\right]$, mentres que un exemplo dunha matriz diagonal 3×3 é $\left[\begin{array}{ccc}6& 0& 0\\ 0& 5& 0\\ 0& 0& 4\end{array}\right]$. Unha matriz de identidade de calquera tamaño, ou calquera múltiplo dela é unha matriz diagonal chamada <i id="mwEQ">matriz escalar</i>, por exemplo, $\left[\begin{array}{cc}0.5& 0\\ 0& 0.5\end{array}\right]$.

Definición

Como se indicou anteriormente, unha matriz diagonal é unha matriz na que todas as entradas fóra da diagonal son cero. É dicir, a matriz Modelo:Math con Modelo:Mvar columnas e Modelo:Mvar filas é diagonal se$$\mathrm{\forall }i,j\in \{1,2,\dots ,n\},i\ne j⟹d_{i,j}=0.$$Porén, as principais entradas diagonais non están restrinxidas.

A seguinte matriz é unha matriz diagonal cadrada:$$\left[\begin{array}{ccc}1& 0& 0\\ 0& 4& 0\\ 0& 0& -2\end{array}\right]$$Se as entradas son números reais ou complexos, entón tamén é unha matriz normal.

Operador diag de vector a matriz

Unha matriz diagonal $𝐃$ pódese construír a partir dun vector $𝐚={\left[\begin{array}{ccc}{a}_1& \cdots & a_n\end{array}\right]}^{\mathsf{\text{T}}}$ usando o operador $\mathrm{diag}$:$$𝐃=\mathrm{diag}(a_1,\dots ,a_n)$$Isto pódese escribir de forma máis compacta como $𝐃=\mathrm{diag}(𝐚)$.

O operador $\mathrm{diag}$ pode escribirse como:$$\mathrm{diag}(𝐚)=\left(𝐚{\mathrm{𝟏}}^{\mathsf{\text{T}}}\right)\circ 𝐈$$onde $\circ$ representa o produto Hadamard e $\mathrm{𝟏}$ é un vector constante cos elementos 1.

Operador diag de matriz a vector

O operador inverso $\mathrm{diag}$ de matriz a vector é ás veces denotado polo nome idéntico $\mathrm{diag}(𝐃)={\left[\begin{array}{ccc}{a}_1& \cdots & a_n\end{array}\right]}^{\mathsf{\text{T}}}$ onde o argumento é agora unha matriz e o resultado é un vector das súas entradas diagonais.

Mantén a seguinte propiedade:$$\mathrm{diag}(𝐀𝐁)=\sum _j{(𝐀\circ {𝐁}^{\mathsf{\text{T}}})}_{ij}=(𝐀\circ {𝐁}^{\mathsf{\text{T}}})\mathrm{𝟏}$$

Matriz escalar

Unha matriz diagonal con entradas diagonais iguais é unha matriz escalar; é dicir, un múltiplo escalar λ da matriz identidade Modelo:Mvar. O seu efecto sobre un vector é a multiplicación escalar por λ . Por exemplo, unha matriz escalar 3×3 ten a forma:$$\left[\begin{array}{ccc}\lambda & 0& 0\\ 0& \lambda & 0\\ 0& 0& \lambda \end{array}\right]\equiv \lambda {𝑰}_3$$As matrices escalares son o centro da álxebra das matrices: é dicir, son precisamente as matrices que conmutan con todas as demais matrices cadradas do mesmo tamaño. Pola contra, sobre un corpo (como os números reais), unha matriz diagonal con todos os elementos diagonais distintos só conmuta coas matrices diagonais (o seu centralizador é o conxunto de matrices diagonais). Isto é porque se unha matriz diagonal $𝐃=\mathrm{diag}(a_1,\dots ,a_n)$ ten $a_i\ne a_j,$ entón dada unha matriz $𝐌$ con $m_{ij}\ne 0,$ o termo $(i,j)$ dos produtos é: $(𝐃𝐌{)}_{ij}=a_i{m}_{ij}$ e $(𝐌𝐃{)}_{ij}=m_{ij}{a}_j,$ e $a_j{m}_{ij}\ne m_{ij}{a}_i$ (xa que se pode dividir por $m_{ij}$), polo que non conmutan a menos que os termos fóra da diagonal sexan cero. Sibre aneis máis xenéricos, isto non se cumpre, porque non sempre se pode dividir. As matrices diagonais onde as entradas diagonais non son todas iguais ou todas distintas teñen centralizadores intermedios entre todo o espazo e só matrices diagonais.

Para un espazo vectorial abstracto V (en lugar do espazo vectorial concreto $K^n$), o análogo das matrices escalares son as transformacións escalares. Isto é así máis xenéricamente para un módulo M sobre un anel R, coa álxebra de endomorfismo End(M) (álxebra de operadores lineais en M) substituíndo a álxebra de matrices. Formalmente, a multiplicación escalar é un mapa linear, que induce un mapa $R\to \mathrm{End}(M),$ (dende un escalar λ á súa transformación escalar correspondente, multiplicación por λ) que presenta End( M) como unha R - álxebra. Para os espazos vectoriais, as transformadas escalares son exactamente o centro da álxebra do endomorfismo e, do mesmo xeito, as transformadas escalares invertibles son o centro do grupo linear xeral GL(V). O primeiro é máis xeralmente verdadeiro como módulos libres $M\cong R^n$, para o cal a álxebra de endomorfismo é isomorfa a unha álxebra matricial.

Operacións vectoriais

Dada unha matriz diagonal $𝐃=\mathrm{diag}(a_1,\dots ,a_n)$ e un vector $𝐯={\left[\begin{array}{ccc}{x}_1& \cdots & x_n\end{array}\right]}^{\mathsf{\text{T}}}$, o produto é:$$𝐃𝐯=\mathrm{diag}(a_1,\dots ,a_n)\left[\begin{array}{c}{x}_1\\ ⋮\\ x_n\end{array}\right]=\left[\begin{array}{c}{a}_1\\ & \ddots \\ & & a_n\end{array}\right]\left[\begin{array}{c}{x}_1\\ ⋮\\ x_n\end{array}\right]=\left[\begin{array}{c}{a}_1{x}_1\\ ⋮\\ a_n{x}_n\end{array}\right].$$Isto pódese expresar de forma máis compacta usando un vector en lugar dunha matriz diagonal, $𝐝={\left[\begin{array}{ccc}{a}_1& \cdots & a_n\end{array}\right]}^{\mathsf{\text{T}}}$, e tomando o produto de Hadamard dos vectores (produto de entrada), denotado $𝐝\circ 𝐯$ :$$𝐃𝐯=𝐝\circ 𝐯=\left[\begin{array}{c}{a}_1\\ ⋮\\ a_n\end{array}\right]\circ \left[\begin{array}{c}{x}_1\\ ⋮\\ x_n\end{array}\right]=\left[\begin{array}{c}{a}_1{x}_1\\ ⋮\\ a_n{x}_n\end{array}\right].$$Isto é matematicamente equivalente, mais evita almacenar todos os ceros desta matriz dispersa.

Operacións matriciais

Para a suma temos$$\mathrm{diag}(a_1,\dots ,a_n)+\mathrm{diag}(b_1,\dots ,b_n)=\mathrm{diag}(a_1+b_1,\dots ,a_n+b_n)$$e para a multiplicación,$$\mathrm{diag}(a_1,\dots ,a_n)\mathrm{diag}(b_1,\dots ,b_n)=\mathrm{diag}(a_1{b}_1,\dots ,a_n{b}_n).$$A matriz diagonal Modelo:Math é invertible se e só se as entradas Modelo:Math son todas distintos de cero. Neste caso, temos$$\mathrm{diag}(a_1,\dots ,a_n{)}^{-1}=\mathrm{diag}(a_1^{-1},\dots ,a_n^{-1}).$$En particular, as matrices diagonais forman un subanel do anel de todas as matrices $n\times n$.

Matriz de operadores en eigenbase

Hai unha base especial, Modelo:Math, para a que a matriz $𝐀$ toma a forma diagonal. Polo tanto, na ecuación definitoria $𝐀{𝐞}_j=\sum _i{a}_{i,j}{𝐞}_i$, todos os coeficientes $a_{i,j}$ con Modelo:Math son cero, ficando só un termo por suma. Os elementos diagonais superviventes, $a_{i,i}$, coñécense como eigenvalues (ou valor propio) e desígnanse con ${\lambda }_i$ na ecuación, que se reduce a $𝐀{𝐞}_i={\lambda }_i{𝐞}_i$. A ecuación resultante coñécese como ecuación de valor propio e úsase para derivar o polinomio característico e, ademais, os valores propios e os vectores propios .

Noutras palabras, os valores propios de Modelo:Math son Modelo:Math Modelo:Math con vectores propios asociados de Modelo:Math Modelo:Math .

Propiedades

• O determinante de Modelo:Math é o produto Modelo:Math .
• A adxunta dunha matriz diagonal é diagonal.
• Cando todas as matrices son cadradas,
  • Unha matriz é diagonal se e só se é triangular e normal.
  • Unha matriz é diagonal se e só se é triangular superior e inferior.
  • Unha matriz diagonal é simétrica.
• A matriz identidade Modelo:Mvar e a matriz cero son diagonais.
• Unha matriz 1×1 é sempre diagonal.
• O cadrado dunha matriz 2×2 con traza cero é sempre diagonal.

Aplicacións

Unha matriz $n\times n$ dada Modelo:Mvar é semellante a unha matriz diagonal (o que significa que hai unha matriz Modelo:Mvar tal que Modelo:Math é diagonal) se e só se ten Modelo:Mvar vectores propios linealmente independentes. Dise que tales matrices son diagonalizables.

Véxase tamén

Bibliografía

• Modelo:Cita libro

Outros artigos

• Matriz antidiagonal
• Matriz bidiagonal
• Matriz diagonalizable
• Forma normal de Jordan
• Matriz de Toeplitz