نگاهی به ریاضیات پیشرفته/نظریه مجموعهها
نظریه مجموعهها شاخهای از منطق ریاضی است که به مطالعه مجموعهها میپردازد. مجموعهها، گردایهای از اشیاء هستند. هر چند هر نوعی از اشیاء میتوانند یک مجموعه را تشکیل دهند، اما نظریه مجموعهها اغلب در مورد اشیاء مرتبط با ریاضی به کار میرود. زبان نظریه مجموعهها را میتوان در تعریف تقریباً همهی اشیاء ریاضی به کار برد.
مطالعه جدید بر روی نظریه مجموعهها توسط گئورگ کانتور و ریچارد ددکیند در دهه ۷۰ قرن ۱۸ میلادی آغاز شد. پس از کشف تناقضهای نظریه طبیعی مجموعهها، دستگاههای اصل موضوعی بیشماری در اوایل سده ۲۰ مطرح شدند که معروفترین آنها اصل موضوعه زرملو-فرانکل و اصل موضوعه انتخاب هستند. نظریه مجموعهها عموماً به عنوان سیستم بنیادین ریاضیات در شکل نظریه مجموعههای زرملو-فرانکل همراه با اصل موضوعه انتخاب به کار میرود. گذشته از نقش بنیادین آن، نظریه مجموعهها در جایگاه خود یکی از شاخههای ریاضی با جامعه پژوهش فعالی محسوب میشود. پژوهشهای معاصر در نظریه مجموعهها موضوعهای متنوعی را شامل میشود که از ساختار خط اعداد حقیقی تا مطالعه سازگاری اعداد بزرگ متغیر است.
اجتماع
ویرایشاجتماع در ریاضی به معنای این است که دو زیر مجموعه را تمامی عضوهاو عناصر آن دو زیرمجموعه (مثلAوB)را نشان میدهد. اجتماع با نماد نشان داده می شود.
اصول اجتماع
ویرایشمجموعه های A و S داریم. اگر S مجموعه ای از مجموعه های نظری (S یک رده در مجموعه ها باشد) مجموعه ای به اسم مجموعه C بدست می آید که مجموعه و عناصر و اعضای Sزیر مجموعه آن باشد. اگر باشد پس مجموعه A اینگونه است. اجتماع همه اعضای S که آن را با یا نشان میدهیم بهصورت زیر تعریف می میشود:
خواص اجتماع
ویرایشاجتماع دارای اصولی است
مجموعه بامجموعه برابر است
اگر دومجموعه همسان اجتماع پیدا کنند برابر با خود آنها می شود.
اگر مجموعه تهی و یک مجموعهAاجتماع پیدا کنند برابر با مجموعهAاست
اگر مجموعهA,B,Cداشته باشیم،اشتراک اجتماع آنها را بدست آوریم به این حالت می نویسیم
یا
اشتراک
ویرایشاشتراک در ریاضی به معنای این است که زیر مجموعه ای مشترک دو مجموعه باشد. اجتماع را با نماد نشان میدهند.
اصول اشتراک
ویرایشاگر S مجموعهای ناتهی از مجموعهها باشد و عضو دلخواهی از S، اشتراک همه اعضای S که آنرا با یا نشان میدهیم بهصورت زیر تعریف میشود:
منابع
ویرایش- ویکی پدیای فارسی
- ویکی پدیای انگلیسی