Web Analytics Made Easy - Statcounter
Privacy Policy Cookie Policy Terms and Conditions อสมการของมาร์คอฟ - วิกิพีเดีย

อสมการของมาร์คอฟ

จากวิกิพีเดีย สารานุกรมเสรี

ในทฤษฎีความน่าจะเป็น อสมการของมาร์คอฟ เป็นข้อความทางคณิตศาสตร์ที่ให้ขอบเขตบนของความน่าจะเป็นที่ตัวแปรสุ่มที่มีค่าบวกจะมีมากกว่าหรือเท่ากับจำนวนจริงบวกคงที่หนึ่งๆ ชื่อของอสมการตั้งตามนักคณิตศาสตร์ชาวรัสเซียชื่อ อังเดร มาร์คอฟ

อสมการของมาร์คอฟมีใจความดังต่อไปนี้: ให้ X \, เป็นตัวแปรสุ่มที่มีค่าไม่เป็นลบและ t \, เป็นจำนวนจริงใด ๆ ที่มากกว่าศูนย์ แล้ว

\Pr[X \geq t] \leq \frac{\mathrm{E}[X]}{t}

เห็นได้ว่า อสมการของมาร์คอฟแสดงความสัมพันธ์ระหว่างความน่าจะเป็นกับค่าคาดหมาย เนื่องจากตัวอสมการเองไม่ได้กำหนดว่าตัวแปรสุ่มต้องมีสมบัติพิเศษประการใดเลย ขอบเขตบนที่ได้จากอสมการของมาร์คอฟมักจะมีค่าสูงกว่าความเป็นจริงมาก อย่างไรก็ดีเราสามารถใช้อสมการของมาร์คอฟพิสูจน์ข้อความทางคณิตศาสตร์อื่นๆ ที่ให้ขอบเขตบนที่แน่นขึ้นได้ เช่น อสมการของเชบิเชฟ และขอบเขตเชอร์นอฟ

[แก้] การพิสูจน์

กำหนดฟังก์ชัน f: \mathbb{R} \rightarrow \mathbb{R} ดังต่อไปนี้ f(x) = 1 เมื่อ x \geq t มิฉะนั้น f(x) = 0 เราได้ว่า

\mathrm{E}[f(X)] = \Pr[X \geq t]

เนื่องจาก f(x) \leq x/t สำหรับทุกๆ จำนวนจริง x เราได้ว่า

\Pr[X \geq t] \leq \mathrm{E}[X/t] = \frac{\mathrm{E}[X]}{t}

ตามต้องการ

[แก้] อีกบทพิสูจน์หนึ่ง

ในกรณีที่ตัวแปรสุ่ม X เป็นตัวแปรสุ่มแบบไม่ต่อเนื่อง และมีค่าเป็นจำนวนเต็ม บทพิสูจน์ที่ใช้การคำนวณอย่างง่ายด้านล่างอาจเข้าใจได้ง่ายกว่า

จากนิยามของค่าคาดหมาย และเงื่อนไขที่ว่าตัวแปรสุ่ม X มีค่าไม่เป็นลบ เราได้ว่า

\mathrm{E}[X]=\sum_{i=0}^{\infty}i\cdot\Pr[X=i]
=\sum_{i=0}^{t-1}i\cdot\Pr[X=i] +\sum_{i=t}^{\infty}i\cdot\Pr[X=i]     (กระจายเทอม โดยแยกกรณี i < t กับ i\geq t)
\geq\sum_{i=t}^{\infty}i\cdot\Pr[X=i]     (ทิ้งเทอมหน้าซึ่งมีค่ามากกว่าหรือเท่ากับศูนย์)
\geq\sum_{i=t}^{\infty}t\cdot\Pr[X=i]     (เนื่องจาก i\geq t)
=t\cdot\left(\sum_{i=t}^{\infty}\cdot\Pr[X=i]\right)     (แยก t)
=t\cdot\Pr[X\geq t].     (เนื่องจากเป็นผลรวมของความน่าจะเป็นของเหตุการณ์ที่ไม่เกิดร่วมกัน)

นั่นคือเราได้ \Pr[X\geq t]\leq\mathrm{E}[X]/t ตามต้องการ

[แก้] รูปแบบอื่นของ อสมการของมาร์คอฟ

บางครั้งเราอาจพบเห็น การใช้อสมการของมาร์คอฟ ในรูปแบบอื่น ๆ เช่น

เมื่อ g(x)\uparrow , g(x) \geq 0 คือ เป็นฟังก์ชันที่มีค่าไม่เป็นลบ และ มีค่าไม่ลดลงแล้ว

\Pr[X \geq t] \leq \frac{\mathrm{E}[g(X)]}{g(t)}

ซึ่งในกรณีที่ g(x) = etx จะนำไปสู่ ขอบเขตเชอร์นอฟ

Static Wikipedia (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu