Material de estudo:
Prosseguimos o estudo da convergência de sucessões em \(\mathbb{R}.\;\) Na aula anterior vimos que, se constatarmos que uma dada sucessão é simultaneamente limitada e monótona, podemos deduzir imediatamente que ela é convergente (existe \(\;\lim u_n.\)) No entanto, se a sucessão em estudo fôr limitada mas não monótona (ou se não há certezas quanto à monotonia da sucessão) ela poderá ser convergente ou divergente. Nesse caso, uma ferramenta muito útil é o resultado que apresentamos nesta secção o qual usa o seguinte conceito:
Definição: Seja \(\;u_n\;\) uma sucessão. Designa-se por subsucessão de \(\;u_n,\;\) qualquer sucessão \(\;v_k\;\) que possa ser escrita como \[v_k=u_{n_k}\,,\quad \forall k\in\mathbb{N},\] onde \(n_k\) é uma sucessão de números naturais estritamente crescente.
Para entendermos o significado deste conceito, tomemos como exemplo a sucessão \(\;u_n=\dfrac{1}{n}:\;\) \[\frac{1}{1},\quad \frac{1}{2},\quad \frac{1}{3},\quad \frac{1}{4},\quad\frac{1}{5},\quad\frac{1}{6},\quad\frac{1}{7},\quad\frac{1}{8},\quad\dots\] Para \(n_k\) tomemos, por exemplo, a sucessão dos números naturais pares ordenados por ordem crescente e sem repetições, isto é, \(n_k=2k,\;k\in\mathbb{N}.\;\) Obtemos a subsucessão dos termos de ordem par de \(\;u_n:\;\) \(\;v_k=u_{2k}=\dfrac{1}{2k}:\) \[\frac{1}{2},\quad \frac{1}{4},\quad \frac{1}{6},\quad \frac{1}{8},\quad\frac{1}{10},\quad\frac{1}{12},\quad\frac{1}{14},\quad\frac{1}{16},\quad\dots\] Reparem que o que fizemos foi construir uma nova sucessão à custa de \(\;u_n\;\) selecionando uns termos, os que correspondem às ordens \(\;n=n_k,\;\) e desprezando os outros. O facto da sucessão das ordens selecionadas ser estritamente crescente e sem repetições significa que a ordenação dos termos na subsucessão respeita a ordenação com que esses mesmos termos apareciam na sucessão original \(\;u_n:\;\) por exemplo, \(\;\dfrac{1}{2}\;\) "aparece antes" de \(\;\dfrac{1}{4}\;\) em \(\;u_n\;\) e, por isso, o mesmo vai acontecer em \(\;v_k.\;\)
Outros exemplos para a mesma sucessão \(\;u_n\;\) do exemplo anterior:
\(k\)-ésimo número primo, a subsucessão \(\;v_k=u_{n_k}\;\) é a sucessão seguinte: \[\frac{1}{2},\quad \frac{1}{3},\quad \frac{1}{5},\quad \frac{1}{7},\quad\frac{1}{11},\quad\frac{1}{13},\quad\frac{1}{17},\quad\frac{1}{19},\quad\dots\]
Para que não fiquem dúvidas sobre o conceito de subsucessão, diga porque que as duas sucessões abaixo não são subssucessões da sucessão \(u_n\) anterior:
O critério de convergência de sucessões mais importante baseado nos estudo de subsucessões é o seguinte:
Teorema: Uma sucessão \(\;u_n\;\) é convergente sse todas as suas subsucessões são convergentes e têm o mesmo limite.
Nesse caso, \(\;\lim u_n\;\) é o limite comum de todas as subsucessões de \(\;u_n\;\).
Omitimos aqui a demonstração formal deste teorema mas, se pensarmos na definição de limite, este resultado é uma sua consequência natural: \(\;u_n\to a\;\) sse, dado \(\varepsilon\gt 0\), para todas as ordens suficientemente grandes \(\;|u_n-a|\lt \varepsilon\;\) incluindo todas as ordens selecionadas para formar qualquer subsucessão de \(\;u_n.\) Pode ver a demosntração nos textos de referência indicados no início.
Definição: Seja \(\;u_n\;\) uma sucessão. Designa-se por sublimite de \(\;u_n,\;\) o limite de qualquer subsucessão de \(\;u_n.\)
O teorema anterior tem então a seguinte consequência útil:
\(\;u_n\;\) tem, pelo menos, dois sublimites diferentes \(\;\Rightarrow\;\) \(\;u_n\;\) é divergente.
Este resultado, permite-nos justificar de forma simples a divergência nos exemplos seguintes:
Uma sucessão \(\;u_n\;\) é convergente sse as duas subsucessões \(\;u_{2k}\;\) e \(\;u_{2k-1}\;\) são convergentes e têm o mesmo limite.Exemplos:
Punhamos a hipótese de existir o limite \(\;a=\lim u_n.\;\) Então, procedendo como no passo 3 do exemplo anterior teríamos \[\lim u_{n+1}=-\lim u_n\quad\Leftrightarrow\quad a=-a\quad\Leftrightarrow\quad 2a=0\quad\Leftrightarrow\quad a=0.\] Será que provámos que \(\;\lim u_n=0?\;\) A resposta é: obviamente não! Na realidade, reparem que a sucessão dada não é senão a sucessão \(\;u_n=(-1)^n,\;\) a qual já sabemos ser divergente, ou seja, não existe limite de \(\;u_n\;\).
O procedimento exemplificado atrás permite-nos abordar o problema do estudo da convergência de certas sucessões dadas por recorrência, isto é, na forma, \[\begin{cases} u_1=b\, &\\ u_{n+1}=f(u_n)\,, & n\in\mathbb{N}\,. \end{cases}\] em que \(b\) é um real e \(f\) é uma função, ambos dados. No entanto, o problema pode ser mais intrincado do que o exemplo atrás. Consideremos um exemplo particularmente interessante por ser uma forma de aproximar \(\sqrt{2}\) por uma sucessão de racionais \(u_n.\) Trata-se da sucessão \(\;u_n\;\) definida por recorrência por \[\begin{cases} u_1=1\, &\\ u_{n+1}=\frac{u_n}{2}+\frac{1}{u_n}\,, & n\in\mathbb{N}\,. \end{cases}\] Não consituindo nenhuma prova, podemos contudo averiguar primeiro, se \(\;u_n\;\) tiver limite \(L\) qual é que ele terá que ser: \[L=\frac{L}{2}+\frac{1}{L}\quad\Leftrightarrow\quad L^2=2\quad \Leftrightarrow\quad L=\pm\sqrt{2}.\] É muito fácil ver, por indução, que \(u_n\gt 0,\) para qualquer \(n\in\mathbb{N}.\) Logo, a existir limite de \(u_n\), ele terá que ser \(\sqrt{2}.\) Podemos ver agora, que de facto, para todo \(n\in\mathbb{N}\) se tem \(u_n\geqslant \sqrt{2}:\) \[u_{n+1}-\sqrt{2}=\frac{u_n}{2}+\frac{1}{u_n}-\sqrt{2}=\frac{u_n^2+2-2\sqrt{2}u_n}{2u_n}=\frac{(u_n-\sqrt{2})^2}{2u_n}\geqslant 0.\] Daqui resulta a monotonia: \[u_{n+1}-u_n=\frac{u_n}{2}+\frac{1}{u_n}-u_n=\frac{u_n^2+2-2u_n^2}{2u_n}=\frac{2-u_n^2}{2u_n}\leqslant 0.\] Logo, \(u_n\) é decrescente e, logo, majorada. Como já tínhamos visto que é minorada, concluímos que \(u_n\) é monótona e limitada, e portanto é convergente. Logo, \(\lim u_n=\sqrt{2}.\)
Estendemos agora o conceito de convergência de sucessões no seguinte sentido:
O conceito para as sucessões que temos considerado convergentes, isto é com limite real, permanecerá inalterado. No entanto, agora, algumas das sucessões que classificávamos de divergentes, passarão a ter limite. É claro que este limite não pode ser um número real, porque, como afirmámos, o conceito de limite real permanecerá inalterado, e portanto, as sucessões que não tinham limite real continuarão a não o ter.
Assim, temos que introduzir dois objectos que não são números e que corresponderão aos novos limites: \(-\infty\) e \(+\infty.\) Estes satisfazem as relações de ordem seguintes com os reais: \[\forall x\in\mathbb{R},\quad x\gt -\infty\quad \text{ e }\quad x\lt +\infty.\] O conjunto \[\overline{\mathbb{R}}=\mathbb{R}\cup\{-\infty,+\infty\}\] designa-se por recta acabada.
Em \(\overline{\mathbb{R}}\) qualquer conjunto é minorado e majorado, uma vez que \(-\infty\) e \(+\infty\) serão respectivamente minorante e majorante de qualquer conjunto. Na realidade, teremos \[\max\overline{\mathbb{R}}=\sup\overline{\mathbb{R}}=\sup\mathbb{R}=+\infty,\qquad \min\overline{\mathbb{R}}=\inf\overline{\mathbb{R}}=\inf\mathbb{R}=-\infty,\] não existindo \(\max\mathbb{R}\) nem \(\min\mathbb{R},\) como é evidente.
Na próxima aula veremos como definimos os limites infinitos de forma a que ose resultados dados anteriormente sobre limites de sucessões se generalizam de forma natural aos limites na recta acabada. Por exemplo, o teorema das sucessões monótonas e limitadas deixará de ter a componente "limitada" e passará a ser simplesmente, "qualquer sucessão monótona tem limite em \(\overline{\mathbb{R}}.\)"