5
$\begingroup$

Suppose $A$ and $B$ are two commuting square matrices over an algebraically closed field. It is true that the spectrum of $A+B$ is contained in the set $\{\lambda_1+\lambda_2:\lambda_1 \in \sigma(A), \lambda_2 \in \sigma(B)\}$ where $\sigma(A)$ denotes the spectrum of $A$?

If so, can you provide a reference for this? can more be said?

Thanks

4 Answers 4

9

Diagonalizable matrices

Let's say that $A$ and $B$ are diagonalizable. Then, since they commute, there exists an invertible matrix $T$ such that both $T^{-1}AT = D_A$ and $T^{-1}BT = D_B$ are diagonal matrices (Horn & Johnson, Matrix Analysis, page 52). The elements of the diagonal matrices are the eigenvalues. Thus we get:

$A + B = TD_AT^{-1} + TD_BT^{-1} = T(D_A + D_B)T^{-1}$

and so the eigenvalues of $A+B$ have the desired form.

General case

In the general case you can use simultaneous triangularization. The idea is the same, since $A$ and $B$ commute, there exists a unitary $U$ such that $U^*AU = T_A$ and $U^*BU = T_B$ where $T_A$ and $T_B$ are upper triangular matrices with the eigenvalues on the diagonal (Horn & Johnson, Matrix Analysis, page 81). Now we get:

$A+B = U(T_A+T_B)U^*$

and thus the eigenvalues have the desired form.

5

Frobenius has proved that commuting matrices over an algebraically closed field can be simultaneously brought into upper triangular form (this holds more generally for a solvable Lie algebras of matrices by Lie's theorem). To prove this for commuting matrices, show that they have a simultaneous eigenvector and proceed by induction on the dimension.

One way to prove this last fact (again for commuting matrices) is to use the Hilbert Nullstellensatz, see here, a nice proof of which you can find online e.g. on p.116 of Pete L. Clark's notes.

  • 0
    @Theorem: Section 11 in the current version is called Nullstellensätze and in any case the pdf is fully searchable...2013-02-03
1

Yes.

Matrix Analysis by Horn and Johnson has a proof.

  • 0
    The proof uses the fact that commuting matrices can be simultaneously upper-triangularized. They follow with an example where the other direction doesn't hold.2011-01-29
0

Yes see this(article about commutating matrices). In particular, if $\alpha_i$ and $\beta_j$ are the eigenvalues of $A$ and $B$, then one can choose an eigenbasis such that the eigenvalues of $A+B$ are $\alpha_i+ \beta_j$.