Example 16

(Requires calculus) Use quantifiers and predicates to express the fact that (lim
x->a f(x)) does not exist where f(x) is a real-valued function of a real (x) an
d (a) belongs to the domain of f.
Solution: To say that (lim x->a f(x)) does not exist means that for all real nu
mbers L, (lim x->a f(x)) != L. By using Example 8, the statement (lim x->a f(x))
!= L can be expressed as
Successively applying the rules for negating quantified expressions, we construc
t this sequence of equivalent statements
In the last step we used the equivalence ~(p->q)<=>p^~q, which follows from the
fifth equivalence in Table 7 of section 1.3.
Because the statement "lim x->a f(x) does not exist " means for all real numbe
rs L, (lim x->a f(x)) != L, this can be expressed as
This last statement says that for every real number L there is real number >0 suc
h that for every real number >0, there exists a real number x such that 0<|x--a|<
and |f(x) -- L|>=.
--------------------------------------Exemplo 16
(Requer clculo) Use quantificador e predicados para expressar o fato que (lim x > um f (x)) no existe onde f (x) uma funo real-estimada de uma realidade (x) e (um
) pertence ao domnio de f.
Soluo: Dizer que (lim x - > um f (x)) no exista meios que para todos real numeram L
, (lim x - > um f (x))!= L. usando Exemplo 8, a declarao (lim x - > um f (x))!= L
pode ser expressado como
Aplicando as regras sucessivamente por negar expresses quantificadas, ns construmos
esta sucesso de declaraes equivalentes
No ltimo passo ns usamos a equivalncia ~ (p - > q) < = > p^~q que segue da quinta e
quivalncia em Mesa 7 de seo 1.3.
Porque a declarao "lim x - > um f (x) no existe " meios para todos real numera L, (
lim x - > um f (x))!= L, isto pode ser expressado como

Esta ltima declarao diz que para todo real nmero L h real de nmero > 0 tal que para
do real nmero > 0, l existe um real nmero x tal que 0 < |x--um |< e |F (X)--L |>=.