Bounded set (topological vector space)

Suppose ${\displaystyle X}$ is a topological vector space (TVS) over a field ${\displaystyle \mathbb {K} .}$

A subset ${\displaystyle B}$ of ${\displaystyle X}$ is called von Neumann bounded or just bounded in ${\displaystyle X}$ if any of the following equivalent conditions are satisfied:

1. Definition: For every neighborhood ${\displaystyle V}$ of the origin there exists a real ${\displaystyle r>0}$ such that ${\displaystyle B\subseteq sV}$[note 1] for all scalars ${\displaystyle s}$ satisfying ${\displaystyle |s|\geq r.}$[1]
   • This was the definition introduced by John von Neumann in 1935.[1]
2. ${\displaystyle B}$ is absorbed by every neighborhood of the origin.[2]
3. For every neighborhood ${\displaystyle V}$ of the origin there exists a scalar ${\displaystyle s}$ such that ${\displaystyle B\subseteq sV.}$
4. For every neighborhood ${\displaystyle V}$ of the origin there exists a real ${\displaystyle r>0}$ such that ${\displaystyle sB\subseteq V}$ for all scalars ${\displaystyle s}$ satisfying ${\displaystyle |s|\leq r.}$[1]
5. For every neighborhood ${\displaystyle V}$ of the origin there exists a real ${\displaystyle r>0}$ such that ${\displaystyle tB\subseteq V}$ for all real ${\displaystyle 0<t\leq r.}$[3]
6. Any one of statements (1) through (5) above but with the word "neighborhood" replaced by any of the following: "balanced neighborhood," "open balanced neighborhood," "closed balanced neighborhood," "open neighborhood," "closed neighborhood".
   • e.g. Statement (2) may become: ${\displaystyle B}$ is bounded if and only if ${\displaystyle B}$ is absorbed by every balanced neighborhood of the origin.[1]
   • If ${\displaystyle X}$ is locally convex then the adjective "convex" may be also be added to any of these 5 replacements.
7. For every sequence of scalars ${\displaystyle s_{1},s_{2},s_{3},\ldots }$ that converges to ${\displaystyle 0}$ and every sequence ${\displaystyle b_{1},b_{2},b_{3},\ldots }$ in ${\displaystyle B,}$ the sequence ${\displaystyle s_{1}b_{1},s_{2}b_{2},s_{3}b_{3},\ldots }$ converges to ${\displaystyle 0}$ in ${\displaystyle X.}$[1]
   • This was the definition of "bounded" that Andrey Kolmogorov used in 1934, which is the same as the definition introduced by Stanisław Mazur and Władysław Orlicz in 1933 for metrizable TVS. Kolmogorov used this definition to prove that a TVS is seminormable if and only if it has a bounded convex neighborhood of the origin.[1]
8. For every sequence ${\displaystyle b_{1},b_{2},b_{3},\ldots }$ in ${\displaystyle B,}$ the sequence ${\textstyle \left({\tfrac {1}{i}}b_{i}\right)_{i=1}^{\infty }}$ converges to ${\displaystyle 0}$ in ${\displaystyle X.}$[4]
9. Every countable subset of ${\displaystyle B}$ is bounded (according to any defining condition other than this one).[1]

If ${\displaystyle {\mathcal {B}}}$ is a neighborhood basis for ${\displaystyle X}$ at the origin then this list may be extended to include:

10. Any one of statements (1) through (5) above but with the neighborhoods limited to those belonging to ${\displaystyle {\mathcal {B}}.}$
    • e.g. Statement (3) may become: For every ${\displaystyle V\in {\mathcal {B}}}$ there exists a scalar ${\displaystyle s}$ such that ${\displaystyle B\subseteq sV.}$

If ${\displaystyle X}$ is a locally convex space whose topology is defined by a family ${\displaystyle {\mathcal {P}}}$ of continuous seminorms, then this list may be extended to include:

11. ${\displaystyle p(B)}$ is bounded for all ${\displaystyle p\in {\mathcal {P}}.}$[1]
12. There exists a sequence of non-zero scalars ${\displaystyle s_{1},s_{2},s_{3},\ldots }$ such that for every sequence ${\displaystyle b_{1},b_{2},b_{3},\ldots }$ in ${\displaystyle B,}$ the sequence ${\displaystyle b_{1}s_{1},b_{2}s_{2},b_{3}s_{3},\ldots }$ is bounded in ${\displaystyle X}$ (according to any defining condition other than this one).[1]
13. For all ${\displaystyle p\in {\mathcal {P}},}$ ${\displaystyle B}$ is bounded (according to any defining condition other than this one) in the semi normed space ${\displaystyle (X,p).}$

If ${\displaystyle X}$ is a normed space with norm ${\displaystyle \|\cdot \|}$ (or more generally, if it is a seminormed space and ${\displaystyle \|\cdot \|}$ is merely a seminorm),[note 2] then this list may be extended to include:

14. ${\displaystyle B}$ is a norm bounded subset of ${\displaystyle (X,\|\cdot \|).}$ By definition, this means that there exists a real number ${\displaystyle r>0}$ such that ${\displaystyle \|b\|\leq r}$ for all ${\displaystyle b\in B.}$[1]
15. ${\displaystyle \sup _{b\in B}\|b\|<\infty .}$
    • Thus, if ${\displaystyle L:(X,\|\cdot \|)\to (Y,\|\cdot \|)}$ is a linear map between two normed (or seminormed) spaces and if ${\displaystyle B}$ is the closed (alternatively, open) unit ball in ${\displaystyle (X,\|\cdot \|)}$ centered at the origin, then ${\displaystyle L}$ is a bounded linear operator (which recall means that its operator norm ${\displaystyle \|L\|:=\sup _{b\in B}\|L(b)\|<\infty }$ is finite) if and only if the image ${\displaystyle L(B)}$ of this ball under ${\displaystyle L}$ is a norm bounded subset of ${\displaystyle (Y,\|\cdot \|).}$
16. ${\displaystyle B}$ is a subset of some (open or closed) ball.[note 3]
    • This ball need not be centered at the origin, but its radius must (as usual) be positive and finite.

If ${\displaystyle B}$ is a vector subspace of the TVS ${\displaystyle X}$ then this list may be extended to include:

17. ${\displaystyle B}$ is contained in the closure of ${\displaystyle \{0\}.}$[1]
    • In other words, a vector subspace of ${\displaystyle X}$ is bounded if and only if it is a subset of (the vector space) ${\displaystyle \operatorname {cl} _{X}\{0\}.}$
    • Recall that ${\displaystyle X}$ is a Hausdorff space if and only if ${\displaystyle \{0\}}$ is closed in ${\displaystyle X.}$ So the only bounded vector subspace of a Hausdorff TVS is ${\displaystyle \{0\}.}$

A subset that is not bounded is called unbounded.

Unless indicated otherwise, a topological vector space (TVS) need not be Hausdorff nor locally convex.

• Finite sets are bounded.[1]
• Every totally bounded subset of a TVS is bounded.[1]
• Every relatively compact set in a topological vector space is bounded. If the space is equipped with the weak topology the converse is also true.
• The set of points of a Cauchy sequence is bounded, the set of points of a Cauchy net need not be bounded.
• The closure of the origin (referring to the closure of the set ${\displaystyle \{0\}}$) is always a bounded closed vector subspace. This set ${\displaystyle \operatorname {cl} _{X}\{0\}}$ is the unique largest (with respect to set inclusion ${\displaystyle \,\subseteq \,}$) bounded vector subspace of ${\displaystyle X.}$ In particular, if ${\displaystyle B\subseteq X}$ is a bounded subset of ${\displaystyle X}$ then so is ${\displaystyle B+\operatorname {cl} _{X}\{0\}.}$

Unbounded sets

A set that is not bounded is said to be unbounded.

Any vector subspace of a TVS that is not a contained in the closure of ${\displaystyle \{0\}}$ is unbounded

There exists a Fréchet space ${\displaystyle X}$ having a bounded subset ${\displaystyle B}$ and also a dense vector subspace ${\displaystyle M}$ such that ${\displaystyle B}$ is not contained in the closure (in ${\displaystyle X}$) of any bounded subset of ${\displaystyle M.}$[5]

A locally convex topological vector space has a bounded neighborhood of zero if and only if its topology can be defined by a single seminorm.

The polar of a bounded set is an absolutely convex and absorbing set.

Using the definition of uniformly bounded sets given below, Mackey's countability condition can be restated as: If ${\displaystyle B_{1},B_{2},B_{3},\ldots }$ are bounded subsets of a metrizable locally convex space then there exists a sequence ${\displaystyle t_{1},t_{2},t_{3},\ldots }$ of positive real numbers such that ${\displaystyle t_{1}B_{1},\,t_{2}B_{2},\,t_{3}B_{3},\ldots }$ are uniformly bounded. In words, given any countable family of bounded sets in a metrizable locally convex space, it is possible to scale each set by its own positive real so that they become uniformly bounded.

• Bornological space – Space where bounded operators are continuous
• Bornivorous set – A set that can absorb any bounded subset
• Bounded function – A mathematical function the set of whose values are bounded
• Bounded operator – Linear transformation between topological vector spaces
• Bounding point – Mathematical concept related to subsets of vector spaces
• Compact space – Type of mathematical space
• Kolmogorov's normability criterion – Characterization of normable spaces
• Local boundedness
• Totally bounded space – Generalization of compactness

Notes

• Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Topological Vector Spaces: The Theory Without Convexity Conditions. Lecture Notes in Mathematics. Vol. 639. Berlin New York: Springer-Verlag. ISBN 978-3-540-08662-8. OCLC 297140003.
• Berberian, Sterling K. (1974). Lectures in Functional Analysis and Operator Theory. Graduate Texts in Mathematics. Vol. 15. New York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401.
• Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5. Éléments de mathématique. Translated by Eggleston, H.G.; Madan, S. Berlin New York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190.
• Conway, John (1990). A course in functional analysis. Graduate Texts in Mathematics. Vol. 96 (2nd ed.). New York: Springer-Verlag. ISBN 978-0-387-97245-9. OCLC 21195908.
• Edwards, Robert E. (1995). Functional Analysis: Theory and Applications. New York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138.
• Grothendieck, Alexander (1973). Topological Vector Spaces. Translated by Chaljub, Orlando. New York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098.
• Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
• Köthe, Gottfried (1983) [1969]. Topological Vector Spaces I. Grundlehren der mathematischen Wissenschaften. Vol. 159. Translated by Garling, D.J.H. New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498. OCLC 840293704.
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
• Robertson, A.P.; W.J. Robertson (1964). Topological vector spaces. Cambridge Tracts in Mathematics. Vol. 53. Cambridge University Press. pp. 44–46.
• Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.
• Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces. Cambridge Tracts in Mathematics. Vol. 53. Cambridge England: Cambridge University Press. ISBN 978-0-521-29882-7. OCLC 589250.
• Schaefer, H.H. (1970). Topological Vector Spaces. GTM. Vol. 3. Springer-Verlag. pp. 25–26. ISBN 0-387-05380-8.
• Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
• Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.