問題
とは互いに独立な確率変数である.は1と の2つの値をとり,は1と3の値をとる.である確率を ,である確率を とし,とする.
(1) の確率分布を求めよ.
(2) 事象の確率を とする.を満たす点の集合を図示せよ.
(3) の期待値(平均)をとする.を満たす点の集合を図示せよ.
(4) ,を同時に満たす点が存在するためのの条件を求めよ.
方針
の4通りを表にして の分布を求める。 なので と はどちらも正で、負になるのは の場合だけである。(2)は を曲線の下側、(3)は期待値条件を直線の上側として単位正方形内に図示する。(4)は2つの領域が交わる条件を、ある で下側境界が上側境界以下になることに帰着し、 とおいて最小値を調べる。
解答
【(1)】 と は独立である。可能な組を表にすると
である。 より 、 なので、これらは や と重ならない。したがって確率分布は
である。
【(2)】 となるのは のときだけである。したがって である。条件 は すなわち である。これが成り立つには が必要であり、 のもとで となる。
よって図示すべき集合は、単位正方形 の中で を満たす部分である。境界 は含まれる。
【(3)】期待値の線形性より である。ここで だから である。条件 は すなわち である。
よって図示すべき集合は、単位正方形 の中で を満たす部分である。この境界は直線であり、領域はその上側である。
【(4)】(2)と(3)を同時に満たす点が存在するためには、ある が を満たし、さらに となればよい。左辺は(3)の下側境界、右辺は(2)の上側境界である。
この不等式を整理する。 とおくと、 より であり、 である。したがって となる。両辺に を掛けると である。これは と同値であり、 だから を調べればよい。 とおく。 でこの値が0以下になるかを考える。
まず のとき、 は に入る。このとき相加相乗平均、または微分による増減から であり、 では である。したがって条件を満たす点は存在しない。 のとき、 で となり、条件を満たす点が存在する。 のときも で となるので、条件を満たす点が存在する。
以上より必要十分条件は である。 に戻すと である。