הבדלים בין גרסאות בדף "קבוצה סופית"

גרסה אחרונה מ־23:42, 22 בפברואר 2012

קבוצה סופית היא קבוצה שיש בה מספר סופי של אברים.

למרות שאינטואיטיבית ברור במה מדובר, מושג הסופיות אינו פשוט כפי שנראה ממבט ראשון. ריכארד דדקינד הגדיר זאת באופן הבא:

• קבוצה A היא סופית אם היא אינה שוות-עוצמה לאף תת-קבוצה שלה.

(תרגיל: הראה שהגדרה זו שקולה להגדרה הבאה:

• כל פונקציה חד-חד-ערכית מ-A לעצמה, היא על.)

ראו בויקיפדיה לפרטים נוספים.