مبرهنة كانتور

مبرهنة كانتور هي مبرهنة رياضية في مجال نظرية المجموعات تنسب للرياضياتي جورج كانتور.^[1]^[2]^[3]

بين كانتور أن كل مجموعة E, رئيسي ل E دائما أصغر قطعا من رئيسي ${\mathfrak {P}}(E)$ مجموعة أجزاءE.

عندما تكون E مجموعة منتهية, النتيجة منطقية لأن رئيسي E هو عدد العناصر في E و, إذا كان E يضم n عنصرا, نبين أن مجموعة أجزاء E يضم $2^{n}$ عنصرا. أي أنه يحقق ، لكل عدد طبيعي n, $n<2^{n}$ .

مراجع[عدل]

^ Heinz-Dieter Ebbinghaus (2007). Ernst Zermelo: An Approach to His Life and Work. Springer Science & Business Media. صفحات 86–87. ISBN 978-3-540-49553-6.
^ Lawrence Paulson (1992). Set Theory as a Computational Logic (PDF). University of Cambridge Computer Laboratory. صفحة 14.
^ Abhijit Dasgupta (2013). Set Theory: With an Introduction to Real Point Sets. Springer Science & Business Media. صفحات 362–363. ISBN 978-1-4614-8854-5.

بوابة رياضيات

هذه بذرة مقالة عن الرياضيات بحاجة للتوسيع. شارك في تحريرها.

[1] Heinz-Dieter Ebbinghaus (2007). Ernst Zermelo: An Approach to His Life and Work. Springer Science & Business Media. صفحات 86–87. ISBN 978-3-540-49553-6.

[2] Lawrence Paulson (1992). Set Theory as a Computational Logic (PDF). University of Cambridge Computer Laboratory. صفحة 14.

[3] Abhijit Dasgupta (2013). Set Theory: With an Introduction to Real Point Sets. Springer Science & Business Media. صفحات 362–363. ISBN 978-1-4614-8854-5.

[1]

[2]

[3]

مبرهنة كانتور

مراجع[عدل]

قائمة التصفح

أدوات شخصية

نطاقات

المتغيرات

معاينة

المزيد

بحث

الموسوعة

تصفح

مشاركة

طباعة/تصدير

أدوات

لغات