استقلال و لم‌های بورل-کانتلی

استقلال این ایده را رسمی می‌کند که دانستن برخی رویدادها چیزی در مورد رویدادهای دیگر به شما نمی‌گوید، و لم‌های بورل-کانتلی جمع‌پذیری احتمالات را به گزاره‌های قطعی تقریباً مطمئن در مورد اینکه یک دنباله از رویدادها چند وقت یکبار رخ می‌دهد، تبدیل می‌کنند.

Definition

رویدادها زمانی مستقل هستند که احتمال وقوع مشترک آنها به حاصل ضرب احتمالاتشان تجزیه شود، و لم‌های بورل-کانتلی همگرایی یا واگرایی مجموع احتمالات رویدادها را به اینکه آیا بی‌نهایت تعداد از رویدادها تقریباً مطمئن رخ می‌دهند، مرتبط می‌کنند.

Scope

این موضوع شامل استقلال رویدادها، سیگما-جبرها و متغیرهای تصادفی، لم‌های گروه‌بندی و تقریب که از آن پشتیبانی می‌کنند، لم‌های اول و دوم بورل-کانتلی، قانون صفر-یک کولموگروف برای رویدادهای دنباله، و کاربردها در همگرایی تقریباً مطمئن و تکرار رویدادهای نادر است.

Core questions

• استقلال برای رویدادها، برای سیگما-جبرها و برای متغیرهای تصادفی به چه معناست و این مفاهیم چگونه به هم مرتبط هستند؟
• چه زمانی یک دنباله از رویدادها فقط به تعداد متناهی رخ می‌دهد و چه زمانی به طور نامتناهی تکرار می‌شود؟
• چرا لم معکوس بورل-کانتلی باید استقلال را فرض کند؟
• چرا یک رویداد دنباله از یک دنباله مستقل دارای احتمال صفر یا یک است؟

Key concepts

• استقلال رویدادها
• استقلال سیگما-جبرها
• سیگما-جبر دنباله
• رویداد بی‌نهایت بار
• تکرار تقریباً مطمئن

Key theories

لم اول بورل-کانتلی

اگر احتمالات یک دنباله از رویدادها دارای مجموع متناهی باشند، آنگاه با احتمال یک، تنها تعداد متناهی از رویدادها رخ می‌دهند؛ نیازی به استقلال نیست، و این نتیجه زیربنای بسیاری از استدلال‌های همگرایی تقریباً مطمئن است.

لم دوم بورل-کانتلی

اگر رویدادها مستقل باشند و مجموع احتمالات آنها واگرا باشد، آنگاه با احتمال یک، بی‌نهایت تعداد از رویدادها رخ می‌دهند، که یک عکس دقیق برای لم اول تحت استقلال ارائه می‌دهد.

قانون صفر-یک کولموگروف

هر رویدادی در سیگما-جبر دنباله یک دنباله از متغیرهای تصادفی مستقل دارای احتمال صفر یا یک است، بنابراین ویژگی‌های مجانبی مانند همگرایی یک سری از جملات مستقل در مقدار حقیقت خود قطعی هستند.

Clinical relevance

این نتایج، ابزارهای اصلی پشت قوانین قوی اعداد بزرگ و تحلیل رکوردها، توالی‌ها و رویدادهای نادر هستند؛ در تحلیل قابلیت اطمینان و ریسک، آنها تعیین می‌کنند که آیا یک خطر تکرارشونده بی‌نهایت بار رخ می‌دهد یا خیر، و در نظریه اعداد و نظریه ارگودیک، قانون صفر-یک توضیح می‌دهد که چرا بسیاری از ویژگی‌های حدی یا همیشه یا هرگز برقرار هستند.

History

بورل نیمه همگرایی را در سال ۱۹۰۹ در مطالعه خود بر روی اعداد نرمال اثبات کرد، و کانتلی عکس استقلال را در سال ۱۹۱۷ ارائه داد. کولموگروف بعدها هر دو را در قانون صفر-یک خود برای رویدادهای دنباله گنجاند و آنها را به ابزارهای اصلی نظریه اندازه‌محور تبدیل کرد.

Key figures

• Emile Borel
• Francesco Paolo Cantelli
• Andrey Kolmogorov

Seminal works

• durrett2019

Frequently asked questions

چرا لم دوم بورل-کانتلی به استقلال نیاز دارد اما لم اول نه؟

بدون استقلال، احتمالات واگرا همچنان می‌توانند رویدادهایی را توصیف کنند که به شدت همپوشانی دارند به طوری که تنها تعداد متناهی از آنها رخ می‌دهند؛ استقلال این توطئه را از بین می‌برد و وقوع بی‌نهایت را اجباری می‌کند.

رویداد دنباله چیست؟

یک رویداد دنباله رویدادی است که وقوع آن به هیچ تعداد متناهی از متغیرهای تصادفی زیربنایی بستگی ندارد، مانند همگرایی یک سری نامتناهی؛ قانون کولموگروف می‌گوید که چنین رویدادهایی زمانی که متغیرها مستقل هستند، احتمال صفر یا یک دارند.