Editing Banach space (section)

====Continuous and bounded linear functions and seminorms====
Every [[continuous linear operator]] is a [[bounded linear operator]] and if dealing only with normed spaces then the converse is also true. That is, a [[linear operator]] between two normed spaces is [[Bounded linear operator|bounded]] if and only if it is a [[continuous function]]. So in particular, because the scalar field (which is <math>\R</math> or <math>\Complex</math>) is a normed space, a [[linear functional]] on a normed space is a [[bounded linear functional]] if and only if it is a [[continuous linear functional]]. This allows for continuity-related results (like those below) to be applied to Banach spaces. Although boundedness is the same as continuity for linear maps between normed spaces, the term "bounded" is more commonly used when dealing primarily with Banach spaces.

If <math>f : X \to \R</math> is a [[subadditive function]] (such as a norm, a [[sublinear function]], or real linear functional), then{{sfn|Narici|Beckenstein|2011|pp=192-193}} <math>f</math> is [[Continuity at a point|continuous at the origin]] if and only if <math>f</math> is [[uniformly continuous]] on all of <math>X</math>; and if in addition <math>f(0) = 0</math> then <math>f</math> is continuous if and only if its [[absolute value]] <math>|f| : X \to [0, \infty)</math> is continuous, which happens if and only if <math>\{x \in X \mid |f(x)| < 1\}</math> is an open subset of <math>X.</math>{{sfn|Narici|Beckenstein|2011|pp=192-193}}<ref group=note>The fact that <math>\{x \in X \mid |f(x)| < 1\}</math> being open implies that <math>f : X \to \R</math> is continuous simplifies proving continuity because this means that it suffices to show that <math>\{x \in X \mid |f(x) - f(x_0)| < r\}</math> is open for <math>r := 1</math> and at <math>x_0 := 0</math> (where <math>f(0) = 0</math>) rather than showing this for {{em|all}} real <math>r > 0</math> and {{em|all}} <math>x_0 \in X.</math></ref> 
And very importantly for applying the [[Hahn–Banach theorem]], a linear functional <math>f</math> is continuous if and only if this is true of its [[real part]] <math>\operatorname{Re} f</math> and moreover, <math>\|\operatorname{Re} f\| = \|f\|</math> and [[Real and imaginary parts of a linear functional|the real part <math>\operatorname{Re} f</math> completely determines]] <math>f,</math> which is why the Hahn–Banach theorem is often stated only for real linear functionals.
Also, a linear functional <math>f</math> on <math>X</math> is continuous if and only if the [[seminorm]] <math>|f|</math> is continuous, which happens if and only if there exists a continuous seminorm <math>p : X \to \R</math> such that <math>|f| \leq p</math>; this last statement involving the linear functional <math>f</math> and seminorm <math>p</math> is encountered in many versions of the Hahn–Banach theorem.