「連続確率分布」の版間の差分
編集の要約なし |
編集の要約なし |
||
3行目: | 3行目: | ||
== 区間に対する確率 == |
== 区間に対する確率 == |
||
{{see also|確率密度関数}} |
{{see also|確率密度関数}} |
||
通常は広義連続分布を扱うが、広義連続分布では、確率分布の[[確率変数]] {{mvar|X}} において、全ての[[実数]] {{mvar|a}} について {{math|P(''X'' {{=}} ''a'') {{=}} 0}} になる。すなわち、{{mvar|X}} が値 {{mvar|a}} を取る確率は、任意の {{mvar|a}} について {{math|0}} である。[[離散確率分布]]では[[確率]] {{math|0}} の事象は空事象、つまり起こらないことを意味する(例えばサイコロの目が3.5になる確率は {{math|0}})が、連続型確率変数ではこれは正しくない。例えば、ある木の葉っぱの幅を測るとして、それが3.5cmとなることもありうるが、その確率は {{math|0}} である。何故なら3cmと4cmの間には無限に多数の値があるためであり、個々の値が測定できる確率はゼロだが、ある[[区間 (数学)|区間]]の値となる確率は {{math|0}} ではなく、例えば P(3 ≦ X ≦ 4) = 0.1 のように区間に対して確率を考える。''X'' が区間のような[[無限]]集合内の何らかの値を取る確率は、個々の確率値を単純に加算するのではなく、[[確率密度関数]]を[[定積分]]して求める。この例では <math> \int_3^4 f(x)\, dx = 0.1 </math> である。また、[[累積分布関数]]を用い P(3 ≦ X ≦ 4) = F(4) - F(3) という扱い方もする。 |
|||
== |
== 広義連続分布 == |
||
[[累積分布関数]]が[[連続 (数学)|連続]]の場合を'''広義連続分布'''という。広義連続分布では無い例として[[退化分布]]がある。退化分布などでは {{math|P(''X'' {{=}} ''a'') > 0}} となることもありうる。 |
|||
⚫ | 分布関数が「連続」であるという用語は、「ルベーグ測度に対して絶対連続」という意味で使われることもある。{{mvar|σ}}-有限である[[確率空間]]において、[[確率分布#確率変数の確率分布|確率分布]]が[[可測関数]]の[[ルベーグ積分]]で表されるための必要十分条件は、[[確率分布#分布関数|分布関数]] {{mvar|F{{sub|X}}}} が'''[[絶対連続]]'''であることである([[ラドン=ニコディムの定理]])。このときのラドン=ニコディム微分を |
||
==== 絶対連続分布 ==== |
|||
ルベーグ測度が {{math|0}} の非可算な集合(たとえば[[カントール集合]])も存在するため、分布関数が連続(つまり、任意の実数 {{mvar|a}} について {{math2|Pr[''X'' {{=}} ''a''] {{=}} 0}})であっても絶対連続でない例が存在する。 |
|||
⚫ | 分布関数が「連続」であるという用語は、「ルベーグ測度に対して絶対連続」という意味で使われることもある。{{mvar|σ}}-有限である[[確率空間]]において、[[確率分布#確率変数の確率分布|確率分布]]が[[可測関数]]の[[ルベーグ積分]]で表されるための必要十分条件は、[[確率分布#分布関数|分布関数]] {{mvar|F{{sub|X}}}} が'''[[絶対連続]]'''であることである([[ラドン=ニコディムの定理]])。このときのラドン=ニコディム微分を[[確率密度関数]]という。確率分布 {{mvar|P{{sub|X}}}} が絶対連続であるとは、[[ルベーグ測度]]が {{math|0}} の <math>\mathbb{R}</math> の[[部分集合]] {{mvar|N}} をとる確率が {{math|0}} である。絶対連続分布は広義連続分布の一部である。 |
||
[[カントール分布]]は(本来の意味では)連続だが、絶対連続ではない。 |
ルベーグ測度が {{math|0}} の非可算な集合(たとえば[[カントール集合]])も存在するため、分布関数が連続(つまり、任意の実数 {{mvar|a}} について {{math2|P(''X'' {{=}} ''a'') {{=}} 0}})であっても絶対連続でない例が存在する。[[カントール分布]]は(本来の意味では)連続だが、絶対連続ではない。 |
||
実際の応用においては、確率変数は離散的な場合も絶対連続な場合も、それらの混合の場合もある。しかし、カントール分布は離散的でも離散分布と絶対連続分布の重み付き平均でもない。 |
実際の応用においては、確率変数は離散的な場合も絶対連続な場合も、それらの混合の場合もある。しかし、カントール分布は離散的でも離散分布と絶対連続分布の重み付き平均でもない。 |
2019年3月30日 (土) 06:14時点における版
連続確率分布(れんぞくかくりつぶんぷ、英: continuous probability distribution)や連続型確率分布(れんぞくがたかくりつぶんぷ)は、確率論において、分布関数が連続な確率分布である。連続確率分布となるのは確率変数 X が連続型のときに限られる。
区間に対する確率
通常は広義連続分布を扱うが、広義連続分布では、確率分布の確率変数 X において、全ての実数 a について P(X = a) = 0 になる。すなわち、X が値 a を取る確率は、任意の a について 0 である。離散確率分布では確率 0 の事象は空事象、つまり起こらないことを意味する(例えばサイコロの目が3.5になる確率は 0)が、連続型確率変数ではこれは正しくない。例えば、ある木の葉っぱの幅を測るとして、それが3.5cmとなることもありうるが、その確率は 0 である。何故なら3cmと4cmの間には無限に多数の値があるためであり、個々の値が測定できる確率はゼロだが、ある区間の値となる確率は 0 ではなく、例えば P(3 ≦ X ≦ 4) = 0.1 のように区間に対して確率を考える。X が区間のような無限集合内の何らかの値を取る確率は、個々の確率値を単純に加算するのではなく、確率密度関数を定積分して求める。この例では である。また、累積分布関数を用い P(3 ≦ X ≦ 4) = F(4) - F(3) という扱い方もする。
広義連続分布
累積分布関数が連続の場合を広義連続分布という。広義連続分布では無い例として退化分布がある。退化分布などでは P(X = a) > 0 となることもありうる。
絶対連続分布
分布関数が「連続」であるという用語は、「ルベーグ測度に対して絶対連続」という意味で使われることもある。σ-有限である確率空間において、確率分布が可測関数のルベーグ積分で表されるための必要十分条件は、分布関数 FX が絶対連続であることである(ラドン=ニコディムの定理)。このときのラドン=ニコディム微分を確率密度関数という。確率分布 PX が絶対連続であるとは、ルベーグ測度が 0 の の部分集合 N をとる確率が 0 である。絶対連続分布は広義連続分布の一部である。
ルベーグ測度が 0 の非可算な集合(たとえばカントール集合)も存在するため、分布関数が連続(つまり、任意の実数 a について P(X = a) = 0)であっても絶対連続でない例が存在する。カントール分布は(本来の意味では)連続だが、絶対連続ではない。
実際の応用においては、確率変数は離散的な場合も絶対連続な場合も、それらの混合の場合もある。しかし、カントール分布は離散的でも離散分布と絶対連続分布の重み付き平均でもない。
正規分布、連続一様分布、ベータ分布、ガンマ分布は、絶対連続分布としてよく知られている。正規分布は、中心極限定理があるため、自然界や統計ではよく現れる。多数の小さな独立変数の総和としてモデル化できる変数は総じて、正規分布に近似できる。
外部リンク
- Continuous Random Variables. John Appleby, School of Mathematical Sciences, Dublin City University.