מספר סודר
בתורת הקבוצות, מספר סודר (באנגלית: ordinal – אורדינל) הוא טיפוס סדר של קבוצה סדורה היטב.
המוטיבציה להגדרת המספרים הסודרים מגיעה מהרצון להכליל את התכונות המועילות של המספרים הטבעיים. למספרים הטבעיים שני תפקידים עיקריים: הראשון הוא לייצג כמות ("שבעה גמדים") והשני הוא לייצג מקום בסדרה ("הגמד השביעי"). במסגרת תורת הקבוצות מגדירים את המספרים המונים כהכללה של המספרים הטבעיים במובן הראשון, כך שניתן יהיה לייצג גם כמויות אינסופיות. המספרים הסודרים מוגדרים במטרה להכליל את המובן השני כך שניתן יהיה לדבר על איברים במקומות "אינסופיים" בסדרה.
המספרים הסודרים הראשונים הם המספרים הטבעיים 0, 1, 2, 3,.... לאחריהם מגיע הסודר האינסופי הראשון, ω (אומגה). ω מתאפיין בכך שהוא "הסודר הקטן ביותר שגדול מכל מספר טבעי". לאחריו מגיעים הסודרים:
- ω + 1, ω + 2, …, ω·2, ω·2 + 1, …, ω2, …, ω3, …, ωω, …, ωωω, …, ε0, ….
את רעיון המספרים הסודרים הגה לראשונה אבי תורת הקבוצות, גאורג קנטור, במסגרת עבודתו על קבוצות נגזרות.
הגדרה
למספרים הסודרים מספר הגדרות. ההגדרה הנפוצה היא:
קבוצה נקראת סודר אם מתקיימים התנאים הבאים:
- קבוצה טרנזיטיבית.
- סדורה היטב ביחס השייכות. (כלומר, הצמצום של יחס השייכות ל- הוא סדר טוב)
התכונה הראשונה שמופיעה מאפשרת הגדרת סדר בין סודרים: עבור סודרים . סדר זה הוא סדר טוב.
הגדרת פעולת העוקב: .
סודר ייקרא סודר עוקב, אם קיים סודר אחר כך שמתקיים , וסודר גבולי אחרת (לעיתים לא מתייחסים ל-0 כאל סודר גבולי מטעמי נוחות).
סודר מונה (לעיתים נקרא "סודר פותח") הוא סודר שאינו שווה-עוצמה לאף סודר קטן יותר.
אקסיומת היסוד מבטיחה שאם קבוצה טרנזיטיבית סדורה קווית ביחס השייכות, אז היא סדורה היטב באותו יחס.
הסודרים הסופיים
סודר נקרא סודר סופי אם הוא או שהוא עוקב של סודר סופי.
בניית המספרים הטבעיים של ג'ון פון נוימן מתלכדת עם המספרים הסודרים הסופיים:
הסודרים הסופיים הם סודרים עוקבים וסודרים מונים.
סודרים נוספים
לפי אקסיומת הקבוצה האינסופית קיימת קבוצת כל הסודרים הסופיים.
קבוצה זו: , היא הסודר האינסופי הקטן ביותר.
ניתן להמשיך ולהגדיר סודרים נוספים בעזרת פעולת העוקב ובעזרת איחוד הסודרים הקודמים. למשל:
תכונות
- כל איבר של סודר הוא סודר בעצמו.
- אם סודר, אז גם סודר.
- אם היא קבוצה של סודרים, אז הוא סודר.
- אם היא קבוצה (או מחלקה) של סודרים, אז הוא סודר. סודר זה הוא המינימום ב-.
- עבור שני סודרים מתקיים בדיוק אחד מהבאים: או או .
- קבוצת הסודרים הסופיים מהווים מודל לתורה של אקסיומות פאנו.
תכונה מעניינת נוספת שמתקבלת היא הפרדוקס של בורלי-פורטי, ששולל את קיום "קבוצת כל המספרים הסודרים". משום כך, לא ניתן לדבר בתורת הקבוצות על "קבוצת כל המספרים הסודרים", כשם שבגלל הפרדוקס של ראסל לא ניתן לדבר על "קבוצת כל הקבוצות". בלשון תורת הקבוצות, נאמר כי אוסף כל הסודרים הוא מחלקה ולא קבוצה.
לכל קבוצה וסדר טוב שלה קיים ויחיד סודר כך ש- , כאשר הסימון מציין שקיים איזומורפיזם ביניהם (פונקציה חד-חד-ערכית ועל, ששומרת את הסדר בין האיברים). נקרא טיפוס הסדר של ומסומן .
נציין כי פעמים רבות ניתן להגדיר מספר סדרים טובים על אותה קבוצה והם יכולים להשרות טיפוס סדר שונה.
מהתכונה הנ"ל ניתן להסיק תכונה מעניינת נוספת:
תהי קבוצה שניתנת לסידור טוב (כלומר, שניתן להגדיר עליה סדר טוב אחד או יותר).
נסתכל על קבוצת הסודרים שאיזומורפיים לה:.
הקבוצה היא קבוצה של סודרים.
כפי שאמרנו, חיתוך של קבוצת סודרים הוא סודר, ולכן סודר.
כעת נוכל להגדיר את העוצמה של הקבוצה כסודר המינימלי שאיזומורפי לה, קרי: .
ניתן להראות שסודר מסוג זה הוא תמיד סודר מונה.
הקשר בין סודרים לעוצמות
אחת המטרות של הגדרת הסודרים היא לתת ביסוס פורמלי למושג העוצמה, ואכן ניתן להשיג מטרה זו בהנחת אקסיומת הבחירה. במערכת האקסיומות של צרמלו-פרנקל, אקסיומת הבחירה שקולה למשפט הסדר הטוב, ולכן כל קבוצה ניתנת לסידור טוב, ומכאן הגדרת העוצמה שהוצגה קודם מוגדרת היטב עבור כל קבוצה.
נוכל להגדיר את המספרים המונים בתור הסודרים המונים.
באופן זה נזהה כל מונה כסודר המונה שעוצמתו היא המונה הנ"ל, למשל את (אָלֶף אֶפֶס) נזהה עם .
תחת הגדרה זו ישנה טריכוטומיה בין עוצמות של קבוצות; כלומר, עבור שתי קבוצות מתקיים בדיוק אחד מהבאים: או או (איננו יודעים עובדה זו ללא אקסיומת הבחירה).
פעולות בין סודרים
כפי שניתן להגדיר פעולות על מספרים מונים, ניתן גם להגדיר פעולות על מספרים סודרים.
פעולות על סודרים אינן בהכרח מתלכדות עם פעולות על מונים . למשל, מזוהה עם , אולם לפי ההגדרה מטה , בעוד שלפי משפט קנטור .
חיבור
ניתן להגדיר חיבור סודרים במספר דרכים; נציג שתיים מתוכן:
הגדרה 1
הגדרה זו היא הגדרה אינדוקטיבית.
- , עבור חיבור 0
- , עבור חיבור סודר עוקב
- , עבור חיבור סודר גבולי
הגדרה 2
נגדיר את באופן הבא: נסתכל על יחד עם יחס הסדר בו איברי שומרים על סדרם הפנימי, איברי שומרים על סדרם הפנימי ואיברי קטנים מאיברי . ניתן להראות, כי יחס סדר זה הוא יחס סדר טוב. כעת ניתן להגדיר את החיבור כטיפוס הסדר (ראה הגדרה מעלה) של האיחוד הנ"ל, תחת יחס הסדר המדובר: .
ניתן להראות, כי שתי ההגדרות שהוצגו שקולות זו לזו.
כפל
באופן דומה, ניתן להגדיר כפל סודרים במספר דרכים; נציג שתיים מתוכן:
הגדרה 1
הגדרה זו היא הגדרה אינדוקטיבית, בדומה להגדרת החיבור.
- , עבור כפל ב-0
- , עבור כפל בסודר עוקב
- , עבור כפל בסודר גבולי
הגדרה 2
באופן דומה להגדרת החיבור השנייה, נגדיר כאשר יחס הסדר הוא יחס הסדר הלקסיקוגרפי.
חזקה
באופן דומה, ניתן להגדיר העלאה בחזקת סודרים במספר דרכים; נציג את אחת הדרכים.
בדרך זו נגדיר חזקה באופן אינדוקטיבי.
- , עבור העלאה בחזקת 0
- , עבור העלאה בחזקת סודר עוקב
- , עבור העלאה בחזקת סודר גבולי
קישורים חיצוניים
מיזמי קרן ויקימדיה |
---|
ערך מילוני בוויקימילון: סוֹדֵר |
ערך מילוני בוויקימילון: מספר סודר |
- בעז צבאן, החלום של קנטור, המחלקה למתמטיקה ומדעי המחשב, אוניברסיטת בר-אילן.
- גדי אלכסנדרוביץ', איך קנטור המציא את הסודרים?, באתר "לא מדויק", 23 במאי 2011
- מספר סודר, באתר MathWorld (באנגלית) המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.
נושאים בתורת הקבוצות | ||
---|---|---|
מושגי יסוד | תורת הקבוצות הנאיבית • תורת הקבוצות האקסיומטית • קבוצה • יחידון • הקבוצה הריקה • קבוצת החזקה | |
עוצמות | עוצמה • קבוצה בת מנייה • קבוצה שאינה בת מנייה • עוצמת הרצף | |
פעולות | איחוד • חיתוך • משלים • הפרש סימטרי • מכפלה קרטזית | |
אקסיומות | אקסיומת ההיקפיות • אקסיומת האיחוד • אקסיומת הקבוצה האינסופית • אקסיומת ההחלפה • אקסיומת קבוצת החזקה • אקסיומת היסוד • אקסיומת הבחירה • השערת הרצף | |
משפטים | האלכסון של קנטור • משפט קנטור-שרדר-ברנשטיין • הלמה של צורן • משפט הסדר הטוב | |
פונקציות | פונקציה • פונקציה חד-חד-ערכית • פונקציה על • פונקציה חד-חד-ערכית ועל • פונקציית הזיווג של קנטור | |
יחסים | יחס • יחס רפלקסיבי • יחס סימטרי • יחס אנטי-סימטרי • יחס טרנזיטיבי • יחס שקילות • יחס הופכי | |
סדר | סדר חלקי • סדר מלא • סדר טוב • טיפוס סדר • מספר סודר | |
שונות | הפרדוקס של ראסל |