תבנית:ערכים מומלצים/015

מתוך המכלול
קפיצה אל: ניווט, חיפוש


►► ערכים מומלצים / משפט קנטור
רענון העמוד הראשי
◄◄
גאורג קנטור

משפט קנטור הוא משפט מתמטי יסודי בתורת הקבוצות. באופן פורמלי, המשפט קובע שהעוצמה של כל קבוצה קטנה מהעוצמה של קבוצת התת-קבוצות שלה. משמעות המשפט היא שלכל קבוצה, אפילו אינסופית, יש קבוצה גדולה ממנה (במובן מדויק שיוגדר בהמשך). מסקנה מיידית היא שיש אינסוף גדלים אינסופיים השונים זה מזה, ואין אינסוף גדול ביותר.

את המשפט הגה והוכיח אבי תורת הקבוצות, גאורג קנטור, בשנת 1891. שיטת הלכסון אותה המציא כדי להוכיח את המשפט ותוצאות דומות, מנצלת את הסתירות שביסוד פרדוקס הסַפָּר ופרדוקס השקרן, ומשמשת בתחומים רבים החורגים מתורת הקבוצות.

לערך המלא - מומלצים נוספים


עריכת התקציר