Tout comme les ensemble d'indifférence, les fonctions d'utilité vérifient un ensemble de contraintes qui découlent des hypothèses 1 à 5.
démonstration : Si
et
appartiennent au même ensemble
d'indifférence associé à la relation de préférence
alors
on a
ce qui implique
mais on a
aussi
ce qui implique
Donc
Les deux propriétés précédentes montrent, quand on les combinent,
quelque chose de très important. Supposons
que deux paniers différents
et
appartiennent au même ensemble d'indifférence.
On a alors
Mais on sait alors que le panier
contient certains biens dans des quantités
supplémentaires à celles figurant pour les mêmes biens
dans le panier
et qu'il en est de même pour le panier
Autrement dit si deux paniers différents l'un de l'autre sont jugés
équivalent par un individu c'est que chacun de ces paniers contient
quelque chose en plus par rapport à l'autre. Dans le cas
cela donne quelque chose d'assez simple.
Si
et que
alors
c'est que l'unde des deux affirmations suivantes
``
et
'' ou
``
et
'' est vraie.
Autrement dit, pour passer d'un panier à un autre sans modifier son bien-être, il faut substituer un bien à un (ou des) autre(s).
On peut également utiliser les propriétés que nous venons de démontrer
pour représenter graphiquement les ensemble d'indifférence
associés à des fonctions d'utilité donnée. On montre comment le faire
pour un cas, les autres sont donnés en exercice. Soit
pour
et
Cette fonction est bien croissante
en chacun de ces arguments (sur le domaine donné). Un ensemble
d'indifférence associé à cette fonction est
L'ensemble cherché est donc l'hyperbole équilatère passant par le
point de coordonnées