ทฤษฎีบทการลู่เข้าของมาร์ติงเกล

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

Definition

ทฤษฎีบทการลู่เข้าของมาร์ติงเกลเป็นผลลัพธ์ที่ระบุว่ามาร์ติงเกลที่มีขอบเขตใน L1 จะลู่เข้าเกือบแน่นอน และมาร์ติงเกลที่สามารถหาปริพันธ์ได้อย่างสม่ำเสมอจะลู่เข้าเกือบแน่นอนและใน L1 ไปยังตัวแปรสุ่มที่ปิดมาร์ติงเกลในฐานะความคาดหวังแบบมีเงื่อนไข (conditional expectation)

Scope

หัวข้อนี้ครอบคลุมอสมการการข้ามขึ้นของดูบ (Doob's upcrossing inequality) และอสมการค่าสูงสุด (maximal inequalities) การลู่เข้าเกือบแน่นอนของมาร์ติงเกลที่มีขอบเขต L1 การลู่เข้าในค่าเฉลี่ยสำหรับมาร์ติงเกลที่สามารถหาปริพันธ์ได้อย่างสม่ำเสมอ (uniformly integrable martingales) และแนวคิดของตัวแปรปิด (closing variable) การลู่เข้าของมาร์ติงเกลที่มีขอบเขต Lp และทฤษฎีบทการลู่เข้าของมาร์ติงเกลย้อนหลัง (backward martingale convergence theorem) พร้อมกับการประยุกต์ใช้กับกฎจำนวนมากที่เข้มแข็ง (strong law of large numbers)

Core questions

• อสมการการข้ามขึ้นบังคับให้มาร์ติงเกลที่มีขอบเขตลู่เข้าได้อย่างไร?
• อะไรคือความแตกต่างระหว่างการลู่เข้าเกือบแน่นอนและการลู่เข้าในค่าเฉลี่ยสำหรับมาร์ติงเกล?
• การหาปริพันธ์ได้อย่างสม่ำเสมอเพิ่มอะไร และตัวแปรปิดคืออะไร?
• มาร์ติงเกลย้อนหลังให้กฎจำนวนมากที่เข้มแข็งได้อย่างไร?

Key theories

อสมการการข้ามขึ้นของดูบและการลู่เข้าที่มีขอบเขต L1

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

การหาปริพันธ์ได้อย่างสม่ำเสมอและการลู่เข้า L1

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

Clinical relevance

การลู่เข้าของมาร์ติงเกลเป็นพื้นฐานของการพิสูจน์กฎจำนวนมากที่เข้มแข็ง การลู่เข้าของความเชื่อแบบเบย์เซียนภายหลัง (Bayesian posterior beliefs) เมื่อข้อมูลสะสม กฎศูนย์-หนึ่งของเลวี (Levy's zero-one law) และขีดจำกัดเกือบแน่นอนของขนาดประชากรในกระบวนการแตกแขนง (branching-process population sizes) ทำให้เป็นกลไกที่เกิดขึ้นซ้ำสำหรับการลู่เข้าแบบเกือบแน่นอน (almost-sure asymptotics)

History

ดูบได้สร้างทฤษฎีบทการลู่เข้าและข้อโต้แย้งการข้ามขึ้น (upcrossing argument) ในทศวรรษ 1940 และนำเสนอในตำราของเขาในปี 1953 และรุ่นที่สามารถหาปริพันธ์ได้อย่างสม่ำเสมอและย้อนหลัง พร้อมกับทฤษฎีบทขาลงและขาขึ้นของเลวี (Levy's downward and upward theorems) ได้กลายเป็นส่วนมาตรฐานของหลักสูตรความน่าจะเป็นระดับบัณฑิตศึกษา

Key figures

• Joseph Doob
• Paul Levy
• David Williams

Seminal works

• williams1991

Frequently asked questions

มาร์ติงเกลลู่เข้าเมื่อใด?

หากมันยังคงมีขอบเขตใน L1 ซึ่งหมายถึงค่าสัมบูรณ์ที่คาดหวังของมันมีขอบเขตตลอดเวลา มันจะลู่เข้าเกือบแน่นอน; การหาปริพันธ์ได้อย่างสม่ำเสมอจะให้การลู่เข้าในค่าเฉลี่ยไปยังตัวแปรปิดเพิ่มเติม

การข้ามขึ้นคืออะไร?

การข้ามขึ้นของช่วงคือโอกาสที่มาร์ติงเกลเคลื่อนที่จากต่ำกว่าจุดสิ้นสุดล่างไปยังเหนือจุดสิ้นสุดบน; การจำกัดจำนวนครั้งที่คาดหวังของการข้ามเหล่านี้พิสูจน์การลู่เข้า