Em matemática, a convergência fraca é um importante conceito da análise funcional aplicado no estudo dos espaços vectoriais topológicos tais como os espaços de Hilbert ou espaços de Banach.
No espaços
ou
convergência fraca e convergência em norma são conceitos equivalentes.
Definição
Um seqüência
em um espaço vetorial topológico
converge fracamente para um ponto
se:
para todo funcional linear limitado ![{\displaystyle l\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db8b3f411aa6977b35e33fffcd39d6713bf4e46b)
Escreve-se:
![{\displaystyle x_{n}\rightharpoonup x\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b513688f5c553c0ab2bd8ef70db6e8d0fa4b7332)
Limitação
Uma seqüência fracamente convergente em um espaço localmente convexo limitada.
Exemplo
Considere o espaço de Hilbert das funções quadrado integráveis no intervalo
e a seqüência
dada por:
![{\displaystyle x_{n}=\sin(nx),n=1,2,\ldots \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3d576e1ad96669a8e94931cc328c9ab6b85976e)
Do lema de Riemann-Lebesgue, temos que:
![{\displaystyle \langle x_{n},u\rangle :=\int _{0}^{2\pi }\sin(nx)udx\to 0,\forall u\in L^{2}[0,2\pi ]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ac6703382f120639ce4a7e0be4e0207186c02a7)
portanto:
em ![{\displaystyle L^{2}[0,2\pi ]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27bf3b8d00f9bfb3dec6973272a8c64c9a51fb5d)
Contraste isto com o fato que:
![{\displaystyle \|x_{n}\|:={\sqrt {\int _{0}^{2\pi }\sin ^{2}(nx)dx}}={\sqrt {\pi }}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cf47953cb0a7228807a74f189f7ad27a25df747)
![Ícone de esboço](//upload.wikimedia.org/wikipedia/commons/thumb/3/35/E-to-the-i-pi.svg/34px-E-to-the-i-pi.svg.png) | Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o. |