18.06.28: Complex vector spaces Lecturer: Barwick I worked so hard to understand it that it must be true. — James Richardson 18.06.28: Complex vector spaces From last time … I was alluding to a way to make complex multiplication easier to understand. The idea is this: for any ๐ง = ๐ + ๐๐ ∈ C, you may consider the matrix ๐๐ง = ( ๐ −๐ ). ๐ ๐ On the newest problem set, you’ll show that addition of complex numbers is addition of these matrices, multiplication of complex numbers is multiplication of these matrices (!), and one more thing … 18.06.28: Complex vector spaces Complex conjugation is the map ๐ง You’ll see that ๐๐ง = ๐๐งโบ . ๐ง that carries ๐ง = ๐ + ๐๐ to ๐ง = ๐ − ๐๐. Complex conjugation can be used to extract the real and complex parts of your complex number: 2๐ = ๐ง + ๐ง; 2๐๐ = ๐ง − ๐ง. 18.06.28: Complex vector spaces Complex conjugation also gives you the length of the vector ~๐ฃ ∈ R2 corresponding to ๐ง ∈ C: โ~๐ฃโ2 = ๐ง๐ง. So ๐ง = √๐ง๐ง exp(๐๐) for some (and hence infinitely many) ๐ ∈ R. If ๐ง ≠ 0, there is a unique such ๐ ∈ [0, 2๐); this is sometimes called the argument of ๐ง, but it’s annoying to write down a good formula. It’s better to think of it as an element of R/2๐Z. 18.06.28: Complex vector spaces One last general thing about the complex numbers, just because it’s so important. Theorem (“Fundamental theorem of algebra”). For any polynomial ๐ ๐(๐ง) = ∑ ๐ผ๐ ๐ง๐ ๐=0 with complex coefficients ๐ผ๐ such that ๐ผ๐ ≠ 0, there exist complex numbers ๐ค1 , … , ๐ค๐ such that ๐(๐ง) = ๐ผ๐ (๐ง − ๐ค1 )(๐ง − ๐ค2 ) โฏ (๐ง − ๐ค๐ ). This is actually a theorem of topology, not algebra, but there you go. 18.06.28: Complex vector spaces Here’s a cool example: ๐(๐ง) = ๐ง๐ − 1. Let’s find the roots! 18.06.28: Complex vector spaces The set C๐ is the set of column vectors ๐ง1 ๐ง ๐ฃ=( 2 ) โฎ ๐ง๐ with ๐ง๐ ∈ C. One can add such vectors componentwise, and one can multiply any such vector with a complex scalar. So this is the fundamental example of a complex vector space. 18.06.28: Complex vector spaces Note that R๐ ⊂ C๐ . Now if ๐ฃ ∈ C๐ , then ๐ฃ = ๐ฃ if and only if ๐ฃ ∈ R๐ . 18.06.28: Complex vector spaces More generally, a complex vector subspace ๐ ⊆ C๐ is a subset such that: (1) for any ๐ฃ, ๐ค ∈ ๐, one has ๐ฃ + ๐ค ∈ ๐; (2) for any ๐ฃ ∈ ๐ and any ๐ง ∈ C, one has ๐ง๐ฃ ∈ ๐. 18.06.28: Complex vector spaces Vectors ๐ฃ1 , … , ๐ฃ๐ span a vector subspace ๐ ⊆ C๐ over C if and only if every vector ๐ค ∈ ๐ can be written as a C-linear combination of the ๐ฃ๐ , i.e., ๐ ๐ค = ∑ ๐ง๐ ๐ฃ๐ , ๐=1 where each ๐ง๐ ∈ C. 18.06.28: Complex vector spaces Similarly, the vectors ๐ฃ1 , … , ๐ฃ๐ are linearly independent over C if and only if any vanishing C-linear combination ๐ ∑ ๐ง๐ ๐ฃ๐ = 0 ๐=1 is a trivial C-linear combination, so that ๐ง1 = โฏ = ๐ง๐ = 0. A C-basis of ๐ is thus a collection of vectors of ๐ that is linearly independent over C and spans ๐ over C. 18.06.28: Complex vector spaces Let’s do an example to appreciate the distinction. Let’s think of C2 , and let’s think of the complex line ๐ฟ = {( ๐ง ) ∈ C2 | 3๐ง − 2๐ค = 0} ⊂ C2 . ๐ค Now C2 ≅ R4 , so that complex line is a real plane: { { { { ๐ฟ = {( { { { { ๐ง1 } } | 3๐ง − 2๐ค = 0 } } ๐ง2 | 1 1 ) ∈ R4 | ⊂ R4 . | 3๐ง2 − 2๐ค2 = 0 } } ๐ค1 } } ๐ค2 | } 18.06.28: Complex vector spaces The single vector ( 2 ) forms a C-basis of ๐ฟ. 3 Another legit C-basis would be the single vector ( The vectors { { { { ( { { { { { forms an R-basis of ๐ฟ over R. 2 0 ),( 3 0 0 } } } } 2 )} } 0 } } 3 } 2๐ ). 3๐ 18.06.28: Complex vector spaces Another example: consider the complex vector subspace ๐ ⊂ C2 spanned by ๐ ( ). 1 Here’s an important sentence to parse correctly: ๐ does not have a C-basis consisting of real vectors. 0 1 A real basis for ๐ ⊂ R4 consists of ( ) and ( 1 0 −1 0 ) 0 1 18.06.28: Complex vector spaces 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.28: Complex vector spaces 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.28: Complex vector spaces 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.28: Complex vector spaces 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.28: Complex vector spaces 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.28: Complex vector spaces 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.28: Complex vector spaces There’s one more new thing you can do with a complex matrices that doesn’t quite work for real matrices: you can conjugate their entries. Of particular import is the conjugate transpose: โบ ๐ด∗ โ (๐ด) = (๐ดโบ ). We’ll understand the significance of this operation next time.