<p>In its most general formulation, a <em>social welfare function</em> is just a utility function representing the preferences of &quot;society as a whole&quot; (or the preferences of a hypothetical &quot;benevolent social planner&quot; who makes decisions for the society).</p>
<p>Let <span class="math-container">$X$</span> be some space of &quot;social outcomes&quot;.  (Social outcomes could be <em>anything</em>.  But if you want a concrete example, then suppose that social outcomes describe allocations of resources to individuals.  If there are <span class="math-container">$N$</span> individuals, and there are <span class="math-container">$M$</span> distinct types of resources, the an allocation is an (<span class="math-container">$N \times M$</span>)- dimensional vector, so in this case <span class="math-container">$X$</span> would be some subset of <span class="math-container">$\mathbb{R}^{N\times M}$</span>.)  A <em>social welfare function</em> is just a function <span class="math-container">$W:X \rightarrow\mathbb{R}$</span>;  heuristically, if <span class="math-container">$x$</span> is some element of <span class="math-container">$X$</span> (some &quot;social outcome&quot;) then <span class="math-container">$W(x)$</span> measures the &quot;total welfare&quot; or &quot;social value&quot; or &quot;overall desirability&quot; (or whatever) of <span class="math-container">$x$</span>.  Thus, the benevolent social planner should aim for policies that maximize the value of <span class="math-container">$W$</span>.</p>
<p>The key question, of course, is how to define <span class="math-container">$W$</span>.  One way to do this is to somehow build <span class="math-container">$W$</span> out of the preferences or utility functions of individuals.  Suppose there are <span class="math-container">$N$</span> individuals, each of whom has a preference order <span class="math-container">$\succeq_i$</span> on <span class="math-container">$X$</span>.  This collection of preference orders <span class="math-container">$(\succeq_1,\succeq_2,\ldots,\succeq_N)$</span> is an (ordinal) <em>social profile</em>.  (This partly answers your second question.)  A big part of the modern theory of social choice and welfare is about defining systematic, principled ways of defining <span class="math-container">$W$</span> based on the profile <span class="math-container">$(\succeq_1,\succeq_2,\ldots,\succeq_N)$</span>.</p>
<p>Typically, purely ordinal preference information about the individuals is not sufficient. (This is one way of reading Arrow's Impossibility Theorem --I won't get into the details here).  So we might want to endow each individual with a <em>utility function</em> <span class="math-container">$u_i:X \rightarrow \mathbb{R}$</span> (which is more informative than just a preference order).  A collection of utility functions <span class="math-container">$(u_1,u_2,\ldots,u_N)$</span> is a (utility) <em>social profile</em>.  (This is the rest of the answer to your second question.) We  then seek to construct <span class="math-container">$W$</span> out of <span class="math-container">$(u_1,u_2,\ldots,u_N)$</span>.</p>
<p>For example, given a social profile of utility functions <span class="math-container">$(u_1,u_2,\ldots,u_N)$</span>, we could define <span class="math-container">$W(x):=u_1(x)+u_2(x)+\cdots+u_N(x)$</span> for all <span class="math-container">$x\in X$</span> ---this is the <em>utilitarian</em> social welfare function. Or we could define <span class="math-container">$W(x):=\min\{u_1(x),u_2(x),\ldots,u_N(x)\}$</span> for all <span class="math-container">$x\in X$</span> ---this is the <em>egalitarian</em> (or <em>Rawlsian</em>) social welfare function.  Or (assuming all utilities are strictly positive), we could define <span class="math-container">$W(x):=u_1(x)\cdot u_2(x) \cdots u_N(x)$</span> for all <span class="math-container">$x\in X$</span> ---this is the <em>Nash</em> social welfare function.</p>
<p>Different social welfare functions have different properties, which may be more or less desirable, depending on your beliefs about moral philosophy and social justice.  Much of social welfare theory can be seen as developing a mathematically precise way to think about moral philosophy and social justice, by understanding the properties of different social welfare functions and the tradeoffs between these properties.  For example, <em>axiomatic characterization</em> theorems begin with a list of axioms (each encoding a property corresponding to our intuitions about rationality, morality, justice, etc.) and show that there is a <em>unique</em> social welfare function that satisfies all of these axioms.</p>

CC BY-SA 4.0
2021-05-14T07:22:29.577Z
2021-05-15T04:49:49.103Z
2021-05-15T04:49:49.103Z
Marcus Pivato
<p>What are the meanings of a social welfare function and social profile? How are they related?</p>

<utility><decision-theory><social-welfare><social-choice>
Question about Social Welfare Function and Social Profile
Satish Rao
# Question about Social Welfare Function and Social Profile

(Asked by: username_0 on 2021-05-14)

What are the meanings of a social welfare function and social profile? How are they related?

**Tags:** utility, decision-theory, social-welfare, social-choice

---

## 1 answers

### Answer by username_1 on 2021-05-14. Score: 5

In its most general formulation, a *social welfare function* is just a utility function representing the preferences of "society as a whole" (or the preferences of a hypothetical "benevolent social planner" who makes decisions for the society).

Let $X$ be some space of "social outcomes". (Social outcomes could be *anything*. But if you want a concrete example, then suppose that social outcomes describe allocations of resources to individuals. If there are $N$ individuals, and there are $M$ distinct types of resources, the an allocation is an ($N \times M$)- dimensional vector, so in this case $X$ would be some subset of $\mathbb{R}^{N\times M}$.) A *social welfare function* is just a function $W:X \rightarrow\mathbb{R}$; heuristically, if $x$ is some element of $X$ (some "social outcome") then $W(x)$ measures the "total welfare" or "social value" or "overall desirability" (or whatever) of $x$. Thus, the benevolent social planner should aim for policies that maximize the value of $W$.

The key question, of course, is how to define $W$. One way to do this is to somehow build $W$ out of the preferences or utility functions of individuals. Suppose there are $N$ individuals, each of whom has a preference order $\succeq\_i$ on $X$. This collection of preference orders $(\succeq\_1,\succeq\_2,\ldots,\succeq\_N)$ is an (ordinal) *social profile*. (This partly answers your second question.) A big part of the modern theory of social choice and welfare is about defining systematic, principled ways of defining $W$ based on the profile $(\succeq\_1,\succeq\_2,\ldots,\succeq\_N)$.

Typically, purely ordinal preference information about the individuals is not sufficient. (This is one way of reading Arrow's Impossibility Theorem --I won't get into the details here). So we might want to endow each individual with a *utility function* $u\_i:X \rightarrow \mathbb{R}$ (which is more informative than just a preference order). A collection of utility functions $(u\_1,u\_2,\ldots,u\_N)$ is a (utility) *social profile*. (This is the rest of the answer to your second question.) We then seek to construct $W$ out of $(u\_1,u\_2,\ldots,u\_N)$.

For example, given a social profile of utility functions $(u\_1,u\_2,\ldots,u\_N)$, we could define $W(x):=u\_1(x)+u\_2(x)+\cdots+u\_N(x)$ for all $x\in X$ ---this is the *utilitarian* social welfare function. Or we could define $W(x):=\min\{u\_1(x),u\_2(x),\ldots,u\_N(x)\}$ for all $x\in X$ ---this is the *egalitarian* (or *Rawlsian*) social welfare function. Or (assuming all utilities are strictly positive), we could define $W(x):=u\_1(x)\cdot u\_2(x) \cdots u\_N(x)$ for all $x\in X$ ---this is the *Nash* social welfare function.

Different social welfare functions have different properties, which may be more or less desirable, depending on your beliefs about moral philosophy and social justice. Much of social welfare theory can be seen as developing a mathematically precise way to think about moral philosophy and social justice, by understanding the properties of different social welfare functions and the tradeoffs between these properties. For example, *axiomatic characterization* theorems begin with a list of axioms (each encoding a property corresponding to our intuitions about rationality, morality, justice, etc.) and show that there is a *unique* social welfare function that satisfies all of these axioms.


---

