חשבון אינפיניטסימלי/מושגים בסיסיים בתורת הקבוצות/בר מניה ולא בר מניה: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
שורה 6:
בלשון פורמלית יותר של תורת הקבוצות, קבוצה היא בת מניה אם קיימת פונקציה חד חד ערכית ועל מקבוצת המספרים הטבעיים אליה.
הדרך הנוחה ביותר להדגים התאמה בין קבוצה למספרים הטבעיים היא על ידי סידור אברי הקבוצה בסדרה. במקרה הזה האיבר הראשון בסדרה מותאם למספר 1, השני למספר 2 וכן הלאה.
ניתן לחשוב על קבוצה בת מניה באופן הבא: אם ניקח איבר בקבוצה, אז קיים בקבוצה איבר מסויים שהוא האיבר הבא אחריו, וקיים בקבוצה איבר מסויים שהוא האיבר הקודם לו. אם לא קיים אחד מאלה, הרי שאפשר להגיד על איבר מסויים זה שהוא ה"אחרון" בקבוצה או ה"ראשון" בה.
==דוגמאות==
| |||