# Base de Schauder

O conceito de base de Schauder é semelhante ao de base usual ou base de Hamel, porém diferencia-se pelo fato de bases de Hamel representarem os elementos de um espaço vetorial através de combinações lineares finitas (aplicando-se portanto a espaços de dimensão finita), enquanto as bases de Schauder podem descrever os elementos de um espaço de dimensão infinita. Em dimensão finita as bases de Schauder coincidem com as bases de Hamel.

## Definições

Seja $X$ um espaço vetorial normado infinito-dimensional. Uma sequência $(e_{i})_{i=1}^{\infty }$ em $X$ é chamada de base de Schauder de $X$ se para todo $x\in X$ existir uma única sequência de escalares $(a_{i})_{i=1}^{\infty }$, chamadas as coordenadas de $x$, tal que $x=\sum _{i=1}^{\infty }a_{i}e_{i}$.
Dizemos que uma sequência $(e_{i})_{n}$ é uma sequência básica em um espaço de Banach $X$ se $(e_{i})_{i}$ é uma base de Schauder para ${\overline {span}}\{e_{i}:i\in \mathbb {N} \}$.

## Propriedades

A convergência na definição de base de Schauder deve ser entendida com relação à topologia da norma.
Por se tratar de uma soma infinita, é importante observar que a ordem dos elementos é relevante em bases de Schauder. Nada garante que, ao permutarmos os elementos de $(e_{i})_{i=1}^{\infty }$, a série infinita que define cada elemento do espaço em termos da base continue convergindo, e portanto que sequência na nova ordenação continue sendo uma base. No caso especial em que possua essa propriedade (convergência incondicional), a base de Schauder será chamada de base Incondicional.

## Algumas Consequências Relevantes

* Toda base de Schauder de um espaço normado é linearmente independente.
* Teorema de Mazur: Todo espaço de Banach $X$ de dimensão infinita contém um subespaço fechado de X de dimensão infinita com uma base de Schauder.

## Exemplos de Espaços com/sem Bases de Schauder

Exemplo 1: Consideremos os espaços de sequência $c_{0}$ e $\ell _{p}$, para $p\in [1,\infty )$. Seja $(e_{n})_{n=1}^{\infty }$ a sequência contida em $c_{0}$ e $\ell _{p}$, para $p\in [1,\infty )$, tal que para cada $n\in \mathbb { N)$ $e_{n}=(\delta _{nk})_{k=1}^{\infty }$ onde $\delta _{nn}=1$ e $\delta _{nk}=0$ se $n\neq k$. A sequência $(e_{n})_{n=1}^{\infty }$ é uma base de Shauder para os espaços $c_{0}$ e $\ell _{p}$, para $p\in [1,\infty )$.
Exemplo 2: $l_{\infty }$ não possui uma base de Schauder, uma vez que não é um espaço separável.

## Separabilidade

Seja $X$ um espaço de Banach. Se $X$ possui uma base de Schauder, então $X$ é um espaço separável.
Demonstração: Seja $X$ um espaço de Banach. Considere $(e_{k})_{k}$ uma base de Schauder de $X$ tal que $\|e_{k}\|=1$ e considere $D=\left\{\sum _{k}y_{k}e_{k}:k\in \mathbb {N} ,y_{k}\in \mathbb {Q} \right\}$
Seja $x\in X$, e $x=\sum _{k=1}^{\infty }x_{k}e_{k}$, com $x_{k}\in \mathbb {R}$ as coordenadas de $x$. Então, para todo $\varepsilon >0$, existe $n_{0}\in \mathbb {N}$ tal que $\|x-\sum _{k=1}^{n_{0}}x_{k}e_{k}\|<{\frac {\varepsilon }{2}}$
Uma vez que $x_{k}\in \mathbb {R}$, e $\mathbb {Q}$ é denso em $\mathbb {R}$, existe $y_{k}\in \mathbb {Q}$ tal que $|x_{k}-y_{k}|<{\frac {\varepsilon }{2^{n+1}}}$.
Assim, temos que
$\|x-\sum _{k=1}^{n_{0}}y_{k}e_{k}\|=\|x-\sum _{k=1}^{n_{0}}y_{k}e_{k}+\sum _{k=1}^{n_{0}}x_{k}e_{k}-\sum _{k=1}^{n_{0}}x_{k}e_{k}\|\leq \|x-\sum _{k=1}^{n_{0}}x_{k}e_{k}\|+\|\sum _{k=1}^{n_{0}}x_{k}e_{k}-\sum _{k=1}^{n_{0}}y_{k}e_{k}\|<{\frac {\varepsilon }{2}}+{\frac {\varepsilon }{2^{n+1}}}<\varepsilon .$
Logo, provamos que $X$ contém um subconjunto enumerável denso em $X$, e portanto $X$ é separável.

## Bases de Schauder Incondicionais

Uma base de Schauder $(e_{i})_{i}$ de um espaço de Banach $X$ é dita incondicional se, para todo $x\in X$, $x=\sum _{i=1}^{\infty }a_{i}e_{i}$, converge incondicionalmente, isto é, se a série $\sum _{i=1}^{\infty }a_{\pi (i)}e_{\pi (i)}$ converge qualquer que seja a permutação $\pi (i)$ dos índices.

### Exemplos

* As bases canônicas dos espaços de sequências $c_{0}$ e $l_{p}$, $1\leq p<\infty$ são bases incondicionais.
* Todo sistema ortonormal maximal em um espaço de Hilbert separável $H$ é uma base incondicional em $H$.
* O sistema de Haar é uma base de Schauder incondicional em $L_{p}(0,1)$, $1<p<\infty$. O espaço $L_{1}(0,1)$, por sua vez, não possui base incondicional.

### O "Problema da Base Incondicional"

Sabemos que todo espaço de Banach $X$ de dimensão infinita contém um subespaço fechado de dimensão também infinita com uma base de Schauder. É natural questionarmos então se todo espaço de dimensão infinita contém algum subespaço fechado de dimensão infinita com base incondicional. Esse era o chamado Problema da Base Incondicional, formulado desde o início da década de 50, e solucionado somente em 1993 por Timothy Gowers e Bernard Maurey, introduzindo o conceito de espaços hereditariamente indecomponíveis (e construindo um caso particular de espaço, chamado Espaço GM, que provaram ser desse tipo). Um bom apanhado histórico e conceitual do Problema da Base Incondicional pode ser encontrado em

## Bases Limitadamente Completas e Bases Contráteis
### Base Limitadamente Completa

Uma base $(e_{i})_{i}$ de um espaço de Banach $X$ é limitadamente completa se, para toda sequência $(a_{i})_{i}$ de escalares tais que as somas parciais $V_{n}=\sum _{k=0}^{n}a_{k}e_{k}$ são limitadas em $X$, então a sequência $V_{n}$ converge em $X$.

### Base Contrátil

Seja $(e_{n})_{n}$ uma base de Schauder de um espaço de Banach $X$, e $(e_{n}^{\star })_{n}$ a sequência dos funcionais coordenadas de $(e_{n})_{n}$. Dizemos que $(e_{n})_{n}$ é uma base contrátil se ${\overline {span}}\{e_{n}^{\star }:n\in \mathbb {N} \}=X^{\star }$, em que $X^{\star }$ é o espaço dual de $X$.

### Exemplos

* A base canônica do espaço $l_{p}$, $1\leq p<\infty$, é limitadamente completa.
* A base canônica do espaço $c_{0}$, no entanto, não é limitadamente completa.
* Ambas as bases canônicas de $l_{p}$ e $c_{0}$ são contráteis.

### Conexão com Espaços Reflexivos

Robert C. James, em 1957, caracterizou reflexividade em espaços de Banach relacionando o conceito com aquele de bases de Schauder através do teorema que é conhecido como Teorema de James:
Teorema: Seja $X$ um espaço de Banach. Se X possui uma base $(e_{n})_{n}$, então $X$ é reflexivo se, e somente se, $(e_{n})_{n}$ é contrátil e limitadamente completa.
Em 1967, M. Zippin provou os seguintes resultados relacionados ao mesmo tema:
Teorema: Seja $X$ um espaço de Banach com base $(e_{n})_{n}$. Se todas as bases de $X$ são contráteis, então $X$ é um espaço reflexivo.
Teorema: Seja $X$ um espaço de Banach com base $(e_{n})_{n}$. Se todas as bases de $X$ são limitadamente completas, então $X$ é um espaço reflexivo.

## Conceitos Relacionados
### Base de Hamel

Dizemos que $\{e_{1},\dots ,e_{n}\}$, $n<\infty$ é uma base de Hamel de um espaço vetorial $X$ se, para todo $x\in X$, existe uma única combinação de escalares $a_{1},\dots ,a_{n}$ tal que $x=a_{1}e_{1}+\dots +a_{n}e_{n}$.