Explique os critérios fundamentais utilizados para determinar a convergência de uma sequência numérica \left\{a_{n}\right\}. Em sua resposta, aborde a definição formal via limite e as condições estabelecidas pelo Teorema da Convergência Monótona.

Passo 1

O enunciado pede duas coisas claras:
  • Explicar a definição formal de convergência de uma sequência numérica \{a_{n}\} via limite.
  • Explicar as condições e o enunciado do Teorema da Convergência Monótona (quando uma sequência monótona converge) e como usá‑lo.
Informações dadas (diretamente do enunciado):
  • A sequência é denotada por \{a_{n}\}.
  • Precisa-se de critérios fundamentais para decidir se \{a_{n}\} converge ou não.

Passo 2

Definição formal (epsilon– N): o que significa “converge”.
  • Vamos escrever a definição com precisão e depois explicar de maneira intuitiva.
  • Definição: dizemos que a sequência \{a_{n}\} converge para um número real L se, e somente se,
\forall \varepsilon>0\\ \exists N\in\mathbb{N}\\ \text{tal que}\\ \forall n\ge N,\\ |a_{n}-L|<\varepsilon.
  • Interpretação passo a passo:
    1. \varepsilon>0 é quão “perto” queremos chegar de L. Pode ser muito pequeno (por exemplo \varepsilon=0,001).
    2. A definição exige que exista um índice natural N tal que a partir de N todos os termos da sequência fiquem dentro da distância \varepsilon de L.
    3. Se para qualquer escolha de \varepsilon pudermos encontrar tal N, então \lim_{n\to\infty}a_{n}=L.
  • Dica prática para a prova: ao mostrar convergência, escolha um N em função de \varepsilon (por exemplo invertendo uma desigualdade) e explique por que para n\ge N vale |a_n-L|<\varepsilon.

Passo 3

Consequências imediatas da definição (ferramentas úteis).
  • Unicidade do limite: se \{a_{n}\} converge, o limite é único. Prova rápida: se \lim a_n=L_1 e \lim a_n=L_2, escolha \varepsilon=\tfrac{|L_1-L_2|}{3} e mostre contradição.
  • Necessária condição: se \{a_n\} converge então é limitada: existe M com |a_n|\le M para todo n. (Porque escolha \varepsilon=1 na definição e pegue N correspondente; finitos termos iniciais + termos após N garantem limite superior.)
  • Operações com limites (regras algébricas): se \lim a_n = A e \lim b_n = B, então \lim (a_n+b_n)=A+B,\qquad \lim (c\,a_n)=cA\\ (\text{para }c\in\mathbb{R}),e, se B\ne0, \lim \frac{a_n}{b_n}=\frac{A}{B}.Essas regras são provadas usando a definição epsilon– N e são ferramentas práticas para combinar limites.

Passo 4

Teorema do Confronto (Squeeze theorem) — critério útil.
  • Enunciado: se existem sequências \{l_n\} e \{u_n\} com \lim l_n = \lim u_n = L e, para todo n, l_n \le a_n \le u_n, então \lim a_n = L.
  • Uso prático: quando \{a_n\} é difícil, tente encontrar duas sequências mais simples que a “apertem” por cima e por baixo e que tenham o mesmo limite.

Passo 5

Critério de Cauchy (quando usar e por quê).
  • Definição: \{a_n\} é uma sequência de Cauchy se
\forall \varepsilon>0\\ \exists N\in\mathbb{N}\\ \text{tal que}\\ \forall m,n\ge N,\\ |a_n-a_m|<\varepsilon.
  • Relação com convergência nos reais: no conjunto dos números reais \mathbb{R} (completude), uma sequência converge se, e somente se, é de Cauchy. Ou seja, Cauchy ⇔ convergente em \mathbb{R}.
  • Quando é útil: para sequências definidas por recorrência ou quando o limite explícito é difícil de encontrar, muitas vezes é mais fácil mostrar que as diferenças entre termos distantes ficam pequenas (Cauchy) do que exhibir L.

Passo 6

Enunciado preciso do Teorema da Convergência Monótona (TCM) e a intuição.
  • Enunciado: Se \{a_n\} é monótona e limitada, então ela converge.
    • Mais precisamente:
      • Se \{a_n\} é monótona crescente (isto é, a_{n+1}\ge a_n para todo n) e está limitada superiormente (existe M com a_n\le M para todo n), então \{a_n\} converge e
      \lim_{n\to\infty} a_n = \sup\{a_n : n\in\mathbb{N}\}.
      • Se \{a_n\} é monótona decrescente e limitada inferiormente, então converge e o limite é o ínfimo da imagem.
  • Intuição/porquê funciona: uma sequência crescente que não ultrapassa um teto tem valores que se aproximam da maior cota que não pode ser ultrapassada; a completude de \mathbb{R} garante que o supremo existe e que os termos se aproximam dele.

Passo 7

Esboço de prova do TCM (passos essenciais) — para entender e justificar na prova.
  • Suponha \{a_n\} crescente e limitada superiormente. Defina L=\sup\{a_n:n\in\mathbb{N}\}.
  • Mostrar que \lim a_n=L:
    1. Dado \varepsilon>0, por definição de supremo existe algum termo a_N tal que L-\varepsilon < a_N \le L.
    2. Como a sequência é crescente, para todo n\ge N vale a_n \ge a_N, então L-\varepsilon < a_n \le L.
    3. Logo |a_n-L|<\varepsilon para todo n\ge N. Isso satisfaz a definição epsilon– N.
  • Análogo para sequência decrescente usando ínfimo.

Passo 8

Como aplicar o TCM na prática — checklist que você pode usar na prova:
  1. Verifique monotonicidade:
    • Calcule a_{n+1}-a_n e veja o sinal, ou manipule a desigualdade a_{n+1}\ge a_n.
    • Se for complicado, tente analisar a função índice contínua equivalente (quando aplicável) ou compare termos por manipulação algébrica.
  2. Verifique existência de limite superior (se crescente) ou inferior (se decrescente):
    • Encontre uma cota explícita M tal que a_n\le M (ou m com a_n\ge m).
  3. Conclua que converge e, se necessário, identifique o limite como \sup (ou \inf).
  4. Quando precisar do valor numérico do limite, use propriedades da sequência (às vezes o supremo pode ser reconhecido por argumentos elementares).
  • Observação: muitas sequências recorrentes (por exemplo, a_{n+1}=f(a_n) com f adequada) podem ser tratadas mostrando que são monotônicas e limitadas; então TCM dá convergência e frequentemente o limite L satisfaz L=f(L), o que ajuda a achar L.

Passo 9

Exemplos resolvidos passo a passo (bem mastigados)
  • Exemplo 1: \displaystyle a_n=1-\left(\tfrac{1}{2}\right)^n.
    1. Monotonicidade: note que \left(\tfrac{1}{2}\right)^n é positiva e decrescente, então 1-\left(\tfrac{1}{2}\right)^n é crescente (cada termo é maior que o anterior).
    2. Bounded acima: para todo n, a_n<1. Bounded below: a_n>0. Em particular, tem cota superior M=1.
    3. Pelo TCM, \{a_n\} converge e o limite é \sup\{a_n\}. Como \left(\tfrac{1}{2}\right)^n\to0, intuitivamente o supremo é 1.
    4. Formalmente, dado \varepsilon>0, escolha N tal que \left(\tfrac{1}{2}\right)^N<\varepsilon (por exemplo N>\log_{1/2}\varepsilon); então para n\ge N temos |a_n-1|=\left(\tfrac{1}{2}\right)^n<\varepsilon. Logo \lim a_n=1.
  • Exemplo 2: \displaystyle a_n=\frac{1}{n}.
    1. Monotonicidade: a_{n+1}=\tfrac{1}{n+1}<\tfrac{1}{n}=a_n, logo decrescente.
    2. Limitada inferiormente por 0. Pelo TCM (decrescente + limitada), converge e o limite é \inf\{a_n\}=0.
    3. Pode-se também usar definição epsilon– N: dado \varepsilon>0, tome N>\tfrac{1}{\varepsilon}. Então para n\ge N, |a_n-0|=\tfrac{1}{n}\le\tfrac{1}{N}<\varepsilon.

Passo 10

Outros critérios e dicas rápidas (resumo prático para prova)
  • Squeeze: bom quando a_n é complicada mas consegue-se cotas simples.
  • Mostrar sequência é de Cauchy: útil em contextos recursivos.
  • Mostrar sequência é limitada e tem subsequência convergente (Bolzano–Weierstrass): útil para extrair convergência de subconjuntos; cuidado: uma sequência limitada nem sempre converge, mas sempre tem subsequência convergente.
  • Erros comuns a evitar:
    • Mostrar apenas que \lim a_n existe sem justificar monotonicidade ou limite superior; sempre apresente N para a definição se fizer demonstração direta.
    • Confundir “limitada” com “convergente” (limitada não implica convergente).
  • Estratégia geral na prova: tente primeiro reconhecer se TCM se aplica (é simples e poderoso). Se não, tente Squeeze, regras algébricas de limites, ou mostrar que é Cauchy.

Resposta

Definição formal: \{a_{n}\} converge para L se, e somente se,
\forall \varepsilon>0\\ \exists N\in\mathbb{N}\\ \text{tal que}\\ \forall n\ge N,\\ |a_{n}-L|<\varepsilon.
Teorema da Convergência Monótona: se \{a_n\} é monótona crescente e limitada superiormente então converge e
\lim_{n\to\infty}a_n=\sup\{a_n:n\in\mathbb{N}\},
e se \{a_n\} é monótona decrescente e limitada inferiormente então converge e
\lim_{n\to\infty}a_n=\inf\{a_n:n\in\mathbb{N}\}.

Exercícios relacionados