Xem mã nguồn của Bất đẳng thức Bernstein (lý thuyết xác suất)

Trong [[lý thuyết xác suất]], các '''bất đẳng thức Bernstein''' cho chặn trên của xác suất tổng các [[biến ngẫu nhiên]] độc lập nhận giá trị lệch khỏi giá trị kì vọng. Trong trường hợp đơn giản nhất, nếu ''X''<sub>1</sub>,&nbsp;...,&nbsp;''X''<sub>''n''</sub> là các biến ngẫu nhiên Bernoulli độc lập nhận giá trị +1 và −1 với xác suất&nbsp;1/2, thì với mọi [[số thực]] dương <math>\varepsilon</math>,

:<math> \mathbf{P} \left\{\left|\;\frac{1}{n}\sum_{i=1}^n X_i\;\right| > \varepsilon \right\} \leq 2\exp \left\{ - \frac{n\varepsilon^2}{ 2 (1 + \varepsilon/3) } \right\}.</math>

Các '''bất đẳng thức Bernstein''' được chứng minh và xuất bản bởi [[Sergei Bernstein]] trong thập niên 1920 và 1930.<ref>S.N.Bernstein, "On a modification of Chebyshev's inequality and of the error formula of Laplace" vol. 4, #5 (original publication: Ann. Sci. Inst. Sav. Ukraine, Sect. Math. 1, 1924)</ref><ref>{{chú thích tạp chí|last=Bernstein|first=S. N.|year=1937|title=Об определенных модификациях неравенства Чебышева|trans-title=On certain modifications of Chebyshev's inequality|journal=[[Doklady Akademii Nauk SSSR]]|volume=17|issue=6|pages=275&ndash;277}}</ref><ref>S.N.Bernstein, "Theory of Probability" (Russian), Moscow, 1927</ref><ref>J.V.Uspensky, "Introduction to Mathematical Probability", McGraw-Hill Book Company, 1937</ref> Sau này các bất đẳng thức này được phát hiện lại ở nhiều dạng khác nhau. Do đó nhiều trường hợp đặc biệt của bất đẳng thức Bernstein còn được gọi là [[chặn Chernoff]], [[bất đẳng thức Hoeffding]] và [[bất đẳng thức Azuma]].

==Một số bất đẳng thức==
1.  Đặt ''X''<sub>1</sub>,&nbsp;...,&nbsp;''X''<sub>''n''</sub> là các biến ngẫu nhiên độc lập có giá trị kì vọng bằng 0. Giả sử |''X''<sub>&nbsp;''i''</sub>|&nbsp;≤&nbsp;''M'' gần như chắc chắn, với mọi&nbsp;''i''. Khi đó, với mọi ''t'' dương,

:<math>\mathbf{P} \left\{ \sum_{i=1}^n X_i > t \right\} \leq \exp \left\{ - \frac{t^2/2}{\sum \mathbf{E} X_j^2 + Mt/3 } \right\}.</math>

2. Đặt ''X''<sub>1</sub>,..., ''X''<sub>''n''</sub> là các biến ngẫu nhiên độc lập. Giả sử với một số thực dương '''L''' nào đó và với mọi số nguyên ''k''&nbsp;>&nbsp;1,

:<math> \mathbf{E} |X_i^k| \leq \frac{\mathbf{E} X_i^2}{2} L^{k-2} k!</math>

thì

:<math> \mathbf{P} \left\{ \sum_{i=1}^n X_i \geq 2 t \sqrt{\sum \mathbf{E} X_i^2} \right\}
   < \exp \left\{ - t^2\right\}, \text{ khi } 0 < t \leq \frac{\sqrt{\sum \mathbf{E} X_j^2}}{2L}. </math>

3. Đặt ''X''<sub>1</sub>,..., ''X''<sub>''n''</sub> là các biến ngẫu nhiên độc lập. Giả sử

:<math> \mathbf{E} |X_i^k| \leq \frac{k!}{4!} \left(\frac{L}{5}\right)^{k-4}</math>

với mọi số nguyên ''k''&nbsp;>&nbsp;3.  Đặt <math> A_k = \sum \mathbf{E} X_i^k </math>. Thì,

: <math> \mathbf{P} \left\{ \left| \sum_{j=1}^n X_j - \frac{A_3 t^2}{3A_2} \right| 
   \geq \sqrt{2A_2} \, t \left[ 1 + \frac{A_4 t^2}{6 A_2^2} \right] \right\}
   < 2 \exp \left\{ - t^2\right\},\text{ khi } 0 < t \leq \frac{5 \sqrt{2A_2}}{4L}. </math>

4. Bernstein cũng chứng minh tổng quát hóa của các bất đẳng thức trên cho trường hợp các biến ngẫu nhiên phụ thuộc yếu. Chẳng hạn có thể mở rộng bất đẳng thức (2) như sau. Đặt ''X''<sub>1</sub>,&nbsp;...,&nbsp;''X''<sub>''n''</sub> là các biến ngẫu nhiên bất kì. Giả sử với mọi số nguyên ''i''&nbsp;>&nbsp;0,

# <math>\mathbf{E} \left\{ X_{i} | X_1, \dots, X_{i-1} \right\} = 0, </math>
# <math> \mathbf{E} \left\{ X_i^2 | X_1, \dots, X_{i-1} \right\} \leq R_i\; \mathbf{E} X_i^2,</math>
# <math>\mathbf{E} \left\{ X_i^k | X_1, \dots, X_{i-1} \right\} 
\leq  \frac{\mathbf{E} \left\{ X_i^2 | X_1, \dots, X_{i-1} \right\}}{2} \; L^{k-2} k!</math>
thì

:<math> \mathbf{P} \left\{ \sum_{i=1}^n X_i \geq 2 t \sqrt{\sum_{i=1}^n R_i \mathbf{E} X_i^2} \right\} 
< \exp(-t^2), \text{ khi } 0 < t \leq \frac{\sqrt{\sum_{i=1}^n R_i \mathbf{E} X_i^2}}{2L}. </math>

==Ý tưởng của chứng minh==

Chứng minh sử dụng [[bất đẳng thức Markov]] cho biến ngẫu nhiên <math> \exp \left\{ \lambda \sum_{j=1}^n X_j \right\} </math>, với giá trị thích hợp cho tham số <math> \lambda > 0 </math>.

==Xem thêm==
* [[Martingale Doob#Bất đẳng thức McDiarmid|Bất đẳng thức McDiarmid]]
* [[Bất đẳng thức Markov]]
* [[Bất đẳng thức Hoeffding]]
* [[Bất đẳng thức Chebyshev]]
* [[Bất đẳng thức Azuma]]
* [[Bất đẳng thức Bennett]]

==Tham khảo==

(Theo: S.N.Bernstein, Collected Works, Nauka, 1964)

{{Tham khảo}}
Có thể xem một bản dịch của các kết quả này ở {{SpringerEOM| title=Bernstein inequality | id=Bernstein_inequality | oldid=15217 | first=A.V. | last=Prokhorov | first2=N.P. | last2=Korneichuk | first3=V.P. | last3=Motornyi }}

[[Thể loại:Lý thuyết xác suất]]
[[Thể loại:Bất đẳng thức xác suất]]