88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 3

חזרה למערכי התרגול

יחסי סדר

הגדרה: יחס R על A נקרא אנטי-סימטרי אם מתקיים [math]\displaystyle{ \forall x,y\in A:[(x,y)\in R]\and[(y,x)\in R] \rightarrow (x=y) }[/math]

כלומר, אם [math]\displaystyle{ x\neq y }[/math] אז לא יכול להיות שמתקיים היחס בין x לבין y וגם היחס בין y לx.

הגדרה: יחס R על A נקרא יחס סדר חלקי אם R רפלקסיבי, טרנזיטיבי ואנטי-סימטרי

דוגמאות ליחסי סדר חלקי:

• היחס 'קטן-שווה' על המספרים
• היחס 'מוכל-שווה' על הקבוצות
• היחס 'מחלק את ' על הטבעיים

הגדרה. דיאגרמת הסה Hesse הינה דיאגרמה של יחס סדר חלקי על קבוצה. כל איבר המקושר לאיבר מתחתיו 'גדול' ממנו ביחס. נצייר את דיאגרמת הסה ליחס הכלה על קבוצת החזקה של הקבוצה [math]\displaystyle{ A=\{1,2,3\} }[/math].

הגדרות. יהיו A קבוצה וR יחס סדר חלקי על הקבוצה:

• איבר [math]\displaystyle{ x\in A }[/math] נקרא מינמלי ביחס לR אם [math]\displaystyle{ \forall y\in A:(y,x)\in R \rightarrow y=x }[/math]. כלומר, אין איבר 'קטן' מx. לא חייב להתקיים ש-x ביחס כלשהו עם איבר כלשהו.
• איבר [math]\displaystyle{ x\in A }[/math] נקרא מקסימלי ביחס לR אם [math]\displaystyle{ \forall y\in A:(x,y)\in R \rightarrow y=x }[/math]. כלומר, אין איבר 'גדול' מx. לא חייב להתקיים ש-x ביחס כלשהו עם איבר כלשהו.
• איבר [math]\displaystyle{ x\in A }[/math] נקרא מינימום ביחס לR אם [math]\displaystyle{ \forall y\in A:(x,y)\in R }[/math]. כלומר, x 'קטן' מכל האיברים. x חייב להיות ביחס עם כל האיברים בקבוצה. (דוגמא: הקבוצה הריקה תחת יחס הכלה)
• איבר [math]\displaystyle{ x\in A }[/math] נקרא מקסימום ביחס לR אם [math]\displaystyle{ \forall y\in A:(y,x)\in R }[/math]. כלומר, x 'גדול' מכל האיברים. x חייב להיות ביחס עם כל האיברים בקבוצה. (דוגמא: הקבוצה B תחת יחס ההכלה על קבוצת החזקה של B)

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

הערה: מינימום [math]\displaystyle{ \leftarrow }[/math] מינימלי, וכן מקסימום [math]\displaystyle{ \leftarrow }[/math] מקסימלי, ולא להיפך!

דוגמא.

נביט בקבוצה [math]\displaystyle{ A=\{1,2,3,4,5\} }[/math] ונגדיר עליה יחס סדר חלקי:

[math]\displaystyle{ R=\{(1,1),(2,2),(3,3),(4,4),(5,5),(2,4),(1,2),(1,4),(3,2),(3,4),(5,2),(5,4)\} }[/math]

(הזוגיים 'גדולים' מכל אי הזוגיים ומהזוגיים הקטנים מהם)

• 5,3,1 הינם איברים מינימליים שכן אין איבר שקטן מאף אחד מהם. הם אינם מינימום כי אף אחד מהם לא קטן מכל האיברים האחרים.
• 4 הינו מקסימום של הקבוצה, הוא בוודאי מקסימלי
• 2 קטן מחלק מהאיברים וגדול מאחרים לכן הוא כלום.

הגדרה: יהי R יחס על A, אזי היחס ההופכי מוגדר להיות [math]\displaystyle{ R^{-1}=\{(y,x)|(x,y)\in R\} }[/math]

תרגיל.

הוכח שאם R יחס סדר חלקי, גם ההופכי שלו יחס סדר חלקי

פתרון.

• רפלקסיביות: לכל איבר a מתקיים [math]\displaystyle{ (a,a)\in R }[/math] ולכן [math]\displaystyle{ (a,a)\in R^{-1} }[/math]
• טרנזיטיביות: נניח [math]\displaystyle{ (x,y),(y,z)\in R^{-1} }[/math] לכן מתקיים [math]\displaystyle{ (y,x),(z,y)\in R }[/math] לכן לפי הטרנזיטיביות של R מתקיים [math]\displaystyle{ (z,x)\in R }[/math] ולכן [math]\displaystyle{ (x,z)\in R^{-1} }[/math].
• אנטי-סימטריות: אם x ביחס לy וגם y ביחס לx הדבר נכון באופן זהה לR ולהופכי שלו, ולכן x=y.

הגדרות. יהיו A קבוצה, B קבוצה המוכלת בה וR יחס סדר חלקי:

• חסם מלעיל של B הוא איבר [math]\displaystyle{ x\in A }[/math] כך שמתקיים [math]\displaystyle{ \forall y\in B:(y,x)\in R }[/math]
• חסם מלרע של B הוא איבר [math]\displaystyle{ x\in A }[/math] כך שמתקיים [math]\displaystyle{ \forall y\in B:(x,y)\in R }[/math]
• החסם העליון (סופרמום) של B הינו המינימום של קבוצת חסמי המלעיל (אם קיים). מסומן [math]\displaystyle{ sup(B) }[/math]
• החסם התחתון (אינפימום) של B הינו המקסימום של קבוצת חסמי המלרע (אם קיים). מסומן [math]\displaystyle{ inf(B) }[/math]

דוגמאות

דוגמא.

נשוב לדוגמא הקודמת. נביט בתת הקבוצה המכילה את המספרים האי זוגיים בלבד [math]\displaystyle{ B=\{1,3,5\} }[/math]. קבוצת חסמי המלעיל של B הינה [math]\displaystyle{ \{2,4\} }[/math]. המינימום של קבוצה זו הוא 2 ולכן הוא החסם העליון של B. אין חסם מלרע ל-B ולכן בוודאי אין לה חסם תחתון.

דוגמא. נביט במספרים הממשיים ובתת הקבוצה של כל המספרים עם מספר סופי של ספרות ששווים לספרות הראשונות של שורש 2. [math]\displaystyle{ B=\{1,1.4,1.41,1.414,1.4142,...\} }[/math]. חסמי המלעיל של הקבוצה הינם כל המספרים שגדולים או שווים לשורש 2 ואילו שורש 2 הוא החסם העליון של הקבוצה.

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

דוגמא. נביט בקבוצת הטבעיים, ובתת קבוצה סופית שלה B. נביט ביחס "מחלק את". הסופרמום של B הוא המכפלה המשותפת המינימלית (lcm), והאינפימום הוא המחלק המשותף המקסימלי(gcd).

למשל [math]\displaystyle{ sup\{12,33,10\}=lcm(12,33,10)=3\cdot 4 \cdot 11 \cdot 5, inf\{12,33,10\}=gcd(12,33,10)= }[/math]

דוגמא עבור [math]\displaystyle{ \{A_i\}_{i\in I} }[/math] אוסף קבוצות. החסם העליון שלה הוא (ביחס להכלה) הוא [math]\displaystyle{ \cup _{i\in I} A_i }[/math]

הגדרה. יהי R יחס סדר חלקי על A. אם לכל שני איברים a,b בA מתקיים [math]\displaystyle{ [(a,b)\in R]\or[(b,a)\in R] }[/math] אזי R נקרא יחס סדר מלא.

תרגיל ממבחן

הגדרה: תת קבוצה A של המספרים הממשיים נקראת 'מגניבה' אם לכל x,y בA כך ש-x שונה מ-y מתקיים שההפרש x-y אינו רציונאלי.

תהי B קבוצה מגניבה מקסימלית ביחס להכלה, הוכח שלכל מספר ממשי שאינו שייך לB קיים איבר בB כך שההפרש בינהם הוא רציונאלי.

הוכחה.

נניח בשלילה שקיים איבר ממשי r שאינו בB, ולכל איבר b ב-B ההפרש r-b אינו רציונאלי. לכן אם נוסיף את r ל-B נקבל קבוצה מגניבה המכילה ממש את B (ולא שווה לה) בסתירה למקסימאליות של B.

תרגיל

נביט בQ אוסף השברים המצומצמים. נביט בR היחס המוגדר על ידי [math]\displaystyle{ (\frac{m_1}{n_1},\frac{m_2}{n_2}) }[/math] אם [math]\displaystyle{ (m_1\leq m_2)\and(n_1\leq n_2) }[/math]. הוכיחו/הפריכו: R הינו יחס סדר חלקי.

פתרון.

נבדוק את תכונות היחס:

• רפלקסיביות - ברור.
• אנטי-סימטריות - אם [math]\displaystyle{ (m_1\leq m_2)\and(n_1\leq n_2) }[/math] וגם [math]\displaystyle{ (m_1\geq m_2)\and(n_1\geq n_2) }[/math] אזי [math]\displaystyle{ (m_1= m_2)\and(n_1= n_2) }[/math] ולכן שני השברים המצומצמים שווים.
• טרנזיטיביות - נובעת מהטרנזיטיביות של המונים והמכנים בנפרד.

לכן R הינו יחס סדר חלקי.

שאלה: מה היה קורה אילו לא דרשנו שברים מצומצמים?

יחס סדר מילוני

יהיו [math]\displaystyle{ (A,\leq),(B,\preceq) }[/math] שתי קבוצות סדורות חלקית.

על [math]\displaystyle{ A\times B }[/math] ניתן להגדיר את היחס המילוני [math]\displaystyle{ R }[/math] ע"י

[math]\displaystyle{ (a_1,b_1)R(a_2,b_2)\iff (a_1 \lt a_2) \lor (a_1 = a_2 \land b_1 \preceq b_2) }[/math]

דוגמא

נסתכל על [math]\displaystyle{ \mathbb{N}\times \mathbb{N} }[/math] אם הסדר המילוני.

נגדיר [math]\displaystyle{ B = \{(1,x) | x\in \mathbb{N} \} }[/math] אזי [math]\displaystyle{ sup(B)=(2,1),inf(B)=(1,1) }[/math]

נגדיר [math]\displaystyle{ B = \{(x,1) | x\in \mathbb{N} \} }[/math] אזי [math]\displaystyle{ inf(B)=(1,1) }[/math] ו sup לא קיים.

• שימו לב ש [math]\displaystyle{ (1,1) }[/math] הוא איבר קטן ביותר

תרגיל (מבוחן תשעג)

יהא [math]\displaystyle{ A }[/math] קבוצה ו [math]\displaystyle{ R\subseteq A\times A }[/math] יחס סדר מלא עליה. נגדיר [math]\displaystyle{ O }[/math] להיות קבוצת כל יחסי הסדר החלקיים על [math]\displaystyle{ A }[/math], סדורה ע"י הכלה. (כלומר הזוג [math]\displaystyle{ (O,\subseteq) }[/math] - במילים אחרות, חושבים על [math]\displaystyle{ O }[/math] עם יחס הסדר החלקי "הכלה")

הוכח: [math]\displaystyle{ R }[/math] איבר מקסימלי ב [math]\displaystyle{ O }[/math]

פתרון- יהי [math]\displaystyle{ S\in O }[/math] יחס סדר חלקי על [math]\displaystyle{ A }[/math] המקיים [math]\displaystyle{ R\subseteq S }[/math] צ"ל [math]\displaystyle{ R=S }[/math]

נניח בשלילה כי [math]\displaystyle{ R }[/math] מוכל ממש ב [math]\displaystyle{ S }[/math]

אזי קיים [math]\displaystyle{ (a,b)\in S\land(a,b)\notin R }[/math]. כיוון ש [math]\displaystyle{ R }[/math] יחס מלא אזי מתקיים [math]\displaystyle{ (b,a)\in R }[/math] כיוןן ש [math]\displaystyle{ R\subseteq S }[/math] נובע כי [math]\displaystyle{ (b,a)\in S }[/math]

מכיוון ש [math]\displaystyle{ S }[/math] יחס סדר חלקי (בפרט אנטי סימטרי) אזי [math]\displaystyle{ a=b }[/math] (כי גם ([math]\displaystyle{ a,b)\in S }[/math]) אזי קיבלנו כי ּ[math]\displaystyle{ (a,a)=(a,b)\notin R }[/math] סתירה לכך ש [math]\displaystyle{ R }[/math] יחס סדר מלא ובפרט רפלקסיבי.

האם ב [math]\displaystyle{ O }[/math] יש מקסימום (איבר גדול ביותר)?

תשובה: לא. נניח שקיים איבר מקס' [math]\displaystyle{ S }[/math]. כיוון שגם [math]\displaystyle{ R^{-1}\in O }[/math] יחס אזי [math]\displaystyle{ R\cup R^{-1} \subseteq S }[/math]. בפרט אם [math]\displaystyle{ (a,b)\in R }[/math] שונים (נניח שב [math]\displaystyle{ A }[/math] יש 2 איברים לפחות) אזי [math]\displaystyle{ (b,a)\in R^{-1} }[/math] ולכן [math]\displaystyle{ (a,b),(b,a)\in S }[/math] בניגוד לכך ש [math]\displaystyle{ S }[/math] אנטי סימטרי