Math 2.0

statement theorem

Chebyshev's inequality

Statement

Let XX be a real random variable with finite mean μ\mu and finite variance σ2\sigma^2. Then for each a>0a > 0, P(∣X−μ∣≥a)≤σ2a2.P(|X - \mu| \ge a) \le \frac{\sigma^2}{a^2}. Equivalently, if σ>0\sigma > 0, then P(∣X−μ∣≥kσ)≤1/k2P(|X - \mu| \ge k\sigma) \le 1/k^2 for each k>0k > 0.

Remarks

Proof: apply Markov's inequality to the nonnegative variable (X−μ)2(X - \mu)^2 and the level a2a^2. For k=2k = 2, at least 3/43/4 of the mass is within two standard deviations of the mean, for every distribution with finite variance. The bound is sharp: some distributions reach equality for a given k≥1k \ge 1. Chebyshev's inequality gives a short proof of the weak law of large numbers for variables with finite variance.

History

The inequality is named after Pafnuty Chebyshev. Irénée-Jules Bienaymé formulated it first.

Explanations

L1 human

The variance controls how often a variable can be far from its mean. For any distribution, at most 1/91/9 of the mass lies three or more standard deviations away from the mean.

What this node needs for W2
  • edge about out: the concepts that the statement is about (0 of 1)
  • edge proves in: at least one proof node (0 of 1)
  • edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
  • explanation L2 (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What depends on this

3 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Chebyshev's_inequality, Probabilistic statement