Continuous linear operator: Difference between revisions

Revision as of 04:02, 18 February 2022

Revision as of 04:07, 18 February 2022

Line 99:

A TVS is said to be {{em|locally bounded}} if there exists a neighborhood of the origin that is also a [[Bounded set (topological vector space)|bounded set]].{{sfn|Wilansky|2013|pp=53-55}} For example, every [[Normed space|normed]] or [[seminormed space]] is a locally bounded TVS since the unit ball centered at the origin is a bounded subset.

If <math>B</math> 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 <math>B</math>).

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|bounded on a neighborhood]].

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|bounded on a neighborhood]].{{sfn|Wilansky|2013|pp=53-55}}

Conversely, if <math>Y</math> is a TVS such that every continuous linear map (from any TVS) into <math>Y</math> is necessarily [[#bounded on a neighborhood|bounded on a neighborhood]], then <math>Y</math> must be a locally bounded TVS.{{sfn|Wilansky|2013|pp=53-55}}

In particular, a linear functional on a arbitrary TVS is continuous if and only if it is bounded on a neighborhood.{{sfn|Wilansky|2013|pp=53-55}}

In particular,Thus when the ___domain {{em|or}} the codomain of a linear map is normable or seminormable, then continuity iswill be [[Logical equivalence|equivalent]] to being bounded on a neighborhood.

==Continuous linear functionals==