שיחה:מספר סודר

יחס סדר?

חשבתי שמדובר בסדר חלקי, אבל לא מתקיימת רפלקסיביות, אז אני לא מכיר את המונח כפי הנראה.

ומהי קבוצה סדורה היטב? (+למה הקישור הוא ל"סדר טוב"? בערך "סדר חלקי" מצביעים ל"קבוצה סדורה ממש")

יובל מדר 20:54, 25 יוני 2004 (UTC)

סדר טוב

סדר טוב הוא סדר שבו בכל תת קבוצה לא ריקה קיים איבר מינימלי. האם צריך להסביר מה זה רישא? בערך הזה, בערך נפרד?

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

אני לא בטוח למה כתבת את מה שכתבת כאן. יש כבר ערך שעוסק בסדר טוב. בכל מקרה, אפשר להסביר מה זה רישא בערך נפרד, שיעסוק ברישות באופן כללי (זה מושג שקיים במספר תחומים). גדי אלכסנדרוביץ' 06:41, 15 מאי 2005 (UTC)

סוגי סודרים

במתמטיקה המודרנית קיימים שלושה מצבים של סודרים המובחנים עפ"י יחסם למושג המקדים והעוקב:

1) 0 הינו חסר מקדים מיידי.

2) n סדור ממוקם עפ"י הסדר היורד של המקדימים.

3) w הינו חסר מקדים (אינו נגיש לאף עוקב). דורון שדמי 02:45, 13 מאי 2006 (IDT) (http://en.wikipedia.org/wiki/Limit_ordinal)

דווקא בדרך כלל לא נעשת הבחנה בין 1) ל3), כלומר 0 הוא גבולי.

איך בכל זאת מתורגם לעברית initial ordinal? (סודר שכל הקטנים ממנו מעוצמה קטנה יותר) 46.116.56.146 22:57, 26 בינואר 2011 (IST)

מה עושה הקישור לאתר הבית של בועז צבן?

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

תיקנתי את הקישור. עוזי ו. - שיחה 23:11, 15 במאי 2008 (IDT)

אחלהXP

אחלה XP הודעה זו נכתבה באמצעות מערכת המשוב. 
46.120.6.92 22:31, 23 באוקטובר 2011 (IST) וואו!!! גילו לי את אמריקה

בעיה קטנה

"רק" חסר את ההגדרה של סודר בערך. הודעה זו נכתבה באמצעות מערכת המשוב. 
132.64.70.161 10:51, 1 בפברואר 2012 (IST)

כן, זה ערך לא טוב. דניאל • תרמו ערך 10:53, 1 בפברואר 2012 (IST)

שכתבתי את הערך

כי הגיע הזמן לשכתב את הערך הזה, ולכתוב אותו כמו שצריך. אני מקווה להוסיף עוד מידע על ההגדרה האחרת לפעולות (a+b = הסודר שאיזומורפי ל-a*{0} איחוד b*{0}). אשמח לקבל תיקונים והערות. Shay Falador - שיחה 00:13, 20 במאי 2012 (IDT)

הספקתי לערוך את הערך, לתקן כמה תיקונים, להוסיף הגדרות וכו'. Shay Falador - שיחה 09:33, 20 במאי 2012 (IDT)

תיקון בשורה 12 בסעיף 'הגדרה'

בסעיף "הגדרה" בשורה ה12 של הסעיף מופיעה הנוסחא: w+1=S(w+1)=wU{w}=.... כאשר הכיתוב הנכון הוא למעשה w+1=S(w)=wU{w}... הודעה זו נכתבה באמצעות מערכת המשוב. 
46.117.111.165 10:28, 6 ביוני 2012 (IDT)

עדכון הערך

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

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

Shay Falador - שיחה 17:34, 28 בדצמבר 2012 (IST)

אקסוימות

האם זה נכון שאפשר להגדיר את הסודרים לפי אקסיומות פאנו, עם ויתור על אקסיומת האינדוקציה, אך הוספת האקסיומה "לכל קבוצת איברים A, קיים איבר x אשר אין איבר ש-x הוא העוקב שלו ו-x גדול מכל האיברים ב-A"? (עם דגש על קבוצה ולכן הסודרים הם מחלקה (נאותה)) -- רועי.ס - שיחה 19:03, 15 באפריל 2013 (IDT)

צריך להוסיף לאקסיומה ש-x מינימלי; אני לא יודע האם זה מספיק. עוזי ו. - שיחה 21:50, 15 באפריל 2013 (IDT)

אתה צודק (אני חשבתי לפתור את זה עם הטענה שאין עוקב, אבל הטענה שלך חזקה יותר). -- רועי.ס - שיחה 17:21, 22 באפריל 2013 (IDT)

$\epsilon _{0}$

האם אתם יכולים להראות סדרת סודרים המתכנסת ל-$\epsilon _{0}$? -- רועי.ס - שיחה 13:58, 10 ביוני 2013 (IDT)

הסדרה: $\omega ,\omega ^{\omega },\omega ^{\omega ^{\omega }}...$ תתכנס ל-$\epsilon _{0}$, כי בגבול שלה תקבל $\omega ^{\alpha }=\alpha$, וזה המקום הראשון בו זה קורה. יאיר ח. - שיחה 21:58, 10 ביוני 2013 (IDT)

הבנתי את זה עוד לפני שקראתי את ההודעה (אתמול/שלשום), אבל בכל-זאת תודה. -- רועי.ס - שיחה 13:48, 14 ביוני 2013 (IDT)

ועוד שאלה

אילו חוקי חזקות מתקיימים בסודרים? -- רועי.ס - שיחה 15:22, 10 ביוני 2013 (IDT)

משוב מ-17 ביוני 2019

קל לראות שכותב הערך (לפחות הפתיח שלו) למד בפתוחה.

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

לעומת זאת בפסקה "הגדרה" ובשאר הערך כבר עוברים להגדרה הנורמלית. הודעה זו נכתבה באמצעות מערכת המשוב. 
132.66.85.48 17:24, 17 ביוני 2019 (IDT)

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