topology of locally convex spaces is generated by seminorms
Theorem - Let be a topological vector space![]()
over or . Then is locally convex (http://planetmath.org/LocallyConvexTopologicalVectorSpace) if and only if the topology
![]()
of is a family of seminorms
![]()
.
Moreover, is Hausdorff and locally if and only if the topology of is a family of seminorms.