אקסיומת קבוצת החזקה
בתורת הקבוצות האקסיומטית, אקסיומת קבוצת החזקה (אנ') היא אקסיומה במערכת האקסיומות של צרמלו-פרנקל (ZF) שמבטיחה את קיום קבוצת החזקה של כל קבוצה.
באופן פורמלי:
כלומר, לכל קבוצה A, קיימת קבוצה P (קבוצת החזקה) כך שלכל קבוצה z מתקיים: z שייכת ל-P אם ורק אם כל איבר ב-z הוא גם איבר ב-A.
דוגמאות לשימוש
[עריכת קוד מקור | עריכה]אקסיומת קבוצת החזקה הכרחית לבניית המספרים הממשיים, בכל בנייה שנבחר עבורם. למשל, המודל שמורכב מכל הקבוצות שהן בנות מנייה תורשתית, מקיים את כל האקסיומות של ZFC למעט אקסיומת קבוצת החזקה. לפי משפט קנטור מודל זה לא יכול להכיל שום ייצוג של המספרים הממשיים.
באופן מפתיע, גם במודל בו הממשיים מוגדרים, התכונות שלהם מושפעות מהיכולת להפעיל את אקסיומת קבוצת החזקה אינסוף פעמים.
דוגמה נוספת לשימוש באקסיומת קבוצת החזקה היא בניית המכפלה הקרטזית של זוג קבוצות: עבור זוג קבוצות X,Y, אם נשתמש בהגדרה הסטנדרטית של זוג סדור: נקבל ש-.
במקרה הזה השימוש באקסיומת קבוצת החזקה אינו הכרחי וניתן להמיר אותו בשימוש באקסיומת ההחלפה ובאקסיומת האיחוד: ניתן על ידי אקסיומת ההחלפה להראות כי הקבוצה קיימת לכל . שימוש נוסף באקסיומת ההחלפה יאפשר לאגד את כל הקבוצות האלו בקבוצה אחת, עליה נפעיל את אקסיומת האיחוד.
קישורים חיצוניים
[עריכת קוד מקור | עריכה]- אקסיומת קבוצת החזקה, באתר MathWorld (באנגלית)
נושאים בתורת הקבוצות | ||
---|---|---|
מושגי יסוד | תורת הקבוצות הנאיבית • תורת הקבוצות האקסיומטית • קבוצה • יחידון • הקבוצה הריקה • קבוצת החזקה | |
פעולות | איחוד • חיתוך • משלים • הפרש סימטרי • מכפלה קרטזית | |
יחסים | יחס • יחס רפלקסיבי • יחס סימטרי • יחס אנטי-סימטרי • יחס טרנזיטיבי • יחס שקילות • יחס הופכי | |
פונקציות | פונקציה • פונקציה חד-חד-ערכית • פונקציה על • פונקציה חד-חד-ערכית ועל • פונקציית הזיווג של קנטור | |
משפטים | האלכסון של קנטור • משפט קנטור-שרדר-ברנשטיין • הלמה של צורן • משפט הסדר הטוב | |
סדר | סדר חלקי • סדר מלא • סדר טוב • טיפוס סדר • מספר סודר | |
עוצמות | עוצמה • קבוצה בת מנייה • קבוצה שאינה בת מנייה • עוצמת הרצף | |
אקסיומות | אקסיומת ההיקפיות • אקסיומת האיחוד • אקסיומת הקבוצה האינסופית • אקסיומת ההחלפה • אקסיומת קבוצת החזקה • אקסיומת היסוד • אקסיומת הבחירה | |
שונות | הפרדוקס של ראסל • השערת הרצף |