Linear Algebra, Lecture 11: Consequences of the Replacement theorem

We present consequences of the replacement theorem. In particular, that each basis of a finitely generated vector space is of the same size, that a subspace of the same dimension is equal to the whole space, and that any basis of a subspace can be extended to a basis of the whole space.