18.06.10: ‘Spaces of vectors’ Lecturer: Barwick Friday 26 February 2016

advertisement
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.
Download