مقدمه
در نظریه مجموعهها، بسیاری از مسائل ریاضی با شناسایی و مقایسه اعضای مجموعهها سروکار دارند. یکی از مهمترین ابزارها برای این کار، اشتراک مجموعهها است. اشتراک به ما اجازه میدهد عناصری را که بهطور همزمان در دو یا چند مجموعه قرار دارند، جدا کنیم.
برای مثال، فرض کنید مجموعهای از دانشآموزانی داشته باشیم که در کلاس ریاضی شرکت میکنند و مجموعه دیگری از دانشآموزانی که در کلاس فیزیک حضور دارند. اشتراک این دو مجموعه، دانشآموزانی را مشخص میکند که در هر دو کلاس حضور دارند.
از دیدگاه ریاضی، اشتراک صرفاً یک روش ساده برای پیدا کردن اعضای مشترک نیست؛ بلکه یکی از عملیات بنیادی روی مجموعههاست و ارتباط نزدیکی با مفاهیمی مانند منطق، زیرمجموعه، مجموعه تهی، اجتماع و متمم دارد.
پیشنیازها
برای درک اشتراک مجموعهها، آشنایی مقدماتی با مفهوم مجموعه و عضویت کافی است. اگر A مجموعهای باشد و x یکی از اعضای آن باشد، مینویسیم:
\(x \in A\)
اگر x عضو مجموعه A نباشد، مینویسیم:
\(x \notin A\)
همچنین اگر هر عضو مجموعه A در مجموعه B نیز وجود داشته باشد، میگوییم A زیرمجموعه B است و مینویسیم:
\(A \subseteq B\)
این مفاهیم برای فهم تعریف رسمی اشتراک ضروری هستند.
تعریف دقیق اشتراک مجموعهها
فرض کنید A و B دو مجموعه باشند. اشتراک دو مجموعه مجموعهای است که دقیقاً شامل عناصری است که هم در A و هم در B قرار دارند.
اشتراک دو مجموعه با نماد \(\cap\) نشان داده میشود:
$$
A \cap B = \{x \mid x \in A \land x \in B\}
$$
در این رابطه، نماد \(\land\) به معنای «و» است. بنابراین یک عنصر زمانی عضو \(A \cap B\) است که هر دو شرط زیر را داشته باشد:
- در مجموعه A باشد.
- در مجموعه B نیز باشد.
به زبان ساده، میتوان گفت:
اشتراک یعنی پیدا کردن اعضای مشترک مجموعهها.
این تعریف با ارائههای دانشگاهی نظریه مجموعهها، از جمله منابع دانشگاه آکسفورد و منابع آموزشی دانشگاهی، سازگار است.
نماد اشتراک مجموعهها
نماد استاندارد اشتراک مجموعهها یک علامت شبیه به حرف U وارونه است:
\(\cap\)
بنابراین برای دو مجموعه A و B مینویسیم:
$$
A \cap B
$$
این عبارت به صورت «اشتراک A و B» خوانده میشود.
مفهوم اشتراک به زبان ساده
برای درک شهودی اشتراک، کافی است دو فهرست از اشیا را تصور کنیم و فقط مواردی را نگه داریم که در هر دو فهرست وجود دارند.
برای نمونه:
$$
A = \{1,2,3,4,5\}
$$
$$
B = \{3,4,5,6,7\}
$$
اعضای مشترک دو مجموعه عبارتاند از 3، 4 و 5. بنابراین:
$$
A \cap B = \{3,4,5\}
$$
توجه کنید که عددهای 1 و 2 فقط در A و عددهای 6 و 7 فقط در B هستند؛ بنابراین در اشتراک قرار نمیگیرند.
تفاوت اشتراک و اجتماع مجموعهها
اشتراک و اجتماع هر دو برای ترکیب مجموعهها استفاده میشوند، اما معیار انتخاب اعضا در آنها متفاوت است.
در اشتراک، عنصر باید در هر دو مجموعه وجود داشته باشد:
$$
x \in A \cap B
\iff
(x \in A \land x \in B)
$$
در اجتماع، عنصر کافی است در حداقل یکی از دو مجموعه وجود داشته باشد:
$$
x \in A \cup B
\iff
(x \in A \lor x \in B)
$$
بنابراین میتوان رابطه میان آنها را با منطق نیز درک کرد:
- اشتراک با عملگر منطقی «و» ارتباط دارد.
- اجتماع با عملگر منطقی «یا» ارتباط دارد.
قوانین و خواص اشتراک مجموعهها
خاصیت جابهجایی
ترتیب مجموعهها در اشتراک اهمیتی ندارد. یعنی:
$$
A \cap B = B \cap A
$$
برای مثال، اگر:
$$
A = \{1,2,3\}
$$
$$
B = \{2,3,4\}
$$
آنگاه:
$$
A \cap B = \{2,3\}
$$
$$
B \cap A = \{2,3\}
$$
در نتیجه، جابهجا کردن دو مجموعه نتیجه اشتراک را تغییر نمیدهد.
خاصیت شرکتپذیری
برای سه مجموعه A، B و C داریم:
$$
(A \cap B) \cap C = A \cap (B \cap C)
$$
بنابراین هنگام اشتراک سه مجموعه، محل قرار گرفتن پرانتزها نتیجه نهایی را تغییر نمیدهد.
خاصیت ایدیِمپوتنت یا همانی بودن اشتراک با خودش
اشتراک هر مجموعه با خودش برابر با همان مجموعه است:
$$
A \cap A = A
$$
زیرا هر عضوی که در A قرار دارد، طبیعتاً هم در مجموعه اول و هم در مجموعه دوم قرار دارد.
اشتراک با مجموعه تهی
اگر یکی از مجموعهها تهی باشد، هیچ عنصری نمیتواند بهطور همزمان در آن مجموعه و مجموعه دیگر قرار داشته باشد. بنابراین:
$$
A \cap \varnothing = \varnothing
$$
این ویژگی یکی از مهمترین مواردی است که هنگام حل مسائل مربوط به اشتراک باید به خاطر داشت.
اشتراک با مجموعه مرجع
اگر U مجموعه مرجع باشد و A \subseteq U، آنگاه:
$$
A \cap U = A
$$
زیرا همه اعضای A در U نیز قرار دارند.
خاصیت توزیعی اشتراک نسبت به اجتماع
اشتراک نسبت به اجتماع خاصیت توزیعی دارد:
$$
A \cap (B \cup C)
=
(A \cap B) \cup (A \cap C)
$$
این قانون از قوانین مهم جبر مجموعههاست و در سادهسازی عبارتهای مجموعهای کاربرد دارد.
خاصیت توزیعی اجتماع نسبت به اشتراک
برعکس رابطه بالا نیز برقرار است:
$$
A \cup (B \cap C)
=
(A \cup B) \cap (A \cup C)
$$
این دو قانون توزیعی، شباهت عمیقی میان جبر مجموعهها و منطق گزارهها ایجاد میکنند.
رابطه اشتراک با زیرمجموعه
اشتراک ارتباط نزدیکی با مفهوم زیرمجموعه دارد. اگر:
$$
A \subseteq B
$$
آنگاه تمام اعضای A در B نیز وجود دارند. بنابراین اشتراک آنها برابر با مجموعه کوچکتر یعنی A خواهد بود:
$$
A \cap B = A
$$
به طور معکوس، برای مجموعههای A و B داریم:
$$
A \subseteq B
\iff
A \cap B = A
$$
این رابطه یکی از روشهای مفید برای تشخیص زیرمجموعه بودن یک مجموعه در مجموعه دیگر است.
اشتراک تهی و مجموعههای جدا از هم
ممکن است دو مجموعه هیچ عضو مشترکی نداشته باشند. در این حالت اشتراک آنها مجموعه تهی است:
$$
A \cap B = \varnothing
$$
چنین دو مجموعهای را مجزا یا جدا از هم مینامند.
برای مثال:
$$
A = \{1,2,3\}
$$
$$
B = \{4,5,6\}
$$
هیچ عضوی در هر دو مجموعه وجود ندارد، بنابراین:
$$
A \cap B = \varnothing
$$
اشتراک چند مجموعه
اشتراک فقط به دو مجموعه محدود نیست. برای سه مجموعه میتوان نوشت:
$$
A \cap B \cap C
$$
این عبارت شامل عناصری است که در هر سه مجموعه حضور دارند.
به صورت دقیق:
$$
A \cap B \cap C
=
\{x \mid x \in A \land x \in B \land x \in C\}
$$
برای تعداد بیشتری از مجموعهها نیز میتوان از نماد اشتراک بزرگ استفاده کرد. اگر مجموعههایی مانند A_i با شاخص i در یک مجموعه شاخصگذاریشده باشند، میتوان نوشت:
$$
\bigcap_{i \in I} A_i
$$
این عبارت مجموعهای از عناصری را نشان میدهد که در تمام مجموعههای A_i برای i \in I قرار دارند.
اشتراک مجموعههای عددی
اشتراک زمانی که مجموعهها با ویژگیهای عددی تعریف شده باشند نیز به همان روش تعیین میشود.
برای مثال، فرض کنید:
$$
A = \{x \in \mathbb{N} \mid x \text{ زوج است}\}
$$
$$
B = \{x \in \mathbb{N} \mid 3 \mid x\}
$$
اعضای اشتراک باید هم زوج باشند و هم بر ۳ بخشپذیر باشند. بنابراین آنها مضربهای ۶ هستند:
$$
A \cap B
=
\{x \in \mathbb{N} \mid 6 \mid x\}
$$
در این مثال، اشتراک در واقع مجموعهای است که حاصل ترکیب دو شرط همزمان است.
اشتراک بازههای عددی
اشتراک برای بازههای حقیقی نیز کاربرد فراوانی دارد.
فرض کنید:
$$
A = [1,5]
$$
$$
B = [3,8]
$$
اعدادی که هم در بازه اول و هم در بازه دوم قرار دارند، از ۳ تا ۵ هستند. بنابراین:
$$
A \cap B = [3,5]
$$
در بازهها باید به بسته یا باز بودن دو سر بازه دقت کرد. برای نمونه:
$$
[1,5) \cap (3,8] = (3,5)
$$
زیرا عدد ۳ در بازه اول وجود دارد اما در بازه دوم وجود ندارد و عدد ۵ در بازه دوم وجود دارد اما در بازه اول وجود ندارد.
نمایش اشتراک با نمودار ون
یکی از روشهای شهودی نمایش اشتراک، نمودار ون است. در نمودار ون، مجموعهها معمولاً به صورت نواحی بسته نمایش داده میشوند و ناحیهای که در تمام مجموعههای موردنظر مشترک است، نشاندهنده اشتراک آنهاست.
برای دو مجموعه A و B، بخش مشترک دو ناحیه همان \(A \cap B\) است.
البته نمودار ون ابزار مناسبی برای درک شهودی است، اما تعریف رسمی اشتراک بر اساس عضویت عناصر در مجموعهها انجام میشود.
مثالهای حلشده
مثال اول: اشتراک دو مجموعه متناهی
مجموعههای زیر را در نظر بگیرید:
$$
A = \{2,4,6,8,10\}
$$
$$
B = \{1,2,3,4,5\}
$$
باید عناصری را پیدا کنیم که در هر دو مجموعه باشند.
عدد ۲ در هر دو مجموعه وجود دارد و عدد ۴ نیز در هر دو مجموعه وجود دارد. سایر عناصر مشترک نیستند.
پس:
$$
A \cap B = \{2,4\}
$$
مثال دوم: اشتراک دو مجموعه بدون عضو مشترک
فرض کنید:
$$
A = \{1,3,5,7\}
$$
$$
B = \{2,4,6,8\}
$$
مجموعه اول شامل اعداد فرد و مجموعه دوم شامل اعداد زوج است. هیچ عددی نمیتواند همزمان زوج و فرد باشد؛ بنابراین:
$$
A \cap B = \varnothing
$$
مثال سوم: اشتراک سه مجموعه
سه مجموعه زیر را در نظر بگیرید:
$$
A = \{1,2,3,4,5\}
$$
$$
B = \{2,3,4,6\}
$$
$$
C = \{0,2,3,7\}
$$
ابتدا اشتراک دو مجموعه اول را پیدا میکنیم:
$$
A \cap B = \{2,3,4\}
$$
اکنون این مجموعه را با C اشتراک میگیریم:
$$
(A \cap B) \cap C = \{2,3\}
$$
بنابراین:
$$
A \cap B \cap C = \{2,3\}
$$
مثال چهارم: اشتراک بر اساس شرط
فرض کنید:
$$
A = \{x \in \mathbb{Z} \mid -2 \leq x \leq 5\}
$$
$$
B = \{x \in \mathbb{Z} \mid 1 \leq x \leq 8\}
$$
برای عضویت در اشتراک، هر دو شرط باید برقرار باشند. بنابراین:
$$
1 \leq x \leq 5
$$
در نتیجه:
$$
A \cap B = \{1,2,3,4,5\}
$$
مثال پنجم: استفاده از خاصیت زیرمجموعه
فرض کنید:
$$
A = \{1,2,3\}
$$
$$
B = \{1,2,3,4,5\}
$$
چون:
$$
A \subseteq B
$$
میتوان بدون بررسی تکتک اعضا نتیجه گرفت:
$$
A \cap B = A = \{1,2,3\}
$$
قوانین مهم اشتراک در یک نگاه
$$
A \cap B = B \cap A
$$
$$
(A \cap B) \cap C = A \cap (B \cap C)
$$
$$
A \cap A = A
$$
$$
A \cap \varnothing = \varnothing
$$
$$
A \cap U = A
$$
$$
A \cap (B \cup C)
=
(A \cap B) \cup (A \cap C)
$$
$$
A \cup (B \cap C)
=
(A \cup B) \cap (A \cup C)
$$
قوانین دمورگان و اشتراک مجموعهها
اشتراک با متمم مجموعهها نیز رابطه مهمی دارد. اگر U مجموعه مرجع باشد، قوانین دمورگان عبارتاند از:
$$
(A \cap B)^c = A^c \cup B^c
$$
$$
(A \cup B)^c = A^c \cap B^c
$$
قانون اول نشان میدهد که متمم اشتراک، برابر با اجتماع متممهای دو مجموعه است. این قوانین در سادهسازی عبارتهای مجموعهای و ارتباط دادن نظریه مجموعهها با منطق ریاضی اهمیت زیادی دارند.
اشتراک و منطق ریاضی
یکی از عمیقترین نکات درباره اشتراک مجموعهها، ارتباط آن با عملگر منطقی «و» است.
تعریف عضویت در اشتراک میگوید:
$$
x \in A \cap B
\iff
(x \in A \land x \in B)
$$
بنابراین اگر عضویت در A را یک گزاره و عضویت در B را گزارهای دیگر در نظر بگیریم، عضویت در اشتراک دقیقاً متناظر با برقرار بودن همزمان هر دو گزاره است.
همین ارتباط یکی از دلایل مهم نقش نظریه مجموعهها در منطق و ریاضیات جدید است.
قضیه مشخصه اشتراک
یکی از روشهای استاندارد برای اثبات برابری دو مجموعه، نشان دادن برابری اعضای آنهاست. بر اساس تعریف اشتراک، برای هر عنصر x داریم:
$$
x \in A \cap B
\iff
x \in A \land x \in B
$$
بنابراین اگر بخواهیم ثابت کنیم دو عبارت مجموعهای برابرند، میتوانیم یک عنصر دلخواه x را در نظر بگیریم و نشان دهیم عضویت آن در دو طرف عبارت دقیقاً معادل است.
این روش، که به اثبات با عضویت عناصر شناخته میشود، یکی از روشهای بنیادی اثبات در نظریه مجموعههاست.
کاربردهای اشتراک مجموعهها
در احتمال
در نظریه احتمال، رویدادها را میتوان به صورت مجموعههایی از حالتهای ممکن در نظر گرفت. در این چارچوب، اشتراک دو رویداد نشاندهنده رخ دادن همزمان آن دو رویداد است.
برای دو رویداد A و B، عبارت:
$$
A \cap B
$$
رویدادی را نشان میدهد که در آن هر دو رویداد A و B رخ میدهند.
در منطق
ارتباط میان اشتراک و عملگر «و» باعث میشود عملیات مجموعهای برای نمایش و تحلیل گزارههای منطقی نیز مفید باشد.
در علوم کامپیوتر
عملیات اشتراک در کار با مجموعه دادهها، پایگاههای داده، جستوجوی اطلاعات و ساختارهای دادهای مبتنی بر مجموعهها کاربرد دارد.
در جبر و ریاضیات پیشرفته
مفهوم اشتراک در بسیاری از ساختارهای ریاضی، از جمله خانوادههای مجموعهها، فضاهای ریاضی و ساختارهای جبری ظاهر میشود. در بسیاری از این کاربردها، هدف یافتن اشیایی است که به طور همزمان چند شرط را برآورده میکنند.
اشتباهات رایج
اشتباه اول: اشتباه گرفتن اشتراک و اجتماع
یکی از رایجترین خطاها این است که همه اعضای دو مجموعه را در اشتراک قرار دهیم. این کار در واقع مربوط به اجتماع است، نه اشتراک.
اشتراک فقط اعضای مشترک را نگه میدارد:
$$
A \cap B
$$
در حالی که اجتماع همه اعضای موجود در حداقل یکی از مجموعهها را شامل میشود:
$$
A \cup B
$$
اشتباه دوم: تصور اینکه اشتراک همیشه غیرتهی است
دو مجموعه ممکن است هیچ عضو مشترکی نداشته باشند. در این صورت:
$$
A \cap B = \varnothing
$$
اشتباه سوم: توجه نکردن به همزمانی شرطها
در اشتراک، یک عنصر باید همه شرطهای مربوط به مجموعههای موردنظر را همزمان برآورده کند. اگر عنصر فقط در یکی از مجموعهها باشد، عضو اشتراک نیست.
اشتباه چهارم: اشتباه گرفتن عضو و زیرمجموعه
رابطه عضویت و رابطه زیرمجموعه دو مفهوم متفاوت هستند. برای مثال:
$$
x \in A
$$
درباره عضو بودن x در A صحبت میکند، در حالی که:
$$
A \subseteq B
$$
درباره رابطه میان دو مجموعه صحبت میکند.
نکات مهم
- اشتراک دو مجموعه شامل عناصری است که در هر دو مجموعه قرار دارند.
- نماد استاندارد اشتراک \(\cap\) است.
- اشتراک از نظر منطقی با عملگر «و» متناظر است.
- اگر دو مجموعه عضو مشترکی نداشته باشند، اشتراک آنها مجموعه تهی است.
- اشتراک جابهجایی و شرکتپذیری دارد.
- اشتراک هر مجموعه با خودش برابر خود آن مجموعه است.
- اگر A \subseteq B باشد، آنگاه \(A \cap B=A\).
- اشتراک نسبت به اجتماع و اجتماع نسبت به اشتراک خاصیت توزیعی دارند.
- قوانین دمورگان ارتباط مهمی میان اشتراک، اجتماع و متمم ایجاد میکنند.
جمعبندی
اشتراک مجموعهها یکی از عملیات بنیادی نظریه مجموعههاست که برای شناسایی عناصر مشترک میان دو یا چند مجموعه استفاده میشود. تعریف رسمی آن برای دو مجموعه A و B چنین است:
$$
A \cap B = \{x \mid x \in A \land x \in B\}
$$
این تعریف ساده، پایه مجموعهای از قوانین مهم را شکل میدهد؛ از جمله خاصیت جابهجایی، شرکتپذیری، همانی بودن، اشتراک با مجموعه تهی و قوانین توزیعی.
همچنین اشتراک ارتباط مستقیمی با زیرمجموعه، متمم و اجتماع دارد و از طریق عملگر منطقی «و» به منطق ریاضی متصل میشود. همین ویژگی باعث شده است که اشتراک تنها یک عملیات مقدماتی در نظریه مجموعهها نباشد، بلکه در احتمال، منطق، علوم کامپیوتر و بسیاری از شاخههای ریاضیات نیز مورد استفاده قرار گیرد.
موضوعات مرتبط
برای مطالعه منظم مباحث مرتبط با اشتراک مجموعهها، مطالعه موضوعات زیر پیشنهاد میشود:
منابع
منابع دانشگاهی و وب
-
University of Oxford – Mathematical Institute،
Introduction to University Mathematics: Sets.
این منبع دانشگاهی تعریف رسمی اجتماع، اشتراک، متمم و تفاضل مجموعهها و رابطه آنها را ارائه میکند.
مشاهده منبع در دانشگاه آکسفورد
-
OpenStax،
Contemporary Mathematics – Set Operations with Two Sets.
این منبع آموزشی دانشگاهی تعریف اشتراک دو مجموعه، نمادگذاری و مثالهای مربوط به آن را بررسی میکند.
مشاهده منبع در OpenStax
-
George Washington University،
Set Operations.
این منبع دانشگاهی تعریف اجتماع، اشتراک و تفاضل مجموعهها را بر اساس معیار عضویت ارائه میکند.
مشاهده منبع در George Washington University
-
University of Pennsylvania،
Set Operations and Subsets.
این منبع ارتباط میان اشتراک مجموعهها، زیرمجموعهها و قوانین جبر مجموعهها را توضیح میدهد.
مشاهده منبع در University of Pennsylvania
-
Mathematics LibreTexts،
The Basics of Sets.
این منبع آموزشی مفهوم اشتراک را با مثالهای مقدماتی مجموعهای توضیح میدهد.
مشاهده منبع در Mathematics LibreTexts
منابع کتابی
-
Daniel J. Velleman،
How to Prove It: A Structured Approach،
ویرایش سوم،
Cambridge University Press،
2019.
این کتاب مباحث منطق، نظریه مجموعهها، روابط، توابع و روشهای اثبات را در سطح دانشگاهی پوشش میدهد.
مشاهده کتاب در Cambridge University Press
-
Kenneth H. Rosen،
Discrete Mathematics and Its Applications،
ویرایش هفتم،
McGraw-Hill.
این کتاب یکی از منابع شناختهشده ریاضیات گسسته است و مباحث مجموعهها، منطق و ساختارهای گسسته را پوشش میدهد.
اطلاعات نسخه فارسی در ایرانکتاب
-
Seymour Lipschutz،
Discrete Mathematics.
این اثر از منابع شناختهشده آموزش ریاضیات گسسته است و مباحث مجموعهها، روابط و توابع را پوشش میدهد.
نسخههای فارسی این کتاب نیز در بازار نشر ایران عرضه شدهاند.
تاریخ بررسی منابع وب: ۱۳ اوت ۲۰۲۶