無記憶性

無記憶性（むきおくせい、）とは、確率論や統計学における確率分布の性質の一つ。 直感的な説明としては、無記憶性を持つ確率分布では、過去の失敗や経過時間が将来の試行やさらなる待機時間に影響しない。幾何分布と指数分布のみがこの性質を持つ。

 定義 
離散的または連続的な確率変数  が無記憶であるとは、任意の非負なる に対して以下の式が成立することを指す: 

ここで、 は事象Aが生起する確率、は、事象Bのもとで事象Aが生起する条件付き確率をそれぞれ表す。

無記憶性のある確率分布においては、それまでの  回の試行や  だけの経過時間のもとでの結果が、その後の  回の試行や  だけの経過時間を増やした場合の結果と独立である。すなわち、既存の結果が将来的な観測に関してなんの影響も及ぼさない。

この等式は、離散的な確率変数に対して幾何分布を、また連続的な確率変数に対して指数分布をそれぞれ特徴づける。すなわち、幾何分布は無記憶性を持つ唯一の離散確率分布であり、指数分布は無記憶性を持つ唯一の連続確率分布である。

離散確率分布においては、定義式が 

と変更されることがある。この場合、 の最小値が (ではなく) である状況を記述する。

 指数分布の特徴付け 
ある連続確率分布が無記憶性を持つ場合、その確率分布は指数分布である。このことは以下のようにして証明できる。

無記憶性の定義式から、以下が成立する:条件付き確率の定義式より、上の式を以下のように変換できる:生存関数を導入すれば、上の式をと書き直せる。この式で を代入することで、任意の自然数  と非負なる実数  に対してが成立することがわかる。

さらに、この式で  とおいて両辺を 乗する事で、任意の自然数 と非負なる実数  に対して

が成立することもわかる。これらを組み合わせることで、任意の非負なる有理数  と非負なる実数  に対して

が成立することが示される。有理数の稠密性と生存関数の連続性より、この関係性は任意の非負なる実数に対しても成立する。結果的に、 とおけば、任意の非負実数  に対する生存関数がで与えられるということがわかる。これは指数関数の生存関数に他ならない。

 幾何分布の特徴付け 
ある離散確率分布が無記憶性を持つ場合、その確率分布は幾何分布である。このことは以下のようにして証明できる。ただし、 の台はであるとする。

連続確率分布と同様の手順により、離散確率分布の場合でもが導かれる。いま、 を1以上の自然数であるとすると、

が得られるので、上の式を繰り返し適用することで、1以上の自然数  に対しが成立していることがわかる。また、 は1以上の整数値を取るので、 ならば  である。これらを踏まえると、任意の非負なる実数  に対してが

で表されることがわかる(ただし、 は  以下の整数のうち最大のものを表す)。したがって、この変数の累積分布関数はという形となっている。ここで、とおけば

が得られる。これは幾何分布の累積分布関数に他ならない。

 脚注 

Category:証明を含む記事
Category:確率分布論
Category:数学に関する記事