ברוכים הבאים ליחידה מרתקת באשנב למתמטיקה, העוסקת ב"עוצמות קבוצות". יחידה זו חושפת בפנינו עולם חדש של הבנת גדלים, לא רק עבור קבוצות סופיות אלא גם, ובעיקר, עבור האינסוף. נלמד כיצד להשוות בין קבוצות שונות, לגלות שיש "סוגים" שונים של אינסוף, וכיצד משפט קנטור המהפכני שינה את פני המתמטיקה.
הגדרת עוצמה והשוואת קבוצות
כדי להשוות בין "גדלים" של קבוצות, אנו זקוקים לכלי מדויק יותר מספירה פשוטה, במיוחד כשמדובר בקבוצות אינסופיות. הכלי הזה הוא מושג העוצמה.
הרעיון המרכזי הוא שאם ניתן "לזווג" כל איבר מקבוצה אחת עם איבר יחיד מהקבוצה השנייה, כך שכל האיברים בשתי הקבוצות משתתפים בזיווג, אז הקבוצות "שוות בגודלן".
חשוב לזכור את משפט קנטור-ברנשטיין-שרודר, הקובע שאם |A| ≤ |B| וגם |B| ≤ |A|, אז |A| = |B|. משפט זה מאפשר לנו לקבוע שוויון עוצמות גם ללא מציאת ביג'קציה מפורשת, אלא על ידי מציאת שתי פונקציות חד-חד-ערכיות בכיוונים הפוכים.
קבוצות סופיות ואינסופיות, בנות מנייה ולא בנות מנייה
ההבחנה הבסיסית ביותר היא בין קבוצות סופיות לאינסופיות, אך בתוך האינסופיות קיימת חלוקה חשובה נוספת.
קבוצה סופית
קבוצה שניתן להתאים את איבריה לקבוצה {1, 2, ..., n} עבור מספר טבעי n כלשהו, או לקבוצה הריקה. עוצמתה היא n.
קבוצה אינסופית
קבוצה שאינה סופית. תכונה אופיינית לקבוצה אינסופית היא שניתן להתאים את איבריה באופן חד-חד-ערכי ועל לתת-קבוצה אמיתית שלה.
קבוצה בת מנייה
קבוצה שניתן להתאים את איבריה לקבוצת המספרים הטבעיים (N) או לקבוצה סופית. עוצמתה מסומנת ב-א0 (אלף אפס). דוגמאות: N, Z, Q (המספרים הרציונליים).
קבוצה לא בת מנייה
קבוצה אינסופית שאינה בת מנייה. עוצמתה גדולה ממש מ-א0. דוגמאות: R (המספרים הממשיים), קטע פתוח (0,1).
הוכחת מנייתיות של קבוצות אינסופיות לרוב נעשית על ידי בניית פונקציה חד-חד-ערכית ועל ל-N. לדוגמה, עבור Z, ניתן לבנות פונקציה f(n) = n/2 אם n זוגי, ו-f(n) = -(n-1)/2 אם n אי-זוגי. עבור Q, משתמשים בשיטת האלכסון של קנטור.
משפט קנטור וסולם העוצמות
משפט קנטור הוא אחד המשפטים המהפכניים ביותר בתולדות המתמטיקה, והוא זה שחשף את קיומם של אינסוף סוגים של אינסוף.
למה זה חשוב למבחן: משפט קנטור הוא אבן יסוד בהבנת האינסוף. הוא מוכיח באופן חד-משמעי שאין "האינסוף הגדול ביותר" וכי קיימת היררכיה אינסופית של עוצמות אינסופיות. הבנת ההוכחה (בדרך השלילה, באמצעות בניית איבר שלא נמצא בתמונה של אף פונקציה חד-חד-ערכית) היא קריטית. היכולת ליישם את הרעיון הזה על קבוצות שונות (למשל, N ו-P(N)) היא מיומנות חשובה.
המשמעות של משפט קנטור היא שמתחילה היררכיה אינסופית של עוצמות: |N| = ℵ0 |P(N)| > ℵ0 |P(P(N))| > |P(N)| וכן הלאה.
שאלות לדיון
- הסבירו מדוע קבוצת המספרים הזוגיים שוות עוצמה לקבוצת המספרים הטבעיים, למרות שהיא תת-קבוצה אמיתית שלה.
- תארו בקצרה את הרעיון המרכזי שמאחורי הוכחת אי-מנייתיותה של קבוצת המספרים הממשיים.
- כיצד משפט קנטור משנה את תפיסתנו לגבי מושג ה"אינסוף"?
- האם קיימת קבוצה בעלת העוצמה הגדולה ביותר? נמקו.
נקודות לתשובת מודל
- קבוצת הזוגיים ו-N: קיימת פונקציה חד-חד-ערכית ועל (ביג'קציה) בין הקבוצות. לדוגמה, הפונקציה f(n) = 2n מ-N לקבוצת המספרים הזוגיים החיוביים. עצם קיום הביג'קציה הוא ההגדרה לשוויון עוצמות, גם אם קבוצה אחת מוכלת בשנייה.
- אי-מנייתיות R: הוכחה באמצעות שיטת האלכסון של קנטור. מניחים בשלילה שקיימת מנייה (רשימה) של כל המספרים הממשיים בקטע (0,1). בונים מספר ממשי חדש שאינו נמצא ברשימה על ידי שינוי הספרה ה-n-ית של המספר ה-n-י ברשימה. סתירה זו מוכיחה ש-R אינה בת מנייה.
- משפט קנטור והאינסוף: משפט קנטור מוכיח שיש אינסוף סוגים שונים של אינסוף, וכי לכל עוצמה אינסופית קיימת עוצמה גדולה ממנה. הוא מפריך את התפיסה שהאינסוף הוא מושג אחיד וגדול מכל דבר.
- קבוצה בעלת העוצמה הגדולה ביותר: לא קיימת. משפט קנטור קובע שלכל קבוצה A, עוצמת קבוצת החזקה שלה P(A) גדולה ממש מעוצמת A. לכן, אם נניח שקיימת קבוצה U בעלת העוצמה הגדולה ביותר, אז P(U) תהיה קבוצה בעלת עוצמה גדולה יותר, בסתירה להנחה.