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

بدون خلاصۀ ویرایش
بدون خلاصۀ ویرایش
بدون خلاصۀ ویرایش
{{در دست ویرایش ۲|ماه=مارس|روز=۶|سال=۲۰۱۲|چند = 2}}{{Nobots}}
در [[ریاضیات]]، '''مجموعه توانی''' هر مجموعهٔ S، که بصورت <math>\mathcal{P}(S)</math>، ''P''(''S'')، [[:en:Weierstrass p|&weierp;]](''S'')، [[:en:Power set#Representing subsets as functions|2<sup>''S''</sup>]] نوشته می‌شود، مجموعه‌ای از همهٔ [[زیرمجموعه|زیرمجموعه‌های]] S است که شامل مجموعهٔ تهی و خود مجموعهٔ S نیز می‌شود. در [[نظریه اصل موضوعی مجموعه‌ها|نظریهٔ اصل موضوعی مجموعه‌ها]] (آنچنان که برای مثال در اصل موضوع ZFC توسعه پیدا کرده) وجود مجموعهٔ توانی هر مجموعه توسط [[اصل موضوع مجموعه توانی]] بدیهی شمرده شده است.
 
۱۹٬۷۵۱

ویرایش