連続一様分布

{t(b-a)}
|特性関数 = \frac{\mathrm{e}^{itb}-\mathrm{e}^{ita}}{it(b-a)}
}}
**連続一様分布**（）は、確率論や統計学における連続確率分布の一種であり、分布上の同じ長さの区間が等しく確からしい場合である。台は2つの母数  と  で定義され、それぞれ最小値と最大値である。この分布を  と略記することが多い。

無限型確率変数の中で、等確率空間である（つまり、根元事象全体が同様に確からしい）唯一の場合である。

## 特性
### 確率密度関数
連続一様分布の確率密度関数は次の通りである。
:f(x)=\begin{cases}
  \dfrac{1}{b-a} &\text{for } a\le x\le b, \\[1ex]
  0 &\text{for } xb,
\end{cases}
2つの境界  と  での値は、 の任意の区間での積分に影響を与えないし、 の積分にも影響を与えないため、通常あまり重視されない。したがって、 とする場合もあるし、 とする場合もある。後者は最尤法による推定の場合によく見られる。フーリエ解析においては、 や  の値を  とすることもある。そうすると、この一様関数の積分変換の逆変換は元の関数自身に戻る。さもないと「ほとんど至るところで」等しい関数に戻る。すなわち、零集合以外で等しい関数になる。また、このような曖昧さのない符号関数の定義とも一貫する。

### 累積分布関数
累積分布関数は次の通りである。
:F(x)=\begin{cases}
  0 &\text{for } x

### 母関数
#### 積率母関数
積率母関数は次の通りである。
:M_x =E(e^{tx} )=\frac{e^{tb} -e^{ta}}{t(b-a)}
ここから積率  を計算することができる。
:\begin{align}
m_1&=\frac{a+b}{2}, \\
m_2&=\frac{a^2 +ab+b^2}{3}, \\
m_k&=\frac{1}{k+1} \sum_{i=0}^k a^i b^{k-i}. \\
\end{align}

この分布に従う確率変数では、期待値は  となり、分散は m_2 -{m_1}^2 =\frac{(b-a)^2}{12} となる。

#### キュムラント母関数
 のとき、区間  上の一様分布の  番目のキュムラントは \frac{b_n}{n} であり、ここで  は  番目のベルヌーイ数である。

## 属性
### ボレル集合への一般化
この分布は区間よりも複雑な集合に一般化することができる。 を正の有限測度のボレル集合としたとき、 上の一様分布の確率密度関数は、 の範囲外ではゼロで  上では  という一定の値をとる。ここで  は  のルベーグ測度である。

### 順序統計量
 が  からの独立同分布 (i.i.d.) の標本とする。 がこの標本における *k*番目の順序統計量とする。すると、 の確率分布は  と  を母数とするベータ分布である。期待値は次のようになる。
:\operatorname{E} (X_{(k)} ) =\frac{k}{n+1}
このことは、Q-Qプロットを作成する際に便利である。
分散は次のようになる。
:\operatorname{Var} (X_{(k)} )=\frac{k(n-k+1)}{(n+1)^2 (n+2)}

### 一様性
一様分布する確率変数の任意の固定長の区間での確率は、その区間が分布の台に含まれる限りにおいて、その区間自体の位置とは独立である（ただし、区間の長さには依存する）。

これを示すため、 で  が  の部分区間であり、定数  とすると、
:P\left( X\in \left[ x,x+d \right] \right)
  =\int_x^{x+d} \frac{\mathrm{d}y}{b-a} \,
  =\frac{d}{b-a}
となり、 とは独立となる。この事実から「一様」分布と名付けられた。

## 標準一様
 かつ  に限定したときの分布  を**標準一様分布** (standard uniform distribution) と呼ぶ。

標準一様分布の興味深い属性として、 が標準一様分布を持つなら、 も同様である。この属性は、対照変量法など様々な分野で利用されている。

## 関連する分布
*  が標準一様分布であるとき、逆関数法により、 はパラメータ  の指数分布となる。
* Y=1-X^{1/n} はパラメータが  と  のベータ分布である。なお、このことは、標準一様分布がパラメータ  と  のベータ分布の特殊ケースであることを意味する。
* 2つの独立同分布の一様分布の総和は対称な三角分布となる。
* 一様分布に従う独立な確率変数の和はアーウィン・ホール分布に従う。

## 他の関数との関係
遷移点の扱いが同じであれば、連続一様分布の確率密度関数はヘヴィサイドの階段関数を使って次のように表すこともできる。
:f(x)=\frac{\operatorname{H} (x-a)-\operatorname{H} (x-b)}{b-a}
あるいは、矩形関数を使って次のように表すこともできる。
:f(x)=\frac{1}{b-a} \,\operatorname{rect} \left( \frac{x-(a+b)/2}{b-a} \right)
符号関数の遷移点の解釈には曖昧さがない。遷移点が符号関数と同じく半分の値をとるとした場合、一様分布は符号関数を使って次のように表せる。
:f(x)=\frac{\sgn (x-a)-\sgn (x-b)}{2(b-a)}

## 応用
統計学において、単純な帰無仮説の検定統計量としてp値を使う場合、検定統計量の分布が連続なら、帰無仮説が真のとき検定統計量（p値）は0と1の間で一様分布する。

### 一様分布からの標本化
シミュレーション実験には多くの有益な応用がある。多くのプログラミング言語には擬似乱数列を生成する機能があり、事実上それらは標準一様分布に従って分布している。

標準一様分布からの標本値  があるとき、 という値は上述の通り母数  と  の一様分布に従った値となる。

### 任意の分布からの標本化
一様分布は任意の分布からの標本化にも有効である。汎用的手法として逆関数法があり、対象とする確率変数の累積分布関数を使う。理論的研究では非常に便利な手法である。シミュレーションでこの手法を使う場合、対象とする変数のCDFを知っている必要があるため、閉形式のCDFが未知の場合について代替手法が生み出されてきた。例えば、棄却サンプリング法がある。

正規分布は、逆関数法が効果的でない重要な例である。しかしボックス-ミューラー変換という正確な手法があり、2つの独立で一様な確率変数を独立な正規分布の確率変数に変えるため、逆変換を使う。

## 推定
### 最大値の推定
区間  上の一様分布について、 が未知の場合、最大値のUMVU推定は次のようになる。
:\hat{N} =\frac{k+1}{k} m=m+\frac{m}{k}
ここで  は標本の最大値、 は標本の大きさ（数）であり、標本の順序は入れ替えない（ただし、連続分布ではこの限定はほとんど意味を持たない）。これは離散分布での推定と同じ理由で、maximum spacing estimation の非常に単純な例と見ることができる。このような問題を一般に German tank problem（ドイツ戦車問題）と呼び、第二次世界大戦中のドイツでの戦車生産数の最大値を推定するという問題に由来する。

### 中点の推定
分布の中点  は、一様分布の期待値であり中央値である。標本の平均値と標本の中央値は母集団の中点のバイアスのない推定値だが、どちらも標本の範囲中央（標本の最大値と最小値の平均）ほど効率的ではない。それが中点のUMVU推定である（また、最尤推定値である）。

## 関連項目
* 確率分布
* ベータ分布
* 乱数列
* 離散一様分布