대각합
📂Matrix Algebra 대각합 Definition Let the matrix A A A be given as follows.
A = [ a 11 a 12 ⋯ a 1 n a 21 a 22 ⋯ a 2 n ⋮ ⋮ ⋱ ⋮ a n 1 a n 2 ⋯ a n n ]
A= \begin{bmatrix}
a_{11} & a_{12} & \cdots & a_{1n}
\\ a_{21} & a_{22} & \cdots & a_{2n}
\\ \vdots & \vdots & \ddots & \vdots
\\ a_{n1} & a_{n2} & \cdots & a_{nn}
\end{bmatrix}
A = a 11 a 21 ⋮ a n 1 a 12 a 22 ⋮ a n 2 ⋯ ⋯ ⋱ ⋯ a 1 n a 2 n ⋮ a nn
The sum of the diagonal elements of A A A is defined as the trace of A A A , and it is denoted as follows.
tr ( A ) = Tr ( A ) = a 11 + a 22 + ⋯ + a n n = ∑ i = 1 n a i i
\text{tr}(A)=\text{Tr}(A)=a_{11}+a_{22}+\cdots + a_{nn}=\sum \limits_{i=1}^{n} a_{ii}
tr ( A ) = Tr ( A ) = a 11 + a 22 + ⋯ + a nn = i = 1 ∑ n a ii
Explanation The trace can also be considered as a function in the following way. Let M n × n ( R ) M_{n\times n}(\mathbb{R}) M n × n ( R ) be the set of n × n n\times n n × n matrices with real components. Then, Tr \text{Tr} Tr is a function defined as follows.
Tr : M n × n ( R ) → R , Tr ( A ) = ∑ i = 1 n a i i
\text{Tr} : M_{n\times n} (\mathbb{R}) \to \mathbb{R},\quad \text{Tr}(A)=\sum \limits_{i=1}^{n} a_{ii}
Tr : M n × n ( R ) → R , Tr ( A ) = i = 1 ∑ n a ii
If the trace is a function, there’s no reason it can’t be differentiated.
Properties Let A , B , C A,B,C A , B , C be a n × n n \times n n × n matrix and k k k be a constant.
(a) The trace of a scalar multiple is the same as the scalar multiple of the trace.
Tr ( k A ) = k Tr ( A )
\text{Tr}(kA)= k\text{Tr}(A)
Tr ( k A ) = k Tr ( A )
(b) The trace of a sum is the same as the sum of the traces.
Tr ( A + B ) = Tr ( A ) + Tr ( B )
\text{Tr}(A+B)=\text{Tr}(A)+\text{Tr}(B)
Tr ( A + B ) = Tr ( A ) + Tr ( B )
(a)+(b) The trace is linear .
Tr ( k A + B ) = k Tr ( A ) + Tr ( B )
\text{Tr}(kA+B)=k\text{Tr}(A)+\text{Tr}(B)
Tr ( k A + B ) = k Tr ( A ) + Tr ( B )
(c) The trace of A B AB A B is the same as the trace of B A BA B A .
Tr ( A B ) = Tr ( B A )
\text{Tr}(AB) = \text{Tr}(BA)
Tr ( A B ) = Tr ( B A )
(c’) Cyclic Property: From the above fact, it can be inferred that the following equation holds.Tr ( A B C ) = Tr ( B C A ) = Tr ( C A B )
\text{Tr}(ABC) = \text{Tr}(BCA) = \text{Tr}(CAB)
Tr ( A BC ) = Tr ( BC A ) = Tr ( C A B )
(c") It actually holds for any A ∈ R n × k A \in \mathbb{R}^{n \times k} A ∈ R n × k and B ∈ R k × n B \in \mathbb{R}^{k \times n} B ∈ R k × n as well.(d) The trace of A A A is the same as the trace of A T A^{T} A T .
Tr ( A ) = Tr ( A T )
\text{Tr}(A) = \text{Tr}(A^{T})
Tr ( A ) = Tr ( A T )
Proof