שינויים
יצירת דף עם התוכן "'''קבוצה סופית''' היא [[קבוצה]] שיש בה מספר סופי של אברים. למרות שאינטואיטיבית ברור במה מדובר, ..."
'''קבוצה סופית''' היא [[קבוצה]] שיש בה מספר סופי של אברים.
למרות שאינטואיטיבית ברור במה מדובר, מושג הסופיות אינו פשוט כפי שנראה ממבט ראשון. ריכארד דדקינד הגדיר זאת באופן הבא:
* קבוצה A היא סופית אם היא אינה שוות-עוצמה לאף תת-קבוצה שלה.
(תרגיל: הראה שהגדרה זו שקולה להגדרה הבאה:
* כל פונקציה חד-חד-ערכית מ-A לעצמה, היא על.)
ראו ב[http://he.wikipedia.org/wiki/%D7%A7%D7%91%D7%95%D7%A6%D7%94_%D7%A1%D7%95%D7%A4%D7%99%D7%AA ויקיפדיה] לפרטים נוספים.
[[קטגוריה:תורת הקבוצות]]
למרות שאינטואיטיבית ברור במה מדובר, מושג הסופיות אינו פשוט כפי שנראה ממבט ראשון. ריכארד דדקינד הגדיר זאת באופן הבא:
* קבוצה A היא סופית אם היא אינה שוות-עוצמה לאף תת-קבוצה שלה.
(תרגיל: הראה שהגדרה זו שקולה להגדרה הבאה:
* כל פונקציה חד-חד-ערכית מ-A לעצמה, היא על.)
ראו ב[http://he.wikipedia.org/wiki/%D7%A7%D7%91%D7%95%D7%A6%D7%94_%D7%A1%D7%95%D7%A4%D7%99%D7%AA ויקיפדיה] לפרטים נוספים.
[[קטגוריה:תורת הקבוצות]]
