Deathatred
New member
הערה קטנה
כל מרחב בדיד (שעוצמתו היא א0 ומטה) אפשר לסדר בסדר עולה. הטריק הוא פשוט: בונים התאמה חח"ע ועל לקבוצת הטבעיים ומשרים את יחס הסדר שלה על הקבוצה המקורית. למשל: איך נסדר את הרציונליים Q בסדר עולה? ידוע ש Q שוות-עוצמה ל N ולכן קיימת פונקציה חח"ע ועל f:Q-->N שמתאימה לכל מספר רציונלי מספר טבעי יחיד. כעת, נגדיר יחס R ויהיו q ו p מספרים רציונליים. נסמן f(p)=n ו f(q)=m . נאמר ש pRq אם ורק אם n<m. קל להוכיח ש R הוא אכן יחס סדר. אממה? היחס R לא חייב להיות הסדר הטבעי ויתכן שאין לו בכלל משמעות אינטואיטיבית או פיסיקלית.
כל מרחב בדיד (שעוצמתו היא א0 ומטה) אפשר לסדר בסדר עולה. הטריק הוא פשוט: בונים התאמה חח"ע ועל לקבוצת הטבעיים ומשרים את יחס הסדר שלה על הקבוצה המקורית. למשל: איך נסדר את הרציונליים Q בסדר עולה? ידוע ש Q שוות-עוצמה ל N ולכן קיימת פונקציה חח"ע ועל f:Q-->N שמתאימה לכל מספר רציונלי מספר טבעי יחיד. כעת, נגדיר יחס R ויהיו q ו p מספרים רציונליים. נסמן f(p)=n ו f(q)=m . נאמר ש pRq אם ורק אם n<m. קל להוכיח ש R הוא אכן יחס סדר. אממה? היחס R לא חייב להיות הסדר הטבעי ויתכן שאין לו בכלל משמעות אינטואיטיבית או פיסיקלית.