المحتوى هنا ينقصه الاستشهاد بمصادر، أي معلومات غير موثقة يمكن التشكيك بها وإزالتها.

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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
Question book-new.svg
المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (مارس 2016)

مبرهنة كانتور هي مبرهنة رياضية في مجال نظرية المجموعات تنسب للرياضياتي جورج كانتور.

بين كانتور أن كل مجموعة E, رئيسي ل E دائما أصغر قطعا من رئيسي مجموعة أجزاءE.

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