קבוצה סופית
מתוך Math-Wiki
גרסה מ־23:42, 22 בפברואר 2012 מאת עוזי ו. (שיחה | תרומות) (יצירת דף עם התוכן "'''קבוצה סופית''' היא קבוצה שיש בה מספר סופי של אברים. למרות שאינטואיטיבית ברור במה מדובר, ...")
קבוצה סופית היא קבוצה שיש בה מספר סופי של אברים.
למרות שאינטואיטיבית ברור במה מדובר, מושג הסופיות אינו פשוט כפי שנראה ממבט ראשון. ריכארד דדקינד הגדיר זאת באופן הבא:
- קבוצה A היא סופית אם היא אינה שוות-עוצמה לאף תת-קבוצה שלה.
(תרגיל: הראה שהגדרה זו שקולה להגדרה הבאה:
- כל פונקציה חד-חד-ערכית מ-A לעצמה, היא על.)
ראו בויקיפדיה לפרטים נוספים.