Topology generated by a family of seminorms

Summary

A family of seminorms on a vector space defines a topology. In it, a net converges exactly when it converges for every seminorm of the family. With this topology the vector space is a topological vector space, and in fact a locally convex space. This is the standard way to put a topology on function spaces such as spaces of smooth functions, where no single norm is suitable.