Zasada pewności Savage i subiektywna reprezentacja użyteczności

7

Próbowałem przeczytać i zrozumieć dowód Savage'a na subiektywną reprezentację użyteczności, jest to zbyt skomplikowane. Czy ktoś jest świadomy krótszego / bardziej eleganckiego dowodu na to? Nie ma problemu, jeśli założymy skończony zestaw cen.

Oryginał znajduje się w Savage, LJ 1954. Podstawy statystyki . Nowy Jork: John Wiley and Sons.

Dobre podsumowanie można znaleźć na stronie http://www.econ2.jhu.edu/people/Karni/savageseu.pdf .

Dowód Dzikich jest znany z tego, że jest bardzo skomplikowany i długi. Używa zasady pewności jako głównego aksjomatu. Zastanawiałem się, czy istnieje bardziej „nowoczesny” dowód, który jest zarówno elegancki, jak i krótszy. Lub fajnym wyzwaniem byłaby próba udowodnienia współpracy przy użyciu nowoczesnej matematyki, na przykład przestrzeni mieszania (jestem świadomy Anscombe-Aumann ).

użytkownik157623
źródło
2
Cześć! Czy możesz podać link lub odniesienie do dokumentu, w którym znajduje się oryginalny dowód?
jmbejara,
2
1) Co to jest „zasada prawie pewna”. Miałeś na myśli zasadę „Sure thing”? 2) Tytuł wskazuje na konkretny segment teorii Savage'a, podczas gdy w pytaniu zadajesz objaśnienie całości. Proszę o wyjaśnienie.
Alecos Papadopoulos,
1
Tak. Czy odwołujesz się do dowodu „Twierdzenia Savage'a” wspomnianego w artykule („Subiektywny oczekiwany model użytkowy Savagesa” Ediego Karniego) w łączu? econ2.jhu.edu/people/Karni/savageseu.pdf
jmbejara
3
(+1) za pierwszą nagrodę w Economics.SE (i dotyczy również godnego przedmiotu).
Alecos Papadopoulos,
1
Nie mam do niego dostępu, ale podobno jest krótki (czytaj: dwa rozdziały) szkic dowodu w „Notatkach na temat teorii wyboru” Krepsa.
jayk

Odpowiedzi:

3

W książce „Notatki na temat teorii wyboru” Krepsa (1988) kwestię tę omówiono w rozdziale 9 „Teoria wyboru Savage'a pod niepewnością” , po omówieniu subiektywnego prawdopodobieństwa w rozdziale 8. Jak zwykle styl Krepsa pomaga: ma umiejętność płynnego wstrzykiwania swojego - zawsze formalnego - podejścia bardzo przyziemnymi komentarzami i przykładami silnymi w intuicji (i robi to lepiej niż Savage, mogę dodać). Ale także tutaj „formalne” nie przekłada się na „pełną ekspozycję” : wyraźnie powstrzymuje się od formalnego udowodnienia części całego aparatu, wspominając, że „jest to dowód na dwóch stronach”, a „to kolejny dowód na dwóch stronach” i „jeśli chcesz to udowodnić,Książka „Teoria użyteczności do podejmowania decyzji” , rozdział 14 „Oczekiwana teoria użyteczności Savage'a” . I Fishburn jest formalnym porządku (więcej symboli niż słowa na stronie).

Mam wrażenie, że połączenie tych dwóch źródeł może być korzystne.

Alecos Papadopoulos
źródło
Problem polega na tym, że Kreps tak naprawdę niczego nie udowadnia, szkicuje dowód. Dowód Fishburn, że sprawdzę dzięki. Ale czy jest to prostsze niż Savage
użytkownik157623,
Proponuję to sprawdzić, a następnie opublikować odpowiedź na swoje pytanie, komentując problem.
Alecos Papadopoulos,
1
Dam ci całą nagrodę, postaram się opublikować próbę rozwiązania, jak tylko będę miał czas. Zapraszam do modyfikacji.
user157623,
@ user157623 Dzięki. Naprawdę czekam na twoją odpowiedź.
Alecos Papadopoulos,