Enunciado

Comparando as definições 2,3 e 4, demosntre o teorema 1 da seção 2.3.

Passo 1

Fala aí, pessoal! 😉

O enunciado pede para demonstrarmos o teorema 1 da seção 2.3 dado por.

lim x → a ⁡ f ( x ) = L ⇔ lim x → a - ⁡ f ( x ) = lim x → a + ⁡ f ( x ) = L

Para isso, precisamos recorrer as definições 2, 3 e 4 de limites dadas nesta seção. Vamos recordar essas definições:

Def. 2: lim x → a ⁡ f ( x ) = L se para todo ϵ > 0 , existe um δ > 0 tal que a - δ < x < a + δ ⟹ f x - L < ϵ .

Def. 3: lim x → a - ⁡ f ( x ) = L se para todo ϵ > 0 , existe um δ > 0 tal que a - δ < x < a ⟹ f x - L < ϵ .

Def. 4: lim x → a + ⁡ f ( x ) = L se para todo ϵ > 0 , existe um δ > 0 tal que a < x < a + δ ⟹ f x - L < ϵ .

Basicamente, o que queremos provar é que o limite existe e vale L se os limites laterais existirem e ambos valerem L , e vice versa.

Saca só! 😊

Passo 2

Como toda demonstração do tipo “se, e somente, se” (que envolve ), devemos provar tanto a “ida” ( ) como a “volta” ( ). Neste passo vamos provar a “ida”, isto é,

lim x → a ⁡ f ( x ) = L ⟹ lim x → a - ⁡ f ( x ) = lim x → a + ⁡ f ( x ) = L

Em outras palavras, vamos mostrar que se o limite existe e vale L , os limites laterais vão existir e também vão valer ambos L .

Da definição 2, se

a - δ < x < a + δ ⟹ f x - L < ϵ

Então

a - δ < x < a ⟹ f x - L < ϵ

o que torna a condição dada pela definição 3 verdadeira: se x ∈   ] a - δ ,   a + δ [ , então x ∈   ] a - δ , a [ .

Assim, se a condição dada pela definição 2 é satisfeita, a condição dada pela definição 3 também será satisfeita.

Então, lim x → a ⁡ f ( x ) = L   ⟹ lim x → a - ⁡ f ( x ) = L .

Analogamente, como se x ∈   ] a - δ ,   a + δ [ , então x ∈   ] a , a + δ [ , a definição 2 ser verdadeira implica na condição 4 ser verdadeira também. Assim, lim x → a ⁡ f ( x ) = L   ⟹ lim x → a + ⁡ f ( x ) = L .

Desta forma provamos a “ida”.

Tranquilo até aqui? 😁

Passo 3

Agora vamos para a parte mais difícil: provar a “volta”!

Queremos provar que se os limites laterais existem e são iguais a L , então o limite vai existir e valer L . Em linguagem matemática, queremos provar

lim x → a - ⁡ f ( x ) = lim x → a + ⁡ f ( x ) = L ⟹ lim x → a ⁡ f ( x ) = L

Vamos considerar um dado ϵ > 0 . Se lim x → a - ⁡ f ( x ) = L , existe um δ - > 0 tal que

a - δ - < x < a ⟹ f x - L < ϵ

Analogamente, se lim x → a + ⁡ f ( x ) = L , existe um δ + > 0 tal que

a < x < a + δ + ⟹ f x - L < ϵ

Como nossa hipótese é de que os limites laterais existem e valem L , sabemos que os números δ - e δ + existem!

Bom, se tomarmos δ como algum número menor que δ _ e δ + , isto é, δ < m i n ⁡ { δ - , δ + } , então se a - δ < x < a + δ , então a - δ - < x < a ou a < x < a + δ + .

Note como foi importante a escolha δ < m i n ⁡ { δ - , δ + } que garante que se x ∈   ] a - δ , a + δ [ , então ou x está no intervalo ] a - δ - , a [ ou x está no intervalo ] a , a + δ + [ .

Assim, se x estiver em dos dois intervalos (e sabemos que está), da hipótese de que os limites laterais existem e valem L , segue que f x - L < ϵ . Então, temos que

a - δ < x < a + δ ⟹ f x - L < ϵ

Mas isso é equivalente a mostrar que lim x → a ⁡ f ( x ) = L . Provamos a “volta”.

Como provamos a “ida” e a “volta”, demonstramos por completo o teorema!

Entendeu tudo? Responde Aí! 😬

Resposta

lim x → a ⁡ f ( x ) = L ⇔ lim x → a - ⁡ f ( x ) = lim x → a + ⁡ f ( x ) = L

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Expresse as somas em formas fechadas. ∑ k = 1 n 5 n - 2 k n
Expresse as somas em formas fechadas. ∑ k = 1 n - 1 k 2 n
Determine se a afirmação dada é verdadeira ou falsa. Explique sua resposta.Cada aproximação pela extremidade direita da área sob o gráfico dey = x 2 acima de um intervalo [ a , b ] será uma superestim
Para uma função f que é contínua em [ a , b ] , a Definição 5.4 . 5 diz que a área líquida com sinal A entre f ( x ) e o intervalo [ a , b ] é: A =lim n → ∞ ⁡ ∑ k = 1 n f x k * Δ x Dê interpretação ge
Use a Definição 5.4.3 tomando como a extremidade direita de cada subintervalo para encontrar a área sob a curva y = f ( x ) acima do intervalo especificado. f x = x 3 ; 2,6