Math Labs
Định lýĐã chứng minh

Bất đẳng thức Chebyshev

Phát biểu

Cho XX là một biến ngẫu nhiên có kỳ vọng hữu hạn μ=E[X]\mu = \mathbb{E}[X] và phương sai hữu hạn σ2=Var⁡(X)\sigma^2 = \operatorname{Var}(X). Với mọi số thực ε>0\varepsilon > 0, ta có P(∣X−μ∣≥ε)≤σ2ε2\mathbb{P}(|X - \mu| \ge \varepsilon) \le \frac{\sigma^2}{\varepsilon^2}. Tương đương, khi σ>0\sigma > 0, với mọi k>0k > 0, ta có P(∣X−μ∣≥kσ)≤1k2\mathbb{P}(|X - \mu| \ge k\sigma) \le \frac{1}{k^2}.

Vì sao đúng?

Dù phân phối của XX có bất quy tắc hay lệch đến đâu, phương sai σ2\sigma^2 của nó vẫn đóng vai trò như một ngân sách cứng giới hạn lượng xác suất có thể nằm xa kỳ vọng μ\mu: tối đa một tỷ lệ 1k2\frac{1}{k^2} các kết quả có thể cách kỳ vọng từ kk độ lệch chuẩn trở lên.

Phác thảo chứng minh

Đặt A={∣X−μ∣≥ε}A = \{|X - \mu| \ge \varepsilon\}. Trên biến cố AA, ta có (X−μ)2≥ε2(X - \mu)^2 \ge \varepsilon^2, nên bất đẳng thức từng điểm (X−μ)2≥ε21A(X - \mu)^2 \ge \varepsilon^2 \mathbf{1}_A đúng khắp nơi trên không gian mẫu. Lấy kỳ vọng hai vế và dùng tính đơn điệu cùng tính tuyến tính, ta được σ2=E[(X−μ)2]≥E[ε21A]=ε2P(A)=ε2P(∣X−μ∣≥ε)\sigma^2 = \mathbb{E}[(X - \mu)^2] \ge \mathbb{E}[\varepsilon^2 \mathbf{1}_A] = \varepsilon^2 \mathbb{P}(A) = \varepsilon^2 \mathbb{P}(|X - \mu| \ge \varepsilon). Chia hai vế cho ε2>0\varepsilon^2 > 0 ta thu được P(∣X−μ∣≥ε)≤σ2ε2\mathbb{P}(|X - \mu| \ge \varepsilon) \le \frac{\sigma^2}{\varepsilon^2}.

Chủ đề chứa định lý này

Định lý liên quan

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Pafnuty Chebyshev (1867). Des valeurs moyennes
  2. William Feller (1968). An Introduction to Probability Theory and Its Applications, Vol. 1