Traza (álxebra linear)
En álxebra linear, a traza dunha matriz cadrada Modelo:Math, denotada como Modelo:Math, [1] defínese como a suma de elementos da diagonal principal (desde a parte superior esquerda ata a inferior dereita) de Modelo:Math. A traza só se define para unha matriz cadrada (Modelo:Math).
A traza está relacionada coa derivada do determinante (ver fórmula de Jacobi).
Definición
A traza dunha matriz cadrada Modelo:Math, Modelo:Math, defínese como [1] [2] [3]Modelo:Rp</ref>Modelo:Rp onde Modelo:Math denota a entrada na fila Modelo:Mvar e na columna Modelo:Mvar de Modelo:Math. As entradas de Modelo:Math poden ser números reais, números complexos ou máis xeralmente elementos dun corpo Modelo:Mvar. A traza non está definida para matrices non cadradas.
Exemplo
Sexa Modelo:Math unha matriz, con
Logo
Propiedades
Propiedades básicas
A traza é un aplicación linear. É dicir, [1] [2] para todas as matrices cadradas Modelo:Math e Modelo:Math, e todos os escalares Modelo:Mvar . [3]Modelo:Rp
Unha matriz e a súa transposta teñen a mesma traza: [1] [2] [3]Modelo:Rp
Traza dun produto
A traza dunha matriz cadrada que é o produto de dúas matrices pódese reescribir como a suma dos produtos de entrada dos seus elementos, é dicir, como a suma de todos os elementos do seu produto de Hadamard. Dito directamente, se Modelo:Math e Modelo:Math son dúas matrices Modelo:Math, daquela:
Propiedade cíclica
De forma máis xeral, a traza é invariante baixo desprazamentos circulares, é dicir,
Isto coñécese como a propiedade cíclica.
Non se permiten permutacións arbitrarias: en xeral,
Traza dun produto Kronecker
A traza do produto de Kronecker de dúas matrices é o produto das súas trazas:
Traza como suma de valores propios
Dado calquera matriz Modelo:Math, Modelo:Math, temos
onde Modelo:Math son os eigenvalores de Modelo:Math contados con multiplicidade. Isto é certo aínda que Modelo:Math sexa unha matriz real e algúns (ou todos) os valores propios sexan números complexos. Isto pódese considerar como unha consecuencia da existencia da forma canónica de Jordan, xunto coa semellanza-invarianza da traza.