Eigenvalues
When A x = λ x Ax = \lambda x A x = λ x with x ≠ 0 x \neq 0 x = 0 , λ \lambda λ is an eigenvalue with eigenvector x x x . Singular matrices have 0 as an eigenvalue.
The characteristic polynomial is
p A ( t ) = det ( t I − A ) p_A(t) = \det(tI - A) p A ( t ) = det ( t I − A )
det ( λ I − A ) = 0 ⇒ λ \det(\lambda I - A) = 0 \Rightarrow \lambda det ( λ I − A ) = 0 ⇒ λ is an eigenvalue, since λ I − A \lambda I - A λ I − A has a nontrivial kernel. So the roots of p A p_A p A are the eigenvalues.
e i g s p a c e ( λ ) = ker ( λ I − A ) = s p a n { eigenvectors of λ } \mathrm{eigspace}(\lambda) = \ker(\lambda I - A) = \mathrm{span}\{\text{eigenvectors of } \lambda\} eigspace ( λ ) = ker ( λ I − A ) = span { eigenvectors of λ }
σ ( A ) \sigma(A) σ ( A ) is the spectrum of A A A , the set of its eigenvalues.
a l m u ( λ ) \mathrm{almu}(\lambda) almu ( λ ) is the multiplicity of λ \lambda λ as a root of p A p_A p A ,
g e m u ( λ ) = dim ( e i g s p a c e ( λ ) ) \mathrm{gemu}(\lambda) = \dim(\mathrm{eigspace}(\lambda)) gemu ( λ ) = dim ( eigspace ( λ )) ,
1 ≤ g e m u ( λ ) ≤ a l m u ( λ ) 1 \le \mathrm{gemu}(\lambda) \le \mathrm{almu}(\lambda) 1 ≤ gemu ( λ ) ≤ almu ( λ ) .
The spectral radius is ρ ( A ) = max λ ∈ σ ( A ) ∣ λ ∣ \rho(A) = \max_{\lambda \in \sigma(A)} |\lambda| ρ ( A ) = max λ ∈ σ ( A ) ∣ λ ∣ .
Eigenvectors of Distinct Eigenvalues
If F \mathfrak{F} F is a collection of eigenvectors of distinct eigenvalues, then F \mathfrak{F} F is linearly independent.
Proof Suppose not, and take x 1 , … , x k ∈ F x_1, \ldots, x_k \in \mathfrak{F} x 1 , … , x k ∈ F linearly dependent with k k k least. Then
α 1 x 1 + ⋯ + α k x k = 0 \alpha_1 x_1 + \cdots + \alpha_k x_k = 0 α 1 x 1 + ⋯ + α k x k = 0
with all α i ≠ 0 \alpha_i \neq 0 α i = 0 by minimality. Applying A A A ,
λ 1 α 1 x 1 + ⋯ + λ k α k x k = 0 \lambda_1 \alpha_1 x_1 + \cdots + \lambda_k \alpha_k x_k = 0 λ 1 α 1 x 1 + ⋯ + λ k α k x k = 0
Subtracting λ 1 \lambda_1 λ 1 times the first equation,
( λ 2 − λ 1 ) α 2 x 2 + ⋯ + ( λ k − λ 1 ) α k x k = 0 (\lambda_2 - \lambda_1) \alpha_2 x_2 + \cdots + (\lambda_k - \lambda_1) \alpha_k x_k = 0 ( λ 2 − λ 1 ) α 2 x 2 + ⋯ + ( λ k − λ 1 ) α k x k = 0
a dependence among k − 1 k - 1 k − 1 of them with nonzero coefficients, contradicting minimality.
Diagonalization
If A , B A, B A , B are similar then p A = p B p_A = p_B p A = p B .
A A A is diagonalizable when it's similar to a diagonal matrix. A A A is diagonalizable ⟺ \iff ⟺ A A A has n n n linearly independent eigenvectors.
Proof A = S D S − 1 ⟺ A S = S D A = SDS^{-1} \iff AS = SD A = S D S − 1 ⟺ A S = S D , which column by column reads
A [ S ( 1 ) ∣ ⋯ ∣ S ( n ) ] = [ S ( 1 ) ∣ ⋯ ∣ S ( n ) ] [ d 11 ⋱ d n n ] A[S^{(1)} | \cdots | S^{(n)}] = [S^{(1)} | \cdots | S^{(n)}] \begin{bmatrix} d_{11} & & \\ & \ddots & \\ & & d_{nn} \end{bmatrix} A [ S ( 1 ) ∣ ⋯ ∣ S ( n ) ] = [ S ( 1 ) ∣ ⋯ ∣ S ( n ) ] d 11 ⋱ d nn
i.e. A S ( i ) = d i i S ( i ) AS^{(i)} = d_{ii} S^{(i)} A S ( i ) = d ii S ( i ) , and the S ( i ) S^{(i)} S ( i ) are linearly independent iff S − 1 S^{-1} S − 1 exists.
So n n n distinct eigenvalues ⇒ \Rightarrow ⇒ diagonalizable.
Trace and Determinant
Let S i S_i S i be the sum of all products of i i i of the eigenvalues, and E i E_i E i the sum of all i × i i \times i i × i principal minors,
S i = ∑ 1 ≤ j 1 < ⋯ < j i ≤ n λ j 1 ⋯ λ j i , E i = ∑ M an i × i principal submatrix of A det M S_i = \sum_{1 \le j_1 < \cdots < j_i \le n} \lambda_{j_1} \cdots \lambda_{j_i}, \qquad E_i = \sum_{\substack{M \text{ an } i \times i \text{ principal} \\ \text{submatrix of } A}} \det M S i = 1 ≤ j 1 < ⋯ < j i ≤ n ∑ λ j 1 ⋯ λ j i , E i = M an i × i principal submatrix of A ∑ det M
So S 1 = ∑ λ i S_1 = \sum \lambda_i S 1 = ∑ λ i and E 1 = t r ( A ) E_1 = \mathrm{tr}(A) E 1 = tr ( A ) . Expanding p A p_A p A two ways,
p A ( t ) = t n − S 1 t n − 1 + S 2 t n − 2 − ⋯ + ( − 1 ) n S n = t n − E 1 t n − 1 + E 2 t n − 2 − ⋯ + ( − 1 ) n E n \begin{aligned}
p_A(t) &= t^n - S_1 t^{n-1} + S_2 t^{n-2} - \cdots + (-1)^n S_n \\
&= t^n - E_1 t^{n-1} + E_2 t^{n-2} - \cdots + (-1)^n E_n
\end{aligned} p A ( t ) = t n − S 1 t n − 1 + S 2 t n − 2 − ⋯ + ( − 1 ) n S n = t n − E 1 t n − 1 + E 2 t n − 2 − ⋯ + ( − 1 ) n E n
So S i = E i S_i = E_i S i = E i , which gives
t r ( A ) = ∑ i λ i , det ( A ) = ∏ i λ i \mathrm{tr}(A) = \sum_i \lambda_i, \qquad \det(A) = \prod_i \lambda_i tr ( A ) = i ∑ λ i , det ( A ) = i ∏ λ i
Block Triangular Matrices
σ ( [ C 11 ∗ 0 ⋱ ] ) = ⋃ i σ ( C i i ) \sigma\left(\begin{bmatrix} C_{11} & * \\ 0 & \ddots \end{bmatrix}\right) = \bigcup_i \sigma(C_{ii}) σ ( [ C 11 0 ∗ ⋱ ] ) = i ⋃ σ ( C ii )
since
p C ( t ) = det ( t I − C ) = det [ t I − C 11 ∗ 0 ⋱ ] = ∏ i det ( t I − C i i ) p_C(t) = \det(tI - C) = \det \begin{bmatrix} tI - C_{11} & * \\ 0 & \ddots \end{bmatrix} = \prod_i \det(tI - C_{ii}) p C ( t ) = det ( t I − C ) = det [ t I − C 11 0 ∗ ⋱ ] = i ∏ det ( t I − C ii )
A B AB A B and B A BA B A
For A ∈ M m , n A \in M_{m,n} A ∈ M m , n , B ∈ M n , m B \in M_{n,m} B ∈ M n , m with n ≥ m n \ge m n ≥ m ,
p B A ( t ) = t n − m p A B ( t ) p_{BA}(t) = t^{n-m} p_{AB}(t) p B A ( t ) = t n − m p A B ( t )
Proof
[ A B 0 B 0 ] [ I A 0 I ] = [ A B A B A B B A ] = [ I A 0 I ] [ 0 0 B B A ] \begin{bmatrix} AB & 0 \\ B & 0 \end{bmatrix} \begin{bmatrix} I & A \\ 0 & I \end{bmatrix} = \begin{bmatrix} AB & ABA \\ B & BA \end{bmatrix} = \begin{bmatrix} I & A \\ 0 & I \end{bmatrix} \begin{bmatrix} 0 & 0 \\ B & BA \end{bmatrix} [ A B B 0 0 ] [ I 0 A I ] = [ A B B A B A B A ] = [ I 0 A I ] [ 0 B 0 B A ]
so the two block matrices are similar, and their characteristic polynomials give t n p A B ( t ) = t m p B A ( t ) t^n p_{AB}(t) = t^m p_{BA}(t) t n p A B ( t ) = t m p B A ( t ) . In particular
σ ( A B ) ∪ { 0 } = σ ( B A ) ∪ { 0 } \sigma(AB) \cup \{0\} = \sigma(BA) \cup \{0\} σ ( A B ) ∪ { 0 } = σ ( B A ) ∪ { 0 }
Simultaneous Diagonalization
A , B A, B A , B are simultaneously diagonalizable if there is an S S S such that S − 1 A S S^{-1}AS S − 1 A S and S − 1 B S S^{-1}BS S − 1 BS are both diagonal.
For diagonalizable A , B A, B A , B : A B = B A ⟺ A , B AB = BA \iff A, B A B = B A ⟺ A , B are simultaneously diagonalizable.
( ⇐ ) (\Leftarrow) ( ⇐ ) A = S D S − 1 A = SDS^{-1} A = S D S − 1 , B = S D ′ S − 1 B = SD'S^{-1} B = S D ′ S − 1 , so A B = S D D ′ S − 1 = S D ′ D S − 1 = B A AB = SDD'S^{-1} = SD'DS^{-1} = BA A B = S D D ′ S − 1 = S D ′ D S − 1 = B A .
If A , B ∈ M n A, B \in M_n A , B ∈ M n commute, there is a permutation π \pi π of { 1 , … , n } \{1, \ldots, n\} { 1 , … , n } such that
σ ( A + B ) = { λ i ( A ) + λ π ( i ) ( B ) : i = 1 , … , n } , σ ( A B ) = { λ i ( A ) λ π ( i ) ( B ) : i = 1 , … , n } \sigma(A + B) = \{\lambda_i(A) + \lambda_{\pi(i)}(B) : i = 1, \ldots, n\}, \qquad \sigma(AB) = \{\lambda_i(A) \lambda_{\pi(i)}(B) : i = 1, \ldots, n\} σ ( A + B ) = { λ i ( A ) + λ π ( i ) ( B ) : i = 1 , … , n } , σ ( A B ) = { λ i ( A ) λ π ( i ) ( B ) : i = 1 , … , n }
Idempotent Matrices
Let A 2 = A A^2 = A A 2 = A . If A x = λ x Ax = \lambda x A x = λ x then λ x = A 2 x = λ 2 x \lambda x = A^2 x = \lambda^2 x λ x = A 2 x = λ 2 x , so every eigenvalue is 1 or 0. Since t 2 − t t^2 - t t 2 − t annihilates A A A and has distinct roots, A A A is diagonalizable (see minimal polynomial ).
Then A = S D S − 1 A = SDS^{-1} A = S D S − 1 , A S = S D AS = SD A S = S D , where the first r r r columns of S S S are a basis for E 1 \mathcal{E}_1 E 1 and the rest a basis for E 0 \mathcal{E}_0 E 0 ,
A [ S ( 1 ) ∣ ⋯ ∣ S ( r ) ∣ S ( r + 1 ) ∣ ⋯ ∣ S ( n ) ] = [ S ( 1 ) ∣ ⋯ ∣ S ( r ) ∣ S ( r + 1 ) ∣ ⋯ ∣ S ( n ) ] D A[\, S^{(1)} | \cdots | S^{(r)} \mid S^{(r+1)} | \cdots | S^{(n)} \,] = [\, S^{(1)} | \cdots | S^{(r)} \mid S^{(r+1)} | \cdots | S^{(n)} \,] D A [ S ( 1 ) ∣ ⋯ ∣ S ( r ) ∣ S ( r + 1 ) ∣ ⋯ ∣ S ( n ) ] = [ S ( 1 ) ∣ ⋯ ∣ S ( r ) ∣ S ( r + 1 ) ∣ ⋯ ∣ S ( n ) ] D
For all x ∈ C n x \in \mathbb{C}^n x ∈ C n there are unique v ∈ E 1 v \in \mathcal{E}_1 v ∈ E 1 , w ∈ E 0 w \in \mathcal{E}_0 w ∈ E 0 with x = v + w x = v + w x = v + w , and A x = A v + A w = v Ax = Av + Aw = v A x = A v + A w = v . So A A A is a projection onto E 1 \mathcal{E}_1 E 1 along E 0 \mathcal{E}_0 E 0 .
Gersgorin Disks
For A ∈ M n A \in M_n A ∈ M n , the i i i th Gersgorin disk is centered at the diagonal entry with radius the moduli of the rest of the row summed,
D i = { z ∈ C : ∣ z − a i i ∣ ≤ ∑ j ≠ i ∣ a i j ∣ } , G ( A ) = ⋃ i = 1 n D i D_i = \Big\{z \in \mathbb{C} : |z - a_{ii}| \le \sum_{j \neq i} |a_{ij}|\Big\}, \qquad G(A) = \bigcup_{i=1}^{n} D_i D i = { z ∈ C : ∣ z − a ii ∣ ≤ j = i ∑ ∣ a ij ∣ } , G ( A ) = i = 1 ⋃ n D i
σ ( A ) ⊆ G ( A ) \sigma(A) \subseteq G(A) σ ( A ) ⊆ G ( A ) , and if a connected component of G ( A ) G(A) G ( A ) consists of k k k disks, then exactly k k k eigenvalues (counting multiplicity) are in it.