Teorema de Hahn-Banach - Hahn–Banach theorem
O teorema de Hahn-Banach é uma ferramenta central na análise funcional . Ele permite a extensão de funcionais lineares limitados definidos em um subespaço de algum espaço vetorial para todo o espaço, e também mostra que existem funcionais lineares contínuos "suficientes" definidos em cada espaço vetorial normado para tornar o estudo do espaço dual "interessante " Outra versão do teorema de Hahn-Banach é conhecida como teorema da separação de Hahn-Banach ou teorema da separação do hiperplano , e tem vários usos na geometria convexa .
História
O teorema foi nomeado em homenagem aos matemáticos Hans Hahn e Stefan Banach , que o provaram de forma independente no final dos anos 1920. O caso especial do teorema para o espaço de funções contínuas em um intervalo foi provado anteriormente (em 1912) por Eduard Helly , e um teorema de extensão mais geral, o teorema de extensão de M. Riesz , do qual o teorema de Hahn-Banach pode ser derivado , foi comprovado em 1923 por Marcel Riesz .
O primeiro teorema de Hahn-Banach foi provado por Eduard Helly em 1921, que mostrou que certos funcionais lineares definidos em um subespaço de um certo tipo de espaço normatizado ( ) tinham uma extensão da mesma norma. Helly fez isso através da técnica de primeiro provar que existe uma extensão unidimensional (onde o funcional linear tem seu domínio estendido por uma dimensão) e então usando indução . Em 1927, Hahn definiu espaços gerais de Banach e usou a técnica de Helly para provar uma versão preservadora de norma do teorema de Hahn-Banach para espaços de Banach (onde um funcional linear limitado em um subespaço tem uma extensão linear limitada da mesma norma para todo o espaço). Em 1929, Banach, que desconhecia o resultado de Hahn, generalizou-o substituindo a versão que preserva as normas pela versão de extensão dominada que usa funções sublineares . Enquanto a prova de Helly usava indução matemática, Hahn e Banach usaram indução transfinita .
O teorema de Hahn-Banach surgiu de tentativas de resolver sistemas infinitos de equações lineares. Isso é necessário para resolver problemas como o problema do momento, em que, dados todos os momentos potenciais de uma função, deve-se determinar se uma função com esses momentos existe e, em caso afirmativo, encontrá-la em termos desses momentos. Outro problema é o problema da série do cosseno de Fourier , em que dados todos os coeficientes potenciais do cosseno de Fourier deve-se determinar se uma função com esses coeficientes existe e, novamente, encontrá-la em caso afirmativo.
Riesz e Helly resolveram o problema para certas classes de espaços (como L p ([0, 1]) e C ([ a , b ])) onde descobriram que a existência de uma solução era equivalente à existência e continuidade de certos funcionais lineares. Na verdade, eles precisavam resolver o seguinte problema:
- ( O problema vetor ) Dada uma colecção de funcionais lineares delimitadas em um espaço normalizado X e um conjunto de escalares , determinar se existe um x ∈ X de tal forma que f i ( x ) = C i para todos os i ∈ I .
Para resolver isso, se X for reflexivo , basta resolver o seguinte problema duplo:
- ( O problema funcional ) Dada uma colecção de vectores num espaço normalizado X e um conjunto de escalares , determinar se existe uma delimitada linear funcional f em X , tal que f ( x i ) = c i para todos os i ∈ I .
Riesz passou a definir L p ([0, 1]) ( 1 < p <∞ ) em 1910 e os espaços l p em 1913. Ao investigar esses espaços, ele provou um caso especial do teorema de Hahn-Banach. Helly também provou um caso especial do teorema de Hahn-Banach em 1912. Em 1910, Riesz resolveu o problema funcional para alguns espaços específicos e em 1912, Helly resolveu para uma classe mais geral de espaços. Não foi até 1932 que Banach, em uma das primeiras aplicações importantes do teorema de Hahn-Banach, resolveu o problema funcional geral. O teorema a seguir estabelece o problema funcional geral e caracteriza sua solução.
Teorema (O problema funcional) - Seja X um espaço normalizado real ou complexo, I um conjunto não vazio, ( c i ) i ∈ I uma família de escalares, e ( x i ) i ∈ I uma família de vetores em X .
Existe um funcional linear contínuo f em X tal que f ( x i ) = c i para todo i ∈ I se e somente se existe um K > 0 tal que para qualquer escolha de escalares ( s i ) i ∈ I onde todos mas finitamente muitos s i são 0, temos necessariamente
Pode-se usar o teorema acima para deduzir o teorema de Hahn-Banach. Se X for reflexivo, então este teorema resolve o problema do vetor.
Teorema de Hahn-Banach
Teorema (Hahn-Banach) - Defina K como R ou C e seja X um espaço vetorial K. Se f : M → K é um funcional K -linear em um subespaço K- linear M e p : X → R uma função sublinear não negativa, tal que
- | f ( m ) | ≤ p ( m ) para todos m ∈ M .
então existe um K -linear F : X → K tal que
- F ( m ) = f ( m ) para todo m ∈ M ,
- | F ( x ) | ≤ p ( x ) para todos os x ∈ X .
A extensão F é, em geral, não especificado exclusivamente por f ea prova dá nenhum método explícito a respeito de como encontrar F .
É possível relaxar um pouco a condição sub aditividade em p , exigindo apenas que para todo x , y ∈ X e todos os escalares um e b satisfazendo | a | + | b | ≤ 1 ,
- p ( ax + por ) ≤ | a | p ( x ) + | b | p ( y ) .
É ainda possível relaxar a homogeneidade positiva e as condições de subaditividade em p , exigindo apenas que p seja convexo.
O projeto Mizar formalizou completamente e verificou automaticamente a prova do teorema de Hahn – Banach no arquivo HAHNBAN.
Prova
No caso complexo, os C pressupostos -linearity exigir que M = N + Ni por algum espaço vectorial real N . Além disso, para todo vetor x ∈ N , f ( ix ) = if ( x ) . Assim, a parte real de um funcional linear já determina o comportamento do funcional linear como um todo, e provar o caso real será suficiente.
Primeiro, notamos o resultado inicial de Helly: se M tem codimensão 1, então Hahn-Banach é fácil.
Lema (teorema da extensão dominada unidimensional) - Seja X um espaço vetorial real, p : X → R uma função sublinear, f : M → R um funcional linear em um subespaço vetorial adequado M ⊆ X tal que f ≤ p em M (isto é, f ( m ) ≤ p ( m ) para todos m ∈ m ), e x ∈ X um vector não em H . Existe uma extensão linear F : M ⊕ R x → R de f para M ⊕ R x = span { M , x } tal que F ≤ p em M ⊕ R x .
Para provar este lema, deixe m , n ∈ M . Pelas propriedades de linearidade de nossas funções,
- - p (- x - n ) - f ( n ) ≤ p ( m + x ) - f ( m ) .
Em particular, deixe
- F ( m + rx ) ≤ p ( m ) + rc ≤ p ( m + rx )
A desigualdade reversa é semelhante.
Agora aplicar o lema de Zorn : as eventuais prorrogações de f são parcialmente ordenados por extensão um do outro, para que haja uma extensão máxima F . Pelo resultado da codimensão-1, se F não for definido em todos os X , então ele pode ser estendido posteriormente. Assim, F deve ser definido em todos os lugares, como afirmado.
Em espaços localmente convexos
Na forma acima, o funcional a ser estendido já deve estar limitado por uma função sublinear. Em algumas aplicações, isso pode fechar para desvirtuar a questão . No entanto, em espaços localmente convexos , qualquer funcional contínuo já está limitado pela norma , que é sublinear. Alguém assim tem
Extensões contínuas em espaços localmente convexos - Let X ser localmente convexa topológica vector de espaço ao longo de K (ou R ou C ), M um subespaço vector de X , e f uma funcional linear contínuo em H . Então f tem uma extensão linear contínuo a todos X . Se a topologia em X surge de uma norma , então a norma de f é preservada por esta extensão.
Em termos da teoria das categorias , o campo K é um objeto injetivo na categoria de espaços vetoriais localmente convexos.
Relação com o axioma de escolha
A prova acima usa o lema de Zorn, que é equivalente ao axioma da escolha . Sabe-se agora (veja abaixo) que o lema do ultrafiltro (ou equivalentemente, o teorema do ideal primo Booleano ), que é ligeiramente mais fraco do que o axioma de escolha, é na verdade forte o suficiente.
O teorema de Hahn-Banach é equivalente ao seguinte:
- (∗): Em toda álgebra booleana B existe uma "carga de probabilidade", isto é: um mapa não constante finitamente aditivo de B em [0, 1] .
(O teorema ideal primo booleano é equivalente à afirmação de que sempre há cargas de probabilidade não constantes que assumem apenas os valores 0 e 1.)
Na teoria dos conjuntos de Zermelo-Fraenkel , pode-se mostrar que o teorema de Hahn-Banach é suficiente para derivar a existência de um conjunto mensurável não-Lebesgue. Além disso, o teorema de Hahn-Banach implica o paradoxo de Banach-Tarski .
Para espaços separáveis de Banach , DK Brown e SG Simpson provaram que o teorema de Hahn – Banach segue de WKL 0 , um subsistema fraco da aritmética de segunda ordem que assume a forma do lema de Kőnig restrito a árvores binárias como um axioma. Na verdade, eles provam que, sob um conjunto fraco de suposições, os dois são equivalentes, um exemplo de matemática reversa .
"Hahn-Banach geométrica" (teoremas de separação Hahn-Banach)
O elemento-chave do teorema de Hahn-Banach é fundamentalmente um resultado sobre a separação de dois conjuntos convexos: {- p (- x - n ) - f ( n ): n ∈ M }, e { p ( m + x ) - f ( m ): m ∈ M }. Esse tipo de argumento aparece amplamente na geometria convexa , na teoria da otimização e na economia . Os lemas para esse fim derivados do teorema original de Hahn-Banach são conhecidos como teoremas de separação de Hahn-Banach .
Teorema - Seja X um espaço vetorial topológico localmente convexo real e sejam A e B subconjuntos convexos não vazios. Se Int Um ≠ ∅ e B ∩ Int A = ∅ então existe uma funcional linear contínuo f em X de modo a que sup f ( A ) ≤ inf f ( B ) e f ( um ) <inf f ( B ) para todos uma ∈ Int A (tal f é necessariamente diferente de zero).
Freqüentemente, supõe-se que os conjuntos convexos têm estrutura adicional; ou seja, que eles são abertos ou compactos . Nesse caso, a conclusão pode ser substancialmente reforçada:
Teorema - Let X ser um verdadeiro espaço vetorial topológico e escolha A , B convexas subconjuntos disjuntos não vazios de X .
- Se A estiver aberto, A e B são separados por um hiperplano (fechado) . Explicitamente, isto significa que não existe um mapa linear contínuo f : X → K e s ∈ R tal que f ( um ) < s ≤ f ( b ) para todos uma ∈ A , b ∈ B . Se A e B estiverem abertos, o lado direito também pode ser considerado estrito.
- Se X é localmente convexa, Um é compacta, e B fechado, em seguida, um e B são estritamente separadas : existe uma contínua linear mapa f : X → K e s , t ∈ R tal que f ( um ) < t < s < f ( b ) para todos uma ∈ a , b ∈ b .
Se X for complexo, as mesmas afirmações serão válidas, mas para a parte real de f .
Um corolário importante é conhecido como teorema geométrico de Hahn-Banach ou teorema de Mazur .
Teorema (Mazur) - Let M ser um subespaço vector da topológica de espaço vectorial X . Suponha que K seja um subconjunto aberto convexo não vazio de X com K ∩ M = ∅ . Depois, há um fechada hiperplana (codimens~ao-1 vetor subespaço) N ⊆ X que contém M , mas a partir de restos disjuntos K .
Para ver que o teorema de Mazur segue dos teoremas de separação de Hahn-Banach, observe que M é convexo e aplique o primeiro marcador. O teorema de Mazur esclarece que subespaços de vetores (mesmo aqueles que não são fechados) podem ser caracterizados por funcionais lineares.
Corolário (Separação de um subespaço e um conjunto convexo aberto) - Let X ser um espaço vectorial localmente convexa, M um subespaço vetor, e L um aberta não-vazia convexa subconjunto disjunto de M . Então existe um funcional linear contínuo f em X tal que f ( m ) = 0 para todo m ∈ M e Re f > 0 em U
Hiperplanos de suporte
Como os pontos são trivialmente convexos , o Hahn-Banach geométrico implica que os funcionais podem detectar a fronteira de um conjunto. Em particular, seja X um espaço vetorial topológico real e A ⊆ X convexo com Int A ≠ ∅ . Se , em seguida, há uma funcional que está desaparecendo em um 0 , mas suportado no interior de um .
Chame um espaço normalizado de X liso se em cada ponto x em sua esfera unitária existe um hiperplano fechado exclusivo para a esfera unitária em x . Köthe mostrou em 1983 que um espaço normado é liso em um ponto x se e somente se a norma é Gateaux diferenciável naquele ponto.
Bairros balanceados ou separados
Deixe U ser um convexo equilibrada vizinhança de 0 em um localmente convexa topológica vector espaço X e suponha x ∈ X não é um elemento de U . Então existe um funcional linear contínuo f em X tal que
- sup | f ( U ) | ≤ | f ( x ) | .
Formulários
O teorema de Hahn-Banach é o primeiro sinal de uma filosofia importante na análise funcional : para entender um espaço, deve-se entender seus funcionais contínuos .
Por exemplo, subespaços lineares são caracterizados por funcionais: se X é um espaço vetorial normado com subespaço linear M (não necessariamente fechado) e se z é um elemento de X não no fechamento de M , então existe um mapa linear contínuo f : X → K com f ( x ) = 0 para todo x em M , f ( z ) = 1 e || f || = dist ( z , M ) -1 . (Para ver isso, observe que dist (·, M) é uma função sublinear.) Além disso, se z é um elemento de X , então existe um mapa linear contínuo f : X → K tal que f ( z ) = || z || e || f || ≤ 1 . Isso implica que a injeção natural J de um espaço normalizado X em seu duplo dual V ′ ′ é isométrica.
Esse último resultado também sugere que o teorema de Hahn-Banach pode frequentemente ser usado para localizar uma topologia "melhor" na qual trabalhar. Por exemplo, muitos resultados na análise funcional assumem que um espaço é Hausdorff ou localmente convexo . No entanto, suponha que X seja um espaço vetorial topológico, não necessariamente de Hausdorff ou localmente convexo , mas com um conjunto aberto M não vazio, próprio, convexo . Então, o Hahn-Banach geométrico implica que há um hiperplano separando M de qualquer outro ponto. Em particular, deve existir um funcional diferente de zero em X - isto é, o espaço dual contínuo X * não é trivial. Considerando X com a topologia fraca induzida por X * , então X torna-se localmente convexo; pelo segundo marcador do Hahn-Banach geométrico, a topologia fraca neste novo espaço separa os pontos . Assim, X com essa topologia fraca torna-se Hausdorff . Isso às vezes permite que alguns resultados de espaços vetoriais topológicos localmente convexos sejam aplicados a espaços não-Hausdorff e não localmente convexos.
Equações diferenciais parciais
O teorema de Hahn-Banach é frequentemente útil quando se deseja aplicar o método de estimativas a priori . Suponha que queremos resolver o linear equação diferencial Pu = f para u , com f dada em algum espaço de Banach X . Se nós temos o controle sobre o tamanho da u em termos de e podemos pensar em u como um limitado linear funcional em um espaço adequado de funções de teste de g , então podemos ver f como um funcional linear por adjunção: . Em primeiro lugar, esta funcional é definida somente na imagem de P , mas usando o teorema Hahn-Banach, podemos tentar estender a toda a codomain X . O funcional resultante é frequentemente definido como uma solução fraca para a equação .
Caracterizando espaços reflexivos de Banach
Teorema - Um espaço de Banach real é reflexivo se e somente se cada par de subconjuntos convexos fechados disjuntos não vazios, um dos quais é limitado, pode ser estritamente separado por um hiperplano.
Exemplo da teoria de Fredholm
Para ilustrar uma aplicação real do teorema de Hahn-Banach, vamos agora provar um resultado que segue quase inteiramente do teorema de Hahn-Banach.
Proposição - Suponhamos que X é um Hausdorff localmente convexa TVS sobre o campo K e Y é um subespaço vector de X que é TVS-isomorfo a K I para alguns conjunto eu . Em seguida, Y é um fechado e complementadas subespaço vector de X .
Uma vez que K I é um TVS completa assim é Y , e uma vez que qualquer subconjunto completo de um Hausdorff TVS está fechada, Y é um subconjunto fechado de X . Seja f = ( f i ) i ∈ I : Y → K I um isomorfismo TVS, de forma que cada f i : Y → K é um funcional linear sobrejetivo contínuo. Pelo teorema Hahn-Banach, que pode estender-se cada f i a um funcional linear contínuo F i : X → K em X . Seja F : = ( F i ) i ∈ I : X → K I então F é uma sobreposição linear contínua tal que sua restrição a Y é F | Y = ( F i | Y ) i ∈ I = ( f i ) i ∈ I = f . Segue-se que se definirmos P : = f −1 ∘ F : X → Y então a restrição a Y desta aplicação linear contínua P | Y : Y → Y é o mapa de identidade 1 Y em Y , para P | Y = f −1 ∘ F | Y = f -1 ∘ f = 1 Y . Então, em particular, P é uma projeção linear contínua em Y (ou seja, P ∘ P = P ). Assim, Y é complementado em X e X = Y ⊕ ker P na categoria de TVSs. ∎
Pode-se utilizar o resultado acima para mostrar que cada sub espaço fechado vector de R N é complementado e tanto televisões de isomorfos dimensionais ou então finitos para R N .
Generalizações
- Template geral
Existem agora muitas outras versões do teorema de Hahn-Banach. O modelo geral para as várias versões do teorema de Hahn – Banach apresentado neste artigo é o seguinte:
- X é um espaço vetorial, p é uma função sublinear em X (possivelmente uma seminorma ), M é um subespaço vetorial de X (possivelmente fechado) ef é um funcional linear em M que satisfaz | f | ≤ p em M (e possivelmente algumas outras condições). Conclui-se então que existe uma extensão linear F de f a X tal que | F | ≤ p em X (possivelmente com propriedades adicionais).
Para seminários
Hahn – Banach para seminormes - Se M é um subespaço vetorial de X , p é uma seminorma em M , eq é uma seminorma em X tal que p ≤ q | M , então existe uma seminorma P em X tal que P | M = p e P ≤ q .
A prova é executada da seguinte forma:
Lema - Seja M um subespaço vetorial de um espaço vetorial real ou complexo X , seja D um disco absorvente em X , e seja f um funcional linear em M tal que | f | ≤ 1 em M ∩ D . Então existe um funcional linear F em X estendendo f tal que | F | ≤ 1 em D .
seja S a casca convexa de { m ∈ M : p ( x ) ≤ 1} ∪ { x ∈ X : q ( x ) ≤ 1} . Observe que S é um disco absorvente em X e chame seu funcional de Minkowski q . Em seguida, p = P em H e P ≤ q em X .
Separação geométrica
Hahn-Banach sanduíche teorema - Let S ser qualquer subconjunto de um vetor de reais espaço X , deixe p ser uma função sublinear em X , e deixe f : S → R ser qualquer mapa. Se existirem números positivos a e b tais que para todos os x , y ∈ S ,
então existe uma funcional linear F em X de modo a que F ≤ p em X e f ≤ F em S .
Extensão linear máxima
Teorema (Andenaes, 1970) - Seja M um subespaço vetorial de um espaço vetorial real X , p seja uma função sublinear em X , f seja um funcional linear em M tal que f ≤ p em M , e seja S qualquer subconjunto de X . Então existe um funcional linear F em X que estende f , satisfaz F ≤ p em X , e é (pontualmente) máximo no seguinte sentido: se G é um funcional linear em X estendendo f e satisfazendo G ≤ p em X , então L ≥ F implica que L = F em S .
Vetor avaliado por Hahn – Banach
Teorema - Sejam X e Y espaços vetoriais sobre o mesmo campo, M um subespaço vetorial de X e f : M → Y um mapa linear. Então existe um mapa linear F : X → Y que estende f .
Para funções não lineares
O seguinte teorema de Mazur-Orlicz (1953) é equivalente ao teorema de Hahn-Banach.
Mazur-Orlicz teorema - Let T ser qualquer conjunto, r : T → R ser qualquer mapa de valor real, X ser um espaço real ou complexo vector, v : T → X ser qualquer mapa, e p ser uma função sublinear em X . Então, o seguinte é equivalente:
- existe um linear funcional valorizados reais- F em X de modo a que F ≤ p em X e R ≤ F ∘ v em T ;
- para qualquer número inteiro positivo n , qualquer sequência s 1 , ..., s n de números reais não negativos e qualquer sequência t 1 , ..., t n de elementos de T ,
O seguinte teorema caracteriza quando qualquer função escalar em X (não necessariamente linear) tem uma extensão linear contínua para todos X .
Teorema (O princípio extensão) - Que f uma função de valor escalar em um subconjunto S de um topológica de espaço vectorial X . Então existe um funcional linear contínuo F em X estendendo f se e somente se existe uma seminorma contínua p em X tal que
para todos os inteiros positivos ne todas as sequências finitas ( a i )n
i = 1de escalares e elementos ( s i )n
i = 1de S .
Conversar
Seja X um espaço vetorial topológico. Um subespaço vetorial M de X tem a propriedade de extensão se qualquer funcional linear contínuo em M pode ser estendido para um funcional linear contínuo em X , e dizemos que X tem a propriedade de extensão Hahn-Banach ( HBEP ) se todo subespaço vetorial de X tem a propriedade de extensão.
O teorema de Hahn-Banach garante que todo espaço localmente convexo de Hausdorff possui o HBEP. Para espaços vetoriais topológicos metrizáveis completos , há um inverso, devido a Kalton: todo TVS metrizável completo com a propriedade de extensão Hahn-Banach é localmente convexo. Por outro lado, um espaço vetorial X de dimensão incontável, dotado da melhor topologia vetorial , então este é um espaço vetorial topológico com a propriedade de extensão Hahn-Banach que não é localmente convexa nem metrizável.
Um vector subespaço H de um TVS X tem a propriedade de separação se, para cada elemento de X tal que x ∉ M , existe uma funcional linear contínuo f em X , tal que f ( x ) ≠ 0 e F ( m ) = 0 para todos m ∈ m . Claramente, o espaço dual contínuo de um TVS X separa pontos em X se e somente se {0} tem a propriedade de separação. Em 1992, Kakol provou que qualquer infinito dimensional espaço vetorial X , existem televisões de topologias em X que não têm o HBEP apesar de ter funcionais contínuos lineares suficientes para o espaço dual contínua para pontos separados em X . No entanto, se X for um TVS, então todo subespaço vetorial de X terá a propriedade de extensão se e somente se todo subespaço vetorial de X tiver a propriedade de separação.
Veja também
- Lema de Farkas
- Princípio de existência de Fichera
- Teorema de extensão de M. Riesz
- Teorema do eixo de separação
- Teoremas de Hahn-Banach com valor vetorial
Referências
Bibliografia
- ISBN 0-12-622760-8 .
- "Teorema de Hahn-Banach" , Encyclopedia of Mathematics , EMS Press , 2001 [1994]
- Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Espaços vetoriais topológicos: a teoria sem condições de convexidade . Notas de aula em matemática. 639 . Berlin New York: Springer-Verlag . ISBN 978-3-540-08662-8. OCLC 297140003 .
- Banach, Stefan (1932). Théorie des Opérations Linéaires [ Teoria das Operações Lineares ] (PDF) . Monografie Matematyczne (em francês). 1 . Warszawa: Subwencji Funduszu Kultury Narodowej. Zbl 0005.20901 . Arquivado do original (PDF) em 11/01/2014 . Página visitada em 2020-07-11 .
- Berberian, Sterling K. (1974). Aulas teóricas de Análise Funcional e Teoria do Operador . Textos de Pós-Graduação em Matemática. 15 . Nova York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401 .
- Bourbaki, Nicolas (1987) [1981]. Certos espaces topologiques de vetoriais [ Topological Vector Spaces: Capítulos 1–5 ]. Annales de l'Institut Fourier . Éléments de mathématique . 2 . Traduzido por Eggleston, HG; Madan, S. Berlin New York: Springer-Verlag. ISBN 978-3-540-42338-6. OCLC 17499190 .
- Conway, John (1990). Um curso de análise funcional . Textos de Pós-Graduação em Matemática . 96 (2ª ed.). Nova York: Springer-Verlag . ISBN 978-0-387-97245-9. OCLC 21195908 .
- Edwards, Robert E. (1995). Análise Funcional: Teoria e Aplicações . Nova York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138 .
- Grothendieck, Alexander (1973). Espaços vetoriais topológicos . Traduzido por Chaljub, Orlando. Nova York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098 .
- Jarchow, Hans (1981). Espaços localmente convexos . Stuttgart: BG Teubner. ISBN 978-3-519-02224-4. OCLC 8210342 .
- Köthe, Gottfried (1983) [1969]. Espaço vectorial topológico I . Grundlehren der mathematischen Wissenschaften. 159 . Traduzido por Garling, DJH Nova York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498 . OCLC 840293704 .
- Narici, Lawrence ; Beckenstein, Edward (2011). Espaços vetoriais topológicos . Matemática pura e aplicada (segunda edição). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834 .
- Reed, Michael e Simon, Barry, Methods of Modern Mathematical Physics, Vol. 1, Análise funcional, Seção III.3. Academic Press, San Diego, 1980. ISBN 0-12-585050-6 .
- Narici, Lawrence; Beckenstein, Edward (1997). "O Teorema de Hahn-Banach: A Vida e os Tempos" . Topologia e suas aplicações . 77 (2): 193–211. doi : 10.1016 / s0166-8641 (96) 00142-3 .
- Reed, Michael; Simon, Barry (1980). Análise funcional (edição revisada e ampliada). Boston, MA: Academic Press . ISBN 978-0-12-585050-6.
- Robertson, Alex P .; Robertson, Wendy J. (1980). Espaços vetoriais topológicos . Cambridge Tracts in Mathematics . 53 . Cambridge England: Cambridge University Press . ISBN 978-0-521-29882-7. OCLC 589250 .
- Rudin, Walter (1991). Análise funcional . Série Internacional em Matemática Pura e Aplicada. 8 (segunda edição). New York, NY: McGraw-Hill Science / Engineering / Math . ISBN 978-0-07-054236-5. OCLC 21163277 .
- Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espaços vetoriais topológicos . GTM . 8 (segunda edição). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135 .
- Schmitt, Lothar M. (1992). "Uma Versão Equivariante do Teorema de Hahn-Banach" . Houston J. Of Math . 18 : 429–447.
- Schechter, Eric (1996). Manual de análise e seus fundamentos . San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365 .
- Swartz, Charles (1992). Uma introdução à Análise Funcional . Nova York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067 .
- Tao, Terence , Teorema de Hahn-Banach, teorema de Menger e teorema de Helly
- Trèves, François (2006) [1967]. Espaços Vetoriais Topológicos, Distribuições e Kernels . Mineola, NY: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322 .
- Wilansky, Albert (2013). Métodos modernos em espaços vetoriais topológicos . Mineola, Nova 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, Análise Funcional Aplicada: princípios principais e suas aplicações , Springer, 1995.