Limites Epsilon Delta

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 5

DEFINICIÓN:

lim 𝑓(𝑥) = 𝐿 ⟺ ∀𝜀 > 0, ∃𝛿 > 0: 0 < |𝑥 − 𝑥0 | < 𝛿 ⟹ |𝑓(𝑥) − 𝐿| < 𝜀


𝑥→𝑥0

𝟏) 𝐥𝐢𝐦(𝟕) = 𝟕
𝒙→𝟓

Por una parte, sea 𝜀 > 0 tal que:

|𝑓(𝑥) − 𝐿| < 𝜀 ⟺ |7 − 7| < 𝜀 ⟺ 𝟎 < 𝜺

La desigualdad marcada en negrita se cumple trivialmente para todo 𝜀 > 0; así, para cualquier
𝛿 > 0 se cumple que:

𝟎 < |𝒙 − 𝒙𝟎 | < 𝜹
⟺ 0 < |𝑥 − 5| < 𝛿
⟹𝜀>0
⟺ |𝒇(𝒙) − 𝑳| < 𝜺
Lo que corresponde a la definición de límite.

(Notar que la desigualdad de la izquierda no siempre se cumple para todo 𝛿 para cualquier 𝑥, pero
eso es irrelevante porque es una implicación lógica, lo que interesa es que en caso que se cumpla
la desigualdad izquierda, también se cumpla la desigualdad derecha)

𝟐) 𝐥𝐢𝐦 𝟕 − 𝟑𝒙 = −𝟐
𝒙→𝟑

Sea 𝜀 > 0 tal que:


|𝑓(𝑥) − 𝐿| < 𝜀 ⟺ |7 − 3𝑥 − (−2)| < 𝜀 ⟺ |−3𝑥 + 9| < 𝜀 ⟺ 𝟑|𝒙 − 𝟑| < 𝜺

Por otra parte, sea 𝛿 > 0 tal que:

0 < |𝑥 − 𝑥0 | < 𝛿 ⟺ 𝟎 < |𝒙 − 𝟑| < 𝜹


1
Está claro que si, además, 𝛿 < 𝜀 se tiene la siguiente implicación:
3

𝟎 < |𝒙 − 𝒙𝟎 | < 𝜹
⟺ 0 < |𝑥 − 3| < 𝛿
1
⟹ 0 < |𝑥 − 3| < 𝜀
3
⟹ 3|𝑥 − 3| < 𝜀
⟺ |𝒇(𝒙) − 𝑳| < 𝜺

Quedando así demostrado el límite ;)


𝟑) 𝐥𝐢𝐦 𝟐𝒙 + 𝟕 = −𝟏
𝒙→−𝟒

Sea 𝜀 > 0 tal que:

|𝑓(𝑥) − 𝐿| < 𝜀 ⟺ |2𝑥 + 7 − (−1)| < 𝜀 ⟺ |2𝑥 + 8| < 𝜀 ⟺ 𝟐|𝒙 + 𝟒| < 𝜺

Por otra parte, sea 𝛿 > 0 tal que:

0 < |𝑥 − 𝑥0 | < 𝛿 ⟺ 0 < |𝑥 − (−4)| < 𝛿 ⟺ 𝟎 < |𝒙 + 𝟒| < 𝜹


1
Luego, es claro que si se escoge 𝛿 de manera que 𝛿 < 𝜀 se cumple la siguiente implicación:
2

𝟎 < |𝒙 − 𝒙𝟎 | < 𝜹
⟺ 0 < |𝑥 + 4| < 𝛿
1
⟹ 0 < |𝑥 + 4| < 𝜀
2
⟹ 2|𝑥 + 4| < 𝜀
⟺ |𝒇(𝒙) − 𝑳| < 𝜺
Quod erat demostrandum.

𝒙𝟐 − 𝟒
𝟒) 𝐥𝐢𝐦 =𝟒
𝒙→𝟐 𝒙 − 𝟐

Sea 𝜀 > 0 tal que:

𝑥2 − 4 𝑥 2 − 4𝑥 + 4
|𝑓(𝑥) − 𝐿| < 𝜀 ⟺ | − 4| < 𝜀 ⟺ | | < 𝜀 ⟺ |𝒙 − 𝟐| < 𝜺
𝑥−2 𝑥−2

Por otra parte, sea 𝛿 > 0 tal que:

0 < |𝑥 − 𝑥0 | < 𝛿 ⟺ 𝟎 < |𝒙 − 𝟐| < 𝜹


Está claro que si 𝛿 < 𝜀 puede concluirse que:

𝟎 < |𝒙 − 𝒙𝟎 | < 𝜹
⟺ 0 < |𝑥 − 2| < 𝛿
⟹ 0 < |𝑥 − 2| < 𝜀
⟹ |𝑥 − 2| < 𝜀
⟺ |𝒇(𝒙) − 𝑳| < 𝜺
Como quería demostrarse.
𝟓) 𝐥𝐢𝐦 𝒙𝟐 = 𝟒
𝒙→𝟐

Sea 𝜀 > 0 tal que:

|𝑓(𝑥) − 𝐿| < 𝜀 ⟺ |𝑥 2 − 4| < 𝜀 ⟺ |𝒙 + 𝟐||𝒙 − 𝟐| < 𝜺

Por otra parte, sea 𝛿 > 0 tal que:

0 < |𝑥 − 𝑥0 | < 𝛿 ⟺ 𝟎 < |𝒙 − 𝟐| < 𝜹


En este caso no es inmediato relacionar 𝛿 con 𝜀. Pero pensemos por el momento que |𝑥 − 2| < 1
(es decir, que 𝛿 = 1), entonces:
|𝑥 − 2| < 1 ⟺ −1 < 𝑥 − 2 < 1 ⟺ 3 < 𝑥 + 2 < 5 ⟹ 𝑥 + 2 < 5

Así:
|𝑓(𝑥) − 𝐿| = |𝑥 + 2||𝑥 − 2| < 5|𝑥 − 2| < 𝜀
1
Luego, eligiendo 𝛿 = min {1, 5 𝜀} puede concluirse que:

𝟎 < |𝒙 − 𝒙𝟎 | < 𝜹
⟺ 0 < |𝑥 − 2| < 𝛿
1
⟹ 0 < |𝑥 − 2| < 𝜀
5
⟹ 5|𝑥 − 2| < 𝜀
⟹ |𝒇(𝒙) − 𝑳| < 𝜺
Demostrándose así el límite.

(Notar que si |𝑥 − 2| ≥ 1, la implicación sigue siendo verdadera, pues: en particular, como el


antecedente sería falso se sigue por principio de explosión (ex falso quodlibet))
𝟐𝒙 − 𝟏
𝟔) 𝐥𝐢𝐦 =𝟏
𝒙→𝟏 𝒙
Sea 𝜀 > 0 tal que:
2𝑥 − 1 𝑥−1 |𝒙 − 𝟏|
|𝑓(𝑥) − 𝐿| < 𝜀 ⟺ | − 1| < 𝜀 ⟺ | |<𝜀⟺ <𝜺
𝑥 𝑥 |𝒙|
Por otra parte, sea 𝛿 > 0 tal que:

0 < |𝑥 − 𝑥0 | < 𝛿 ⟺ 𝟎 < |𝒙 − 𝟏| < 𝜹


Similarmente al caso anterior, no es evidente una relación entre 𝛿 y 𝜀. Pensemos, por lo pronto
1 1
que |𝑥 − 1| < (es decir, que 𝛿 = ), de esa forma:
2 2

1 1 1 1 3 1 1
|𝑥 − 1| < ⟺− <𝑥−1< ⟺ <𝑥 < ⟹𝑥 > ⟺ <2
2 2 2 2 2 2 𝑥
De manera que:
|𝑥 − 1|
|𝑓(𝑥) − 𝐿| = < 2|𝑥 − 1| < 𝜀
|𝑥|
1 1
Así, eligiendo 𝛿 = min {2 , 2 𝜀}, se concluye que:

𝟎 < |𝒙 − 𝒙𝟎 | < 𝜹
⟺ 0 < |𝑥 − 1| < 𝛿
1
⟹ 0 < |𝑥 − 1| < 𝜀
2
⟹ 2|𝑥 − 1| < 𝜀
⟺ |𝒇(𝒙) − 𝑳|
Satisfaciendo la definición de límite.
𝟕) 𝐥𝐢𝐦 𝒙𝟐 𝐬𝐢𝐧(𝟑𝒙𝟑 ) = 𝟎
𝒙→𝟎

Sea 𝜀 > 0 tal que:

|𝑓(𝑥) − 𝐿| < 𝜀 ⟺ |𝑥 2 sin(3𝑥 3 )| < 𝜀 ⟺ |𝒙|𝟐 |𝐬𝐢𝐧(𝟑𝒙𝟑 )| < 𝜺

Por otra parte, sea 𝛿 > 0 tal que:

0 < |𝑥 − 𝑥0 | < 𝛿 ⟺ 𝟎 < |𝒙| < 𝜹

Luego, eligiendo 𝛿 < √𝜀 (esta expresión está bien definida al ser 𝜀 > 0) y además, a partir del
hecho de que |sin(3𝑥 3 )| ≤ 1 se tiene que:

𝟎 < |𝒙 − 𝒙𝟎 | < 𝜹
⟺ 0 < |𝑥| < 𝛿
⟹ 0 < |𝑥| < √𝜀
⟹ 0 < |𝑥|2 < 𝜀
⟹ |𝑥|2 |sin(3𝑥 3 )| < 𝜀
⟺ |𝒇(𝒙) − 𝑳| < 𝜺

Demostrando el límite pedido.

(Notar que no es correcto decir que |𝑥|2 |sin(3𝑥 3 )| < 𝜀 ⟹ |𝑥|2 < 𝜀. Es la implicación inversa la
que es verdadera)

También podría gustarte