Captulo 2

Funes de vrias variveis:

generalidades, limites e
continuidade
(Verso preliminar - 23 de Outubro de 2006)

2.1

Funo de Rm em R: noes preliminares

e exemplos

Vamos generalizar a noo j conhecida de funo real de varivel real para

funes reais de varivel vectorial e funes vectoriais de varivel vectorial.
De forma intuitiva, poderemos dizer que uma funo f : A ! B uma
correspondncia que associa a cada elemento x pertencente a um conjunto
A, um e um s elemento f (x) de um conjunto B; o conjunto A onde a
correspondncia est denida chama-se domnio de f e ao subconjunto de
B formado pelos valores f (x) chama-se contradomnio de f: Habitualmente
representam-se por Df e CDf :
Chama-se grco de f ao conjunto
Graf (f ) = f(x; f (x)) : x 2 Df g :
Embora apresentemos as denitionnies na sua forma geral, o especial enfoque da matria ser dado aos casos R2 e R3 :
1

2.1.1

Funo real de m variveis reais

Dado m 2 N; chama-se funo real de m variveis reais, ou de varivel

vectorial, x = (x1 ; x2 ; :::xm ), a toda a funo f cujo domnio Df ; um
subconjunto de Rm e o contradomnio um subconjunto de R. Isto
Rm ! R

f : Df
onde Rm = R
iguais a R.

R, o produto cartesiano de m factores todos

Exemplos:
1. Consideremos a funo denida em R2 por
f (x; y) = x2 + y 2
O domnio R2 e o contradomnio R+
0 : Temos, por exemplo
f ( 2; 4) = ( 2)2 + 42 = 20;
f (3; 5) = 32 + 52 = 34;
f ( 1; 1) = ( 1)2 + ( 1)2 = 2
2. Seja f denida em R2 por
f (x; y) =

p
x2 + y 2

9:

Neste caso o domnio j no todo o R2 : Com efeito,

Df = (x; y) 2 R2 : x2 + y 2

9 ;

que, do ponto de vista grco, no mais do que o subconjunto do plano

complementar do crculo fechado de centro (0; 0) e raio 3:
3. Seja f denida em R2 por
f (x; y) =

ln (16 x2 y 2 )
:
jxj jyj

Neste caso o domnio dado por

Df = (x; y) 2 R2 : x2 + y 2 < 16 ^ x 6= y ^ x 6=

y :

3
Ex: Faa um esboo da representao grca de Df .
4. Consideremos f denida em R3 por
x2 + y 2 + z 2
p
f (x; y; z) =
:
ex2 +y2 +z2 e9
O domnio de f
n
2
2
2
Df = (x; y; z) 2 R3 : ex +y +z

o
e9 > 0 = (x; y; z) 2 R3 : x2 + y 2 + z 2 > 9 :

Trata-se do complementar da esfera aberta de centro (0; 0; 0) e raio 3.

2.1.2

Grco e linhas de nvel

A partir do que foi dito anteriormente, dada f : Df

de f o subconjunto de Rm+1 dado por

Rm ! R, o grco

Graf (f ) = f(x; f (x)) : x 2 Df g :

O caso em que m = 2 admite uma visualizao que torna a noo muito
intuitiva. Consideremos, por exemplo, as funes f , g , h :R2 ! R denidas
por
p
f (x; y) = x2 + y 2 , g(x; y) = x2 + y 2 e h(x; y) = x2 y 2 :
Os grcos respectivos so

Graf (f ) =

(x; y; z) 2 R3 : z = x2 + y 2 ,

n
o
p
3
2
2
Graf (g) = (x; y; z) 2 R : z = x + y
Graf (h) =
Geomtricamente, temos:

(x; y; z) 2 R3 : z = x2

y2 :

4
z = x2 + y 2

50

37.5

25

12.5
-5
5

-2.5
z
2.5

00

-5

-2.5
2.5

z=

x2 + y 2

-5

6.25
5
3.75
2.5
-2.5
1.25
00
z
2.5

-5
-2.5

2.5

5
x

5
y

5
z = x2

y2

25

12.5
-5
5

-2.5
2.5

00

-2.5
2.5

-5
5
y

-12.5

-25

Como se sabe, o grco de uma funo real de varivel real uma

"linha"em R2 . Como vimos, o grco de uma funo real denida em R2
uma "superfcie"em R3 : Trata-se pois de um modelo tridimensional, cujo
esboo numa folha de papel apresenta, como patente, diculdades na observao das suas propriedades. Nesse sentido, torna-se til para a compreenso
do grco e do comportamento da funo o "corte"por planos, nomeadamente
verticais ou horizontais. Atentemos no exemplo anterior
f (x; y) = x2 + y 2
Corte por planos paralelos ao plano X0Z
Corresponde a intersectar o grco por planos de equao y = c, obtendo
assim uma linha plana que o grco de uma funo real de uma varivel
real e no mais do que uma parbola
f (x) = x2 + c2 :
Em particular, se y = 0; obtem-se a parbola
f (x) = x2

6
Corte por planos paralelos ao plano Y 0Z
Corresponde a intersectar o grco por planos de equao x = c. Obtmse tambm parbolas mas situadas em planos perpendiculares aos anteriores:
f (y) = c2 + y 2
Corte por planos paralelos ao plano X0Y - curvas de nvel
Corresponde a intersectar o grco por planos de equao z = a, obtendose assim curvas de nvel cuja projeco no plano X0Y origina as comummente
chamadas curvas de nvel Ca
Ca = (x; y) 2 R2 : f (x; y) = a

Na prtica, so muitas vezes usadas em mapas de meteorologia para indicar,

por exemplo, linhas geogrcas de pontos com a mesma presso atmosfrica
(isbaras) ou mapas topogrcos para indicar linhas de pontos do terreno
que possuem a mesma altitude.

2.2

Breves noes topolgicas em Rm. Sucesses

No estudo de diversos aspectos das funes de vrias variveis - limites, continuidade, clculo diferencial, optimizao - ser importante considerar certas
caractersticas dos subconjuntos de Rn onde estas funes estaro denidas.
Esta seco sobre noes topolgicas pretende introduzir as ideias e denitionnies essenciais caracterizao dos domnios das funes que iremos
estudar.
Todos os conceitos que vamos introduzir fazem intervir de algum modo
a noo de proximidade, isto , devemos poder medir a "proximidade"entre
pontos de Rn . De entre vrios possveis critrios que poderamos utilizar para
medir a distncia entre pontos utilizaremos a de distncia euclidiana.

2.2.1

Noes topolgicas

Denio 2.1 (Distncia Euclideana) A distncia euclideana entre quaisquer dois pontos x; y 2 Rn denida por
v
u n
uX
d(x; y) = t (xi yi )2 :
i=1

7
a partir noo de distncia iremos denitionnir a noo de vizinhana,
fundamental em tudo o que se segue. denitionnimos "Bola de centro em x
e de raio " > 0"como sendo o conjunto
B" (x) = fy 2 Rn : d(y; x) < "g :
Isto , denitionnimos os "vizinhos de raio ""de x como sendo os pontos
de Rn que distam de x menos que ".
p
Quando n = 1, B" (x) = fy 2 R : (x y)2 < "g = fy 2 R : jx yj < "g,
pelo que em dimenso 1 B" (x) no mais que um intervalo centrado em x e
de raio ", mais concretamente B" (x) =]x "; x + "[.
p
Quando n = 2, B" (x) = fy 2 R2 : (y1 x1 )2 + (y2 x2 )2 < "g =
fy 2 R2 : (y1 x1 )2 + (y2 x2 )2 < "2 g. Assim, no plano, B" (x) corresponde
geometricamente ao interior de um crculo de raio " e centro em x.
Quando n = 3 a noo de Bola vai corresponder geometricamente ao
interior de uma esfera de raio " centrada em x.
Para valores da dimenso n superiores a 3; a denitionnio mantm-se,
apesar de j no podermos dar-lhe uma interpretao geomtrica to simples.
Para motivar a denitionnio das diversas noes topolgicas e simultaneamente facilitar a compreenso das mesmas, vamos comear com um
exemplo muito simples de um subconjunto do plano:
A = f(x; y) 2 R2 : x2 + y 2 < 1g:
Geometricamente A o conjunto dos pontos do plano que est no interior
do crculo desenhado na gura 2.2.1.
Figura 2.1: Crculo de centro em (0; 0) e raio 1.
Os pontos P; Q e R assinalados na gura esto em posies diferentes
relativamente ao conjunto A. O ponto P no s pertence ao conjunto A
como tambm existe uma vizinhana desse ponto completamente contida no
conjunto: diz-se nesse caso que P um ponto interior ao conjunto. O
ponto R no s est fora do conjunto (pertence ao complementar1 de A)
como o mesmo se passa com uma sua vizinhana: diz-se neste caso que R
1

Designamos por AC o complementar do conjunto A, isto AC = Rn nA

8
um ponto exterior ao conjunto. Relativamente ao ponto Q, uma vez que se
situa sobre a circunferncia, verica-se que qualquer vizinhana desse ponto
contem pontos quer do conjunto A quer do seu complementar: dizemos nesse
caso que Q um ponto fronteiro a A.
Designamos por int(A) o conjunto dos pontos interiores a A, por ext(A)
o conjunto dos pontos exteriores a A e por f ront(A) o conjunto dos pontos
fronteiros a A. Resumidamente,
x 2 int(A) , 9" > 0 :

B" (x)

A:

x 2 ext(A) , 9" > 0 :

B" (x)

AC :

x 2 f ront(A) , 8" > 0;

B" (x) \ A 6= ;; B" (x) \ AC 6= ;

Da denio de ponto interior, exterior e fronteiro decorre imediatamente que

qualquer ponto do espao satisfaz exactamente uma das denitionnies, por
isso o interior, exterior e fronteira de qualquer conjunto so sempre disjuntos
dois a dois e a sua reunio o espao inteiro.
Designa-se por Aderncia ou Fecho de um conjunto a reunio do seu
interior com a fronteira:
ad(A) = int(A) [ f ront(A):
Chamamos conjuntos abertos aos que coincidem com o seu interior e
conjuntos fechados aos que coincidem com a sua aderncia. importante
referir que um conjunto aberto no o contrrio de conjunto fechado, facilmente podemos encontrar exemplos de conjuntos simultaneamente abertos e
fechados ou nem abertos nem fechados.
Um ponto x diz-se ponto de acumulao de um conjunto se em qualquer vizinhana de x existir uma innidade de elementos do conjunto ou,
de outro modo, se em qualquer vizinhana do ponto existirem elementos do
conjunto que no o prprio x. O conjunto dos pontos de acumulao de A
o conjunto derivado de A, que se denota por A0 .
x 2 A0 , 8" > 0;

(B" (x)

fxg) \ A 6= ;:

prosseguimos esta srie de denitionnies referindo o que entendemos por

ponto isolado, conceito que corresponde ideia intuitiva de que o ponto
ser o nico do conjunto numa certa regio:
x ponto isolado de A , 9" > 0 :

(B" (x)

fxg) \ A = ;:

9
Um conjunto diz-se limitado se estiver contido numa bola (de determinado centro e raio), que podemos sem perda de generalidade assumir centrada
na origem do referencial. Um subconjunto de Rn diz-se compacto se e s
se for limitado e fechado. Como veremos mais adiante a noo de conjunto
compacto ser especialmente importante em problemas de optimizao de
funes de vrias variveis.
Exemplo Considerando o exemplo representado na gura ??, podemos
facilmente ver que todo o ponto do crculo (excepto a circunferncia) interior, pelo que int(A) = A, sendo por isso A um conjunto aberto. O exterior de A corresponde neste caso parte de fora do crculo (excluindo a
circunferncia) e a fronteira corresponde circunferncia. Assim ad(A) =
int(A) [ f ront(A) 6= A e por isso A no fechado e por isso no pode ser
compacto. Finalmente, como no existem pontos isolados A0 = ad(A).

2.2.2

Sucesses em Rm

Faremos neste ponto uma meno breve ao conceito de sucesso em Rm .

Partindo da noo de sucesso em R, tpico que habitualmente faz parte do
programa de qualquer disciplina introdutria ao Clculo Innitesimal, no
difcil intuir a noo de sucesso em espaos de dimenso superior. alis
de esperar que propriedades anlogas s que se vericam em dimenso 1
tenham aqui enunciados pararelos com a formalizao adequada dimenso
do espao em causa.
Com efeito, por exemplo, dar uma sucesso em R2 no mais do que, a
cada natural n 2 N, fazer correponder um par ordenado (an ; bn ). Se quisermos ser formais diremos que uma sucesso em R2 uma funo S de N em
S
R2 tal que n ! (an ; bn ): Os elementos designar-se-o por
(a1 ; b1 ) ; (a2 ; b2 ) ; (a3 ; b3 ) ; ::::::: (an ; bn ) ; ::::::
ou, de forma abreviada ((an ; bn ))n2N ou ainda, simplicando a notao, ((an ; bn ))
ou mesmo (com algum abuso) (an ; bn ). Uma questo natural a da existncia
de limite. de esperar que:
1. o limite, se existir, seja nico,
2. a sucesso ((an ; bn )) converja para (a; b) se e s se as sucesses coordenadas (an ) e (bn ) convergirem para a e b, respectivamente, isto ,
an ! a e bn ! b.

10
3. se uma sucesso convergir qualquer sua subsucesso tambm convirja
para o mesmo limite.
Tocaremos apenas estes pontos.
Denio 2.2 Uma sucesso em Rm uma sequncia ordenada de elementos de Rm ; u1 ; u2 ; :::un ; :::tal que cada elemento, por estar em Rm ; possui m
coordenadas. Assim, com n = 1; 2; 3:::::
u1 = (u11 ; u12 ; :::; u1m )
u2 = (u21 ; u22 ; :::; u2m )
u3 = (u31 ; u32 ; :::; u3m )
..
.
un = (un1 ; un2 ; :::; unm )
..
.
Ao elemento un chama-se termo geral pois contm a expresso genrica da
sucesso.
Exemplo vn =
elementos

1
; ln(e
n

+ n1 ) uma sucesso em R2 . Vejamos os primeiros

v1 = (1; ln(e + 1))
1
1
; ln(e + )
v2 =
2
2
1
1
v3 =
; ln(e + )
3
3
..
.
1
1
vn =
; ln(e + )
n
n
..
.

Observemos que as primeiras coordenadas, bem como as segundas, constituem sucesses em R. Com efeito, so as duas sucesses que podemos
designar por vn1 e vn2 ; ou seja,
sucesso vn1

1 1
1; ; ;
2 3

1
; ;
n

sucesso vn2

1
1
ln(e + 1); ln(e + ); ln(e + );
2
3

; ln(e +

1
);
n

11
Por exemplo, se tomarmos a sucesso em R3 ; zn =
os primeiros elementos so

1
; ln(e
n

4n +5n
+ n1 ); 8n
;
5 +7n2

3
5
1 42
1
; ln(e + );
2
2 71
1
1 123
; ln(e + );
3
3 223

z1 =

1; ln(e + 1);

z2 =
z3 =
..
.

1 4n5 + 5n3
1
; ln(e + ); 5
n
n 8n + 7n2

zn =
..
.

Neste caso, para alm das duas sucesses em R, (zn1 ) e (zn2 ) que so respectivamente as sucesses das primeiras e segundas coordenadas de (zn ) ; (e
coincidem com (vn1 ) e (vn2 )) existe ainda a sucesso em R (zn3 ) que precisamente a sucesso das terceiras coordenadas de (zn ). Nesse caso, temos:
1
1 1
; ;
sucesso (zn1 )
1; ; ;
2 3
n
1
1
1
; ln(e + );
sucesso (zn2 )
ln(e + 1); ln(e + ); ln(e + );
2
3
n
5
3
3 42 123
4n + 5n
sucesso (zn3 )
; ;
;
; 5
;
5 71 223
8n + 7n2
Os exemplos anteriores ilustram o facto geral de cada sucesso (un ) em Rm
comportar precisamente m sucesses de termos reais - as sucesses coordenadas da sucesso dada. Por exemplo a sucesso das terceiras coordenadas

sucesso (un3 )
u13 ; u23 ; u33 ; u43 ;
; un3 ;
Mais geralmente, a sucesso das coordenadas de ordem j
sucesso unj

u1j ; u2j ; u3j ; u4j ;

; unj ;

Denio 2.3 Seja (un ) uma sucesso em Rm e u 2 Rm . Diz-se que (un )

converge para u se, qualquer que seja a bola centrada em u, B(u), existe
um inteiro positivo p tal que un 2 B(u) para todo o n > p. Ao vector u
chama-se limite de (un ) e usa-se a notao un ! u: Simbolicamente
un ! u

se

8">0 9p2N : n > p =) d(un ; u) < ":

12
Como sabemos d(un ; u) a distncia de un a u: Mais precisamente,
q
d(un ; u) =
(u1n u1 )2 + (u2n u2 )2 + (u3n u3 )2 +
+ (umn um )2
= kun

uk

Proposio 2.1 Uma sucesso (un ) em Rm converge para u 2 R se e s se

as suas sucesses coordenadas convergirem para as coordenadas de u:
Dem Condio necessria: Tem-se para cada sucesso coordenada (unj )
junj

uj j < d(un ; u):

Ora como un converge para u em Rm ; sai facilmente da denitionnio que

unj converge para uj em R.
Condio suciente: Esta condio deduz-se usando a desigualdade seguinte
q
d(un ; u) =
(u1n u1 )2 + (u2n u2 )2 + (u3n u3 )2 +
+ (umn um )2
ju1n

u1 j + ju2n

u2 j + ju3n

u3 j +

+ jumn

um j

juntamente com a denitionnio de convergncia aplicada a cada uma das

sucesses coordenadas.
Exemplo Consideremos as sucesses do exemplo anterior
vn =

1
1
; ln(e + )
n
n

e zn =

1
1 4n5 + 5n3
; ln(e + ); 5
n
n 8n + 7n2

Pela proposio anterior

lim vn = lim

1
1
; ln(e + )
n
n

1
1
lim ; lim ln(e + )
n
n

1
1 4n5 + 5n3
; ln(e + ); 5
n
n 8n + 7n2
1
1
4n5 + 5n3
=
lim ; lim ln(e + ) ; lim 5
n
n
8n + 7n2
1
= (0; 1; ):
2

lim zn = lim

= (0; 1)

13
Denio 2.4 Dada uma sucesso (un ) em Rm ; chama-se subsucesso de
(un ) a uma sucesso obtida a partir de (un ) por seleco ordenada de alguns
termos

1 n+1
;
n n+2

Exemplo Dada a sucesso de termo geral wn =

1;

2
3

1 3
;
2 4

1 4
;
3 5

1 5
;
4 6

1 6
;
5 7

, isto ,

1 n+1
;
n n+2

1 2n + 1
;
2n 2n + 2

podemos considerar como exemplo de subsucesso

1 3
;
2 4

1 5
;
4 6

1 7
;
6 8

1 9
;
8 10

1 11
;
10 12

que precisamente a subsucesso dos termos de ordem par de (wn ) :

Proposio 2.2 Toda a subsucesso de uma sucesso convergente em Rm
tambm convergente e para o mesmo limite.

Dem O resultado consequncia da proposio anterior e do facto das coordenadas da subsucesso constituirem subsucesses das sucesses coordenadas
da sucesso dada, o que reduz o caso aplicao do resultado anlogo de unicidade do limite j conhecido em R.
Pelo exposto, tentou ilustrar-se o facto de as noes e propriedades das
sucesses em Rm assentarem geralmente nas anlogas em R, com as adaptaes adequadas de forma natural dimenso. Espera-se que o leitor, se
necessitar, possa utilizar este facto para estabelecer outras propriedades que
omitimos aqui. Um exemplo importante e bvio o das propriedades operatrias dos limites.

2.3

Limites

Introduziremos primeiramente a denio de limite de funo real de varivel

vectorial, fazendo especial nfase nos casos de R2 e tambm R3 : Em seguida
falaremos do caso de funes vectoriais de varivel vectorial.

14

2.3.1

Denies e propriedades

Seja D um aberto de Rm , a um ponto aderente a D e b 2 R. Consideremos

uma funo f : D Rm ! R.
Denio 2.5 (segundo Heine) O limite de f (x) quando x tende para a
b se, para toda a sucesso an (an 6= a) que tende para a, a sucesso imagem
f (an ) tende para b.
lim f (x) = b , [8(an )

x!a

Rm ; an 6= a : an ! a ) (f (an )) ! b] :

Denio 2.6 (segundo Cauchy) O limite de f (x) quando x tende para

a b se for satisfeita a condio ; ":
8 > 0 9" > 0 8x 2 D

Rm ; x 6= a; d(x; a) < " ) jf (x)

bj < :

Theorem 1 As duas denies anteriores so equivalentes.

Demonstrao.
(1). Suponhamos que limx!a f (x) = b segundo a denio 1 e admitamos, por
absurdo, que existe um para o qual no existe " tal que, se x 2 Rm verica
d(x; a) < ", ento jf (x) bj < . Em particular, para cada " = 1=n, existe
um elemento xn que verica simultaneamente d(x; a) < 1=n e jf (xn ) bj
.
A sucesso xn converge para a, porque para > 0 dado, ao tomarmos
N > 1= , obtemos um inteiro tal que 8n N , temos d(x; a) 1=N < .
A sucesso f (xn ) no pode convergir para b porque, se n N; os elementos f (xn ) no pertencem bola aberta de centro b e raio , o que est em
contradio com a Denio 1 de limite.
(2). Suponhamos que a condio ; " satisfeita, e seja xn uma sucesso que
tende para a. Mostremos que a sucesso f (xn ) tende para b. Fixemos > 0.
Precisamos de encontrar um inteiro N tal que, para n N , o elemento f (xn )
pertence bola aberta de centro b e de raio .
Se a condio ; " for satisfeita, existe um " > 0 tal que, se d(x; a) < ",
ento jf (xn ) bj < . Como a sucesso xn converge para a, para esse nmero
", existe um inteiro N tal que d(x; a) < "; 8n N e temos, para este mesmo
N , jf (xn ) bj < "; 8n N .

15
Remark 1 O conceito de limite que apresentmos designado por certos
autores limite por valores diferentes
Remark 2 Dado que kx ak = d(x; a) a condio em ; " pode tambm ser
enunciada em termos de bolas abertas do seguinte modo: o limite de f (x)
b quando x tende para a se para toda a bola aberta B (b) (que em R o
intervalo ]b
; b + [, existir uma bola aberta B = B" (a) tal que para todo o
x em B, a sua imagem pretence a E.
Da denio 2, deduz-se de imediato que
lim f (x) = b se e s se lim jf (x)

x!a

x!a

bj = 0:

Usando a denio segundo Heine, fcil estabelecer as seguintes regras

operatrias
Teorema 2.3 Sejam f e g funes de Rm em R, de domnios abertos e a
um ponto aderente aos respectivos domnios. Se lim f (x) = b e lim g(x) = c,
x!a
x!a
ento:
1. lim (f + g)(x) = b + c.
x!a

2. lim (f g)(x) = b c.
x!a

f (x)
b
= (se c 6= 0).
x!a g(x)
c

3. lim

Como notao, relembramos que kx ak = d(x; a), donde kx ak < " ()

d(x; a) < " () x 2 B" (a); pelo que usaremos indiferentemente qualquer das
expresses.
Teorema 2.4 Sejam f

h trs funes de Rm em R. Se lim f (x) =

x!a

lim h(x) = b, ento lim g(x) = b.

x!a

x!a

Dem. Fixemos " > 0. Pela denio de limite, existem dois nmeros
tais que
kx ak < "1 ) jf (x) bj < ;

16
kx

Tomemos " = min("1 ; "2 ). Se kx

b
de onde jg(x)

ak < "2

jh(x)

bj < :

ak < ", temos

< f (x)

g(x)

h(x) < b + ;

bj < .

Sendo B
D; a aderente a B; consideremos o limite de f (x) quando
x ! a, mas ao longo do conjunto B, isto , com x 2 B: Este no mais do
que o limite da restrio de f a B quando x ! a, pelo que fazem sentido
as denies segundo Cauchy e segundo Heine, neste caso aplicadas funo
f jB . Facilmente se conclui o seguinte.
Proposio 2.5 Se limx!a f (x) = b, ento o limite de f em a ao longo de
qualquer subconjunto de D, a que a seja aderente, existe e tem o valor b, isto

lim f (x) = b =)
lim
f (x) = b; 8B D : a 2 ad (B):
x!a
x!a

x2B

A propriedade anterior extremamente importante e torna-se particularmente til nos casos em que no existe limite.
Teorema 2.6 Seja f de D
Rm em R. Sejam B1 ; B2 ; : : : ; Bs , conjuntos
disjuntos dois a dois, tais que B1 [ B2 [ : : : [ Bs = D fag com a ponto
aderente de cada um dos Bj . Ento a funo f tem limite b quando x ! a
se e s se existirem todos os limites de f quando x ! a ao longo de todos os
conjuntos B1 ; B2 ; : : : ; Bs e forem iguais a b: Isto
lim f (x) = b

x!a

()

lim f (x) = lim

f (x) =
x!a

x!a
x2B1

x2B2

= lim
f (x) = b:
x!a
x2Bs

Dem. A condio necessria resulta imediatamente da proposio anterior.

Vejamos o que se passa quanto condio suciente. Como, para cada j
lim f (x) = b

x!a
x2Bj

ento, qualquer que seja

> 0, existe um "j = "j ( ) tal que

x 2 B"j (a) \ Bj ) f (x) 2 B (b):

Limites

17

Tomando " = minf"1 ; "2 ; : : : ; "s g, uma vez que pois cada x 2 D fag pertence
a certo Bj ;tem-se
x 2 B" (a) ) 91

j s

: x 2 B"j (a) \ Bj ) f (x) 2 B (b):

. Logo, segundo a denio de Cauchy, lim f (x) = b.

x!a

Remark 3 Em R o teorema anterior corresponde propriedade seguinte: o

limite de f em a existe se e s se os limites esquerda e direita existirem
e forem iguais.

2.3.2

Clculo de limites

A caracterizao em termos de limites ao longo de subconjuntos permite

mostrar que alguns limites no existem.
Exemplo 1. Seja f : R2 ! R a funo denida por
8
xy
>
< x2 + y 2 se (x; y) 6= (0; 0);
f (x; y) =
>
:
0
no caso contrrio.
Sendo B = f(x; x) 2 R2 g e B
lim

(x;y)!(0;0)
(x;y)2B

f (x; y) =

= f(0; y) : y 2 Rg tem-se
1
e
2

lim

(x;y)!(0;0)
(x;y)2B

f (x; y) = 0:

Consequentemente, a funo f (x; y) no tem limite quando (x; y) tende para

(0; 0). Acabmos de calcular o dois limites ao longo de duas rectas diferentes,
isto , de duas direces diferentes, uma de declive 1 e outra vertical.
Poderamos ter tentado ver o limite ao longo de uma recta genrica que
passe pelo ponto onde se quer calcular o limite, neste caso, o ponto (0; 0):
Corresponderia a considerar o conjunto Bm = f(x; y) 2 R2 : y = mxg; que
o conjunto de todas as rectas que passam no ponto (0; 0) e que se distinguem
pelo declive m que caracterstica de cada uma e tambm da recta vertical

18

Limites

B : Ento
lim

(x;y)!(0;0)
(x;y)2Bm

f (x; y) =

lim

(x;y)!(0;0)
(x;y)2Bm

lim

(x;y)!(0;0)

x2

xy
=
+ y2

lim

(x;y)!(0;0)

mx2
=
x2 (1 + m2 )

x mx
x2 + (mx)2

lim

(x;y)!(0;0)

m
(1 + m2 )

m
;
(1 + m2 )

o que mostra que o limite de f quando (x; y) tende para (0; 0) ao longo de cada
recta y = mx varia com a recta em causa, pelo que no existe limite. Dizendo
de outro modo, os limites direccionais de f (x; y) quando (x; y) tende para
(0; 0) variam com a direco (j no seria preciso ir ver o limite ao longo da
recta vertical a menos que se quisesse determinar especicamente esse valor).
Genericamente, chamam-se limites direccionais de f quando (x; y)
tende para (a; b) os limites ao longo das rectas y = m (x a) + b e tambm
ao longo da recta vertical x = a.
O teorema de enquadramento apresentado anteriormente muito til para
o clculo explcito de um limite.
Exemplo 2. Mostremos que

lim

(x;y)!(0;0)

f (x; y) = 0, com
xy

f (x; y) = p

x2 + y 2

Resulta imediatamente da desigualdade (x

onde sai que
0

xy

jf (x; y)j = p

x2

y2

=p

jxyj

x2

y2

y)2

0 que jxyj

x2 + y 2
p
x2 + y 2

x2 + y 2 . De

x2 + y 2 :

Como os membros extremos, da esquerda e da direita, tendem para 0 quando

(x; y) tende para (0; 0) o resultado deduz-se do teorema referido.
Vejamos o exemplo seguinte, que generaliza o exemplo 2.
Exemplo 3. Limites em 0 de fraces racionais. Seja
f (x) =

P (x)
kxkr

uma aplicao de Rm em R denida como o quociente de um polinmio P (x)

de m variveis pela r-sima potncia da norma de x.

Limites

19

Se o polinmio for um monmio xi1 xi2 : : : xis de grau maior do que r,

ento limx!0 f (x) = 0. Basta mostrar que
xi1 xi2 : : : xis
kxkr

kxks r ;

ou mostrar que
(xi1 xi2 : : : xis )2
kxk2r

kxk2(s

r)

Esta condio evidente porque, para cada i, x2i

kxk2 .

O teorema sobre o limite de uma composio tambm muito til.

necessrio reconhecer uma composio. Seguem-se dois exemplos de tal situao que apresentamos de forma formal. Contudo, na prtica, o clculo
decorre de forma natural e quase automtica, sem que tal reconhecimento
seja formalmente feito.
Exemplo 4. Calcular o limite em (0; 0; 0) da funo f : R3 ! R denida
por
sin(x2 + y 2 + z 2 )
:
f (x; y; z) =
x2 + y 2 + z 2
A funo f a composta de duas funes
f = g h;

h : R3 ! R;

sin x
:
x
h(x; y; z) = 0 e lim g(x) = 1, tem-se
lim

h(x; y; z) = x2 + y 2 + z 2 ;
Como

lim

(x;y;z)!(0;0;0)

g : R ! R;
g(x) =

x!0

(x;y;z)!(0;0;0)

f = 1:

Exemplo 5. Calculemos o limite em (0; 0) da funo f : R2 ! R denida

por
x2 y 2
f (x; y) =
:
sin(x + y)
A funo f escreve-se
f = (x

y):(g h);

h : R2 ! R;

x
:
sin x
h(x; y) = 0, lim g(x) = 1 e
lim
h(x; y) = x + y;

Como
lim

lim

(x;y)!(0;0)

(x;y)!(0;0)

g : R ! R;

f (x; y) = 0.

x!0

g(x) =

(x;y)!(0;0)

y = 0, tem-se

20

2.4

Limites

Funes de Rm em Rp

Falmos at aqui de funes reais de varivel vectorial. Neste ponto vamos

introduzir funes vectoriais de varivel vectorial, isto , cujo domnio est
contido em Rm e o contradomnio est contido em Rp : Consideremos, por
exemplo, a funo
f

(x; y) 7!

R2 ! R 3
x + y; x y;

x2 + y 2 :

A cada elemento (x; y) do domnio em R2 corresponde um elemento de R3 ;

z = (z1 ; z2 ; z3 ), ou, dito de outro modo, trs valores ordenados em R: z1 =
x + y;pa soma das coordenada ; z2 = x y o produto das coordenadas e
z3 = x2 + y 2 ; a norma de (x; y). Ou seja, a funo f : R2 ! R3 pode ser
encarada como tendo trs funes coordenadas:
f1 : R2 ! R tal que f1 (x; y) = x + y
f2 : R2 ! R tal que f2 (x; y) = x y
p
f3 : R2 ! R tal que f3 (x; y) = x2 + y 2

Mais geralmente, uma funo f : D Rm ! Rp tem p funes coordenadas

fi : D Rm ! R, e pode escrever-se
f = (f1 ; f2 ; f3 ;

; fp ):

Logo f pode ser considerada como um sistema de p funes reais, cada uma
com m variveis reais e com domnio D:
8
y1 = f1 (x) = f1 (x1 ; : : : ; xn )
>
>
>
>
>
>
>
>
< y2 = f2 (x) = f2 (x1 ; : : : ; xn )
x = (x1 ; : : : ; xn ) !
>
>
:::
>
>
>
>
>
>
:
ym = fm (x) = fm (x1 ; : : : ; xn )

Por este facto, as noes introduzidas anteriormente para funes de Rm em

R podem ser alargadas de forma natural a funes de Rm em Rp e o estudo
de uma funo vectorial de varivel vectorial f : D Rm ! Rp est muito
ligado ao estudo de p funes reais de varivel vectorial fi : D Rm ! R,
1 i p Vejamos a noo de limite.
Seja D um aberto de Rm e a um ponto aderente a D Seja f : D
Rp uma funo de domnio D, e b 2 Rp .

Rm !

Limites

21

Denio 2.7 (segundo Heine) O limite de f (x) quando x tende para a

b se, para toda a sucesso an (an 6= a) que tende para a, a sucesso imagem
f (an ) tende para b.
Rm ; an 6= a : an ! a ) (f (an )) ! b] :

lim f (x) = b , [8(an )

x!a

Denio 2.8 O limite de f (x) quando x tende para a b se for satisfeita

a condio ; ":
8 > 0 9" > 0 8x 2 D

Rm ; x 6= a; d (x; a) < " ) d (f (x); b) < :

Tal como em R, as duas denies anteriores so equivalentes. Apenas

neste caso h que ter em conta que, sendo o espao de chegada Rp , a distncia
no o mdulo mas sim a norma em Rp :
Remark 4 Utilizando a denio de Heine, por exemplo, fcil concluir
que, tal como no caso dos limites das sucesses, o limite de uma funo
f : D Rm ! Rp , f = (f1 ; f2 ; : : : ; fp ) calcula-se coordenada a coordenada:
lim f = lim f1 ; lim f2 ; : : : ; lim fp :

x!a

x!a

x!a

x!a

Temos pois que o limite de f (x) quando x tende para a b = (b1 b2 ;

se e s se
lim f1 (x) = b1 ;

x!a

lim f2 (x) = b2 ;

x!a

:::;

; bp )

lim fp (x) = bp :

x!a

Da denio ; ", deduz-se de imediato que

lim f (x) = b se e s se lim kf (x)

x!a

2.5

x!a

bk = 0:

Continuidade

Denio 2.9 Uma funo f : D

Rm ! Rp contnua em a 2 D se
lim f (x) = f (a).
x!a
A aplicao f contnua num subconjunto A se for contnua em todos os
pontos de A.

22

Limites

Proposio 2.7
1. Uma soma f + g de funes contnuas em a contnua em a.
2. Se f : IRm ! IRp contnua em a e se f (a) 6= 0, 1=f contnua em a.
3. Se f : IRm ! IRp contnua em a e g : IRp ! IRq contnua em
b = f (a), a funo composta g f contnua em a.
4. Toda a funo polinomial de IRm em IR contnua.
Teorema 2.8 (Weierstra
) Se f for uma funo real contnua, denida num
subconjunto fechado e limitado A de Rm , ento tem mximo e mnimo em
A.
Recorde-se que uma funo limitada num subconjunto A se existem
constantes m e M tais que, para todo o x de A, se tem
m

f (x)

M:

Daqui resulta, em particular, que toda a funo contnua com valores reais
denida num subconjunto fechado e limitado admite um mximo e um mnimo nesse subconjunto.
Dem. Suponhamos que f no limitida superiormente. Ento, existe uma
sucesso de pontos xn em A com f (xn ) > n. Como a sucesso xn est
contida num subconjunto fechado e limitado, admite uma subsucesso yn
que converge para um ponto y de A. Como yn = xg(n) com g(n) n, tem-se
que f (yn ) > n, e lim f (yn ) = +1, o que impossvel pois f uma funo
real contnua e, portanto lim f (yn ) = y.
Podemos, ento, supor que f limitada superiormente. Chamemos M
ao supremo do conjunto dos f (x); x 2 A. Pretendemos mostrar que existe
um ponto y0 para o qual M = f (y0 ). Pela denio de supremo, para todo o
n 1, existe um ponto xn em A tal que f (xn ) > M n1 . A sucesso xn admite
uma subsucesso yn que converge para um ponto y0 de A. Como M n1 <
f (yn ) M , a sucesso f (yn ) tende para M . Agora, pela continuidade de f ,
temos
f (y0 ) = lim f (yn ) = M:
Procede-se da mesma forma para mostrar que f minorada e que o limite
inferior atingido.