Aritalab:Lecture/Basic/Inequality

From Metabolomics.JP
< Aritalab:Lecture | Basic(Difference between revisions)
Jump to: navigation, search
m (New page: ==分散とモーメント== ;[定義] '''E'''[<math>X^k</math>] を確率変数 ''X'' の ''k'' 次モーメントと呼ぶ。 ;[定義] 確率変数 ''X'' の分散は : <math>\mathbf{...)
 
m
Line 1: Line 1:
 
==分散とモーメント==
 
==分散とモーメント==
;[定義] '''E'''[<math>X^k</math>] を確率変数 ''X'' の ''k'' 次モーメントと呼ぶ。
+
'''[定義]''' '''E'''[<math>X^k</math>] を確率変数 ''X'' の ''k''次モーメントと呼ぶ。
;[定義] 確率変数 ''X'' の分散は
+
 
 +
'''[定義]''' 確率変数 ''X'' の分散は
 
: <math>\mathbf{Var}[X] = \mathbf{E}[(X-\mathbf{E}[X])^2] = \mathbf{E}[X^2] - (E[X])^2</math>
 
: <math>\mathbf{Var}[X] = \mathbf{E}[(X-\mathbf{E}[X])^2] = \mathbf{E}[X^2] - (E[X])^2</math>
;[定義] 確率変数 ''X'' の標準偏差 <math>\sigma</math> は
+
 
: <math>\sigma[X] = \sqrt{\mathbf{Var}[X]}
+
'''[定義]''' 確率変数 ''X'' の標準偏差 <math>\sigma</math> は
 +
: <math>\sigma[X] = \sqrt{\mathbf{Var}[X]}</math>
  
 
==Markovの不等式==
 
==Markovの不等式==
Line 13: Line 15:
 
をマルコフの不等式と呼ぶ。証明は随所に見られるので省略する。
 
をマルコフの不等式と呼ぶ。証明は随所に見られるので省略する。
  
;具体例
 
* 確率 1/''k'' で ''k'' '''E'''[''X''] をとり、確率 (1- 1/''k'') で 0 をとる確率変数を考える。 このときマルコフの不等式は <math>\textstyle \mbox{Pr}(X \geq k\mathbf{E}[X] ) = 1/k</math> という等号が成立しており、不等式が十分「きつい」ものであることがわかる。
 
  
 
==Chebyshevの不等式==
 
==Chebyshevの不等式==
Line 23: Line 23:
 
をチェビシェフの不等式と呼ぶ。証明には、<math>\mbox{Pr}(|X - \mathbf{E}[X]| \geq a) = \mbox{Pr}(|X - \mathbf{E}[X]|^2 \geq a^2)</math> に対してマルコフの不等式を適用する。
 
をチェビシェフの不等式と呼ぶ。証明には、<math>\mbox{Pr}(|X - \mathbf{E}[X]| \geq a) = \mbox{Pr}(|X - \mathbf{E}[X]|^2 \geq a^2)</math> に対してマルコフの不等式を適用する。
  
;具体例
+
==MarkovとChebyshevの違い==
* マルコフの不等式において等号を成り立たせた確率分布を考える。チェビシェフの不等式では <math>\textstyle \mbox{Pr}(|X - \mathbf{E}[X]| \geq a) = </math>
+
===例1===
 +
確率 1/''k'' で ''k'' '''E'''[''X''] をとり、確率 (1- 1/''k'') で 0 をとる確率変数 ''X'' を考える。 このときマルコフの不等式は <math>\textstyle \mbox{Pr}(X \geq k\mathbf{E}[X] ) = 1/k</math> という等号が成立しており、不等式が十分「きつい」ものであることがわかる。
 +
 
 +
この分布の分散は <math>\textstyle \frac{k^2}{k}(\mathbf{E}[X])^2 - (\mathbf{E}[X])^2 = (k-1)(\mathbf{E}[X])^2</math> となる。チェビシェフの不等式は <math>\textstyle \mbox{Pr}(|X - \mathbf{E}[X]| \geq k\mathbf{E}[X]) \leq (k-1)/k^2</math> を与える。

Revision as of 22:15, 7 July 2010

Contents

分散とモーメント

[定義] E[X^k] を確率変数 Xk次モーメントと呼ぶ。

[定義] 確率変数 X の分散は

\mathbf{Var}[X] = \mathbf{E}[(X-\mathbf{E}[X])^2] = \mathbf{E}[X^2] - (E[X])^2

[定義] 確率変数 X の標準偏差 \sigma は

\sigma[X] = \sqrt{\mathbf{Var}[X]}

Markovの不等式

確率変数 Xa > 0 に対し

\textstyle \mbox{Pr}(|X| \geq a) \leq \mathbf{E}[|X|]/a

をマルコフの不等式と呼ぶ。証明は随所に見られるので省略する。


Chebyshevの不等式

確率変数 Xa > 0 に対し

\textstyle \mbox{Pr}(|X - \mathbf{E}[X]| \geq a) \leq \mathbf{Var}[X]/a^2

をチェビシェフの不等式と呼ぶ。証明には、\mbox{Pr}(|X - \mathbf{E}[X]| \geq a) = \mbox{Pr}(|X - \mathbf{E}[X]|^2 \geq a^2) に対してマルコフの不等式を適用する。

MarkovとChebyshevの違い

例1

確率 1/kk E[X] をとり、確率 (1- 1/k) で 0 をとる確率変数 X を考える。 このときマルコフの不等式は \textstyle \mbox{Pr}(X \geq k\mathbf{E}[X] ) = 1/k という等号が成立しており、不等式が十分「きつい」ものであることがわかる。

この分布の分散は \textstyle \frac{k^2}{k}(\mathbf{E}[X])^2 - (\mathbf{E}[X])^2 = (k-1)(\mathbf{E}[X])^2 となる。チェビシェフの不等式は \textstyle \mbox{Pr}(|X - \mathbf{E}[X]| \geq k\mathbf{E}[X]) \leq (k-1)/k^2 を与える。

Personal tools
Namespaces

Variants
Actions
Navigation
metabolites
Toolbox