מספר הרטוגס

(הופנה מהדף מספר הרטוג)

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

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

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

הוכחהעריכה

בהינתן מספר משפטים בסיסיים של תורת הקבוצות, ההוכחה פשוטה. יהי  . תחילה, נראה כי   היא קבוצה.

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

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

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

שימושיםעריכה

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

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

לקריאה נוספתעריכה