SOLUCIN TALLER 1 MICROECONOMA II

Solucionado por Julin Cantor Garca 13 de Agosto de 2012

La ponderacin que cada uno de los puntos tiene en la nota nal del taller aparece entre parntesis antes de que se den las soluciones. Los ejercicios que se muestran a continuacin no se resuelven necesariamente mediante un mismo procedimiento, si usted conoce otra solucin a las aqu presentadas envela a juecantorga@unal.edu.co, se otorgar una bonicacin de tres dcimas en la nota del taller al que esta corresponda y se mostrar en la solucin del siguiente taller. (Solamente se asigna un bono por cada nueva solucin) 2. (2.0 puntos) Considere la siguiente relacin sobre el conjunto de los nmeros reales

1 2 Es esta relacin completa y transitiva?

R : x1

x2

si y slo si

x1

Recordemos que la relacin

( ) es completa si para todo par de elementos x, y R se tiene que x

x.

Aqu se pueden tomar dos caminos que son lgicamente equivalentes: El primero consiste en observar que si la denicin de completitud aplica para todo par de elementos del conjunto, probarla se reducira a escoger un par aleatorio

x, y

denido sobre

y comprobar que ese par cumple las condiciones que exige la denicin,

demostrando que la denicin aplica para todos los elementos del conjunto, es decir, que la relacin es completa. El segundo camino consiste en observar que probar que una propiedad se cumple es lgicamente equivalente a probar que la negacin de la propiedad no se cumple, es decir, si suponemos que la relacin

( )

no es

completa y llegamos a una contradiccin, entonces nuestra primera hiptesis es falsa, lo que es equivalente a decir que no es el caso que la relacin no sea completa, es decir, que la relacin es completa; este tipo de argumentacin se le conoce como reduccin al absurdo. Aqu se demostrar de las dos maneras slamente con nes pedaggicos ya que en la prctica slo es necesario hacer una:
Completitud 1: Sean

x, y R

dos nmeros reales, se tiene necesariamente quex

oy

porque esta es

una propiedad axiomtica de los nmeros reales. Si

xy

entonces es cierto que

1 0 2 1 2

yx yx y y 1 2

x x
Si

yx

entonces es cierto que

1 0 2 1 2 y y

xy xy x x 1 2

Demostrando que la relacin es completa. Intuitivamente se puede pensar que se acaba de demostrar que sin importar las condiciones iniciales que se le den a un par relacionados mediante

x, y R

, los elementos del par estn

( )

de alguna manera, sin importar cul sea.

Completitud 2: Supongamos que la relacin no es completa. Formalmente esto quiere decir que existen dos

nmeros

x, y R

tales que

yey

x,

por la manera como se deni la relacin estas condiciones se

pueden visualizar como desigualdades ya que

x y
se cumplen al tiempo. Despejando

y x

si y slo si si y slo si

1 2 1 y <x 2 x<y yx
en la segunda se tiene que

xy

en la primera desigualdad e

xy yx
sumando a ambos lados se tiene que

< <

1 2 1 2

<

1 ( )
no sea completa, es decir, la relacin es

lo cual es falso, por lo tanto no es el caso que la relacin completa.

implica

( ) es transitiva si para toda tripla de elementos x, y, z R tales que x y y y z z.Observemos que esta denicin es un poco distinta a la de completitud en cuanto a que si bien se establece una propiedad sobre todo el conjunto R, para que la denicin aplique es necesario que los elementos del conjunto cumplan ciertas caractersticas -en este caso que x y y y z - y ya tienendo estas caractersticas como premisas sobre los elementos, que estas impliquen necesariamente otra propiedad -en este caso x z -.
Recordemos que la relacin

Transitividad: Supongamos que la relacin

x, y, z R tales que x

zyx

( ) no es transitiva, formalmente esto quiere decir que existen z. Por la manera como est denida la relacin, estas condiciones 1 2 1 yz 2 1 x<z 2 xy

se pueden expresar como desigualdades ya que

x y x

y z z

si y slo si si y slo si si y slo si

cumplindose todas al tiempo. Despejando sistema se reduce a

de la tercera desigualdad y reemplazando en la segunda el

x y

1 > +2

1 2 1 z+ 2 R2 entonces

De aqu se puede inferir que si el sistema de ecuaciones tiene como solucin un subconjunto de

la relacin no es transitiva, y por otro lado, si la solucin del sistema de ecuaciones es un conjunto vaco, la relacin es transitiva. A continuacin se muestra la salida del programa Matemticas de Microsoft de la solucin al sistema.

Las cruces azules muestran que la solucin del sistema de ecuaciones es un conjunto innito de puntos, por lo tanto, existen innitos nmeros transitiva.

x, y, z R

tales que hagan que la relacin sea no

Ntese que se pueden conseguir contraejemplos numricos de

x, y, z R

que cumplan

con la denicin de no-transitividad sin necesidad de saber si el sistema de desigualdades planteado anteriormente en efecto tiene o no solucin -(1, 1.4, 1.8),(0, 05, 0.8),(5.1, 4.7, 4.3), etc.-. Advirtase que para que se cumpla con la denicin de no-transtividad bastara con encontrar al menos uno de estos ejemplos, ya que la denicin de transitividad se establece para todo 3. Sea

x, y, z R.
Determine si las

u : R2 + R

una funcin de utilidad que representa a cierto preorden completo.

siguientes funciones denidas sobreR+ tambin representan a esta relacin: (a) (1.0 puntos)

v (x, y ) = eu(x,y) + u(x, y ) : Se sabe que si la funcin v (x, y ) representa al mismo preorden completo que u(x, y ) entonces la funcin v (x, y ) debe asignar un nmero mayor o igual a una canasta (x1 , y1 ) si y slo si esta es al menos tan buena como otra canasta (x2 , y2 ). Observemos que si (x1 , y1 ) (x2 , y2 )

entonces por denicin de funcin de utilidad es lo mismo que

u(x1 , y1 ) u(x2 , y2 ) u(x1 , y1 ) e e

u(x1 ,y1 ) u(x1 ,y1 )

u(x2 , y2 ) eu(x2 ,y2 ) eu(x2 ,y2 ) + u(x2 , y2 ) (x2 , y2 )

. Las herramien-

eu(x2 ,y2 )

eu(x1 ,y1 )

+ u(x1 , y1 ) (x1 , y1 )

v (x1 , y1 ) v (x2 , y2 )

demostrando que la funcin

v (x, y ) representa al mismo preorden completo que u(x, y )

tas del clculo sirven tambin para realizar esta demostracin, comprobando que: i. La funcin

v (z ).
ii.

v (x, y ) asigna un y slo un nmero a cada nmero u(x, y ), es decir, v (x, y ) = v (u(x, y )) = v (z ) para evitar consones.) Despus de haber comprobado i, comprobar que v (z ) es una funcin creciente en donde ella est d v (z ) 2 denida, es decir, sobre R+ . Esto se puede hacer comprobando que d z > 0.
(se renombra

La condicin i se puede comprobar fcilmente viendo que

v (z ) = ez + z
que es equivalente a nuestra funcin condicin, se tiene tambin

v (x, y )

cuando

z = u(x, y ).

Habiendo comprobado la primera

d v (z ) = e z + 1 > 0 dz
3

que comprueba que

v (z )

se puede ver como una transformacin creciente de

u(x, y ),

lo que signica

que asignar valores mayores o iguales a pares

(x1 , y1 )

(x2 , y2 )

si y slo si

(x, y ) v (x1 , y1 ) v (x2 , y2 ).

al menos tan buenos como otros, es decir, que

Estos mismos procesos demostrativos se utilizarn en los siguientes puntos indistintamente. (b) (1.0 puntos)v (x, y )

= u(x, y ) , , R :

Observemos que

v (x, y )

se puede ver como

v (z ) = z
y derivando se tiene que

d v (z ) = dz
d v (z ) d z slo es positiva en el intervalo (0, ) -pero no en todo R, que es donde est denido - la transformacin v (z ) representa al mismo preorden que u(x, y ) slo en el caso especial donde > 0,
Como

R,

pero no en general. (c) (1.0 puntos)v (x, y )

= u(x, y ) , R :

Observemos que

v (x, y )

se puede ver como

v (z ) = z
y derivando se tiene que

d v (z ) = z 1 dz
Como

d v (z ) 1 es positivo -pero no en todo R, d z slo es positiva en el intervalo (0, ) y cuando z que es donde est denido - la transformacin v (z ) representa al mismo preorden que u(x, y ) slo en el

R,

caso especial donde

>0

es impar, pero no en general.