2.2 Integrais de Riemann - parte 2

« página anterior: parte 1

Algumas propriedades básicas

Tal como referido na parte anterior acerca da prova do 1.º critério de integrabilidade, as duas seguintes propriedades, cujas provas se omitem, são úteis nessa prova (e poderão ser úteis nos exercícios — aliás, é provável que tenhas usado, sem te dares conta, a segunda delas no cálculo do integral no exercício 2 do 2.º grupo de exercícios da parte anterior).

Integração em subintervalos

Se $f : [a,b] \to \mathbb R$ é integrável, então também é integrável em qualquer intervalo $[c,d] \subset [a,b]$.

Aditividade do integral

Sejam $f : [a,b] \to \mathbb R$ e $c \in \; ]a,b[$. Se $f$ é integrável em $[a,c]$ e $[c,b]$, então também é integrável em $[a,b]$ e
$\qquad \displaystyle \int_a^b f(x) \, dx = \int_a^c f(x) \, dx + \int_c^b f(x) \, dx.$

Convencionando que

(1)
\begin{align} \int_b^a f(x) \, dx = - \int_a^b f(x) \, dx \end{align}

para qualquer função integrável em $[a,b]$, é possível estender a propriedade da aditividade do integral da seguinte maneira:

Aditividade do integral revisitada

Se $f$ é integrável em dois dos intervalos formados pelos pontos $a,b,c$, então também é integrável no terceiro intervalo e tem-se, além disso, que
$\qquad \displaystyle \int_a^c f(x) \, dx = \int_a^b f(x) \, dx + \int_b^c f(x) \, dx.$

Exercício

  1. Verifica a veracidade da última propriedade enunciada acima considerando todas as posições relativas entre os pontos $a,b,c$ e tirando partido das duas propriedades anteriores.

Por outro lado, a seguinte propriedade é uma consequência simples das definições de função integrável e de integral e de propriedades elementares de sucessões convergentes:1

Linearidade do integral

Sejam $f,g : [a,b] \to \mathbb R$ integráveis e $\, c \in \mathbb R$. Então

  1. $f+g$ é integrável e
    $\qquad \displaystyle \int_a^b f(x)+g(x)\, dx = \int_a^b f(x)\, dx + \int_a^b g(x)\, dx.$
  2. $c\, f$ é integrável e
    $\qquad \displaystyle \int_a^b c\, f(x) \, dx = c \int_a^b f(x)\, dx.$

Assumindo a conclusão sobre a integrabilidade do módulo da função na propriedade abaixo, a desigualdade exibida entre os integrais é também uma consequência simples das definições de função integrável e de integral, da desigualdade triangular para somas e, novamente, de uma propriedade elementar do cálculo com sucessões convergentes.2

Desigualdade triangular para integrais

Se $f : [a,b] \to \mathbb R$ é integrável, então também $|f|$ é integrável em $[a,b]$ e
$\qquad \displaystyle \left|\int_a^b f(x) \, dx\right| \leq \int_a^b |f(x)| \, dx.$

Exercícios

  1. (Monotonia do integral) Sejam $f,g: [a,b] \to \mathbb R$ duas funções integráveis tais que $f(x) \leq g(x), \; \forall x \in [a,b]$. Verifica que $\int_a^b f(x) \, dx \leq \int_a^b g(x) \, dx.$
  2. (Limitação do integral) Seja $f : [a,b] \to \mathbb R$ integrável e sejam $m$ e $M$ números reais tais que $\, m \leq f(x) \leq M,\: \forall x \in [a,b]$. Verifica que $\; m (b-a) \leq \int_a^b f(x) \, dx \leq M (b-a)$.
  3. Usa o resultado da alínea anterior, o Teorema dos valores intermédios e o Teorema de Weierstrass e prova o seguinte resultado:

Teorema da média para integrais

Se $f : [a,b] \to \mathbb R$ for contínua, então existe $c \in [a,b]$ tal que $\int_a^b f(x) \, dx = f(c) (b-a)$.


página seguinte: parte 3 »

Comentários:

Add a New Comment
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License