boundedness in a topological vector space generalizes boundedness in a normed space
Boundedness in a topological vector space is a generalization
of boundedness in a normed space
.
Suppose is a normed vector space over , and suppose is bounded in the sense of the parent entry. Then for the unit ball
there exists some such that . Usingthis result (http://planetmath.org/ScalingOfTheOpenBallInANormedVectorSpace), it follows that