Differences

This shows you the differences between two versions of the page.

--- littlewoodprinciples [2023/04/20 14:42] – created tahzibi
+++ littlewoodprinciples [2023/04/20 15:14] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
 <WRAP  round info 60%>
 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.$
+</WRAP>
+Uma versão mais geral de Egorov:
+<WRAP  round info 60%>
+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.$
 </WRAP>
@@ Line 7: / Line 14: @@
 <WRAP  round info 60%>
-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.$
+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.$
 </WRAP>
+Uma versão mais geral do Teorema de Lusin:
+<WRAP  round info 60%>
+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.
+</WRAP>
+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.