Mostre que o grupamento de termos de uma série convergente por meio de parênteses contendo um númeco finito de termos não destrói nem a convergência nem o valor do limite. Todaviá, o grupamento de termos em uma série divergente pode resultar em convergência.
Passo 1
O enunciado pede duas coisas claras:
- Mostrar que, se a série
converge (para algum valor ), então qualquer agrupamento dos termos em parênteses que contenha um número finito de termos por parêntese não destrói a convergência nem muda o valor do somatório. - Mostrar que, apesar do item anterior, é possível que uma série divergente seja transformada em uma série convergente através de agrupamento (ou seja, dar um exemplo concreto).
Informações dadas que vamos usar:
- Há uma série original com termos
. - O agrupamento é feito juntando termos consecutivos em blocos finitos. Formalmente podemos tomar índices
e definir, para cada , o bloco
- Deve-se provar que
converge para o mesmo limite quando converge, e depois dar um exemplo onde a série original diverge mas o agrupamento converte em série convergente.
Passo 2
Definições e ideia-chave (passo didático, sem pular etapas):
- Uma série
é definida pelos seus somatórios parciais . Dizemos que a série converge para se
- Quando agrupamos termos em blocos finitos e definimos
como acima, os somatórios parciais da nova série são
- Observação essencial (a base da prova): cada
é exatamente um somatório parcial da série original, porque somar os primeiros blocos é somar os termos até o índice . Ou seja,
- Assim, a sequência
é uma subsequência da sequência dos somatórios parciais originais.
Passo 3
Lema sobre subsequências (explicação e prova curta, porque é a ferramenta principal):
- Lema: se uma sequência real
converge para , então toda subsequência também converge para . - Prova do lema (muito direta): por hipótese, para dado
existe tal que para todo . Como quando , existe com para todo . Para esses temos . Logo . Fim do lema. - Intuição leve: se a sequência toda vai para
, qualquer seleção de termos que vá para frente (subsequência) também vai para .
Passo 4
Aplicando o lema ao agrupamento (prova principal, passo a passo):
- Suponha que
converge e seus somatórios parciais são com . - Como observado, os somatórios parciais da série agrupada são
. Portanto é uma subsequência de . - Pelo lema,
. - Conclusão: a série agrupada
converge e o seu somatório é o mesmo . Ou seja, agrupar termos em blocos finitos não destrói a convergência nem altera o valor do limite.
Passo 5
Observações importantes e intuição prática para a prova:
- É crucial que cada parêntese contenha um número finito de termos e que os blocos sejam feitos com termos consecutivos, porque assim cada soma parcial agrupada corresponde exatamente a alguma soma parcial original. Se se permitissem blocos infinitos ou permutações arbitrárias dos termos, a situação muda (veja nota abaixo).
- Na prática de prova em exame: explique que os somatórios parciais da série agrupada são subsequência dos somatórios parciais originais e aplique o fato de que subsequência de sequência convergente converge para o mesmo limite. Esse é o argumento todo — curto, elegante e à prova de falhas.
Passo 6
Agora o segundo item: uma série divergente pode virar convergente por agrupamento — exemplo concreto e explicação passo a passo:
- Considere a série alternada
- Os somatórios parciais dessa série são
, , , , — os oscilam entre e e portanto não têm limite. Logo a série é divergente. - Agora agrupe termos em pares: cada bloco contém dois termos consecutivos. Defina
para todo
. Mais formalmente, escolher
e então
- A série agrupada é
que claramente converge (para
).
- Assim temos um exemplo explícito onde a série original diverge, mas o agrupamento por blocos finitos transforma-a numa série convergente.
Passo 7
Comentários finais, intuição e dicas para prova:
- Recapitulando: se a série original converge, todo agrupamento em blocos finitos de termos consecutivos dá uma série que converge para o mesmo número, porque os somatórios parciais agrupados são uma subsequência dos somatórios parciais originais. Esse é o ponto fundamental a lembrar para a prova.
- Também é importante ter na manga o exemplo simples
para mostrar que, quando a série original diverge, o agrupamento pode mudar o comportamento (ainda que isso não contradiga o teorema acima, pois a hipótese de convergência da série original não vale nesse caso). - Observação avançada (só para contexto): se em vez de agrupar você permutar arbitrariamente os termos (rearranjar uma série condicionalmente convergente), pode acontecer de obter qualquer limite ou até divergência (teorema de Riemann). Aqui tratamos só de agrupamentos finitos de termos consecutivos, caso mais simples e seguro.
Resposta
Se
e os termos são agrupados em blocos finitos consecutivos com
, então
.\n\nExemplo que mostra o segundo ponto: a série
é divergente, mas agrupando em pares
obtém-se
, que converge.