Topologies on vector spaces