תורת הקבוצות/עוצמות: הבדלים בין גרסאות בדף

'''עוצמה''' היא מדד לגודל הקבוצה, גם אם הקבוצה אינסופית. אם הקבוצה סופית, אז עוצמה שלה היא מספר האיברים בה. כך למשל, העוצמה של הקבוצה <math>\{0,1,2\}</math> היא 3, ונסמן <math>|\{0,1,2\}|=3</math>. נאמר שלשתי קבוצות יש את אותה עוצמה, אם הן שקולות, כלומר יש פונקציה חד חד ערכית ועל ביניהן. כך למשל, הפונקציה <math>S:\N\to\N\setminus\{0\}</math> המוגדרת על פי <math>S(n)=n+1</math>, היא חד חד ערכית ועל, לכן נאמר כי <math>|\N|=|\N\setminus\{0\}|</math>. קבוצה תיקרא '''אינסופית''' אם יש לה תת קבוצה ממש בעלת אותה עוצמה. הפונקציה שהבאנו קודם מראה כי קבוצת המספרים הטבעיים אינסופית.