Você está na página 1de 45

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

1
1. LIMITES DE FUNES.
Definio 1. O conjunto
{ } { }

+ < < = < = a x a R x a x R x a V : : ) (


diz-se vizinhana de raio do ponto R a .


Definio 2. O ponto R a diz-se ponto de acumulao do conjunto R D se
em qualquer vizinhana de a existe pelo menos um ponto de D diferente de a .

Seja ) (x f uma funo real de varivel real de domnio
f
D e seja R a um
ponto de acumulao de
f
D , isto ,
f
D a .

A definio do limite de uma funo segundo Heine.

Definio 3. Diz-se que R b o limite da funo ) (x f no ponto de
acumulao
f
D a ou que ) (x f tende para b ( b x f ) ( ) quando x tende para a
( a x ) e escreve-se b x f
a x
=

) ( lim , se qualquer sucesso de valores ( )


n
x do domnio,
diferentes de a , com limite a , corresponde pela funo uma secesso ) (
n
x f com
limite b .

Simbolicamente tem-se:
( ) [ ] b x f a x N n a x D x b x f
n n n f n
a x
= = =

) ( lim lim ) , ( ) ( lim .



A definio do limite de uma funo segundo Cauchy.

Definio 4. Diz-se que R b o limite da funo ) (x f no ponto de
acumulao
f
D a ou que ) (x f tende para b ( b x f ) ( ) quando x tende para a
( a x ) e escreve-se b x f
a x
=

) ( lim , se para qualquer 0 > existe 0 ) ( > (


Matematica 1 Anatolie Sochirca ACM DEETC ISEL

2
dependente de ) tal que para quaisquer valores de { } a D x
f
\ que verificam a
inequao < a x se verifica < b x f ) ( .

Simbolicamente tem-se:
(1). ) ( ) ( 0 : 0 ) ( , 0 ) ( lim < < < > > =

b x f a x D x b x f
f
a x

A definio de limite de uma funo segundo Cauchy significa que para toda a
vizinhana ) (b V

existe uma vizinhana ) (a V

tal que
) ( ) ( b V x f

sempre que { } a a V x \ ) (

. (2)
A parte fundamental da definio de limite de uma funo segundo Cauchy
que, para cada ) (b V

, por pequeno que seja, existe uma certa vizinhana ) (a V

que
satisfaz a (2). Geralmente, ) (a V

depende da escolha de ) (b V

.

Teorema 1. A definio de limite de uma funo segundo Heine equivalente a
definio de limite de uma funo segundo Cauchy.

Demonstrao.
Seja R b o limite da funo ) (x f no ponto
f
D a segundo Heine. Demonstraremos
que R b o limite da funo ) (x f no ponto
f
D a segundo Cauchy.
Supomos o contrrio, isto , R b no o limite da funo ) (x f no ponto
f
D a
segundo Cauchy. Isto significa que existe 0
0
> = tal que para qualquer 0 > existe pelo menos
um ponto < a x a x D x
f
e
0
) ( b x f . Escolhemos igual,
sucessivamente, aos nmeros:
K K ,
1
, ,
3
1
,
2
1
, 1
n

Ento:
Para 1 = em
f
D existe pelo menos um ponto 1
1 1
< a x a x e
0 1
) ( b x f ;
Para
2
1
= em
f
D existe pelo menos um ponto
2
1
2 2
< a x a x e
0 2
) ( b x f ;
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

3
Para
3
1
= em
f
D existe pelo menos um ponto
3
1
3 3
< a x a x e
0 3
) ( b x f ;
......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... ..........

Para
n
1
= em
f
D existe pelo menos um ponto
n
a x a x
n n
1
< e
0
) ( b x f
n
;
......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... ..........

Para a sucesso de pontos L L , , , , ,
3 2 1 n
x x x x com a x
n
tem-se
0
1
<
n
a x
n
quando n e portanto a x
n
= lim .
Portanto na base da definio do limite da funo ) (x f no ponto
f
D a segundo Heine
resulta que b x f
n
) ( . Por conseguinte, para
0
existe N n
0
tal que para qualquer
0
n n > tem-
se
0
) ( < b x f
n
. Obtemos contradio com a escolha dos pontos L L , , , , ,
3 2 1 n
x x x x , isto ,
com
0
) ( b x f
n
. Desta contradio resulta que R b o limite da funo ) (x f no ponto
f
D a segundo Cauchy.
Seja R b o limite da funo ) (x f no ponto
f
D a segundo Cauchy.
Demonstraremos que R b o limite da funo ) (x f no ponto
f
D a segundo Heine .
Na base da definio do limite da funo ) (x f no ponto
f
D a segundo Cauchy temos:
< < < > > b x f a x D x
f
) ( ) ( 0 : 0 ) ( , 0 .
Demonstraremos que R b o limite da funo ) (x f no ponto
f
D a segundo Heine.
Consideramos uma sucesso arbitrria de pontos L L , , , , ,
3 2 1 n
x x x x com a x
n
convergente
para a . Ento para o valor existente de 0 ) ( > , correspondente a na base da definio de limite
da funo ) (x f no ponto
f
D a segundo Cauchy, se verifica < b x f
n
) ( . Mas porque
qualquer ( escolhido arbitrariamente) resulta que b x f
n
) ( para qualquer sucesso de pontos
L L , , , , ,
3 2 1 n
x x x x com a x
n
convergente para a , isto , R b o limite da funo ) (x f
no ponto
f
D a segundo Heine . O teorema est demonstrado.

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

4
Nota 1. A definio do limite da funo ) (x f no ponto de acumulao
f
D a
segundo Heine usada para provar que um limite no existe. Para provar que um
limite no existe e suficiente achar duas sucesses diferentes ( )
n
x e ( )
n
y que verificam
as condies da definio do limite da funo ) (x f no ponto
f
D a segundo Heine,
mas com ) ( lim ) ( lim
n n
y f x f .
A definio do limite da funo ) (x f no ponto de acumulao
f
D a segundo
Cauchy usada para demonstrar que o limite R b .
A interpretao geomtrica da definio do limite dada na figura 1. A
vizinhana ) (b V

est marcada no eixo y O e a vizinhana correspondente ) (a V

est
marcada no eixo x O . O rectngulo sombreado formado por todos os pontos ) , ( y x
para os quais ) (a V x

, ) (b V y

e assegura que o grfico da funo correspondente
ao intervalo ) (a V

no interior do rectngulo, excepto, possivelmente, o ponto do


grfico relativo ao ponto a .



Exemplo 1. Usando a definio de limite segundo Cauchy mostrar que o limite
da funo 2 3 ) (
2
+ = x x x f no ponto 3 = x 2.

Resoluo.
R D
f
= e 3 = x um ponto de acumulao do domnio da funo. Na base da
definio de limite segundo Cauchy temos:
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

5
. 2 2 3 ) ( 3 0 : 0 ) ( , 0 2 ) 2 3 ( lim
2 2
3
< + < < > > = +

x x x D x x x
f
x
Porque
= + + + = + + = 3 3 ) 3 ( ) 3 ( 3 ) 9 6 ( 9 3 9 6 3
2 2 2 2
x x x x x x x x x x
( ) < + = 3 3 3
2
x x
e < < 3 0 x obtemos < + 3
2
.
Resolvemos a inequao em relao .
.
2
4 9 3
0 3 3
2 2


+
= = + = +
Como 0
2
4 9 3
1
<
+
=

e 0
2
4 9 3
2
>
+ +
=


levando em conta que 0 ) ( > resulta que o conjunto das solues da inequao :
2
4 9 3
0

+ +
< < .
Portanto 0 ) ( , 0 > > tal que



4 9 3
2
) 3 4 9 ( 2
) 3 4 9 ( ) 3 4 9 (
2
4 9 3
) ( ) ( 3 0
1
+ +
=
+ +
+ + +
=
+ +
= < < x


implica < x x 3
2
, isto , 2 ) 2 3 ( lim
2
3
= +

x x
x
.
Observao. Para evitar a resoluo da inequao quadrtica na determinao
de correspondente , levando em conta que
0 3 3 x x
conclumos que
( ) < < < 3 3 3
2
x x x .
Ento obtemos
4
4 3 3
2

< < + < + .
Portanto 0 ) ( , 0 > > tal que
4
) ( ) ( 3 0
1

= < < x

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

6
implica < x x 3
2
, isto , 2 ) 2 3 ( lim
2
3
= +

x x
x
.

Exemplo 2. Usando a definio de limite segundo Cauchy mostrar que o limite da
funo

=
+
=
, 1 , 1
, 1 , 2
) (
2
x se
x se x x
x f no ponto 1 = x 3.

Resoluo.
R D
f
= e 1 = x um ponto de acumulao do domnio da funo. Na base da
definio de limite segundo Cauchy temos:
. 3 2 ) ( 1 0 : 0 ) ( , 0 3 ) 2 ( lim
2 2
1
< + < < > > = +

x x x D x x x
f
x
Porque
+ + = + + + = + ) 1 ( 5 ) 2 4 2 ( 3 2 4 2 4 2 3 2
2 2 2
x x x x x x x x x
( ) < + = + 1 5 1 2 1 5 ) 1 ( 2
2
2
x x x x
e < < 1 0 x obtemos < + 5 2
2
.
Resolvemos a inequao em relao .
.
4
8 25 5
0 5 2 5 2
2 2


+
= = + = +
Como 0
4
8 25 5
1
<
+
=

e 0
4
8 25 5
2
>
+ +
=


levando em conta que 0 ) ( > resulta que o conjunto das solues da inequao :
4
8 25 5
0

+ +
< < .

Portanto 0 ) ( , 0 > > tal que



8 25 5
2
4
8 25 5
) ( ) ( 1 0
1
+ +
=
+ +
= < < x
implica < + 3 2
2
x x , isto , 3 ) 2 ( lim
2
1
= +

x x
x
.
Observao. Para evitar a resoluo da inequao quadrtica na determinao
de correspondente , levando em conta que
0 1 1 x x
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

7
conclumos que
( ) < < < 1 1 1
2
x x x .
Ento obtemos
7
7 5 2 5 2
2

< < = + < + .
Portanto 0 ) ( , 0 > > tal que
7
) ( ) ( 1 0
1

= < < x

implica < + 3 2
2
x x , isto , 3 ) 2 ( lim
2
1
= +

x x
x
.


Seja { } + = , U R R a recta acabada, isto , a recta acabada a reunio do
conjunto dos nmeros reais com um conjunto de dois elementos (menos infinito) e
+ (mais infinito).

Consideramos pela definio que:

+ < ;
R a a + < < , ;
+ = + + + ) ( ) ( ;
= + ) ( ) ( ;
+ = = + + ) ( ) ( ) ( ) ( ;
= + = + ) ( ) ( ) ( ) ( ;
R a a a + = + + = + + , ) ( ) ( ;
R a a a = + = + , ) ( ) ( ;

+
+ = + = + R a a a , ) ( ) ( ;

+
= = R a a a , ) ( ) ( ;

= + = + R a a a , ) ( ) ( ;

+ = = R a a a , ) ( ) ( .

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

8
No so definidas as operaes:

) ( ) ( ), ( ) ( ), ( ) ( ), ( ) ( + + + + + + ;
0 ) ( ), ( 0 ), ( 0 , 0 ) ( + + ;

+
+

+
+



, , , ;

0 0
) ( , ) ( + ;


Com 0 > definem-se:
)
`

< =

1
: ) ( x R x V a vizinhana de raio de ;

)
`

> = +

1
: ) ( x R x V a vizinhana de raio de + .

A definio do limite de uma funo segundo Cauchy na recta acabada.

Definio 5. Diz-se que R b o limite da funo ) (x f no ponto
f
D a ou
que ) (x f tende para b ( b x f ) ( ) quando x tende para a ( a x ) e escreve-se
b x f
a x
=

) ( lim , se para qualquer 0 > existe 0 ) ( > ( dependente de ) tal que para
quaisquer valores de ( ) { } a V D x
f
\
) (
I se verifica ) ( ) ( b V x f

.
Simbolicamente tem-se:
{ } ) ( ) ( \ ) ( : 0 ) ( , 0 ) ( lim b V x f a a V D x b x f
f
a x

> > =

I . (3)
Nota 2.
Com R a e + = b tem-se:
{ }



1
) ( \ ) ( : 0 ) ( , 0 ) ( lim > > > + =

x f a a V D x x f
f
a x
I .
Com R a e = b tem-se:
{ }



1
) ( \ ) ( : 0 ) ( , 0 ) ( lim < > > =

x f a a V D x x f
f
a x
I .
Com + = a e R b tem-se:
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

9


< > > > =
+
b x f x b x f
x
) (
) (
1
: 0 ) ( , 0 ) ( lim .
Com = a e R b tem-se:


< < > > =

b x f x b x f
x
) (
) (
1
: 0 ) ( , 0 ) ( lim .
Com + = a e + = b tem-se:


1
) (
) (
1
: 0 ) ( , 0 ) ( lim > > > > + =
+
x f x x f
x
.
Com + = a e = b tem-se:


1
) (
) (
1
: 0 ) ( , 0 ) ( lim < > > > =
+
x f x x f
x
.
Com = a e + = b tem-se:


1
) (
) (
1
: 0 ) ( , 0 ) ( lim > < > > + =

x f x x f
x
.
Com = a e = b tem-se:


1
) (
) (
1
: 0 ) ( , 0 ) ( lim < < > > =

x f x x f
x
.

Exemplo 3. Usando a definio de limite segundo Cauchy mostrar que o limite da
funo
2
) 1 (
1
) (

=
x
x f no ponto 1 = x + .
Resoluo.
{ } 1 \ R D
f
= mas 1 = x um ponto de acumulao do domnio da funo. Na
base da definio de limite segundo Cauchy temos:
, ) (
) 1 (
1
) ( 1 1 : 0 ) ( , 0
) 1 (
1
lim
2 2
1
+

< > > + =


|
|

\
|


V
x
x x D x
x
f
x

isto ,
.
1
) 1 (
1
) ( 1 1 : 0 ) ( , 0
) 1 (
1
lim
2 2
1

>

< > > + =


|
|

\
|

x
x x D x
x
f
x
Porque

< < >

1 ) 1 (
1
) 1 (
1
2
2
x x
x

conclumos que 0 ) ( , 0 > > tal que
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

10
= < < ) ( ) ( 1 0
1
x
implica

1
) 1 (
1
2
>
x
, isto , + =
|
|

\
|

2
1
) 1 (
1
lim
x
x
.
Exemplo 4. Usando a definio de limite segundo Cauchy mostrar que o limite da
funo
4 2
4
) (

=
x
x
x f
2
1
quando x tende para o + ( + x ).
Resoluo.
{ } 2 \ R D
f
= . Na base da definio de limite segundo Cauchy temos:
,
2
1
4 2
4
) ( 2 : 0 ) ( , 0
2
1
4 2
4
lim
) (
|

\
|

+ > > = |

\
|

+

V
x
x
V D x x
x
x
f
x
I

ou
,
2
1
4 2
4
) ( 2 : 0 ) ( , 0
2
1
4 2
4
lim
) (


<

+ > > = |

\
|

+
x
x
V D x x
x
x
f
x
I
isto ,
,
4 2
2
) (
1
: 0 ) ( , 0
2
1
4 2
4
lim

<

> > > = |

\
|

+
x
x D x
x
x
f
x
.
Porque com + x tem-se

2 1
1 2 1
2
1
2
1
2
1
4 2
2
+
=
+
> <

x
x x x x
,
conclumos que 0 ) ( , 0 > > tal que com


2 1
) ( ) (
1
+
= tem-se


<

+
= >
2
1
4 2
4
2 1
1
) (
1
) (
1
1
x
x
x ,
isto ,
2
1
4 2
4
lim = |

\
|

+
x
x
x
.
Exemplo 5. Usando a definio de limite segundo Cauchy mostrar que o limite da
funo
x
x
x f
2
) (
2

= + quando x tende para o + ( + x ).


Resoluo.
{ } 0 \ R D
f
= . Na base da definio de limite segundo Cauchy temos:
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

11


1 2
) (
1
: 0 ) ( , 0
2
lim
2 2
>

> > > + =


|
|

\
|
+
x
x
x
x
x
x
.
Com 0 > e + x temos:
0 2 ) 2 (
1 2
2 2
2
> > >

x x x x
x
x
.
A soluo da inequao obtida
|
|

\
|
+

+ +
|
|

\
|

+
,
2
8 1 1
2
8 1 1
,
2 2

U x e porque + x temos
2
2
8 1 1
2
1
2
8 1 1

+ +

>

+ +
> x x .
Daqui conclumos que 0 ) ( , 0 > > tal que com

2
1
8 1 1
2
) ( ) (


+ +

= tem-se

1 2
8 1 1
2
1
2
2
>

+ +

>
x
x
x ,
isto , + =

+
x
x
x
2
lim
2
.

Observao. Para evitar a resoluo da inequao quadrtica na determinao
de correspondente , levando em conta que + x temos

1
1
) 1 ( 2
2 2
> =

=

>

x
x
x x
x
x x
x
x
.
Ento obtemos
1
1 1 1
1
1
1
+
=
+
> + > >


x x x .
Portanto 0 ) ( , 0 > > tal que com
1
) ( ) (
1
+
=

tem-se

1 2
1
1
2
>

+
>
x
x
x , isto , + =

+
x
x
x
2
lim
2
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

12
A definio do limite lateral de uma funo segundo Cauchy.

Seja ) (x f uma funo real de varivel real de domnio
f
D e seja
f
D a um
ponto de acumulao de
f
D .
Definio 6. Se a ponto de acumulao de ] [ + , a D
f
I , diz-se que b limite
direito de ) (x f no ponto a e escreve-se b x f
a x
=
+

) ( lim , se para qualquer 0 > existe


0 ) ( > ( dependente de ) tal que para quaisquer valores de ] [ ) ( , + a a x se
verifica < b x f ) ( .
Simbolicamente tem-se:
] [ < + > > =
+

b x f a a x b x f
a x
) ( ) ( , : 0 ) ( , 0 ) ( lim

Definio 7. Se a ponto de acumulao de ] [ a D
f
, I , diz-se que b limite
esquerdo de ) (x f no ponto a e escreve-se b x f
a x
=

) ( lim , se para qualquer 0 >


existe 0 ) ( > ( dependente de ) tal que para quaisquer valores de
] [ a a x ), ( se verifica < b x f ) ( .
Simbolicamente tem-se:
] [ < > > =

b x f a a x b x f
a x
) ( ), ( : 0 ) ( , 0 ) ( lim

Exemplo 6. Usando as definies dos limites laterais segundo Cauchy mostrar que
para a funo

<
=
>
=
, 0 se , 1
; 0 se , 0
; 0 se , 1
) (
x
x
x
x sign tem-se 1 ) ( lim
0
=
+

x sign
x
e 1 ) ( lim
0
=

x sign
x
.
Resoluo.
R D
f
= . Na base da definio do limite direito segundo Cauchy temos:
] [ < > > =
+

1 ) ( , 0 : 0 ) ( , 0 1 ) ( lim
0
x sign x x sign
x

ou
< < < > > =
+

1 ) ( ) ( 0 : 0 ) ( , 0 1 ) ( lim
0
x sign x x sign
x

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

13
Com 0 > e 0 > x temos 1 ) ( + < x x sign e < = = + x x x x sign 1 1 1 ) ( .
Portanto considerando = <
1
x conclumos que
1 1 ) ( ) ( 0 : 0 ) ( , 0 < < < > > x sign x ,
isto , 1 ) ( lim
0
=
+

x sign
x
.
Analogamente, na base da definio do limite esquerdo segundo Cauchy temos:
] [ < > > =

) 1 ( ) ( 0 , : 0 ) ( , 0 1 ) ( lim
0
x sign x x sign
x

ou
< < < > > =

) 1 ( ) ( 0 ) ( : 0 ) ( , 0 1 ) ( lim
0
x sign x x sign
x

Com 0 > e 0 < x temos 1 ) ( < x x sign e
< = = = + x x x x x sign 1 1 ) 1 ( ) ( ,
isto , > > x 0 .
Portanto considerando = >
1
x conclumos que
< < < > > ) 1 ( ) ( 0 ) ( : 0 ) ( , 0 x sign x ,
isto , 1 ) ( lim
0
=

x sign
x
.
Teorema 2. Sendo a ponto de acumulao bilateral do domnio da funo ) (x f , o
limite de ) (x f em a existe se e s se existem e so iguais os limites laterais de ) (x f
em a , tendo-se neste caso ) ( lim ) ( lim ) ( lim x f x f x f
a x a x a x
+

= = .
Demonstrao.
Demonstramos que b x f x f b x f
a x a x a x
= = =
+

) ( lim ) ( lim ) ( lim .
Seja b x f
a x
=

) ( lim . Na base da definio do limite segundo Cauchy no ponto a temos:


< + < < > > b x f a x a x a ) ( ) ( ) ( : 0 ) ( , 0 .
Portanto
] [ a a x , ) ( tem-se < b x f ) ( , isto , b x f
a x
=

) ( lim
e
] [ ) ( , + a a x tem-se < b x f ) ( , isto , b x f
a x
=
+

) ( lim .
Demonstramos que b x f b x f x f
a x a x a x
= = =

+
) ( lim ) ( lim ) ( lim .
Seja b x f x f
a x a x
= =
+

) ( lim ) ( lim . Na base das definies dos limites laterais segundo Cauchy no
ponto a temos:
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

14
< < < > > =

b x f a x a b x f
a x
) ( ) ( : 0 ) ( , 0 ) ( lim
1
;

< + < < > > =
+

b x f a x a b x f
a x
) ( ) ( : 0 ) ( , 0 ) ( lim
2
.
Escolhendo )) ( ), ( min( ) (
2 1
= obtemos que
] [ ] [ ( ) ] [ ( ) a x a a x a a x a a x + + ) ( , ) ( ) ( , , ) (
tem-se < b x f ) ( , isto , b x f
a x
=

) ( lim .
O teorema est demonstrado.

Nota 3.
Caso a ponto de acumulao unilateral do domnio
f
D da funo ) (x f o
limite de ) (x f em a identifica-se com o nico limite lateral que possvel definir.


Infinitamente grande. Funes limitadas. Infinitamente pequeno.

Definio 8. A funo ) (x f de domnio
f
D diz-se infinitamente grande quando x
tende para o ponto de acumulao a de
f
D , { } ( ) + , U I R D a
f
, se para
qualquer 0 > L , por maior que seja, existe 0 > tal que
L x f a x a x D x
f
> < ) ( . Se a funo ) (x f de domnio D
infinitamente grande quando a x escreve-se =

) ( lim x f
a x
.
Exemplo 7. Mostrar que
2
) 1 (
) (

=
x
x
x f infinitamente grande quando 1 x .
Resoluo.
{ } 1 \ R D
f
= . Na base da definio 9 temos:
: 0 , 0 > > L L
x
x
x x D x
f
>

<
2
) 1 (
1 1 .
Quando 1 1 x x tem-se
2 2 2 2
1 2
1
1
5 , 0
1
) 1 (

=

>

x x x
x
x
x
,
isto ,
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

15
L
x
x
L
x
>

>

2 2
) 1 (
1 2
1
.
Mas porque
L
x
L
x L
x 2
1
1
2
1
1
1 2
1 2
2
< < >


Conclumos que com
L 2
1
1
= tem-se
: 0 , 0 > > L L
x
x
L
x x D x >

<
2
) 1 ( 2
1
1 1 ,
isto ,
2
) 1 (
) (

=
x
x
x f infinitamente grande quando 1 x .
Nota 4.
Da definio resulta que a funo ) (x f de domnio
f
D infinitamente grande
quando a x , { } ( ) + , U I R D a
f
, se =

) ( lim x f
a x
e =
+

) ( lim x f
a x
.
Exemplo 8.
1) A funo

<

=
; 1 se ,
; 1 se ,
1
) (
2
x x
x
x
x
x f no infinitamente grande quando 1 x
porque =

=


1
lim ) ( lim
1 1
x
x
x f
x x
e 1 lim ) ( lim
2
1 1
= =
+ +

x x f
x x
.

2) A funo ) 4 cos( ) ( x x x f = (figura 2) no infinitamente grande quando
+ x (ou x ) porque se anula nos pontos
L L , 2 , 1 , 0 , 1 , 2 , ,
4 8
= + = n n x

.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

16


Definio 9. A funo ) (x f diz-se limitada no seu domnio
f
D , se existe 0 > L tal
que para todos os valores de
f
D x tem-se L x f ) ( .
Caso contrrio (se tal 0 > L no existe) a funo ) (x f diz-se no limitada no
seu domnio
f
D .
Por exemplo, a funo senx x f = ) ( , definida em R , limitada, porque para
qualquer R x tem-se L senx = 1 .
Definio 10. A funo ) (x f diz-se limitada quando a x ,
{ } ( ) + , U I R D a , se existe uma vizinhana de centro a na qual a funo
limitada, isto , se existe 0 > L tal que para todos os valores de < a x D x
f

tem-se L x f ) ( .
Teorema 3. Se o limite de ) (x f quando a x , { } ( ) + , U I R D a
f
, um
nmero finito b ( b x f
a x
=

) ( lim ), ento ) (x f limitada quando a x .


Demonstrao.
Se b x f
a x
=

) ( lim na base da definio temos:


< + < < > > b x f a x a x a ) ( ) ( ) ( : 0 ) ( , 0 .
Porque
+ < + < < < < < b x f b x f b b x f b x f ) ( ) ( ) ( ) (
conclumos que ) (x f limitada quando a x .
O teorema est demonstrado.

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

17
Nota 5. A afirmao inversa no verdadeira, isto , a funo pode ser limitada na
vizinhana do ponto { } ( ) + , U I R D a e no ter limite quando a x .

Exemplo 9. A funo
x
sen x f
1
) ( = tem o domnio { } 0 \ R D
f
= , 0 = x ponto de
acumulao de
f
D e a funo limitada, 1
1

x
sen , mas no tem limite quando
0 x .
Realmente, na base da definio de limite segundo Heine, o limite da funo
x
sen x f
1
) ( = no existe se s duas sucesses de nmeros reais, de valores da varivel
independente x , com o mesmo limite zero, correspondem pela funo sucesses com
limites diferentes. Consideremos as sucesses ( )
n
x e ( )
n
x com
n
x
n
1
= e
+
=
) 1 4 (
2
n
x
n
, N n .
Ento 0 lim =
n
x e 0 lim =
n
x .
0 ) (
1
) ( = =

= n sen
x
sen x f
n
n
, isto ,
0 ) ( lim ) ( lim = = n sen x f
n
;
1
2
2
2
) 1 4 ( 1
) ( = |

\
|
+ = |

\
| +
=

=

n sen
n
sen
x
sen x f
n
n
, isto ,
1
2
2 lim ) ( lim = |

\
|
+ =

n sen x f
n
.
Portanto o limite da funo
x
sen x f
1
) ( = no existe quando 0 x .

Nota 6. Da definio 10 de uma funo limitada resulta que a funo ) (x f de
domnio
f
D no limitada quando a x , { } ( ) + , U I R D a , se
=

) ( lim x f
a x
, isto , se ) (x f infinitamente grande quando a x . A afirmao
inversa no verdadeira. A funo no limitada pode no ser infinitamente grande
(ver o exemplo 8).

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

18
Exemplo 10. A funo
x
x f
1
) ( = tem o domnio { } 0 \ R D
f
= e 0 = x ponto de
acumulao de
f
D .
Para qualquer
f
D a temos
a x
a x
1 1
lim =

e portanto a funo
x
x f
1
) ( =
limitada na vizinhana do ponto a .
Realmente, na base da definio do limite segundo Cauchy
< + < < > >
a x
a x a x a
1 1
) ( ) ( : 0 ) ( , 0 .
Porque

x a
a x
x a
x a
x a
x a
a x

=
1 1
e quando a x com 0 0 > > x a ( e tambm
com 0 0 < < x a ) tem-se
2 2 2
2 2
a a a
a x a = = > .
Ento < <

<

=
2
2
1 1
2
2
a
a x
a
a x
x a
a x
a x

e conclumos que 0 ) ( , 0 > > tal que
= < <
2
) ( ) ( 0
2
1
a
a x
implica <
a x
1 1
, isto ,
a x
a x
1 1
lim =

.
Porque + = |

\
|
+

x
x
1
lim
0
e = |

\
|

x
x
1
lim
0
, a funo
x
x f
1
) ( = infinitamente
grande quando 0 x e portanto no limitada na vizinhana do ponto 0 = x .
Definio 11. A funo ) (x f de domnio
f
D diz-se infinitamente pequeno em a ou
infinitamente pequeno quando x tende para o ponto de acumulao a de
f
D ,
{ } ( ) + , U I R D a
f
, se 0 ) ( lim =

x f
a x
.
Simbolicamente, utilizando a definio do limite segundo Cauchy, tem-se:
< < < > > =

) ( ) ( 0 : 0 ) ( , 0 0 ) ( lim x f a x D x x f
f
a x
.


Matematica 1 Anatolie Sochirca ACM DEETC ISEL

19
Exemplo 11.
A funo
2
) 2 ( ) ( = x x f tem o domnio R D
f
= e 2 = x ponto de acumulao de
f
D . A funo infinitamente pequeno quando 2 x .
Realmente, utilizando a definio do limite segundo Cauchy, temos:
. ) 2 ( ) ( 2 0 : 0 ) ( , 0 0 ) 2 ( lim
2 2
2
< < < > > =

x x D x x
f
x

Porque
( ) < < < < < 2 2 2 ) 2 (
2
2
x x x x ,
conclumos que com =
1
tem-se
< < <
2
) 2 ( ) ( 2 0 x x D x
f
, isto , a funo
2
) 2 ( ) ( = x x f
infinitamente pequeno quando 2 x .
a) A funo
2
) 1 (
) (

=
x
x
x f tem o domnio { } 1 \ R D
f
= e infinitamente
pequeno quando + x .
Realmente, utilizando a definio do limite segundo Cauchy, temos:




<

)
`

> = + > > =

+
2
) (
2
) 1 ( ) (
1
: ) ( : 0 ) ( , 0 0
) 1 (
lim
x
x
x R x V x
x
x
x
Porque
( ) ( ) ( )
.
2
1
1
2
1
1 2
1
1 1
1
1 ) 1 (
) 1 ( ) 1 (
2 2 2 2 2

> <


<

+
=

x
x
x
x
x
x
x
x
x
x
x
x
Quando + x temos
2
1 2 2
1
2
1
2
1
+
=
+
= + > > >


x x x .
Conclumos que com
2
1
+
=

tem-se



<

)
`

> = +
2 ) (
) 1 ( ) (
1
: ) (
x
x
x R x V x ,
isto , a funo
2
) 1 (
) (

=
x
x
x f infinitamente pequeno quando + x .
Teorema 4. A funo ) (x f tem limite b quando a x se e s se existe uma
vizinhana ) (a V

na qual ) ( ) ( x b x f + = onde ) (x um infinitamente pequeno


quando a x .
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

20
Demonstrao.
Se b x f
a x
=

) ( lim na base da definio do limite segundo Cauchy temos


< < < < > > ) ( ) ( ) ( 0 : 0 ) ( , 0 x b x f a x D x
f
,
isto , ) ( ) ( x b x f + = onde ) (x um infinitamente pequeno quando a x .
Seja ) ( ) ( x b x f + = , onde ) (x um infinitamente pequeno quando a x .
Ento ) ( ) ( x b x f = e ) ( ) ( x b x f = . Na base da definio do infinitamente pequeno
quando a x temos:
< < < < > > b x f x a x D x
f
) ( ) ( ) ( 0 : 0 ) ( , 0 ,
isto , b x f
a x
=

) ( lim .
O teorema est demonstrado.

Teorema 5. A soma de um nmero finito de infinitamente pequenos em a ,
) ( ) ( ) ( ) (
1 2 1
x x x x
n n
+ + + +

L , infinitamente pequeno em a .
Demonstrao.
Porque ) ( ), ( ), ( ), (
1 2 1
x x x x
n n


L so infinitamente pequenos em a na base da definio
do infinitamente pequeno quando a x temos:
n
x a x D x x
f
a x

< < < > > =

) ( ) ( 0 : 0 ) ( , 0 0 ) ( lim
1 1 1 1
;
n
x a x D x x
f
a x

< < < > > =

) ( ) ( 0 : 0 ) ( , 0 0 ) ( lim
2 2 2 2
;
..........................................................................................
..........................................................................................
..........................................................................................
n
x a x D x x
n f n n
a x

< < < > > =

) ( ) ( 0 : 0 ) ( , 0 0 ) ( lim
2
.
Escolhendo { } ) ( ), ( ), ( ), ( min ) (
1 2 1

n n
= L para ) ( < a x temos
simultaneamente
n
x
n
x
n
x
n

< < < ) ( , , ) ( , ) (


2 1
L e ento


= + + + < + + + + + +
4 4 3 4 4 2 1
L L L
termos n
n n
n n n
x x x x x x ) ( ) ( ) ( ) ( ) ( ) (
2 1 2 1
, isto
, ) ( ) ( ) ( ) (
1 2 1
x x x x
n n
+ + + +

L infinitamente pequeno em a .
O teorema est demonstrado.

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

21
Teorema 6. O produto de um infinitamente pequeno em a , ) (x , por uma funo
limitada numa vizinhana de a um infinitamente pequeno em a .
Demonstrao.
Seja ) (x f uma funo limitada numa vizinhana ) (a V

de a , isto , para
< a x D x
f
tem-se L x f ) (
e seja ) (x um infinitamente pequeno quando a x , isto ,
L
x a x D x
f

< < < > > ) ( ) ( 0 : 0 ) ( , 0


1 1
.
Escolhendo { } ) ( ), ( min ) (
1 2
= para ) ( 0
2
< < a x temos:
, ) ( ) ( ) ( ) ( ) ( 0 : 0 ) ( , 0
2 2

= < = < < > > L


L
x f x x f x a x D x
f
isto , ) ( ) ( x f x um infinitamente pequeno quando a x .
O teorema est demonstrado.
Corolrio 1.6. O produto de qualquer nmero de infinitamente pequenos em a um
infinitamente pequeno em a .

Corolrio 2.6. Se ) (x e um infinitamente pequeno em a e C x f = ) ( ( uma funo
constante) ento [ ] [ ] 0 ) ( lim ) ( ) ( lim = =

x C x x f
a x a x
.

Exemplo 12.
0
2
1
) 2 ( lim
2
=
(

\
|

x
sen x
x
, porque ) 2 ( x infinitamente pequeno quando 2 x
e 1
2
1
1 |

\
|


x
sen quando 2 x .
Teorema 7. O quociente de um infinitamente pequeno em a , ) (x , e uma funo
cujo limite diferente de zero quando a x um infinitamente pequeno em a .
Demonstrao.
Seja 0 ) ( lim =

x
a x
e 0 , ) ( lim =

b b x f
a x
.
Demonstremos que se 0 , ) ( lim =

b b x f
a x
ento
) (
1
x f
funo limitada quando
a x . Na base da definio do limite segundo Cauchy a desigualdade < b x f ) ( se verifica
para qualquer 0 > e porque b diferente de zero consideremos b < < 0 .
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

22
Temos + < < < b x f b b x f ) ( ) ( e ( ) ) 0 ( 0 0 > < b b b .
Para 0 < b e b < < 0 temos
0 ) ( 0 ) ( 0 ) ( > > > + > > > + < + < < b x f b b x f b b x f b
e portanto

< = <
+
<
b x f x f b
1
) (
1
) (
1 1
0 .
Para 0 > b e b b = < < 0 temos
+ < < < + < < < b x f b b x f b ) ( 0 ) ( 0
e portanto

< = <
+
<
b x f x f b
1
) (
1
) (
1 1
0 .
Por conseguinte a funo
) (
1
x f
limitada quando a x .
Ento na base do teorema 6
) (
1
) (
) (
) (
x f
x
x f
x
=

um infinitamente pequeno em a , isto ,


0
) (
) (
lim =

x f
x
a x

.
O teorema est demonstrado.

Teoremas sobre limites.

Teorema 8. O limite finito de uma funo num ponto, quando existe, nico.
Demonstrao.
Seja ) (x f uma funo definida em
f
D e a um ponto de acumulao de
f
D .
Demonstremos o teorema supondo o contrrio, isto , que a funo ) (x f tem dois limites
quando a x , A x f
a x
=

) ( lim e B x f
a x
=

) ( lim .
Na base da definio do limite segundo Cauchy temos:
,
2
) ( ) ( 0 : 0 ) ( , 0 ) ( lim
1 1

< < < > > =

A x f a x D x A x f
f
a x

.
2
) ( ) ( 0 : 0 ) ( , 0 ) ( lim
2 2

< < < > > =

B x f a x D x B x f
f
a x

Escolhendo { } ) ( ), ( min ) (
2 1
= para qualquer 0 > e para ) ( 0 < < a x
temos:
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

23
[ ] [ ]
.
2 2
) ( ) (
) ( ) ( ) ( ) ( ) ( ) (


= + < + =
= + + = + =
B x f A x f
B x f x f A B x f x f A B x f x f A B A
Portanto
. 0 ) ( 0 : 0 ) ( , 0 B A B A B A a x D x
f
= = < < < > >
O teorema est demonstrado.

Teorema 9. Se a funo toma um valor constante C numa vizinhana do ponto de
acumulao a do seu domnio
f
D ento C x f
a x
=

) ( lim .
Demonstrao.
Seja ) (x f uma funo definida em
f
D , a um ponto de acumulao de
f
D e
0 > tal que { } a a V x \ ) (

se tem C x f = ) ( .
Escolhendo ) ( ) (
1
na base da definio do limite segundo Cauchy temos:
< = = < < > > 0 ) ( ) ( 0 : 0 ) ( , 0
1 1
C C C x f a x D x
f
,
isto , C x f
a x
=

) ( lim .
O teorema est demonstrado.
Teorema 10. Se as funes ) (x f e ) (x g tm limites finitos quando a x e
A x f
a x
=

) ( lim , B x g
a x
=

) ( lim , ento:
1) [ ] B A x g x f
a x
+ = +

) ( ) ( lim ; 2) [ ] B A x g x f
a x
=

) ( ) ( lim ;
3) [ ] B A x g x f
a x
=

) ( ) ( lim ; 4)
B
A
x g
x f
a x
=
(

) (
) (
lim , com 0 B ;
5) [ ]
B x g
a x
A x f =

) (
) ( lim , com 0 > A
Demonstrao.
Seja A x f
a x
=

) ( lim e B x g
a x
=

) ( lim . Na base do teorema 4 quando a x temos


) ( ) ( x A x f + = e ) ( ) ( x B x g + = ,
onde A, B so constantes e ) (x , ) (x so infinitamente pequenos quando a x .
Portanto temos:
1)
[ ] [ ] ) ( ) ( lim ) ( ) ( lim x B x A x g x f
a x a x
+ + + = +

. Na base do teorema 5 ) ( ) ( x x +
infinitamente pequeno quando a x e na base do teorema 4 obtemos:
[ ] [ ] ( ) ( ) [ ] B A x x B A x B x A x g x f
a x a x a x
+ = + + + = + + + = +

) ( ) ( lim ) ( ) ( lim ) ( ) ( lim .

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

24
2)
[ ] ( ) ( ) [ ] ( ) ( ) [ ] ) ( ) ( lim ) ( ) ( lim ) ( ) ( lim x x B A x B x A x g x f
a x a x a x
+ = + + =

.
Na base do teorema 5 )) ( ( ) ( ) ( ) ( x x x x + = infinitamente pequeno quando
a x e na base do teorema 4 obtemos:
[ ] ( ) ( ) [ ] ( ) ( ) [ ] B A x x B A x x B A x g x f
a x a x a x
= + + = + =

)) ( ( ) ( lim ) ( ) ( lim ) ( ) ( lim .

3)
[ ] ( ) ( ) [ ] [ ] ) ( ) ( ) ( ) ( lim ) ( ) ( lim ) ( ) ( lim x x B x x A B A x B x A x g x f
a x a x a x
+ + + = + + =


Quando a x na base do corolrio 2.6 ) (x A e B x ) ( so infinitamente pequenos, na base do
corolrio 1.6 ) ( ) ( x x infinitamente pequeno na base do teorema 5
) ( ) ( ) ( ) ( ) ( x x B x x A x + + = infinitamente pequeno. Portanto na base do teorema 4

[ ] [ ] [ ] B A x B A x x B x x A B A x g x f
a x a x a x
= + = + + + =

) ( lim ) ( ) ( ) ( ) ( lim ) ( ) ( lim .

4)
Com 0 B ,
=
(

|
|

\
|

+
+
+ =
(

+
+
=
(


B
A
x B
x A
B
A
x B
x A
x g
x f
a x a x a x
) (
) (
lim
) (
) (
lim
) (
) (
lim

+

+ =
(

+
+
+ =

)) ( (
) ( ) (
lim
)) ( (
) ( ) (
lim
x B B
A x B x
B
A
x B B
A x AB B x B A
B
A
a x a x


.
Quando a x na base do teorema 6 e do teorema 5 ) ( ) ( ) ( x A x B x = infinitamente
pequeno e 0 )) ( (
2
+ B x B B . Ento na base do teorema 7 e do teorema 4 obtemos

B
A
x B B
x
B
A
x g
x f
a x a x
=
(

+
+ =
(


)) ( (
) (
lim
) (
) (
lim


.
O teorema est demonstrado.



Nota 7.
As frmulas do teorema 10 so aplicveis e nos seguintes casos:
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

25
1)
[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
) ( lim ) ( lim , ) ( ) ( lim
(

= =
(

= =

= = = +

x g x f B x g x f
x g A x f se x g x f
a x
a x
a x
a x
a x
a x
a x
>

[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
) ( lim ) ( lim , ) ( ) ( lim
(

+ = + =
(

= + =

+ = = + = +

x g x f B x g x f
x g A x f se x g x f
a x
a x
a x
a x
a x
a x
a x
>

[ ] , ) ( ) ( lim = +

x g x f
a x
> indeterminao, se
. ) ( lim ) ( lim ) ( lim ) ( lim
(

= + =
(

+ = =

x g x f x g x f
a x
a x
a x
a x

2)
[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
) ( lim ) ( lim , ) ( ) ( lim
(

+ = =
(

= =

+ = = =

x g x f B x g x f
x g A x f se x g x f
a x
a x
a x
a x
a x
a x
a x
>

[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
) ( lim ) ( lim , ) ( ) ( lim
(

= + =
(

= + =

= = + =

x g x f B x g x f
x g A x f se x g x f
a x
a x
a x
a x
a x
a x
a x
>

[ ] , ) ( ) ( lim =

x g x f
a x
> indeterminao, se
. ) ( lim ) ( lim ) ( lim ) ( lim
(

= =
(

+ = + =

x g x f x g x f
a x
a x
a x
a x

3)
[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
0 ) ( lim ) ( lim 0 ) ( lim ) ( lim
) ( lim 0 ) ( lim ) ( lim 0 ) ( lim
, ) ( ) ( lim
(

= + =
(

+ = =

< = + =
(

> = =

+ = < =
(

= > =
=

x g x f x g x f
B x g x f B x g x f
x g A x f x g A x f
se x g x f
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
>

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

26
[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
0 ) ( lim ) ( lim 0 ) ( lim ) ( lim
) ( lim 0 ) ( lim ) ( lim 0 ) ( lim
, ) ( ) ( lim
(

= =
(

+ = + =

> = + =
(

< = =

= < =
(

+ = > =
+ =

x g x f x g x f
B x g x f B x g x f
x g A x f x g A x f
se x g x f
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
>

[ ] , 0 ) ( ) ( lim =

x g x f
a x
> indeterminao, se
. 0 ) ( lim ) ( lim 0 ) ( lim ) ( lim
) ( lim 0 ) ( lim ) ( lim 0 ) ( lim
(

= + =
(

= =

= =
(

+ = =

x g x f x g x f
x g x f x g x f
a x
a x
a x
a x
a x
a x
a x
a x

4)

; 0 ) ( lim ) ( lim 0 ) ( lim ) ( lim
,
) (
) (
lim
(

< = + =
(

> = =
=
(

B x g x f B x g x f
se
x g
x f
a x
a x
a x
a x
a x
>

; 0 ) ( lim ) ( lim 0 ) ( lim ) ( lim
,
) (
) (
lim
(

< = =
(

> = + =
+ =
(

B x g x f B x g x f
se
x g
x f
a x
a x
a x
a x
a x
>

; ) ( lim ) ( lim ) ( lim ) ( lim
, 0
) (
) (
lim
(

+ = =
(

= =
=
(

x g A x f x g A x f
se
x g
x f
a x
a x
a x
a x
a x
>


,
0
0
) (
) (
lim =
(

x g
x f
a x
> indeterminao, se ; 0 ) ( lim 0 ) ( lim = =

x g x f
a x
a x


,
) (
) (
lim

=
(

x g
x f
a x
> indeterminao, se
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

27

+ = + =
(

= =

) ( lim ) ( lim ) ( lim ) ( lim x g x f x g x f


a x
a x
a x
a x

. ) ( lim ) ( lim ) ( lim ) ( lim
(

= + =
(

= + =

x g x f x g x f
a x
a x
a x
a x

5)
[ ]
; ) ( lim ) ( lim 0 ) ( lim ) ( lim
) ( lim 1 ) ( lim ) ( lim 1 0 , ) ( lim
, 0 ) ( lim
) (
(

= + =
(

< = + =

= > =
(

+ = < < =
=

x g x f B x g x f
x g A x f x g A A x f
se x f
a x
a x
a x
a x
a x
a x
a x
a x
x g
a x
>

[ ]
; ) ( lim ) ( lim 0 ) ( lim ) ( lim
) ( lim 1 0 , ) ( lim ) ( lim 1 ) ( lim
, ) ( lim
) (
(

+ = + =
(

> = + =

= < < =
(

+ = > =
+ =

x g x f B x g x f
x g A A x f x g A x f
se x f
a x
a x
a x
a x
a x
a x
a x
a x
x g
a x
>


[ ] , 0 ) ( lim
0 ) (
=

x g
a x
x f > indeterminao, se ; 0 ) ( lim 0 ) ( lim = =

x g x f
a x
a x


[ ] , ) ( lim
0 ) (
=

x g
a x
x f > indeterminao, se ; 0 ) ( lim ) ( lim = + =

x g x f
a x
a x


[ ] , 1 ) ( lim
) (

=
x g
a x
x f > indeterminao, se

. ) ) ( lim ) ( lim ( 1 ) ( lim + = = =

x g x g x f
a x a x
a x

Nota. Existem s 7 tipos de indeterminaes :
. , 0 , 1 , , 0 , ,
0
0
0 0




Matematica 1 Anatolie Sochirca ACM DEETC ISEL

28
Teorema 11. (Teorema da funo enquadrada) . Se numa vizinhana do ponto a se
tem ) ( ) ( ) ( x h x f x g e A x h x g
a x a x
= =

) ( lim ) ( lim ento A x f
a x
=

) ( lim .
Demonstrao.
Porque A x g
a x
=

) ( lim ento existe uma vizinhana ) (


1
a V

na qual ) ( ) ( x A x g + = onde
) (x um infinitamente pequeno quando a x e existe uma vizinhana ) (
2
a V

na qual
) ( ) ( x A x h + = onde ) (x um infinitamente pequeno quando a x .
Escolhendo { }
2 1
, min = obtemos que na vizinhana ) (a V

tem-se
[ ] [ ]
, ) ( lim
) ( lim ) ( lim ) ( lim ) ( ) ( ) (
A x f A
x A x f x A x A x f x A
a x
a x a x a x

+ + + +




Isto , A x f
a x
=

) ( lim
O teorema est demonstrado.


Clculo dos limites.

No clculo dos limites aplicamos os teoremas da lgebra dos limites. Se a
aplicao dos teoremas no conduz um smbolo de indeterminao, o limite fica
calculado.
Se a aplicao dos teoremas conduz um smbolo de indeterminao e
necessrio efectuar clculos que permitem evitar a indeterminao, isto , levantar a
indeterminao.
A seguir so apresentados alguns limites de base que permitem evitar a
indeterminao.

a) Limite de um quociente de dois polinmios.

1) Calculando
) (
) (
x Q
x P
m i l
n
m
x
pode ocorrer indeterminao de tipo

e para
levantar a indeterminao efectuamos os clculos:

=
+ + + + + +
+ + + + + +
=





n n n
n n n
m m m
m m m
x
n
m
x b x b x b x b x b x b
a x a x a x a x a x a
im l
x Q
x P
m i l
1
2
2
2
2
1
1 0
1
2
2
2
2
1
1 0
) (
) (
L
L

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

29

=
|

\
|
+ + + + + +
|

\
|
+ + + + + +
=


n
n
n
n
n
n n
m
m
m
m
m
m m
x
x
b
x
b
x
b
x
b
x
b
b x
x
a
x
a
x
a
x
a
x
a
a x
im l
1
1
2
2
2
2 1
0
1
1
2
2
2
2 1
0
L
L

>
=
<
=
|
|
|
|

\
|
+ + + + + +
+ + + + + +
=


. ,
; ,
; , 0
0
0
1
1
2
2
2
2 1
0
1
1
2
2
2
2 1
0
n m se
n m se
b
a
n m se
x
b
x
b
x
b
x
b
x
b
b
x
a
x
a
x
a
x
a
x
a
a
x im l
n
n
n
n
n
n
m
m
m
m
m
m
n m
x
L
L


2) Calculando
) (
) (
x Q
x P
m i l
n
m
c x
pode ocorrer indeterminao de tipo
0
0
, isto ,
c x = raiz dos polinmios ) (x P
m
e ) (x Q
m
, ento para levantar a indeterminao
efectuamos os clculos:

(
(

) (
) (
) ( ) (
) ( ) (
) (
) (
x Q
x P
im l
x Q c x
x P c x
m i l
x Q
x P
m i l
p n
k m
c x
p n
k m
c x
n
m
c x
.

Geralmente, se c x = raiz de multiplicidade k do polinmio ) (x P
m
e c x =
raiz de multiplicidade p do polinmio ) (x Q
m
, ento para levantar a indeterminao
efectuamos os clculos:

< =
=
> =
=
(
(


. ,
) (
) (
; ,
) (
) (
; , 0
) (
) (
0
) (
) (
) (
) ( ) (
) ( ) (
) (
) (
p k se
c Q
c P
p k se
c Q
c P
p k se
c Q
c P
x Q
x P
c x im l
x Q c x
x P c x
m i l
x Q
x P
m i l
p n
k m
p n
k m
p n
k m
p n
k m p k
c x
p n
p
k m
k
c x
n
m
c x


Matematica 1 Anatolie Sochirca ACM DEETC ISEL

30
b) Limites notveis.

1) Se 0 ) ( =

x U m i l
a x
, ento 1
) (
) (
=
x U
x U sen
m i l
a x
;
2) Se 0 ) ( =

x U m i l
a x
, ento 1
) (
) (
=
x U
x U tg
m i l
a x
;
3) Se 0 ) ( =

x U m i l
a x
, ento 1
) (
) (
=
x U
x U arcsen
m i l
a x
;
4) Se 0 ) ( =

x U m i l
a x
, ento 1
) (
) (
=
x U
x U arctg
m i l
a x
;
5) Se 0 ) ( =

x U m i l
a x
, ento 1
) (
1
) (
=

x U
e
m i l
x U
a x
;
6) Se 0 ) ( =

x U m i l
a x
, ento c n l
x U
c
m i l
x U
a x
=

) (
1
) (
;
7) Se 0 ) ( =

x U m i l
a x
, ento
[ ]
1
) (
1 ) (
=
+
x U
x U n l
m i l
a x
;
8) Se 0 ) ( =

x U m i l
a x
, ento
[ ]
c n l x U
x U og l
m i l
c
a x
1
) (
1 ) (
=
+

;
9) Se + =

) (x U m i l
a x
, ento
[ ]
R p
x U
e
m i l
p
x U
a x
+ =

,
) (
) (
;
10) Se + =

) (x U m i l
a x
, ento
[ ]
1 ,
) (
) (
> + =

c R p
x U
c
m i l
p
x U
a x
;
11) Se + =

) (x U m i l
a x
, ento
[ ]
[ ]
R p
x U
x U n l
m i l
p
a x
=

, 0
) (
) (
;
12) Se + =

) (x U m i l
a x
, ento
[ ]
[ ]
1 , 0
) (
) (
> =

c R p
x U
x U og l
m i l
p
c
a x
;
13) Se =

) (x U m i l
a x
, ento
k
x U
a x
e
x U
k
m i l =
|
|

\
|
+

) (
) (
1 ;
14) Se 0 ) ( =

x U m i l
a x
, ento
k
x U
a x
e x U k m i l = |

\
|
+

) (
1
) ( 1 .



Matematica 1 Anatolie Sochirca ACM DEETC ISEL

31
c) Transformao das indeterminaes.

Os mtodos apresentados permitem levantar as indeterminaes de forma
0
0
,

ou

1 . As indeterminaes , 0 ,
0
0 ,
0
e

1 devem ser transformados


em indeterminaes de forma
0
0
ou

.
c.1) Indeterminao .
Se + =

) ( lim x f
a x
e + =

) ( lim x g
a x
(ou =

) ( lim x f
a x
e =

) ( lim x g
a x
) ento
[ ]
|

\
|
=

= =

0
0
) (
1
) (
1
) (
1
) (
1
lim ) ( ) ( ) ( lim
x g x f
x f x g
x g x f
a x a x
.

c.2) Indeterminao 0 .
Se 0 ) ( lim =

x f
a x
e =

) ( lim x g
a x
ento
[ ] |

\
|
= = =

0
0
) (
1
) (
lim ) 0 ( ) ( ) ( lim
x g
x f
x g x f
a x a x

ou
[ ] |

\
|

= = =

) (
1
) (
lim ) 0 ( ) ( ) ( lim
x f
x g
x g x f
a x a x


c.3) Indeterminaes
0
0 ,
0
e

1 .

Aplicando a propriedade da funo logartmica temos:

[ ] ( ) [ ] ( ) [ ] ( ) [ ] , 0 ) ( ) ( lim ) ( lim 0 ) ( lim
) ( 0 ) (
|

\
|
= = = =

x f n l x g xp e x f n l xp e x f
a x
x g
a x
x g
a x

se
( ) ( ) ( ). ) ( lim 1 ) ( lim 0 ) ( lim ) ( lim 0 ) ( lim 0 ) ( lim = = = = = =

x g x f x g x f x g x f
a x a x a x a x a x a x


Matematica 1 Anatolie Sochirca ACM DEETC ISEL

32
d) Exemplos de clculo de limites.

Exemplo 1.

= |

\
|
=
+

=
+

0
0
15 5 13 5 2
10 5 2
15 13 2
10 2
2 2
5
inao eterm ind
x x
x
im l
x

Porque 5
2
3
0 15 13 2
2
= = = + x x x x temos:
7
2
2
3
5
1
2
3
1
) 5 (
2
3
2
) 5 ( 2
5 5
=

=
|

\
|

=
|

\
|

=

x x x
x
im l im l
x x
;

Exemplo 2.

= |

\
|
=
+
+
=
+
+

0
0
1 1 1 1 3 1 4
1 1 4 1 3
1 3 4
1 4 3
2 3 4
2 3
2 3 4
2 3
1
inao eterm ind
x x x x
x x
im l
x


=
+

=
+ +
+
=

) 1 ( ) ( ) ( 3
) 1 ( ) ( 3
1 3 3
1 3 3
2 4 3 4
2 2 3
1
2 4 3 4
2 2 3
1
x x x x x
x x x
x x x x x
x x x
im l im l
x x


=
+ +

=
+ +
+
=

) 1 ) 1 ( 3 )( 1 (
) 1 3 )( 1 (
) 1 ( ) 1 )( 1 ( ) 1 ( 3
) 1 )( 1 ( ) 1 ( 3
2 3
2
1
2 3
2
1
x x x x
x x x
x x x x x x
x x x x
im l im l
x x


4
1
) 1 ) 1 1 ( 1 1 3 (
) 1 1 1 3 (
) 1 ) 1 ( 3 (
) 1 3 (
2 3
2
2 3
2
1
=
+ +

=
+ +

=

x x x
x x
im l
x
.

Exemplo 3.

= |

\
|
=

0
0
5 5
2 1 5
5
2 1
5
inao eterm ind
x
x
im l
x


( )
=
+

=
+

=
+
+
=

) 2 1 )( 5 (
5
) 2 1 )( 5 (
4 1
) 2 1 )( 5 (
) 2 1 )( 2 1 (
5
2
5 5
x x
x
x x
x
x x
x x
im l im l im l
x x x

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

33

4
1
2 1 5
1
2 1
1
5
=
+
=
+
=

x
im l
x
.

Exemplo 4.

= |

\
|
=
+

=
+

0
0
2 2 2
2 3 2 2
2
3 2
2 2
2
inao eterm ind
x x
x x
im l
x


( )( )( )
( )( )( )
=
+
+ +
=
+ + + +
+ + +
=
) 3 2 ( ) 2 (
) 2 ( ) ) 3 ( 4 (
3 2 2 2
3 2 2 3 2
2 2
2 2
2
2
2 2
2 x x x x
x x x x
x x x x x x
x x x x x x
im l im l
x x


( )( )
( )
( ) ( )
( )
=
+ +
+ + +
=
+ +
+ +
=
x x x x
x x x x
x x x x
x x x
im l im l
x x 3 2 ) 2 ( ) 1 (
2 ) 2 ( 2 3
3 2 ) 2 )( 1 (
2 4 3
2
2
2
2
2


( ) ( )
( )
( ) ( )
( )
4
2 3 2 2 ) 1 2 (
2 2 2 2 2 3
3 2 ) 1 (
2 2 3
2 2
2
=
+ +
+ + +
=
+ +
+ + +
=
x x x
x x x
im l
x
.

Exemplo 5.

( ) ( ) = = + +
+
inao eterm ind x x x
im l
x
1 6
2


( ) ( ) [ ]
=
|
|

\
|
+ + +
+ +
=
|
|

\
|
+ + +
+ + + + +
=
+ + x x x
x x x
x x x
x x x x x x
im l im l
x x 1 6
1 6
1 6
1 6 1 6
2
2
2
2
2
2 2


=
+ + +
+
=
+ x x x
x
im l
x 1 6
1 6
2
=
|
|

\
|
+ + +
|

\
|
+
+
1
1 6
1
1
6
2
x x
x
x
x
im l
x

Matematica 1 Anatolie Sochirca ACM DEETC ISEL

34
=
|
|

\
|
+ + +
|

\
|
+
=
+
1
1 6
1
1
6
2
x x
x
im l
x
( )
( )
3
1 0 0 1
0 6
=
+ + +
+
.

Exemplo 6.
=
|
|
|
|

\
|
= = |

\
|
=

x
x tg
x
x sen
x
x
x
x tg x
x
x sen x
inao eterm ind
x tg
x sen
im l im l im l
x x x
5
) 5 (
10
) 10 (
5
10
5
) 5 ( 5
10
) 10 ( 10
0
0
) 5 (
) 10 (
0 0 0

( ) 2
1
1
2
5
) 5 (
10
) 10 (
2
5
) 5 (
10
) 10 (
2
5
) 5 (
10
) 10 (
2
0
0
0 0 0
= =
|

\
|
|

\
|
=
|
|
|
|

\
|
=
|
|
|
|

\
|
=


x
x tg
x
x sen
x
x tg
x
x sen
x
x tg
x
x sen
im l
im l
im l im l im l
x
x
x x x
.
Exemplo 7.

= |

\
|
=

0
0
0
0
1 1
1 1
9 cos 3 cos
5 cos cos
0
inao eterm ind
x x
x x
im l
x


Aplicando a frmula
2 2
2 cos cos
y x
sen
y x
sen y x

+
= temos
( ) ( )
( ) ( )
=


=
|

\
|
|

\
| +

|

\
|

\
| +

=

x sen x sen
x sen x sen
x x
sen
x x
sen
x x
sen
x x
sen
im l im l
x x
3 6 2
2 3 2
2
9 3
2
9 3
2
2
5
2
5
2
0 0


( ) ( )
( ) ( )
( )
( )
=
|
|
|
|

\
|
= = =

=

x
x sen
x
x sen
x
x
x
x xsen
x
x xsen
x sen
x sen
x sen x sen
x sen x sen
im l im l im l im l
x x x x
6
) 6 (
2
) 2 (
6
2
6
) 6 ( 6
2
) 2 ( 2
6
2
3 6
2 3
0 0 0 0


3
1
6
) 6 (
2
) 2 (
6
2
6
) 6 (
2
) 2 (
6
2
6
) 6 (
2
) 2 (
6
2
0
0
0 0 0
=
|

\
|
|

\
|
|

\
|
=
|
|
|
|

\
|
=
|
|
|
|

\
|
=


x
x sen
x
x sen
x
x sen
x
x sen
x
x sen
x
x sen
x
x
im l
im l
im l im l im l
x
x
x x x
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

35
Exemplo 8.

= |

\
|
=

=
+

0
0
0
0
1 1
0
1 1
4
0
inao eterm ind
x
x sen
im l
x


( ) ( )
( ) ( )
( )
( )
( )
=
+ +
=
+
+ +
=
+ + +
+ +
=

x
x sen x
x
x sen x
x x
x x sen
im l im l im l
x x x
4 1 1
1 1
4 1 1
1 1 1 1
1 1 4
0
2
0 0


( ) =
(


+ + =

x
x sen
x
im l
x
4
4 4
1 1
0
( ) + +

1 1
0
x
im l
x
( ) 8 1 4 2
4
4
4
0 0
= =

x
x sen
im l im l
x x
.

Exemplo 9.
=
|
|

\
|

=
+
=
|

\
|
+

+
1 1 1
2
1
2
x
x
e
x
x
inao eterm ind
x
x
x
x
x
im l


=
|

\
|
+

+ =
|

\
|
+

+ =
|

\
|
+
+
=

+
+

+
+
+

+
1
2
2
) 1 (
1
2
1
1
1
2
1
1
1
1
1
1
1
1 1 x
x
x
x
x
x
x
x
x
x
x
x
x x x
x
im l im l im l


( )
e
e
im l
x x
x
x
x
x
x
x
x
x
x
im l im l
1
1
1
1
1
1
1
1
1
1
2
2
1
1
2
2
1
= =
(
(

\
|
+

+ =
(
(

\
|
+

+ =

+
+
+

+
+
.

Exemplo 10.
= |

\
|

=
+

= |

\
|
+

+
1 2
1 2
1 2
1 2
2
x
x
inao eterm ind
x
x
x
x
im l


= |

\
|
+

+ |

\
|
+

+ = |

\
|
+
+
=
+
+
+
+
1 1 2 1 1 2
1 2
2
1
1 2
2
1
1 2
2 1 2
x x x
x
x
x
x
x
im l im l


( )
2 1 2
1 1 2
0 1
1 2
2
1
1 2
2
1

+
+
+
= + = |

\
|
+

+ |

\
|
+

+ = e e
x x
im l im l
x
x
x
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

36
Exemplo 11.

( )
( )
=

+
= |

\
|
=
+

x
x
x sen
x sen
x sen
x sen n l
inao eterm ind
x sen
x sen n l
im l im l
x x
3
3
3
2
2
2 1
0
0
3
2 1
0 0

( ) ( )
=
|
|
|
|

\
|

+
=
|
|
|
|

\
|

+
=

x
x sen
x
x sen
x sen
x sen n l
x
x sen
x
x sen
x sen
x sen n l
im l im l
x x
2
2
3
2
3
3
2
2 1
3
2
3
3
2
2 1
0 0

( )
3
2
1
1
1
3
2
3
3
3
3
2
2 1
3
2
0
0
0
= = |

\
|

\
|
|
|

\
| +
=

x
x sen
x
x sen
x sen
x sen n l
im l
im l
im l
x
x
x
.

Exemplo 12.
( )
=

|
|

\
|
|

\
|

= |

\
|
=


1
2
1
2
0
0
1 2
2
0 0
e
x
e n l
x arcsen
inao eterm ind
x e n l
x arcsen
im l im l
x x

( )
= |

\
|
=
|

\
|

=

\
|
+
=

0
0
2
1
2
1
2
1
2
0 0
inao eterm ind
e
x
n l
x arcsen
e
x
n l e n l
x arcsen
im l im l
x x

=
|
|
|
|
|
|
|
|
|
|

\
|

|
|

\
|
|

\
|
+
=
|

\
|

|
|

\
|
|

\
|
+

=

e
x
x
e
x
e
x
n l
x
x arcsen
e
x
e
x
e
x
n l
x
x
x arcsen
im l im l
x x
2
2
2
2
1
2
2
2
2
2
1
2
2
2
0 0

e e e
e
x
e
x
n l
x
x arcsen
e
e
x
e
x
n l
x
x arcsen
im l
im l
im l
x
x
x
= =

|
|

\
|
|

\
|
+
=
|
|
|
|
|
|
|
|
|
|

\
|

|
|

\
|
|

\
|
+
=

) (
1
1
) (
2
2
1
2
2
) (
2
2
1
2
2
0
0
0
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

37
Exemplo 13.
=
+
+ +
= |

\
|
=


)) 1 ( 1 (
) 1 ( ) 1 (
0
0 1
2
1
3
1
x n l
x x x
inao eterm ind
x n l
x
im l im l
x x

3 3 1 ) 1 (
)) 1 ( 1 (
1
) 1 (
)) 1 ( 1 (
1
2
1 1
2
1
= = + +
+

=
|
|

\
|
+ +
+

=

x x
x n l
x
x x
x n l
x
im l im l im l
x x x
.

Exemplo 14.
( ) ( )
= |

\
|
=


=


= |

\
|
=


0
0
)) 2 ( (
1
) 2 (
1
0
0
) (
2 2
2
2 2
2
2
2
x sen
e e
x sen
e e
x sen
e e
x
x
x
x
x
x
im l im l im l


( )
( )
=



) 2 (
) 2 (
)) 2 ( (
) 2 (
2
1
)) 2 ( (
1
2
2
2
2
2
2
x
x
x sen
x
x
e
e
x sen
e
e
x
x
x
x
im l im l


( )

2
2
2
2 2
1
) 2 (
)) 2 ( (
2
1
e
x
x sen
x
e
e
im l
im l
x
x
x
=

.

Exemplo 15.
( ) ( )
( )
( )
( )
=
+

=
+
+
= |

\
|
=



) ( 5 2
5 4
) ( 5 2
5 2 5 2
0
0
) (
5 2
2
1 1 1
x sen x
x
x sen x
x x
x sen
x
im l im l im l
x x x


( )
=
+

) ( 5 2
1
1
x sen x
x
im l
x


Utilizando a frmula de reduo sen sen = ) ( temos
) ( ) ( = x sen x sen
na continuao temos:
( ) ( )
=
|
|

\
|

+
=
+

=

)) 1 ( (
1
5 2
1
) ) ( ( 5 2
1
1 1
x sen
x
x x sen x
x
im l im l
x x




( )
=
|
|

\
|

+
=

)) 1 ( (
) 1 (
5 2
1
1
x sen
x
x
im l
x


( )

4
1
1
4
1
)) 1 ( (
) 1 (
5 2
1
1 1
=

+
=

x sen
x
x
im l im l
x x
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

38
2. CONTINUIDADE.
Continuidade num ponto.

Seja R R D f
f
: e
f
D a um ponto de acumulao do domnio
f
D .
Definio 12. A funo ) (x f de domnio
f
D diz-se continua no ponto de
acumulao
f
D a se o limite dela quando x tende para a igual ao seu valor no
ponto a , isto , ) ( ) ( lim a f x f
a x
=

.
A definio apresentada pode ser dada na outra forma utilizando as definies do limite.
Definio 13. (continua em
f
D a segundo Heine). A funo ) (x f de domnio
f
D diz-se continua no ponto de acumulao
f
D a se qualquer sucesso
K K , , , , ,
3 2 1 n
x x x x de valores do domnio diferentes de a , com limite a , corresponde
pela funo uma sucesso K K ), ( , ), ( ), ( ), (
3 2 1 n
x f x f x f x f com limite ) (a f , isto ,
[ ]
[ ]. ) ( ), ( , ), ( ), (
) , ( ) , , , , ( ) , , , , (
2 1
2 1 2 1
a f x f x f x f
N n a x a x x x D x x x
n
n n f n


K K
K K K K

Definio 14. (continua em D a segundo Cauchy). A funo ) (x f de domnio
f
D diz-se continua no ponto de acumulao
f
D a se
< < < > > ) ( ) ( ) ( 0 : 0 ) ( , 0 a f x f a x D x
f
.
Nota 8.
Porque a x
D a
a x
=

lim , para uma funo continua tem-se ) ( lim ) ( lim a f x f x f


D a
a x
D a
a x
=
|
|
|

\
|
=

.
Continuidade lateral num ponto.
Seja R R D f
f
: e
f
D a .
Definio 15.
Com a ponto de acumulao de ] [ a D
f
, I diz-se que a funo continua
esquerda em a se ) ( ) ( lim a f x f
D a
a x
=

.
Com a ponto de acumulao de ] [ + , a D
f
I diz-se que a funo continua
direita em a se ) ( ) ( lim a f x f
D a
a x
=

.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

39
Porque a continuidade de uma funo definida com aplicao do limite facilmente
demonstram-se os seguintes teoremas:
Teorema 12. A funo R R D f
f
: continua no ponto de acumulao
f
D a
se e s se continua esquerda e direita em a .
Teorema 13. Se as funes R R D f
f
: e R R D g
g
: so continuas no
ponto de acumulao
g f
D D a I , ento neste ponto so continuas e as funes:
1) ) ( ) ( x g x f + ; 2) ) ( ) ( x g x f ; 3) ) ( ) ( x g x f ;

4)
) (
) (
x g
x f
, com 0 ) ( a g .
Demonstrao.
Demonstremos a propriedade 4). Sejam ) (x f e ) (x g continuas no ponto de acumulao
g f
D D a I , isto , ) ( ) ( lim a f x f
a x
=

e ) ( ) ( lim a g x g
a x
=

. Na base do teorema 10 temos:


) (
) (
) ( lim
) ( lim
) (
) (
lim
a g
a f
x g
x f
x g
x f
a x
a x
a x
= =
(

, 0 ) ( a g ,
isto ,
) (
) (
x g
x f
continua no ponto de acumulao
g f
D D a I .
Teorema 14. (limite da funo composta) Se a funo R R D f
f
: tem limite b
no ponto de acumulao a do domnio ( b x f
a x
=

) ( lim ) e a funo R R D g
g
:
continua no ponto de acumulao
g
D b , ento a funo composta ( ) ) (x f g tem
limite no ponto de acumulao a e
( ) ( ) ) ( ) ( lim ) ( lim b g x f g x f g
a x a x
= =

.
Demonstrao.
Porque a funo R R D f
f
: tem limite b no ponto de acumulao a do domnio, na
base da definio do limite segundo Heine temos que qualquer sucesso de valores
K K , , , , ,
3 2 1 n
x x x x diferentes de a do domnio
f
D , com limite a , corresponde pela funo uma
sucesso K K ), ( , ), ( ), ( ), (
3 2 1 n
x f x f x f x f com limite b , isto ,
[ ]
[ ]. ), ( , ), ( ), (
) , ( ) , , , , ( ) , , , , (
2 1
2 1 2 1
b x f x f x f
N n a x a x x x D x x x
n
n n f n


K K
K K K K
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

40
Porque a funo R R D g
g
: continua no ponto de acumulao
g
D b na base da definio
da funo continua segundo Heine temos que qualquer sucesso de valores K K , , , , ,
3 2 1 n
u u u u
diferentes de b do domnio
g
D , com limite b , corresponde pela funo uma sucesso
K K ), ( , ), ( ), ( ), (
3 2 1 n
u g u g u g u g com limite ) (b g , isto ,
[ ]
[ ]. ) ( ), ( , ), ( ), (
) , ( ) , , , , ( ) , , , , (
2 1
2 1 2 1
b g u g u g u g
N n b u b u u u D u u u
n
n n g n


K K
K K K K
Levando em conta que o domnio da funo composta
f f g
D D
o
, obtemos que qualquer sucesso
de valores K K , , , , ,
3 2 1 n
x x x x diferentes de a , com limite a , do domnio
f g
D
o
corresponde pela
funo composta ( ) ) (x f g uma sucesso ( ) ( ) ( ) K K , ) ( , , ) ( , ) (
2 1 n
x f g x f g x f g com limite
) (b g . Isto significa que
( ) ( ) ) ( lim ) ( ) ( lim x f g b g x f g
a x a x
= = .
O teorema est demonstrado.
Analogamente se demonstra o
Teorema 15. (continuidade da funo composta) Se a funo R R D f
f
:
continua no ponto de acumulao a do domnio ( ) ( ) ( lim a f x f
a x
=

) e a funo
R R D g
g
: continua no ponto de acumulao
g
D a f ) ( , ento a funo
composta ( ) ) (x f g continua no ponto de acumulao a e
( ) ( ) )) ( ( ) ( lim ) ( lim a f g x f g x f g
a x a x
= =

.
Definio 16. Uma funo R R D f
f
: diz-se continua no intervalo ] [
f
D x x
1 0
,
se continua em todos pontos do intervalo, isto , ] [
1 0
, x x a tem-se
) ( ) ( lim a f x f
a x
=

.
Definio 17. Uma funo R R D f
f
: diz-se continua no segmento [ ]
1 0
, x x se
continua em todos pontos do intervalo ] [
1 0
, x x e continua esquerda em
1
x e
direita em
0
x , isto :
1) ] [
1 0
, x x a tem-se ) ( ) ( lim a f x f
a x
=

;
2) ) ( ) ( lim
1
1
x f x f
x x
=

;
3) ) ( ) ( lim
0
0
x f x f
x x
=
+

.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

41
Definio 18. Uma funo R R D f
f
: diz-se prolongvel por continuidade no
ponto
f
D a se:
1)
f
D a ;
2) b x f m i l
a x
=

) ( .
Neste caso define-se a funo prolongamento por continuidade de ) (x f , denotada por
) (
___
x f e

=
. ,
), (
) (
___
a x se b
D x se x f
x f
f

Definio 18. Uma funo R R D f
f
: diz-se descontinua no ponto de
acumulao
f
D a se no continua nem prolongvel por continuidade em a .
Neste caso diz-se que:

f
D a um ponto de descontinuidade de
a
1 espcie da funo ) (x f se existem e
so finitos ambos limites laterais em a , mas so diferentes, isto ,
R b b b b b x f m i l b x f m i l
a x a x
= =
+

2 1 2 1 2 1
, , , ) ( , ) ( .

f
D a um ponto de descontinuidade de
a
2 espcie da funo ) (x f se pelo
menos um dos limites laterais em a no existe ou infinito.




Matematica 1 Anatolie Sochirca ACM DEETC ISEL

42
Exemplos:
A funo

>
+
=
0 , 1
, 0 , 1
) (
2
2
x se x
x se x
x f tem em 0 = x um ponto de
descontinuidade de
a
1 espcie, porque
. 1 ) 1 ( ) ( , 1 ) 1 ( ) (
2
0 0
2
0 0
= = = + =
+

x m i l x f m i l x m i l x f m i l
x x x x


A funo
|

\
|
+
=
2
1
) (
x
sen x f tem em 2 = x um ponto de descontinuidade de
a
2
espcie, porque
(

\
|
+
=
(

\
|
+
=
+

+


2
1
) (
2
1
) (
2 2 2 2
x
sen m i l x f m i l e
x
sen m i l x f m i l
x x x x

no existem ( [ ] ) (x sen m i l
x
no existe ).
A funo
4
1
) (
2

=
x
x f tem em 2 , 2 = = x x descontinuidades de
a
2 espcie,
porque
=
(

= + =
(

=
+

+


4
1
) (
4
1
) (
2
2 2
2
2 2
x
m i l x f m i l e
x
m i l x f m i l
x x x x
;

+ =
(

= =
(

=
+

4
1
) (
4
1
) (
2
2 2
2
2 2
x
m i l x f m i l e
x
m i l x f m i l
x x x x
.


Matematica 1 Anatolie Sochirca ACM DEETC ISEL

43
A funo

>
+
=
0 ,
1
, 0 , 1
) (
2
x se
x
x se x
x f tem em 0 = x um ponto de
descontinuidade de
a
2 espcie, porque
.
1
) ( , 1 ) 1 ( ) (
0 0
2
0 0
+ = |

\
|
= = + =
+

x
m i l x f m i l x m i l x f m i l
x x x x


Notamos que para fazer o estudo da continuidade de uma funo dada
analiticamente vamos seguir o mtodo:
a) Determinar o domnio da funo e o seu conjunto derivado (o conjunto dos
pontos de acumulao do domnio);
b) Justificar a continuidade da funo nos subconjuntos do conjunto derivado
do domnio onde possvel aplicar os teoremas e as propriedades das funes
continuas;
c) Estudar a continuidade pela definio nos pontos onde os teoremas e as
propriedades no so aplicveis ( nos pontos de acumulao que no
pertencem ao domnio da funo ou nos pontos onde se tem a mudana da
expresso analtica da funo ).















Matematica 1 Anatolie Sochirca ACM DEETC ISEL

44
As propriedades das funes continuas num segmento.

Teorema 16 (de Bolzano). Se a funo ) (x f continua no segmento [ ] b a, ento
] [ ] [ ( ) ] [ b a c a f b f k ou b f a f k , ) ( , ) ( ) ( , ) ( tal que k c f = ) ( .
A interpretao geomtrica do teorema de Bolzano dada na figura seguinte.
Para a funo ) (x f e para o valor de k considerado existem trs pontos
] [ b a c c c , , ,
3 2 1
, tais que k c f c f c f = = = ) ( ) ( ) (
3 2 1
.

Para as funes no continuas em [ ] b a, o teorema de Bolzano no
aplicvel. A funo apresentada na figura seguinte definida mas no continua em
[ ] b a, , ) ( ) ( x f m i l x f m i l
c x c x
+

. Neste exemplo para o valor considerado de k no


existem valores de ] [ b a x , tais que k x f = ) ( .


Corolrio 1. Se a funo ) (x f continua no segmento [ ] b a, e 0 ) ( ) ( < b f a f ,
ento existe ( ) b a c , tal que 0 ) ( = c f .
Matematica 1 Anatolie Sochirca ACM DEETC ISEL

45
Corolrio 2. Se a funo ) (x f continua num segmento [ ] b a, , ento [ ] ( ) b a f ,
um segmento.

Teorema 17 (de Weierstrass). Uma funo ) (x f continua num segmento [ ] b a,
tem mximo e mnimo em [ ] b a, .

A interpretao geomtrica do teorema de Weierstrass dada na figura seguinte.