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