Bounded operator

In functional analysis and operator theory, a bounded linear operator is a linear transformation ${\displaystyle L:X\to Y}$ between topological vector spaces (TVSs) ${\displaystyle X}$ and ${\displaystyle Y}$ that maps bounded subsets of ${\displaystyle X}$ to bounded subsets of ${\displaystyle Y.}$ If ${\displaystyle X}$ and ${\displaystyle Y}$ are normed vector spaces (a special type of TVS), then ${\displaystyle L}$ is bounded if and only if there exists some ${\displaystyle M>0}$ such that for all ${\displaystyle x\in X,}$ $${\displaystyle \|Lx\|_{Y}\leq M\|x\|_{X}.}$$ The smallest such ${\displaystyle M}$ is called the operator norm of ${\displaystyle L}$ and denoted by ${\displaystyle \|L\|.}$ A bounded operator between normed spaces is continuous and vice versa.

The concept of a bounded linear operator has been extended from normed spaces to all topological vector spaces.

Outside of functional analysis, when a function ${\displaystyle f:X\to Y}$ is called "bounded" then this usually means that its image ${\displaystyle f(X)}$ is a bounded subset of its codomain. A linear map has this property if and only if it is identically ${\displaystyle 0.}$ Consequently, in functional analysis, when a linear operator is called "bounded" then it is never meant in this abstract sense (of having a bounded image).