El teorema de Hahn - Banach se refiere a varios resultados clásicos relacionados del análisis funcional , en particular
Sea un espacio lineal o vectorial sobre el campo de los números reales y sea un funcional subaditivo positivamente homogéneo . Para cualquier subespacio lineal de un espacio lineal, cada funcional lineal que satisfaga la condición ,se puede extender a todo el espacio manteniendo esta desigualdad. |
Es fácil demostrar que sólo la homogeneidad positiva (tal formulación errónea se da en la Enciclopedia Matemática ) o la superaditividad del funcional no es suficiente para la validez de este teorema.
Un contraejemplo para un funcional positivamente homogéneo: , , .
Ampliamente conocidas son varias versiones del teorema de la continuación de un funcional lineal con la conservación de la mayorante para espacios lineales sobre el campo de los números complejos cuando es un seminorma .
Cualquier funcional lineal acotado definido en una variedad lineal de un espacio lineal normado se puede extender a todo el espacio conservando la norma. |
Muchos corolarios importantes se derivan de estos teoremas. Uno de ellos:
Para cualesquiera dos puntos diferentes de un espacio lineal normado o de un espacio localmente convexo , existe un funcional lineal continuo definido sobre todo el espacio para el cual sus valores en estos puntos son diferentes. |
Primero probamos que hay una extensión en una dirección. deja _ Considere un espacio lineal de la forma:
Seguiremos escribiendo :
donde está el número real a determinar. Para arbitrario y se realiza:
De aquí
Como consecuencia
Vamos a definirlo así
Igualdad
.definamos
Para todo y arbitrario , se cumple la siguiente desigualdad:
es por eso
Para completar la demostración usamos el lema de Zorn . Sea el conjunto de todas las extensiones posibles que satisfacen las condiciones del teorema. Este conjunto está parcialmente ordenado debido a la inclusión de dominios, y cada subconjunto ordenado linealmente tiene un supremo (la unión de dominios ). Por lo tanto, por el lema de Zorn, este conjunto tiene un elemento máximo. Este elemento es igual a todo el espacio, de lo contrario, se puede realizar una continuación adicional utilizando solo una determinada construcción.