L’interprétation subjectiviste des probabilités, séminaire PhilSci, 27 nov. 2004
()
''qqF=
Si A choisit les mises S, S’ et S’’ sur les événements EF
, et , alors les gains de A
sont les suivants :
|EF F
si E et F se produisent :
()( )( )
11 '1' ''1'GqSq Sq S=− +− + − '
'
Si E ne se produit pas et F se produit :
()
2'' ''1 ''GqSqSq S=+ +−
Si ni E, ni F ne se produisent :
30''GqS qS=++ '
Montrons que la cohérence implique l’axiome 3 :
Si A choisit S=1, S’=-1, S’’=-q’, alors :
123 '''GGG qqq===−
Donc pour que tous les gains ne soient pas positifs, B doit choisir ' ''qqq
Si A choisit S=-1, S’=1, S’’=q’, alors :
123'''GGG qqq=== −
Donc pour que tous les gains ne soient pas positifs, B doit choisir
' ''
qqq≥
Donc pour être cohérent B doit choisir : '' '
qqq
b. Réciproque
On montre que si ', alors :
' '
qqq=
() ( )
12
''' 1 ' '' 1 '' 0qqG q qG q G+− +− =
3
Or :
- si ' 1
q≠, alors 1
''' 0q−≠
- si ' 1
q=, alors soit 'qq , soit
'' '
)
1'qq−''
3
est différent de zéro
Dans tous les cas, l’un au moins des coefficients devant les G est non nul.
i
Par conséquent, tous les G ne peuvent pas être tous positifs (sinon on aurait
), et donc les coefficients de B sont cohérents.
i
''q
() ( )
12
''' 1 ' '' 1 0qq G q qG G+− +− >
La question de l’additivité dénombrable
“[The assumption of countable additivity] is the one most commonly accepted at present ; it
had, if not its origin, its systematisation in Kolmogorov’s axioms (1933). Its success owes
much to the mathematical convenience of making the calculus of probability merely a
translation of modern measure theory... No-one has given a real justification of countable
additivity (other than it as a ‘natural extension’ of finite additivity).” (de Finetti 1974, vol. 1,
p.119)
2’. (axiome d’additivité dénombrable) Si les
)
0
ii
E
<+∞ (autrement dit, {E1, E2, E3, ...,
En, ...}) sont des évènements exclusifs (i.e. qui ne peuvent se produire simultanément)
et exhaustifs (i.e. que au moins l’un d’entre eux doit se produire), alors la
série (autrement dit,
()
1
i
i
PE
+∞
=
∑
)
)
)
12 ...PE PE ... n
PE
++ +) converge et vaut 1.
Lignes directrices de la preuve (Williamson 1999)
Supposition : seule une somme finie d’argent peut être échangée.
3