Matemática · Glossário

O que é convergência pontual?

Também chamado de: convergência uniforme

Definição 10.1 Matemática universitária — Graduação 2 · Capítulo 10 — Sequências e séries de funções

Sejam fn,f ⁣:XRf_n, f \colon X \to \R (ou C\C, ou um espaço normado) e XX um conjunto qualquer. (fn)(f_n) converge para ff pontualmente quando fn(x)f(x)f_n(x) \to f(x) para todo xx; uniformemente quando

fnf=supxXfn(x)f(x)n0.\norm{f_n - f}_\infty = \sup_{x \in X}\, \abs{f_n(x) - f(x)} \xrightarrow[n \to \infty]{} 0 .

Uniforme implica pontual; em C([a,b])C(\intcc{a}{b}), a convergência uniforme é exatamente a convergência no espaço de Banach (C([a,b]),)\bigl(C(\intcc{a}{b}), \norm\cdot_\infty\bigr) de Capítulo 5.

A sequência xn em [0, 1]: os gráficos afundam rumo a 0 mas todos têm de subir até 1 em x = 1 — a distância do sup ao limite pontual descontínuo nunca fica abaixo de uma constante.
A sequência xnx^n em [0,1]\intcc{0}{1}: os gráficos afundam rumo a 00 mas todos têm de subir até 11 em x=1x = 1 — a distância do sup ao limite pontual descontínuo nunca fica abaixo de uma constante.

Exemplos

Exemplo 10.2

Em [0,1]\intcc{0}{1}, fn(x)=xnf_n(x) = x^n converge pontualmente para o limite descontínuo f=1{1}f = \mathbf{1}_{\{1\}}; a convergência não é uniforme: fnffn(11n)=(11n)ne10\norm{f_n - f}_\infty \geq f_n\bigl(1 - \tfrac1n\bigr) = (1 - \tfrac1n)^n \to \eu^{-1} \neq 0. Em [0,a]\intcc{0}{a} com a<1a < 1 ela é uniforme (sup=an0\sup = a^n \to 0): a uniformidade é uma propriedade do domínio tanto quanto da sequência.

Exemplo 10.3 (Dois limites que se recusam a comutar)

O capítulo inteiro trata de trocar limites, então eis o menor fracasso possível. Seja an,m=nn+ma_{n,m} = \dfrac{n}{n+m} para n,m1n, m \geq 1. Então

limm(limnan,m)=limm1=1,limn(limman,m)=limn0=0:\lim_{m\to\infty}\Bigl(\lim_{n\to\infty}a_{n,m}\Bigr) = \lim_{m\to\infty} 1 = 1, \qquad \lim_{n\to\infty}\Bigl(\lim_{m\to\infty}a_{n,m}\Bigr) = \lim_{n\to\infty} 0 = 0 :

os dois limites iterados existem e diferem. Todo teorema de transferência deste capítulo é uma licença para comutar dois limites — limn\lim_n com limxa\lim_{x\to a} (continuidade), com \int (integração), com  ⁣d ⁣dx\frac{\dd}{\dd x} (derivação) — e a convergência uniforme é precisamente a taxa que torna a comutação legal. Lição final: sempre que uma “demonstração” troca silenciosamente duas operações de limite, este quadro de duas linhas é o contraexemplo a levantar contra ela; as corcovas deslizantes do Exercício 10.2 são o mesmo fenômeno vestido de sinal de integral.

Exemplo 10.5 (A uniformidade falha exatamente onde o limite quebra)

Em [0,2]\intcc{0}{2}, seja fn(x)=xn1+xnf_n(x) = \dfrac{x^n}{1 + x^n}. O limite pontual é uma função de três peças:

f(x)={00x<1,12x=1,11<x2,f(x) = \begin{cases} 0 & 0 \leq x < 1,\\[2pt] \tfrac12 & x = 1,\\[2pt] 1 & 1 < x \leq 2, \end{cases}

descontínua em 11, de modo que, pelo Teorema 10.4, a convergência não pode ser uniforme em [0,2]\intcc{0}{2}. Nas peças fechadas que evitam o limiar ela é: para 0xa<10 \leq x \leq a < 1,

sup[0,a]fn0=an1+anan0,\sup_{\intcc{0}{a}}\abs{f_n - 0} = \frac{a^n}{1 + a^n} \leq a^n \to 0 ,

e para 1<bx21 < b \leq x \leq 2,

sup[b,2]fn1=11+bnbn0,\sup_{\intcc{b}{2}}\abs{f_n - 1} = \frac{1}{1 + b^n} \leq b^{-n} \to 0 ,

os dois supremos calculados pela monotonicidade de uu1+uu \mapsto \frac{u}{1+u} e de xxnx \mapsto x^n. Lição final: o fracasso da uniformidade está localizado na descontinuidade do limite — a mesma geometria do Exemplo 10.2, e a razão pela qual a disciplina do “uniforme em todo segmento interior” volta o capítulo inteiro.

Ler no capítulo →