اصل شمول و عدم شمول: روشی برای شمارش اجتماع مجموعهها با حذف شمارشهای تکراری
اجتماع و اشتراک مجموعهها: دو مفهوم بنیادی در شمارش
در نظریهٔ مجموعهها1، زمانی که میخواهیم تعداد اعضای اجتماع2 دو یا چند مجموعه را پیدا کنیم، ممکن است برخی اعضا در چند مجموعه به طور همزمان حضور داشته باشند. اگر بهسادگی تعداد اعضای هر مجموعه را با هم جمع کنیم، آن دسته از اعضایی که در اشتراک قرار دارند، چندین بار شمرده میشوند. برای حل این مشکل، اصل شمول و عدم شمول (به اختصار اصل شمول) ارائه شده است.
فرض کنید در یک مدرسه، 80 دانشآموز به تیم فوتبال و 50 دانشآموز به تیم بسکتبال علاقه دارند. اگر 20 نفر همزمان به هر دو تیم علاقه داشته باشند، تعداد کل دانشآموزانی که حداقل به یکی از دو تیم علاقه دارند، برابر با 80 + 50 - 20 = 110 خواهد بود. این همان ایدهٔ سادهٔ اصل شمول برای دو مجموعه است.
تعمیم اصل شمول به سه یا چند مجموعه
برای سه مجموعهٔ A، B و C، فرمول کاملتر میشود:
در این فرمول، ابتدا اندازهٔ هر سه مجموعه را جمع میکنیم (شمول). سپس اندازهٔ اشتراکهای دو عضوی را کم میکنیم (عدم شمول) تا شمارش تکراری اصلاح شود. اما با این کار، اعضای اشتراک سهگانه یک بار بیش از حد کم شدهاند، بنابراین دوباره آنها را اضافه میکنیم. این الگو برای تعداد بیشتری از مجموعهها نیز قابل تعمیم است: علامتها بهطور متناوب مثبت و منفی میشوند.
مثال علمی (نظرسنجی از دانشآموزان): در یک نظرسنجی از 100 دانشآموز، مشخص شد 45 نفر به ریاضی، 38 نفر به فیزیک و 30 نفر به شیمی علاقه دارند. همچنین 15 نفر به ریاضی و فیزیک، 12 نفر به ریاضی و شیمی، 10 نفر به فیزیک و شیمی و 4 نفر به هر سه درس علاقه دارند. تعداد دانشآموزانی که حداقل به یکی از این سه درس علاقه دارند، به این صورت محاسبه میشود:
$45 + 38 + 30 - 15 - 12 - 10 + 4 = 80$بنابراین 80 نفر حداقل به یکی از درسها علاقه دارند.
کاربرد عملی: جدول مقایسهٔ موارد استفاده از اصل شمول
| زمینهٔ کاربرد | تعداد مجموعهها | نوع مسئله | مثال واقعی |
|---|---|---|---|
| نظرسنجی و آمار | دو یا سه مجموعه | محاسبهٔ تعداد افراد دارای حداقل یک ویژگی | علاقه به چند درس مختلف |
| نظریهٔ اعداد | چندین مجموعه | شمارش اعداد بخشپذیر بر یک یا چند عدد | تعداد اعداد بین 1 تا 100 که بر 2 یا 3 بخشپذیرند |
| احتمال | دو یا سه مجموعه | محاسبهٔ احتمال وقوع حداقل یک پیشامد | احتمال آمدن حداقل یک عدد زوج در دو تاس |
چالشهای مفهومی در استفاده از اصل شمول
سوال 1: چرا نمیتوانیم برای هر تعداد مجموعه فقط جمع کنیم و سپس اشتراک دو به دو را کم کنیم؟
پاسخ: برای سه مجموعه، اگر فقط جمع و سپس کم کردن اشتراکهای دو به دو را انجام دهیم، اعضای اشتراک هر سه مجموعه سه بار در جمع اولیه حساب شدهاند و سه بار نیز در مرحلهٔ کم کردن (هر بار در یکی از اشتراکهای دو به دو) حذف میشوند. در نتیجه، این اعضا به طور کامل از شمارش ناپدید میشوند. بنابراین باید دوباره یک بار آنها را اضافه کنیم. این منطق برای تعداد بیشتر مجموعهها نیز تکرار میشود.
سوال 2: اگر مجموعهها با هم اشتراک نداشته باشند، چه تغییری در فرمول ایجاد میشود؟
پاسخ: در این حالت خاص، مجموعهها جدا از هم3 هستند و اندازهٔ اشتراک هر جفت مجموعه برابر صفر است. بنابراین اصل شمول به جمع سادهٔ اندازهٔ مجموعهها تبدیل میشود. به عنوان مثال، اگر $A \cap B = \emptyset$، آنگاه $|A \cup B| = |A| + |B|$.
سوال 3: چگونه میتوان از اصل شمول برای یافتن تعداد اعضایی که در هیچ یک از مجموعهها نیستند استفاده کرد؟
پاسخ: اگر جهان مورد نظر ما (مجموعهٔ مرجع) را با $U$ نشان دهیم، آنگاه تعداد اعضایی که در هیچ یک از مجموعههای $A$، $B$ و $C$ نیستند برابر است با $|U| - |A \cup B \cup C|$. یعنی ابتدا اجتماع را با اصل شمول حساب کرده، سپس از کل اعضا کم میکنیم.
روش گامبهگام حل مسئله با اصل شمول
برای حل مسائل شمارش با استفاده از اصل شمول، میتوانید مراحل زیر را دنبال کنید:
گام 1 مجموعههای مسئله را مشخص کنید و نامگذاری انجام دهید.
گام 2 تعداد اعضای هر مجموعه و تعداد اعضای اشتراکهای مختلف را بنویسید.
گام 3 فرمول مناسب اصل شمول را با توجه به تعداد مجموعهها بنویسید.
گام 4 مقادیر را جایگذاری کرده و محاسبات را به ترتیب انجام دهید.
گام 5 در صورت نیاز، پاسخ نهایی را از مجموعهٔ مرجع کم کنید.
مثال گامبهگام: از بین 50 نفر، 28 نفر اهل مطالعهٔ رمان، 22 نفر اهل مطالعهٔ شعر و 12 نفر هر دو را مطالعه میکنند. چند نفر هیچ کدام را مطالعه نمیکنند؟ طبق گامها: $|R| = 28$، $|S| = 22$، $|R \cap S| = 12$. بنابراین $|R \cup S| = 28 + 22 - 12 = 38$. تعداد افرادی که هیچ کدام را مطالعه نمیکنند برابر است با 50 - 38 = 12 نفر.
پاورقی
1 نظریهٔ مجموعهها (Set Theory): شاخهای از ریاضیات که به مطالعهٔ مجموعهها (گردهمایی اشیاء متمایز) میپردازد.
2 اجتماع (Union): مجموعهٔ شامل همهٔ اعضایی که حداقل به یکی از مجموعههای داده شده تعلق دارند.
3 جدا از هم (Disjoint): مجموعههایی که هیچ عضو مشترکی ندارند، یعنی اشتراک آنها تهی است.