אקסיומת הקבוצה האינסופית

אקסיומת הקבוצה האינסופית (או אקסיומת האינסוף) היא אחת האקסיומות של תורת הקבוצות האקסיומטית. לפי אקסיומה זו, קיימת קבוצה אינסופית, ובפרט, קיימת קבוצה כזו שכוללת את המספרים הטבעיים (על פי הבנייה של פרגה).

ניסוח
קיימות מספר דרכים לנסח את האקסיומה, אולם הפשוטה והמקובלת ביותר ביניהן אשר איננה עושה שימוש בהגדרתם של מספרים סודרים היא זאת:

קיימת קבוצה  כך שמתקיים , ולכל  מתקיים , כאשר הפונקציה מוגדרת כך:  . 

בניסוח המקובל, .

קבוצת המספרים הטבעיים היא אחת מהקבוצות הללו - על פי הבנייה של פרגה קוראים לקבוצה הריקה אפס, ופונקציית העוקב מוגדרת בתור הפונקציה .

עצמאות
אקסיומת האינסוף עצמאית ביחס לשאר אקסיומות ZFC, בהנחה שהיא עקבית.

ניתן לבנות מתוך ZFC מודל שמקיים את כל האקסיומות חוץ מאקסיומת האינסוף - זה יהיה אוסף כל הקבוצות הסופיות תורשתית -  בסימון של יקום פון-נוימן. אוסף זה מורכב מכל הקבוצות הסופיות שכל איבריהן הן קבוצות סופיות תורשתית (הגדרה זו איננה מעגלית, לפי אקסיומת היסוד). קל לראות שמודל זה מקיים את כל האקסיומות של ZFC למעט אקסיומת האינסוף.

אקסיומת האינסוף מבטיחה את קיום המונה האינסופי הראשון 0א (אָלֶף אֶפֶס). כמו שהערנו, אוסף כל הקבוצות שמתחתיו (במובן של הדרגה שלהן ביקום פון-נוימן) הוא מודל ל-ZFC כאשר אנחנו מחליפים את אקסיומת האינסוף בשלילתה. מהבחינה הזו, 0א מתנהג כמו מונה גדול ולכן יש מתמטיקאים שמתייחסים לאקסיומות שעוסקות בקיום מונים גדולים כחיזוקים של אקסיומת האינסוף.

קישורים חיצוניים


קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
קבוצה אינסופית