Week 06: Dimension of a vector space: Definition, examples and related results