پرش به محتوا

مجموعه توانی: تفاوت میان نسخه‌ها

به نسخهٔ 32217624 از Rezabot (بحث) برگردانده شد: ویرایش غیرسازنده، نوشتار نامفهوم (توینکل)
(به نسخهٔ 32217624 از Rezabot (بحث) برگردانده شد: ویرایش غیرسازنده، نوشتار نامفهوم (توینکل))
برچسب: خنثی‌سازی
 
در [[ریاضیات]]، '''مجموعه توانی''' هر مجموعهٔ S، که به صورت <math>\mathcal{P}(S)</math>، ''P''(''S'')، [[:en:Weierstrass p|℘]](''S'')، [[:en:Power set#Representing subsets as functions|2<sup>''S''</sup>]] نوشته می‌شود، مجموعه‌ای از همهٔ [[زیرمجموعه|مجموعه]]‌های S است که شامل مجموعهٔ تیتهی و خود مجموعهٔ S نیز می‌شود. در [[نظریه اصل موضوعی مجموعه‌ها|نظریهٔ اصل موضوعی مجموعه‌ها]] (آنچنان که برای مثال در اصل مووعموضوع ZFC توسعه پیدا کرده) وجود مجوعهٔمجموعهٔ توانی هر مجموعه توسط [[اصل موضوع مجموعه توانی]] بدیهی شمرده شده‌است.
 
هر زیرمجموعه‌ای از <math>\mathcal{P}(S)</math> [[خانواده مجموعه‌ها|خانواده‌ای از مجموعه‌ها]] بر s نامیده می‌شود.
 
== مثال ==
 
 
 
اگر ''S'' مجموعهٔ {''x''، ''y''، ''z''} باشد، آنگاه زیرمجموعه‌های ''S'' این‌ها هستند:
* {} (مجموعه تهی)
*//////////////////////////////////////
*البغیقیبعغدرزصثبلمترزطسثقفاهکرز
*
*
*نفیب
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
* {''x''}
* {''y''}
۴۴٬۰۹۹

ویرایش