Linear independence, basis, dimension and co-ordinates