最初の注釈として、Anscombe-Aumannの公理、特にIndependenceは、状態空間を線形空間(通常、消費オブジェクトに対する単純な宝くじ)にする行為に対して定義されます。純粋に主観的に不確実な行動へのモデルの制限を考慮した場合でも、完全なモデルを採用する必要があります。そうしないと、情報が失われます。
つまり、有限状態空間、Xを代替の有限集合としましょう。してみましょうΔ (X )意味以上のすべての宝くじXとF :S → Δ (Xは)行為です。イベントをE ⊆ S、聞かせてF - E gはによって定義された行為である
F - Eの G { F (S ) であれば 、X ∈ E G (S ) もし SバツΔ (X)バツf:S→ Δ (X)E⊆ Sf− Eg
f− Eg{ f(S ) であれば 、X ∈ Eg(S ) であれば 、X ∉ E。
今、私たちは言うことができる我々のモデルを満たす確実なもの原理であればとF - E C H ≿ グラム- E C Hその後、F ≿ グラム。この定義は、客観的なリスクがないものだけでなく、すべての行為に当てはまりますが、関連する予測のみを考慮することができることは明らかです。f− EH ≿ G− Ehf− EcH ≿ G− Echf≿ グラム。
STPの前提条件を想定します。我々は持っていると独立
1f− EH ≿ G− Eh
これを1に書き換えることができます。
12f− Eh + 12f− Ech≿12g−Eh+12f−Ech.
再び独立を適用するとは、我々が得る
F ≿ グラム- Eの Fを。12f+ 12H ≿ 12g− Ef+ 12h
f≿ グラム− Ef。(1)
f− EcH ≿ G− Ech
12f− Ech + 12g− EH ≿ 12g− Ech + 12g− Eh 。
12g− Ef+ 12H ≿ 12g+ 12h
g− Ef≿ グラム。(2)
fgh
独立と推移性のみが使用されていることに注意してください。これは、状態依存のEU(単調性/状態独立が失敗する場合)またはBewley EU(完全性が緩和される場合)でさえ、依然としてSTPを満たすことを示しているはずです。
f− EH ≿ G− Eh⟺f− Eh』≿ グラム− Eh』f、g、h 、h』≿
f− EH ≿ G− Ehf− EcH ≿ G− Ech
f= f− Ef≿ グラム− Ef そして g− Ef= f− Ecg≿ グラム。
f≿ グラム
f− EH ≿ G− Ehf^= f− Eh』g^
f^− Eh = f− Eh そして g^− Eh = g− Eh 、
f^− EH ≿ G^− Eh 。(3)
f^− Ech = g^− Ech = h』− Ehf^− EcH ≿ G^− Ech 。(4)
f^≿ グラム^