 |
עבר זמן רב מאז שלמדתי את החומר הזה אבל אני אנסה לאמץ את זיכרוני.
עוצמה היא חסרת משמעות ללא קבוצה שהיא משויכת אליה. פעולות החיבור חיסור כפל או החילוק אינן מבוצעות על העוצמות של הקבוצות אלא על הקבוצות עצמן.
באריתמטיקה לסימן החיבור יש משמעות של ניקח את ה"ערך" X ונוסיף לו את ה"ערך" Y. בעוצמות המשמעות היא אחרת. אם X הוא עוצמת קבוצה א ו Y הוא עוצמת קבוצה ב אז X+Y היא עוצמת הקבוצה המתקבלת מאיחוד א וב.
סימן שוויון בין עוצמות פירושו שישנה פונקציה חד חד ערכית בין אברי שתי הקבוצות שאנו "משווים".
המשמעות של הפעולות מאוד דומה כשמדובר בקבוצות סופיות עד כדי כך שבכיתות הנמוכות מלמדים אריתמטיקה באמצעות דוגמאות פשוטות מתורת הקבוצות ("אמא שמה בתיק 3 תפוחים ו 2 תפוזים, כמה פירות יש בתיק? "= מהי עוצמת הקבוצה המתקבלת מאיחוד קבוצה המכילה 3 תפוחים עם קבוצה שאיבריה הם 2 תפוזים).
אבל כשמגיעים לקבוצות אינסופיות הניסוחים המורכבים מקבלים משמעות אמיתית שמבדילה בין תורת הקבוצות לאריתמטיקה. למשל עוצמה אינה יכולה להיות מספר האיברים בקבוצה כשמדובר בקבוצה אינסופית משום שאין בנמצא מספר כזה.
עבור קבוצות אינסופיות הוגדרו טיפוסים שונים של אינסוף, א0 פירושו שישנה התאמה בין הקבוצה לקבוצת המספרים הטבעיים (או מה שניקרא אינסוף בר מניה), א1 פירושו שישנה התאמה בין הקבוצה לקבוצת המספרים הממשיים (אינסוף שאינו בר מניה). אני לא יודע מה ההמשך אבל זה משהו בסגנון הזה (העלאה בחזקת אינסוף כדי להוסיף אינדקס לסימן א).
איחוד קבוצות שעוצמתן א0 ייתן קבוצה שעוצמתה א0 אך המשמעות היא לא חיבור שני מספרים שערכם אינסוף אלא הערכת העוצמה של קבוצה שנוצרת כתוצאה מאיחוד שתי קבוצות אינסופיות ברות מניה ע"י והוכחת קיום פונקציה חד חד ערכית ועל בין האיחוד של שתי הקבוצות ההן לקבוצת המספרים הטבעיים.
זה לא מפחיד, זה אפילו יפה. אבל כשעושים קורס שאחוז המעבר שלו עומד על 30%, אין בו מועדי ב' וסיומו בציון סביר הוא תנאי הכרחי למעבר לשנה ב במדעי המחשב קצת קשה לראות את היופי שבו (זה לחלוטין לא קשור לעניין שלנו).
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש