>>124
>”Mervyn Stoneのパラドックス”
折角紹介されたことだし
こっちで続けるかな
兎にも角にも求める条件付き確率は
Q(W(a)b)/Q(W(ab))
これはいい
また
W(a)=W(e)aW(e)
W(ab)=W(e)aW(e)bW(e)
とか
W(e)=ΣV(e)^n
とか問題ない
さらに
Q(W(a)b)=Σ{Q(w):w∈W(e)aW(e)b}
までもいいのだが
Q(W(a)bW(e))≠Σ{Q(wW(e)):w∈W(e)aW(e)b}
だわな
複数の
w∈W(e)aW(e)b
について重なってるからな
よって
Q(W(a)b)/Q(W(ab))=1-Q(V(e))
としたのが間違いで分母がもう少し小さくなる（重なりがあるため）
Q(W(a)b)/Q(W(ab))=Q(W(e)aW(e)b)/Q(W(e)aW(e)bW(e))
Q(W(e)aW(e)b)=Σ{Q(w):w∈W(e)aW(e)b}
Q(wW(e))=Q(w)Q(W(e))（マルコフ性）
Q(W(e)aW(e)b)=Σ{Q(wW(e))/Q(W(e):w∈W(e)aW(e)b}=Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e))
Q(W(e))=Q(ΣV(e)^n)=ΣQ(V(e)^n)=ΣQ(V(e))^n=1/(1-Q(V(e)))
Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e))=Σ{Q(wW(e)):w∈W(e)aW(e)b}(1-Q(V(e)))
ここまではいいのだが
Q(W(a)b)/Q(W(ab))(1-Q(V(e)))=Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e)aW(e)bW(e))=?
わからん
1だとしてしまったのは間違いだった
少なくとも
∪{wW(e):w∈W(e)aW(e)b)=W(e)aW(e)bW(e)
は言えるから
Q(W(e)aW(e)bW(e))<Σ{Q(wW(e)):w∈W(e)aW(e)b}
Σ{Q(wW(e)):w∈W(e)aW(e)b}/Q(W(e)aW(e)bW(e))>1
ではあるがハテサテ