Teorema Penghentian Opsional

Teorema penghentian opsional menyatakan bahwa, dalam kondisi yang meniadakan penantian tak terbatas, menghentikan permainan yang adil pada waktu acak yang dipilih secara cerdas tidak dapat mengubah nilai yang diharapkan.

Definition

Teorema penghentian opsional menegaskan bahwa untuk martingal dan waktu penghentian yang memenuhi kondisi integrabilitas atau keterbatasan yang sesuai, nilai ekspektasi martingal pada waktu penghentian sama dengan nilai ekspektasi awalnya, sehingga martingal yang dihentikan masih merupakan martingal.

Scope

Topik ini mencakup waktu penghentian dan proses yang dihentikan, pernyataan teorema penghentian opsional dan hipotesisnya seperti waktu penghentian terbatas, martingal terbatas, atau integrabilitas seragam, contoh tandingan seperti strategi penggandaan yang menunjukkan mengapa hipotesis diperlukan, dan aplikasi pada kehancuran penjudi, probabilitas pencapaian (hitting probabilities) dari langkah acak (random walks), dan identitas Wald.

Core questions

• Apa itu waktu penghentian dan apa artinya menghentikan suatu proses pada waktu tersebut?
• Dalam kondisi apa penghentian opsional mempertahankan ekspektasi?
• Mengapa beberapa strategi penghentian tampaknya mengalahkan permainan yang adil, dan hipotesis apa yang gagal?
• Bagaimana teorema ini menghasilkan probabilitas pencapaian dan waktu pencapaian yang diharapkan?

Key theories

Penghentian opsional dalam kondisi yang memadai

Jika waktu penghentian terbatas, atau martingal terbatas, atau keluarga nilai yang dihentikan terintegrasi secara seragam, maka ekspektasi martingal pada waktu penghentian sama dengan nilai awalnya, mempertahankan properti permainan yang adil.

Identitas Wald dan masalah kehancuran

Menerapkan penghentian opsional pada martingal langkah acak menghasilkan identitas pertama dan kedua Wald yang menghubungkan jumlah yang dihentikan dengan waktu penghentian dan memberikan probabilitas kehancuran penjudi dan durasi yang diharapkan secara eksplisit.

Clinical relevance

Penghentian opsional adalah alasan kuat mengapa tidak ada sistem taruhan yang dapat mengalahkan permainan yang adil, memberikan penurunan yang jelas dari probabilitas kehancuran dan pencapaian untuk langkah acak, dan dalam statistik sekuensial mengontrol kesalahan tes yang berhenti secara adaptif seiring data masuk.

History

Doob merumuskan pengambilan sampel opsional pada tahun 1940-an dan 1950-an, menggeneralisasi identitas analisis sekuensial Wald pada tahun 1940-an, dan teorema dengan hipotesisnya yang cermat, diilustrasikan oleh kegagalan strategi penggandaan, menjadi landasan teori martingal terapan dan keuangan matematika.

Key figures

• Joseph Doob
• Abraham Wald
• David Williams

Seminal works

• doob1953

Frequently asked questions

Bisakah aturan penghentian yang cerdas mengalahkan permainan yang adil?

Tidak, asalkan kondisi teorema penghentian opsional terpenuhi; strategi yang tampaknya menang, seperti taruhan ganda, memerlukan modal tak terbatas atau waktu ekspektasi tak terbatas, yang melanggar hipotesis teorema.

Apa itu waktu penghentian?

Ini adalah waktu acak yang kejadiannya dapat diputuskan hanya dengan menggunakan informasi yang tersedia hingga saat itu, tanpa melihat ke masa depan, seperti pertama kali suatu proses mencapai tingkat tertentu.