Integração de Riemann e Lebesgue

A integração atribui um valor rigoroso à área sob uma curva; a integral de Riemann faz isso particionando o domínio, enquanto a integral de Lebesgue particiona o contradomínio e integra uma classe de funções muito mais ampla.

Definition

A integral de Riemann é o limite comum das somas superiores e inferiores sobre partições mais finas do domínio. A integral de Lebesgue, definida pela aproximação de funções com funções simples medidas por uma medida, estende a integração a uma classe mais ampla e se comporta bem sob limites.

Scope

Este tópico abrange a construção da integral de Riemann por meio de somas superiores e inferiores, o critério para integrabilidade de Riemann, o teorema fundamental do cálculo, as limitações da integração de Riemann sob limites e a integral de Lebesgue construída sobre a medida com seus teoremas de convergência monótona, de Fatou e dominada.

Core questions

• Exatamente quais funções são integráveis por Riemann e o que as caracteriza?
• Como o teorema fundamental do cálculo relaciona integração e diferenciação?
• Por que a integral de Riemann não comuta com muitos limites?
• Como a integral de Lebesgue supera essas limitações?

Key theories

Critério de Lebesgue para integrabilidade de Riemann

Uma função limitada em um intervalo fechado é integrável por Riemann se e somente se seu conjunto de descontinuidades tiver medida zero, delimitando precisamente o alcance da teoria de Riemann.

Teorema fundamental do cálculo

Diferenciação e integração são operações inversas: a integral de uma derivada recupera a função, e a derivada de uma integral recupera o integrando, ligando as duas operações centrais da análise.

Convergência monótona e dominada

Para a integral de Lebesgue, sequências monótonas crescentes e sequências dominadas de funções permitem a troca de limite e integral, o poder de convergência que a integral de Riemann não possui.

Clinical relevance

A teoria da integração fundamenta o cálculo de áreas, probabilidades, expectativas e quantidades acumuladas em toda a ciência. O comportamento robusto do limite da integral de Lebesgue é essencial para a teoria da probabilidade, análise de Fourier, a completude dos espaços de funções e o tratamento rigoroso de soluções para equações diferenciais.

History

Riemann apresentou a primeira definição rigorosa da integral em 1854. Sua incapacidade de lidar com muitos limites e funções descontínuas motivou a integral baseada em medida de Lebesgue de 1902, que se tornou a ferramenta padrão da análise moderna e da probabilidade.

Key figures

• Bernhard Riemann
• Henri Lebesgue
• Emile Borel

Seminal works

• rudin1976
• stein2005real

Frequently asked questions

Por que a integral de Lebesgue é preferida na análise avançada?

Ela integra mais funções e, crucialmente, permite que limites e integrais sejam intercambiados sob condições brandas, o que torna os espaços de funções completos e é indispensável na probabilidade e na análise de Fourier.

As duas integrais alguma vez discordam?

Para funções que são integráveis por Riemann em um intervalo limitado, as duas integrais fornecem o mesmo valor; a integral de Lebesgue simplesmente se aplica a uma classe maior de funções onde a integral de Riemann é indefinida.