What theorem in economics states that a competitive market yields a Pareto efficient outcome?

The First Welfare Theorem states that a competitive market yields a Pareto-efficient outcome, assuming the theorem's demanding ideal conditions hold.

Pareto efficiency means that no feasible reallocation can make someone better off without making someone else worse off. The theorem connects decentralized price-taking behavior with efficient allocation: when markets are complete, information is perfect, competition is genuine, and externalities are absent, supply and demand can coordinate resources without a central planner choosing every allocation.

The result belongs to general equilibrium economics and was formalized mathematically in work associated with Kenneth Arrow and Gérard Debreu. Earlier economists, including Vilfredo Pareto, developed the efficiency criterion itself. The theorem is often linked to Adam Smith's “invisible hand,” but that comparison can mislead because the theorem relies on assumptions rarely met perfectly in real economies.

Efficiency is not the same as fairness. A competitive equilibrium may be Pareto efficient while distributing income very unequally. The Second Welfare Theorem addresses a different question: under additional assumptions, different efficient outcomes may be supported through suitable redistribution of initial endowments.