✨Bất đẳng thức Markov

phải|Bất đẳng thức Markov cho một chặn trên của độ đo của tập hợp các giá trị của $x$ được đánh dấu đỏ, tại đó giá trị của một hàm không âm $f(x)\backslash ge\backslash epsilon$. Chặn trên này được tính bằng tỉ số giữa giá trị trung bình của $f$ và $\backslash epsilon$ Trong lý thuyết xác suất, Bất đẳng thức Markov cho một chặn trên cho xác suất một hàm số không âm của một biến ngẫu nhiên nhận giá trị lớn hơn một hằng số dương. Nó được đặt tên theo nhà toán học Nga Andrey Markov, mặc dù nó đã xuất hiện trong nghiên cứu của Pafnuty Chebyshev (thầy của Markov), và có nhiều nguồn, đặc biệt là trong giải tích, gọi nó là bất đẳng thức Chebyshev hoặc bất đẳng thức Bienaymé.

Bất đẳng thức Markov liên hệ xác suất với giá trị kỳ vọng, và cho một giới hạn (thường không chặt) cho giá trị của hàm phân phối tích lũy của một biến ngẫu nhiên.

Phát biểu

Nếu X là một biến ngẫu nhiên và a > 0, thì

: $\backslash Pr(|X|\; \backslash geq\; a)\; \backslash leq\; \backslash frac\{\backslash textrm\{E\}(|X|)\}\{a\}.$

Dưới dạng ngôn ngữ của lý thuyết độ đo, bất đẳng thức Markov khẳng định rằng nếu (X, Σ, μ) là một độ đo, ƒ là một hàm đo được nhận giá trị thực, và $\backslash epsilon>0$, thì

:$\backslash mu(\{x\backslash in\; X:|f(x)|\backslash geq\; \backslash epsilon\; \})\; \backslash leq\; \{1\backslash over\; \backslash epsilon\}\backslash int\_X\; |f|\backslash ,d\backslash mu.$

Hệ quả: bất đẳng thức Chebyshev

Bất đẳng thức Chebyshev sử dụng phương sai để chặn trên xác suất một biến ngẫu nhiên sai khác nhiều so với giá trị kỳ vọng. Cụ thể là:

:$\backslash Pr(|X-\backslash textrm\{E\}(X)|\; \backslash geq\; a)\; \backslash leq\; \backslash frac\{\backslash textrm\{Var\}(X)\}\{a^2\},$

với mọi a>0. Ở đây Var(X) là phương sai của X, định nghĩa như sau:

:$\backslash operatorname\{Var\}(X)\; =\; \backslash operatorname\{E\}[(X\; -\; \backslash operatorname\{E\}(X))^2].$

Có thể thu được bất đẳng thức Chebyshev bằng cách áp dụng bất đẳng thức Markov cho biến ngẫu nhiên $(X\; -\; \backslash operatorname\{E\}(X))^2$. Theo bất đẳng thức Markov,

: $\backslash Pr((X\; -\; \backslash operatorname\{E\}(X))^2\; \backslash ge\; a^2)\; \backslash le\; \backslash frac\{\backslash operatorname\{Var\}(X)\}\{a^2\},$

Chứng minh

Theo ngôn ngữ lý thuyết xác suất

Với một sự kiện E bất kì, đặt I_E là biến ngẫu nhiên nhận giá trị 1 nếu E xảy ra và nhận giá trị 0 nếu E không xảy ra. Do đó I_{(|X| ≥ a)} = 1 nếu |X| ≥ a và I_{(|X| ≥ a)} = 0 nếu |X| < a. Do đó với mọi a > 0,

:$aI\_\{(|X|\; \backslash geq\; a)\}\; \backslash leq\; |X|.\backslash ,$

Vì vậy

:$\backslash operatorname\{E\}(aI\_\{(|X|\; \backslash geq\; a)\})\; \backslash leq\; \backslash operatorname\{E\}(|X|).\backslash ,$

Theo tính chất tuyến tính của giá trị kỳ vọng, :$a\backslash operatorname\{E\}(I\_\{(|X|\; \backslash geq\; a)\})=a\backslash Pr(|X|\; \backslash geq\; a).\backslash ,$

Do đó

:$a\backslash Pr(|X|\; \backslash geq\; a)\; \backslash leq\; \backslash operatorname\{E\}(|X|)\backslash ,$

và do a > 0, ta có thể chia cả hai vế cho a và thu được bất đẳng thức Markov.

Theo ngôn ngữ lý thuyết độ đo

Không mất tính tổng quát giả sử $f$ nhận giá trị không âm do ta chỉ quan tâm đến giá trị tuyệt đối của $f$. Ta xét hàm s định nghĩa trên tập X như sau

Hàm $s$ thỏa mãn $0\backslash leq\; s(x)\backslash leq\; f(x)$. Theo định nghĩa của tích phân Lebesgue

:$\backslash int\_X\; f(x)\; \backslash ,\; d\backslash mu\; \backslash geq\; \backslash int\_X\; s(x)\; \backslash ,\; d\; \backslash mu\; =\; \backslash epsilon\; \backslash mu(\{\; x\backslash in\; X:\; \backslash ,\; f(x)\; \backslash geq\; \backslash epsilon\; \})$

và do $\backslash epsilon\; >0$, có thể chia cả hai vế cho $\backslash epsilon$ và thu được

:$\backslash mu(\{x\backslash in\; X:\; \backslash ,\; f(x)\; \backslash geq\; \backslash epsilon\; \})\; \backslash leq\; \{1\backslash over\; \backslash epsilon\; \}\backslash int\_X\; f\; \backslash ,d\backslash mu.$