This is an old revision of the document!
ParseError: syntax error, unexpected 'fn' (T_STRING), expecting :: (T_PAAMAYIM_NEKUDOTAYIM)
More info is available in the error log.
Teorema de Egorov em dimensão um: sejam $f_n$ uma sequência de funções mensuráveis com domínio $E, m(E) < \infty$ e que convergem q.t.p a uma função real $f$. Dado $\delta > 0$ qualquer existe $A \subset E$ com $m(A) < \delta$ e $f_n$ converge uniformemente a $f$ em $E \setminus A.$
Usando Teorema de Egorov é possível provar seguinte versão do teorema de Lusin:
Seja $f$ uma função real mensurável definida em $[a, b].$ Dado $\delta > 0$ existe uma função contíonua $g$ e definida em $[a, b]$ tal que $m(\{x \in [a, b] : f(x) \neq g(x)\}) \leq \delta.$
Uma versão mais geral do Teorema de Lusin:
Seja $f$ uma função mensurável de um espaço métrico completo separável com uma medida finita $(X, \mathcal{B}, \mu)$ a um outro espaço métrico separável. Então dado $\delta > 0$ existe um conjunto compacto $A$ tal que $\mu(A) \leq \delta$ e a restrição de $f$ em $A^c$ é contínua.