Lista 1 de Microeconomia I

Professor: Carlos E.L. da Costa

Monitor: Vitor Farinha

Algumas Preliminares Matemticas

Nas prximas pginas apresentam-se alguns conceitos matemticos e teoremas que sero teis ao curso de
Micro I. Como o objetivo aqui apresentar rapidamente alguns instrumentos que sero estudados mais
profundamente nos cursos de Anlise, omitem-se as principais provas. Algumas boas referncias sobre os
assuntos aqui abordados so:
1. MWG, Apndice Matemtico.
2. Lima, Elon. Anlise Real, vols. 1 e 2.
3. Simon e Blume. Matemtica para economistas.
4. http://mathworld.wolfram.com/
5. Sundaram, Rangarajan. A First Course in Optimization Theory.
6. Cysne e Moreira. Matemtica para economistas.

Norma Euclidiana
Tipicamente estaremos trabalhando no espao euclidiano Rn , munido da norma euclidiana usual
Denio 1 Seja x = (x1 ; :::; xn )

Rn , a norma euclidiana a funo k:k : Rn ! R dada por

!1=2
n
X
2
xi
kxk =
i=1

Que dene tambm a noo de distncia (mtrica) usual desse espao, sendo a distncia entre os pontos
x e y dada por d(x; y) = kx yk. Que atende a conhecida "desigualdade triangular" (essa desigualdade ,
na verdade, parte da prpria denio de norma),
kx

yk + ky

zk

kx

zk :

Bolas Abertas, Conjuntos Abertos e Conjuntos Fechados

Denio 2 Uma bola aberta com centro no ponto x e raio r dada por
B(x; r) = fy 2 Rn jd(x; y) < rg:
Ou seja, B(x,r) o conjunto de todos os pontos do Rn que distam de x em estritamente menos que r. Se
substitumos a desiguldade estrita(<) pela desigualdade fraca( );ento temos a bola fechada B(x,r)
Denio 3 O conjunto S no Rn dito aberto se, para todo ponto x 2 S; existe r tal que B(x; r)
S:Intuitivamente, todo o ponto de um conjunto aberto est em seu interior, sendo possvel deslocar-se
pequenas distncias em qualquer direo sem que deixemos o conjunto S.
Denio 4 O conjunto S no Rn dito fechado se seu complementar aberto. O teorema abaixo torna
possvel uma denio alternativa, possivelmente mais clara, usando a noo de seqncias convergentes.
Teorema 1 Um conjunto S Rn fechado se, e somente se, para toda seqncia {xk g tal que xk 2 S para
todo k e xk ! x, tem se que x 2 S:
Ou seja, o limite de qualquer seqncia convergente formada por pontos em S tambm um ponto de S.

Conjuntos limitados e conjuntos compactos

Denio 5 Um conjunto S

Rn dito limitado se existe r>0 tal que S

Denio 6 Um conjunto S

Rn dito compacto se limitado e fechado.

B(0; r):

Combinaes Convexas e Conjuntos Convexos

Dada qualquer coleo nita de pontos x1 ; x2 ; :::; xm 2 Rn ; um ponto z 2 Rn dito umaP
combinao convexa
m
dosPpontos (x1 ; :::; xm ) se existe 2 Rm satisfazendo (i) i
0; i = 1; 2; :::; m e (ii) i=1 i = 1; tal que
m
z= i=1 i xi :

Denio 7 Um conjunto S Rn dito convexo se qualquer combinao convexa de quaisquer dois pontos
de S tambm est em S. Ou seja, se qualquer linha reta que liga dois pontos de S estiver completamente
contida nele.

Continuidade
Denio 8 Tome f : S ! T; em que S
Rn e T
Rl :Ento, f dita contnua em x2 Rn se para
todo " > 0; existe > 0 tal que ao tomar-se y 2 S com d(x; y) < , valer d(f (x); f (y)) < ": Em termos
de seqncias, f : S ! T contnua em x se para todas as seqncias fxk g com xk 2 S para todo k e
limk!1 xk = x tem-se limk!1 f (xk ) = f (x):
Intuitivamente, f contnua em x se, ao nos aproximarmos deste ponto, obtivermos aproximaes sucessivamente melhores para o valor de f(x).
Uma funo dita contnua se contnua em todos os pontos de seu domnio.
Teorema 2 (Weierstrass) Tome D Rn compacto e f : D ! R uma funo contnua em D. Ento f atinge
um mximo e um mnimo em D, i.e., exitem pontos z1 ; z2 2 D; tais que
f (z1 )

f (x)

f (z2 )

8x 2 D

Convexidade e Quase-Convexidade
Denio 9 Seja X
e x,y 2 X tivermos

Rn um conjunto convexo. Uma funo f : X ! R convexa se para todo

f ( x + (1

)y)

f (x) + (1

2 [0; 1]

)f (y):

Analogamente, dita estritemente convexa se o sinal da desigualdade for estrito (< ao invs de

).

Denio 10 Seja X
Rn um conjunto convexo. Uma funo f:X! R cncava se -f convexa. Ou
seja,f : X ! R cncava se para todo
2 [0; 1] e x,y 2 X tivermos f ( x + (1
)y)
f (x) + (1
)f (y):Analogamente, dita estritemente cncava se o sinal da desigualdade for estrito.
Denio 11 Sejam D Rn um conjunto convexo e f : D ! R:O conjunto de contorno superior de f
em a, denotado por C+
a ou Uf (a); denido como
Uf (a) = fx 2 Djf (x)

ag:

O conjunto de contorno inferior de f em a, por sua vez, denotado por Ca ou Lf (a); denido como
Lf (a) = fx 2 Djf (x)

ag:

A funo f dita quase-cncava se Uf (a) convexo para todo a. Analogamente, dita quase-convexa se
Lf (a) convexo para todo a.

Figure 1: Curvas de nvel e conjuntos de contorno de uma funo quase-cncava, porm no cncava.

Figure 2: Uma funo cncava, uma apenas quase-cncava e uma que no apresenta globalmente nenhum
dos comportamentos citados.
Teorema 3 A funo f:D! R quase-cncava em D se, e somente se, para todo x,y2 D e para todo
2 (0; 1); vale
f [ x + (1
)y] minff (x); f (y)g:
A funo f quase-convexa em D se, e somente se, para todo x,y 2 D e para todo
f [ x + (1

)y]

2 (0; 1); vale

maxff (x); f (y)g:

Os grcos a seguir, retirados de http://are.berkeley.edu/courses/ARE211/currentYear/lecture_notes/mathGraphical305.pdf, ajudam a melhor compreender os conceitos de concavidade e quase-concavidade.

Homogeneidade e Homoteticidade
Denio 12 Uma funo dita homognea de grau k se: f (tx) = tk f (x) para todo t>0.
Teorema 4 Seja f:D! R uma funo C1 denida em um cone aberto do Rn : Se f homognea de grau k,
suas derivadas parciais so homogneas de grau k-1.
3

Proof. Por hiptese temos:

f (tx) = tk f (x):
Diferenciando em relao a x obtemos:
rf (tx)t = tk rf (x) ) rf (tx) = tk

rf (x)

Homogeneidade de grau 1

Teorema 5 (Frmula de Euler) Suponha f(x) homognea de grau k e diferencivel. Ento, para qualquer x,
temos
X @f (x)
:xn = kf (x)
@xn
n
ou, em notao matricial,

rf (x):x = k:f (x)

Proof. De maneira semelhante prova anterior, agora diferenciamos a denio, f (tx) = tk f (x) em relao
a t, obtendo
rf (tx) x = ktk 1 f (x)
Avaliando em t=1, tem-se:
rf (x) x = kf (x)
Se uma funo f (:) homognea transformada por uma funo crescente de uma nica varivel L(:), a
resultante L(f (x)) dita homottica. Note que a famlia das curvas de nvel de L(f (:)) a mesma que a
famlia das curvas de nvel de f (:).

Matrizes Semi-Denidas e Denidas

Denio 13 A matriz MnXn dita negativa semi-denida se z0M z
0; para todo z 2 Rn :Se a desigualdade estrita para todo z 6= 0, ento M negativa denida(inverterndo as desigualdades, obtemos os
conceitos de matriz positiva semi-denida e denida).
Teorema 6 A funo f : D ! R de classe C 2 cncava se e somente se a hessiana de f(.) (matriz de
segundas derivadas) negativa semi-denida para todo x 2 D. Se a hessiana negativa denida para todo
x 2 D; ento a funo estritamente cncava (observe que a volta no vale).

Otimizao com restries de igualdade

Considere o seguinte problema:
max

f (x)

x2Rn

sa gk (x; )

= bk

k=1,...,K

No estudo de problemas como este, so relevantes dois objetos:

1. O conjunto soluo
x ( ) = arg
que d a(s) soluo(es) para cada parmetro
um conjunto com diversos elementos).

max

sa restries

f (x; )

(se o problema tem mltiplas solues, ento x ( )

2. A funo valor
V( )=

max

sa restries

que d o valor da funo para cada parmetro

2
4

f (x; )

(V ( ) = f (y; ) para todo y2 x ( )):

Teorema 7 (Teorema de Lagrange) Sejam f : Rn ! R e gk : Rn ! R funes de classe C 1 ; k =

1; :::; K:Suponha que x seja um mximo ou mnimo local de f no conjunto
D = U \ fxjgk (x) = bk ; k = 1; :::; Kg
em que U Rn aberto. Suponha tambm que (Dg(x )) = K: Ento, existe um vetor
RK tal que
K
X
Df (x ) +
k Dgk (x ) = 0:

=(

1 ; :::;

K)

k=1

Teorema 8 (Teorema do Envelope) Considere o problema de maximizao proposto no incio desta seo e
suponha que (i) f(),g1 (); :::; gK () so continuamente diferenciveis em (x, ) e (ii)x diferencivel em uma
vizinhana A de ^:Ento,
1. V(.) diferencivel em A.
^

2. Para i=1,...,s @V@ (i ) =

ciado a x (^):

f (x (^);^)
i

PK

k=1

g(x (^);^)
k

; em que

o multiplicador de Lagrange asso-

Simplicando, este teorema nos diz que no necessrio observar os efeitos indiretos da variao dos
parmetros sobre a variao da funo valor, podendo-se deriv-la diretamente no timo.

Exerccios da Lista 1
Exerccio 1 Responda verdadeiro ou falso, justicando:
a) Toda funo cncava quase-cncava.
b) Toda funo quase-cncava cncava.
c) A soma de duas funes cncavas cncava.
d) A unio de 2 conjuntos convexos um conjunto convexo.
e) A interseo de 2 conjuntos convexos um conjunto convexo.
f) Seja f : R ! R diferencivel e estritamente crescente; ento f 0 (x) > 0 para todo x 2 R:
g) A unio de 2 conjuntos abertos um conjunto aberto.
h)A interseo de 2 conjuntos abertos um conjunto aberto.
i) O conjunto A f(x; y) : x2 + y 2 = 1g um conjunto convexo.
j)O conjunto A f(x; y) : x2 + y 2 1g um conjunto convexo.
Exerccio 2 Mostre a equivalncia das duas denies de quase-concavidade.

Exerccio 3 Mostre que a funo f(x,y)=min{ax,by} quase-cncava se a,b>0

Exerccio 4 Seja f : Rn+ ! R uma funo cncava. Seja g : R ! R estritamente crescente. Mostre que
h(x) = g(f (x)) uma funo quase-cncava.
Exerccio 5 Mostre que a inclinao das curvas de nvel de uma funo homottica no muda ao longo de
um raio que parte da origem.

Exerccio 6 Considere um problema denido por:

V (p; y) = maxU (x)
sa y = p x
Mostre que @V =@y = ; em que

o multiplicador de Lagrange associado ao problema de maximizao.

Exerccio 7 Considere as relaes de preferncias racional

e so transitivas, mas no so necessariamente completas.

sobre X. Mostre que as relaes binrias ~

Exerccio 8 Mostre que se uma relao de preferncias satisfaz a propriedade de monotonicidade, ento
tambm satisfaz a propriedade de no-saciedade local. Pode-se armar que no saciedade local implica
monotonicidade estrita? Justique.

Exerccio 9 A ordenao lexicogrca para X = R2+ denida por: x; y 2 R2+ ; x

x1 = y1 e x2 y2 :

y se x1 > y1 ou se

a) Mostre que a relao binria acima uma relao de preferncias racional.

b)Mostre que as preferncias lexicogrcas so montonas estritas.
c) Mostre que as preferncias lexicogrcas no so contnuas.
d) Por que esta relao de preferncias no muito interessante do ponto de vista econmico?
Exerccio 10 Seja a relao
denida a partir de % por ~ (x
simtrica se, e somente se, % completa.

y) , y % x. Ento prove que

Obs.:

x) :

assimtrica se 8x; y 2 X temos que ~ (x

y) ou ~ (y

Exerccio 11 Prove que, se % racional e estritamente convexa, para qualquer cojunto C

conjunto C 0 = fx 2 Cjx % y; 8y 2 Cg vazio ou unitrio.

as-

X convexo, o