# Advanced Microeconomics/Utility Functions

## Utility functions[edit]

Formal analysis of choice relies upon a conception of well-being known as *utility*. This notion provides a real valued space in which each member of the choice set corresponds to a numerical value. A mapping from the choice set **X** to the real line is known as a *utility function*.

**Utility Function:** a function is a utility function representing the preference relation if:

.

The utility function plays a foundational role in economics. However, as used in economics, the concept of utility has no measurable counterpart in the real world. Utility functions provide *ordinal* rankings of choices, thus the numerical value assigned to each utility level is completely arbitrary.

To explicate, consider the set of possible choices with preferences Now consider two candidate utility functions

Notice, the functions **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle u_1(c),\quad u_2(c)}**
each provide valid representations of the preferences defined over the choice set. However, a mental-state interpretation of utility may interpret the two functions differently. Using some crude notion of 'happiness' or 'satisfaction', suggests choice x leaves our decision maker 'twice as happy' as choice y, an interpretation $u_2(c)$ fails to support. In fact, any monotone transform of represents the original preference relation but may not (usually *will not*) preserve cardinal relationships between utility levels. Thus, attaching a psychological interpretation to utility *creates information* not present in the underlying preference relation.

### Properties of Utility Functions[edit]

- Monotonicity: Utility functions exhibit weak monotonicity iff and strong monotonicity iff
**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle x\geq y\and x\neq y \Rightarrow x\succ y}**