Espazo de Banach

Espazo de Banach
Instancia de concepto matemático  Subclase de espazo vectorial normado espazo de Fréchet variedade de Banach  Epónimo Stefan Banach
Datas  Fundación / creación 1920
Códigos e identificadores Freebase /m/019gg MathWorld BanachSpace OpenAlex C132954091
Wikidata C:Commons

En matemáticas, máis concretamente en análise funcional un espazo de Banach é un espazo vectorial normado completo. Polo tanto, un espazo de Banach é un espazo vectorial cunha métrica que permite o cálculo da lonxitude do vector e a distancia entre vectores, e é completo no sentido de que unha secuencia de vectores de Cauchy sempre converxe a un límite ben definido que está dentro do espazo.

Os espazos de Banach reciben o seu nome do matemático polaco Stefan Banach, quen introduciu este concepto e o estudou sistematicamente entre 1920 e 1922 xunto con Hans Hahn e Eduard Helly. Maurice René Fréchet foi o primeiro en empregar o termo "espazo de Banach" e Banach, á súa vez, acuñou o termo "espazo de Fréchet".

Os espazos de Banach xurdiron orixinalmente do estudo dos espazo de funcións realizado por Hilbert, Fréchet e Riesz a principios de século. Os espazos de Banach xogan un papel central na análise funcional. Noutras áreas de análise, os espazos en estudo adoitan ser espazos de Banach.

Definición

Un Espazo de Banach é un espazo normado completo $(X,\|{\cdot }\|).$

Un espazo normado é un par $(X,\|{\cdot }\|)$ que consiste nun espazo vectorial $X$ sobre un corpo escalar $\mathbb {K}$ (onde $\mathbb {K}$ soe ser $\mathbb {R}$ ou $\mathbb {C}$) xunto cunha norma $\|{\cdot }\|:X\to \mathbb {R} .$ Como todas as normas, esta norma induce unha invariante de translación función de distancia, chamada métrica canónica ou (norma) métrica inducida, definida para todos os vectores $x,y\in X$ como

$d(x,y):=\|y-x\|=\|x-y\|.$

Isto converte $X$ nun espazo métrico $(X,d).$

Unha secuencia $x_{1},x_{2},\ldots$ chámase de Cauchy en $(X,d)$ ou $d$-Cauchy ou $\|{\cdot }\|$-Cauchy se para todo real $r>0,$ existe algún índice $N$ tal que

$d(x_{n},x_{m})=\|x_{n}-x_{m}\|<r$

sempre que $m$ e $n$ sexan maiores que $N.$

O espazo normado $(X,\|{\cdot }\|)$ chámase espazo de Banach e a métrica canónica $d$ chámase métrica completa se $(X,d)$ é un espazo métrico completo, o que por definición significa que para toda secuencia de Cauchy $x_{1},x_{2},\ldots$ en $(X,d),$ existe algún $x\in X$ tal que

$\lim _{n\to \infty }x_{n}=x\;{\text{ en }}(X,d),$

onde por mor de $\|x_{n}-x\|=d(x_{n},x),$ a converxencia desta secuencia a $x$ pódese expresar de xeito equivalente como

$\lim _{n\to \infty }\|x_{n}-x\|=0\;{\text{ en }}\mathbb {R} .$

Caracterización por series

A estrutura do espazo vectorial permite relacionar o comportamento das secuencias de Cauchy co das series converxentes de vectores. Un espazo normado $X$ é un espazo de Banach se e só se cada serie absolutamente converxente en $X$ converxe a un valor que se atopa dentro de $X,$ simbolicamente

$\sum _{n=1}^{\infty }\|v_{n}\|<\infty \implies \sum _{n=1}^{\infty }v_{n}{\text{ converxe en }}X.$

Topoloxía

A métrica canónica $d$ dun espazo normado $(X,\|{\cdot }\|)$ induce a topoloxía métrica habitual $\tau _{d}$ en $X,$ que se denomina topoloxía canónica ou inducida por normas . Asúmese automaticamente que todo espazo normado leva esta topoloxía de Hausdorff, a menos que se indique o contrario. Con esta topoloxía, cada espazo de Banach é un espazo de Baire, aínda que existen espazos normados que son de Baire pero non de Banach. A norma $\|{\cdot }\|:X\to \mathbb {R}$ é sempre unha función continua en relación á topoloxía que induce.

As bólas abertas e pechadas de raio $r>0$ centradas nun punto $x\in X$ son, respectivamente, os conxuntos

$B_{r}(x):=\{z\in X\mid \|z-x\|<r\}\qquad {\text{ e }}\qquad C_{r}(x):=\{z\in X\mid \|z-x\|\leq r\}.$

Calquera bóla deste tipo é un subconxunto limitado e convexo de $X$, pero existe unha bóla/veciñanza compacta se e só se $X$ é finito-dimensional. En particular, ningún espazo normado de dimensión infinita pode ser localmente compacto nin ter a propiedade de Heine-Borel.

Se $x_{0}$ é un vector e $s\neq 0$ é un escalar, entón

$x_{0}+s\,B_{r}(x)=B_{|s|r}(x_{0}+sx)\qquad {\text{ e }}\qquad x_{0}+s\,C_{r}(x)=C_{|s|r}(x_{0}+sx).$

O uso de $s=1$ mostra que a topoloxía inducida por normas é invariante de translación, o que significa que para calquera $x\in X$ e $S\subseteq X,$ o subconxunto $S$ é aberto (respectivamente, pechado) en $X$ se e só se a súa translación $x+S:=\{x+s\mid s\in S\}$ é aberta (respectivamente, pechada). En consecuencia, a topoloxía inducida por normas está completamente determinada por calquera base de veciñanza na orixe. Algunhas bases de veciñanza comúns na orixe inclúen

$\{B_{r}(0)\mid r>0\},\qquad \{C_{r}(0)\mid r>0\},\qquad \{B_{r_{n}}(0)\mid n\in \mathbb {N} \},\qquad {\text{ e }}\{C_{r_{n}}(0)\mid n\in \mathbb {N} \},$

onde $r_{1},r_{2},\ldots$ poden ser calquera secuencia de números reais positivos que converxa a $0$ en $\mathbb {R}$ (as opcións comúns son $r_{n}:={\tfrac {1}{n}}$ or $r_{n}:=1/2^{n}$). Así, por exemplo, calquera subconxunto aberto $U$ de $X$ pódese escribir como unha unión

$U=\bigcup _{x\in I}B_{r_{x}}(x)=\bigcup _{x\in I}x+B_{r_{x}}(0)=\bigcup _{x\in I}x+r_{x}\,B_{1}(0)$

indexada por algún subconxunto $I\subseteq U,$ onde cada $r_{x}$ pode escollerse da secuencia mencionada iñantes $r_{1},r_{2},...$.(As bólas abertas tamén se poden substituír por bólas pechadas, aínda que o conxunto de indexación $I$ e os raios $r_{x}$ tamén poden precisar ser substituídos). Alén disto, $I$ sempre pode ser escollido como numerábel se $X$ é un espazo separábel, o que por definición significa que $X$ contén algún numerábel.

Completude

Normas completas e normas equivalentes

Dúas normas, $p$ e $q,$ nun espazo vectorial $X$ dise que son equivalentes se inducen a mesma topoloxía; isto ocorre se e só se existen números reais $c,C>0$ de tal xeito que ${\textstyle c\,q(x)\leq p(x)\leq C\,q(x)}$ para tódolos $x\in X.$ Se $p$ e $q$ son dúas normas equivalentes nun espazo vectorial $X$ entón $(X,p)$ é un espazo de Banach se e só se $(X,q)$ é un espazo de Banach. Véxase esta nota ao pé para ver un exemplo dunha norma continua nun espazo de Banach que non é equivalente á norma dada dese espazo de Banach. Todas as normas nun espazo vectorial de dimensión finita son equivalentes e todo espazo normado de dimensión finita é un espazo de Banach.

Normas completas fronte a métricas completas

Unha métrica $D$ nun espazo vectorial $X$ é inducida por unha norma en $X$ se e só se $D$ é invariante por translación e absolutamente homoxénea, o que significa que $D(sx,sy)=|s|D(x,y)$ para todos os escalares $s$ e todo $x,y\in X,$ nese caso a función $\|x\|:=D(x,0)$ define unha norma sobre $X$ e a métrica canónica inducida por $\|{\cdot }\|$ é igual a $D.$

Supoñamos que $(X,\|{\cdot }\|)$ é un espazo normado e que $\tau$ é a norma topolóxica inducida en $X$. Supoñamos que $D$ é calquera métrica en $X$ tal que a topoloxía que $D$ induce en $X$ é igual a $\tau$. Se $D$ é invariante por translación, entón $(X,\|{\cdot }\|)$ é un espazo de Banach se e só se $(X,D)$ é un espazo métrico completo.

Se $D$ non é invariante por traslación daquela pode ser posíbel que $(X,\|{\cdot }\|)$ sexa un espazo de Banach pero que $(X,D)$ non sexa un espazo métrico completo (véxase esta nota ao pé para un exemplo). En contraste, un teorema de Klee, que tamén se aplica a todos os espazos vectoriais topolóxicos metrizábeis, implica que se existe calquera métrica completa $D$ en $X$ que induce a norma topolóxica $\tau$ en $X$, entón $(X,\|{\cdot }\|)$ é un espazo de Banach.

Completamentos

Todo espazo normado pode ser mergullado isometricamente nun subespazo vectorial denso dun espazo de Banach, onde este espazo de Banach se denomina un completamento do espazo normado. Este completamento de Hausdorff é único ata o isomorfismo isométrico.

Teoría xeral

Operadores lineares, isomorfismos

Se $X$ e $Y$ son espazos normados sobre o mesmo corpo base $\mathbb {K} ,$ o conxunto de todos os $\mathbb {K}$-mapas lineares continuos $T:X\to Y$ denótanse por $B(X,Y).$

En espazos de dimensión infinita, non todas as aplicacións lineares son continuas. Unha aplicación linear a partir dun espazo normado $X$ a outro espazo normado é continuo se e só se está limitado na bóla unitaria pechada de $X.$ Así, ao espazo vectorial $B(X,Y)$ pódeselle dar a norma de operador

$\|T\|=\sup\{\|Tx\|_{Y}\mid x\in X,\ \|x\|_{X}\leq 1\}.$

Para $Y$ un espazo de Banach, o espazo $B(X,Y)$ é un espazo de Banach en relación a esta norma. En contextos categóricos, ás veces é conveniente restrinxir o espazo de funcións entre dous espazos de Banach só aos mapas métricos; nese caso, o espazo $B(X,Y)$ reaparece como un bifunctor natural.

Se $X$ é un espazo de Banach, o espazo $B(X)=B(X,X)$ forma unha álxebra de Banach unitaria; a operación de multiplicación vén dada pola composición de aplicacións lineares.

Se $X$ e $Y$ son espazos normados, son espazos normados isomorfos se existe unha bixección linear $T:X\to Y$ de tal xeito que $T$ e o seu inverso $T^{-1}$ son continuos. Se un dos dous espazos $X$ ou $Y$ é completo (ou reflexivo, separábel, etc.), entón tamén o é o outro espazo. Dous espazos normados $X$ e $Y$ son isométricamente isomorfos se a maiores, $T$ é unha isometría, é dicir, $\|T(x)\|=\|x\|$ para todo $x$ en $X.$

A distancia de Banach-Mazur $d(X,Y)$ entre dous espazos isomorfos mais non isométricos $X$ e $Y$ dá unha medida de canto os dous espazos $X$ e $Y$ difiren.

Nocións básicas

O produto cartesiano $X\times Y$ de dous espazos normados non está canonicamente equipado cunha norma. No entanto, úsanse habitualmente varias normas equivalentes, como

$\|(x,y)\|_{1}=\|x\|+\|y\|,\qquad \|(x,y)\|_{\infty }=\max(\|x\|,\|y\|)$

que corresponden (respectivamente) ao coproduto e ao produto na categoría de espazos de Banach e espazos métricos (comentados iñantes). Para (co)produtos finitos, estas normas dan lugar a espazos normados isomorfos, e o produto $X\times Y$ (ou a suma directa $X\oplus Y$ ) é completa se e só se os dous factores son completos.

Se $M$ é un subespazo linear pechado dun espazo normado $X,$ existe unha norma natural no espazo cociente $X/M,$

$\|x+M\|=\inf \limits _{m\in M}\|x+m\|.$

O cociente $X/M$ é un espazo de Banach cando $X$ é completo. O mapa cociente de $X$ en $X/M,$ enviando $x\in X$ á súa clase $x+M,$ é linear, sobrexectivo e de norma $1,$ agás cando $M=X,$ nese caso o cociente é o espazo nulo.

O subespazo linear pechado $M$ de $X$ dise que é un subespazo complementado de $X$ se $M$ é o rango dunha proxección linear sobrexectiva limitada $P:X\to M.$ Neste caso, o espazo $X$ é isomorfo á suma directa de $M$ e $\ker P,$ o kernel da proxección $P.$

Supoñamos que $X$ e $Y$ son espazos de Banach e que $T\in B(X,Y).$ Existe unha factorización canónica de $T$ como

$T=T_{1}\circ \pi ,\quad T:X{\overset {\pi }{{}\longrightarrow {}}}X/\ker T{\overset {T_{1}}{{}\longrightarrow {}}}Y$

onde o primeiro mapa $\pi$ é o mapa cociente e o segundo mapa $T_{1}$ envía cada clase $x+\ker T$ no cociente cara a imaxe $T(x)$ en $Y.$ Isto está ben definido porque todos os elementos da mesma clase teñen a mesma imaxe. O mapeo $T_{1}$ é unha bixección linear de $X/\ker T$ sobrexectimante no rango $T(X),$ cuxa inversa non precisa ser limitada.

Espazos clásicos

Exemplos básicos de espazos de Banach inclúen: os espazos Lp $L^{p}$ e os seus casos especiais, os espazos de secuencias $\ell ^{p}$ que consisten en secuencias escalares indexadas por números naturais $\mathbb {N}$; entre eles, o espazo $\ell ^{1}$ de secuencias absolutamente sumábeis e o espazo $\ell ^{2}$ de secuencias cadradas sumábeis; o espazo $c_{0}$ de secuencias tendentes a cero e o espazo $\ell ^{\infty }$ de secuencias limitadas; o espazo $C(K)$ de funcións escalares continuas nun espazo compacto de Hausdorff $K,$ equipado coa norma máxima,

$\|f\|_{C(K)}=\max\{|f(x)|\mid x\in K\},\quad f\in C(K).$

Segundo o teorema de Banach-Mazur, todo espazo de Banach é isometricamente isomorfo a un subespazo dalgún $C(K).$ Para todo espazo de Banach separábel $X,$ existe un subespazo pechado $M$ de $\ell ^{1}$ de tal xeito que $X:=\ell ^{1}/M.$

Calquera espazo de Hilbert serve como exemplo de espazo de Banach. Un espazo de Hilbert $H$ en $\mathbb {K} =\mathbb {R} ,\mathbb {C}$ está completo para unha norma da forma

$\|x\|_{H}={\sqrt {\langle x,x\rangle }},$

onde $\langle \cdot ,\cdot \rangle :H\times H\to \mathbb {K}$

é o produto interno, linear no seu primeiro argumento, que cumpre o seguinte:

${\begin{aligned}\langle y,x\rangle &={\overline {\langle x,y\rangle }},\quad {\text{ para todos os }}x,y\in H\\\langle x,x\rangle &\geq 0,\quad {\text{ para todo }}x\in H\\\langle x,x\rangle &=0\quad {\text{ se e só se }}x=0.\end{aligned}}$

Por exemplo, o espazo $L^{2}$ é un espazo de Hilbert.

Os espazos de Hardy e os espazos de Sobolev son exemplos de espazos de Banach relacionados cos $L^{p}$-espazos e teñen unha estrutura adicional. Son importantes en diferentes ramas da análise, análise harmónica e ecuacións diferenciais parciais, entre outras.

Álxebras de Banach

Unha álxebra de Banach é un espazo de Banach $A$ sobre $\mathbb {K} =\mathbb {R}$ ou $\mathbb {C} ,$ xunto cunha estrutura de álxebra sobre $\mathbb {K}$, de xeito que o mapa do produto $A\times A\ni (a,b)\mapsto ab\in A$ é continuo. Unha norma equivalente en $A$ pódese atopar para que $\|ab\|\leq \|a\|\|b\|$ para tódolos $a,b\in A.$

Exemplos

• O espazo de Banach $C(K)$ co produto punto por punto é unha álxebra de Banach.
• A álxebra de disco $A(\mathbf {D} )$ consiste en funcións holomorfas no disco unitario aberto $D\subseteq \mathbb {C}$ e continuas no seu peche: ${\overline {\mathbf {D} }}.$ Equipada en ${\overline {\mathbf {D} }}$ coa norma do máximo, a álxebra de disco $A(\mathbf {D} )$ é unha subálxebra pechada de $C\left({\overline {\mathbf {D} }}\right).$
• A álxebra de Wiener $A(\mathbf {T} )$ é a álxebra de funcións na círculo unitario $\mathbf {T}$ con series de Fourier absolutamente converxentes. Mediante o mapa que asocia unha función en $\mathbf {T}$ á secuencia dos seus coeficientes de Fourier, esta álxebra é isomorfa á álxebra de Banach $\ell ^{1}(Z),$ onde o produto é a convolución de secuencias.
• Para todo espazo de Banach $X,$ o espazo $B(X)$ de operadores lineares limitados en $X,$ coa composición de mapas como produto, é unha álxebra de Banach.
• Unha C*-álxebra é unha álxebra de Banach complexa $A$ cunha involución antilinear $a\mapsto a^{*}$ tal que $\|a^{*}a\|=\|a\|^{2}.$ O espazo $B(H)$ de operadores lineares limitados nun espazo de Hilbert $H$ é un exemplo fundamental de C*-álxebra. O teorema de Gelfand-Naimark afirma que toda C*-álxebra é isometricamente isomorfa a unha C*-subálxebra dalgún $B(H).$ O espazo $C(K)$ de funcións continuas complexas nun espazo compacto de Hausdorff $K$ é un exemplo de C*-álxebra conmutativa, onde a involución asocia a cada función $f$ o seu complexo conxugado ${\overline {f}}.$

Espazo dual

Se $X$ é un espazo normado e $\mathbb {K}$ o corpo subxacente (os números reais ou os números complexos), o espazo dual continuo é o espazo das aplicacións lineares continuas de $X$ en $\mathbb {K} ,$ ou funcionais lineares continuos. A notación para o dual continuo é $X'=B(X,\mathbb {K} )$ neste artigo. Dado que $\mathbb {K}$ é un espazo de Banach (usando o valor absoluto como norma), o dual $X'$ é un espazo de Banach para todo espazo normado $X.$ O teorema de Dixmier-Ng caracteriza os espazos duais dos espazos de Banach.

A ferramenta principal para demostrar a existencia de funcionais lineares continuos é o teorema de Hahn-Banach.

Exemplos de espazos duais

O dual de $c_{0}$ é isometricamente isomorfo a $\ell ^{1}$: para todo funcional linear limitado $f$ en $c_{0},$ hai un elemento único $y=\{y_{n}\}\in \ell ^{1}$ de tal xeito que

$f(x)=\sum _{n\in \mathbb {N} }x_{n}y_{n},\quad x=\{x_{n}\}\in c_{0},\ \ {\text{e}}\ \ \|f\|_{(c_{0})'}=\|y\|_{\ell _{1}}.$

O dual de $\ell ^{1}$ é isometricamente isomorfo a $\ell ^{\infty }$. O dual do espazo de Lebesgue $L^{p}([0,1])$ é isometricamente isomorfo a $L^{q}([0,1])$ cando $1\leq p<\infty$ e ${\frac {1}{p}}+{\frac {1}{q}}=1.$

Para todo vector $y$ nun espazo de Hilbert $H,$ o mapa

$x\in H\to f_{y}(x)=\langle x,y\rangle$

define un funcional linear continuo $f_{y}$ en $H.$

O teorema da representación de Riesz afirma que todo funcional linear continuo en $H$ é da forma $f_{y}$ para un vector definido de forma única $y$ en $H.$ O mapa $y\in H\to f_{y}$ é unha bixección isométrica antilinear de $H$ no seu dual $H'.$ Cando os escalares son reais, este mapa é un isomorfismo isométrico.

Teoremas de Banach

Os principais resultados xerais sobre os espazos de Banach que se remontan á época do libro de Banach ( Banach (1932) ) están relacionados co teorema da categoría de Baire.

Segundo ese teorema, un espazo métrico completo (como un espazo de Banach, un espazo de Fréchet ou un espazo F) non pode ser igual a unha unión de subconxuntos pechados con un número numerábel de elementos con interiores baleiros. Polo tanto, un espazo de Banach non pode ser a unión dun número numerábel de subespazos pechados, a menos que xa sexa igual a un deles; un espazo de Banach cunha base de Hamel numerábel é de dimensión finita.

Teorema de Banach-Steinhaus Sexa $X$ un espazo de Banach e $Y$ un espazo vectorial normado. Supoñamos que $F$ é unha colección de operadores lineares continuos desde $X$ ata $Y.$ O principio de limitación uniforme (ou Teorema de Banach-Steinhaus) estabelece que se para todo $x$ en $X$ temos $\sup _{T\in F}\|T(x)\|_{Y}<\infty ,$ entón $\sup _{T\in F}\|T\|_{Y}<\infty .$

Teorema de Banach-Schauder (ou do mapeamento aberto) Sexan $X$ e $Y$ espazos de Banach e $T:X\to Y$ un operador linear continuo sobrexectivo, entón $T$ é un mapeamento aberto.

Primeiro teorema do isomorfismo para espazos de Banach Supoñamos que $X$ e $Y$ son espazos de Banach e que $T\in B(X,Y).$ Supoñamos a maiores que o rango de $T$ está pechado en $Y.$ Entón $X/\ker T$ é isomorfo a $T(X).$

Teorema do grafo pechado Sexa $T:X\to Y$ un mapa linear entre espazos de Banach. O grafo de $T$ é pechado en $X\times Y$ se e só se $T$ é continuo.

Reflexividade

O espazo normado $X$ chámase reflexivo cando o mapa natural

${\begin{cases}F_{X}:X\to X''\\F_{X}(x)(f)=f(x)&{\text{ para todo }}x\in X,{\text{ e para todo }}f\in X'\end{cases}}$ é sobrexectivo.

Os espazos normados reflexivos son espazos de Banach.

Produto tensorial

Sexan $X$ e $Y$ dous $\mathbb {K}$-espazos vectoriais. O produto tensorial $X\otimes Y$ de $X$ e $Y$ é un $\mathbb {K}$-espazo vectorial $Z$ cunha aplicación bilinear $T:X\times Y\to Z$ que ten a seguinte propiedade universal:

Se $T_{1}:X\times Y\to Z_{1}$ é calquera aplicación bilinear nun $\mathbb {K}$-espazo vectorial $Z_{1},$ entón existe unha aplicación linear única $f:Z\to Z_{1}$ de tal xeito que $T_{1}=f\circ T.$

A imaxe baixo $T$ dunha parella $(x,y)$ en $X\times Y$ denótase por $x\otimes y,$ e chámase tensor simple. Todo elemento $z$ en $X\otimes Y$ é unha suma finita deses tensores simples.

Existen varias normas que se poden aplicar ao produto tensorial dos espazos vectoriais subxacentes, entre outras a norma cruzada proxectiva e a norma cruzada inxectiva introducidas por A. Grothendieck en 1955.

En xeral, o produto tensorial de espazos completos non volve ser completo. Ao traballar con espazos de Banach, é costume dicir que o produto tensorial proxectivo de dous espazos de Banach $X$ e $Y$ é o completamento $X{\widehat {\otimes }}_{\pi }Y$ do produto tensorial alxébrico $X\otimes Y$ equipado coa norma tensorial proxectiva e, de xeito similar, para o produto tensorial inxectivo $X{\widehat {\otimes }}_{\varepsilon }Y.$

Grothendieck demostrou en particular que

${\begin{aligned}C(K){\widehat {\otimes }}_{\varepsilon }Y&\simeq C(K,Y),\\L^{1}([0,1]){\widehat {\otimes }}_{\pi }Y&\simeq L^{1}([0,1],Y),\end{aligned}}$

onde $K$ é un espazo compacto de Hausdorff, $C(K,Y)$ o espazo de Banach de funcións continuas de $K$ a $Y$ e $L^{1}([0,1],Y)$ o espazo de funcións medíbeis e integrábeis por Bochner de $[0,1]$ a $Y,$ e onde os isomorfismos son isométricos. Os dous isomorfismos anteriores son as respectivas extensións da aplicación que envía o tensor $f\otimes y$ á función vectorial $s\in K\to f(s)y\in Y.$

Exemplos

Glosario de símbolos para a táboa embaixo:

• $\mathbb {F}$ denota o corpo dos [[números reais] $\mathbb {R}$ ou números complexos $\mathbb {C} .$
• $K$ é un espazo de Hausdorff compacto.
• $p,q\in \mathbb {R}$ son os números reais con $1<p,q<\infty$ que son conxugados de Hölder, querendo dicir que satisfán ${\frac {1}{q}}+{\frac {1}{p}}=1$ e así tamén $q={\frac {p}{p-1}}.$
• $\Sigma$ é unha $\sigma$-álxebra de conxuntos.
• $\Xi$ é unha álxebra de conxuntos (para espazos que só requiren aditividade finita, como o espazo ba).
• $\mu$ é unha medida con variación $|\mu |.$ Unha medida positiva é unha función de conxuntos positiva con valores reais definida nunha $\sigma$-álxebra que é numerabelmente aditiva.

Espazos de Banach clásicos
	Espazo dual	Reflexivo	debilmente secuancialmente completo	Norma		Notas
$\mathbb {F} ^{n}$	$\mathbb {F} ^{n}$	Si	Si	$\|x\|_{2}$	$=\left(\sum _{i=1}^{n}|x_{i}|^{2}\right)^{1/2}$	Espazo euclidiano
$\ell _{p}^{n}$	$\ell _{q}^{n}$	Si	Si	$\|x\|_{p}$	$=\left(\sum _{i=1}^{n}|x_{i}|^{p}\right)^{\frac {1}{p}}$
$\ell _{\infty }^{n}$	$\ell _{1}^{n}$	Si	Si	$\|x\|_{\infty }$	$=\max \nolimits _{1\leq i\leq n}|x_{i}|$
$\ell ^{p}$	$\ell ^{q}$	Si	Si	$\|x\|_{p}$	$=\left(\sum _{i=1}^{\infty }|x_{i}|^{p}\right)^{\frac {1}{p}}$
$\ell ^{1}$	$\ell ^{\infty }$	Non	Si	$\|x\|_{1}$	$=\sum _{i=1}^{\infty }\left|x_{i}\right|$
$\ell ^{\infty }$	$\operatorname {ba}$	Non	Non	$\|x\|_{\infty }$	$=\sup \nolimits _{i}\left|x_{i}\right|$
$\operatorname {c}$	$\ell ^{1}$	Non	Non	$\|x\|_{\infty }$	$=\sup \nolimits _{i}\left|x_{i}\right|$
$c_{0}$	$\ell ^{1}$	Non	Non	$\|x\|_{\infty }$	$=\sup \nolimits _{i}\left|x_{i}\right|$	Isomorfo mais non isométrico a $c.$
$\operatorname {bv}$	$\ell ^{\infty }$	Non	Si	$\|x\|_{bv}$	$=\left|x_{1}\right|+\sum _{i=1}^{\infty }\left|x_{i+1}-x_{i}\right|$	Isometricamente isomorfo a $\ell ^{1}.$
$\operatorname {bv} _{0}$	$\ell ^{\infty }$	Non	Si	$\|x\|_{bv_{0}}$	$=\sum _{i=1}^{\infty }\left|x_{i+1}-x_{i}\right|$	Isometricamente isomorfo a $\ell ^{1}.$
$\operatorname {bs}$	$\operatorname {ba}$	Non	Non	$\|x\|_{bs}$	$=\sup \nolimits _{n}\left|\sum _{i=1}^{n}x_{i}\right|$	Isometricamente isomorfo a $\ell ^{\infty }.$
$\operatorname {cs}$	$\ell ^{1}$	Non	Non	$\|x\|_{bs}$	$=\sup \nolimits _{n}\left|\sum _{i=1}^{n}x_{i}\right|$	Isometricamente isomorfo a $c.$
$B(K,\Xi )$	$\operatorname {ba} (\Xi )$	Non	Non	$\|f\|_{B}$	$=\sup \nolimits _{k\in K}|f(k)|$
$C(K)$	$\operatorname {rca} (K)$	Non	Non	$\|x\|_{C(K)}$	$=\max \nolimits _{k\in K}|f(k)|$
$\operatorname {ba} (\Xi )$	?	Non	Si	$\|\mu \|_{ba}$	$=\sup \nolimits _{S\in \Xi }|\mu |(S)$
$\operatorname {ca} (\Sigma )$	?	Non	Si	$\|\mu \|_{ba}$	$=\sup \nolimits _{S\in \Sigma }|\mu |(S)$	Un subespazo pechado de $\operatorname {ba} (\Sigma ).$
$\operatorname {rca} (\Sigma )$	?	Non	Si	$\|\mu \|_{ba}$	$=\sup \nolimits _{S\in \Sigma }|\mu |(S)$	Un subespazo pechado de $\operatorname {ca} (\Sigma ).$
$L^{p}(\mu )$	$L^{q}(\mu )$	Si	Si	$\|f\|_{p}$	$=\left(\int |f|^{p}\,d\mu \right)^{\frac {1}{p}}$
$L^{1}(\mu )$	$L^{\infty }(\mu )$	Non	Si	$\|f\|_{1}$	$=\int |f|\,d\mu$	O dual é $L^{\infty }(\mu )$ se $\mu$ é $\sigma$-finita.
$\operatorname {BV} ([a,b])$	?	Non	Si	$\|f\|_{BV}$	$=V_{f}([a,b])+\lim \nolimits _{x\to a^{+}}f(x)$	$V_{f}([a,b])$ is the total variation of $f$
$\operatorname {NBV} ([a,b])$	?	Non	Si	$\|f\|_{BV}$	$=V_{f}([a,b])$	$\operatorname {NBV} ([a,b])$ consiste nas funcións $\operatorname {BV} ([a,b])$ tal que $\lim \nolimits _{x\to a^{+}}f(x)=0$
$\operatorname {AC} ([a,b])$	$\mathbb {F} +L^{\infty }([a,b])$	Non	Si	$\|f\|_{BV}$	$=V_{f}([a,b])+\lim \nolimits _{x\to a^{+}}f(x)$	Isomorfo ao espazo de Sobolev $W^{1,1}([a,b]).$
$C^{n}([a,b])$	$\operatorname {rca} ([a,b])$	Non	Non	$\|f\|$	$=\sum _{i=0}^{n}\sup \nolimits _{x\in [a,b]}\left|f^{(i)}(x)\right|$	Isomorfo a $\mathbb {R} ^{n}\oplus C([a,b]),$ esencialmente polo teorema de Taylor.

Derivadas

Pódense definir varios conceptos de derivada nun espazo de Banach. Consulte os artigos sobre a derivada de Fréchet e a derivada de Gateaux para obter máis detalles. A derivada de Fréchet permite unha extensión do concepto de derivada total aos espazos de Banach. A derivada de Gateaux permite unha extensión dunha derivada direccional a espazos vectoriais topolóxicos localmente convexos.

A diferenciabilidade de Fréchet é unha condición máis forte que a diferenciabilidade de Gateaux. A cuasiderivada é outra xeneralización da derivada direccional que implica unha condición máis forte que a diferenciabilidade de Gateaux, pero unha condición máis feble que a diferenciabilidade de Fréchet.

Véxase tamén

Bibliografía

• Anderson, R. D.; Schori, R. (1969). "Factors of infinite-dimensional manifolds" (PDF). Transactions of the American Mathematical Society (American Mathematical Society (AMS)) 142: 315–330. ISSN 0002-9947. doi:10.1090/s0002-9947-1969-0246327-5. 

• Banach, Stefan (1932). Théorie des Opérations Linéaires [Theory of Linear Operations] (PDF). Monografie Matematyczne (en francés) 1. Warszawa: Subwencji Funduszu Kultury Narodowej. Zbl 0005.20901. Arquivado dende o orixinal (PDF) o 2014-01-11. Consultado o 2020-07-11. 
• Beauzamy, Bernard (1985) [1982]. Introduction to Banach Spaces and their Geometry (Second revised ed.). North-Holland. .* Modelo:Bourbaki Topological Vector Spaces
• Bessaga, C.; Pełczyński, A. (1975). Selected Topics in Infinite-Dimensional Topology. Monografie Matematyczne. Warszawa: Panstwowe wyd. naukowe. .
• Carothers, Neal L. (2005). A short course on Banach space theory. London Mathematical Society Student Texts 64. Cambridge: Cambridge University Press. pp. xii+184. ISBN 0-521-84283-2. .
• Conway, John (1990). A course in functional analysis. Graduate Texts in Mathematics 96 (2nd ed.). New York: Springer-Verlag. ISBN 978-0-387-97245-9. OCLC 21195908. 
• Diestel, Joseph (1984). Sequences and series in Banach spaces. Graduate Texts in Mathematics 92. New York: Springer-Verlag. pp. xii+261. ISBN 0-387-90859-5. .
• Dunford, Nelson; Schwartz, Jacob T. with the assistance of W. G. Bade and R. G. Bartle (1958). Linear Operators. I. General Theory. Pure and Applied Mathematics 7. New York: Interscience Publishers, Inc. MR 0117523. 

• Grothendieck, Alexander (1973). Topological Vector Spaces. Traducido por Chaljub, Orlando. New York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098. 
• Henderson, David W. (1969). "Infinite-dimensional manifolds are open subsets of Hilbert space". Bull. Amer. Math. Soc. 75 (4): 759–762. MR 0247634. doi:10.1090/S0002-9904-1969-12276-7. 
• Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics 936. Berlin, Heidelberg, New York: Springer-Verlag. ISBN 978-3-540-11565-6. OCLC 8588370. 
• Lindenstrauss, Joram; Tzafriri, Lior (1977). Classical Banach Spaces I, Sequence Spaces. Ergebnisse der Mathematik und ihrer Grenzgebiete 92. Berlin: Springer-Verlag. ISBN 3-540-08072-4. .
• Megginson, Robert E. (1998). An introduction to Banach space theory. Graduate Texts in Mathematics 183. New York: Springer-Verlag. pp. xx+596. ISBN 0-387-98431-3. .

• Ryan, Raymond A. (2002). Introduction to Tensor Products of Banach Spaces. Springer Monographs in Mathematics. London: Springer-Verlag. pp. xiv+225. ISBN 1-85233-437-1. .

• Wojtaszczyk, Przemysław (1991). Banach spaces for analysts. Cambridge Studies in Advanced Mathematics 25. Cambridge: Cambridge University Press. pp. xiv+382. ISBN 0-521-35618-0. .

Outros artigos

• Espazo (matemáticas)
  • Espazo de Hardy
  • Espazo de Hilbert – espazo euclidiano que permite a súa aplicación a espazos de dimensión arbitraria
  • $L^{p}$-espazo
  • Espazo de Sobolev
  • Retícula de Banach
• Variedade de Banach
• Espazo de interpolación
• Espazo vectorial topolóxico localmente convexo
• Espazo vectorial topolóxico

Ligazóns externas

• "Banach space". Encyclopedia of Mathematics. EMS Press. 2001 [1994]. 
• Weisstein, Eric W. "Banach Space". MathWorld.