Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Continuous linear operator

From Wikipedia, the free encyclopedia
Function between topological vector spaces

Infunctional analysis and related areas ofmathematics, acontinuous linear operator orcontinuous linear mapping is acontinuouslinear transformation betweentopological vector spaces.

An operator between twonormed spaces is abounded linear operator if and only if it is a continuous linear operator.

Continuous linear operators

[edit]
See also:Continuous function (topology) andDiscontinuous linear map

Characterizations of continuity

[edit]
See also:Bounded operator

Suppose thatF:XY{\displaystyle F:X\to Y} is alinear operator between twotopological vector spaces (TVSs). The following are equivalent:

  1. F{\displaystyle F} is continuous.
  2. F{\displaystyle F} iscontinuous at some pointxX.{\displaystyle x\in X.}
  3. F{\displaystyle F} is continuous at the origin inX.{\displaystyle X.}

IfY{\displaystyle Y} islocally convex then this list may be extended to include:

  1. for every continuousseminormq{\displaystyle q} onY,{\displaystyle Y,} there exists a continuous seminormp{\displaystyle p} onX{\displaystyle X} such thatqFp.{\displaystyle q\circ F\leq p.}[1]

IfX{\displaystyle X} andY{\displaystyle Y} are bothHausdorff locally convex spaces then this list may be extended to include:

  1. F{\displaystyle F} isweakly continuous and itstransposetF:YX{\displaystyle {}^{t}F:Y^{\prime }\to X^{\prime }} mapsequicontinuous subsets ofY{\displaystyle Y^{\prime }} to equicontinuous subsets ofX.{\displaystyle X^{\prime }.}

IfX{\displaystyle X} is asequential space (such as apseudometrizable space) then this list may be extended to include:

  1. F{\displaystyle F} issequentially continuous at some (or equivalently, at every) point of its domain.

IfX{\displaystyle X} ispseudometrizable or metrizable (such as a normed orBanach space) then we may add to this list:

  1. F{\displaystyle F} is abounded linear operator (that is, it maps bounded subsets ofX{\displaystyle X} to bounded subsets ofY{\displaystyle Y}).[2]

IfY{\displaystyle Y} isseminormable space (such as anormed space) then this list may be extended to include:

  1. F{\displaystyle F} maps some neighborhood of 0 to a bounded subset ofY.{\displaystyle Y.}[3]

IfX{\displaystyle X} andY{\displaystyle Y} are bothnormed orseminormed spaces (with both seminorms denoted by{\displaystyle \|\cdot \|}) then this list may be extended to include:

  1. for everyr>0{\displaystyle r>0} there exists someδ>0{\displaystyle \delta >0} such that for all x,yX, if xy<δ then FxFy<r.{\displaystyle {\text{ for all }}x,y\in X,{\text{ if }}\|x-y\|<\delta {\text{ then }}\|Fx-Fy\|<r.}

IfX{\displaystyle X} andY{\displaystyle Y} are Hausdorff locally convex spaces withY{\displaystyle Y} finite-dimensional then this list may be extended to include:

  1. the graph ofF{\displaystyle F} is closed inX×Y.{\displaystyle X\times Y.}[4]

Continuity and boundedness

[edit]

Throughout,F:XY{\displaystyle F:X\to Y} is alinear map betweentopological vector spaces (TVSs).

Bounded subset

See also:Bounded set (topological vector space)

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 subsetS{\displaystyle S} is von Neumann bounded if and only if it isnorm bounded, meaning thatsupsSs<.{\displaystyle \sup _{s\in S}\|s\|<\infty .} 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 (R{\displaystyle \mathbb {R} } orC{\displaystyle \mathbb {C} }) with theabsolute value||{\displaystyle |\cdot |} is a normed space, so a subsetS{\displaystyle S} is bounded if and only ifsupsS|s|{\displaystyle \sup _{s\in S}|s|} is finite, which happens if and only ifS{\displaystyle 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

IfSX{\displaystyle S\subseteq X} is a set thenF:XY{\displaystyle F:X\to Y} is said to bebounded onS{\displaystyle S} ifF(S){\displaystyle F(S)} is abounded subset ofY,{\displaystyle Y,} which if(Y,){\displaystyle (Y,\|\cdot \|)} is a normed (or seminormed) space happens if and only ifsupsSF(s)<.{\displaystyle \sup _{s\in S}\|F(s)\|<\infty .} A linear mapF{\displaystyle F} is bounded on a setS{\displaystyle S} if and only if it is bounded onx+S:={x+s:sS}{\displaystyle x+S:=\{x+s:s\in S\}} for everyxX{\displaystyle x\in X} (becauseF(x+S)=F(x)+F(S){\displaystyle F(x+S)=F(x)+F(S)} and any translation of a bounded set is again bounded) if and only if it is bounded oncS:={cs:sS}{\displaystyle cS:=\{cs:s\in S\}} for every non-zero scalarc0{\displaystyle c\neq 0} (becauseF(cS)=cF(S){\displaystyle F(cS)=cF(S)} and any scalar multiple of a bounded set is again bounded). Consequently, if(X,){\displaystyle (X,\|\cdot \|)} is a normed or seminormed space, then a linear mapF:XY{\displaystyle 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{xX:x1}.{\displaystyle \{x\in X:\|x\|\leq 1\}.}

Bounded linear maps

See also:Bounded linear operator

By definition, a linear mapF:XY{\displaystyle F:X\to Y} betweenTVSs is said to bebounded and is called abounded linear operator if for every(von Neumann) bounded subsetBX{\displaystyle B\subseteq X} of its domain,F(B){\displaystyle 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 domainX{\displaystyle 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, ifB1{\displaystyle B_{1}} denotes this ball thenF:XY{\displaystyle F:X\to Y} is a bounded linear operator if and only ifF(B1){\displaystyle F\left(B_{1}\right)} is a bounded subset ofY;{\displaystyle Y;} ifY{\displaystyle Y} is also a (semi)normed space then this happens if and only if theoperator normF:=supx1F(x)<{\displaystyle \|F\|:=\sup _{\|x\|\leq 1}\|F(x)\|<\infty } is finite. Everysequentially continuous linear operator is bounded.[5]

Function bounded on a neighborhood and local boundedness

See also:Local boundedness

In contrast, a mapF:XY{\displaystyle F:X\to Y} is said to bebounded on a neighborhood of a pointxX{\displaystyle x\in X} orlocally bounded atx{\displaystyle x} if there exists aneighborhoodU{\displaystyle U} of this point inX{\displaystyle X} such thatF(U){\displaystyle F(U)} is abounded subset ofY.{\displaystyle Y.} It is "bounded on a neighborhood" (of some point) if there existssome pointx{\displaystyle x} in its domain at which it is locally bounded, in which case this linear mapF{\displaystyle F} 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

[edit]

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 necessarilycontinuous[2] (even if its domain is not anormed space) and thus alsobounded (because a continuous linear operator is always abounded linear operator).[6]

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

[edit]

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: IfId:XX{\displaystyle \operatorname {Id} :X\to X} is the identity map on somelocally convex topological vector space then this linear map is always continuous (indeed, even aTVS-isomorphism) andbounded, butId{\displaystyle \operatorname {Id} } is bounded on a neighborhood if and only if there exists a bounded neighborhood of the origin inX,{\displaystyle X,} whichis equivalent toX{\displaystyle X} being aseminormable space (which ifX{\displaystyle X} 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.

Guaranteeing converses

[edit]

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. IfB{\displaystyle 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 neighborhoodB{\displaystyle B}). 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, ifX{\displaystyle X} is a TVS such that every continuous linear map (into any TVS) whose domain isX{\displaystyle X} is necessarily bounded on a neighborhood, thenX{\displaystyle X} must be a locally bounded TVS (because theidentity functionXX{\displaystyle 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.[8] Conversely, ifY{\displaystyle Y} is a TVS such that every continuous linear map (from any TVS) with codomainY{\displaystyle Y} is necessarilybounded on a neighborhood, thenY{\displaystyle Y} 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.

A linear map whose domain ispseudometrizable (such as anynormed space) isbounded if and only if it is continuous.[2] The same is true of a linear map from abornological space into alocally convex space.[6]

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". IfF:XY{\displaystyle F:X\to Y} is a bounded linear operator from anormed spaceX{\displaystyle X} into some TVS thenF:XY{\displaystyle F:X\to Y} is necessarily continuous; this is because any open ballB{\displaystyle B} centered at the origin inX{\displaystyle X} is both a bounded subset (which implies thatF(B){\displaystyle F(B)} is bounded sinceF{\displaystyle F} is a bounded linear map) and a neighborhood of the origin inX,{\displaystyle X,} so thatF{\displaystyle F} is thus bounded on this neighborhoodB{\displaystyle B} of the origin, which (as mentioned above) guarantees continuity.

Continuous linear functionals

[edit]
See also:Sublinear function

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.

Characterizing continuous linear functionals

[edit]

LetX{\displaystyle X} be atopological vector space (TVS) over the fieldF{\displaystyle \mathbb {F} } (X{\displaystyle X} need not beHausdorff orlocally convex) and letf:XF{\displaystyle f:X\to \mathbb {F} } be alinear functional onX.{\displaystyle X.} The following are equivalent:[1]

  1. f{\displaystyle f} is continuous.
  2. f{\displaystyle f} is uniformly continuous onX.{\displaystyle X.}
  3. f{\displaystyle f} iscontinuous at some point ofX.{\displaystyle X.}
  4. f{\displaystyle f} is continuous at the origin.
  5. f{\displaystyle f} isbounded on a neighborhood (of some point). Said differently,f{\displaystyle f} is alocally bounded at some point of its domain.
  6. f{\displaystyle f} isbounded on a neighborhood of the origin. Said differently,f{\displaystyle f} is alocally bounded at the origin.
  7. There exists some neighborhoodU{\displaystyle U} of the origin such thatsupuU|f(u)|1{\displaystyle \sup _{u\in U}|f(u)|\leq 1}
  8. f{\displaystyle f} is alocally bounded at every point of its domain.
  9. The kernel off{\displaystyle f} is closed inX.{\displaystyle X.}[2]
  10. Eitherf=0{\displaystyle f=0} or else the kernel off{\displaystyle f} isnot dense inX.{\displaystyle X.}[2]
  11. There exists a continuous seminormp{\displaystyle p} onX{\displaystyle X} such that|f|p.{\displaystyle |f|\leq p.}
  12. The graph off{\displaystyle f} is closed.[9]
  13. Ref{\displaystyle \operatorname {Re} f} is continuous, whereRef{\displaystyle \operatorname {Re} f} denotes thereal part off.{\displaystyle f.}

IfX{\displaystyle X} andY{\displaystyle Y} are complex vector spaces then this list may be extended to include:

  1. The imaginary partImf{\displaystyle \operatorname {Im} f} off{\displaystyle f} is continuous.

If the domainX{\displaystyle X} is asequential space then this list may be extended to include:

  1. f{\displaystyle f} issequentially continuous at some (or equivalently, at every) point of its domain.[2]

If the domainX{\displaystyle X} ismetrizable or pseudometrizable (for example, aFréchet space or anormed space) then this list may be extended to include:

  1. f{\displaystyle f} is abounded linear operator (that is, it maps bounded subsets of its domain to bounded subsets of its codomain).[2]

If the domainX{\displaystyle X} is abornological space (for example, apseudometrizable TVS) andY{\displaystyle Y} islocally convex then this list may be extended to include:

  1. f{\displaystyle f} is abounded linear operator.[2]
  2. f{\displaystyle f} issequentially continuous at some (or equivalently, at every) point of its domain.[10]
  3. f{\displaystyle f} is sequentially continuous at the origin.

and if in additionX{\displaystyle X} is a vector space over thereal numbers (which in particular, implies thatf{\displaystyle f} is real-valued) then this list may be extended to include:

  1. There exists a continuous seminormp{\displaystyle p} onX{\displaystyle X} such thatfp.{\displaystyle f\leq p.}[1]
  2. For some realr,{\displaystyle r,} the half-space{xX:f(x)r}{\displaystyle \{x\in X:f(x)\leq r\}} is closed.
  3. For any realr,{\displaystyle r,} the half-space{xX:f(x)r}{\displaystyle \{x\in X:f(x)\leq r\}} is closed.[11]

IfX{\displaystyle X} is complex then either all three off,{\displaystyle f,}Ref,{\displaystyle \operatorname {Re} f,} andImf{\displaystyle \operatorname {Im} f} arecontinuous (respectively,bounded), or else all three arediscontinuous (respectively, unbounded).

Examples

[edit]

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) mapXY{\displaystyle X\to Y} between TVS that is identically equal to zero is a linear map that is continuous, bounded, and bounded on the neighborhoodX{\displaystyle X} 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).

SupposeX{\displaystyle X} is any Hausdorff TVS. Theneverylinear functional onX{\displaystyle X} is necessarily continuous if and only if every vector subspace ofX{\displaystyle X} is closed.[12] Every linear functional onX{\displaystyle X} is necessarily a bounded linear functional if and only if everybounded subset ofX{\displaystyle X} is contained in a finite-dimensional vector subspace.[13]

Properties

[edit]

Alocally convexmetrizable topological vector space isnormable if and only if every bounded linear functional on it is continuous.

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 equalityF1(D)+x=F1(D+F(x)){\displaystyle F^{-1}(D)+x=F^{-1}(D+F(x))}for any subsetD{\displaystyle D} ofY{\displaystyle Y} and anyxX,{\displaystyle x\in X,} which is true due to theadditivity ofF.{\displaystyle F.}

Properties of continuous linear functionals

[edit]

IfX{\displaystyle X} is a complexnormed space andf{\displaystyle f} is a linear functional onX,{\displaystyle X,} thenf=Ref{\displaystyle \|f\|=\|\operatorname {Re} f\|}[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 TVSX{\displaystyle X} is anopen map.[1] Iff{\displaystyle f} is a linear functional on a real vector spaceX{\displaystyle X} and ifp{\displaystyle p} is a seminorm onX,{\displaystyle X,} then|f|p{\displaystyle |f|\leq p} if and only iffp.{\displaystyle f\leq p.}[1]

Iff:XF{\displaystyle f:X\to \mathbb {F} } is a linear functional andUX{\displaystyle U\subseteq X} is a non-empty subset, then by defining the setsf(U):={f(u):uU} and |f(U)|:={|f(u)|:uU},{\displaystyle f(U):=\{f(u):u\in U\}\quad {\text{ and }}\quad |f(U)|:=\{|f(u)|:u\in U\},}the supremumsupuU|f(u)|{\displaystyle \,\sup _{u\in U}|f(u)|\,} can be written more succinctly assup|f(U)|{\displaystyle \,\sup |f(U)|\,} becausesup|f(U)| = sup{|f(u)|:uU} = supuU|f(u)|.{\displaystyle \sup |f(U)|~=~\sup\{|f(u)|:u\in U\}~=~\sup _{u\in U}|f(u)|.}Ifs{\displaystyle s} is a scalar thensup|f(sU)| = |s|sup|f(U)|{\displaystyle \sup |f(sU)|~=~|s|\sup |f(U)|}so that ifr>0{\displaystyle r>0} is a real number andBr:={cF:|c|r}{\displaystyle B_{\leq r}:=\{c\in \mathbb {F} :|c|\leq r\}} is the closed ball of radiusr{\displaystyle r} centered at the origin then the following are equivalent:

  1. f(U)B1{\textstyle f(U)\subseteq B_{\leq 1}}
  2. sup|f(U)|1{\textstyle \sup |f(U)|\leq 1}
  3. sup|f(rU)|r{\textstyle \sup |f(rU)|\leq r}
  4. f(rU)Br.{\textstyle f(rU)\subseteq B_{\leq r}.}

See also

[edit]

References

[edit]
  1. ^abcdeNarici & Beckenstein 2011, pp. 126–128.
  2. ^abcdefghijkNarici & Beckenstein 2011, pp. 156–175.
  3. ^Wilansky 2013, p. 54.
  4. ^Narici & Beckenstein 2011, p. 476.
  5. ^Wilansky 2013, pp. 47–50.
  6. ^abcdeNarici & Beckenstein 2011, pp. 441–457.
  7. ^Wilansky 2013, pp. 54–55.
  8. ^abcdWilansky 2013, pp. 53–55.
  9. ^Wilansky 2013, p. 63.
  10. ^Narici & Beckenstein 2011, pp. 451–457.
  11. ^Narici & Beckenstein 2011, pp. 225–273.
  12. ^Wilansky 2013, p. 55.
  13. ^Wilansky 2013, p. 50.
  14. ^Narici & Beckenstein 2011, p. 128.
Types of Banach spaces
Banach spaces are:
Function space Topologies
Linear operators
Operator theory
Theorems
Analysis
Types of sets
Subsets / set operations
Examples
Applications
Spaces
Properties
Theorems
Operators
Algebras
Open problems
Applications
Advanced topics
Basic concepts
Main results
Maps
Types of sets
Set operations
Types of TVSs
Retrieved from "https://en.wikipedia.org/w/index.php?title=Continuous_linear_operator&oldid=1326982978"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp