Continuous linear operator

In functional analysis and related areas of mathematics, a continuous linear operator or continuous linear mapping is a continuous linear transformation between topological vector spaces.

An operator between two normed spaces is a bounded linear operator if and only if it is a continuous linear operator.

Continuous linear operators

Characterizations of continuity

Suppose that $F:X\to Y$ is a linear operator between two topological vector spaces (TVSs). The following are equivalent:

1. $F$ is continuous.
2. $F$ is continuous at some point $x\in X.$
3. $F$ is continuous at the origin in $X.$

If $Y$ is locally convex then this list may be extended to include:

4. for every continuous seminorm $q$ on $Y,$ there exists a continuous seminorm $p$ on $X$ such that $q\circ F\le p.$Template:Sfn

If $X$ and $Y$ are both Hausdorff locally convex spaces then this list may be extended to include:

5. $F$ is weakly continuous and its transpose ${}^{t}F:Y^{\prime }\to X^{\prime }$ maps equicontinuous subsets of $Y^{\prime }$ to equicontinuous subsets of $X^{\prime }.$

If $X$ is a sequential space (such as a pseudometrizable space) then this list may be extended to include:

6. $F$ is sequentially continuous at some (or equivalently, at every) point of its domain.

If $X$ is pseudometrizable or metrizable (such as a normed or Banach space) then we may add to this list:

7. $F$ is a bounded linear operator (that is, it maps bounded subsets of $X$ to bounded subsets of $Y$).Template:Sfn

If $Y$ is seminormable space (such as a normed space) then this list may be extended to include:

8. $F$ maps some neighborhood of 0 to a bounded subset of $Y.$Template:Sfn

If $X$ and $Y$ are both normed or seminormed spaces (with both seminorms denoted by $\Vert \cdot \Vert$) then this list may be extended to include:

9. for every $r>0$ there exists some $\delta >0$ such that $$\text{ for all }x,y\in X,\text{ if }\Vert x-y\Vert <\delta \text{ then }\Vert Fx-Fy\Vert <r.$$

If $X$ and $Y$ are Hausdorff locally convex spaces with $Y$ finite-dimensional then this list may be extended to include:

10. the graph of $F$ is closed in $X\times Y.$Template:Sfn

Continuity and boundedness

Throughout, $F:X\to Y$ is a linear map between topological vector spaces (TVSs).

Bounded subset

The notion of a "bounded set" for a topological vector space is that of being a von Neumann bounded set. If the space happens to also be a normed space (or a seminormed space) then a subset $S$ is von Neumann bounded if and only if it is Template:Em, meaning that $\underset{s\in S}{\sup }\Vert s\Vert <\mathrm{\infty }.$ A subset of a normed (or seminormed) space is called Template:Em if it is norm-bounded (or equivalently, von Neumann bounded). For example, the scalar field ($ℝ$ or $ℂ$) with the absolute value $|\cdot |$ is a normed space, so a subset $S$ is bounded if and only if $\underset{s\in S}{\sup }|s|$ is finite, which happens if and only if $S$ 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 $S\subseteq X$ is a set then $F:X\to Y$ is said to be Template:Em if $F(S)$ is a bounded subset of $Y,$ which if $(Y,\Vert \cdot \Vert )$ is a normed (or seminormed) space happens if and only if $\underset{s\in S}{\sup }\Vert F(s)\Vert <\mathrm{\infty }.$ A linear map $F$ is bounded on a set $S$ if and only if it is bounded on $x+S:=\{x+s:s\in S\}$ for every $x\in X$ (because $F(x+S)=F(x)+F(S)$ and any translation of a bounded set is again bounded) if and only if it is bounded on $cS:=\{cs:s\in S\}$ for every non-zero scalar $c\ne 0$ (because $F(cS)=cF(S)$ and any scalar multiple of a bounded set is again bounded). Consequently, if $(X,\Vert \cdot \Vert )$ is a normed or seminormed space, then a linear map $F:X\to Y$ 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 $\{x\in X:\Vert x\Vert \le 1\}.$

Bounded linear maps

By definition, a linear map $F:X\to Y$ between TVSs is said to be Template:Em and is called a Template:Em if for every (von Neumann) bounded subset $B\subseteq X$ of its domain, $F(B)$ 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 $X$ 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 $B_1$ denotes this ball then $F:X\to Y$ is a bounded linear operator if and only if $F\left(B_1\right)$ is a bounded subset of $Y;$ if $Y$ is also a (semi)normed space then this happens if and only if the operator norm $\Vert F\Vert :=\underset{\Vert x\Vert \le 1}{\sup }\Vert F(x)\Vert <\mathrm{\infty }$ is finite. Every sequentially continuous linear operator is bounded.Template:Sfn

Function bounded on a neighborhood and local boundedness

In contrast, a map $F:X\to Y$ is said to be Template:Em a point $x\in X$ or Template:Em $x$ if there exists a neighborhood $U$ of this point in $X$ such that $F(U)$ is a bounded subset of $Y.$ It is "Template:Em" (of some point) if there exists Template:Em point $x$ in its domain at which it is locally bounded, in which case this linear map $F$ is necessarily locally bounded at Template:Em point of its domain. The term "[[Locally bounded function|Template:Em]]" 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 but Template:Em 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 bounded Template:Em").

Bounded on a neighborhood implies continuous implies bounded

A linear map is "bounded on a neighborhood" (of some point) if and only if it is locally bounded at every point of its domain, in which case it is necessarily continuousTemplate:Sfn (even if its domain is not a normed space) and thus also bounded (because a continuous linear operator is always a bounded linear operator).Template:Sfn

For any linear map, if it is bounded on a neighborhood then it is continuous,Template:SfnTemplate:Sfn and if it is continuous then it is bounded.Template:Sfn The converse statements are not true in general but they are both true when the linear map's domain is a normed 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 be continuous (and thus also bounded) but not bounded on any neighborhood. In particular, it demonstrates that being "bounded on a neighborhood" is Template:Em always synonymous with being "bounded".

Template:Em: If $\mathrm{Id}:X\to X$ is the identity map on some locally convex topological vector space then this linear map is always continuous (indeed, even a TVS-isomorphism) and bounded, but $\mathrm{Id}$ is bounded on a neighborhood if and only if there exists a bounded neighborhood of the origin in $X,$ which is equivalent to $X$ being a seminormable space (which if $X$ is Hausdorff, is the same as being a normable space). This shows that it is possible for a linear map to be continuous but Template:Em bounded on any neighborhood. Indeed, this example shows that every locally 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.

Guaranteeing converses

To summarize the discussion below, for a linear map on a normed (or seminormed) space, being continuous, being bounded, and being bounded on a neighborhood are all equivalent. A linear map whose domain Template:Em codomain is normable (or seminormable) is continuous if and only if it bounded on a neighborhood. And a bounded linear operator valued in a locally convex space will be continuous if its domain is (pseudo)metrizableTemplate:Sfn or bornological.Template:Sfn

Guaranteeing that "continuous" implies "bounded on a neighborhood"

A TVS is said to be Template:Em if there exists a neighborhood that is also a bounded set.Template:Sfn For example, every normed or seminormed space is a locally bounded TVS since the unit ball centered at the origin is a bounded neighborhood of the origin. If $B$ 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 $B$). Consequently, a linear map from a locally bounded TVS into any other TVS is continuous if and only if it is bounded on a neighborhood. Moreover, any TVS with this property must be a locally bounded TVS. Explicitly, if $X$ is a TVS such that every continuous linear map (into any TVS) whose domain is $X$ is necessarily bounded on a neighborhood, then $X$ must be a locally bounded TVS (because the identity function $X\to X$ 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.Template:Sfn Conversely, if $Y$ is a TVS such that every continuous linear map (from any TVS) with codomain $Y$ is necessarily bounded on a neighborhood, then $Y$ must be a locally bounded TVS.Template:Sfn In particular, a linear functional on a arbitrary TVS is continuous if and only if it is bounded on a neighborhood.Template:Sfn

Thus when the domain Template:Em the codomain of a linear map is normable or seminormable, then continuity will be equivalent to being bounded on a neighborhood.

Guaranteeing that "bounded" implies "continuous"

A continuous linear operator is always a bounded linear operator.Template:Sfn But importantly, in the most general setting of a linear operator between arbitrary topological vector spaces, it is possible for a linear operator to be bounded but to Template:Em be continuous.

A linear map whose domain is pseudometrizable (such as any normed space) is bounded if and only if it is continuous.Template:Sfn The same is true of a linear map from a bornological space into a locally convex space.Template:Sfn

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 $F:X\to Y$ is a bounded linear operator from a normed space $X$ into some TVS then $F:X\to Y$ is necessarily continuous; this is because any open ball $B$ centered at the origin in $X$ is both a bounded subset (which implies that $F(B)$ is bounded since $F$ is a bounded linear map) and a neighborhood of the origin in $X,$ so that $F$ is thus bounded on this neighborhood $B$ of the origin, which (as mentioned above) guarantees continuity.

Continuous linear functionals

Every linear functional on a topological 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.

Characterizing continuous linear functionals

Let $X$ be a topological vector space (TVS) over the field $𝔽$ ($X$ need not be Hausdorff or locally convex) and let $f:X\to 𝔽$ be a linear functional on $X.$ The following are equivalent:Template:Sfn

1. $f$ is continuous.
2. $f$ is uniformly continuous on $X.$
3. $f$ is continuous at some point of $X.$
4. $f$ is continuous at the origin.
   • By definition, $f$ said to be continuous at the origin if for every open (or closed) ball $B_r$ of radius $r>0$ centered at $0$ in the codomain $𝔽,$ there exists some neighborhood $U$ of the origin in $X$ such that $f(U)\subseteq B_r.$
   • If $B_r$ is a closed ball then the condition $f(U)\subseteq B_r$ holds if and only if $\underset{u\in U}{\sup }|f(u)|\le r.$
     • It is important that $B_r$ be a closed ball in this supremum characterization. Assuming that $B_r$ is instead an open ball, then $\underset{u\in U}{\sup }|f(u)|<r$ is a sufficient but Template:Em condition for $f(U)\subseteq B_r$ to be true (consider for example when $f=\mathrm{Id}$ is the identity map on $X=𝔽$ and $U=B_r$), whereas the non-strict inequality $\underset{u\in U}{\sup }|f(u)|\le r$ is instead a necessary but Template:Em condition for $f(U)\subseteq B_r$ to be true (consider for example $X=ℝ,f=\mathrm{Id},$ and the closed neighborhood $U=[-r,r]$). This is one of several reasons why many definitions involving linear functionals, such as polar sets for example, involve closed (rather than open) neighborhoods and non-strict $\le$ (rather than strict$<$) inequalities.
5. $f$ is bounded on a neighborhood (of some point). Said differently, $f$ is a locally bounded at some point of its domain.
   • Explicitly, this means that there exists some neighborhood $U$ of some point $x\in X$ such that $f(U)$ is a bounded subset of $𝔽;$Template:Sfn that is, such that $\underset{u\in U}{\sup }|f(u)|<\mathrm{\infty }.$ This supremum over the neighborhood $U$ is equal to $0$ if and only if $f=0.$
   • Importantly, a linear functional being "bounded on a neighborhood" is in general Template:Em equivalent to being a "bounded linear functional" because (as described above) it is possible for a linear map to be bounded but Template:Em continuous. However, continuity and boundedness are equivalent if the domain is a normed or seminormed space; that is, for a linear functional on a normed space, being "bounded" is equivalent to being "bounded on a neighborhood".
6. $f$ is bounded on a neighborhood of the origin. Said differently, $f$ is a locally bounded at the origin.
   • The equality $\underset{x\in sU}{\sup }|f(x)|=|s|\underset{u\in U}{\sup }|f(u)|$ holds for all scalars $s$ and when $s\ne 0$ then $sU$ will be neighborhood of the origin. So in particular, if $R:=\underset{u\in U}{\sup }|f(u)|$ is a positive real number then for every positive real $r>0,$ the set $N_r:=\frac{r}{R}U$ is a neighborhood of the origin and $\underset{n\in N_r}{\sup }|f(n)|=r.$ Using $r:=1$ proves the next statement when $R\ne 0.$
7. There exists some neighborhood $U$ of the origin such that $\underset{u\in U}{\sup }|f(u)|\le 1$
   • This inequality holds if and only if $\underset{x\in rU}{\sup }|f(x)|\le r$ for every real $r>0,$ which shows that the positive scalar multiples $\{rU:r>0\}$ of this single neighborhood $U$ will satisfy the definition of continuity at the origin given in (4) above.
   • By definition of the set $U^{\circ },$ which is called the (absolute) polar of $U,$ the inequality $\underset{u\in U}{\sup }|f(u)|\le 1$ holds if and only if $f\in U^{\circ }.$ Polar sets, and so also this particular inequality, play important roles in duality theory.
8. $f$ is a locally bounded at every point of its domain.
9. The kernel of $f$ is closed in $X.$Template:Sfn
10. Either $f=0$ or else the kernel of $f$ is Template:Em dense in $X.$Template:Sfn
11. There exists a continuous seminorm $p$ on $X$ such that $|f|\le p.$
    • In particular, $f$ is continuous if and only if the seminorm $p:=|f|$ is a continuous.
12. The graph of $f$ is closed.Template:Sfn
13. $\mathrm{Re}f$ is continuous, where $\mathrm{Re}f$ denotes the real part of $f.$

If $X$ and $Y$ are complex vector spaces then this list may be extended to include:

14. The imaginary part $\mathrm{Im}f$ of $f$ is continuous.

If the domain $X$ is a sequential space then this list may be extended to include:

15. $f$ is sequentially continuous at some (or equivalently, at every) point of its domain.Template:Sfn

If the domain $X$ is metrizable or pseudometrizable (for example, a Fréchet space or a normed space) then this list may be extended to include:

16. $f$ is a bounded linear operator (that is, it maps bounded subsets of its domain to bounded subsets of its codomain).Template:Sfn

If the domain $X$ is a bornological space (for example, a pseudometrizable TVS) and $Y$ is locally convex then this list may be extended to include:

17. $f$ is a bounded linear operator.Template:Sfn
18. $f$ is sequentially continuous at some (or equivalently, at every) point of its domain.Template:Sfn
19. $f$ is sequentially continuous at the origin.

and if in addition $X$ is a vector space over the real numbers (which in particular, implies that $f$ is real-valued) then this list may be extended to include:

20. There exists a continuous seminorm $p$ on $X$ such that $f\le p.$Template:Sfn
21. For some real $r,$ the half-space $\{x\in X:f(x)\le r\}$ is closed.
22. For any real $r,$ the half-space $\{x\in X:f(x)\le r\}$ is closed.Template:Sfn

If $X$ is complex then either all three of $f,$ $\mathrm{Re}f,$ and $\mathrm{Im}f$ are continuous (respectively, bounded), or else all three are discontinuous (respectively, unbounded).

Examples

Every linear map whose domain is a finite-dimensional Hausdorff topological vector space (TVS) is continuous. This is not true if the finite-dimensional TVS is not Hausdorff.

Every (constant) map $X\to Y$ between TVS that is identically equal to zero is a linear map that is continuous, bounded, and bounded on the neighborhood $X$ of the origin. In particular, every TVS has a non-empty continuous dual space (although it is possible for the constant zero map to be its only continuous linear functional).

Suppose $X$ is any Hausdorff TVS. Then Template:Em linear functional on $X$ is necessarily continuous if and only if every vector subspace of $X$ is closed.Template:Sfn Every linear functional on $X$ is necessarily a bounded linear functional if and only if every bounded subset of $X$ is contained in a finite-dimensional vector subspace.Template:Sfn

Properties

A locally convex metrizable topological vector space is normable if and only if every bounded linear functional on it is continuous.

A continuous linear operator maps bounded 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 equality $$F^{-1}(D)+x=F^{-1}(D+F(x))$$ for any subset $D$ of $Y$ and any $x\in X,$ which is true due to the additivity of $F.$

Properties of continuous linear functionals

If $X$ is a complex normed space and $f$ is a linear functional on $X,$ then $\Vert f\Vert =\Vert \mathrm{Re}f\Vert$Template:Sfn (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 $X$ is an open map.Template:Sfn If $f$ is a linear functional on a real vector space $X$ and if $p$ is a seminorm on $X,$ then $|f|\le p$ if and only if $f\le p.$Template:Sfn

If $f:X\to 𝔽$ is a linear functional and $U\subseteq X$ is a non-empty subset, then by defining the sets $$f(U):=\{f(u):u\in U\}\text{ and }|f(U)|:=\{|f(u)|:u\in U\},$$ the supremum $\underset{u\in U}{\sup }|f(u)|$ can be written more succinctly as $\sup |f(U)|$ because $$\sup |f(U)|=\sup \{|f(u)|:u\in U\}=\underset{u\in U}{\sup }|f(u)|.$$ If $s$ is a scalar then $$\sup |f(sU)|=|s|\sup |f(U)|$$ so that if $r>0$ is a real number and $B_{\le r}:=\{c\in 𝔽:|c|\le r\}$ is the closed ball of radius $r$ centered at the origin then the following are equivalent:

1. $f(U)\subseteq B_{\le 1}$
2. $\sup |f(U)|\le 1$
3. $\sup |f(rU)|\le r$
4. $f(rU)\subseteq B_{\le r}.$

See also

• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link

References

• Template:Adasch Topological Vector Spaces
• Template:Berberian Lectures in Functional Analysis and Operator Theory
• Template:Bourbaki Topological Vector Spaces
• Template:Conway A Course in Functional Analysis
• Template:Cite book
• Template:Edwards Functional Analysis Theory and Applications
• Template:Grothendieck Topological Vector Spaces
• Template:Jarchow Locally Convex Spaces
• Template:Köthe Topological Vector Spaces I
• Template:Narici Beckenstein Topological Vector Spaces
• Template:Cite book
• Template:Schaefer Wolff Topological Vector Spaces
• Template:Swartz An Introduction to Functional Analysis
• Template:Trèves François Topological vector spaces, distributions and kernels
• Template:Wilansky Modern Methods in Topological Vector Spaces