The notion of a "bounded set" for a topological vector space is that of being avon Neumann bounded set. If the space happens to also be anormed space (or aseminormed space) then a subset is von Neumann bounded if and only if it isnorm bounded, meaning that A subset of a normed (or seminormed) space is calledbounded if it is norm-bounded (or equivalently, von Neumann bounded). For example, the scalar field ( or) with theabsolute value is a normed space, so a subset is bounded if and only if is finite, which happens if and only if is contained in some open (or closed) ball centered at the origin (zero).
Any translation, scalar multiple, and subset of a bounded set is again bounded.
Function bounded on a set
If is a set then is said to bebounded on if is abounded subset of which if is a normed (or seminormed) space happens if and only if A linear map is bounded on a set if and only if it is bounded on for every (because and any translation of a bounded set is again bounded) if and only if it is bounded on for every non-zero scalar (because and any scalar multiple of a bounded set is again bounded). Consequently, if is a normed or seminormed space, then a linear map is bounded on some (equivalently, on every) non-degenerate open or closed ball (not necessarily centered at the origin, and of any radius) if and only if it is bounded on the closed unit ball centered at the origin
By definition, a linear map betweenTVSs is said to bebounded and is called abounded linear operator if for every(von Neumann) bounded subset of its domain, is a bounded subset of it codomain; or said more briefly, if it is bounded on every bounded subset of its domain. When the domain is a normed (or seminormed) space then it suffices to check this condition for the open or closed unit ball centered at the origin. Explicitly, if denotes this ball then is a bounded linear operator if and only if is a bounded subset of if is also a (semi)normed space then this happens if and only if theoperator norm is finite. Everysequentially continuous linear operator is bounded.[5]
Function bounded on a neighborhood and local boundedness
In contrast, a map is said to bebounded on a neighborhood of a point orlocally bounded at if there exists aneighborhood of this point in such that is abounded subset of It is "bounded on a neighborhood" (of some point) if there existssome point in its domain at which it is locally bounded, in which case this linear map is necessarily locally bounded atevery point of its domain. The term "locally bounded" is sometimes used to refer to a map that is locally bounded at every point of its domain, but some functional analysis authors define "locally bounded" to instead be a synonym of "bounded linear operator", which are related butnot equivalent concepts. For this reason, this article will avoid the term "locally bounded" and instead say "locally bounded at every point" (there is no disagreement about the definition of "locally boundedat a point").
Bounded on a neighborhood implies continuous implies bounded
For any linear map, if it isbounded on a neighborhood then it is continuous,[2][7] and if it is continuous then it isbounded.[6] The converse statements are not true in general but they are both true when the linear map's domain is anormed space. Examples and additional details are now given below.
Continuous and bounded but not bounded on a neighborhood
The next example shows that it is possible for a linear map to becontinuous (and thus also bounded) but not bounded on any neighborhood. In particular, it demonstrates that being "bounded on a neighborhood" isnot always synonymous with being "bounded".
Example: A continuous and bounded linear map that is not bounded on any neighborhood: If is the identity map on somelocally convex topological vector space then this linear map is always continuous (indeed, even aTVS-isomorphism) andbounded, but is bounded on a neighborhood if and only if there exists a bounded neighborhood of the origin in whichis equivalent to being aseminormable space (which if is Hausdorff, is the same as being anormable space). This shows that it is possible for a linear map to be continuous butnot bounded on any neighborhood. Indeed, this example shows that everylocally convex space that is not seminormable has a linear TVS-automorphism that is not bounded on any neighborhood of any point. Thus although every linear map that is bounded on a neighborhood is necessarily continuous, the converse is not guaranteed in general.
To summarize the discussion below, for a linear map on a normed (or seminormed) space, being continuous, beingbounded, and being bounded on a neighborhood are allequivalent. A linear map whose domainor codomain is normable (or seminormable) is continuous if and only if it bounded on a neighborhood. And abounded linear operator valued in alocally convex space will be continuous if its domain is(pseudo)metrizable[2] orbornological.[6]
Guaranteeing that "continuous" implies "bounded on a neighborhood"
A TVS is said to belocally bounded if there exists a neighborhood that is also abounded set.[8] For example, everynormed orseminormed space is a locally bounded TVS since the unit ball centered at the origin is a bounded neighborhood of the origin. If is a bounded neighborhood of the origin in a (locally bounded) TVS then its image under any continuous linear map will be a bounded set (so this map is thus bounded on this neighborhood). Consequently, a linear map from a locally bounded TVS into any other TVS is continuous if and only if it isbounded on a neighborhood. Moreover, any TVS with this property must be a locally bounded TVS. Explicitly, if is a TVS such that every continuous linear map (into any TVS) whose domain is is necessarily bounded on a neighborhood, then must be a locally bounded TVS (because theidentity function is always a continuous linear map).
Any linear map from a TVS into a locally bounded TVS (such as any linear functional) is continuous if and only if it is bounded on a neighborhood.[8] Conversely, if is a TVS such that every continuous linear map (from any TVS) with codomain is necessarilybounded on a neighborhood, then must be a locally bounded TVS.[8] In particular, a linear functional on an arbitrary TVS is continuous if and only if it is bounded on a neighborhood.[8]
Thus when the domainor the codomain of a linear map is normable or seminormable, then continuity will beequivalent to being bounded on a neighborhood.
Guaranteeing that "bounded" implies "continuous"
A continuous linear operator is always abounded linear operator.[6] But importantly, in the most general setting of a linear operator between arbitrary topological vector spaces, it is possible for a linear operator to bebounded but tonot be continuous.
Guaranteeing that "bounded" implies "bounded on a neighborhood"
In general, without additional information about either the linear map or its domain or codomain, the map being "bounded" is not equivalent to it being "bounded on a neighborhood". If is a bounded linear operator from anormed space into some TVS then is necessarily continuous; this is because any open ball centered at the origin in is both a bounded subset (which implies that is bounded since is a bounded linear map) and a neighborhood of the origin in so that is thus bounded on this neighborhood of the origin, which (as mentioned above) guarantees continuity.
Every linear functional on atopological vector space (TVS) is a linear operator so all of the properties described above for continuous linear operators apply to them. However, because of their specialized nature, we can say even more about continuous linear functionals than we can about more general continuous linear operators.
By definition, said to be continuous at the origin if for every open (or closed) ball of radius centered at in the codomain there exists someneighborhood of the origin in such that
If is a closed ball then the condition holds if and only if
It is important that be a closed ball in thissupremum characterization. Assuming that is instead an open ball, then is a sufficient butnot necessary condition for to be true (consider for example when is the identity map on and), whereas the non-strict inequality is instead a necessary butnot sufficient condition for to be true (consider for example and the closed neighborhood). This is one of several reasons why many definitions involving linear functionals, such aspolar sets for example, involve closed (rather than open) neighborhoods and non-strict (rather than strict) inequalities.
Explicitly, this means that there exists some neighborhood of some point such that is abounded subset of[2] that is, such that This supremum over the neighborhood is equal to if and only if
Importantly, a linear functional being "bounded on a neighborhood" is in generalnot equivalent to being a "bounded linear functional" because (as described above) it is possible for a linear map to bebounded butnot continuous. However, continuity andboundedness are equivalent if the domain is anormed orseminormed space; that is, for a linear functional on a normed space, being "bounded" is equivalent to being "bounded on a neighborhood".
The equality holds for all scalars and when then will be neighborhood of the origin. So in particular, if is a positive real number then for every positive real the set is a neighborhood of the origin and Using proves the next statement when
There exists some neighborhood of the origin such that
This inequality holds if and only if for every real which shows that the positive scalar multiples of this single neighborhood will satisfy the definition ofcontinuity at the origin given in (4) above.
By definition of the set which is called the(absolute) polar of the inequality holds if and only if Polar sets, and so also this particular inequality, play important roles induality theory.
and if in addition is a vector space over thereal numbers (which in particular, implies that is real-valued) then this list may be extended to include:
There exists a continuous seminorm on such that[1]
Every linear map whose domain is a finite-dimensional Hausdorfftopological vector space (TVS) is continuous. This is not true if the finite-dimensional TVS is not Hausdorff.
Every (constant) map between TVS that is identically equal to zero is a linear map that is continuous, bounded, and bounded on the neighborhood of the origin. In particular, every TVS has a non-emptycontinuous dual space (although it is possible for the constant zero map to be its only continuous linear functional).
Suppose is any Hausdorff TVS. Theneverylinear functional on is necessarily continuous if and only if every vector subspace of is closed.[12] Every linear functional on is necessarily a bounded linear functional if and only if everybounded subset of is contained in a finite-dimensional vector subspace.[13]
A continuous linear operator mapsbounded sets into bounded sets.
The proof uses the facts that the translation of an open set in a linear topological space is again an open set, and the equalityfor any subset of and any which is true due to theadditivity of
If is a complexnormed space and is a linear functional on then[14] (where in particular, one side is infinite if and only if the other side is infinite).
Every non-trivial continuous linear functional on a TVS is anopen map.[1] If is a linear functional on a real vector space and if is a seminorm on then if and only if[1]
If is a linear functional and is a non-empty subset, then by defining the setsthe supremum can be written more succinctly as becauseIf is a scalar thenso that if is a real number and is the closed ball of radius centered at the origin then the following are equivalent:
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.ISBN978-3-540-08662-8.OCLC297140003.
Berberian, Sterling K. (1974).Lectures in Functional Analysis and Operator Theory. Graduate Texts in Mathematics. Vol. 15. New York: Springer.ISBN978-0-387-90081-0.OCLC878109401.
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.ISBN978-3-642-64988-2.MR0248498.OCLC840293704.
Narici, Lawrence; Beckenstein, Edward (2011).Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press.ISBN978-1584888666.OCLC144216834.