אי-שוויון מרקוב

בתורת ההסתברות אי-שוויון מרקוב חוסם את ההסתברות לכך שמשתנה מקרי אי שלילי יהיה גדול מקבוע נתון. אי שוויון מרקוב (בדומה לאי-שוויון צ'בישב ואי-שוויון קולמוגורוב) הוא אחד מאי-השוויונים הבסיסיים המשתמשים במושג התוחלת בשביל לאמוד (אם כי לעיתים רבות באופן גס) את פונקציית הצפיפות של משתנה מקרי. לדוגמה, מאי-השוויון נובע שלא ייתכן כי רף הכניסה לעשירון העליון של ההכנסות יהיה פי 12 מהמשכורת הממוצעת. למרות פשטותו, אי-השוויון מאפשר להוכיח תוצאות לא טריוויאליות, כגון החוק החלש של המספרים הגדולים.

אי-שוויון מרקוב מספק חסם עליון להסתברות ש-X נמצא בתחום המסומן באדום

אי-שוויון מרקוב קרוי על שם המתמטיקאי הרוסי אנדריי מרקוב, אם כי קיים תיעוד שלו בעבודותיו המוקדמות של פפנוטי צ'בישב שהיה מורו של מרקוב. אי-שוויון מרקוב מכונה גם אי שוויון צ'בישב ואי שוויון ביניימה בספרות מקצועית רבה (בפרט באנליזה), אך אין לבלבל בינו לבין אי-שוויון צ'בישב המפורסם.

נוסח פורמלי

במושגים של תורת המידה, אי-שוויון מרקוב גורס כי בהינתן מרחב מידה $(X,\mathrm{\Sigma },\mu )$ ופונקציה מדידה $f$ אל הישר הממשי המורחב, אז לכל $t>0$ מתקיים:

בערך זה נעשה שימוש בסימנים מוסכמים מתחום המתמטיקה. להבהרת הסימנים ראו סימון מתמטי.

$$\mu (\{x\in X:|f(x)|\ge t\})\le \frac{1}{t}\underset{X}{\int }|f|d\mu .$$

במקרה הפרטי של מרחב הסתברות (כלומר, המרחב בעל מידה 1), אי-השוויון שקול לטענה שעבור כל $a>0$ מתקיים $$\mathrm{Pr}(|X|\ge a)\le \frac{E(|X|)}{a}$$

הוכחה

מספיק להוכיח עבור פונקציה מדידה חיובית. f פונקציה מדידה, לכן הקבוצה $\{x\in X:f(x)\ge t\}$ מדידה. מתקיים:

$$t*1_{\{x\in X:f(x)\ge t\}}\le f$$ נוציא אינטגרל לבג על הקבוצה X משני צידי אי השוויון: $$\underset{X}{\int }t*1_{\{x\in X:f(x)\ge t\}}d\mu \le \underset{X}{\int }fd\mu$$ לפי הגדרת אינטגרל לבג על פונקציה מציינת של קבוצה מדידה, מתקיים: $$t*\mu (\{x\in X:f(x)\ge t\})\le \underset{X}{\int }fd\mu$$ נחלק ב-t ונקבל: $$\mu (\{x\in X:f(x)\ge t\})\le \frac{1}{t}\underset{X}{\int }fd\mu$$ כנדרש.

הוכחה למשתנים מקריים

יהי $X$ משתנה מקרי חיובי רציף (ההוכחה למקרה הבדיד דומה). אזי:

$E[X]=\underset{0}{\overset{\mathrm{\infty }}{\int }}x{f}_X(x)dx\ge \underset{a}{\overset{\mathrm{\infty }}{\int }}x{f}_X(x)dx\ge \underset{a}{\overset{\mathrm{\infty }}{\int }}a{f}_X(x)dx=aP(|X|\ge a)$

קישורים חיצוניים

• .html אי-שוויון מרקוב, באתר MathWorld (באנגלית)