Questionário de Prática de Noções Básicas de Integração de Lebesgue com Aula Interativa Passo a Passo
Use a série de perguntas mais abaixo na página para praticar noções básicas de integração de Lebesgue: conjuntos mensuráveis, funções indicadoras \(1_A\), conjuntos nulos e raciocínio com propriedades que valem quase em toda parte, funções simples \(\sum a_i1_{A_i}\), integrais não negativas, monotonicidade, integrabilidade em \(L^1\) por meio de \(\int |f|<\infty\), o teorema da convergência monótona, o lema de Fatou, convergência dominada e erros comuns envolvendo medida infinita ou mudanças em conjuntos nulos. Se precisar revisar, abra a aula para exemplos claros e verificações rápidas.
Responda à série de perguntas e revise seus erros no final.
Como esta prática de noções básicas de integração de Lebesgue funciona
1. Faça a série de prática: responda a perguntas sobre indicadoras, conjuntos nulos, funções simples, integrabilidade e teoremas de convergência.
2. Abra a aula: revise as definições, as hipóteses dos teoremas e exemplos curtos antes de tentar novamente.
3. Tente novamente: volte à série de perguntas e traduza cada problema para um cálculo de medida, uma afirmação que vale quase em toda parte ou uma lista de verificação de teorema de convergência.
O que você vai aprender na aula de noções básicas de integração de Lebesgue
Indicadoras e conjuntos nulos
Regra da indicadora: \(\int 1_A\,d\mu=\mu(A)\).
Conjuntos nulos: mudar valores em um conjunto de medida zero não altera a integral.
Quase em toda parte: uma propriedade pode falhar em um conjunto nulo e ainda assim valer q.t.p.
Funções simples e \(L^1\)
Funções simples: somas finitas \(\sum a_i1_{A_i}\) sobre conjuntos mensuráveis.
Integral não negativa: aproxime por baixo usando funções simples.
Integrável: \(f\in L^1\) significa \(\int |f|\,d\mu<\infty\).
Teoremas de convergência
Convergência monótona: \(0\le f_n\uparrow f\) dá \(\int f_n\to\int f\).
Fatou: \(\int\liminf f_n\le\liminf\int f_n\) para \(f_n\) não negativas.
Convergência dominada: um único \(g\in L^1\) com \(|f_n|\le g\) permite passar limites através das integrais.
Armadilhas comuns
Medida infinita: \(1_{\mathbb{R}}\) tem integral infinita em \(\mathbb{R}\).
Convergência pontual sozinha: não basta para convergência dominada.
Funções com sinal: \(\int f\) é finita quando \(\int |f|\) é finita.
Objetivo: Construir uma primeira caixa de ferramentas confiável para integração de Lebesgue: calcular integrais de indicadoras e funções simples, usar corretamente conjuntos nulos e igualdade quase em toda parte, distinguir integrais não negativas de integrais finitas em \(L^1\), aplicar monotonicidade e integrabilidade absoluta, e escolher entre convergência monótona, lema de Fatou e convergência dominada verificando primeiro as hipóteses.
Critérios de sucesso
Calcular \(\int 1_A\,d\mu=\mu(A)\) e \(\int c\,1_A\,d\mu=c\mu(A)\).
Usar aditividade enumerável para conjuntos mensuráveis disjuntos e reconhecer conjuntos nulos enumeráveis.
Explicar que uma propriedade vale quase em toda parte quando falha apenas em um conjunto nulo.
Integrar uma função simples não negativa \(\sum a_i1_{A_i}\) como \(\sum a_i\mu(A_i)\) sobre partes mensuráveis disjuntas.
Saber que a integral não negativa pode ser \(+\infty\).
Usar \(f\in L^1\) para significar \(\int |f|\,d\mu<\infty\).
Usar convergência monótona para \(0\le f_n\uparrow f\).
Usar o lema de Fatou e a convergência dominada com a desigualdade e as hipóteses corretas.
Vocabulário-chave
Indicadora: \(1_A(x)=1\) em \(A\) e \(0\) fora de \(A\).
Conjunto nulo: um conjunto mensurável \(N\) com \(\mu(N)=0\).
Quase em toda parte: verdadeiro fora de um conjunto nulo.
Função simples: uma função mensurável com imagem finita, geralmente escrita como \(\sum a_i1_{A_i}\).
Integral não negativa: o supremo das integrais de funções simples abaixo de \(f\).
\(L^1\): o espaço das funções integráveis com \(\int |f|<\infty\).
Pré-verificação rápida
Pré-verificação: Quanto é \(\int 1_A\,d\mu\)?
Dica: A indicadora conta medida, não pontos de fronteira nem um valor máximo.
Indicadoras transformam medida de conjuntos em integração
Objetivo de aprendizagem: Tratar \(1_A\) como a ponte básica entre medida e integral, e usar conjuntos nulos sem complicar exceções pontuais.
Ideia-chave
Para qualquer conjunto mensurável \(A\), a integral de Lebesgue de sua indicadora é sua medida: \[\int 1_A\,d\mu=\mu(A).\] Se \(c\ge0\), então \(\int c\,1_A\,d\mu=c\mu(A)\). Quando \(A\) e \(B\) são disjuntos, \(1_A+1_B=1_{A\cup B}\), então a integração reflete a aditividade enumerável.
Exemplos
Em \(\mathbb{R}\) com medida de comprimento, \(\int 1_{[1,3]}\,dx=2\).
Um conjunto unitário tem medida \(0\), então \(\int 1_{\{0\}}\,dx=0\).
Os racionais em \([0,1]\) são enumeráveis, portanto nulos.
\(\int 1_{\mathbb{R}}\,dx=+\infty\) na reta real inteira.
Quase em toda parte
Uma afirmação vale quase em toda parte se o conjunto onde ela falha tem medida \(0\). Integrais de funções mensuráveis não negativas e de funções em \(L^1\) não mudam quando a função é alterada em um conjunto nulo.
Exemplo resolvido
Exemplo: Quanto é \(\int_0^1 1_{\mathbb{Q}}(x)\,dx\)?
Dentro de \([0,1]\), os racionais são enumeráveis e têm medida de Lebesgue \(0\). Portanto, \(1_{\mathbb{Q}}\) é igual a \(0\) quase em toda parte em \([0,1]\), e a integral é \(0\).
Pratique
Pratique: Se uma propriedade falha apenas nos racionais em \([0,1]\), ela vale quase em toda parte?
Dica: Um conjunto enumerável tem medida de Lebesgue \(0\).
Funções simples são os blocos de construção da integral
Objetivo de aprendizagem: Calcular integrais de funções simples e ver por que integrais não negativas são construídas por aproximação por baixo.
Ideia-chave
Uma função simples não negativa tem a forma \(s=\sum_{i=1}^m a_i1_{A_i}\), onde \(a_i\ge0\) e os conjuntos mensuráveis \(A_i\) podem ser escolhidos disjuntos. Sua integral é \[\int s\,d\mu=\sum_{i=1}^m a_i\,\mu(A_i).\] Para uma função mensurável não negativa \(f\), defina \(\int f\) como o supremo de \(\int s\) sobre funções simples \(0\le s\le f\).
Passos de construção
Divida o domínio em pedaços de nível mensuráveis.
Use um valor constante em cada pedaço.
Multiplique cada valor pela medida do pedaço onde ele ocorre.
Some as contribuições, permitindo que o resultado seja \(+\infty\) para funções não negativas.
Exemplo resolvido
Exemplo: Seja \(A\cap B=\emptyset\), \(\mu(A)=2\), \(\mu(B)=5\), e \(s=3\,1_A+1_B\). Encontre \(\int s\,d\mu\).
Use a regra das funções simples: \[\int s\,d\mu=3\mu(A)+1\mu(B)=3\cdot2+5=11.\]
Pratique
Pratique: Se \(A\cap B=\emptyset\), \(\mu(A)=3\), \(\mu(B)=1\), e \(s=2\,1_A+5\,1_B\), quanto é \(\int s\,d\mu\)?
Dica: Multiplique cada valor constante pela medida do conjunto onde ele ocorre e depois some.
Integrais finitas em \(L^1\) vêm da integrabilidade absoluta
Objetivo de aprendizagem: Separar integrais estendidas não negativas de integrais finitas com sinal, e usar monotonicidade com segurança.
Ideia-chave
Para uma função real mensurável, escreva \(f=f^+-f^-\), onde \(f^+=\max(f,0)\) e \(f^-=\max(-f,0)\). A integral \(\int f\) é finita quando \(\int |f|\,d\mu<\infty\). Isso é exatamente \(f\in L^1\). A integrabilidade absoluta evita a expressão indefinida \(+\infty-\infty\).
Fatos para lembrar
Se \(f\ge0\), então \(\int f\ge0\), possivelmente \(+\infty\).
Se \(0\le f\le g\) q.t.p., então \(\int f\le\int g\).
Se \(|f|\le g\) e \(g\in L^1\), então \(f\in L^1\).
Se \(f=0\) q.t.p., então \(\int |f|=0\).
Se \(f=g\) q.t.p. e ambas são integráveis, então \(\int f=\int g\).
Exemplo resolvido
Exemplo: Suponha que \(|f|\le 2\,1_{[0,3]}\) em \(\mathbb{R}\). Por que \(f\in L^1\)?
A função dominante tem integral finita: \(\int 2\,1_{[0,3]}\,dx=2\cdot3=6\). Como \(|f|\le 2\,1_{[0,3]}\), a monotonicidade dá \(\int |f|\le6\), então \(f\) é integrável.
Pratique
Pratique: Se \(0\le f\le g\) quase em toda parte, o que segue para as integrais não negativas?
Dica: A integral de Lebesgue preserva ordem para funções mensuráveis não negativas.
Limites crescentes não negativos comutam com a integração
Objetivo de aprendizagem: Reconhecer o teorema da convergência monótona e usá-lo sem exigir uma função dominante separada.
Ideia-chave
Se \(0\le f_1\le f_2\le\cdots\) e \(f_n(x)\uparrow f(x)\) pontualmente, então \[\lim_{n\to\infty}\int f_n\,d\mu=\int f\,d\mu.\] O valor pode ser \(+\infty\). Não negatividade e crescimento monótono são as hipóteses-chave.
Lista de verificação do teorema
Cada \(f_n\) é mensurável e não negativa.
A sequência cresce pontualmente: \(f_n\le f_{n+1}\).
O limite pontual é \(f=\sup_n f_n\).
Nenhuma função dominante integrável é necessária.
A conclusão é a convergência das integrais para a integral do limite.
Exemplo resolvido
Exemplo: Seja \(f_n=1_{[0,1-1/n]}\) em \([0,1]\). Encontre \(\lim_n\int f_n\,dx\).
Os conjuntos \([0,1-1/n]\) crescem para \([0,1)\). Assim, \(f_n\uparrow 1_{[0,1)}\). Pela convergência monótona, \[\lim_n\int f_n\,dx=\int 1_{[0,1)}\,dx=1.\]
Pratique
Pratique: Para \(f_n=1_{[0,1-1/n]}\) em \([0,1]\), para que valor as integrais tendem?
Dica: O conjunto limite tem comprimento \(1\), embora não contenha uma extremidade.
Fatou dá a desigualdade unilateral que sobrevive a hipóteses fracas
Objetivo de aprendizagem: Lembrar a direção do lema de Fatou e quando não se deve esperar igualdade.
Ideia-chave
Para funções mensuráveis não negativas \(f_n\), o lema de Fatou diz \[\int \liminf_{n\to\infty} f_n\,d\mu\le \liminf_{n\to\infty}\int f_n\,d\mu.\] É uma afirmação de semicontinuidade inferior: massa pode desaparecer no limite, mas a integral do limite inferior não pode exceder o limite inferior das integrais.
O que ele diz
Use quando você tem funções não negativas, mas não crescimento monótono.
Ele dá uma desigualdade, não igualdade automática.
Ele muitas vezes prova cotas inferiores para integrais limite.
Um erro comum é inverter a desigualdade.
Exemplo resolvido
Exemplo: Seja \(f_n=n\,1_{(0,1/n)}\) em \([0,1]\). O que Fatou mostra?
Cada \(\int_0^1 f_n\,dx=1\). Para cada \(x\in[0,1]\), \(f_n(x)\to0\), então \(\liminf f_n=0\). Fatou dá \(0=\int0\le\liminf\int f_n=1\). A igualdade não é forçada.
Pratique
Pratique: Qual é a desigualdade do lema de Fatou para \(f_n\) não negativas?
Dica: A integral do liminf fica do lado menor.
Uma cota integrável permite passar limites pela integral
Objetivo de aprendizagem: Aplicar convergência dominada verificando convergência q.t.p. e uma única função dominante integrável.
Ideia-chave
Se \(f_n\to f\) quase em toda parte e existe um único \(g\in L^1\) tal que \(|f_n|\le g\) para todo \(n\), então \(f\in L^1\), \(\int |f_n-f|\,d\mu\to0\), e \(\int f_n\,d\mu\to\int f\,d\mu\). O mesmo \(g\) deve funcionar para a sequência inteira.
Lista de verificação do teorema
Mensurabilidade das funções envolvidas.
Convergência pontual ou quase em toda parte \(f_n\to f\).
Uma única cota \(|f_n|\le g\) para todo \(n\).
A cota é integrável: \(g\in L^1\).
Conclusão: convergência em \(L^1\) e convergência das integrais.
Exemplo resolvido
Exemplo: Em \([0,1]\), use convergência dominada para \(f_n(x)=x^n\).
Temos \(0\le x^n\le1\), e \(1\in L^1([0,1])\). Além disso, \(x^n\to0\) para \(0\le x<1\) e \(x^n\to1\) em \(x=1\), uma exceção em conjunto nulo. A convergência dominada dá \(\int_0^1 x^n\,dx\to0\). De fato, \(\int_0^1x^n\,dx=1/(n+1)\).
Pratique
Pratique: Qual é a hipótese extra essencial na convergência dominada?
Dica: A convergência pontual precisa de uma envoltória integrável que controle a sequência inteira.
A maioria dos erros ignora conjuntos nulos, infinito ou hipóteses dos teoremas
Objetivo de aprendizagem: Terminar com as distinções que mantêm confiável a caixa de ferramentas básica de Lebesgue.
Armadilhas comuns
Mudanças em conjuntos nulos: elas não alteram integrais de funções não negativas ou integráveis.
Pontual versus q.t.p.: exceções em um único ponto geralmente não importam para integração.
Medida infinita: \(1_{\mathbb{R}}\) não pertence a \(L^1(\mathbb{R})\).
Integral não negativa: ela pode ser \(+\infty\).
Integral com sinal: evite \(+\infty-\infty\); use \(\int |f|<\infty\) para \(L^1\).
Convergência monótona: precisa de funções não negativas crescentes.
Convergência dominada: precisa de um único dominador integrável, não apenas convergência pontual.
Fatou: dá uma desigualdade unilateral, não uma igualdade para passar o limite.
Exemplo resolvido
Exemplo: Por que \(1_{\mathbb{Q}\cap[0,1]}\) é integrável com integral \(0\), enquanto \(1_{\mathbb{R}}\) em \(\mathbb{R}\) não está em \(L^1\)?
A primeira função é \(0\) quase em toda parte em um intervalo finito, então sua integral é \(0\). A segunda tem \(\int_{\mathbb{R}}1\,dx=\mu(\mathbb{R})=+\infty\), então sua integral absoluta não é finita e ela não pertence a \(L^1(\mathbb{R})\).
Pratique
Pratique: Se \(f=g\) quase em toda parte e ambas são integráveis, o que segue?
Dica: A diferença \(f-g\) é zero quase em toda parte.
Recapitulação final
\(\int 1_A\,d\mu=\mu(A)\).
Conjuntos enumeráveis têm medida \(0\), e uma união enumerável de conjuntos nulos é nula.
Igualdade quase em toda parte basta para igualdade de integrais no contexto não negativo ou integrável.
Funções simples são integradas somando valor vezes medida sobre partes mensuráveis.
O lema de Fatou dá \(\int\liminf f_n\le\liminf\int f_n\) para \(f_n\) não negativas.
Convergência dominada precisa de \(f_n\to f\) q.t.p. e \(|f_n|\le g\in L^1\).
Próximo passo: Feche esta aula e tente o questionário novamente. Para cada pergunta, pergunte primeiro se ela testa um cálculo com indicadora, uma exceção em conjunto nulo, uma soma de função simples, integrabilidade em \(L^1\), convergência monótona, lema de Fatou ou convergência dominada.
