Axiomas de convexidad Previamente debemos definir los siguientes conjuntos respecto a una canasta de consumo determinada X : Conjunto de indiferencia: esta formado por todas las canastas de consumo que son indiferentes a ¥ . {ye X/y~x} Conjunto contorno superior: esta formado por todas las canastas que son al menos tan buenas como la X , eX/y>x y Y= Conjunto contorno inferior: esta formado por todas Ias canastas que no son al menos tan buenas como la ¥ {ye X/xx y} en X es convera si VYE X et Definicion: La relacién de preferencia “: conjunta contorna superior {YE XY =X} ex convexo, es decir, si yexazyxs>ay+(l-@)z>x,Vae [0,1]. Definicién: La relacién de preferencia ca X es estrictamente convexa si VWreX, VeXAZe XY #zZ=> ay+(1-az)>x,Vae [0,1]. Este supuesto implica que la curvas de indiferencia no pueden ser rectas.Soporte matemdtico: Por definici6n una funcion f : X —> R definida sobre un conjunto convero K CR" es ewasicéneara si su conjunto contomo superior {2 X.f(x) 21} 5 un conjunto convero. Notar que las preterencias son convexas si{ YE X / ¥ 2X} es un conjunto convexo. Pero como U(+) representa las preferencias YX > UCY) 2 U(X). Porto tanto {ye X/u(y) 21} con U(X) =f también es un conjunto convexo. Por Jo tanto si las preferencias son convexas, la funcién U(*) es cuasicéncava,eo Proposicién: Supongamos que Ia relacién de preferencias racionales “— ” en X es continua, Entonces hay una funcion de utilidad continua Y(X) que representa alas >. Demostracion: 2 Supongamos que X = IR? y que ta relacion de preferencias es monotona. v > Llamemos © al vector de RB? cuyos elementos son todos unos. 1 1 v a 45°. Fs decir, ol producto de cualquier no negativo y el vector unitario, es una canasta de consiamo- sobre la diagonal de 45°- que tiene In particularidad de tener las mismas cantidades del bien uno y del bien dos. > Ahora tomo cualquier XE X Como las preferencias son monotonas, entonces Q > 2X nunca puede ser cierto. v Sies vitido XO. Porto tanto el conjunto A ={a@eR,:x> ae} 4D En este eto -por eemplo- =O me deja en a canssta de yo que no ene nada de los dos bienes. Por lo tanto como X =O, =0 pertenece a dicho conjunto. > También por la monotonicidad de las preferencias, existira un @ tal que OC ‘me deja en una canasta del rayo que tiene mas de todos los bienes, respecto de la canasta ¥ Por lo tanto: A’ ={a@eR, :ae>x}4#O > Como las preferencias son continuas, el conjunto contorno superior ¢ inferior respecto de x debe ser un conjunto cerrado. > Por lo tanto los conjuntos A” y A” deben ser cerrados . » R,c(A‘UA)Si todos los reales no negativos no estuvieran incluidos en el conjunto unin, o> existiria un real- concretamente un @ 2 Ono incluido en el conjunto unién. Por lo tanto @”e, no perteneceria a ninguno de los dos conjuntos. Pero si no pertenece a ninguno de los dos conjuntos, es porque no puedo comparar a la canasta_@"e con la canasta X, algo que contradice el supuesto de que las preferencias sean completas. > Como R, es un conjunto conectado, entonces AY VA #D AOA ={ae R,:x>aenae>x}={ae R, :x~ ae} Por lo tanto existe por lo menos un @ que me deja en una canasta del rayo, ante la cual el consumidor esti indiferente respecto de la canasta © . > Asu vez, dicho @ debe ser tinico. Si esto no fuera cierto, entonces Aa,,@,€ RL AG FQ, sates que “enna Pero esto sélo puede pasar si y sdlo si @, = 4, Si @, > @, entonces por monotonicidad @e> x. Andlogamente si @, > @,, entonces @,e > x. > Entonces hemos demostrado que para cualquier canasta-¥ que tomemos del espacio de consumo, existe un nico @que nos deja en una canasta del rayo, ante Ia cual el consumidor esta indiferente respecto de Ia canasta X . Por lo tanto podemos pensar a @ (X) como una funcién que me devuelve un real no negativo que me deja en la canasta del rayo indiferente a la canasta X . Pero entonces @(*X) es una funcién de utilidad que representa a las preferencias. ,porqué? v Supongamos que @(.x) > @y), entonces por monotonicidad O(X)e > A Y)e. Pero como A(x)e~XAA(ye~y>xXEy Ahora supongamos que X > VY. Entonces @(X)e ~ X > y ~ A(y)e. Por lo tanto por monotonicidad de las preferencias A(x) 2 Ay).