זוג סדור

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

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

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

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

כאשר הזוג הסדור משמש לציון נקודה במישור, האיבר הראשון (השמאלי) בזוג נקרא גם אבסציסה (Abscissa) והשני (הימני) נקרא גם אוֹרְדִינָטָה (Ordinate).

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

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

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

n-יה סדורה – סדר מספרים קבוע
הכללה של זוג סדור למקרה הכללי של מספר כלשהו של רכיבים נקראת n-יה סדורה (הנהגית בעברית במלרע: "אֶנְיָה סדורה", על דרך שלישייה, רביעייה, חמישייה... שימו לב שהאות  היא האות האנגלית הקטנה N, ולא האות העברית ח).

ראו גם
תורת הקבוצות - מונחים

קישורים חיצוניים

קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
קטגוריה:תורת הקבוצות