Rdxfbgrtj

In functional analysis, a bounded linear operator is a linear transformation L between normed vector spaces X and Y for which the ratio of the norm of L(v) to that of v is bounded above by the same number, over all non-zero vectors v in X. In other words, there exists some M≥0{displaystyle Mgeq 0} such that for all v in X

‖Lv‖Y≤M‖v‖X.{displaystyle |Lv|_{Y}leq M|v|_{X}.,,}

The smallest such M is called the operator norm ‖L‖op{displaystyle |L|_{mathrm {op} },} of L.

A bounded linear operator is generally not a bounded function, as generally one can find a sequence
vk{displaystyle v_{k}} in X such that
‖Lvk‖Y→∞{displaystyle |Lv_{k}|_{Y}rightarrow infty }. Instead, all that is required for the operator to be bounded is that

‖Lv‖Y‖v‖X≤M<∞.{displaystyle {frac {|Lv|_{Y}}{|v|_{X}}}leq M<infty .}

So, the operator L could only be a bounded function if it satisfied L(v)=0 for all v, as is easy to understand by considering that for a linear operator,
L(av)=aL(v){displaystyle L(av)=aL(v)}
for all scalars a.
Rather, a bounded linear operator is a locally bounded function.

A linear operator between normed spaces is bounded if and only if it is continuous, and by linearity, if and only if it is continuous at zero.

Examples

• Any linear operator between two finite-dimensional normed spaces is bounded, and such an operator may be viewed as multiplication by some fixed matrix.


• On the sequence space c₀₀ of eventually zero sequences of real numbers, considered with the ℓ¹ norm, the linear operator to the real numbers which returns the sum of a sequence is bounded, with operator norm 1. If the same space is considered with the ℓ^∞ norm, the same operator is not bounded.


• Many integral transforms are bounded linear operators. For instance, if

K:[a,b]×[c,d]→R{displaystyle K:[a,b]times [c,d]to {mathbb {R} },}

is a continuous function, then the operator L,{displaystyle L,,} defined on the space C[a,b]{displaystyle C[a,b],} of continuous functions on [a,b]{displaystyle [a,b],} endowed with the uniform norm and with values in the space C[c,d],{displaystyle C[c,d],,} with L{displaystyle L,} given by the formula

(Lf)(y)=∫abK(x,y)f(x)dx,{displaystyle (Lf)(y)=int _{a}^{b}!K(x,y)f(x),dx,,}

is bounded. This operator is in fact compact. The compact operators form an important class of bounded operators.

• The Laplace operator
  

Δ:H2(Rn)→L2(Rn){displaystyle Delta :H^{2}({mathbb {R} }^{n})to L^{2}({mathbb {R} }^{n}),}

(its domain is a Sobolev space and it takes values in a space of square-integrable functions) is bounded.

• The shift operator on the l² space of all sequences (x₀, x₁, x₂...) of real numbers with x02+x12+x22+⋯<∞,{displaystyle x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+cdots <infty ,,}
  

L(x0,x1,x2,…)=(0,x0,x1,x2,…){displaystyle L(x_{0},x_{1},x_{2},dots )=(0,x_{0},x_{1},x_{2},dots ),}

is bounded. Its operator norm is easily seen to be 1.

Equivalence of boundedness and continuity

As stated in the introduction, a linear operator L between normed spaces X and Y is bounded if and only if it is a continuous linear operator. The proof is as follows.

• Suppose that L is bounded. Then, for all vectors v and h in X with h nonzero we have

‖L(v+h)−L(v)‖=‖L(h)‖≤M‖h‖.{displaystyle |L(v+h)-L(v)|=|L(h)|leq M|h|.,}

Letting h{displaystyle {mathit {h}},} go to zero shows that L is continuous at v. Moreover, since the constant M does not depend on v, this shows that in fact L is uniformly continuous, and even Lipschitz continuous.

• Conversely, it follows from the continuity at the zero vector that there exists a δ>0{displaystyle delta >0} such that ‖L(h)‖=‖L(h)−L(0)‖≤1{displaystyle |L(h)|=|L(h)-L(0)|leq 1} for all vectors h in X with ‖h‖≤δ{displaystyle |h|leq delta }. Thus, for all non-zero v{displaystyle v} in X, one has

‖Lv‖=‖‖v‖δL(δv‖v‖)‖=‖v‖δ‖L(δv‖v‖)‖≤‖v‖δ⋅1=1δ‖v‖.{displaystyle |Lv|=leftVert {|v| over delta }Lleft(delta {v over |v|}right)rightVert ={|v| over delta }leftVert Lleft(delta {v over |v|}right)rightVert leq {|v| over delta }cdot 1={1 over delta }|v|.}

This proves that L is bounded.

Linearity and boundedness

Not every linear operator between normed spaces is bounded. Let X be the space of all trigonometric polynomials defined on [−π, π], with the norm

‖P‖=∫−ππ|P(x)|dx.{displaystyle |P|=int _{-pi }^{pi }!|P(x)|,dx.}

Define the operator L:X→X which acts by taking the derivative, so it maps a polynomial P to its derivative P′. Then, for

v=einx{displaystyle v=e^{inx}}

with n=1, 2, ...., we have ‖v‖=2π,{displaystyle |v|=2pi ,} while ‖L(v)‖=2πn→∞{displaystyle |L(v)|=2pi nto infty } as n→∞, so this operator is not bounded.

It turns out that this is not a singular example, but rather part of a general rule. Any linear operator defined on a finite-dimensional normed space is bounded. However, given any normed spaces X and Y with X infinite-dimensional and Y not being the zero space, one can find a linear operator which is not continuous from X to Y.

That such a basic operator as the derivative (and others) is not bounded makes it harder to study. If, however, one defines carefully the domain and range of the derivative operator, one may show that it is a closed operator. Closed operators are more general than bounded operators but still "well-behaved" in many ways.

Further properties

The condition for L to be bounded, namely that there exists some M such that for all v

‖Lv‖≤M‖v‖,{displaystyle |Lv|leq M|v|,,}

is precisely the condition for L to be Lipschitz continuous at 0 (and hence, everywhere, because L is linear).

A common procedure for defining a bounded linear operator between two given Banach spaces is as follows. First, define a linear operator on a dense subset of its domain, such that it is locally bounded. Then, extend the operator by continuity to a continuous linear operator on the whole domain.

Properties of the space of bounded linear operators

• The space of all bounded linear operators from U to V is denoted by B(U,V) and is a normed vector space.


• If V is Banach, then so is B(U,V),


• from which it follows that dual spaces are Banach.


• For any A in B(U,V), the kernel of A is a closed linear subspace of U.


• If B(U,V) is Banach and U is nontrivial, then V is Banach.

Topological vector spaces

The boundedness condition for linear operators on normed spaces can be restated. An operator is bounded if it takes every bounded set to a bounded set, and here is meant the more general condition of boundedness for sets in a topological vector space (TVS): a set is bounded if and only if it is absorbed by every neighborhood of 0. Note that the two notions of boundedness coincide for locally convex spaces.

This formulation allows one to define bounded operators between general topological vector spaces as an operator which takes bounded sets to bounded sets. In this context, it is still true that every continuous map is bounded, however the converse fails; a bounded operator need not be continuous. Clearly, this also means that boundedness is no longer equivalent to Lipschitz continuity in this context.

A converse does hold when the domain is pseudometrisable, a case which includes Fréchet spaces. For LF spaces, a weaker converse holds; any bounded linear map from an LF space is sequentially continuous.

See also

• Operator algebra


• Operator theory


• Unbounded operator

References

• 
  Hazewinkel, Michiel, ed. (2001) [1994], "Bounded operator", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
  


• Kreyszig, Erwin: Introductory Functional Analysis with Applications, Wiley, 1989