確率論では,ランダム試行の任意の結果を,標本(sample)と呼びます。
また,すべての可能な結果の集合を標本空間(sample space)と呼びます。
確率論では,標本空間は単に集合でありさえすればよく,標本は標本空間の要素でありさえすればよいです。
なので,標本空間はでもよいし,すべての実数の集合でもよいし,フーリエ変換可能なすべての関数の集合でもよいし,実現するorした可能性のある「世界」のすべての集合でもよいし,アルファベットで構成されるすべての文字列の集合(この集合には,アルファベットで書かれた現在世の中に存在する文学作品,これから世の中に発表される文学作品も,どんなものでもすべて標本として含みます)でもよく,集合でありさえすれば何でもよいです。
このブログでは,標本,標本空間は,それぞれ,で表記することが多いです。
後で定義しますが,確率測度は,標本空間の「部分集合の集まり」からへの写像です。
ただし,必ずしも標本空間のすべての部分集合の集まりではありません。また,どのような
標本空間の部分集合の集まりでも良いわけでもなく,制約があります。
確率測度は,部分集合の「大きさ」を測るもので,その「大きさ」が0以上1以下の実数値を取るものであると考えるとよいです。
上で書いた標本空間の部分集合の集まりに関する制約は,主に部分集合の「大きさ」を矛盾なく定義するためのものです。
実は,皆さんがよく知っている長さ,面積,体積等も部分集合の「大きさ」を測ったものであり,
確率論で展開される理論はそれをもっと一般化したものです。
面積や体積が「積分」で表されるように,ここでの部分集合の大きさも「積分」で表されます。
そのため「積分」も一度きっちり定義することが必要になるので,後ほど積分に関する定義もします。
応用上は,部分集合の「大きさ」(=確率)を,その部分集合の「起こりやすさ」に対応させてモデル化を行った「確率モデル」がよく使われます。
ここで,確率測度は,標本の部分集合からへの写像であって,標本からへの写像ではないことに注意して下さい。
なぜ,標本からへの写像としないのでしょうか?
続きは,次回に^^