En efecto, la convexidad del conjunto de producción no es necesaria para la demostración del primer teorema del bienestar, pero sí para la del segundo. Sin embargo, no es una condición necesaria.
Es posible interpretar esto como una cuestión de existencia. El primer teorema del bienestar se refiere a todos los equilibrios competitivos y se cumple trivialmente si no hay ninguno. El segundo teorema del bienestar, en cambio, afirma que para una asignación eficiente de Pareto dada, existe un sistema de precios y una redistribución de las dotaciones con respecto a la cual es un (cuasi) equilibrio.
La prueba estándar del segundo teorema del bienestar utiliza un resultado de Minkowski sobre la separación de conjuntos convexos no superpuestos por un hiperplano, pero es posible demostrar una versión del segundo teorema del bienestar como corolario de un resultado de existencia mediante un bonito argumento debido a Maskin y Roberts . El argumento es bastante fácil en el caso de una economía de intercambio: Tome una asignación eficiente de Pareto como la distribución de la dotación. Si existe un equilibrio competitivo a partir de estas dotaciones, todo el mundo terminará con algo al menos tan bueno como su dotación. Dado que la distribución de la dotación era Pareto eficiente, nadie puede acabar con algo mejor. Por lo tanto, todo el mundo debe ser indiferente entre su paquete de productos demandados y su dotación, por lo que también podría exigir sólo su dotación. El argumento se generaliza a las economías con producción.
0 votos
"el autor realmente trató de decir" ¿Podría enlazar la obra donde ha leído estas afirmaciones?
0 votos
Me he expresado mal. Quería decir "tal vez el autor quiso decir que la convexidad no es necesaria para la eficiencia (...)". Así que esto era una conjetura mía y no una cita.
0 votos
Eso está bien. ¿Quién es la autora y dónde podemos leer lo que dijo?
0 votos
Por ejemplo Tirole, página 6 y Nicholson et al., página 350 . No se afirma que la convexidad de los conjuntos de producciones sea innecesaria, sino que se omite implícitamente esta suposición (véase Wikipedia también). Pido disculpas si mi declaración ha sido engañosa.