نگاهی به ریاضیات پیشرفته/نظریه مجموعه‌ها

ویکی‎کتاب، کتابخانهٔ آزاد
پرش به ناوبری پرش به جستجو

نظریه مجموعه‌ها شاخه‌ای از منطق ریاضی است که به مطالعه مجموعه‌ها می‌پردازد. مجموعه‌ها، گردایه‌ای از اشیاء هستند. هر چند هر نوعی از اشیاء می‌توانند یک مجموعه را تشکیل دهند، اما نظریه مجموعه‌ها اغلب در مورد اشیاء مرتبط با ریاضی به کار می‌رود. زبان نظریه مجموعه‌ها را می‌توان در تعریف تقریباً همه‌ی اشیاء ریاضی به کار برد.

مطالعه جدید بر روی نظریه مجموعه‌ها توسط گئورگ کانتور و ریچارد ددکیند در دهه ۷۰ قرن ۱۸ میلادی آغاز شد. پس از کشف تناقض‌های نظریه طبیعی مجموعه‌ها، دستگاه‌های اصل موضوعی بی‌شماری در اوایل سده ۲۰ مطرح شدند که معروف‌ترین آن‌ها اصل موضوعه زرملو-فرانکل و اصل موضوعه انتخاب هستند. نظریه مجموعه‌ها عموماً به عنوان سیستم بنیادین ریاضیات در شکل نظریه مجموعه‌های زرملو-فرانکل همراه با اصل موضوعه انتخاب به کار می‌رود. گذشته از نقش بنیادین آن، نظریه مجموعه‌ها در جایگاه خود یکی از شاخه‌های ریاضی با جامعه پژوهش فعالی محسوب می‌شود. پژوهش‌های معاصر در نظریه مجموعه‌ها موضوع‌های متنوعی را شامل می‌شود که از ساختار خط اعداد حقیقی تا مطالعه سازگاری اعداد بزرگ متغیر است.

اجتماع[ویرایش]

اجتماع در ریاضی به معنای این است که دو زیر مجموعه را تمامی عضوهاو عناصر آن دو زیرمجموعه (مثلAوB)را نشان می‌دهد. اجتماع با نمادنشان داده می شود.

اصول اجتماع[ویرایش]

مجموعه های A و S داریم. اگر S مجموعه ای از مجموعه های نظری (S یک رده در مجموعه ها باشد) مجموعه ای به اسم مجموعه C بدست می آید که مجموعه و عناصر و اعضای Sزیر مجموعه آن باشد. اگرباشد پس مجموعه A اینگونه است. اجتماع همه اعضای S که آن را با یا نشان می‌دهیم به‌صورت زیر تعریف می می‌شود:

اجتماع دو مجموعه:

خواص اجتماع[ویرایش]

اجتماع دارای اصولی است

مجموعهبامجموعهبرابر است

اگر دومجموعه همسان اجتماع پیدا کنند برابر با خود آنها می شود.

اگر مجموعه تهی و یک مجموعهAاجتماع پیدا کنند برابر با مجموعهAاست

اگر مجموعهA,B,Cداشته باشیم،اشتراک اجتماع آنها را بدست آوریم به این حالت می نویسیم

یا

اشتراک[ویرایش]

اشتراک در ریاضی به معنای این است که زیر مجموعه ای مشترک دو مجموعه باشد. اجتماع را با نماد نشان می‌دهند.

اشتراک دو مجموعه:

اصول اشتراک[ویرایش]

اگر S مجموعه‌ای ناتهی از مجموعه‌ها باشد و عضو دلخواهی از S، اشتراک همه اعضای S که آن‌را با یا نشان می‌دهیم به‌صورت زیر تعریف می‌شود:

منابع[ویرایش]

  1. ویکی پدیای فارسی
  2. ویکی پدیای انگلیسی