# Bases Hilbertianas

Em matemática, particularmente análise funcional, uma base Hilbertiana é uma generalização do conceito de base ortonormal num espaço de Hilbert. Quando lidando com espaços vetoriais de dimensão finita, é natural utilizar o conceito de base de Hamel e representar vetores como combinações lineares finitas de elementos dessa base. No entanto, no caso de um espaço de dimensão infinita, as bases de Hamel perdem consideravelmente sua utilidade, e, caso o espaço seja dotado de um produto interno cuja norma é completa (ou seja, caso ele for um espaço de Hilbert), as bases de Hilbert definem uma maneira mais eficiente de se decompor vetores.
Sendo uma extensão para espaços de Hilbert da definição de base ortonormal, a base Hilbertiana tem seu nome devido a David Hilbert, matemático alemão que introduziu esse tipo de espaço pela primeira vez.

## Definição

Seja $H$ um espaço de Hilbert. Um subconjunto $\mathrm {B} =(x_{i})_{i\in I}$ de $H$ é dito ser uma base Hilbertiana de $H$ se
* $\mathrm {B}$ é um conjunto ortonormal, ie, $\langle x_{i},x_{j}\rangle =\delta _{ij}={\begin{cases}1,&{\text{se }}i=j\\0,&{\text{se }}i\neq j\end{cases}}$, para todos $x_{i},x_{j}\in \mathrm {B}$;
* o conjunto gerador por $\mathrm {B}$ for denso em $H$, ie, ${\overline {\mathrm {span} \,\mathrm {B} }}=H$.
Para uma família $\mathrm {B} =(x_{i})_{i\in I}$ ortonormal (ou seja, satisfazendo a propriedade 1) algumas definições equivalentes à acima são
* Para todo $x\in \mathrm {H}$ vale a identidade de Perseval : $\Vert x\Vert ^{2}=\sum _{i\in I}|\langle x,x_{i}\rangle |^{2}$;
* Para todo $x\in \mathrm {H}$ vale que $x=\sum _{i\in I}\langle x,x_{i}\rangle x_{i}$;
* $(x_{i})_{i\in I}^{\perp }=\{0\}.$

## Uma definição mais geral de somas

Seja $(x_{i})_{i\in I}$ uma família de vetores de um espaço normado $X$. Suponha que o conjunto $\mathrm {B}$ dos elementos de $(x_{i})_{i\in I}$ que são não nulos é finito ou infinito e enumerável.
Se $\mathrm {B}$ é finito e $\mathrm {B}$= $\{b_{1},b_{2},...,b_{n}\}$, definimos
$\sum _{i\in I}x_{i}=b_{1}+...+b_{n}.$
Se $\mathrm {B}$ é enumerável, $(b_{k})_{k\in \mathbb {N} }$ é uma enumeração de $\mathrm {B}$ e a série $\textstyle \sum _{k=1}^{+\infty }\displaystyle b_{k}$ converge comutativamente, definimos
$\sum _{i\in I}x_{i}=\textstyle \sum \limits _{k=1}^{+\infty }\displaystyle b_{k}$.

## Coeficientes de Fourier

Sejam $\mathrm {H}$ um espaço de Hilbert, $(x_{i})_{i\in I}$ uma família ortonormal de $\mathrm {H}$ e $x$ um elemento de $\mathrm {H}$. Os coeficientes de Fourier de $x$ em relação à família $(x_{i})_{i\in I}$ são os números da forma $\langle x,x_{i}\rangle$ onde $i\in I.$
Podemos provar que o conjunto dos coeficientes de Fourier de $x$ em relação a $(x_{i})_{i\in I}$ que são não nulos é finito ou infinito e enumerável, que as somas
$\sum _{i\in I}\langle x,x_{i}\rangle x_{i}$ e $\sum _{i\in I}|\langle x,x_{i}\rangle |^{2}$
estão bem definidas e que vale a desigualdade de Bessel :
$\sum _{i\in I}|\langle x,x_{i}\rangle |^{2}\leq \Vert x\Vert ^{2}$.

## Alguns resultados relevantes

* Todo espaço de Hilbert admite uma Base Hilbertiana.
* Um espaço de Hilbert de dimensão infinita é separável se e só se admite uma base Hilbertiana enumerável.