Metrizable topological vector space
= Metrizable topological vector space
A topological vector space is metrizable when its topology is induced by a <metric>. At the origin it then has a countable neighborhood basis, so continuity of a <linear map> can be tested on sequences.