vector spaces and norms