Editing Hahn–Banach theorem (section)

==History==

The theorem is named for the mathematicians [[Hans Hahn (mathematician)|Hans Hahn]] and [[Stefan Banach]], who proved it independently in the late 1920s. 
The special case of the theorem for the space <math>C[a, b]</math> of continuous functions on an interval was proved earlier (in 1912) by [[Eduard Helly]],<ref>{{MacTutor Biography|id=Helly}}</ref> and a more general extension theorem, the [[M. Riesz extension theorem]], from which the Hahn–Banach theorem can be derived, was proved in 1923 by [[Marcel Riesz]].<ref>See [[M. Riesz extension theorem]]. 
According to {{cite journal|mr=0256837|last=Gårding|first=L.|author-link=Lars Gårding|title=Marcel Riesz in memoriam|journal=[[Acta Math.]]|volume=124|year=1970|issue=1|pages=I–XI |doi=10.1007/bf02394565|doi-access=free}}, the argument was known to Riesz already in 1918.</ref>

The first Hahn–Banach theorem was proved by [[Eduard Helly]] in 1912 who showed that certain linear functionals defined on a subspace of a certain type of normed space (<math>\Complex^{\N}</math>) had an extension of the same norm. Helly did this through the technique of first proving that a one-dimensional [[Extension of a function|extension]] exists (where the linear functional has its domain extended by one dimension) and then using [[Mathematical induction|induction]].  In 1927, Hahn defined general [[Banach space]]s and used Helly's technique to prove a norm-preserving version of Hahn–Banach theorem for Banach spaces (where a bounded linear functional on a subspace has a bounded linear extension of the same norm to the whole space).  In 1929, Banach, who was unaware of Hahn's result, generalized it by replacing the norm-preserving version with the dominated extension version that uses [[sublinear function]]s.  Whereas Helly's proof used mathematical induction, Hahn and Banach both used [[transfinite induction]].{{sfn|Narici|Beckenstein|2011|pp=177-220}}

The Hahn–Banach theorem arose from attempts to solve infinite systems of linear equations. This is needed to solve problems such as the [[moment problem]], whereby given all the potential [[Moment (mathematics)|moments of a function]] one must determine if a function having these moments exists, and, if so, find it in terms of those moments. Another such problem is the [[Fourier sine and cosine series|Fourier cosine series]] problem, whereby given all the potential Fourier cosine coefficients one must determine if a function having those coefficients exists, and, again, find it if so.

Riesz and Helly solved the problem for certain classes of spaces (such as [[Lp space|<math>L^p([0, 1])</math>]] and [[Continuous functions on a compact Hausdorff space|<math>C([a, b])</math>]]) where they discovered that the existence of a solution was equivalent to the existence and continuity of certain linear functionals.  In effect, they needed to solve the following problem:{{sfn|Narici|Beckenstein|2011|pp=177-220}} 

:('''{{visible anchor|The vector problem}}''') Given a collection <math>\left(f_i\right)_{i \in I}</math> of bounded linear functionals on a [[normed space]] <math>X</math> and a collection of scalars <math>\left(c_i\right)_{i \in I},</math> determine if there is an <math>x \in X</math> such that <math>f_i(x) = c_i</math> for all <math>i \in I.</math>

If <math>X</math> happens to be a [[reflexive space]] then to solve the vector problem, it suffices to solve the following dual problem:{{sfn|Narici|Beckenstein|2011|pp=177-220}}

:('''The functional problem''') Given a collection <math>\left(x_i\right)_{i \in I}</math> of vectors in a normed space <math>X</math> and a collection of scalars <math>\left(c_i\right)_{i \in I},</math> determine if there is a bounded linear functional <math>f</math> on <math>X</math> such that <math>f\left(x_i\right) = c_i</math> for all <math>i \in I.</math>

Riesz went on to define [[Lp space|<math>L^p([0, 1])</math> space]] (<math>1 < p < \infty</math>) in 1910 and the <math>\ell^p</math> spaces in 1913.  While investigating these spaces he proved a special case of the Hahn–Banach theorem.  Helly also proved a special case of the Hahn–Banach theorem in 1912.  In 1910, Riesz solved the functional problem for some specific spaces and in 1912, Helly solved it for a more general class of spaces. It wasn't until 1932 that Banach, in one of the first important applications of the Hahn–Banach theorem, solved the general functional problem.  The following theorem states the general functional problem and characterizes its solution.{{sfn|Narici|Beckenstein|2011|pp=177-220}}

{{Math theorem|name=Theorem{{sfn|Narici|Beckenstein|2011|pp=177-220}}|note=The functional problem|math_statement=
Let <math>\left(x_i\right)_{i \in I}</math> be vectors in a [[real number|real]] or [[complex number|complex]] normed space <math>X</math> and let <math>\left(c_i\right)_{i \in I}</math> be scalars also [[Index set|indexed by]] <math>I \neq \varnothing.</math>

There exists a continuous linear functional <math>f</math> on <math>X</math> such that <math>f\left(x_i\right) = c_i</math> for all <math>i \in I</math> if and only if there exists a <math>K > 0</math> such that for any choice of scalars <math>\left(s_i\right)_{i \in I}</math> where all but finitely many <math>s_i</math> are <math>0,</math> the following holds:
<math display=block>\left|\sum_{i \in I} s_i c_i\right| \leq K \left\|\sum_{i \in I} s_i x_i\right\|.</math>
}}

The Hahn–Banach theorem can be deduced from the above theorem.{{sfn|Narici|Beckenstein|2011|pp=177-220}} If <math>X</math> is [[Reflexive space|reflexive]] then this theorem solves the vector problem.