Primer Teorema del Bienestar (demostración).

Prof. Julio A Ruiz

Hipótesis:

(1) Insaciabilidad local

(2) Conducta Optimizante
(3) Definición de Ingreso
(4) (P, X, Y) son E.G.

En forma operativa
(5) -De (1) y (2): si xi'  xi*, => P*xi' > P*xi*  i
(6) -De (2): P*yj*- P*wj ≥P*yl'- P*wj
(7) -De (3): mi = P*w0i + Ɵij (P*yj*- P*wj),  i donde Ɵij: participación de “i” en los Beneficios
de la unidad productiva “j”

(8) -De (4): x*≤ y*; y P* (x-y) = 0 (condición de factibilidad y Ley de Walras)

Tesis:
La producción de bienes y su distribución son eficientes en el sentido de Pareto.
En forma operativa:
~Ǝ (x',y') / (xi'  xi* ˄ x'≠i  x*≠i) ˅ (y'l > yl* ˄ y'≠l ≥ y*≠l)

Demostración (por el absurdo)

Negación de la tesis: Ǝ (x',y') / (xi'  xi* ˄ x≠i'  x≠i*)

=> ∑ Pl*xl' > ∑ Pl*xl* (de 5 y x' no puede ser más barato que x* en los otros casos)
l l

=> ∑ Pl*xl' > ∑ ∑ Pl*xli* = ∑ mi* (agotamiento del presupuesto)

l i l i

=> ∑ ∑ Pl*xl' >∑ P*wli + ∑ ∑ (Ɵij (P*yj*- P*wj)) (agrego y aplico 7);
i l i i j

=> ∑ Pl*xl' >∑ Pl*wl + ∑ (Pl*yl*- Pl*wl);

l l l

=> ∑ Pl*xl' - ∑ P*wl > ∑ (Pl*yl*- Pl*wl) (9)

l l l

De (9) y (6): ∑ Pl*xl' - ∑ Pl*wl > ∑ (Pl*yl*- Pl*wl) ≥ ∑ (Pl*yl'- Pl*wl)

l l l l

=> ∑ Pl*xl' > ∑ (Pl*yl'- Pl*wl) + ∑ Pl*wlo

l l l

=> P*x' > P*(y'- w + w) => x' > y',

lo que contradice factibilidad (8): x' ≤ y' , cqd.