Gabarito da Lista 1 de Microeconomia I

Professor: Carlos E.L. da Costa

Monitor: Vitor Farinha
Exerccio 1 Responda verdadeiro ou falso, justicando:
a) Toda funo cncava quase-cncava.
Soluo 1 Verdadeiro. Com efeito, seja a +. Sejam x,y tais que f(x)_ a e f(y)_ a. Seja t [0, 1] . Da
concavidade de f temos f(tx+(1-t)y)_ tf(x)+(1-t)f(y)_ ta + (1-t)a = a. Portanto o conjunto C
+
a
convexo.
b) Toda funo quase-cncava cncava.
Soluo 2 Falso. Contra-exemplo: f(x)= x
3
.
c) A soma de duas funes cncavas cncava.
Soluo 3 Verdadeiro. Seja h(x)=f(x)+g(x). Seja t [0, 1] . Da concavidade de f temos:f(tx+(1-t)y)_
tf(x)+(1-t)f(y). Da concavidade de g temos: g(tx+(1-t)y)_ tg(x)+(1-t)g(y). Somando-se as duas desigual-
dades temos h(tx+(1-t)y)_ th(x)+(1-t)h(y).
d) A unio de 2 conjuntos convexos um conjunto convexo.
Soluo 4 Falso. Tome = [0, 1] e 1 = [4, 5], ambos convexos, porm 0, 5.0 + 0, 5.5 = 2, 5 , ' 1.
e) A interseo de 2 conjuntos convexos um conjunto convexo.
Soluo 5 Verdadeiro. Sejam A e B dois conjuntos convexos. Sejam x,y AB. Seja t [0, 1] .Da, x,y
A= tx +(1-t)yA. Do mesmo modo, x,y B= tx +(1-t)yB. Portanto, tx +(1-t)yAB.
f) Seja ) : R R diferencivel e estritamente crescente, ento )
0
(r) 0 para todo r R.
Soluo 6 Falso.Contra-exemplo a funo f(x)=x
3
. f (0)=0.
g) A unio de 2 conjuntos abertos um conjunto aberto.
Soluo 7 Verdadeiro. Sejam A e B 2 conjuntos abertos em +. Seja x A'B. Sem perda de generalidade,
suponha que xA. Como A aberto, existe uma vizinhana (x--, x+-) A. Da,(x--, x+-) A'B. Portanto,
A'B aberto.
h)A interseo de 2 conjuntos abertos um conjunto aberto.
Soluo 8 Verdadeiro. Sejam A e B 2 conjuntos abertos. Seja C=AB. Seja x C. Da x A=
- 0 :(x--, x+-) A. Do mesmo modo, x B= c 0 :(x-c, x+c) B. Seja c = min-, c. Temos
(x-c, x+c) AB. Portanto, AB um conjunto aberto.
i) O conjunto A= (r, j) : r
2
+ j
2
= 1 um conjunto convexo.
Soluo 9 Falso. Tome z=(0,0)=
1
2
(1, 0) +
1
2
(1, 0). Apesar de tanto (-1,0) quanto (1,0) pertencerem ao
conjunto, z, uma combinao linear convexa com ` =
1
2
, no pertence.
1
j)O conjunto A= (r, j) : r
2
+ j
2
_ 1 um conjunto convexo.
Soluo 10 Verdadeiro. Sejam a
1
=(x
1
, j
1
), a
2
=(x
2
, j
2
) .To:c a=`a
1
+ (1 `)a
2
= (`r
1
+ (1
`)r
2
, `j
1
+(1`)j
2
) = (r, j), ` (0, 1).Da, x
2
+j
2
= `
2
(r
2
1
+j
2
1
)+(1`)
2
(r
2
1
+j
2
1
)+2`(1`)(r
1
r
2
+j
1
j
2
) _
1.
Exerccio 2 Mostre a equivalncia das duas denies de quase-concavidade.
Soluo 11 =Suponha que f quase-cncava, i.e, que U
f
(a) convexo para todo a R.Tome r, j l
f
(a)
de maneira que o menor deles, s.p.g. j, seja tal que f(y)=a. Logo pela convexidade de U
f
(a), `r+(1`)j
l
f
(a), o que signica que f[`r + (1 `)j] _ a = min[)(r), )(j)].
=Agora, suponha que tenhamos f[`r+(1`)j] _ min)(r), )(j) para todo x,y 1 e todo ` (0, 1).Tome
a R.Se U
f
(a) vazio ou contm apenas um ponto trivialmente convexo. Caso contrrio, tomo x,y l
f
(a).
Vale, ento, f(x)_ a e f(y)_ a.Portanto, min[f(x),f(y)]_ a.Temos, por hiptese, que f[`r + (1 `)j] _
min)(r), )(j) e conseqentemente que `r + (1 `)j l
f
(a).Como a era arbitrrio, temos a prova
completa da equivalncia.
Exerccio 3 Mostre que a funo f(x,y)=min{ax,by} quase-cncava se a,b0
Soluo 12 Tome n R e k
1
=(x
1
, j
1
) e k
2
=(x
2
, j
2
) tais que min{ax
i
+by
i
_ :, i = 1, 2.oc,a / = (r, j) =
`/
1
+ (1 `)/
2
. Logo, f(k)=min{a(`r
1
+ (1 `)r
2
), /(`j
1
+ (1 `)j
2
)). Note que a(`r
1
+ (1 `)r
2
) _
minar
1
, ar
2
e, analogamente, /(`j
1
+(1`)j
2
) _ min/j
1
, /j
2
.1oqo, )(/) _ minar
1
, ar
2
, /j
1
, /j
2
_ :,
provando a quase-concavidade de f(x,y).
Exerccio 4 Seja ) : R
n
+
R uma funo cncava. Seja q : R R estritamente crescente. Mostre que
/(r) = q()(r)) uma funo quase-cncava.
Soluo 13 Sejam r, j R
2
e a R tais que /(r) _ a e /(j) _ a. Ento /(`r + (1 `)j) = q[)(`r +
(1 `)j)] _ q(`)(r) +(1 `))(j)). Sem perda de generalidade, suponha )(r) _ )(j), ento q(`)(r) +(1
`))(j)) = q()(r) + (1 `)()(j) )(r))) _ q()(r)) _ a (q(.) crescente).
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.
Soluo 14 Seja g:R
n
+
R uma funo homottica, com g(x)=L(f(x)) em que f(x) homognea de grau k e
L:R R crescente. A inclinao de uma curva de nvel de nvel de g(x) dada por
dx1
dx2
= -
L
0
()
@f
@x
2
L
0
()
@f
@x
1
=
@f
@x
2
@f
@x
1
.
Pela homogeneidade de grau k-1 das derivadas parciais, pode-se perceber que
dx1
dx2
(tr) =
@f(tx)=@x2
@f(tx)=@x1
=

t
k1
:@f(x)=@x2
t
k1
:@f(x)=@x1
=
dx1
dx2
(r).
Exerccio 6 Considere um problema denido por:
\ (j, j) = :arl(r)
:a j = j r
Mostre que 0\,0j = `, em que ` o multiplicador de Lagrange associado ao problema de maximizao.
Soluo 15 Monta-se o Lagrangeano, 1 = l(r) + `[j j r]. Pode-se aplicar diretamente o Teorema do
Envelope, com
@L
@y
= `

.Assim, podemos perceber que o multiplicador de Lagrange associado ao problema de

maximizao pode ser interpretado como o ganho em termos de utilidade indireta que o agente ter quando
relaxarmos marginalmente sua restrio oramentria.
Exerccio 7 Considere as relaes de preferncias _ . Mostre que as relaes binrias ~ e ~ so transitivas,
mas no so necessariamente completas.
2
Soluo 16 ~ transitiva. Sejam r, j, . A tais que r ~ j e j ~ .. Ento, por denio, r _ j e
j _ r ; j _ . e . _ j. Logo, pela transitividade de _, segue que r _ j _ . implica em r _ .. Analogamente,
. _ j _ r implica em . _ r.
Logo, temos que r _ . e . _ r. Portanto, r ~ ..
~ transitiva. Sejam r, j, . A tais que r ~ j e j ~ .. Ento, r _ j mas no j _ r ; j _ . mas no
. _ j. Logo, pela transitividade de _, r _ . mas no . _ r. Segue que r ~ ..
~ e ~ no so completas necessariamente. Tome A = , 1 e % denida por: % , 1 % 1,
1 % . Ento ~ no completa pois ~(~1) e ~(1~) (desculpem o abuso de notao) e ~ no completa
pois ~(~). (Note que ~ pode ser completa, mas ~ nunca o ).
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.
Soluo 17 Seja A = R
n
e tome r A qualquer e - 0. Ento dena r
0
= r +
"
2
p
n
c (onde c =
(1, 1, ..., 1)), ento como - 0, r
0
r e logo (monotonicidade) r
0
~ r, mas |r
0
r| =

"
2
p
n
c

=
"
2
p
n
|c| =
"
2
p
n
_
1
2
+ ... + 1
2
=
"
2
p
n
_
: =
"
2
< - e assim r
0
1(r, c).
Exerccio 9 A ordenao lexicogrca para A = R
2
+
denida por: r, j R
2
+
, r _ j se x
1
j
1
ou se
x
1
= j
1
e x
2
_ j
2
.
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?
Soluo 18 a) Para mostrar que a relao completa, suponha que r, j +
2
+
e que r j. Segue que
\r
1
_ j
1
" e \r
1
,= j
1
ou j
2
r
2
". Ento, temos que \r
1
< j
1
" ou \r
1
_ j
1
e j
2
r
2
". Logo, j _ r.
Portanto, r j ==j _ r.
Para mostrar que a relao transitiva, tome r, j, . +
2
+
tais que r _ j e j _ .. Ento, aplicando
diretamente a denio, obtemos r _ ..
b) Sejam r, j +
2
+
tais que r _ j, r ,= j. Ento \r
1
j
1
e r
2
_ j
2
" ou \r
1
= j
1
e r
2
j
2
". Em ambos
os casos, r ~ j.
c) Tome r
n
= (1, 1) e j
n
= (1 +
1
n
, 0), ento j
n
% r
n
\:, mas limj
n
= (1, 0) limr
n
= (1, 1).
d) Esta relao de preferncias exclui a possibilidade de troca entre r
1
e r
2
(no h quantidade nita de r
2
que seja prefervel a uma quantidade arbitrariamente pequena de r
1
).
Exerccio 10 Seja a relao ~ denida a partir de % por ~ (r ~ j) = j % r. Ento prove que ~ as-
simtrica se, e somente se, % completa.
Obs.: ~ assimtrica se \r, j A temos que ~ (r ~ j) ou ~ (j ~ r) .
Soluo 19 (=) ~ assimtrica, ento tome r, j A quaisquer. Temos que ~ (r ~ j) ou ~ (j ~ r), logo
temos que, pela denio de ~, j % r ou r % j, ento % completa.
(=) Tome r, j A quaisquer. Pela completeza de %, temos que j % r ou r % j, logo vale imediatamente
~ (r ~ j) ou ~ (j ~ r) .
Exerccio 11 Prove que, se % racional e estritamente convexa, para qualquer cojunto C A convexo, o
conjunto C
0
= r C[r % j, \j C vazio ou unitrio.
Soluo 20 Suponha que r, j C
0
com r ,= j (ou seja, conjunto no vazio e no unitrio). Ento tome
1
2
r +
1
2
j = . C (convexidade de C). Temos que r % r e j % r (pela denio de C
0
), logo . ~ r
(convexidade estrita de %). Uma contrdio pois temos r % ., j que . C.
3