הצגת המקור של הדף "טיפוס סדר"

ב[[תורת הקבוצות]], '''טיפוס סדר''' הוא תכונה של [[קבוצה (מתמטיקה)|קבוצות]] שמוגדר עליהן [[יחס סדר מלא]].

שתי קבוצות הן בעלות אותו טיפוס סדר אם הן [[איזומורפיזם|איזומורפיות]]. אינטואיטיבית ניתן לומר ששתי קבוצות הן בעלות אותו טיפוס סדר אם יש להן את אותו מבנה של סדר.

את טיפוס הסדר של קבוצה סדורה <math>(A, \le)</math> מסמנים ב-<math>\overline {(A, \le)}</math>, ולעיתים כ-<math>\operatorname{type}(A)</math>.

כל [[סדר טוב|קבוצה סדורה היטב]] איזומורפית סדר ל[[מספר סודר|סודר]] יחיד, ולכן זהו טיפוס הסדר שלה. כלומר, סודרים הם נציגים קנוניים ממחלקת השקילות של קבוצות סדורות היטב איזומורפיות.

המושג נהגה ונחקר לראשונה על ידי [[גאורג קנטור]].

==הגדרה==
נסתכל לדוגמה על הקבוצות <math>(\mathbb {N} , \le)</math> ו-<math>(\mathbb {Q} , \le)</math> (כלומר [[קבוצת המספרים הטבעיים]] ו[[שדה המספרים הרציונליים]] עם יחס ההשוואה הרגיל). לשתי הקבוצות אותה ה[[עוצמה (מתמטיקה)|עוצמה]], אך מבחינת סדר הן שונות: הסדר על הטבעיים הוא [[סדר טוב]], ועל הרציונליים לא; הסדר על הרציונליים הוא [[סדר צפוף]] ועל הטבעיים לא, וכן הלאה. מתבקש אם כן להגדיר תכונה דומה לעוצמה שתתחשב גם בסדר של הקבוצות. תכונה זאת מכונה טיפוס סדר.

שתי קבוצות הן בעלות אותו טיפוס סדר אם ורק אם הן איזומורפיות, כלומר קיימת [[פונקציה חד-חד-ערכית ועל]] [[פונקציה שומרת סדר|שומרת סדר]] ביניהן (כלומר מתקיים <math>\ a \le b \Leftrightarrow f(a) \le f(b)</math>). זאת בדומה ל[[עוצמה (מתמטיקה)|עוצמה]] שבה שתי קבוצות הן בעלות אותה עוצמה אם ורק אם קיימת פונקציה חח"ע ועל ביניהן. אם לשתי קבוצות יש אותו טיפוס סדר, אז גם יש להן אותה עוצמה (כי הפונקציה של האיזומורפיזם היא בפרט חח"ע ועל) אך ההפך אינו נכון.

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

בדומה לעוצמות, גם במקרה של טיפוסי סדר ניתן להגדיר את היחס <math>\le</math> מעל קבוצה כלשהי של טיפוסי סדר{{הערה|לא ניתן לדבר על "קבוצת כל טיפוסי הסדר" כיוון שהיא כוללת בפרט את קבוצת כל הסודרים, שאינה קיימת על פי [[הפרדוקס של בורלי-פורטי]]}}, כקיום פונקציה [[שיכון (מתמטיקה)|שיכון]]: פונקציה שומרת סדר וחד-חד-ערכית (שאינה דווקא על). יחס זה הוא [[קדם-סדר]] (כלומר הוא [[יחס רפלקסיבי|רפלקסיבי]] ו[[יחס טרנזיטיבי|טרנזיטיבי]]) אך בניגוד ליחס מעל העוצמות, הוא איננו [[יחס אנטי-סימטרי|אנטי-סימטרי]] ואיננו משווה. כך לדוגמה, <math>\overline {((0,1), \le)} \le \overline{([0,1], \le)}</math> וכן <math>\overline {((0,1), \le)} \ge \overline{([0,1], \le)}</math>, אך <math>\overline {((0,1), \le)} \ne \overline{([0,1], \le)}</math>. כמו כן, לא כל שתי קבוצות ניתנות להשוואה, למשל <math>(\mathbb {N},\le)</math> ו-<math>(\mathbb {N},\ge)</math>. אם מדברים על סודרים, אזי שתי התכונות מתקיימות.

==דוגמאות==
*לכל שתי [[קבוצה סופית|קבוצות סופיות]] סדורות בעלות אותו מספר איברים יש אותו טיפוס סדר. זאת מכיוון שהפונקציה שמתאימה איבר ראשון לאיבר ראשון, שני לשני וכו' היא איזומורפיזם.
*לכל שני [[קטע (מתמטיקה)|קטע]]ים פתוחים באותו אורך עם יחס ההשוואה יש אותו טיפוס סדר, כיוון שהפונקציה <math>f (x) = x+a</math> (כאשר <math>a</math> הוא המרחק בין הקצוות הימניים של הקטעים) היא איזומורפיזם. גם לשני קטעים שהקצה השמאלי שלהם ב-<math>0</math> יש אותו טיפוס סדר, כיוון שהפונקציה <math>f(x) = ax</math> (כאשר <math>a</math> הוא היחס בין גודלי הקטעים) היא איזומורפיזם. מכך נובע שלכל שני קטעים יש אותו טיפוס סדר (ניתן "להזיז" ל-<math>0</math>, לשנות לגודל הנכון ואז "להזיז" למקום הנכון) כמו כן, לכל קטע אותו טיפוס סדר כמו הישר הממשי כולו; זאת כיוון שהפונקציה <math>f(x) = \tan x</math> ([[טנגנס]]) היא איזומורפיזם בין הקטע <math>\left(-\frac{\pi}{2}, \frac{\pi}{2}\right)</math> (שכבר הוכח שאיזומורפי לכל קטע אחר) לישר הממשי.

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

ניתן לאפיין טיפוסי סדר באמצעות תכונות שלהם. כך לדוגמה:
* טיפוס הסדר של המספרים הטבעיים, המסומן באות <math>\omega</math>, הוא טיפוס סדר של כל קבוצה לא [[הקבוצה הריקה|ריקה]] שאין בה איבר אחרון וכל תת-קבוצה חסומה מלעיל היא סופית.
* טיפוס הסדר של המספרים הרציונליים, המסומן באות <math>\mu</math>, הוא טיפוס הסדר של כל קבוצה לא ריקה ו[[קבוצה בת מנייה|בת מנייה]] בלי איבר ראשון ואחרון המסודרת בסדר צפוף.
* טיפוס הסדר של [[שדה המספרים הממשיים|המספרים הממשיים]], המסומן באות <math>\rho</math>, הוא טיפוס הסדר של כל קבוצה המכילה קבוצה עם טיפוס הסדר μ בלי איבר ראשון ואחרון ולכל קבוצה לא-ריקה וחסומה מלעיל יש חסם עליון.

==פעולות בין טיפוסי סדר==
ניתן להגדיר פעולות בין טיפוסי סדר:
* [[חיבור]] בין טיפוסי סדר של שתי קבוצות סדורות <math>\overline {(A, \le)}+\overline {(B, \le)} </math> הוא טיפוס הסדר של ה[[איחוד זר|איחוד הזר]] שלהן, עליו נתון ה[[סדר מילוני|סדר המילוני]] - הסדר בו כל איברי <math>A</math> באים (בסדר שלהם) לפני כל איברי <math>B</math>. כך למשל [[מספר סודר#חיבור|מחברים סודרים]].
* [[כפל]] בין טיפוסי סדר של קבוצות סדורות זרות הוא טיפוס הסדר של ה[[מכפלה קרטזית|מכפלה הקרטזית]] שלהן, כאשר הסדר בין האיברים נקבע על פי הסדר המילוני הימני, כלומר: אם הרכיבים הימניים שונים, הזוג בעל הרכיב הגדול יותר הוא הגדול יותר, ואם הם שווים, אז הזוג בעל הרכיב השמאלי הגדול יותר הוא הגדול יותר.

החיבור והכפל [[אסוציאטיביות|אסוציאטיביים]] אך אינם [[קומוטטיביות|קומוטטיביים]]. [[חוק הפילוג]] מתקיים מימין בלבד (היינו <math>A \cdot (B+C) \cong A \cdot B + A \cdot C</math>), ובמקרה של קבוצות סדורות היטב (או בשקילות [[מספר סודר|סודרים]]), מתקיימות [[פונקציה מונוטונית|מונוטוניות]] ו[[פונקציה רציפה|רציפות]] מימין בלבד (היינו <math>f(B)=A+B</math>, <math>f(B)=AB</math> פונקציות מונוטוניות ורציפות, ולא להפך).

==קישורים חיצוניים==
* {{MathWorld}}

==הערות שוליים==
{{הערות שוליים}}
{{תורת הקבוצות}}
[[קטגוריה:קבוצות סדורות]]