User Tools

Site Tools


littlewoodprinciples

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.$

Uma versão mais geral de Egorov:

Seja $f_n$ uma sequência de funções mensuráveis de um espaço com medida finita a um espaço métrico. Então dado $\epsilon >0$ exsite $A, m(A) \leq \epsilon$ tal que $f_n$ converge uniformemente fora do conjunto $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ínua $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.

Na versão geral do teorema de Lusin, se o contra-domínio for $\mathbb{R}^n$ ou um espaço que a extensão de Tietze vale, podemos formular o teorema assim: Fora de um conjunto de medida menor do que $\delta$ a função $f$ coincide com uma função contínua.

littlewoodprinciples.txt · Last modified: 2023/04/20 15:14 by 127.0.0.1