Continuous linear operator: Difference between revisions

Revision as of 01:28, 18 February 2022

Revision as of 01:45, 18 February 2022

Line 63:

A linear map <math>F</math> is bounded on a set <math>S</math> if and only if it is bounded on <math>x + S</math> for every <math>x \in X</math> (because <math>F(x + S) = F(x) + F(S)</math>).

By definition, a linear map <math>F : X \to Y</math> between [[Topological vector space|TVS]]s is said to be {{em|[[Bounded linear operator|bounded]]}} and is called a {{em|[[bounded linear operator]]}} if for every [[Bounded set (topological vector space)|(von Neumann) bounded subset]] <math>B \subseteq X</math> of its ___domain, <math>F(B)</math> 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 <math>X</math> 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 <math>B_1</math> denotes this ball then <math>F : X \to Y</math> is a bounded linear operator if and only if <math>F\left(B_1\right)</math> is a bounded subset of <math>Y.;</math> if <math>Y</math> is also a normed space then this happens if and only if <math>\|F\| < \infty,</math> where <math>\|F\| := \sup_{\|x\| \leq 1} \|F(x)\|</math> is the usual [[operator norm]].

In contrast, a map <math>F : X \to Y</math> is said to be {{em|{{visible anchor|bounded on a neighborhood of}}}} a point <math>x \in X</math> or {{em|{{visible anchor|locally bounded at}}}} <math>x</math> if there exists a [[Neighborhood (mathematics)|neighborhood]] <math>U</math> of this point in <math>X</math> such that <math>F(U)</math> is a [[Bounded set (topological vector space)|bounded subset]] of <math>Y.</math>