Recall

Recall

If is an isomorphism, so is .
If is an isomorphism, and is an isomorphism, then is an isomorphism.
^^ Try to prove these. should be easy.
.
If is a basis for , then is a basis for .
If is an ordered basis of , then we have an isomorphism .

Theorem 1(Invariance of dimension).

Let be a fdvsp. Then, any two bases of have the same, necessarily finite, cardinality, called the dimension of (over . necessary to state cuz the fdvsp might be defined over several fields).


Corollaries

  1. In a fdvsp of dimension , If is any spanning set with , then must be linearly independent, and hence a basis.
  2. If is a linearly independent set with cardinality , it must be a spanning set, and hence, a basis.
  3. If is a subspace of , then the dimension of is less than or equal to the dimension of . Equality holds iff .

Proof of 3

Take a basis for . (note that since is fd, so is , because spanning set for will give a spanning set for ).
stays linearly independent over .
Then, by our proposition yesterday, . ❏

Remark

For vector spaces that are not fdvsp, existence of a basis can be shown using strategy (not strategy ) and Zorn’s lemma, and the Axiom of Choice. Uniqueness of cardinality also holds, and requires set theory to show. Not part of this course.


How to calculate with bases?

Example 1

Does and form a basis of ?
You can show that these are linearly independent, and by corollary 2, they must be a basis of . Knowing this, we can say that any can be expressed as a unique linear combination of these vectors.

Example 2

Let be the set of all polynomials in of degree 2.
Dim(V) = 3, as is a basis.
Exercise: find coefficients of in the basis .

Example 3

is a matrix, .
How to find basis of null space of ?
Observe that the null space of is the same as the null space of the RREF of .
Consider this example:

Consider the equation , i.e,

The solution to is of the form:

Notice that the pivot variables are expressed in terms of the free variables.
Call the vectors on the right . , , are free variables.
You can show that these will always be linearly independent, provided we obtain them via the RREF.
Thus, the dimension of the null space of is 3.
Thus, is a basis for the kernel of .
Conclusion: Dimension of null space = Number of free variables.