קבוצה סופית

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

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

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

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

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

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

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