Metrizable topological vector space
ID: 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.
New to topics? Read the docs here!