Topological vector space (source code)

= Topological vector space
{wiki}

A topological vector space is a <vector space> with a topology for which vector addition and scalar multiplication are continuous.