Teorema de Hahn-Banach - Hahn–Banach theorem
El teorema de Hahn-Banach es una herramienta central en el análisis funcional . Permite la extensión de funcionales lineales acotados definidos en un subespacio de algún espacio vectorial a todo el espacio, y también muestra que hay "suficientes" funcionales lineales continuos definidos en cada espacio vectorial normalizado para hacer que el estudio del espacio dual sea "interesante ". Otra versión del teorema de Hahn-Banach se conoce como teorema de separación de Hahn-Banach o teorema de separación de hiperplano , y tiene numerosos usos en geometría convexa .
Historia
El teorema lleva el nombre de los matemáticos Hans Hahn y Stefan Banach , quienes lo demostraron de forma independiente a finales de la década de 1920. El caso especial del teorema para el espacio de funciones continuas en un intervalo fue probado anteriormente (en 1912) por Eduard Helly , y un teorema de extensión más general, el teorema de extensión de M. Riesz , del cual se puede derivar el teorema de Hahn-Banach , fue probado en 1923 por Marcel Riesz .
El primer teorema de Hahn-Banach fue probado por Eduard Helly en 1921, quien demostró que ciertos funcionales lineales definidos en un subespacio de un cierto tipo de espacio normado ( ) tenían una extensión de la misma norma. Helly hizo esto a través de la técnica de probar primero que existe una extensión unidimensional (donde el funcional lineal tiene su dominio extendido en una dimensión) y luego usando inducción . En 1927, Hahn definió los espacios de Banach generales y utilizó la técnica de Helly para probar una versión que conserva la norma del teorema de Hahn-Banach para los espacios de Banach (donde un funcional lineal acotado en un subespacio tiene una extensión lineal acotada de la misma norma a todo el espacio). En 1929, Banach, que desconocía el resultado de Hahn, lo generalizó reemplazando la versión que conserva las normas por la versión de extensión dominada que usa funciones sublineales . Mientras que la prueba de Helly usaba inducción matemática, tanto Hahn como Banach usaban inducción transfinita .
El teorema de Hahn-Banach surgió de los intentos de resolver sistemas infinitos de ecuaciones lineales. Esto es necesario para resolver problemas como el problema del momento, por el cual, dados todos los momentos potenciales de una función, uno debe determinar si existe una función que tenga estos momentos y, de ser así, encontrarla en términos de esos momentos. Otro de estos problemas es el problema de la serie del coseno de Fourier , por el cual, dados todos los coeficientes de coseno de Fourier potenciales, uno debe determinar si existe una función que tenga esos coeficientes y, nuevamente, encontrarla si es así.
Riesz y Helly resolvieron el problema para ciertas clases de espacios (como L p ([0, 1]) y C ([ a , b ])) donde descubrieron que la existencia de una solución era equivalente a la existencia y continuidad de ciertos funcionales lineales. En efecto, necesitaban resolver el siguiente problema:
- ( El problema vector ) Dada una colección de funcionales lineales delimitadas en un espacio normado X y una colección de escalares , determinar si hay un x ∈ X tal que f i ( x ) = c i para todos los i ∈ I .
Para resolver esto, si X es reflexivo, entonces basta con resolver el siguiente problema dual:
- ( El problema funcional ) Dada una colección de vectores en un espacio normado X y una colección de escalares , determinar si hay una acotada funcional lineal f en X tal que f ( x i ) = c i para todos los i ∈ I .
Riesz pasó a definir L p ([0, 1]) ( 1 < p <∞ ) en 1910 y los espacios l p en 1913. Mientras investigaba estos espacios, demostró un caso especial del teorema de Hahn-Banach. Helly también demostró un caso especial del teorema de Hahn-Banach en 1912. En 1910, Riesz resolvió el problema funcional para algunos espacios específicos y en 1912, Helly lo resolvió para una clase de espacios más general. No fue hasta 1932 que Banach, en una de las primeras aplicaciones importantes del teorema de Hahn-Banach, resolvió el problema funcional general. El siguiente teorema establece el problema funcional general y caracteriza su solución.
Teorema (El problema funcional) - Sea X un espacio normado real o complejo, I un conjunto no vacío, ( c i ) i ∈ I una familia de escalares, y ( x i ) i ∈ I una familia de vectores en X .
Existe una función lineal continua f en X tal que f ( x i ) = c i para todo i ∈ I si y solo si existe un K > 0 tal que para cualquier elección de escalares ( s i ) i ∈ I donde todos pero un número finito de s i es 0, necesariamente tenemos
Se puede utilizar el teorema anterior para deducir el teorema de Hahn-Banach. Si X es reflexivo, entonces este teorema resuelve el problema del vector.
Teorema de Hahn-Banach
Teorema (Hahn-Banach) : establezca K para que sea R o C y sea X un espacio de vector K. Si f : M → K es un K -linear funcional en una K -linear subespacio M y p : X → R una función no negativa, de tal manera que sublineal
- | f ( m ) | ≤ p ( m ) para todos m ∈ M .
entonces existe un K- lineal F : X → K tal que
- F ( m ) = f ( m ) para todo m ∈ M ,
- | F ( x ) | ≤ p ( x ) para todo x ∈ X .
La extensión F es, en general, no se especifica de forma única por f y la prueba da ningún método explícito en cuanto a cómo encontrar F .
Es posible relajar ligeramente la condición subaditividad de p , que sólo requiere que para todo x , y ∈ X y todos los escalares a y b que satisface | a | + | b | ≤ 1 ,
- p ( ax + por ) ≤ | a | p ( x ) + | b | p ( y ) .
Además, es posible relajar la homogeneidad positiva y las condiciones de subaditividad en p , requiriendo solo que p sea convexo.
El proyecto Mizar ha formalizado por completo y comprobado automáticamente la prueba del teorema de Hahn-Banach en el archivo HAHNBAN.
Prueba
En el caso complejo, los C supuestos -linearity exigen que M = N + Ni por algún espacio real vector N . Además, para cada vector x ∈ N , f ( ix ) = if ( x ) . Así, la parte real de un funcional lineal determina ya el comportamiento del funcional lineal como un todo, y será suficiente probar el caso real.
Primero, notamos el resultado inicial de Helly: si M tiene codimensión 1, entonces Hahn-Banach es fácil.
Lema (Teorema de extensión dominado unidimensional) - Sea X un espacio vectorial real, p : X → R una función sublineal, f : M → R una funcional lineal en un subespacio vectorial propio M ⊆ X tal que f ≤ p en M (es decir, f ( m ) ≤ p ( m ) para todos m ∈ m ), y x ∈ X un vector no en m . Existe una extensión lineal F : M ⊕ R x → R de f a M ⊕ R x = span { M , x } tal que F ≤ p en M ⊕ R x .
Para demostrar este lema, y mucho m , n ∈ M . Por las propiedades de linealidad de nuestras funciones,
- - p (- x - norte ) - f ( norte ) ≤ p ( metro + x ) - f ( metro ) .
En particular, dejemos
- F ( m + rx ) ≤ p ( m ) + rc ≤ p ( m + rx )
La desigualdad inversa es similar.
Ahora aplicar lema de Zorn : las posibles extensiones de f están parcialmente ordenados por extensión uno del otro, por lo que no es una extensión máxima F . Por el resultado de la codimensión-1, si F no se define en todo X , entonces se puede ampliar aún más. Por tanto, F debe definirse en todas partes, como se afirma.
En espacios localmente convexos
En la forma anterior, el funcional que se va a ampliar ya debe estar delimitado por una función sublineal. En algunas aplicaciones, esto podría cerrar la pregunta . Sin embargo, en espacios localmente convexos , cualquier funcional continuo ya está limitado por la norma , que es sublineal. Uno así tiene
Extensiones continuas en espacios localmente convexos - Let X sean localmente convexa topológica vector de espacio de más de K (ya sea R o C ), M un subespacio vectorial de X , y f un funcional lineal continua en M . Entonces f tiene una extensión lineal continuo a todos X . Si la topología en X surge de una norma , entonces la norma de f es preservada por esta extensión.
En términos de teoría de categorías , el campo K es un objeto inyectivo en la categoría de espacios vectoriales localmente convexos.
Relación con el axioma de elección
La prueba anterior usa el lema de Zorn, que es equivalente al axioma de elección . Ahora se sabe (ver más abajo) que el lema del ultrafiltro (o de manera equivalente, el teorema del ideal booleano primo ), que es un poco más débil que el axioma de elección, es en realidad lo suficientemente fuerte.
El teorema de Hahn-Banach es equivalente a lo siguiente:
- (∗): En cada álgebra de Boole B existe una "carga de probabilidad", es decir: un mapa no constante y finitamente aditivo de B a [0, 1] .
(El teorema del ideal primo de Boole es equivalente a la afirmación de que siempre hay cargas de probabilidad no constantes que toman solo los valores 0 y 1).
En la teoría de conjuntos de Zermelo-Fraenkel , se puede demostrar que el teorema de Hahn-Banach es suficiente para derivar la existencia de un conjunto medible que no es de Lebesgue. Además, el teorema de Hahn-Banach implica la paradoja de Banach-Tarski .
Para espacios de Banach separables , DK Brown y SG Simpson demostraron que el teorema de Hahn-Banach se deriva de WKL 0 , un subsistema débil de aritmética de segundo orden que toma una forma del lema de Kőnig restringido a árboles binarios como axioma. De hecho, prueban que bajo un conjunto débil de supuestos, los dos son equivalentes, un ejemplo de matemática inversa .
"Geometric Hahn-Banach" (los teoremas de separación de Hahn-Banach)
El elemento clave del teorema de Hahn-Banach es fundamentalmente un resultado sobre la separación de dos conjuntos convexos: {- p (- x - n ) - f ( n ): n ∈ M }, y { p ( m + x ) - f ( m ): m ∈ M }. Este tipo de argumento aparece ampliamente en la geometría convexa , la teoría de la optimización y la economía . Los lemas con este fin derivados del teorema de Hahn-Banach original se conocen como teoremas de separación de Hahn-Banach .
Teorema - Sea X un espacio vectorial topológico real localmente convexo y sean A y B subconjuntos convexos no vacíos. Si Int A ≠ ∅ y B ∩ Int A = ∅ entonces existe un funcional lineal continua f en X tal que sup f ( A ) ≤ inf f ( B ) y f ( a ) <inf f ( B ) para todos un ∈ Int A (tal f es necesariamente distinta de cero).
A menudo se supone que los conjuntos convexos tienen una estructura adicional; es decir, que sean abiertos o compactos . En ese caso, la conclusión se puede fortalecer sustancialmente:
Teorema - Let X sea un verdadero espacio vectorial topológico y seleccione A , B convexa subconjuntos disjuntos no vacíos de X .
- Si A está abierto, A y B están separados por un hiperplano (cerrado) . Explícitamente, esto significa que no existe un mapa lineal continua f : X → K y s ∈ R tal que f ( un ) < s ≤ f ( b ) para todos un ∈ A , b ∈ B . Si tanto A como B están abiertos, el lado derecho también puede tomarse estricto.
- Si X es localmente convexa, A es compacto, y B cerrados, entonces A y B están estrictamente separado : existe un mapa lineal continua f : X → K y s , t ∈ R tal que f ( un ) < t < s < f ( b ) para todos un ∈ a , b ∈ B .
Si X es complejo, entonces se mantienen las mismas afirmaciones, pero para la parte real de f .
Un corolario importante se conoce como el teorema geométrico de Hahn-Banach o el teorema de Mazur .
Teorema (Mazur) - Let M un subespacio vectorial del espacio vectorial topológico X . Suponga que K es un subconjunto abierto convexo no vacío de X con K ∩ M = ∅ . Entonces hay una cerrada hiperplano (codimensión-1 subespacio vectorial) N ⊆ X que contiene M , pero queda disjunta de K .
Para ver que el teorema de Mazur se deriva de los teoremas de separación de Hahn-Banach, observe que M es convexo y aplique la primera viñeta. El teorema de Mazur aclara que los subespacios vectoriales (incluso los que no están cerrados) pueden caracterizarse por funcionales lineales.
Corolario (Separación de un subespacio y un conjunto convexo abierto) - Let X un espacio vectorial localmente convexo, M un subespacio vectorial, y U un abierto no vacío convexa subconjunto disjunta de M . Entonces existe una función lineal continua f en X tal que f ( m ) = 0 para todo m ∈ M y Re f > 0 en U
Apoyando hiperplanos
Dado que los puntos son trivialmente convexos , la geometría de Hahn-Banach implica que los funcionales pueden detectar el límite de un conjunto. En particular, sea X un espacio vectorial topológico real y A ⊆ X convexo con Int A ≠ ∅ . Si entonces hay una funcional que se desvanece en un 0 , pero admite en el interior de una .
Llame a un espacio normado X suave si en cada punto x de su bola unitaria existe un hiperplano cerrado único para la bola unitaria en x . Köthe demostró en 1983 que un espacio normado es uniforme en un punto x si y solo si la norma es Gateaux diferenciable en ese punto.
Barrios equilibrados o con disco
Vamos U sea una convexa equilibrada entorno de 0 en un localmente convexa topológica del espacio vectorial X y supongamos x ∈ X no es un elemento de U . Entonces existe un funcional lineal continuo f en X tal que
- sup | f ( U ) | ≤ | f ( x ) | .
Aplicaciones
El teorema de Hahn-Banach es el primer signo de una filosofía importante en el análisis funcional : para comprender un espacio, uno debe comprender sus funcionales continuos .
Por ejemplo, los subespacios lineales se caracterizan por funcionales: si X es un espacio vectorial normalizado con subespacio lineal M (no necesariamente cerrado) y si z es un elemento de X que no está en el cierre de M , entonces existe un mapa lineal continuo f : X → K con f ( x ) = 0 para todo x en M , f ( z ) = 1 y || f || = dist ( z , M ) -1 . (Para ver esto, observe que dist (·, M) es una función sublineal.) Además, si z es un elemento de X , entonces existe un mapa lineal continuo f : X → K tal que f ( z ) = || z || y || f || ≤ 1 . Esto implica que la inyección natural J de un espacio normado X en su doble dual V ′ ′ es isométrica.
Ese último resultado también sugiere que el teorema de Hahn-Banach a menudo se puede utilizar para localizar una topología "más agradable" en la que trabajar. Por ejemplo, muchos resultados del análisis funcional suponen que un espacio es de Hausdorff o localmente convexo . Sin embargo, suponga que X es un espacio vectorial topológico, no necesariamente de Hausdorff o localmente convexo , pero con un conjunto abierto M no vacío, adecuado, convexo . Entonces, el Hahn-Banach geométrico implica que hay un hiperplano que separa a M de cualquier otro punto. En particular, debe existir un funcional distinto de cero en X , es decir, el espacio dual continuo X * no es trivial. Considerando X con la topología débil inducida por X * , entonces X se vuelve localmente convexo; por la segunda viñeta geométrica de Hahn-Banach, la topología débil en este nuevo espacio separa puntos . Por tanto, X con esta topología débil se convierte en Hausdorff . A veces, esto permite que algunos resultados de espacios vectoriales topológicos localmente convexos se apliquen a espacios que no son de Hausdorff ni localmente convexos.
Ecuaciones diferenciales parciales
El teorema de Hahn-Banach suele ser útil cuando se desea aplicar el método de estimaciones a priori . Supongamos que deseamos resolver la ecuación diferencial lineal Pu = f de U , con f dada en un espacio de Banach X . Si tenemos un control del tamaño de u en términos de y podemos pensar en u como un delimitado lineal funcional en un espacio adecuado de la prueba de las funciones g , entonces podemos ver f como funcional lineal por adjunción: . Al principio, esto funcionales sólo se define en la imagen de P , pero usando el teorema de Hahn-Banach, podemos tratar de extender a toda la codomain X . El funcional resultante a menudo se define como una solución débil de la ecuación .
Caracterización de espacios reflexivos de Banach
Teorema : un espacio de Banach real es reflexivo si y solo si cada par de subconjuntos convexos cerrados, separados y no vacíos, uno de los cuales está acotado, puede estar estrictamente separado por un hiperplano.
Ejemplo de la teoría de Fredholm
Para ilustrar una aplicación real del teorema de Hahn-Banach, probaremos ahora un resultado que se deriva casi por completo del teorema de Hahn-Banach.
Propuesta - Supongamos que X es un Hausdorff localmente convexa TVS sobre el campo K y Y es un subespacio vectorial de X que es TVS-isomorfo a K I para algún conjunto I . Entonces Y es un cerrado y complementada subespacio vectorial de X .
Desde K I es un TVS completa, de modo que es Y , y desde cualquier subconjunto completo de un Hausdorff TVS está cerrado, Y es un subconjunto cerrado de X . Sea f = ( f i ) i ∈ I : Y → K I un isomorfismo TVS, de modo que cada f i : Y → K es una funcional lineal sobreyectiva continua. Por el teorema de Hahn-Banach, podemos extender cada f i a un funcional lineal continua F i : X → K en X . Sea F : = ( F i ) i ∈ I : X → K I entonces F es una sobreyección lineal continua tal que su restricción a Y es F | Y = ( F yo | Y ) yo ∈ yo = ( f yo ) yo ∈ yo = f . De ello se deduce que si definimos P : = f −1 ∘ F : X → Y entonces la restricción a Y de este mapa lineal continuo P | Y : Y → Y es el mapa de identidad 1 Y en Y , para P | Y = f −1 ∘ F | Y = f -1 ∘ f = 1 Y . Entonces, en particular, P es una proyección lineal continua sobre Y (es decir, P ∘ P = P ). Por tanto, Y se complementa en X y X = Y ⊕ ker P en la categoría de TVS. ∎
Uno puede utilizar el resultado anterior para mostrar que cada subespacio vectorial cerrado de R N se complementa y, o bien TVS-isomorfos dimensionales o de lo finitos para R N .
Generalizaciones
- Plantilla general
Ahora existen muchas otras versiones del teorema de Hahn-Banach. La plantilla general para las diversas versiones del teorema de Hahn-Banach que se presentan en este artículo es la siguiente:
- X es un espacio vectorial, p es una función sublineal en X (posiblemente una seminorma ), M es un subespacio vectorial de X (posiblemente cerrado) yf es una funcional lineal en M que satisface | f | ≤ p en M (y posiblemente algunas otras condiciones). Entonces se concluye que existe una extensión lineal F de f a X tal que | F | ≤ p en X (posiblemente con propiedades adicionales).
Para seminarios
Hahn-Banach para seminormas : si M es un subespacio vectorial de X , p es una seminorma en M y q es una seminorma en X tal que p ≤ q | M , entonces existe una seminorma P en X tal que P | M = p y P ≤ q .
Una prueba se ejecuta de la siguiente manera:
Lema - Sea M un subespacio vectorial de un espacio vectorial real o complejo X , sea D un disco absorbente en X y sea f un funcional lineal en M tal que | f | ≤ 1 en M ∩ D . Entonces existe un funcional lineal F en X que se extiende f tal que | F | ≤ 1 en D .
sea S el casco convexo de { m ∈ M : p ( x ) ≤ 1} ∪ { x ∈ X : q ( x ) ≤ 1} . Tenga en cuenta que S es un disco absorbente en X , y llame a su función de Minkowski q . Entonces p = P en M y P ≤ q en X .
Separación geométrica
Hahn-Banach teorema del sándwich - Let S ser cualquier subconjunto de un espacio vectorial real X , dejó p sea una función sublinear en X , y dejar que f : S → R sea cualquier mapa. Si existen números positivos a y b tales que para todo x , y ∈ S ,
entonces existe un funcional lineal F en X tal que F ≤ p en X y f ≤ F en S .
Extensión lineal máxima
Teorema (Andenaes, 1970) - Sea M un subespacio vectorial de un espacio vectorial real X , p una función sublineal en X , f una funcional lineal en M tal que f ≤ p en M , y sea S cualquier subconjunto de X . Entonces existe un funcional lineal F en X que extiende f , satisface F ≤ p en X , y es (puntualmente) máximo en el siguiente sentido: si G es un funcional lineal en X que extiende f y satisface G ≤ p en X , entonces G ≥ F implica que G = F en S .
Hahn – Banach valorado por vectores
Teorema - Sean X e Y espacios vectoriales sobre el mismo campo, M sea un subespacio vectorial de X y f : M → Y sea un mapa lineal. Entonces existe un mapa lineal F : X → Y que se extiende f .
Para funciones no lineales
El siguiente teorema de Mazur-Orlicz (1953) es equivalente al teorema de Hahn-Banach.
Mazur-Orlicz teorema - Let T ser cualquier conjunto, r : T → R ser cualquier valor real-mapa, X un espacio vectorial real o complejo, v : T → X ser cualquier mapa, y p sea una función sublineal en X . Entonces los siguientes son equivalentes:
- existe una F funcional lineal de valor real en X tal que F ≤ p en X y r ≤ F ∘ v en T ;
- para cualquier entero positivo n , cualquier secuencia s 1 , ..., s n de números reales no negativos, y cualquier secuencia t 1 , ..., t n de elementos de T ,
El siguiente teorema caracteriza cuando cualquier función escalar en X (no necesariamente lineal) tiene una extensión lineal continuo a todos X .
Teorema (El principio de extensión) - Deje f una función escalar de valor en un subconjunto S de un espacio vectorial topológico X . Entonces existe una función lineal continua F en X que se extiende f si y sólo si existe una seminorma continua p en X tal que
para todos los enteros positivos ny todas las secuencias finitas ( a i )n
yo = 1de escalares y elementos ( s i )n
yo = 1de S .
Conversar
Sea X un espacio vectorial topológico. Un subespacio vectorial M de X tiene la propiedad de extensión si cualquier funcional lineal continuo en M puede extenderse a un funcional lineal continuo en X , y decimos que X tiene la propiedad de extensión de Hahn-Banach ( HBEP ) si cada subespacio vectorial de X tiene la propiedad de extensión.
El teorema de Hahn-Banach garantiza que cada espacio localmente convexo de Hausdorff tiene el HBEP. Para espacios vectoriales topológicos metrizables completos , existe lo contrario, debido a Kalton: cada TVS metrizable completo con la propiedad de extensión de Hahn-Banach es localmente convexo. Por otro lado, un espacio vectorial X de dimensión incontable, dotado de la topología vectorial más fina , entonces este es un espacio vectorial topológico con la propiedad de extensión de Hahn-Banach que no es ni localmente convexa ni metrizable.
Un subespacio vectorial M de un TVS X tiene la propiedad de separación si para cada elemento de X tal que x ∉ M , existe un funcional lineal continuo f en X tal que f ( x ) ≠ 0 y f ( m ) = 0 para todos m ∈ m . Claramente, el espacio dual continuo de un TVS X separa puntos en X si y solo si {0} tiene la propiedad de separación. En 1992, Kąkol demostró que cualquier infinito dimensional espacio vectorial X , no existe TV de topologías en X que no tienen la HBEP a pesar de tener suficientes funcionales lineales continuas para el espacio dual continuo a puntos separados en X . Sin embargo, si X es un TVS, entonces cada subespacio vectorial de X tiene la propiedad de extensión si y solo si cada subespacio vectorial de X tiene la propiedad de separación.
Ver también
- Lema de Farkas
- Principio de existencia de Fichera
- Teorema de extensión de M. Riesz
- Teorema del eje de separación
- Teoremas de Hahn-Banach con valores vectoriales
Referencias
Bibliografía
- ISBN 0-12-622760-8 .
- "Teorema de Hahn-Banach" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
- Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Espacios vectoriales topológicos: la teoría sin condiciones de convexidad . Apuntes de clase en matemáticas. 639 . Berlín Nueva York: Springer-Verlag . ISBN 978-3-540-08662-8. OCLC 297140003 .
- Banach, Stefan (1932). Théorie des Opérations Linéaires [ Teoría de las operaciones lineales ] (PDF) . Monografie Matematyczne (en francés). 1 . Warszawa: Subwencji Funduszu Kultury Narodowej. Zbl 0005.20901 . Archivado desde el original (PDF) el 11 de enero de 2014 . Consultado el 11 de julio de 2020 .
- Berberiano, Sterling K. (1974). Conferencias en Análisis Funcional y Teoría del Operador . Textos de Posgrado en Matemáticas. 15 . Nueva York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401 .
- Bourbaki, Nicolas (1987) [1981]. Sur certains espaces vectoriels topologiques [ Espacios vectoriales topológicos: Capítulos 1–5 ]. Annales de l'Institut Fourier . Éléments de mathématique . 2 . Traducido por Eggleston, HG; Madan, S. Berlin Nueva York: Springer-Verlag. ISBN 978-3-540-42338-6. OCLC 17499190 .
- Conway, John (1990). Un curso de análisis funcional . Textos de Posgrado en Matemáticas . 96 (2ª ed.). Nueva York: Springer-Verlag . ISBN 978-0-387-97245-9. OCLC 21195908 .
- Edwards, Robert E. (1995). Análisis funcional: teoría y aplicaciones . Nueva York: Publicaciones de Dover. ISBN 978-0-486-68143-6. OCLC 30593138 .
- Grothendieck, Alexander (1973). Espacios vectoriales topológicos . Traducido por Chaljub, Orlando. Nueva York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098 .
- Jarchow, Hans (1981). Espacios localmente convexos . Stuttgart: BG Teubner. ISBN 978-3-519-02224-4. OCLC 8210342 .
- Köthe, Gottfried (1983) [1969]. Espacios vectoriales topológicos I . Grundlehren der mathischen Wissenschaften. 159 . Traducido por Garling, DJH Nueva York: Springer Science & Business Media. ISBN 978-3-642-64988-2. Señor 0248498 . OCLC 840293704 .
- Narici, Lawrence ; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (Segunda ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834 .
- Reed, Michael y Simon, Barry, Métodos de física matemática moderna, vol. 1, Análisis funcional, Sección III.3. Academic Press, San Diego, 1980. ISBN 0-12-585050-6 .
- Narici, Lawrence; Beckenstein, Edward (1997). "El teorema de Hahn-Banach: la vida y los tiempos" . Topología y sus aplicaciones . 77 (2): 193–211. doi : 10.1016 / s0166-8641 (96) 00142-3 .
- Reed, Michael; Simon, Barry (1980). Análisis funcional (edición revisada y ampliada). Boston, MA: Prensa académica . ISBN 978-0-12-585050-6.
- Robertson, Alex P .; Robertson, Wendy J. (1980). Espacios vectoriales topológicos . Cambridge Tracts in Mathematics . 53 . Cambridge, Inglaterra: Cambridge University Press . ISBN 978-0-521-29882-7. OCLC 589250 .
- Rudin, Walter (1991). Análisis funcional . Serie Internacional de Matemática Pura y Aplicada. 8 (Segunda ed.). Nueva York, NY: McGraw-Hill Science / Engineering / Math . ISBN 978-0-07-054236-5. OCLC 21163277 .
- Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . 8 (Segunda ed.). Nueva York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135 .
- Schmitt, Lothar M (1992). "Una versión equivariante del teorema de Hahn-Banach" . Houston J. Of Math . 18 : 429–447.
- Schechter, Eric (1996). Manual de análisis y sus fundamentos . San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365 .
- Swartz, Charles (1992). Introducción al análisis funcional . Nueva York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067 .
- Tao, Terence , el teorema de Hahn-Banach, el teorema de Menger y el teorema de Helly
- Trèves, François (2006) [1967]. Espacios, distribuciones y núcleos vectoriales topológicos . Mineola, NY: Publicaciones de Dover. ISBN 978-0-486-45352-1. OCLC 853623322 .
- Wilansky, Albert (2013). Métodos modernos en espacios vectoriales topológicos . Mineola, Nueva York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114 .
- Wittstock, Gerd, Ein operatorwertiger Hahn-Banach Satz, J. of Functional Analysis 40 (1981), 127-150
- Zeidler, Eberhard, Applied Functional Analysis: principios fundamentales y sus aplicaciones , Springer, 1995.