Verifique que cada uma das sequências \left\{a_{n}\right\} a seguir é de Cauchy. \frac{1}{n^{2}} , para cada inteiro positivo n.
Passo 1
O enunciado dá a sequência \{a_n\} definida por
a_n=\frac{1}{n^{2}},\qquad n\in\mathbb{Z}_{+},
e pede para verificar que essa sequência é de Cauchy.
O que devemos provar (clarinho): para todo \varepsilon>0 existe um inteiro N tal que, sempre que m,n\ge N, vale
\lvert a_n-a_m\rvert<\varepsilon.
Passo 2
Relembrando a definição de sequência de Cauchy (explicação passo a passo e com intuição).
Definição: Dizemos que \{a_n\} é de Cauchy se, para todo \varepsilon>0, existe N tal que, para quaisquer m,n\ge N,
\lvert a_n-a_m\rvert<\varepsilon.
Intuição: em termos simples, os termos da sequência ficam arbitrariamente próximos entre si quando ambos os índices são suficientemente grandes — ou seja, a sequência “se junta” no infinito.
Estratégia prática para provar que uma sequência é de Cauchy: dado um \varepsilon>0, encontrar uma estimativa de \lvert a_n-a_m\rvert em termos de n e m que permita escolher N dependente de \varepsilon.
Passo 3
Vamos calcular e estimar a diferença \lvert a_n-a_m\rvert. Usando a forma explícita,
Agora usamos uma observação elementar: se m,n\ge N então \dfrac{1}{n^{2}}\le\dfrac{1}{N^{2}} e \dfrac{1}{m^{2}}\le\dfrac{1}{N^{2}}. Assim, para m,n\ge N,
onde \lceil\cdot\rceil é a função teto (o menor inteiro \ge o valor). Esse N é um inteiro e satisfaz \dfrac{2}{N^{2}}<\varepsilon.
Passo 6
Concluímos a prova direta: dado qualquer \varepsilon>0, escolhemos N=\left\lceil\sqrt{\tfrac{2}{\varepsilon}}\right\rceil. Então, para quaisquer m,n\ge N,
Isso é exatamente a condição da definição de sequência de Cauchy. Portanto \{a_n\} é de Cauchy.
Passo 7
Comentário didático rápido (opcional, para fixar a ideia): outra forma comum é notar que \lim_{n\to\infty}a_n=0 (pois 1/n^{2}\to 0), e como todo espaço \mathbb{R} é completo, toda sequência convergente em \mathbb{R} é de Cauchy. A prova acima, porém, é direta e não usa completude — é o jeito “na caneta” que funciona numa prova sem dar atalhos.
Resposta
A sequência \{a_n\} definida por \;a_n=\dfrac{1}{n^{2}}\; é de Cauchy.