18.06.29: Complex matrices Lecturer: Barwick If it can be used again, it is not wisdom but theory. — James Richardson 18.06.29: Complex matrices Proposition. Any complex vector subspace π ⊂ Cπ of complex dimension π has an underlying real vector space of dimension 2π. To see why, take a C-basis {π€1 , … , π€π } of π. Now {π€1 , ππ€1 , … , π€π , ππ€π } is an R-basis of π. 18.06.29: Complex matrices In the other direction, a real vector subspace π ⊆ Rπ generates a complex vector subspace πC ⊆ Cπ , called the complexification; this is the set of all C-linear combinations of elements of π: π πC β {π€ ∈ Cπ | π€ = ∑ πΌπ π£π , for some πΌ1 , … , πΌπ ∈ C, π£1 , … , π£π ∈ π} . π=1 Note that not all complex vector subspaces of Cπ are themselves complexifiπ cations; the complex vector subspace π ⊂ C2 spanned by ( ) provides a 1 counterexample. (A complex vector space is a complexification if and only if it has a C-basis consisting of real vectors.) 18.06.29: Complex matrices Now, most importantly, we may speak of complex matrices (i.e., matrices with complex entries). All the algebra we’ve done with matrices over R works perfectly for matrices over C, without change. 18.06.29: Complex matrices However, the freedom to contemplate complex matrices offers us new horizons when it comes to questions about eigenspaces and diagonalization. Let’s contemplate the matrix 0 −1 π΄=( ). 1 0 The characteristic polynomial ππ΄ (π‘) = π‘ 2 + 1 doesn’t have any real roots, so there’s no hope of diagonalizing π΄ over R. Over C, however, we find eigenvalues π, −π. Let’s try to diagonalize π΄. 18.06.29: Complex matrices Let’s begin with πΏπ = ker(ππΌ − π΄) = ker ( spanned by the vector ( And πΏ−π = ker ( π 1 ). It’s dimension 1, and it’s −1 π 1 ). −π −π 1 1 ) is dimension 1 and spanned by ( ). −1 −π π 18.06.29: Complex matrices Note that neither πΏπ nor πΏ−π is a complexification. However, we do have a basis 1 1 {( ) , ( )} of C2 consisting of eigenvectors of π΄, and writing ππ΄ in −π π terms of this basis gives us the matrix ( π 0 ). 0 −π So π΄ is not diagonalizable over R, but it is diagonalizable over C. 18.06.29: Complex matrices More generally, if we’re looking at a real matrix of the form π=( π −π ), π π then π = ππ§ for π§ = π + ππ, and on the problem set, you’ll show that ππ (π‘) = π‘ 2 − (π§ + π§)π‘ + π§π§. The roots of this polynomial are π§ and π§. 18.06.29: Complex matrices So, very pleasantly, π is diagonalizable over C, and it’s similar to the matrix π=( π§ 0 ). 0 π§ 18.06.29: Complex matrices This game of going back and forth between π§ and ππ§ is helpful in other ways. For example, let’s take a 2 × 3 complex matrix π΄=( 1 2π 2 + 3π ). 1 − 4π 5π 1 − π We can replace each complex entry π§ with the 2×2 matrix ππ§ that corresponds to it, giving us a 4 × 6 real matrix ππ΄ … 18.06.29: Complex matrices 1 0 ππ΄ = ( 1 −4 0 1 4 1 0 −2 2 −3 2 0 3 2 ). 0 −5 1 1 5 0 −1 1 How is that helpful? Well, if we think of ππ΄ βΆ C3 C2 given by multiplication by π΄, we should be able to regard that as a linear map R6 R4 given by a 4 × 6 matrix. ππ΄ is precisely that matrix! 18.06.29: Complex matrices In particular, think about the transpose of ππ΄ . What complex matrix does it correpond to? 18.06.29: Complex matrices Our last midterm is Friday. (sniff!) βΆ I know you’re sad, but try to work through the hurt. βΆ Five questions, as usual. βΆ It covers everything up to this page of the lectures. βΆ I’m aiming for a mean of around 90 again. I missed last time, but I suspect that had more to do with the shittiness of that particular week than with your ability to do the math. 18.06.29: Complex matrices Back to our transpose: ( ππ΄βΊ = ( ( ( 1 0 0 −2 2 −3 0 1 −4 1 4 1 2 0 5 ) ). 0 −5 0 ) 3 1 −1 2 1 1 ) and let’s convert it back to a complex matrix … 18.06.29: Complex matrices 1 1 + 4π π΄∗ = ( −2π −5π ) . 2 − 3π 1 + π This is the conjugate transpose of π΄, so that βΊ π΄∗ = (π΄βΊ ) = (π΄) . This clearly works in general, and we therefore find that ππ΄βΊ = ππ΄∗ . 18.06.29: Complex matrices A real matrix π΄ is said to be symmetric if π΄ = π΄βΊ . A complex matrix π΅ is said to be Hermitian if ππ΅ is symmetric – or, equivalently, if π΅ = π΅∗ . (Note that a Hermitian matrix with real entries must be symmetric.) We need to think about this a bit more carefully. For that, let’s contemplate the correct version of the dot product in Cπ , and develop some notation. 18.06.29: Complex matrices For π£, π€ ∈ Cπ , write β¨π£|π€β© β π£∗ π€. This is a complex number, called the inner product of two complex vectors; it extends the usual dot product, but notices that the linearity in the first coordinate is twisted: β¨πΌπ£|π€β© = πΌβ¨π£|π€β©. With this, one can repeat the usual definition of orthogonality with no problem. Lemma. An π × π complex matrix π΅ is Hermitian if and only if, for any π£, π€ ∈ Cπ , β¨π΄π£|π€β© = β¨π£|π΄π€β©. 18.06.29: Complex matrices Theorem (Spectral theorem; last big result of the semester). Suppose π΅ a Hermitian matrix. Then (1) The eigenvalues of π΅ are real. (2) There is an orthogonal basis of eigenvectors for π΅; in particular, π΅ is diagonalizable over C (and even over R if π΅ has real entries).