Anlise Matemtica 1

1
Funes reais de varivel real


Sejam E e F dois subconjuntos no vazios de IR. Uma funo f uma
coleco de pares de elementos pertencentes ao produto cartesiano x E F
tal que para todo o elemento x E , existe um nico elemento y F .
Este nico elemento y denota-se por ( ) f x e escreve-se " : f E F ".

Ao conjunto E chama-se domnio de f. Escreveremos
f
D .

Ao conjunto F chama-se conjunto de chegada de f.

Ao conjunto
{ }
: ( ) y F E em que f x y x = chama-se
contradomnio de f.


Nota: no se deve confundir f com ( ) f x : f a funo, enquanto ( ) f x
o valor que a funo assume num ponto x do seu domnio.



Limites de funes reais de varivel real


Definio:

A funo f tende para o limite b quando x tende para a, significa:

0 0: , 0 | | | ( ) |
f
x D x a f x b > > < < <

Escreve-se lim ( )
x a
f x b

=
Anlise Matemtica 1
2
Observaes:

De acordo com a definio dada, s tem sentido escrever
lim ( )
x a
f x b

= quando a ponto de acumulao do domnio de f.

Ao considerarmos o limite lim ( )
x a
f x b

= , no exigimos que a
pertena ao domnio da funo f.
Mesmo que se tenha
f
a D , a afirmao lim ( )
x a
f x b

= nada diz a
respeito do valor de f (a ).


Teorema ( unicidade do limite ):

Seja IR E , IR E f : , ' E a ( ' E o conjunto dos pontos de
acumulao de E ). Se
1
) ( lim b x f
a x
=

e
2
) ( lim b x f
a x
=

, ento
2 1
b b = .

Teorema:

Seja IR E , IR E f : , IR E g : , IR E h : , ' E a .
Se para todo o E x com a x , tivermos ) ( ) ( ) ( x h x g x f e
b x h x f
a x a x
= =

) ( lim ) ( lim , ento b x g
a x
=

) ( lim .


Teorema ( operaes algbricas sobre os limites ):

Seja IR E , IR E f : , IR E g : , ' E a .

Se L x f
a x
=

) ( lim e A x g
a x
=

) ( lim , ento:
( ) A L x g x f
a x
=

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

) ( ) ( lim
Se 0 A , ento ( ) A L x g x f
a x
/ ) ( / ) ( lim =

Anlise Matemtica 1
3

Teorema:

Seja IR E , IR E f : , IR E g : , ' E a .

Se 0 ) ( lim =

x f
a x
e M x g | ) ( | , para alguma constante M no negativa,
ento:
( ) 0 ) ( ) ( lim =

x g x f
a x
,
mesmo que no exista ) ( lim x g
a x



Teorema ( limite da composta de duas funes ):

Seja IR H E , , IR E f : , IR H g : com H E f ) ( .
Seja ' E a e ' H H b .
Se g contnua em b y = , b x f
a x
=

) ( lim , c y g
b y
=

) ( lim , ento:
c x f g
a x
=

) ) ( ( lim


Anlise Matemtica 1
4

Nota:

A condio de continuidade de g em b y = justifica-se por os seguintes
casos:

para que ) ( y g se aproxime de c necessrio que y fique prximo de
b, mas sempre seja b y . Nada garante que b x f ) ( . Exemplo:


0
:

x
IR IR f
,

0 0
0 1
:
x se
x se
x
IR IR g
, 0 = a , 0 = b

pode ocorrer que quando x se aproxima de a, ) (x f assuma infinitas
vezes o valor b para valores diferentes de x. Exemplo:

racional x se x
irracional x se
x
IR IR f
0
:
,

0 1
0 0
:
x se
x se
x
IR IR g
, 0 = a , 0 = b









Anlise Matemtica 1
5
Limites laterais


Definio:

Dizer que o nmero real b o limite direita de (x) f quando x tende
para a, significa:

| | < + > > | ) ( | , , : 0 0 b x f a a x D x
f


Escreve-se b x f
a x
=
+

) ( lim
De acordo com a definio dada, s tem sentido escrever b x f
a x
=
+

) ( lim
quando a ponto de acumulao direita do domnio de f.

Do mesmo modo se define limite esquerda de (x) f quando x tende
para a. Escreve-se ) ( lim x f
a x

.


Teorema:

Seja IR E , IR E f : ,
+
' ' E E a ( a ponto de acumulao
direita e esquerda de E ).
Ento existe ) ( lim x f
a x
se e s se so iguais os limites laterais
b x f
a x
=
+

) ( lim e b x f
a x
=

) ( lim .
Anlise Matemtica 1
6
Limites no infinito e limites infinitos


Definies:

Seja
f
D ilimitado superiormente. A funo f tende para o limite b
quando x tende para + , significa:

< > > | ) ( | , : 0 b x f M x D x IR M
f


Escreve-se b x f
x
=
+
) ( lim .

A funo f tende para o limite + quando x tende para a, significa:

M x f a x D x M
f
> < < > > ) ( | | 0 , : 0 0

Escreve-se + =

) ( lim x f
a x
.

De modo perfeitamente anlogo se define b x f
x
=

) ( lim ,
=

) ( lim x f
a x
, + =
+
) ( lim x f
x
, =
+
) ( lim x f
x
, =
+

) ( lim x f
a x
,
+ =
+

) ( lim x f
a x
, =

) ( lim x f
a x
, + =

) ( lim x f
a x
, etc..


Algumas operaes algbricas:

Se =

) ( lim x f
a x
, ento 0 ) (
1
lim =
|
|
.
|

\
|

x
f
a x

Se 0 ) ( lim =

x f
a x
, ento

<
> +
=
|
|
.
|

\
|

a de vizinhana numa x f se
a de vizinhana numa x f se
x
f
a x
0 ) (
0 ) (
) (
1
lim
Anlise Matemtica 1
7
Expresses indeterminadas:

As expresses
0
0
,

, , x 0 ,
0
0 ,
0
,

1 so indeterminadas.


Exemplo:

Dizer que
0
0
indeterminada tem o seguinte significado:
Seja IR E , IR E f : , IR E g : , ' E a . Suponhamos que se
0 ) ( lim ) ( lim = =

x g x f
a x a x
e que pondo { } 0 ) ( : = x g E x Y se tenha
ainda ' Y a . Ento
) (
) (
x g
x f
est definida no conjunto Y e faz sentido
indagar se existe
) (
) (
lim
x g
x f
a x
. Nada se pode dizer, em geral, sobre este
limite. Dependendo das funes f e g, ele pode assumir qualquer valor
real, infinito ou no existir.
Tente calcular
) (
) (
lim
0
x g
x f
x
para:
x x f 2 ) ( = , x x g = ) ( e para ) 0 (
1
) ( = x
x
sen x x f , x x g = ) ( .
Anlise Matemtica 1
8
Continuidade


Definio:

A funo f contnua no ponto
f
a D quando:

< < > > | ) ( ) ( | | | , : 0 0 a f x f a x D x
f



Observaes:

Ao contrrio da definio de limite, s faz sentido indagar se f
continua no ponto a quando
f
D a .
De acordo com a definio, se a ponto isolado do domnio de f,
ento f continua em a.
Seja
f
D a ponto de acumulao do domnio de f. Ento f continua
em a se e s se ) ( ) ( lim a f x f
a x
=

. Isto reduz essencialmente a noo

de funo contnua de limite.


Teorema:

Seja IR E , IR E f : , IR E g : .
Se f e g so contnuas em E a , ento g f + , g f , g f so
contnuas em a. Se alm disso 0 ) ( a g , ento f g contnua em a.


Teorema ( continuidade da funo composta ):

Seja IR H E , . Seja IR E f : e IR H g : com H E f ) ( . Se f
contnua no ponto E a e g contnua em H a f b = ) ( , ento
IR E f g o : contnua no ponto a.
Anlise Matemtica 1
9
Definio:

Dizemos que IR E f : contnua direita num ponto E a se
) ( ) ( lim a f x f
a x
=
+

.
Dizemos que IR E f : contnua esquerda num ponto E a se
) ( ) ( lim a f x f
a x
=

.


Definio:

Dizemos que IR E f : possui uma descontinuidade de primeira
espcie no ponto ponto E a quando f descontnua no ponto a e, alm
disso, existem os limites laterais ) ( lim x f
a x
+

e ) ( lim x f
a x

( caso a seja
ponto de acumulao de E somente de um lado, exigimos apenas que o
limite lateral correspondente exista ).
Dizemos que IR E f : possui uma descontinuidade de segunda
espcie no ponto
+
' E a se ) ( lim x f
a x
+

no existe ou ento quando

' E a e ) ( lim x f
a x

no existe.
Anlise Matemtica 1
10
Funes contnuas em intervalos


Teorema (de Bolzano ):

Seja | | IR b a f , : contnua.
Se 0 ) ( ) ( < b f a f , ento existe pelo menos um ponto | | b a c , tal que
0 ) ( = c f ( ou seja, f admite pelo menos um zero no intervalo| | b a, ).


Teorema (dos valores intermdios ):

Seja | | IR b a f , : contnua.
Se ) ( ) ( b f d a f < < ( ou ) ( ) ( a f d b f < < ), ento existe pelo menos um
ponto | | b a c , tal que d c f = ) ( .

Demonstrao:

Basta considerar a funo d f g = .


Teorema:

Seja IR I f : uma funo contnua e injectiva, definida num intervalo
I. Ento f montona, sua imagem ) (I f J = um intervalo a sua inversa
IR J f

:
1
continua.


Teorema (de Weierstrass ):

Seja | | IR b a f , : contnua.
Ento f limitada e atinge seus extremos ( atinge um valor mximo e
um valor mnimo ),
isto , existem | | b a x x , ,
2 1
, tais que ) ( ) ( ) (
2 1
x f x f x f para todo
| | b a x , .