קבוצה בת מנייה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
ויקיזציה; התווספה בקשת הבהרה הדורשת טיפול בכדי לבסס את הערך.
תגית: אות סופית באמצע מילה
שורה 2:
ב[[תורת הקבוצות]], '''קבוצה בַּת מְנִיָּה''' היא קבוצה ש[[עוצמה (מתמטיקה)|עוצמתה]] שווה לעוצמה של [[תת-קבוצה]] כלשהי של [[קבוצת המספרים הטבעיים]], כלומר ניתן למספר את [[איבר (מתמטיקה)|איבריה]] כך שלכל איבר יותאם מספר טבעי ייחודי לו{{הבהרה|האם 1תואםל1 ו2תואםל2 זו דוגמה? אם כן אז למה לא פשוט למנות 1,2 עם פסיקים כמקובל בדוגמאות לגורמים מקבוצות שונות?}}.
 
כדיכל להוכיחקבוצה שקבוצהשמספר איבריה סופי היא בת מניה. קבוצה שמספר איבריה אינו סופי היא בת מנייה, ישאם ניתן להדגיםלמצוא [[פונקציה חד-חד-ערכית]] ממנה אל קבוצת ה[[מספר טבעי|מספרים הטבעיים]].
 
כל קבוצה אינסופית שהיא קבוצה חלקית של הטבעיים, כגון קבוצת המספרים הזוגיים או קבוצת המספרים שבייצוג העשרוני שלהם מופיעה הספרה 7, היא קבוצה בת מנייה. תוצאות פחות מובנות מאליהן הן התוצאות לפיהן גם קבוצת ה[[מספר רציונלי|מספרים הרציונליים]] וקבוצת ה[[מספר אלגברי|מספרים האלגבריים]] הן קבוצות בנות מנייה.