اصل شمول و عدم شمول برای سه مجموعه
۱. مفهوم پایهٔ اجتماع و اشتراک در مجموعهها
در نظریهٔ مجموعهها، اجتماع دو یا چند مجموعه شامل همهٔ عضوهایی است که لااقل به یکی از آن مجموعهها تعلق دارند. اشتراک نیز شامل عضوهایی است که به همهٔ مجموعهها بهطور همزمان تعلق دارند. برای دو مجموعهٔ $A$ و $B$، اندازهٔ اجتماع بهسادگی به صورت $|A \cup B| = |A| + |B| - |A \cap B|$ محاسبه میشود. اما وقتی تعداد مجموعهها به سه میرسد، به دلیل همپوشانیهای چندگانه، یک اصلاحیهٔ اضافی نیاز داریم.
فرض کنید در یک مدرسه، سه باشگاه ورزشی داریم: باشگاه فوتبال $F$، باشگاه بسکتبال $B$ و باشگاه شطرنج $S$. اگر فقط تعداد اعضای هر باشگاه را جمع کنیم، دانشآموزانی که در دو یا هر سه باشگاه عضو هستند چندین بار شمرده میشوند. اصل شمول و عدم شمول دقیقاً همین تعداد شمردنهای تکراری را حذف و سپس اشتراک سهتایی را که بیش از حد کم شده، دوباره برمیگرداند.
۲. فرمول اصلی شمارش اجتماع سه مجموعه
برای سه مجموعهٔ دلخواه $A$، $B$ و $C$، اصل شمول و عدم شمول به صورت زیر بیان میشود:
در این فرمول، ابتدا اندازهٔ هر مجموعه را جمع میکنیم (مرحلهٔ شمول). سپس اندازهٔ اشتراکهای دوتایی را کم میکنیم تا عضوهایی که دو بار شمرده شدهاند، یک بار حذف شوند (مرحلهٔ عدم شمول). اما عضوهایی که در هر سه مجموعه هستند ابتدا سه بار شمرده شدند، سپس در مرحلهٔ کم کردن اشتراکهای دوتایی سه بار کم شدند (چون در هر سه اشتراک دوتایی حضور دارند)؛ بنابراین این عضوها کاملاً حذف شدهاند. به همین دلیل در مرحلهٔ آخر، اندازهٔ اشتراک سهتایی را یک بار اضافه میکنیم.
۳. اثبات گامبهگام با استفاده از نمودار ون
نمودار ون1 کمک میکند تا تأثیر هر جمله را روی نواحی مختلف ببینیم. سه مجموعهٔ $A$، $B$ و $C$ صفحه را به 8 ناحیهٔ مجزا تقسیم میکنند (ناحیهٔ بیرون از همهٔ مجموعهها، سه ناحیه متعلق به فقط یک مجموعه، سه ناحیه متعلق به اشتراک دقیقاً دو مجموعه و یک ناحیه متعلق به اشتراک هر سه مجموعه).
| مرحله | عملیات | تأثیر روی اشتراک سهتایی | تأثیر روی نواحی دوگانه |
|---|---|---|---|
| جمع $|A|+|B|+|C|$ | شمول اولیه | 3 بار شمرده میشود | هر ناحیهٔ دوگانه 2 بار شمرده میشود |
| کسر اشتراکهای دوتایی | عدم شمول مرحلهٔ اول | 3 بار کم میشود ← در مجموع صفر | هر ناحیهٔ دوگانه دقیقاً یک بار کم میشود ← حاصل نهایی 1 |
| افزودن اشتراک سهتایی | بازگرداندن مرحلهٔ نهایی | 1 بار اضافه میشود ← حاصل نهایی 1 | تأثیری ندارد |
همانطور که جدول نشان میدهد، در پایان هر عضو اشتراک سهتایی دقیقاً یک بار و هر عضو اشتراک دوگانه نیز دقیقاً یک بار شمرده میشود. عضوهایی که فقط در یک مجموعه هستند نیز یک بار شمرده میشوند. بنابراین فرمول صحیح است.
۴. کاربرد عملی: محاسبهٔ تعداد دانشآموزان در کلاس
فرض کنید در یک کلاس 40 نفره، درسهای ریاضی ($R$)، فیزیک ($F$) و شیمی ($S$) ارائه میشود. دادهها به صورت زیر است:
- $|R| = 28$
- $|F| = 22$
- $|S| = 18$
- $|R \cap F| = 12$
- $|R \cap S| = 10$
- $|F \cap S| = 8$
- $|R \cap F \cap S| = 5$
تعداد دانشآموزانی که لااقل یکی از این سه درس را انتخاب کردهاند برابر است با:
$= (68) - (30) + 5 = 38 + 5 = 43$
عدد 43 از تعداد کل کلاس (40) بیشتر شده است؟ این تناقض نشان میدهد که دادهها با هم سازگار نیستند یا برخی دانشآموزان بیش از یک درس را انتخاب کردهاند و ما هیچ محدودیتی برای مجموع نداریم. در عمل اگر مجموع دانشآموزان کلاس محدود باشد، چنین حالتی رخ میدهد و باید دقت کرد که فرمول تعداد کل عضوهای متمایز را میدهد که ممکن است از کل فضای نمونه کمتر یا مساوی آن باشد. در اینجا 43 از 40 بیشتر شده، یعنی دادهها با فرض 40 نفر ناسازگار است. این نکته نشان میدهد که اصل شمول میتواند سازگاری داخلی دادهها را نیز بررسی کند.
۵. کاربرد در احتمال: قانون جمع برای سه پیشامد
در نظریهٔ احتمال، اصل شمول و عدم شمول برای پیشامدهای تصادفی2 نیز کاربرد دارد. اگر $A$، $B$ و $C$ سه پیشامد باشند، احتمال وقوع حداقل یکی از آنها برابر است با:
مثال: در کیسهای 10 کارت با اعداد 1 تا 10 وجود دارد. احتمال اینکه عددی تصادفی انتخاب شود که بر 2، 3 یا 5 بخشپذیر باشد را محاسبه کنید. با استفاده از اصل شمول به راحتی میتوان جواب را بهدست آورد.
۶. چالشهای مفهومی
پاسخ: اگر فقط اشتراکهای دوتایی را کم کنیم، عضوهایی که در هر سه مجموعه هستند سه بار از جمع اولیه کم میشوند (زیرا در هر سه اشتراک دوتایی حضور دارند). در حالی که این عضوها در ابتدا سه بار شمرده شده بودند، پس از سه بار کم شدن به صفر میرسند و در نهایت حذف میشوند. برای بازگرداندن آنها، باید یک بار اندازهٔ اشتراک سهتایی را اضافه کنیم.
پاسخ: اگر مجموعهها دو به دو ناهمجدا باشند، آنگاه $A \cap B = \emptyset$، $A \cap C = \emptyset$، $B \cap C = \emptyset$ و در نتیجه $A \cap B \cap C = \emptyset$. در این حالت فرمول به $|A|+|B|+|C|$ ساده میشود و جملهٔ اشتراک سهتایی (که صفر است) تأثیری ندارد. اما از نظر ساختاری، همچنان میتوان جملهٔ آخر را نوشت.
پاسخ: بله، اصل شمول و عدم شمول برای هر تعداد متناهی مجموعه قابل تعمیم است. بهطور کلی برای $n$ مجموعه، بهطور متناوب اندازهٔ اجتماعهای فرد (یکتایی، سهتایی، ...) را جمع و اجتماعهای زوج (دوگان، چهارگان، ...) را کم میکنیم. فرمول عمومی با نماد سیگما نمایش داده میشود.
جمعبندی
پاورقی
1 نمودار ون (Venn Diagram): نمایش گرافیکی مجموعهها به کمک دایرهها یا اشکال هندسی که همپوشانیها را نشان میدهد.
2 پیشامد تصادفی (Random Event): زیرمجموعهای از فضای نمونه در نظریهٔ احتمال که وقوع یا عدم وقوع آن به شانس بستگی دارد.
3 ناهمجدا (Disjoint): مجموعههایی که اشتراک آنها تهی است، یعنی هیچ عضو مشترکی ندارند.