18.06.10: ‘Spaces of vectors’ Lecturer: Barwick Friday 26 February 2016 18.06.10: ‘Spaces of vectors’ Another day, another system of linear equations. 0 = −12๐ฅ + 11๐ฆ − 17๐ง; 0 = 2๐ฅ − ๐ฆ + 9๐ง; 0 = −3๐ฅ + 4๐ฆ + 5๐ง. Solve it!! 18.06.10: ‘Spaces of vectors’ The rows are not linearly independent, so there are infinitely many solutions. You can reduce these equations to just two: 41๐ฆ = 37๐ฅ and 41๐ง = −5๐ฅ. In other words, any solution is a multiple of the vector 41 ( 37 ) . −5 This is the information that the system of linear equations provides. 18.06.10: ‘Spaces of vectors’ How infinite is infinite? We’ve said a few times that a system of linear equations has either 0, 1, or +∞ many solutions. 18.06.10: ‘Spaces of vectors’ When the system of linear equations is of the form ๐ 0 = ∑ ๐1๐ ๐ฅ๐ ; ๐=1 ๐ 0 = ∑ ๐2๐ ๐ฅ๐ ; ๐=1 โฎ ๐ 0 = ∑ ๐๐๐ ๐ฅ๐ , ๐=1 we always have the solution ๐ฅ1 = ๐ฅ2 = โฏ = ๐ฅ๐ = 0, so our only two options in this case are 1 or +∞. But we can we say more. For example, are all the solutions multiples of a single vector?? 18.06.10: ‘Spaces of vectors’ Here’s a system of linear equations with infinitely many solutions: 0 = 3๐ฅ − 2๐ฆ; 0 = 4๐ฆ − 5๐ง; 0 = 6๐ฅ − 5๐ง. We reduce to 3๐ฅ = 2๐ฆ and 4๐ฆ = 5๐ง, and that’s all the information. The last equation doesn’t actually participate. So any vector that satisfies the system above is a multiple of 1 ( 2/3 ) . 8/15 18.06.10: ‘Spaces of vectors’ Here’s a system of linear equations with infinitely many solutions: 0 = 4๐ข + 2๐ฃ + 6๐ฅ + 3๐ฆ; 0 = 2๐ข + 3๐ฅ 0 = 2๐ฃ + 3๐ฆ; 0 = 2๐ข − 4๐ฃ + 3๐ฅ − 6๐ฆ. How close can you come? 18.06.10: ‘Spaces of vectors’ You can see straightaway that the equations 2๐ข = −3๐ฅ and 2๐ฃ = −3๐ฆ completely determine the system. The other equations are just offering the same information. So any vector that satisfies the system above is a linear combination of 3 0 0 3 ( ) and ( ). −2 0 0 −2 This lets us parametrize the solution space!! 18.06.10: ‘Spaces of vectors’ What we’re doing when we solve systems of linear equations is finding a basis for the space of solutions. Definition. A subspace ๐ ⊆ R๐ is a collection ๐ of vectors of R๐ such that: (1) for any vectors ๐ฃ,โ ๐คโ ∈ ๐, the sum ๐ฃ โ + ๐คโ ∈ ๐; (2) for any real number ๐ and any vectors ๐ฃ โ ∈ ๐, the scalar multiple ๐๐ฃ โ ∈ ๐. 18.06.10: ‘Spaces of vectors’ Example. For any ๐ × ๐ matrix ๐ด, the set ker(๐ด) โ {๐ฃ โ ∈ R๐ | ๐ด๐ฃ โ = 0}โ is a subspace of R๐ . This is called the kernel of ๐ด. This may also be called the space of solutions of the system of linear equations: ๐ 0 = ∑ ๐1๐ ๐ฅ๐ ; ๐=1 โฎ ๐ 0 = ∑ ๐๐๐ ๐ฅ๐ . ๐=1 18.06.10: ‘Spaces of vectors’ Definition. A basis of a subspace ๐ ⊆ R๐ is a collection {๐ฃ1โ , … , ๐ฃ๐โ } of vectors ๐ฃ๐โ ∈ ๐ such that: (1) the vectors ๐ฃ1โ , … , ๐ฃ๐โ are linearly independent; (2) the vectors ๐ฃ1โ , … , ๐ฃ๐โ span ๐. We say that ๐ is ๐-dimensional. 18.06.10: ‘Spaces of vectors’ The two conditions in the definition above are complementary. To illustrate, let’s write them this way. (1) The vectors ๐ฃ1โ , … , ๐ฃ๐โ ∈ ๐ are linearly independent if and only if, for any vector ๐คโ ∈ ๐, there exists at most one way to write ๐คโ as a linear combination ๐ ๐คโ = ∑ ๐ผ๐ ๐ฃ๐โ . ๐=1 (2) The vectors ๐ฃ1โ , … , ๐ฃ๐โ span ๐ if and only if, for any vector ๐คโ ∈ ๐, there exists at least one way to write ๐คโ as a linear combination ๐ ๐คโ = ∑ ๐ผ๐ ๐ฃ๐โ . ๐=1 18.06.10: ‘Spaces of vectors’ (3) The vectors ๐ฃ1โ , … , ๐ฃ๐โ are a basis of ๐ if and only if, for any vector ๐คโ ∈ ๐, there exists exactly one way to write ๐คโ as a linear combination ๐ ๐คโ = ∑ ๐ผ๐ ๐ฃ๐โ . ๐=1 The similarities between these conditions and the conditions of injectivity, surjectivity, and bijectivity are no accident… 18.06.10: ‘Spaces of vectors’ Take some vectors ๐ฃ1โ , … , ๐ฃ๐โ ∈ ๐ and make them into the columns of an ๐ × ๐ matrix ๐ด = ( ๐ฃ1โ ๐ฃ2โ โฏ ๐ฃ๐โ ) . Multiplication by ๐ด is a map ๐๐ด โถ R๐ ๐ that carries ๐๐ฬ to ๐ฃ๐โ . (1) The vectors ๐ฃ1โ , … , ๐ฃ๐โ ∈ ๐ are linearly independent if and only if ๐๐ด is injective. (2) The vectors ๐ฃ1โ , … , ๐ฃ๐โ span ๐ if and only if ๐๐ด is surjective. (3) The vectors ๐ฃ1โ , … , ๐ฃ๐โ are a basis of ๐ if and only if ๐๐ด is bijective.