Bases For Vector Spaces
Bases For Vector Spaces
_
a
11
a
12
a
1n
a
21
a
22
a
2n
.
.
.
.
.
.
.
.
.
a
m1
a
m2
a
mn
_
_
.
The condition m < n means that the system
_
_
a
11
a
12
a
1n
a
21
a
22
a
2n
.
.
.
.
.
.
.
.
.
a
m1
a
m2
a
mn
_
_
_
_
x
1
x
2
.
.
.
x
n
_
_
=
_
_
0
0
.
.
.
0
_
_
2
has more unknowns than equations.
If A row reduces to a row reduced echelon matrix R, then R can have at most m leading coecients.
Therefore, some of the variables x
1
, x
2
, . . . , x
n
will be free variables (parameters); if I assign nonzero values
to the free variables (e.g. by setting all of them equal to 1), the resulting solution will be nontrivial.
Theorem. Let v
1
, v
2
, . . . , v
n
be a basis for a vector space V .
(a) Any subset of V with more than n elements is dependent.
(b) Any subset of V with fewer than n elements cannot span.
Proof. (a) Suppose w
1
, w
2
, . . . , w
m
is a subset of V , and that m > n. I want to show that w
1
, w
2
, . . . , w
m
is dependent.
Write each w as a linear combination of the vs:
w
1
= a
11
v
1
+a
12
v
2
+ +a
1n
v
n
w
2
= a
21
v
1
+a
22
v
2
+ +a
2n
v
n
.
.
.
w
m
= a
m1
v
1
+a
m2
v
2
+ +a
mn
v
n
A little bit of thought shows that this can be represented as the following matrix equation:
_
_
w
1
w
2
w
m
_
_
=
_
_
v
1
v
2
v
n
_
_
_
_
a
11
a
21
a
m1
a
12
a
22
a
m2
.
.
.
.
.
.
.
.
.
a
1n
a
2n
a
mn
_
_
.
Since m > n, the matrix of as has more columns than rows. Therefore, the system
_
_
a
11
a
21
a
m1
a
12
a
22
a
m2
.
.
.
.
.
.
.
.
.
a
1n
a
2n
a
mn
_
_
_
_
x
1
x
2
.
.
.
x
m
_
_
=
_
_
0
0
.
.
.
0
_
_
has a nontrivial solution x
1
= b
1
, x
2
= b
2
, . . . x
m
= b
m
. That is, not all the bs are 0, but
_
_
a
11
a
21
a
m1
a
12
a
22
a
m2
.
.
.
.
.
.
.
.
.
a
1n
a
2n
a
mn
_
_
_
_
b
1
b
2
.
.
.
b
m
_
_
=
_
_
0
0
.
.
.
0
_
_
.
But then
_
_
w
1
w
2
w
m
_
_
_
_
b
1
b
2
.
.
.
b
m
_
_
=
_
_
v
1
v
2
v
n
_
_
_
_
a
11
a
21
a
m1
a
12
a
22
a
m2
.
.
.
.
.
.
.
.
.
a
1n
a
2n
a
mn
_
_
_
_
b
1
b
2
.
.
.
b
m
_
_
,
so
_
_
w
1
w
2
w
m
_
_
_
_
b
1
b
2
.
.
.
b
m
_
_
=
_
_
0
0
.
.
.
0
_
_
.
3
In equation form,
b
1
w
1
+b
2
w
2
+ +b
m
w
m
= 0.
This is a nontrivial linear combination of the ws which adds up to 0, so the ws are dependent.
(b) Suppose that w
1
, w
2
, . . . , w
m
is a set of vectors in V and m < n. I want to show that w
1
, w
2
, . . . , w
m
_
a
11
a
21
a
n1
a
12
a
22
a
n2
.
.
.
.
.
.
.
.
.
a
1m
a
2m
a
nm
_
_
.
Since n > m, the coecient matrix has more columns than rows. Hence, the system
_
_
a
11
a
21
a
n1
a
12
a
22
a
n2
.
.
.
.
.
.
.
.
.
a
1m
a
2m
a
nm
_
_
_
_
x
1
x
2
.
.
.
x
n
_
_
=
_
_
0
0
.
.
.
0
_
_
has a nontrivial solution x
1
= b
1
, x
2
= b
2
, . . . x
n
= b
n
:
_
_
a
11
a
21
a
n1
a
12
a
22
a
n2
.
.
.
.
.
.
.
.
.
a
1m
a
2m
a
nm
_
_
_
_
b
1
b
2
.
.
.
b
n
_
_
=
_
_
0
0
.
.
.
0
_
_
.
Multiplying the v and w equation on the right by the b-vector gives
_
_
v
1
v
2
v
n
_
_
_
_
b
1
b
2
.
.
.
b
n
_
_
=
_
_
w
1
w
2
w
m
_
_
_
_
a
11
a
21
a
n1
a
12
a
22
a
n2
.
.
.
.
.
.
.
.
.
a
1m
a
2m
a
nm
_
_
_
_
b
1
b
2
.
.
.
b
n
_
_
,
so
_
_
v
1
v
2
v
n
_
_
_
_
b
1
b
2
.
.
.
b
n
_
_
=
_
_
0
0
.
.
.
0
_
_
.
In equation form, this is
b
1
v
1
+b
2
v
2
+ +b
n
v
n
= 0.
Since not all the bs are 0, this is a nontrivial linear combination of the vs which adds up to 0
contradicting the independence of the vs.
This contradiction means that the ws cant span after all.
4
Example. The standard basis for R
3
contains 3 vectors.
Hence, the set of four vectors
_
_
_
_
_
1
0
1
_
_
,
_
_
2
3
10
_
_
,
_
_
1
1
1
_
_
,
_
_
0
11
7
_
_
_
_
_
cannot be independent and I know this without doing any computation.
Likewise, the set of two vectors
_
_
_
_
_
2
1
2
_
_
,
_
_
3
1
5
_
_
_
_
_
cannot span R
3
.
Corollary. If v
1
, . . . , v
n
is a basis for a vector space V , then every basis for V has n elements.
Proof. If w
1
, . . . , w
m
is another basis for V , then m cant be less than n or w
1
, . . . , w
m
couldnt span.
Likewise, m cant be greater than n or w
1
, . . . , w
m
couldnt be independent. Therefore, m = n.
The Corollary shows that the dimension of a nite-dimensional vector space is well-dened that is, in
a nite-dimensional vector space, any two bases have the same number of elements. This is true in general;
Ill state the relevant results without proof.
Every vector space has a basis. The proof requires a set-theoretic result called Zorns Lemma.
Two bases for any vector space have the same number of elements. Specically, if B and ( are bases for
a vector space V , there is a bijective function f : B (.
Ive already given one example of an innite basis:
1, x, x
2
, x
3
, . . ..
This set is a basis for the vector space R[x] of polynomials with real coecients over the eld of real
numbers.
c _2008 by Bruce Ikenaga 5