Lecture 09
Lecture 09
c1(a11 , a12 ,..., a1n ) c2 (a21 , a22 ,..., a2 n ) ... ck (ak1 , ak 2 ,..., akn )
(v1 , v2 ,..., vn )
Discussion
Suppose S { u1 , u2 ,..., uk } n
. We want to determine
if span(S ) n
.
c1u1 c2 u2 ... ck uk v
c1(a11 , a12 ,..., a1n ) c2 (a21 , a22 ,..., a2 n ) ... ck (ak1 , ak 2 ,..., akn )
(v1 , v2 ,..., vn )
1) 0 span(S )
1 1 1 1 2 Gauss-Jordan 1 0 3 1 3
0 1 2 2 1 0 1 2 2 1
1 2 1 3 1 Elimination
0 0 0 0 0
1 1 1 1 2 Gauss-Jordan 1 0 3 1 3
0 1 2 2 1 0 1 2 2 1
1 2 1 3 1 Elimination
0 0 0 0 0
Since each of v1 , v2 is a linear combination of u1 , u2 , u3 ,
span{ u1 , u2 , u3 } span{v1 , v2 }.
1 1 1 1 1 0 1 1 1 1 1 0
1 1 1 1 0 1 0 2 2 0 1 1
1 1 1 0 0 0 0 0 2 1 1 0
1 1 1 0 0 0
1 2 1 0 0 0
Example
Let u1 (1,1, 0, 2), u2 (1, 0, 0,1), u3 (0,1, 0,1),
v1(1,1,1,1), v2 (1,1, 1,1), v3 (1,1,1, 1).
Show that span{u1 , u2 , u3 } span{v1 , v2 , v3 } but
span{u1 , u2 , u3 } span{v1 , v2 , v3 }.
To show span{u1 , u2 , u3 } span{v1 , v2 , v3 },
1 0 2 1 1 1 1 0 2 1 1 1
0 1 1 1 1 1 0 1 1 1 1 1
0 1 1 1 1 1 0 0 0 2 0 2
1 2 1 0 0
4 1 1 0 0 0 0
Which vi is NOT a linear combination of u1 , u2 , u3 ?
Theorem (‘useless vector’)
n
Suppose u1 , u2 ,..., uk are vectors taken from .
z 0
u2 (0, 1, 0)
y
u1 (1, 0, 0)
x
Definition (Subspaces)
n
Let V be a subset of . n
n
So is a subspace of itself and to some extent, it can be
n
thought of as the subspace of with the 'largest' number
of vectors.
Remark
In more advance textbooks on linear algebra,
'subspace' is defined differently. We will discuss this
briefly later in today's lecture.
Example (subspaces)
V1 {(a 2b , 3b)| a , b }. V1 is a subset of 2
.
2
Is V1 a subspace of ?
Is V1 2
?
2
2
So V1 is a subspace of . V1
2
Is there a vector in that is not in V1 ?
Example (subspaces)
V1 {(a 2b , 3b)| a , b }.
Is V1 2
?
2
Idea: Is every vector in a linear combination
of (1, 0) and (2, 3)?
Example (subspaces)
V2 {( x , y , z)| x 3 y 2 z 0}. V2 is a subset of 3
.
3
Describe V2 geometrically. Is V2 a subspace of ?
Is V4 a subspace of 3
? No!
If V4 is a subspace, then it can be expressed as a
linear span, that is, V4 span(T ) for some finite set T .
By (first) theorem in today's lecture,
For any v1 , v2 ,..., vr span(T ) V4 and c1 , c2 ,..., cr ,
c1v1 c2v2 ... cr vr span(T ) V4 .
(1,1, 2),(0, 2, 4) V4 but (1,1, 2) 2(0, 2, 4) (1, 3, 6) V4 .
End of Lecture 09
Lecture 10:
Subspaces (cont’d)
Linear independence
Bases (till Example 3.5.5.1)