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

message: יחס סדר?
חשבתי שמדובר בסדר חלקי, אבל לא מתקיימת רפלקסיביות, אז אני לא מכיר את המונח כפי הנראה.
ומהי קבוצה סדורה היטב? (+למה הקישור הוא ל"סדר טוב"? בערך "סדר חלקי" מצביעים ל"קבוצה סדורה ממש") 
יובל מדר 20:54, 25 יוני 2004 (UTC)

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

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

message: במתמטיקה המודרנית קיימים שלושה מצבים של סודרים המובחנים עפ"י יחסם למושג המקדים והעוקב:
1) 0 הינו חסר מקדים מיידי.
2) n סדור ממוקם עפ"י הסדר היורד של המקדימים. 
3) w הינו חסר מקדים (אינו נגיש לאף עוקב).  דורון שדמי 02:45, 13 מאי 2006 (IDT) (http://en.wikipedia.org/wiki/Limit_ordinal)
replies: text: דווקא בדרך כלל לא נעשת הבחנה בין 1) ל3), כלומר 0 הוא גבולי.

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

message: לא ראיתי שם שום דבר דומה ל"חלום של קנטור"?
האם היה והוסר, או שזה פשוט עוורון שלי?
replies: text: תיקנתי את הקישור. עוזי ו. - שיחה 23:11, 15 במאי 2008 (IDT)
thread_title:  מה עושה הקישור לאתר הבית של בועז צבן? 

message: אחלה XP 46.120.6.92 22:31, 23 באוקטובר 2011 (IST)
וואו!!! גילו לי את אמריקה
thread_title:  אחלהXP 

message: "רק" חסר את ההגדרה של סודר בערך. 132.64.70.161 10:51, 1 בפברואר 2012 (IST)
replies: text: כן, זה ערך לא טוב. דניאל • תרמו ערך 10:53, 1 בפברואר 2012 (IST)
thread_title:  בעיה קטנה 

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

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

message: אחרי שב-20 במאי הספקתי לשכתב את הערך, החלטתי שצריך לעדכן אותו באופן משמעותי.
מה שכתבתי פעם שעברה היה לא מדוייק כל כך, וממש לא מספיק כללי.
עדכנתי בעיקר את ההגדרה, אבל גם לא מעט מהתכונות ומהדברים החשובים שיוצאים מסודרים.
Shay Falador - שיחה 17:34, 28 בדצמבר 2012 (IST)
thread_title:  עדכון הערך 

message: האם זה נכון שאפשר להגדיר את הסודרים לפי אקסיומות פאנו, עם ויתור על אקסיומת האינדוקציה, אך הוספת האקסיומה "לכל קבוצת איברים A, קיים איבר x אשר אין איבר ש-x הוא העוקב שלו ו-x גדול מכל האיברים ב-A"? (עם דגש על קבוצה ולכן הסודרים הם מחלקה (נאותה)) -- רועי.ס - שיחה 19:03, 15 באפריל 2013 (IDT)
replies: text: צריך להוסיף לאקסיומה ש-x מינימלי; אני לא יודע האם זה מספיק. עוזי ו. - שיחה 21:50, 15 באפריל 2013 (IDT)
replies: text: :אתה צודק (אני חשבתי לפתור את זה עם הטענה שאין עוקב, אבל הטענה שלך חזקה יותר). -- רועי.ס - שיחה 17:21, 22 באפריל 2013 (IDT)
thread_title:  אקסוימות 

message: האם אתם יכולים להראות סדרת סודרים המתכנסת ל-\epsilon_0? -- רועי.ס - שיחה 13:58, 10 ביוני 2013 (IDT)
replies: text: הסדרה: \omega,\omega^\omega,\omega^{\omega^\omega }... תתכנס ל-\epsilon_0, כי בגבול שלה תקבל \omega^\alpha = \alpha, וזה המקום הראשון בו זה קורה. יאיר ח. - שיחה 21:58, 10 ביוני 2013 (IDT)
replies: text: :הבנתי את זה עוד לפני שקראתי את ההודעה (אתמול/שלשום), אבל בכל-זאת תודה. -- רועי.ס - שיחה 13:48, 14 ביוני 2013 (IDT)
thread_title:  <math>\epsilon_0</math> 

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

message: קל לראות שכותב הערך (לפחות הפתיח שלו) למד בפתוחה.
זה המקום היחיד שבו מגדירים סודר כטיפוס סדר של קבוצה סדורה היטב, ולא כקבוצה טרזיטיבית וסדורה היטב ע"י השייכות. במהות ההגדרות שקולות, אך זאת הגדרה נוחה בהרבה.
לעומת זאת בפסקה "הגדרה" ובשאר הערך כבר עוברים להגדרה הנורמלית. 132.66.85.48 17:24, 17 ביוני 2019 (IDT)
replies: text: אני לא הבנתי את הקשר לטיפוס סדר. בכלל הערך על טיפוס סדר בעייתי. מוסבר שם רק הצורך להגדיר משהו שישמש כטיפוס סדר, אך ההגדרה לא מופיעה. בנציון יעבץ - שיחה
thread_title:  משוב מ-17 ביוני 2019