Try   HackMD

標本空間のユークリッド空間への埋め込みと確率分布の関数表現

tags: probability-theory

標本空間と加法族と確率

標本空間が集合

Xで与えられていて、その加法族も
A
と与えられているとき、
事象
AX
が起こる確率
Pr[XA]
は、
A
上で定義された集合関数
P
を用いて
P(A)
と求まる。

確率の一般論はこのように構築される。このため

X
A
P
の三つ組を、確率空間と呼ぶ。

順位による標本空間の埋め込み

ところで、標本空間の要素の間に順序が定まっているとする。標本空間が加算集合の場合は、次のようにユークリッド空間に埋め込むことができる。

a,bXab or ab

このとき、標本空間のすべての要素に順序が定まるので、その順序の番号を要素に付すことで、標本空間をユークリッド空間に埋め込むことができる。

aX,xa=#{b|ba,bX}
これは小さい順に並べた場合である。大きい順に並べると
aX,xa=#{b;ab,bX}

となる。

こうして得た標本空間

{xa;aX}を、元の標本空間
X
の(1次元)ユークリッド空間への埋め込みと呼ぶ。

回数による標本空間の埋め込み

埋め込みの作成方法は他にもある。

Image Not Showing Possible Reasons
  • The image was uploaded to a note which you don't have access to
  • The note which the image was originally uploaded to has been deleted
Learn More →

例えばコインを1枚投げると、その結果は表と裏のいずれかが上になって観測される、という確率的な試行を考える。この試行の標本空間は

X={表が出る,裏が出る}
だが、この試行によって表が出る回数、という数え方を用いると
{表が出る}={表が出る回数が1}{裏が出る}={表が出ない}={表が出る回数が0}

のように事象の表現を回数にできる。これを略記して
X={1,0}={0,1}

というユークリッド空間への埋め込みを得る。

整数を単位とする標本空間 (確率関数)

ユークリッド空間に埋め込まれた標本空間は、正の整数集合と同一視できる。ここで、ある一つの整数

kが生じる確率
P({k})

を関数で表す。
xy
ならば
{x}{y}=
なので、要素
x
に確率を与える関数
p(x)=P({x})

を定めると、コルモゴロフの公理から、すべての事象に確率を与えることができる。このような関数を確率関数という。確率関数を用いると、たとえば
a
以下の値を取る確率は
Pr[a以下]=xaPr[x]=xap(x)

と求まる。

確率関数は確率分布

Fのひとつの関数表現である。

確率変数

これ以降は、実現していない試行を

X,Y,Z,U,V,W,等の大文字のアルファベットで表す。事象
A
が起こる確率を、試行
X
A
に含まれる確率という意味で
P(A)=Pr[XA]

と記す。試行は結果が定まっていないものなので、確率変数と呼んで、解析学で現れるような他の変数と区別する。

試行の結果を

x,y,z,u,v,w,等の小文字のアルファベットで表す。ある試行
X
を実施した結果が
1
である場合を
x=1

と記す。また関数の引数も
x,y,z,u,v,w,
等の小文字のアルファベットで表すが、試行の結果とは特に区別しない。

事象や集合は、

A,B,C,等、大文字のアルファベットの先頭の方の文字で表して区別する。

以上の確率変数や試行の結果を表す変数、その他の変数、また事象や集合には、添字を加えることもある。

実数を単位とする標本空間 (確率密度関数)

実数全体の集合

Rは稠密である。任意の2つの実数の間には、必ず他の実数が存在する。
a,bRcR,a<c<b

この稠密性のため、実数は数え上げることができず、上のような順位づけができない。

そのため、個々の実数に確率を付与すると、その総和が発散してしまう。

p(x)=Pr[X=x]>0xXp(x)=
加算無限個の点に正の値を付与すると、総和が有限になる場合もあるが、
非加算無限個の点に正の値を付与すると、それらの総和は必ず有限の値にはならない。つまり確率を点に付与すると、コルモゴロフの公理と矛盾してしまう。

この場合には、

Pr[X(a,b]]=abf(x)dx
を満たす関数
f(x)
と、半開区間
(a,b]
を用いて確率を表現すると、標本空間と加法族と集合関数がコルモゴロフの公理を満たすように定義できる。

このような関数を、確率密度関数という。確率密度関数も確率分布

Fのひとつの関数表現である。

数直線上の区間による加法族の作り方

互いに素な区間として、

(a,b]が最も簡単である。
a
b
の間にある任意の
c
を用いて
(a,b]=(a,c](c,b]
となる。

しかし確率分布

Fが確率密度関数
f(x)
を持つ場合の加法族は、1点からなる事象は無視しても良い。なぜなら
Pr[a<Xb]=abf(x)dx=Pr[a<X<b]=Pr[aXb]=Pr[aX<b]

が成り立つ。端点を含まないように区間を定めても、その区間上の定積分は端点を含む区間と変わらない。例えば定積分を
(a,b]
上で定めても、関数
f(x)
の連続性から
abf(x)dx=limcacbf(x)dx

が成り立ち、
[a,b]
の上の定積分と変わらない。

よって、確率を定めるために限っては

(a,b)=(a,c)(c,b)
として扱っても良い。なぜなら
Pr[(a,b)]=Pr[(a,c){c}(c,b)]=Pr[(a,c)]+Pr[(c,b)]

となる。ただ、これは数学としては
P((a,b))=P((a,c)(c,b))

と記さないと混乱する。

そのため、加法族を

(a,b]から構成するのが、確率の計算と相性がいい。

標本空間に間隔や比も意味がある場合

標本空間

Xの点の間に、順序
が定まり、さらに任意の二点
a,bX
の差
ab
や比
a/b
に意味がある場合に、次のような計算を定める。

標本空間が正の整数の場合、確率関数による全ての点の重み付き和

xXxp(x)
を、確率関数
p
で表された確率分布
F
の平均という。

標本空間が実数空間の場合、確率密度関数による全ての点の重み付き和

xXxf(x)dx
を同様に、確率密度関数
f
で表された確率分布
F
の平均という。

いずれの場合も、確率分布による標本空間の重み付き平均であり、これらの計算を

EF[X]
と記す。これを確率変数
X
の期待値という。

サイコロ投げ

Image Not Showing Possible Reasons
  • The image was uploaded to a note which you don't have access to
  • The note which the image was originally uploaded to has been deleted
Learn More →

サイコロは6つの面それぞれに数字が彫られている。サイコロを投げると、いずれか一つの面が上になる。その面に彫られた数字が、サイコロの出目である。サイコロ投げは、6つの場合をランダムに選択するために用いられるが、出る目を数字として扱うことも少なくない。

サイコロを投げる試行において、1から6までの目それぞれが出る確率が表1で与えられている。

表1 サイコロ

事象 1 2 3 4 5 6
確率 1/6 1/6 1/6 1/6 1/6 1/6

このとき、サイコロを投げる試行

Xを繰り返すと、それらの値の平均は
x=16x6=3.5

の周りに近づいていく。この値は、標本空間
{1,2,3,4,5,6}
の重心であり、試行の期待値、確率変数
X
の期待値、あるいは確率分布の平均などと呼ばれる。

計測の偏り

計測誤差がある確率分布に従っているとする。計測値は連続値であり、その確率分布は確率密度関数

fで表される。

このとき計測を表す確率変数

Xの確率分布は、確率密度関数
f(x)
が定められる。そして
xXxf(x)dx

は標本空間
X
の重心であり、確率変数
X
の期待値、あるいは確率分布の平均などと呼ばれる。計測値の確率分布の平均が、真値と異なるとき、その計測には偏りがあるという。