連続一様分布
連続一様分布(英: continuous uniform distribution)は、確率論や統計学における連続確率分布の一種であり、分布上の同じ長さの区間が等しく確からしい場合である。台は2つの母数 a と b で定義され、それぞれ最小値と最大値である。この分布を U(a, b) と略記することが多い。
|
確率密度関数 ![]() 遷移点で最大値をとるものとする | |
|
累積分布関数 ![]() | |
| 母数 | |
|---|---|
| 台 | |
| 確率密度関数 | |
| 累積分布関数 | |
| 期待値 | |
| 中央値 | |
| 最頻値 | 内の任意の値 |
| 分散 | |
| 歪度 | 0 |
| 尖度 | |
| エントロピー | |
| モーメント母関数 | |
| 特性関数 | |
特性
確率密度関数
連続一様分布の確率密度関数は次の通りである。
2つの境界 a と b での値は、f(x) dx の任意の区間での積分に影響を与えないし、x f(x) dx の積分にも影響を与えないため、通常あまり重視されない。したがって、0 とする場合もあるし、1/b − a とする場合もある。後者は最尤法による推定の場合によく見られる。フーリエ解析においては、f(a) や f(b) の値を 1/2(b − a) とすることもある。そうすると、この一様関数の積分変換の逆変換は元の関数自身に戻る。さもないと「ほとんど至るところで」等しい関数に戻る。すなわち、零集合以外で等しい関数になる。また、このような曖昧さのない符号関数の定義とも一貫する。
属性
ボレル集合への一般化
この分布は区間よりも複雑な集合に一般化することができる。S を正の有限測度のボレル集合としたとき、S 上の一様分布の確率密度関数は、S の範囲外ではゼロで S 上では 1/K という一定の値をとる。ここで K は S のルベーグ測度である。
順序統計量
X1, …, Xn が U(0, 1) からの独立同分布 (i.i.d.) の標本とする。X(k) がこの標本における k番目の順序統計量とする。すると、X(k) の確率分布は k と n − k + 1 を母数とするベータ分布である。期待値は次のようになる。
このことは、Q-Qプロットを作成する際に便利である。 分散は次のようになる。
一様性
一様分布する確率変数の任意の固定長の区間での確率は、その区間が分布の台に含まれる限りにおいて、その区間自体の位置とは独立である(ただし、区間の長さには依存する)。
これを示すため、X ≈ U(0, b) で [x, x + d] が [0, b] の部分区間であり、定数 d > 0 とすると、
となり、x とは独立となる。この事実から「一様」分布と名付けられた。
標準一様
a = 0 かつ b = 1 に限定したときの分布 U(0, 1) を標準一様分布 (standard uniform distribution) と呼ぶ。
標準一様分布の興味深い属性として、u1 が標準一様分布を持つなら、1 − u1 も同様である。この属性は、対照変量法など様々な分野で利用されている。
関連する分布
他の関数との関係
遷移点の扱いが同じであれば、連続一様分布の確率密度関数はヘヴィサイドの階段関数を使って次のように表すこともできる。
あるいは、矩形関数を使って次のように表すこともできる。
符号関数の遷移点の解釈には曖昧さがない。遷移点が符号関数と同じく半分の値をとるとした場合、一様分布は符号関数を使って次のように表せる。
応用
統計学において、単純な帰無仮説の検定統計量としてp値を使う場合、検定統計量の分布が連続なら、帰無仮説が真のとき検定統計量(p値)は0と1の間で一様分布する。
推定
最大値の推定
区間 [0, N] 上の一様分布について、N が未知の場合、最大値のUMVU推定は次のようになる。
ここで m は標本の最大値、k は標本の大きさ(数)であり、標本の順序は入れ替えない(ただし、連続分布ではこの限定はほとんど意味を持たない)。これは離散分布での推定と同じ理由で、maximum spacing estimation の非常に単純な例と見ることができる。このような問題を一般に German tank problem(ドイツ戦車問題)と呼び、第二次世界大戦中のドイツでの戦車生産数の最大値を推定するという問題に由来する。
中点の推定
分布の中点 a + b/2 は、一様分布の期待値であり中央値である。標本の平均値と標本の中央値は母集団の中点のバイアスのない推定値だが、どちらも標本の範囲中央(標本の最大値と最小値の平均)ほど効率的ではない。それが中点のUMVU推定である(また、最尤推定値である)。

