Usuari:Jsolamr/proves/Teorema de Hahn-Banach

El Teorema de Hahn-Banach és un teorema matemàtic de l'àrea d'Anàlisi funcional, dins la que ocupa un lloc important. Té principalment dues formes: la forma analítica i la forma geomètrica. que és una part de l'Anàlisi Matemàtica. La forma analítica afirma l'existència d'extensions de formes lineals que compleixen una certa desigualtat respecte a una sub-norma (o d'una semi-norma o una norma). La forma geomètrica i afirma l'existència d'hiperplans afins tancats que separin a parelles de conjunts convexos disjunts.

Podriem dir que aquest teorema permet d'obtenir en dimensió infinita resultats d'extensió de formes lineals que en dimensió finita serien molt més senzills, utilitzant bases i extensió de bases. Totes les demostracions d'aquest teorema utilitzen de manera essencial l'axioma de Zorn, excepte en el cas d'espais de Hilbert, que inclou en particular el cas dels espais de dimensió finita.

Aquest teorema rep el seu nom dels matemàtics Hans Hahn i Stefan Banach, que el van provar independentment a finals de la dècada de 1920.

Enunciat

Presentem ara l'enunciat que podriem dir que és el menys sofisticat, però que ja és suficient en moltes aplicacions:

Sigui $E$un espai vectorial normat i sigui $G\subset E$un subespai vectorial de $E$. Tota forma lineal contínua $g\in G'$admet almenys una extensió $f\in E'$amb la propietat addicional que $\|f\|_{E'}=\|g\|_{G'}$.

Aquest cas particular és suficient per a demostrar, per exemple, que si $E$és un espai normat de dimensió infinita, aleshores $E'\neq \{0\}$.