这说明了什么： If your preferences never contradict themselves and don't jump around, they can be summarized by a single number attached to each bundle — that number is utility. Debreu's theorem is the guarantee that the summary exists: assign every bundle the point on a fixed reference line you'd be equally happy with, and that gives you a consistent score.
为什么这很重要： It means economists don't have to assume a utility function — they earn it from three plain conditions on choice. Everything downstream (demand, the welfare theorems, mechanism design) leans on this guarantee. No representation, no objective to maximize.
什么发生变化： Drop continuity and the guarantee breaks: lexicographic preferences (always prefer more of good 1, breaking ties with good 2) are complete and transitive but jump, so no continuous utility number can track them. Continuity is the condition that rules out those jumps.
In Full Mode, the theorem and its proof sketch build the utility number explicitly from a reference ray.
$$V(p, m) = \max_{x} \; u(x) \quad \text{s.t.} \quad p \cdot x \leq m$$
关键的对偶关系：
$$e(p, V(p, m)) = m$$(Eq. 11.3)
$$V(p, e(p, \bar{u})) = \bar{u}$$(Eq. 11.4)
$$h(p, \bar{u}) = x(p, e(p, \bar{u}))$$(Eq. 11.5)
罗伊恒等式。马歇尔需求可以从间接效用函数恢复：$x_i(p, m) = -(\partial V / \partial p_i) / (\partial V / \partial m)$。价格上升以与消费量成比例的程度降低福利，由收入边际效用调整。
罗伊恒等式提供了从间接效用函数推导马歇尔需求的捷径：
$$x_i(p, m) = -\frac{\partial V / \partial p_i}{\partial V / \partial m}$$(Eq. 11.6)
直觉模式
这说明了什么： Two shortcuts fall out of asking the same question from opposite sides. Shephard's lemma: the cheapest way to hit a fixed happiness target shifts, as a price rises, in exact proportion to how much of that good you were buying — so the demand curve is just the slope of the cost-to-stay-happy function. Roy's identity: your demand for a good is how fast your best-affordable happiness falls when its price ticks up, divided by how much one more dollar would have helped.
为什么这很重要： Demand can be recovered by differentiating a single function instead of re-solving an optimization from scratch. The minimize-cost and maximize-utility problems are two views of one choice, so the answer to either hands you the other for free. This duality is the engine behind welfare measurement and the Slutsky decomposition that follows.
什么发生变化： Raise a price and both shortcuts move the same way: Shephard says you substitute away from the now-expensive good along the constant-utility path; Roy says your achievable welfare drops by roughly the quantity you were buying. The bigger your purchases of a good, the harder its price increase bites.
In Full Mode, Eqs. 11.2 and 11.6 state Shephard's lemma and Roy's identity as derivatives of the expenditure and indirect-utility functions.
这说明了什么： The Slutsky matrix is bookkeeping for two facts about substitution. First, cross-effects are symmetric: how good A's compensated demand responds to good B's price exactly mirrors how B responds to A's price. Second, own-substitution effects never go the wrong way — raise a good's price, holding happiness fixed, and you buy weakly less of it, never more. That is all "symmetric and negative semidefinite" means.
为什么这很重要： These two facts are testable. A demand system that an analyst estimates from real data either obeys them or it doesn't — and if it doesn't, no rational, utility-maximizing consumer could have produced it. The matrix turns the abstract claim "people maximize utility" into a checkable pattern in observed purchases.
什么发生变化： Run it the other way (the integrability theorem): if a demand system does satisfy symmetry, negative semidefiniteness, homogeneity, and budget exhaustion, then some utility function must have generated it. The restrictions aren't just necessary — they're enough to reconstruct preferences from choices.
In Full Mode, Eq. 11.7 defines the matrix and the listed properties state symmetry, negative semidefiniteness, and homogeneity formally.
General equilibrium is the formal culmination of the marginalist program: value, fully formalized, becomes the equilibrium price vector. The intellectual lineage — Walras's 1874 vision through to the Arrow-Debreu existence proof — is traced in History of Economic Thought, Ch. 5 (The Marginalist Revolution and Formalization).
这说明了什么： Suppose the market outcome could be rearranged to help someone with no one else losing. That lucky person would now be holding a bundle they prefer to what they bought at equilibrium — but if they preferred it and could afford it, they would have bought it already. They didn't, so it must have been out of reach. Add up everyone's spending and the "improved" allocation costs more than the economy actually owns. Impossible. So no such improvement exists: the equilibrium is already efficient.
为什么这很重要： This is Adam Smith's invisible hand stated exactly. Self-interested traders, each minding only their own budget, land on an allocation no central planner could improve without making someone worse off — and the proof needs no benevolence, no coordination, just prices everyone faces in common.
什么发生变化： The argument leans on only two things: people don't leave money on the table (local nonsatiation) and they spend their whole budget. Break the shared-price assumption — market power, externalities, missing markets, private information — and the "they could have bought it" step fails. That is precisely where real markets stop being efficient.
In Full Mode, the four-step proof derives the contradiction from budget exhaustion and feasibility.
"Every billionaire is a policy failure" — viral slogan, popularized by Dan Riffle / AOC's office
Dan Riffle, AOC's former policy aide, turned this line into a social media mantra — shared millions of times, printed on T-shirts, chanted at rallies. The claim is stark: billionaires don't exist because they created extraordinary value. They exist because the system is broken — tax loopholes, monopoly power, rigged rules. The First Welfare Theorem you just proved gives you the tools to test this precisely: does extreme wealth concentration represent the market working correctly (and we just dislike the endowment), or the market failing (and efficiency is not achieved)?
It conflates wealth with income and ignores that most billionaire wealth is equity: claims on future profits, not cash extracted from workers' paychecks. It treats the economy as zero-sum when the welfare theorems are precisely about how exchange creates surplus.
The opposing person-level failure is equally bad: "Billionaires are the economy's heroes — they earned every penny." This ignores that many fortunes depend on market power, network effects, IP rents, and political influence, mechanisms that have nothing to do with the competitive market the First Welfare Theorem describes. Neither side engages with what the theorem actually says or what its conditions actually require.
Platform monopolies (Google, Meta, Amazon) benefit from network effects that create winner-take-all dynamics: these are natural monopolies with massive barriers to entry, not the competitive markets the theorem describes. Pharmaceutical fortunes depend on patent rents, which are government-granted monopolies. Finance fortunes benefit from too-big-to-fail subsidies, information asymmetries, and regulatory capture. Even "legitimate" tech fortunes rely on non-rival goods (software, algorithms) where marginal cost is zero, so standard competitive pricing ($P = MC$) would generate zero revenue; profits require market power.
The deeper structural argument: Piketty's $r > g$ result shows that when the return on capital exceeds the growth rate, wealth concentrates mechanically over time regardless of individual merit. The Second Welfare Theorem says any efficient allocation can be achieved with lump-sum transfers, but those transfers don't exist. So Riffle's instinct has formal backing: the policies that would prevent extreme concentration (lump-sum redistribution, competition enforcement, rent taxation) are either politically impossible or deliberately weakened.
The formal argument: the First Welfare Theorem says competitive equilibrium is Pareto efficient: no reallocation makes someone better off without making someone else worse off. Confiscating Bezos's wealth and redistributing it would make many people better off (diminishing marginal utility), but it would also make Bezos worse off. That's a Pareto comparison, not a failure. The theorem doesn't promise equality; it promises efficiency. If you want equality, use the Second Welfare Theorem: redistribute endowments, then let markets clear. That's an equity intervention, not a failure correction.
Furthermore, not all billionaires are created equal. Bezos built a logistics empire delivering real consumer value. Russian oligarchs acquired state assets in rigged privatization auctions. Riffle's slogan, "every billionaire," lumps value creators with rent extractors, innovators with oligarchs. That's rhetoric.
Some billionaire fortunes are genuine market failures: fortunes built on network effects, patent rents, regulatory capture, or political connections involve market power that violates the conditions of the First Welfare Theorem. These are departures from competitive equilibrium, and the resulting wealth concentration is not Pareto optimal. Other fortunes are closer to the welfare theorem ideal: they reflect surplus creation in reasonably competitive markets, and calling them "policy failures" requires a definition of failure that includes any outcome you dislike.
But even the "legitimate" billionaires expose a limitation the welfare theorems themselves acknowledge: Pareto optimality says nothing about equity. A world with one trillionaire and seven billion in poverty is Pareto optimal if redistribution makes the trillionaire worse off. Riffle's slogan captures a real truth: that policy choices (weak antitrust, capital gains preferences, lobbying access) amplify wealth concentration beyond what competitive markets alone would produce.
But "every billionaire" replaces analysis with vibes. The empirical question, how much billionaire wealth is value creation versus rent extraction, is genuinely contested, the mix differs across individuals, and blanket claims in either direction are wrong.
这说明了什么： Pick any efficient outcome you'd want — any fair, equal, or otherwise-desirable split that wastes nothing. The Second Welfare Theorem says a market can reach it. You don't override prices; you hand out the right starting endowments first, then let competitive trade run. Equilibrium does the rest.
为什么这很重要： It seems to separate two arguments people usually tangle: how big the pie is (efficiency) and how it's sliced (equity). In principle you can have both — choose the distribution you want, then keep all the efficiency of markets. The political left and right can both, on paper, get what they want from the same mechanism.
什么发生变化： The catch the convexity assumption hides is the word "lump-sum." Reaching the chosen split requires transfers that don't distort anyone's choices — which means the government must already know each person's type without watching their behavior. Real taxes (income, wealth, capital gains) react to behavior, so they distort. The clean separation is true in the model and unreachable in practice.
In Full Mode, the theorem statement names the convexity conditions and the lump-sum-transfer requirement precisely.
Where this proof sits in the history of ideas — the marginalist program that started with Walras and reached its formal peak in Arrow-Debreu — is the subject of History of Economic Thought, Ch. 5 (The Marginalist Revolution and Formalization).
