The Welfare Theorems

The Second Welfare Theorem

Let $P(x_n)=\{x'_n\in X_n:x'_n\succ_nx_n\}$ and $R(x_n)=\{x'_n\in X_n:x'_n\succeq_nx_n\}$. A quasi-equilibrium for the economy $\mathcal{E}$ is an allocation $(x^*,y^*)$ and a price vector $p^*$ such that

  1. For every firm $m$, $y^*_m$ maximizes profits among all feasible production plans in $Y_m$: \begin{equation*} p^*y^*_m\geq p^*y_m\quad\mbox{for all}\quad y_m\in Y_m. \end{equation*}
  2. For every consumer $n$, $x^*_n$ is expenditure-minimal on the 'no worse than' set. That is, $p^*x^*_n\leq p^*x_n$ for all $x_n$ in the set $R(x^*_n)$.
  3. $(x^*,y^*)\in A$.

A quasi-equilibrium is sometimes called a compensated equilibrium.