מספר הרטוגס

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

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

כאשר X ניתנת לסידור היטב, מספר הרטונס שלה יהיה $|X|^{+}$ - המונה הראשון הגדול מעוצמת X.

הוכחה

בהינתן מספר משפטים בסיסיים של תורת הקבוצות, ההוכחה פשוטה. יהי $\alpha =\{\beta \in {\textrm {Ord}}|\exists i:\beta \hookrightarrow X\}$. תחילה, נראה כי α היא קבוצה.

1. X × X היא קבוצה, בהסתמך על אקסיומת קבוצת החזקה ואקסיומת ההפרדה.
2. קבוצת החזקה של X × X היא קבוצה, בהסתמך על אקסיומת קבוצת החזקה.
3. המחלקה W המכילה את כל הסידורים הטובים הרפלקסיביים של תתי קבוצות של X היא תת-מחלקה מוגדרת של הקבוצה הנ"ל, על סמך אקסיומת ההפרדה.
4. המחלקה של כל סודרי הערך של סידורים טובים של W היא קבוצה לפי אקסיומת ההחלפה, היות שניתן להגדירה באמצעות נוסחא פשוטה.

אבל, הקבוצה האחרונה היא בדיוק α.

כעת, היות שקבוצה טרנזיטיבית של סודרים היא סודר אף היא, α היא סודר. בנוסף, אם ישנו שיכון מ-α לתוך X, אזי נקבל את הסתירה α שייך ל-α. נטען ש-α הוא הסודר הקטן ביותר כך שאין שיכון ממנו אל X. אם β<α, אזי β שייך ל-α ולכן קיים שיכון של β ב-X.

שימושים

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

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

References

• Hartogs, Fritz (1915). "Über das Problem der Wohlordnung". Mathematische Annalen (בGerman). 76 (4): 438–443. doi:10.1007/BF01458215. JFM 45.0125.01תבנית:Inconsistent citations{{cite journal}}: תבנית ציטוט עם ציון שפה לא מזוהה (link) תחזוקה - ציטוט: postscript (link). Available at the DigiZeitschriften.
• Jech, Thomas (2002). Set theory, third millennium edition (revised and expanded). Springer. ISBN 3-540-44085-2.
• Charles Morgan. "Axiomatic set theory" (PDF). Course Notes. University of Bristol. נבדק ב-2010-04-10.