Weller's theorem, proved by Dietrich Weller in 1985, is a result in economics showing that a heterogeneous divisible resource can always be divided among partners with differing valuations in a way that is simultaneously Pareto efficient and envy free. The theorem further shows that such an allocation can be supported by a system of prices making it a competitive equilibrium with equal incomes, linking the fair cake-cutting literature to general equilibrium theory.
Facts
StatementA heterogeneous resource can be divided among n partners with different valuations in a way that is both Pareto-efficient and envy-free. 1 Classification
Statement Form Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
Sources
1. Weller's theorem - Wikipedia
Introduction, paragraph 1, sentence 2Quote, Introduction, paragraph 1, sentence 2
a heterogeneous resource ("cake") can be divided among n partners with different valuations in a way that is both Pareto-efficient (PE) and envy-free (EF).
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.