# 6 Linear independence, bases and dimension

The idea of dimension is one we have come across informally when thinking about objects in two or three dimensions in the world around us. We will now formalise this concept for linear subspaces by thinking about how we can build a given subspace by taking linear combinations of a minimal set of vectors.