The Savage sure thing principle and Subjective utility representation

Question

I have tried reading and understanding Savage's proof of the subjective utility representation, it is too complicated. Is anyone aware of a shorter/more elegant proof of this? It is not a problem if we assume a finite prices set.

The original is in Savage, L.J. 1954. The Foundations of Statistics. New York: John Wiley and Sons.

A good summary can be found at http://www.econ2.jhu.edu/people/Karni/savageseu.pdf.

The Savage proof is known to be very elaborate, and long. It uses the sure thing principle as its main axiom. I was wondering if there is a more "modern" proof, that is both elegant and shorter. Or a nice challenge would be to try to prove collaboratively using some modern mathematics, like mixture spaces, (I am aware of Anscombe-Aumann).

Hi! Could you maybe provide a link or reference to the paper in which the original proof is found? — jmbejara, Dec 03 '14 at 14:56
@jmbejara: It's an old book, I doubt that you'll an online version. Google books has limited preview: http://books.google.ca/books?id=zSv6dBWneMEC&printsec=frontcover#v=onepage&q&f=false — Herr K., Dec 03 '14 at 22:39
Yeah. Are you referring to a proof of the "Savage's Theorem" that is mentioned in the paper ("Savages’ Subjective Expected Utility Model," by Edi Karni) in the link? http://www.econ2.jhu.edu/people/Karni/savageseu.pdf — jmbejara, Dec 05 '14 at 20:25
I already corrected this, my mistake, it is the sure thing principle and this provides the main axiom for the subjective utility representation, however its proof is very difficult and not very intuitive. — user157623, Dec 05 '14 at 20:27
(+1) for the first bounty in Economics.SE (and related to a worthy subject, too). — Alecos Papadopoulos, Dec 05 '14 at 23:09
I don't have access to it, but supposedly there's a brief (read: two chapters) sketch of the proof in Kreps' "Notes on the Theory of Choice". — jayk, Dec 06 '14 at 03:03
Have a look at Itzhak Gilboa's Theory of decisions under Uncertainty. He provides intuition for the way the proof works, not the actual proof. — Jan, Dec 08 '14 at 00:09

score 6 · Accepted Answer · answered Dec 07 '14 at 17:42

6

In Kreps' (1988) book "Notes on the Theory of Choice", the issue is dealt with in chapter 9 "Savage's Theory of Choice Under Uncertainty", after discussing subjective probability in chapter 8. As usual, Kreps' style helps: he has the ability to seamlessly inject his -always formal- approach with very down-to-earth comments and examples that are strong in intuition (and he does it better than Savage, I might add). But also, here "formal" does not translate into "complete exposition": he explicitly refrains from formally proving parts of the whole apparatus, mentioning that "this is a two-page proof", and "this is another two-page proof", and "if you want to prove this, good luck". For these parts he falls back on Fishburn's (1970) "Utility Theory for Decision Making" book, chapter 14 "Savage's Expected Utility Theory". And Fishburn is formal alright (more symbols than words in a page).

My impression is that combining these two sources can be beneficial.

answered Dec 07 '14 at 17:42

Alecos Papadopoulos

33,814
1
48
116

The problem is that Kreps is not really proving anything, he is sketching a proof. Fishburn's proof I will check thanks. But is it any simpler than Savage's – user157623 Dec 07 '14 at 18:04
I would suggest to check it out and then post your answer to your own question, commenting on the issue. – Alecos Papadopoulos Dec 07 '14 at 18:35
1

I will give you whole bounty, I will try to post an attempt for the solution as soon as I have time. Feel free to modify. – user157623 Dec 11 '14 at 15:36
@user157623 Thanks. Really looking forward to your answer. – Alecos Papadopoulos Dec 11 '14 at 15:43

High GPA · Answer 2 · 2023-10-21T12:04:29.647

Let $X$ be the outcome space, and $S$ be the statespace. I am not sure what do you mean by using "mixture space". There are two interpretations:

Consider the special case of $X$ as a mixture space. This is the approach taken by AA. But, this approach is not appreciated in Savage's setting as $X$ needs to be arbitrary space in Savage's setting.
First recover a probability measure $\mu$ on the sigma algebra of $S$ and then consider the mixture space $\Delta (X)$.

The second approach makes more sense, see a reference from Arrow's (1970) PhD dissertation "Theory of Risk Bearing". However, Arrow's axioms are stronger then Savage's, because the $\mu$ in Arrow's work must be countability additive (Arrow's axiom also implies Savage's P1 to P6). In Savage's work, such measure is finitely additive, and defining a mixture space with finitely additive measure is something new and have not be done in my limited knowledge.

Mixture spaces as originally introduced by Herstein and Milnor are abstract algebraic (strict) generalizations of convex sets in vector spaces. They don't refer to any probability conception. — Michael Greinecker, Oct 21 '23 at 14:16
@MichaelGreinecker Yes exactly. So the OP needs to precisely define the "mixture space" he wants. — High GPA, Oct 22 '23 at 14:36

The Savage sure thing principle and Subjective utility representation

2 Answers2