Linear Algebra Lecture 9: Independence, basis and dimension(Gilbert Strang, MIT OCW)