Teste M de Weierstrass

Em matemática, no estudo das séries de funções, o teste M de Weierstrass é uma extensão do teste da comparação que aplica à estabelecer a convergência uniforme destas séries, ao compará-las com séries numéricas.

O teste M de Weierstrass se aplica originalmente às séries de funções reais ou complexas, mas pode se aplicar a qualquer a séries de funções cuja imagem são pontos de um espaço de Banach.

Notação e enunciado

Sejam { f n } {\displaystyle \{f_{n}\}} uma seqüência de funções reais ou complexas definidas em um conjunto A {\displaystyle A} , M n {\displaystyle M_{n}} uma seqüência de reais não-negativos, tais que:

  • | f n ( x ) | M n {\displaystyle |f_{n}(x)|\leq M_{n}} para todo n > 1 {\displaystyle n>1\,} e todo x A {\displaystyle x\in A\,} .
  • n = 1 M n < {\displaystyle \sum _{n=1}^{\infty }M_{n}<\infty }

Então:

n = 1 f n ( x ) {\displaystyle \sum _{n=1}^{\infty }f_{n}(x)} converge uniformemente em A {\displaystyle A\,}

Demonstração

O teste da comparação garante que a série numérica:

n = 1 f n ( x ) {\displaystyle \sum _{n=1}^{\infty }f_{n}(x)} converge para cada x A {\displaystyle x\in A\,}

Seja f {\displaystyle f\,} o limite pontual de f n {\displaystyle f_{n}\,} Para mostrar que a convergência é uniforme, fixe um ϵ > 0 {\displaystyle \epsilon >0\,} . Da convegência da série formada pelos M n {\displaystyle M_{n}\,} , temos que existe um N {\displaystyle N\,} tal que:

n = N M n < ϵ {\displaystyle \sum _{n=N}^{\infty }M_{n}<\epsilon }

Então estimamos pelo teste da comparação, mais uma vez.

n = N f n ( x ) n = N | f n ( x ) | n = N M n < ϵ {\displaystyle \sum _{n=N}^{\infty }f_{n}(x)\leq \sum _{n=N}^{\infty }|f_{n}(x)|\leq \sum _{n=N}^{\infty }M_{n}<\epsilon }

E o resultado segue, pois N {\displaystyle N\,} não foi escolhido com base em x {\displaystyle x\,} .

Generalização

A versão mais geral envolvendo funções cuja imagem está num espaço de Banach é análoga substituindo módulos por normas.

  • | | f n | | M n {\displaystyle ||f_{n}||\leq M_{n}} .

Ver também