Locally convex space (source code)

= Locally convex space
{wiki}

A locally convex space is a topological vector space whose topology is generated by a family of seminorms. Its continuous dual consists of the linear functionals bounded by a finite maximum of those seminorms.