vector spaces in linear algebra