مقدمه
مجموعهها یکی از مفاهیم بنیادی در ریاضیات هستند و بسیاری از مفاهیم پیشرفتهتر، از روابط و توابع گرفته تا احتمال و ساختارهای گسسته، بر زبان مجموعهها تکیه دارند. برای کار با مجموعهها فقط شناخت اعضای آنها کافی نیست؛ بلکه باید بتوانیم مجموعهها را با یکدیگر ترکیب، مقایسه و تحلیل کنیم.
یکی از مهمترین عملیات در این زمینه اجتماع مجموعهها است. اجتماع به ما اجازه میدهد تمام عناصری را که در یکی از مجموعهها یا در هر دو مجموعه قرار دارند، در یک مجموعه جدید گردآوری کنیم. این مفهوم در منابع آموزشی دانشگاهی بهعنوان یکی از عملیات پایه مجموعهها معرفی میشود و ارتباط مستقیمی با عملگر منطقی «یا» دارد.
در این مقاله ابتدا تعریف دقیق اجتماع را بررسی میکنیم، سپس به نمادگذاری، روشهای نمایش، خواص و قوانین آن میپردازیم و در ادامه با استفاده از مثالهای حلشده، نحوه استفاده از اجتماع را روشن میکنیم.
پیشنیازها
برای درک اجتماع مجموعهها، آشنایی مقدماتی با مفهوم مجموعه، عضو مجم��عه و نماد عضویت کافی است.
اگر \(A\) یک مجموعه و \(x\) یکی از اعضای آن باشد، عضویت \(x\) در \(A\) با نماد \(x \in A\) نشان داده میشود. در مقابل، اگر \(x\) عضو \(A\) نباشد، مینویسیم \(x \notin A\).
همچنین باید توجه داشت که مجموعه با فهرستی از عناصر مشخص میشود و ترتیب نوشتن عناصر در مجموعه اهمیتی ندارد. برای مثال:
\( \{1,2,3\} = \{3,1,2\} \)
تعریف دقیق اجتماع مجموعهها
فرض کنید \(A\) و \(B\) دو مجموعه باشند. اجتماع \(A\) و \(B\) مجموعهای است که همه عناصری را شامل میشود که حداقل در یکی از دو مجموعه \(A\) یا \(B\) قرار دارند.
اجتماع دو مجموعه با نماد \(A \cup B\) نمایش داده میشود.
تعریف رسمی اجتماع را میتوان بهصورت زیر نوشت:
$$ A \cup B = \{x \mid x \in A \lor x \in B\} $$
در این رابطه، نماد \( \lor \) به معنای «یا» است. بنابراین یک عنصر برای قرار گرفتن در \(A \cup B\) کافی است در \(A\)، در \(B\)، یا در هر دو مجموعه باشد.
این «یا» از نوع یا شامل است؛ یعنی اگر یک عنصر در هر دو مجموعه نیز باشد، همچنان شرط اجتماع را برآورده میکند.
توضیح شهودی اجتماع
فرض کنید مجموعه \(A\) شامل دانشآموزانی باشد که در کلاس ریاضی شرکت میکنند و مجموعه \(B\) شامل دانشآموزانی باشد که در کلاس فیزیک شرکت میکنند.
در این صورت \(A \cup B\) شامل تمام دانشآموزانی است که در کلاس ریاضی یا فیزیک یا هر دو شرکت میکنند.
نکته مهم این است که اگر یک دانشآموز در هر دو کلاس باشد، در اجتماع فقط یک عنصر محسوب میشود. مجموعهها عناصر تکراری را بهصورت جداگانه نگهداری نمیکنند.
نماد اجتماع مجموعهها
نماد استاندارد اجتماع، علامت \( \cup \) است.
برای دو مجموعه مینویسیم:
$$ A \cup B $$
برای سه مجموعه نیز میتوان نوشت:
$$ A \cup B \cup C $$
در حالت کلی، اگر مجموعههای \(A_1,A_2,\ldots,A_n\) داشته باشیم، اجتماع آنها را میتوان بهصورت زیر نمایش داد:
$$ \bigcup_{i=1}^{n} A_i $$
نمایش اجتماع با نماد سازنده مجموعه
یکی از دقیقترین روشهای نمایش اجتماع استفاده از نماد سازنده مجموعه است:
$$ A \cup B = \{x \mid x \in A \lor x \in B\} $$
این عبارت میگوید هر \(x\) زمانی عضو اجتماع است که حداقل یکی از دو گزاره \(x \in A\) یا \(x \in B\) درست باشد.
بنابراین میتوان ارتباط مستقیم میان اجتماع مجموعهها و عملگر «یا» در منطق را مشاهده کرد. این ارتباط در منابع آموزشی دانشگاهی مجموعهها و منطق بهطور صریح مورد استفاده قرار میگیرد.
اجتماع دو مجموعه
سادهترین حالت، اجتماع دو مجموعه است. برای مثال:
$$ A=\{1,2,3\} $$
و
$$ B=\{3,4,5\} $$
در این حالت:
$$ A\cup B=\{1,2,3,4,5\} $$
عدد \(3\) در هر دو مجموعه وجود دارد، اما در اجتماع فقط یک بار نوشته میشود.
اجتماع مجموعههای مجزا
دو مجموعه را مجزا یا ناهمپوشان مینامیم اگر هیچ عضو مشترکی نداشته باشند. در این حالت:
$$ A\cap B=\varnothing $$
اگر \(A\) و \(B\) مجزا باشند، اجتماع آنها شامل تمام عناصر هر دو مجموعه است و هیچ عنصر مشترکی برای حذف وجود ندارد.
برای مثال:
$$ A=\{1,3,5\} $$
و
$$ B=\{2,4,6\} $$
بنابراین:
$$ A\cup B=\{1,2,3,4,5,6\} $$
اجتماع در حالت زیرمجموعه بودن
اگر تمام عناصر \(A\) در \(B\) قرار داشته باشند، یعنی:
$$ A\subseteq B $$
آنگاه اجتماع \(A\) و \(B\) برابر با مجموعه بزرگتر، یعنی \(B\)، خواهد بود:
$$ A\cup B=B $$
دلیل آن ساده است: تمام عناصر \(A\) از قبل در \(B\) وجود دارند؛ بنابراین افزودن \(A\) به \(B\) عنصر جدیدی ایجاد نمیکند.
اجتماع سه مجموعه یا بیشتر
اجتماع محدود به دو مجموعه نیست. برای سه مجموعه \(A\)، \(B\) و \(C\)، عبارت \(A\cup B\cup C\) مجموعه تمام عناصری است که حداقل در یکی از سه مجموعه قرار دارند.
بهصورت رسمی:
$$ x\in A\cup B\cup C \iff x\in A\lor x\in B\lor x\in C $$
در حالت کلی برای خانوادهای از مجموعهها نیز میتوان از نماد اجتماع بزرگ استفاده کرد:
$$ \bigcup_{i\in I}A_i $$
که در آن \(I\) یک مجموعه شاخص است و \(A_i\) برای هر \(i\in I\) یک مجموعه است.
قضایا و ویژگیهای مهم اجتماع مجموعهها
خاصیت جابجایی
ترتیب مجموعهها در اجتماع اهمیتی ندارد:
$$ A\cup B=B\cup A $$
یعنی اجتماع \(A\) با \(B\) دقیقاً همان مجموعهای است که از اجتماع \(B\) با \(A\) به دست میآید.
ایده اثبات: برای هر عنصر \(x\)، شرط عضویت در سمت چپ این است که \(x\in A\) یا \(x\in B\) باشد. جابهجایی ترتیب این دو گزاره، نتیجه منطقی را تغییر نمیدهد.
خاصیت شرکتپذیری
هنگام اجتماع سه مجموعه، نحوه گروهبندی عملیات اهمیتی ندارد:
$$ (A\cup B)\cup C=A\cup(B\cup C) $$
در نتیجه میتوان معمولاً بدون نگرانی از ابهام، پرانتزها را حذف کرد:
$$ A\cup B\cup C $$
این خاصیت در منابع آموزشی استاندارد نظریه مجموعهها و ریاضیات گسسته بهعنوان خاصیت شرکتپذیری اجتماع شناخته میشود.
خاصیت همانی با مجموعه تهی
مجموعه تهی در عمل اجتماع مانند عنصر خنثی رفتار میکند:
$$ A\cup\varnothing=A $$
چون مجموعه تهی هیچ عضوی ندارد، ترکیب آن با \(A\) عضو جدیدی به \(A\) اضافه نمیکند.
خاصیت همانی با خودش
اجتماع هر مجموعه با خودش برابر خود آن مجموعه است:
$$ A\cup A=A $$
این ویژگی را خاصیت تواندار یا ایدمپوتنت نیز مینامند.
رابطه اجتماع و زیرمجموعه
برای هر دو مجموعه \(A\) و \(B\)، داریم:
$$ A\subseteq A\cup B $$
و همچنین:
$$ B\subseteq A\cup B $$
زیرا هر عضوی که در \(A\) باشد، طبق تعریف در اجتماع نیز قرار میگیرد و همین استدلال برای \(B\) برقرار است.
رابطه اجتماع و اشتراک
اجتماع و اشتراک دو عمل مرتبط اما متفاوت هستند.
اجتماع شامل عناصری است که در حداقل یکی از مجموعهها قرار دارند، در حالی که اشتراک فقط عناصری را شامل میشود که در هر دو مجموعه مشترک باشند.
به زبان منطقی:
$$ x\in A\cup B \iff (x\in A)\lor(x\in B) $$
در مقابل:
$$ x\in A\cap B \iff (x\in A)\land(x\in B) $$
برای مطالعه دقیقتر مفهوم اشتراک مجموعهها میتوانید به مقاله اشتراک مجموعهها مراجعه کنید.
قوانین توزیعی اجتماع
اجتماع و اشتراک نسبت به یکدیگر قوانین توزیعی مهمی دارند. نخست:
$$ A\cup(B\cap C) = (A\cup B)\cap(A\cup C) $$
و همچنین:
$$ A\cap(B\cup C) = (A\cap B)\cup(A\cap C) $$
این دو قانون را میتوان با تعریف عضویت و قوانین توزیعی منطق گزارهها نیز اثبات کرد. منابع دانشگاهی نظریه محاسبه و مبانی علوم کامپیوتر همین ارتباط میان منطق و عملیات مجموعهای را نشان میدهند.
قوانین دمورگان و اجتماع
اگر \(U\) مجموعه مرجع باشد، متمم اجتماع دو مجموعه از قانون دمورگان پیروی میکند:
$$ (A\cup B)^c=A^c\cap B^c $$
قانون متناظر برای اشتراک نیز چنین است:
$$ (A\cap B)^c=A^c\cup B^c $$
این قوانین یکی از نمونههای روشن ارتباط میان نظریه مجموعهها و منطق ریاضی هستند.
فرمول تعداد اعضای اجتماع دو مجموعه
اگر \(A\) و \(B\) مجموعههای متناهی باشند، تعداد اعضای اجتماع آنها با رابطه زیر محاسبه میشود:
$$ |A\cup B| = |A|+|B|-|A\cap B| $$
دلیل وجود جمله \( -|A\cap B| \) این است که هنگام جمع کردن \( |A| \) و \( |B| \)، اعضای مشترک دوبار شمرده میشوند. بنابراین باید یک بار تعداد اعضای مشترک را کم کنیم.
اگر دو مجموعه مجزا باشند، اشتراک آنها تهی است:
$$ A\cap B=\varnothing $$
بنابراین فرمول ساده میشود:
$$ |A\cup B|=|A|+|B| $$
این رابطه و کاربرد آن در منابع آموزشی دانشگاهی، از جمله OpenStax، بهصورت مستقیم بررسی شده است.
فرمول تعداد اعضای اجتماع سه مجموعه
برای سه مجموعه متناهی \(A\)، \(B\) و \(C\)، فرمول اجتماع از اصل شمول و عدم شمول استفاده میکند:
$$ |A\cup B\cup C| = |A|+|B|+|C| - |A\cap B| - |A\cap C| - |B\cap C| + |A\cap B\cap C| $$
در این فرمول، ابتدا تعداد اعضای هر سه مجموعه جمع میشود. سپس اشتراکهای دوتایی کم میشوند، زیرا اعضای مشترک چند بار شمرده شدهاند. در پایان اشتراک سهگانه دوباره اضافه میشود تا اصلاح شمارش کامل شود.
نمایش اجتماع با نمودار ون
نمودار ون یکی از ابزارهای بصری مناسب برای نمایش اجتماع است. در یک نمودار ون با دو مجموعه \(A\) و \(B\)، ناحیه مربوط به \(A\cup B\) شامل تمام قسمتهای متعلق به \(A\) یا \(B\) است؛ بنابراین قسمت مشترک دو دایره نیز در اجتماع قرار میگیرد.
به عبارت دیگر، اگر بخواهیم اجتماع را روی نمودار ون مشخص کنیم، باید تمام نواحی مربوط به دو مجموعه را در نظر بگیریم.
این روش نمایش بهویژه برای درک تفاوت میان اجتماع، اشتراک و متمم بسیار مفید است.
مثالهای حلشده
مثال اول: اجتماع دو مجموعه ساده
مجموعههای زیر را در نظر بگیرید:
$$ A=\{1,2,3\} $$
$$ B=\{4,5,6\} $$
چون هیچ عنصر مشترکی وجود ندارد، تمام عناصر هر دو مجموعه در اجتماع قرار میگیرند:
$$ A\cup B=\{1,2,3,4,5,6\} $$
مثال دوم: وجود عناصر مشترک
فرض کنید:
$$ A=\{1,2,3,4\} $$
$$ B=\{3,4,5,6\} $$
عناصر \(3\) و \(4\) در هر دو مجموعه وجود دارند. بنابراین:
$$ A\cup B=\{1,2,3,4,5,6\} $$
توجه کنید که \(3\) و \(4\) دوبار نوشته نشدهاند.
مثال سوم: استفاده از فرمول تعداد اعضا
فرض کنید:
$$ |A|=20,\qquad |B|=15,\qquad |A\cap B|=5 $$
میخواهیم \( |A\cup B| \) را به دست آوریم. از فرمول اجتماع استفاده میکنیم:
$$ |A\cup B| = |A|+|B|-|A\cap B| $$
بنابراین:
$$ |A\cup B|=20+15-5=30 $$
پس اجتماع این دو مجموعه دارای \(30\) عضو است.
مثال چهارم: وقتی یک مجموعه زیرمجموعه دیگری است
فرض کنید:
$$ A=\{1,2,3\} $$
و:
$$ B=\{1,2,3,4,5\} $$
چون:
$$ A\subseteq B $$
نتیجه میشود:
$$ A\cup B=B $$
بنابراین:
$$ A\cup B=\{1,2,3,4,5\} $$
مثال پنجم: اجتماع سه مجموعه
سه مجموعه زیر را در نظر بگیرید:
$$ A=\{1,2,3\} $$
$$ B=\{3,4,5\} $$
$$ C=\{5,6,7\} $$
با ترکیب عناصر هر سه مجموعه و حذف تکرارها داریم:
$$ A\cup B\cup C=\{1,2,3,4,5,6,7\} $$
مثال ششم: محاسبه اجتماع سه مجموعه با تعداد اعضا
فرض کنید:
$$ |A|=12,\quad |B|=10,\quad |C|=8 $$
همچنین:
$$ |A\cap B|=3,\quad |A\cap C|=2,\quad |B\cap C|=4 $$
و:
$$ |A\cap B\cap C|=1 $$
بنابراین:
$$ |A\cup B\cup C| = 12+10+8-3-2-4+1 $$
در نتیجه:
$$ |A\cup B\cup C|=22 $$
قضیه مهم: اجتماع کوچکترین مجموعه شاملکننده
اگر \(C\) مجموعهای باشد که هم \(A\) و هم \(B\) را در خود جای دهد، یعنی:
$$ A\subseteq C \quad\text{و}\quad B\subseteq C $$
آنگاه:
$$ A\cup B\subseteq C $$
این ویژگی نشان میدهد اجتماع \(A\) و \(B\) کوچکترین مجموعهای است که هر دو مجموعه را در بر میگیرد؛ البته «کوچکترین» در اینجا بر اساس رابطه زیرمجموعه بودن است.
اجتماع مجموعه تهی
مجموعه تهی هیچ عضوی ندارد و با نماد \( \varnothing \) نمایش داده میشود. اجتماع هر مجموعه با مجموعه تهی برابر خود آن مجموعه است:
$$ A\cup\varnothing=A $$
برای مثال:
$$ \{1,2,3\}\cup\varnothing=\{1,2,3\} $$
برای مطالعه مفهوم مجموعه تهی میتوانید به مقاله مجموعه تهی مراجعه کنید.
اجتماع و متمم مجموعهها
اگر \(A^c\) متمم \(A\) نسبت به مجموعه مرجع \(U\) باشد، آنگاه قانون دمورگان رابطه مهمی میان اجتماع و متمم برقرار میکند:
$$ (A\cup B)^c=A^c\cap B^c $$
مفهوم متمم زمانی معنا دارد که مجموعه مرجع مشخص شده باشد؛ بنابراین نباید متمم یک مجموعه را بدون توجه به مجموعه مرجع بهصورت مطلق در نظر گرفت.
کاربردهای اجتماع مجموعهها
در منطق ریاضی
اجتماع از نظر منطقی با عملگر «یا» ارتباط دارد. اگر عضویت یک عنصر در مجموعهها را بهصورت گزاره در نظر بگیریم، اجتماع متناظر با قرار دادن این گزارهها در یک ترکیب «یا» است.
در احتمال
در نظریه احتمال، پیشامدها را میتوان بهصورت مجموعههایی از نتایج فضای نمونه در نظر گرفت. در این چارچوب، اجتماع دو پیشامد \(A\) و \(B\) پیشامدی است که وقتی \(A\) یا \(B\) یا هر دو رخ دهند، اتفاق میافتد.
به همین دلیل، مفهوم اجتماع مجموعهها یکی از پایههای درک قوانین احتمال است.
در علوم کامپیوتر
عملیات مجموعهای در علوم کامپیوتر برای مدلسازی و پردازش مجموعهای از دادهها، جستوجو و ترکیب نتایج به کار میروند. در طراحی برخی ساختارهای داده و زبانهای پرسوجوی داده نیز ایده ترکیب مجموعهها اهمیت دارد.
در ریاضیات گسسته
اجتماع در بسیاری از مباحث ریاضیات گسسته، از شمارش و احتمال گرفته تا روابط، منطق و ساختارهای گسسته، بهعنوان یک ابزار پایه مورد استفاده قرار میگیرد.
اشتباهات رایج در اجتماع مجموعهها
اشتباه اول: شمردن عناصر مشترک دو بار
اگر یک عنصر در هر دو مجموعه وجود داشته باشد، در اجتماع فقط یک بار قرار میگیرد. برای مثال:
$$ \{1,2,3\}\cup\{3,4\} = \{1,2,3,4\} $$
نه مجموعهای که عدد \(3\) در آن دو بار نوشته شده باشد.
اشتباه دوم: اشتباه گرفتن اجتماع و اشتراک
اجتماع یعنی «در حداقل یکی از مجموعهها بودن»، در حالی که اشتراک یعنی «در هر دو مجموعه بودن».
بهصورت خلاصه:
$$ A\cup B:\quad \text{یا} $$
$$ A\cap B:\quad \text{و} $$
اشتباه سوم: تصور اینکه ترتیب عناصر مهم است
ترتیب عناصر در مجموعه اهمیتی ندارد. بنابراین:
$$ \{1,2,3\}=\{3,2,1\} $$
اشتباه چهارم: استفاده نادرست از فرمول تعداد اعضا
برای دو مجموعه متناهی، فرمول صحیح چنین است:
$$ |A\cup B|=|A|+|B|-|A\cap B| $$
حذف جمله اشتراک باعث میشود اعضای مشترک دوبار شمرده شوند.
اشتباه پنجم: فرض اینکه اجتماع همیشه به تعداد اعضای دو مجموعه اضافه میکند
اگر دو مجموعه دارای اعضای مشترک باشند، تعداد اعضای اجتماع کمتر از مجموع تعداد اعضای دو مجموعه خواهد بود.
تنها در صورتی که دو مجموعه مجزا باشند داریم:
$$ |A\cup B|=|A|+|B| $$
نکات مهم
- اجتماع دو مجموعه با نماد \( \cup \) نمایش داده میشود.
- هر عضوی که در حداقل یکی از دو مجموعه باشد، عضو اجتماع است.
- عضو مشترک در اجتماع فقط یک بار در نظر گرفته میشود.
- اجتماع با عملگر منطقی «یا» ارتباط دارد.
- اجتماع جابجاییپذیر است: \(A\cup B=B\cup A\).
- اجتماع شرکتپذیر است: \((A\cup B)\cup C=A\cup(B\cup C)\).
- مجموعه تهی عنصر خنثی اجتماع است: \(A\cup\varnothing=A\).
- اگر \(A\subseteq B\)، آنگاه \(A\cup B=B\).
- برای مجموعههای متناهی، تعداد اعضای اجتماع دو مجموعه از رابطه \( |A\cup B|=|A|+|B|-|A\cap B| \) به دست میآید.
- برای اجتماع سه مجموعه باید اثر اشتراکهای دوتایی و سهتایی نیز در شمارش لحاظ شود.
جمعبندی
اجتماع مجموعهها یکی از بنیادیترین عملیات نظریه مجموعههاست. اگر \(A\) و \(B\) دو مجموعه باشند، اجتماع آنها شامل تمام عناصری است که در \(A\)، در \(B\)، یا در هر دو قرار دارند:
$$ A\cup B=\{x\mid x\in A\lor x\in B\} $$
مهمترین نکته در محاسبه اجتماع این است که عناصر مشترک فقط یک بار در مجموعه نهایی قرار میگیرند. از همین نکته، فرمول تعداد اعضای اجتماع دو مجموعه به دست میآید:
$$ |A\cup B|=|A|+|B|-|A\cap B| $$
اجتماع همچنین دارای خواص مهمی مانند جابجایی، شرکتپذیری و همانی با مجموعه تهی است و در قوانین توزیعی و قوانین دمورگان با اشتراک و متمم ارتباط نزدیکی دارد.
درک صحیح اجتماع مجموعهها، پایه مناسبی برای مطالعه موضوعات بعدی مانند اشتراک مجموعهها، تفاضل مجموعهها، متمم مجموعه و مجموعههای متناهی و نامتناهی فراهم میکند.
موضوعات مرتبط
منابع
منابع کتابی
- Kenneth H. Rosen, Discrete Mathematics and Its Applications, 7th Edition, McGraw-Hill, 2011. این کتاب از مراجع شناختهشده دانشگاهی برای مباحث مجموعهها، منطق و ریاضیات گسسته است.
مشاهده اطلاعات کتاب
- Ralph P. Grimaldi, Discrete and Combinatorial Mathematics: An Applied Introduction, 5th Edition, Pearson, 2003. فصلهای مقدماتی این کتاب به مبانی ریاضیات گسسته و نظریه مجموعهها میپردازند.
- رالف پ. گریمالدی، ریاضیات گسسته و ترکیبیاتی از دیدگاه کاربردی، ترجمه محمدعلی رضوانی، انتشارات فاطمی. این اثر از منابع فارسی قابل استفاده برای مطالعه مباحث نظریه مجموعهها و ریاضیات گسسته است.
مشاهده اطلاعات نسخه فارسی
- کنت اچ. روزن، ریاضیات گسسته و کاربردهای آن، ویراست هفتم، ترجمه علیاکبر عالمزاده، انتشارات نیاز دانش.
مشاهده اطلاعات نسخه فارسی
منابع وب
- OpenStax، 1.4 Set Operations with Two Sets. این منبع دانشگاهی و آموزشی تعریف اجتماع، نمایش نمادی، مثالها، نمودار ون و فرمول تعداد اعضای اجتماع دو مجموعه را بررسی میکند.
مشاهده منبع در OpenStax
- OpenStax، 1.5 Set Operations with Three Sets. این صفحه خواص جابجایی، شرکتپذیری، توزیعی و قوانین دمورگان را در زمینه عملیات مجموعهها بررسی میکند.
مشاهده منبع در OpenStax
- Delft University of Technology، The Boolean Algebra of Sets. این منبع دانشگاهی ارتباط میان عملیات مجموعهها و منطق گزارهها و همچنین قوانین توزیعی اجتماع و اشتراک را توضیح میدهد.
مشاهده منبع در دانشگاه صنعتی دلفت
- MIT OpenCourseWare، منابع درس Probabilistic Systems Analysis and Applied Probability. این مجموعه منابع آموزشی دانشگاه MIT کاربرد عملیات اجتماع، اشتراک و متمم را در زمینه احتمال نشان میدهد.
مشاهده منبع در MIT OpenCourseWare
تاریخ دسترسی به منابع وب: ۱۳ اوت ۲۰۲۶