مقدمه
در نظریه مجموعهها، معمولاً فقط با خود مجموعهها سروکار نداریم؛ بلکه میخواهیم بدانیم چه عناصری در یک مجموعه قرار دارند و چه عناصری خارج از آن هستند. برای بیان دقیق این ایده، باید مشخص کنیم در یک مسئله دقیقاً چه عناصری مورد بررسی قرار میگیرند.
مفهوم متمم مجموعه دقیقاً برای همین منظور به کار میرود. اگر مجموعهای را درون یک مجموعه مرجع مشخص در نظر بگیریم، متمم آن شامل تمام عناصری از مجموعه مرجع است که عضو مجموعه موردنظر نیستند. بنابراین متمم را نمیتوان بدون توجه به مجموعه مرجع بهدرستی تفسیر کرد.
متمم مجموعه یکی از مفاهیم پایهای در نظریه مجموعههاست و با مفاهیمی مانند اجتماع مجموعهها، اشتراک مجموعهها، تفاضل مجموعهها و مجموعه تهی ارتباط نزدیکی دارد.
پیشنیازها
برای فهم متمم مجموعه، آشنایی مقدماتی ب�� چند مفهوم کافی است:
- مجموعه: مجموعه را میتوان بهصورت مجموعهای از اشیای مشخص و متمایز در نظر گرفت.
- عضویت: اگر \(x\) عضو مجموعه \(A\) باشد، مینویسیم \(x \in A\).
- عدم عضویت: اگر \(x\) عضو \(A\) نباشد، مینویسیم \(x \notin A\).
- زیرمجموعه: اگر همه اعضای \(A\) در \(U\) قرار داشته باشند، مینویسیم \(A \subseteq U\).
در تعریف متمم، مفهوم مجموعه مرجع اهمیت ویژهای دارد؛ زیرا متمم یک مجموعه نسبت به یک مجموعه مشخص تعریف میشود.
تعریف دقیق متمم مجموعه
فرض کنید \(U\) مجموعه مرجع و \(A\) زیرمجموعهای از \(U\) باشد. متمم مجموعه \(A\) نسبت به \(U\) مجموعه تمام عناصری از \(U\) است که عضو \(A\) نیستند.
این تعریف بهصورت رسمی چنین نوشته میشود:
$$ A^c = \{x \in U \mid x \notin A\} $$
در این رابطه، \(A^c\) نماد متمم \(A\) نسبت به \(U\) است. نمادهای دیگری مانند \(A'\) یا \(\overline{A}\) نیز در منابع مختلف برای متمم استفاده میشوند.
بنابراین برای تعیین متمم یک مجموعه، باید دو چیز را بدانیم:
- مجموعه موردنظر، یعنی \(A\)
- مجموعه مرجع، یعنی \(U\)
این نکته بسیار مهم است؛ زیرا یک مجموعه مشخص میتواند نسبت به دو مجموعه مرجع متفاوت، متممهای متفاوتی داشته باشد.
مجموعه مرجع چیست؟
مجموعه مرجع یا مجموعه جهانی مجموعهای است که تمام عناصری را که در یک مسئله مشخص مورد توجه هستند، دربرمیگیرد. معمولاً آن را با \(U\) نمایش میدهند.
مجموعه مرجع به معنی «همه چیز موجود در جهان» نیست؛ بلکه به زمینه مسئله بستگی دارد. برای مثال، اگر مسئله درباره اعداد صحیح بین \(1\) تا \(10\) باشد، میتوان مجموعه مرجع را چنین در نظر گرفت:
$$ U = \{1,2,3,4,5,6,7,8,9,10\} $$
اگر در همین مجموعه، \(A\) شامل اعداد زوج باشد، آنگاه:
$$ A = \{2,4,6,8,10\} $$
متمم \(A\) نسبت به \(U\) برابر است با:
$$ A^c = \{1,3,5,7,9\} $$
در واقع هر عضو \(U\) دقیقاً در یکی از دو مجموعه \(A\) و \(A^c\) قرار میگیرد.
مفهوم شهودی متمم مجموعه
برای درک سادهتر متمم، فرض کنید مجموعه مرجع شامل تمام دانشآموزان یک کلاس باشد و \(A\) مجموعه دانشآموزانی باشد که در یک مسابقه ریاضی شرکت کردهاند.
در این صورت \(A^c\) شامل تمام دانشآموزان کلاس است که در آن مسابقه شرکت نکردهاند.
بنابراین متمم بهمعنای «هر چیزی که در مجموعه مرجع هست ولی در مجموعه موردنظر نیست» است.
نمایش متمم مجموعه
متمم یک مجموعه را میتوان با نمادهای مختلفی نمایش داد. سه نماد رایج عبارتاند از:
- \(A^c\)
- \(A'\)
- \(\overline{A}\)
برای مثال، هر سه عبارت زیر میتوانند به یک مفهوم اشاره کنند:
$$ A^c = A' = \overline{A} $$
البته برای جلوگیری از ابهام، بهتر است در یک متن ریاضی از یک نماد مشخص استفاده شود و همان نماد در سراسر مسئله ادامه پیدا کند.
متمم مجموعه در نماد سازنده مجموعه
تعریف متمم را میتوان با نماد سازنده مجموعه نیز نوشت:
$$ A^c = \{x \in U \mid x \notin A\} $$
این نمایش دو شرط را همزمان بیان میکند: نخست اینکه \(x\) باید عضو مجموعه مرجع \(U\) باشد و دوم اینکه نباید عضو \(A\) باشد.
در نتیجه، صرفاً نوشتن «\(x\notin A\)» برای تعریف متمم کافی نیست؛ زیرا باید مشخص باشد \(x\) از چه دامنهای انتخاب میشود. این دامنه همان مجموعه مرجع است.
متمم و نمودار ون
در نمودار ون، معمولاً مجموعه مرجع \(U\) با یک مستطیل نمایش داده میشود و مجموعه \(A\) درون آن قرار میگیرد. ناحیهای از \(U\) که خارج از \(A\) قرار دارد، متمم \(A\) را نشان میدهد.
بهصورت مفهومی میتوان رابطه را چنین خلاصه کرد:
$$ U = A \cup A^c $$
و از آنجا که \(A\) و \(A^c\) هیچ عضو مشترکی ندارند:
$$ A \cap A^c = \varnothing $$
بنابراین \(A\) و متمم آن دو بخش جدا از مجموعه مرجع را تشکیل میدهند.
قضایا و ویژگیهای متمم مجموعه
قانون اجتماع مجموعه با متمم خود
هر مجموعه به همراه متمم خود، تمام مجموعه مرجع را تشکیل میدهد:
$$ A \cup A^c = U $$
دلیل آن روشن است: هر عضو \(U\) یا در \(A\) قرار دارد یا در \(A\) قرار ندارد. در حالت دوم، طبق تعریف در \(A^c\) قرار میگیرد.
قانون اشتراک مجموعه با متمم خود
یک عنصر نمیتواند همزمان عضو \(A\) و متمم \(A\) باشد. بنابراین:
$$ A \cap A^c = \varnothing $$
این رابطه نشان میدهد \(A\) و \(A^c\) مجموعههایی جدا از یکدیگر هستند.
متمم متمم یک مجموعه
اگر دوباره از \(A^c\) متمم بگیریم، به مجموعه اصلی بازمیگردیم:
$$ (A^c)^c = A $$
این ویژگی را میتوان بهصورت شهودی نیز فهمید. متمم اول تمام عناصری را که در \(A\) نیستند انتخاب میکند. متمم دوم، تمام عناصری را که در متمم اول نیستند انتخاب میکند؛ یعنی دوباره عناصر \(A\) به دست میآیند.
متمم مجموعه مرجع
اگر کل مجموعه مرجع \(U\) را متمم بگیریم، هیچ عضوی خارج از \(U\) در چارچوب مسئله وجود ندارد. بنابراین:
$$ U^c = \varnothing $$
متمم مجموعه تهی
از طرف دیگر، چون مجموعه تهی هیچ عضوی ندارد، تمام عناصر مجموعه مرجع در متمم آن قرار میگیرند:
$$ \varnothing^c = U $$
قوانین دمورگان برای متمم مجموعهها
یکی از مهمترین کاربردهای متمم، قوانین دمورگان است. این قوانین رابطه میان متمم، اجتماع و اشتراک را مشخص میکنند.
قانون اول دمورگان
متمم اجتماع دو مجموعه برابر با اشتراک متممهای آن دو مجموعه است:
$$ (A \cup B)^c = A^c \cap B^c $$
معنای این رابطه چنین است: عنصری که در \(A\) یا \(B\) قرار ندارد، باید هم در \(A\) نباشد و هم در \(B\) نباشد.
قانون دوم دمورگان
متمم اشتراک دو مجموعه برابر با اجتماع متممهای آن دو مجموعه است:
$$ (A \cap B)^c = A^c \cup B^c $$
یعنی اگر عنصری عضو اشتراک \(A\) و \(B\) نباشد، حداقل یکی از دو حالت برقرار است: یا در \(A\) نیست یا در \(B\) نیست.
ایده اثبات قانون اول دمورگان
برای اثبات:
$$ (A \cup B)^c = A^c \cap B^c $$
یک عنصر دلخواه \(x\in U\) را در نظر بگیرید. طبق تعریف متمم:
$$ x\in(A\cup B)^c \iff x\notin A\cup B $$
طبق تعریف اجتماع:
$$ x\notin A\cup B \iff (x\notin A)\land(x\notin B) $$
و این دقیقاً به معنای آن است که:
$$ x\in A^c\cap B^c $$
بنابراین:
$$ (A\cup B)^c=A^c\cap B^c $$
قوانین دمورگان از ارتباط عمیق میان عملیات مجموعهها و منطق گزارهها به دست میآیند. منابع آموزشی دانشگاهی نیز همین ارتباط میان متمم مجموعه و نقیض گزارهها را تأکید میکنند.
رابطه متمم با تفاضل مجموعهها
متمم را میتوان حالت خاصی از تفاضل مجموعهها نسبت به مجموعه مرجع در نظر گرفت.
اگر \(A\subseteq U\) باشد، آنگاه:
$$ A^c = U\setminus A $$
زیرا \(U\setminus A\) شامل عناصری از \(U\) است که در \(A\) قرار ندارند؛ دقیقاً همان چیزی که در تعریف متمم آمده است.
بنابراین متمم و تفاضل مجموعهها بسیار به یکدیگر مرتبطاند، اما نباید آنها را در همه شرایط یک مفهوم واحد دانست. متمم به مجموعه مرجع وابسته است، در حالی که تفاضل \(A\setminus B\) به دو مجموعه \(A\) و \(B\) وابسته است.
رابطه متمم با زیرمجموعه بودن
اگر:
$$ A\subseteq B\subseteq U $$
آنگاه ترتیب متممها برعکس میشود:
$$ B^c\subseteq A^c $$
دلیل این موضوع این است که هرچه مجموعه بزرگتر باشد، عناصر کمتری در مجموعه مرجع خارج از آن باقی میمانند.
برای مثال، فرض کنید:
$$ U=\{1,2,3,4,5,6\} $$ $$ A=\{1,2\} $$ $$ B=\{1,2,3,4\} $$
چون \(A\subseteq B\)، داریم:
$$ B^c=\{5,6\} $$
و:
$$ A^c=\{3,4,5,6\} $$
در نتیجه:
$$ B^c\subseteq A^c $$
فرمولهای مهم متمم مجموعه
مهمترین روابطی که باید به خاطر داشته باشید عبارتاند از:
$$ A^c=\{x\in U\mid x\notin A\} $$ $$ A^c=U\setminus A $$ $$ A\cup A^c=U $$ $$ A\cap A^c=\varnothing $$ $$ (A^c)^c=A $$ $$ U^c=\varnothing $$ $$ \varnothing^c=U $$ $$ (A\cup B)^c=A^c\cap B^c $$ $$ (A\cap B)^c=A^c\cup B^c $$
مثالهای حلشده
مثال اول: یافتن متمم یک مجموعه
فرض کنید:
$$ U=\{1,2,3,4,5,6,7,8,9\} $$ $$ A=\{1,2,4,7\} $$
متمم \(A\) شامل اعضای \(U\) است که در \(A\) وجود ندارند. بنابراین:
$$ A^c=\{3,5,6,8,9\} $$
مثال دوم: متمم مجموعه اعداد زوج
مجموعه مرجع را اعداد طبیعی کوچکتر از \(10\) در نظر بگیرید:
$$ U=\{1,2,3,4,5,6,7,8,9\} $$
مجموعه اعداد زوج برابر است با:
$$ A=\{2,4,6,8\} $$
بنابراین:
$$ A^c=\{1,3,5,7,9\} $$
مثال سوم: استفاده از قانون دمورگان
فرض کنید:
$$ U=\{1,2,3,4,5,6,7,8\} $$ $$ A=\{1,2,3,4\} $$ $$ B=\{3,4,5,6\} $$
ابتدا اجتماع را محاسبه میکنیم:
$$ A\cup B=\{1,2,3,4,5,6\} $$
پس:
$$ (A\cup B)^c=\{7,8\} $$
اکنون از قانون دمورگان استفاده میکنیم:
$$ (A\cup B)^c=A^c\cap B^c $$
داریم:
$$ A^c=\{5,6,7,8\} $$ $$ B^c=\{1,2,7,8\} $$
بنابراین:
$$ A^c\cap B^c=\{7,8\} $$
دو روش نتیجه یکسانی میدهند و رابطه دمورگان در این مثال تأیید میشود.
مثال چهارم: متمم متمم
فرض کنید:
$$ U=\{1,2,3,4,5,6\} $$ $$ A=\{1,3,5\} $$
ابتدا متمم \(A\) را به دست میآوریم:
$$ A^c=\{2,4,6\} $$
حال متمم \(A^c\) برابر است با:
$$ (A^c)^c=\{1,3,5\}=A $$
کاربردهای متمم مجموعه
متمم مجموعه فقط یک عملیات نمادین در نظریه مجموعهها نیست و در بسیاری از مباحث ریاضی بهکار میرود.
منطق ریاضی
متمم مجموعه ارتباط نزدیکی با مفهوم نقیض در منطق دارد. اگر عضویت \(x\) در \(A\) را یک گزاره در نظر بگیریم، عضویت \(x\) در \(A^c\) بیانگر نقیض آن گزاره است:
$$ x\in A^c\iff x\notin A $$
به همین دلیل قوانین دمورگان در نظریه مجموعهها و منطق، ساختار مشابهی دارند.
احتمال
در نظریه احتمال، اگر \(A\) یک رویداد باشد، متمم آن رویدادی است که در آن \(A\) رخ نمیدهد. در این حالت، رابطه مهم زیر برقرار است:
$$ P(A^c)=1-P(A) $$
این رابطه زمانی معنا دارد که \(A\) یک رویداد در یک فضای نمونه مشخص باشد.
ریاضیات گسسته
متمم در سادهسازی عبارات مجموعهای، اثبات روابط مجموعهها، نمودارهای ون و ارتباط میان مجموعهها و گزارههای منطقی کاربرد فراوان دارد.
علوم کامپیوتر
عملیات مجموعهای مانند اجتماع، اشتراک و متمم در منطق بولی، پایگاه دادهها و برخی روشهای پردازش مجموعهای نیز ظاهر میشوند. برای مثال، متمم یک مجموعه از عناصر میتواند مفهوم «تمام اعضای دامنه که شرط موردنظر را ندارند» را بیان کند.
اشتباهات رایج
۱. نادیده گرفتن مجموعه مرجع
یکی از مهمترین خطاها این است که تصور کنیم متمم \(A\) بدون مشخصبودن مجموعه مرجع همیشه یک مجموعه یکتا است.
برای مثال، اگر:
$$ A=\{1,2,3\} $$
و یک بار مجموعه مرجع را اعداد طبیعی کوچکتر از \(10\) و بار دیگر اعداد صحیح در نظر بگیریم، متممها یکسان نخواهند بود.
۲. اشتباه گرفتن متمم با تفاضل
عبارت \(A^c\) با \(A\setminus B\) یکسان نیست. متمم \(A\) نسبت به مجموعه مرجع \(U\) تعریف میشود:
$$ A^c=U\setminus A $$
اما \(A\setminus B\) شامل اعضای \(A\) است که در \(B\) نیستند.
۳. جابهجا کردن نادرست اجتماع و اشتراک
یکی از خطاهای رایج در قوانین دمورگان این است که متمم را فقط روی اعضای داخل پرانتز اعمال کنیم و عملگر را تغییر ندهیم.
قانون صحیح چنین است:
$$ (A\cup B)^c=A^c\cap B^c $$
و:
$$ (A\cap B)^c=A^c\cup B^c $$
۴. تصور اینکه متمم یعنی «عناصر غیرممکن»
متمم یک مجموعه شامل عناصری خارج از مجموعه مرجع نیست. فقط عناصری را شامل میشود که در مجموعه مرجع قرار دارند اما عضو مجموعه موردنظر نیستند.
نکات مهم
- متمم یک مجموعه همیشه نسبت به یک مجموعه مرجع تعریف میشود.
- اگر \(A\subseteq U\) باشد، آنگاه \(A^c\subseteq U\) نیز برقرار است.
- مجموعه و متمم آن اشتراک تهی دارند.
- اجتماع یک مجموعه و متمم آن برابر با مجموعه مرجع است.
- متمم متمم یک مجموعه، خود آن مجموعه است.
- در قوانین دمورگان، با گرفتن متمم، اجتماع و اشتراک جای یکدیگر را میگیرند.
- برای حل مسائل متمم، ابتدا مجموعه مرجع را مشخص کنید.
- نماد \(A^c\) بدون دانستن مجموعه مرجع ممکن است مبهم باشد.
جمعبندی
متمم مجموعه \(A\) نسبت به مجموعه مرجع \(U\)، مجموعه تمام عناصری است که در \(U\) قرار دارند اما عضو \(A\) نیستند:
$$ A^c=\{x\in U\mid x\notin A\} $$
از این تعریف، چند رابطه بنیادی به دست میآید:
$$ A\cup A^c=U $$ $$ A\cap A^c=\varnothing $$ $$ (A^c)^c=A $$
همچنین قوانین دمورگان ارتباط متمم با اجتماع و اشتراک را مشخص میکنند:
$$ (A\cup B)^c=A^c\cap B^c $$ $$ (A\cap B)^c=A^c\cup B^c $$
مهمترین نکته برای حل مسائل این است که قبل از محاسبه متمم، مجموعه مرجع را دقیق مشخص کنیم. پس از مشخصشدن \(U\)، کافی است عناصری از \(U\) را که عضو \(A\) نیستند انتخاب کنیم.
موضوعات مرتبط
برای مطالعه کاملتر عملیات و مفاهیم مرتبط با مجموعهها، میتوانید مطالب زیر را نیز دنبال کنید:
منابع
منابع وب
- OpenStax، Contemporary Mathematics – Understanding Venn Diagrams. این منبع تعریف مجموعه مرجع، متمم مجموعه و نمایش آن با نمودار ون را ارائه میکند.
مشاهده منبع در OpenStax
- OpenStax، Contemporary Mathematics – Set Operations with Three Sets. این منبع قوانین دمورگان و رابطه متمم با اجتماع و اشتراک را بررسی میکند.
مشاهده منبع در OpenStax
- Mathematics LibreTexts، Union, Intersection, and Complement. این منبع تعریف مجموعه مرجع و متمم نسبت به مجموعه مرجع را با مثالهای آموزشی توضیح میدهد.
مشاهده منبع در Mathematics LibreTexts
- Mathematics LibreTexts، Complement, Union, and Intersection. این منبع تعریف رسمی متمم، مجموعه مرجع و تفاضل نسبی مجموعهها را ارائه میکند.
مشاهده منبع در Mathematics LibreTexts
- Hobart and William Smith Colleges، Foundations of Computation. این متن دانشگاهی، قوانین دمورگان را از طریق ارتباط میان عضویت مجموعهها و منطق گزارهای توضیح میدهد.
مشاهده منبع دانشگاهی
منابع کتابی فارسی
- امیرهوشنگ یمینی، مبانی ریاضیات، انتشارات دانشگاه صنعتی امیرکبیر. این کتاب مباحثی مانند منطق مقدماتی، مفهوم مجموعهها، روابط و توابع و مجموعههای شمارا و ناشمارا را پوشش میدهد.
مشاهده مشخصات کتاب
- رالف پ. گریمالدی، ریاضیات گسسته و ترکیبیاتی، ترجمه بیژن شمس و محمدعلی رضوانی، انتشارات فاطمی. این کتاب در بخش مبانی ریاضیات گسسته، فصل مستقلی را به نظریه مجموعهها اختصاص میدهد.
مشاهده مشخصات کتاب
- کنت روزن، ریاضیات گسسته و کاربردهای آن، ترجمه مسعود مظلوم، جواد خداوردی و علیرضا پاسلار، انتشارات دانشگاه شهید چمران اهواز. این ترجمه فارسی از منابع دانشگاهی شناختهشده در آموزش ریاضیات گسسته است.
مشاهده مشخصات کتاب