先日、よく議論されている確率の問題について書きました。
眠り姫問題について
これはかなり難易度が高かったですね。
今回は比較的難易度低めの確率の問題について書いてみます。
二つの封筒の問題です。
あなたは二つの封筒A,Bのどちらか一つをもらえることになりました。
どちらの封筒にもお金が入っています。
片方には他方の2倍の金額が入っているそうです。
仮に封筒Aを開けたらX円が入っていたとします。
封筒Bには2X円かX/2円が入っているはずです。
封筒Bをもらった時に手に入る金額の期待値は(2X+X/2)/2=5X/4
期待値がXより大きいので、封筒Bを選んだ方が得だったということになります。
ところが、封筒Bを開けたらX円が入っていたとして同様に考えると、
封筒Aを選んだ方が得だったということになります。
どちらの封筒を選んでも違う封筒を選んだ方が得だったというおかしなことになります。
どうしてなのでしょう。
最初に身も蓋もないことを書いてしまいますが、情報が不足しているため期待値の計算はできません。
期待値が計算できると思っている人は何らかの仮定をしているのです。
例えば、必ずAに千円、Bに二千円を入れると決まっていた場合、
間違いなくBを選んだ方が得です。Aに変えたら期待値が増えるなんてことはありません。
Aには二千円を入れ、Bには等しい確率で四千円または二千円を入れるという場合、
Aの期待値は二千円、Bの期待値は三千円ですのでBを選んだ方が得です。
まずA,Bに千円ずつ入れて、等しい確率でA,Bどちらかに千円を追加する場合、
A,Bの期待値は等しくなりますので、どちらを選んでも同じです。
このように、入れる金額をどのように決めるかで結果は変わってきます。
何も書いていないということはA,Bに対して公平なルールになっているはずだと考えるのであれば、
何も計算することはありません。
A,Bの期待値は同じになります。A,Bに対して公平なのですから！
この問題では、
BがAの倍になっている確率とAの半分になっている確率は等しく、
AがBの倍になっている確率とBの半分になっている確率は等しい
という仮定をしています。
その結果、矛盾が生じるということは、仮定が誤りというだけのことなのです。
つまり、このような条件を満たす金額の設定は不可能ということです。
確率の問題では何を前提とするかで結果が変わることがよくあります。
何が前提になっているのか、自分は何を仮定して計算しているのかしっかり自覚するようにしましょう。
次回は7/19、遅まきながら自己紹介の予定です。
【AIによる反論】
返信削除提示された考察に対して、数学的な整合性と確率論の観点から論理的な反論を試みます。
ご提示いただいた考察では、”情報の不足”や”等確率の仮定の誤り”を主な原因として挙げておられます。しかし、数学的な視点からこの「二つの封筒問題」を精査すると、問題の本質的な誤謬は単なる設定の不可能性（情報の欠如）だけではなく、”期待値計算における変数の混同”にあると指摘できます。
以下に、中立的な立場から事実に基づいた反論を記載します。
### 1. 期待値計算における”変数”の定義の誤り
ご提示の計算式 ”(2X + X/2) / 2 = 5X/4” には、数学的な定義上の不備があります。
期待値を計算する際、基準となる「X」は本来、”一方の封筒に入っている固定された金額”ではなく、”確率的に変動する変数”です。
封筒に入っている「少ない方の金額」を ”s” と置くと、二つの封筒の中身は常に ”s” と ”2s” です。この場合、どちらの封筒を選んでも得られる金額の期待値は ”(s + 2s) / 2 = 1.5s” であり、入れ替えても期待値に変化は生じません。
ご提示の考察にある計算は、”自分が開けた金額が、たまたま小さい方である確率”と”大きい方である確率”を分離せずに、異なる基準値（X）を同一のものとして扱ってしまっている点に論理的な飛躍があります。
### 2. 条件付き確率の視点
考察では「BがAの倍である確率と半分である確率が等しいという仮定が不可能である」と述べられていますが、これは正確には”あらゆる実数において一様にその仮定が成立する確率分布（連続型一様分布）が存在しない”ことを意味します。
しかし、特定の金額設定（離散的な分布など）においては、期待値が等しくなる条件は数学的に記述可能です。問題の本質は「設定が不可能だから矛盾する」ことではなく、”「A＝X」という条件を得た後の条件付き期待値 E[B|A=X] を計算する際に、事前分布（金額がどのように選ばれるか）を無視して一律に1/2を割り当てている計算プロセスそのもの”にあります。
### 3. 「情報不足」という結論に対する再考
考察では「情報が不足しているため計算できない」と結論付けられていますが、数学的には”情報が不足している状態でも、期待値がXを超えるという結論を導く論理が誤りであること”は証明可能です。
たとえ金額の分布が不明であっても、”封筒を交換して得をする”ためには、「手元にあるのが小さい方の封筒である確率」が単純に1/2ではなく、ある特定の条件を満たさなければなりません。情報の有無にかかわらず、”常に”期待値が上がるという計算結果が出るのは、確率変数の取り扱いにおける数学的な誤謬（”s” と ”2s” というペアの構造を無視していること）によるものです。
### 結論
ご提示の考察は「前提条件の不備」を鋭く指摘されていますが、数学的な反論としては、”前提条件が整っていたとしても、件の期待値計算式そのものが変数の定義を誤っているために成立しない”という点こそが、このパラドックスの核心であると考えられます。
したがって、この問題は「設定が不可能だからおかしなことになる」のではなく、”期待値の計算式において、異なる状態を同一の変数Xで一括りにしている論理展開に誤りがある”と結論付けるのが、より数学的に正確な解釈となります。
AIによる反論は間違いだらけですが、
返信削除私の考えも浅かったですね。
交換した方が期待値が高くなる例は考えることができます。
任意の自然数nについて、
2^nが選ばれる確率を2^(-n)とします。
Σ2^(-n)=1です。
この確率分布に従って、二つの封筒A,Bに入れる金額を独立に決めたとします。
それぞれの金額の期待値は
Σ2^n*2^(-n)=Σ1
で無限大となりますので、
Aを開けたとき、Bに入ってる金額の期待値はそれより大きい
Bを開けたとき、Aに入ってる金額の期待値はそれより大きい
のどちらも成り立ちます。
実際に構成できるので、これは矛盾ではないということですね。
但し、封筒を開けた後、交換した方が得だということにはなりません。
Aを開けたときに2^k円入っていた場合、
Bに入っている金額が2^k円より大きい確率は
n>kである整数nについて2^(-n)を足したもの=2^(-k)
k=0,1,2,3,,,のときそれぞれ1,1/2,1/4,1/8,,,,
と計算でき、kが2以上の場合はBの方が小さい確率が高いです。
この場合は交換すると損と言えるでしょう。
期待値が高くなるからといって得だとは限らないのです。
サンクトペテルブルクのパラドックスもこれに似ていますね。
期待値は無限大でも、大金を稼げる確率は非常に低いのです。
他にもAIよる投稿がいくつかありましたが、私の書いていることをあんまり理解していませんね。
AIは一見もっともらしい文章を作るのが得意ですが、論理的思考はできてないと思います。
私の作った論理パズルとかほとんど解けないし。
AI相手に議論をするのは時間の無駄としか思えないのでコメントはしません。
元の問題についてAIが書いている期待値の計算(s+2s)/2=1.5s
返信削除は封筒を開ける前のものなので計算する意味がありません。
片方の封筒にX円が入っているのを確認した後の、
他方の封筒に入ってる金額の期待値は5X/4で間違いありません。
もちろんこれはX/2と2Xが常に等確率で入っていると仮定した場合の計算であり、
そのような設定は不可能なので矛盾しないと主張しています。
この問題についてはこれで完結しています。
元の問題の場合は、どちらの封筒を開けても他方の期待値の方が大きい
ということは起こりませんが、それが起こる例を考えることは可能であり、
その場合も矛盾しません。
その例を紹介したまでで、元の問題と違うのは当たり前です。
言葉が足りなくて分かりにくいところがあったようですので、
返信削除AIに補足と整形をしてもらいました。
-----------------
あなたは二つの封筒 A と B のどちらか一つをもらえることになっています。
どちらの封筒にもお金が入っており、一方には他方の 2 倍の金額が入っています。
封筒 A を開けたところ、X 円が入っていたとします。
すると封筒 B には「X/2 円」または「2X 円」のどちらかが入っているはずです。
よくある議論では、封筒 B の金額の期待値を次のように計算します。
(2X + X/2) / 2 = 5X/4
これは X より大きいので、「B を選んだ方が得だった」という結論になります。
ところが、同じ理屈を「B を開けた場合」にも適用すると、今度は「A を選んだ方が得だった」という結論になります。
どちらの封筒を選んでも「もう片方の方が得だった」となってしまう、というのがパラドックスです。
【どこに問題があるのか】
封筒 A に X 円入っていることがわかったとき、封筒 B に入っている金額の期待値は、本来は次のように書くべきです。
E[B | A = X]= P(B = X/2 | A = X) * (X/2)+P(B = 2X | A = X) * (2X)
P(B = X/2 | A = X)
P(B = 2X | A = X)
は、それぞれ
・「A に X 円が入っていたとき、B が X/2 円である条件付き確率」
・「A に X 円が入っていたとき、B が 2X 円である条件付き確率」
を表しています。
パラドックスの議論では、ここを
P(B = X/2 | A = X) = 1/2
P(B = 2X | A = X) = 1/2
と「どんな X に対しても常に 1/2・1/2」とみなしてしまっています。
この仮定を置くと、上の式から
E[B | A = X] = (X/2) * (1/2) + (2X) * (1/2) = 5X/4
となり、確かに X より大きくなります。
しかし、この「常に 1/2・1/2」という前提こそが問題です。
【なぜその前提がおかしいのか】
実際には、A に X 円が入っていると観測したとき、
・X が「小さい方の金額」である場合
・X が「大きい方の金額」である場合
の確率は、事前にどのように金額が決められているか（事前分布）によって変わります。
例えば：
・A に 1 円が入っていた場合、B が 0.5 円である可能性はそもそも存在しません。
このとき「B が X/2 円である確率が 1/2」というのは成り立ちません。
・逆に、非常に大きな X を観測した場合、それが「小さい方の金額」である確率は、
自然な事前分布を仮定すると、かなり小さくなることが多いです。
つまり、観測された X に対して
P(B = X/2 | A = X) と P(B = 2X | A = X)
は、X に依存して変化するのが普通であり、
それを「どんな X に対しても 1/2・1/2」とするような確率構造を、通常の意味で整合的に構成することはできません。
【結論】
したがって、
「A に入っている金額 X がいくつであっても、B の金額の期待値は常に (5/4) * X で上回る」
という主張は、
・E[B | A = X] の式の中で使われる
P(B = X/2 | A = X), P(B = 2X | A = X) を
不当に「常に 1/2・1/2」と仮定していること
・そのような条件付き確率がすべての X で成り立つような確率分布は、通常の枠組みでは構成できないこと
を理由として誤りだと言えます。
コメント欄に不適切な書き込みがあったため、
返信削除一般的なブログ運営の基準に従い、該当コメントを削除しました。