نمایش مبدأ برای متمم (نظریه مجموعه‌ها)

{{multiple image
| align = left
| image1 = Venn01.svg
| width1 = ۲۵۰
| alt1 = دایره‌ای که درونش قرمز رنگ است و درون مربعی قرار دارد. ناحیه بیرون دایره پر نشده. مرزهای هردوی دایره و مربع ساه رنگ اند.
| caption1 = اگر <math>A</math> ناحیه قرمز رنگ درون این تصویر باشد…
| image2 = Venn10.svg
| width2 = ۲۵۰
| alt2 = دایره پر نشده‌ای درون یک مربع. ناحیه داخل مربع که توسط دایره پوشش داده نشده، به رنگ قرمز است. مرزهای دایره و مربع به رنگ سیاه اند.
| caption2 = … آنگاه هرچیز دیگر جزو متمم <math>A</math> خواهده بود
}}
'''متمم مجموعه'''

متمم مجموعه (به انگلیسی: Complement of a set) در نظریه مجموعه‌ها به معنای مجموعه‌ای از عناصری است که در یک مجموعه معین حضور ندارند، اما در مجموعه کلی (که به آن مجموعه مرجع یا کل گفته می‌شود) موجودند. متمم مجموعه معمولاً به صورت <math>A^\complement</math> یا (or {{math|''A''′}}),<ref>{{Cite web|title=Complement and Set Difference|url=http://web.mnstate.edu/peil/MDEV102/U1/S6/Complement3.htm|access-date=2020-09-04|website=web.mnstate.edu}}</ref> نشان داده می‌شود.<ref name=":1">{{Cite web|title=Complement (set) Definition (Illustrated Mathematics Dictionary)|url=https://www.mathsisfun.com/definitions/complement-set-.html|access-date=2020-09-04|website=www.mathsisfun.com}}</ref>

'''متمم مطلق'''

زمانی که تمام مجموعه‌های مورد نظر به صورت زیرمجموعه‌هایی از مجموعه دلخواهی چون ( U ) در نظر گرفته شوند، متمم مطلق ( A ) برابر است با مجموعه تمام عناصری که درون ( U ) قرار دارند ولی در ( A ) نیستند. این مفهوم به این معناست که اگر ( U ) مجموعه مرجع و ( A ) زیرمجموعه‌ای از آن باشد، متمم ( A ) شامل تمام عناصری است که در ( U ) موجودند اما در ( A ) نیستند. متمم مطلق به این صورت نمایش داده می‌شود: [ A^{c} = U \setminus A ] این رابطه نشان می‌دهد که ( A^{c} ) مجموعه عناصری از ( U ) است که در ( A ) وجود ندارند.

'''متمم نسبی'''

متمم نسبی یا تفاضل مجموعه‌ای نیز مفهومی مرتبط با متمم است. اگر ( A ) و ( B ) دو مجموعه باشند، متمم نسبی ( A ) نسبت به ( B ) (یا تفاضل مجموعه ( A ) از ( B )) مجموعه‌ای است که شامل تمام عناصری از ( B ) است که در ( A ) قرار ندارند. این به صورت ( B \setminus A ) نشان داده می‌شود، و به معنای اعضایی از ( B ) است که در ( A ) حضور ندارند.

'''مثال‌ها'''

برای درک بهتر این مفاهیم، به مثال‌های زیر توجه کنید:اگر مجموعه مرجع ( U ) مجموعه [[عدد حقیقی|اعداد حقیقی]] و مجموعه ( A ) مجموعه اعداد طبیعی باشد، متمم مطلق ( A ) تمام اعداد حقیقی را شامل می‌شود که طبیعی نیستند، مانند [[عدد گنگ|اعداد گنگ]] یا اعداد گویا غیرطبیعی. به زبان ریاضی، متمم مطلق به صورت ( \mathbb{R} \setminus \mathbb{N} ) نوشته می‌شود.فرض کنید در یک محیط مشخص، ( A ) مجموعه‌ای است که با دایره‌ای قرمز رنگ در یک شکل نشان داده شده است. در این صورت، متمم ( A ) مجموعه‌ای از تمامی نقاط خارج از دایره قرمز رنگ (فضای سفید رنگ) خواهد بود. در این مثال، اگر ( B ) مجموعه فضای سفید باشد، آنگاه ( B ) متمم ( A ) است'''.'''

'''کاربردهای متمم مجموعه'''

مفهوم متمم مجموعه در بسیاری از شاخه‌های ریاضی و علوم کامپیوتر کاربرد دارد. به‌ویژه در مباحث احتمال، [[جبر مجموعه‌ها]] و همچنین در تحلیل الگوریتم‌ها، استفاده از متمم مجموعه‌ها به‌صورت گسترده‌ای دیده می‌شود. به عنوان مثال، در محاسبه احتمال وقوع یک رویداد، احتمال متمم آن رویداد به صورت ( P(A^{c}) = 1 - P(A) ) تعریف می‌شود که این اصل در بسیاری از مسائل احتمال‌محور کاربرد دارد.

== ارجاعات ==
{{پانویس|چپ‌چین=بله}}
* {{یادکرد-ویکی|پیوند=https://en.wikipedia.org/w/index.php?title=Complement_(set_theory)&oldid=1016894206|عنوان=Complement (Set Theory)|زبان=انگلیسی|بازیابی=۲۹ مهٔ ۲۰۲۱}}

== منابع ==
{{چپ‌چین}}
* {{cite book
 | last = Bourbaki
 | first = N.
 | author-link = Nicolas Bourbaki
 | title = Théorie des ensembles
 | publisher = Hermann
 | place = Paris
 | year = 1970
 | isbn = 978-3-540-34034-8
 | language = fr
}}
* {{cite book
 | last = Devlin
 | first = Keith J.
 | author-link = Keith Devlin
 | title = Fundamentals of contemporary set theory
 | url = https://archive.org/details/fundamentalsofco0000devl
 | series = Universitext
 | publisher = [[Springer-Verlag|Springer]]
 | year = 1979
 | isbn = 0-387-90441-7
 | zbl = 0407.04003
}}
* {{cite book
 | last = Halmos
 | first = Paul R.
 | author-link = Paul Halmos
 | title = Naive set theory
 | url = https://archive.org/details/naivesettheory0000halm
 | url-access = registration
 | series = The University Series in Undergraduate Mathematics
 | publisher = van Nostrand Company
 | year = 1960
 | zbl = 0087.04403
}}
{{پایان چپ‌چین}}

== پیوند به بیرون ==
{{چپ‌چین}}
* {{MathWorld|title=Complement |id=Complement}}
* {{MathWorld|title=Complement Set |id=ComplementSet}}
{{پایان چپ‌چین}}
{{نظریه مجموعه‌ها}}
{{نظریه مجموعه‌ها-خرد}}
[[رده:عملیات روی مجموعه‌ها]]