איזומורפיזם סדר

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

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

 סימונים 
בערך זה נסמן ב- ו- את קבוצת המספרים הרציונליים והממשיים בהתאמה.

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

  מונוטונית: לכל  המקיימים  מתקיים גם ש-.
  חד-חד-ערכית ועל, ועל כן הפיכה.
  מונוטונית: לכל  המקיימים , בהכרח מתקיים גם ש-.

באופן שקול  היא איזומורפיזם סדר אם ורק אם היא שיכון סדר שהוא גם פונקציה על.

איזומורפיזם סדר מקבוצה סדורה לעצמה () נקרא אוטומורפיזם סדר.

 תכונות 

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

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

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

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

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

 טיפוס סדר 

אם מסתכלים על מחלקת כל הקבוצות הסדורות, ניתן לראות כי:

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

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

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

 תוצאות חשובות 

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

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

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

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

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

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

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

משפט ההצגה של בירקהוף  מראה שכל סריג סופי פילוגי הוא איזומורפי לתת-קבוצה של קבוצת חזקה כלשהי כאשר פעולת המצרף שקולה לאיחוד ופעולת המפגש שקולה לחיתוך. תוצאת המשך חשובה לא פחות היא שכל סריג פילוג איזומורפי סדר לחוג של קבוצות.

 ראו גם 

 קשר גלואה 

 הערות שוליים 

קטגוריה:תורת הסדר