Leontief utilities¶
A fixed-proportions utility model in which bundle value is the minimum of each good’s quantity divided by its required coefficient.
Core Idea¶
It represents perfect complements and no substitutability beyond required ratios, coefficients and monotonic transformations affect interpretation and utility remains ordinal in consumer theory. Each good supports a number of complete consumption units, and the scarcest normalized component bottlenecks the total utility while excess amounts of other components add no value alone. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.
Scope of Application¶
Leontief utilities belongs to microeconomics and is useful where the analyst can specify the typed microeconomics carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, then evaluate the goods and nonnegative bundle, positive fixed-proportion coefficients, normalized quantities x-i over w-i, minimum utility formula, perfect-complements interpretation, L-shaped indifference curves, demand under prices and budget and bottleneck and excess-input behavior are explicit. The scope is broad within that domain but bounded by the need for the goods and nonnegative bundle, positive fixed-proportion coefficients, normalized quantities x-i over w-i, minimum utility formula, perfect-complements interpretation, L-shaped indifference curves, demand under prices and budget and bottleneck and excess-input behavior are explicit.
Clarity¶
The abstraction clarifies a crowded vocabulary by making the goods and nonnegative bundle, positive fixed-proportion coefficients, normalized quantities x-i over w-i, minimum utility formula, perfect-complements interpretation, L-shaped indifference curves, demand under prices and budget and bottleneck and excess-input behavior are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.
Manages Complexity¶
Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Leontief utilities. Leontief utilities compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.
Abstract Reasoning¶
- Identify the carrier. State what the elements, states, objects, or observations are: the typed microeconomics carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets. Reject examples whose alleged carrier belongs to a different problem. 2. Lock the constitutive rule. Express the goods and nonnegative bundle, positive fixed-proportion coefficients, normalized quantities x-i over w-i, minimum utility formula, perfect-complements interpretation, L-shaped indifference curves, demand under prices and budget and bottleneck and excess-input behavior are explicit independently of one notation or implementation.
Knowledge Transfer¶
Knowledge transfers strongly among subfields of microeconomics because they reuse the typed microeconomics carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, Each good supports a number of complete consumption units, and the scarcest normalized component bottlenecks the total utility while excess amounts of other components add no value alone., and type the carrier, state every parameter and convention in the definition, test that the goods and nonnegative bundle, positive fixed-proportion coefficients, normalized quantities x-i over w-i, minimum utility formula, perfect-complements interpretation, L-shaped indifference curves, demand under prices and budget and bottleneck and excess-input behavior are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.
Relationships to Other Abstractions¶
Current abstraction Leontief utilities Domain-specific
Parents (1) — more general patterns this builds on
-
Leontief utilities is a kind of Constraint Prime
The proposed strict upward parent is
prime:constraint.
Hierarchy path (1) — routes to 1 parentless root
- Leontief utilities → Constraint
Neighborhood in Abstraction Space¶
Leontief utilities sits in a crowded region of the domain-specific corpus (33rd percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Welfare, Production & Economic Choice (45 abstractions)
Nearest neighbors
- Expenditure function — 0.92
- Monotone preferences — 0.92
- Market distortion — 0.91
- Contract curve — 0.91
- Full employment — 0.89
Computed from structural-signature embeddings · 2026-09-08