real vector spaces