There are two fundamental theorems of welfare economics.
Contents
- Implications of the First Theorem
- Proof of the First Theorem
- Proof of the second fundamental theorem
- Related theorems
- References
The First Theorem states that a market will tend toward a competitive equilibrium that is weakly Pareto optimal when the market maintains the following two attributes:
1. complete markets - No transaction costs and because of this each actor also has perfect information, and
2. price-taking behavior - No monopolists and easy entry and exit from a market.
Furthermore, the First Theorem states that the equilibrium will be fully Pareto optimal with the additional condition of:
3. local nonsatiation of preferences - For any original bundle of goods, there is another bundle of goods arbitrarily close to the original bundle, but that is preferred.
The Second Theorem states that, out of all possible Pareto optimal outcomes, one can achieve any particular one by enacting a lump-sum wealth redistribution and then letting the market take over.
Implications of the First Theorem
The First Theorem is often taken to be an analytical confirmation of Adam Smith's "invisible hand" hypothesis, namely that competitive markets tend toward an efficient allocation of resources. The theorem supports a case for non-intervention in ideal conditions: let the markets do the work and the outcome will be Pareto efficient. However, Pareto efficiency is not necessarily the same thing as desirability; it merely indicates that no one can be made better off without someone being made worse off. There can be many possible Pareto efficient allocations of resources and not all of them may be equally desirable by society.
This appears to make the case that intervention has a legitimate place in policy – redistributions can allow us to select from all efficient outcomes for one that has other desired features, such as distributional equity. The shortcoming is that for the theorem to hold, the transfers have to be lump-sum and the government needs to have perfect information on individual consumers' tastes as well as the production possibilities of firms. An additional mathematical condition is that preferences and production technologies have to be convex.
Proof of the First Theorem
The first fundamental theorem was first demonstrated graphically by economist Abba Lerner and mathematically by economists Harold Hotelling, Oskar Lange, Maurice Allais, Kenneth Arrow and Gérard Debreu. The theorem holds under general conditions.
The formal statement of the theorem is as follows: If preferences are locally nonsatiated, and if (x*, y*, p) is a price equilibrium with transfers, then the allocation (x*, y*) is Pareto optimal. An equilibrium in this sense either relates to an exchange economy only or presupposes that firms are allocatively and productively efficient, which can be shown to follow from perfectly competitive factor and production markets.
Suppose that consumer i has wealth
Preference maximization (from the definition of price equilibrium with transfers) implies:
In other words, if a bundle of goods is strictly preferred to
To see why, imagine that
Now consider an allocation
Because
Proof of the second fundamental theorem
The Second Theorem formally states that, under the assumptions that every production set
The proof proceeds in two steps: first, we prove that any Pareto-efficient allocation can be supported as a price quasi-equilibrium with transfers; then, we give conditions under which a price quasi-equilibrium is also a price equilibrium.
Let us define a price quasi-equilibrium with transfers as an allocation
The only difference between this definition and the standard definition of a price equilibrium with transfers is in statement (ii). The inequality is weak here (
These two convex, non-intersecting sets allow us to apply the separating hyperplane theorem. This theorem states that there exists a price vector
Next we argue that if
Using this relation we see that for
Because
which implies
which implies
We now turn to conditions under which a price quasi-equilibrium is also a price equilibrium, in other words, conditions under which the statement "if
To see why, assume to the contrary
Hence, for price quasi-equilibria to be price equilibria it is sufficient that the consumption set be convex, the preference relation to be continuous, and for there always to exist a "cheaper" consumption bundle
Related theorems
Because of welfare economics' close ties to social choice theory, Arrow's impossibility theorem is sometimes listed as a third fundamental theorem.
The ideal conditions of the theorems, however are an abstraction. The Greenwald-Stiglitz theorem, for example, states that in the presence of either imperfect information, or incomplete markets, markets are not Pareto efficient. Thus, in real world economies, the degree of these variations from ideal conditions must factor into policy choices. Further, even if these ideal conditions hold, the First Welfare Theorem fails in an overlapping generations model.