תורת הקבוצות/יחסי שקילות

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

הגדרות עריכה

הגדרה: יחס שקילות (Equivalence relation)

יחס   על קבוצה   יקרא יחס שקילות אם מתקיימים התנאים הבאים:

  • היחס רפלקסיבי: לכל   מתקיים   (כלומר  ).
  • היחס סימטרי: לכל   אם   אז  .
  • היחס טרנזיטיבי: לכל   אם   וגם   אז  .

דוגמאות ליחסי שקילות עריכה

א. יחס השוויון (=) על כל קבוצה   הוא יחס שקילות:

  • לכל   מתקיים  .
  • לכל   אם   אז  .
  • לכל   אם   וגם   אז  .

יחס השוויון על הקבוצה   הוא קבוצת הזוגות  .

ב. תהי   קבוצה של קבוצות. יהי היחס   על הקבוצה   שמוגדר כך:

לכל   מתקיים   אם ורק אם קיימת בייקציה (פונקציה חד-חד ערכית ועל)  .

היחס   הוא יחס שקילות:

  • לכל קבוצה   פונקציית הזהות   מ־  ל־  היא בייקציה ולכן  .
  • לכל   אם  , כלומר יש בייקציה   אז גם   היא בייקציה ולכן  .
  • לכל   אם   וגם  , כלומר יש בייקציה   וגם יש בייקציה   אז גם ההרכבה   היא בייקציה ולכן  .

הדוגמה הראשונה היא טריוויאלית. בעוד הדוגמה השנייה קשה יותר (מומלץ לקרוא בעיון ולנסות להבין). עוד נחזור לדוגמאות אלו אחרי ההגדרה הבאה:


הגדרה: חלוקה של קבוצה (Partition)

תהי קבוצה לא־ריקה  . לקבוצה   (מוכלת בקבוצת החזקה של  ) נקרא חלוקה של   אם מתקיימים התנאים הבאים:

  • כל איבר   מקיים  .
  • איברי הקבוצה   זרים בזוגות. כלומר: לכל   מתקיים  .
  • איחוד כל איברי   היא הקבוצה  . כלומר  .

הערה: קבוצה   (השייכת לחלוקה) תקרא תא של החלוקה. כלומר, אם   נאמר שהאיבר   שייך לתא   של החלוקה  .

דוגמאות לחלוקה: עריכה

א. נתבונן בקבוצה  . הקבוצה   היא חלוקה של  (ודאו זאת).

ב. הקבוצה   מהווה חלוקה של   (ראה דוגמה א' בדוגמאות ליחסי שקילות).

ג. הקבוצה   היא חלוקה של  .


הגדרה: מחלקת שקילות

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

 

כלומר, מחלקת השקילות של איבר   היא קבוצת כל האיברים של   המתייחסים אל   ביחס השקילות  .


הגדרה: קבוצת המנה

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

קבוצת המנה של   היא קבוצת כל מחלקות השקילות של  . כלומר:

 

דוגמה: עריכה

הקבוצה   היא קבוצת המנה של   (ראה דוגמה א' בדוגמאות ליחסי שקילות ודוגמה ב' בדוגמאות לחלוקה).

תכונות של יחסי שקילות עריכה

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



משפט: חלוקה משרה יחס שקילות

תהי קבוצה לא־ריקה   ותהי   חלוקה של  . יהי   יחס על   שיוגדר כדלהלן:

לכל   מתקיים   אם ורק אם   כאשר   (כלומר,   נמצאים באותו התא בחלוקה)

היחס   הוא יחס שקילות על  .


הוכחה:

היחס   רפלקסיבי:

יהי  .

אם   (כאשר   תא בחלוקה) אז ברור כי   ולכן  .

היחס   סימטרי:

יהיו  .

אם  , כלומר   (כאשר   תא בחלוקה) אז ברור כי   ולכן  .

היחס   טרנזיטיבי:

יהיו  .

אם   וגם  , כלומר   וגם   (כאשר   תאים בחלוקה) אז:

  (ראה הגדרת החלוקה) לכן   ולכן  .

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


 

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

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



משפט: קבוצת המנה היא חלוקה

יהי   יחס שקילות על קבוצה לא־ריקה  .

קבוצת המנה   מהווה חלוקה של  .


הוכחה:

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

(*): נוכיח   אם ורק אם  .

כיוון ראשון נניח כי  . יהי  .

  אם ורק אם   (מהגדרת מחלקת השקילות)

  אם ורק אם   (טרנזיטיביות ומההנחה כי  )

לבסוף,   אם ורק אם   (הגדרת מחלקת השקילות).

הראנו כי   ולכן מצאנו כי  .

כיוון שני: נניח כי  .

  יחס שקילות, לכן   (רפלקסיביות) ולכן  .

מההנחה כי   נקבל כי  .

לכן, מהגדרת מחלקת השקילות נקבל כי  .

בכך הוכחנו את (*).

(1) נוכיח שלכל   מתקיים כי  :

לכל   מתקיים   (רפלקסיביות) מכך נובע כי   ולכן  .

(2) נוכיח שאם   (תאים שונים של החלוקה) אז  :

יהיו   המקיימים  , הדבר שקול לכך ש־  (לפי (*)).

נניח בשלילה כי  .

נובע כי קיים  .

נובע כי   וגם  .

לכן, מהגדרת מחלקת השקילות מצאנו כי   וגם  .

מסימטריות נקבל כי  .

מטרנזיטיביות נקבל כי   בסתירה להנחה כי  .

לכן  .

(3): נראה כי  .

כיוון ראשון: יהי  .

מהגדרת מחלקת השקילות, נקבל   ולכן מתקיים כי  .

כיוון שני: יהי  .

נקבל   (כפי שהראנו ב־(2)) ולכן  .

בכך הראנו כי  .

משילוב הכיוונים קיבלנו כי  .

לפי (1), (2), (3) הראינו שכל מחלקת שקילות אינה ריקה, הראנו שכל שתי מחלקות שקילות שונות זרות והראנו שאיחוד כל מחלקות השקילות הוא  .

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


 



משפט: יחידות החלוקה

הי   יחס שקילות על קבוצה לא־ריקה  .

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


הוכחה:

במשפט: קבוצת המנה היא חלוקה, הוכחנו כי   היא חלוקה של  .

עתה נוכיח כי   היא החלוקה היחידה שמשרה את  .

(1) נוכיח כי   היא אכן חלוקה שמשרה את  , כלומר נראה כי   אם ורק אם   באותו התא של  :

כיוון ראשון: נניח כי  .

נובע כי   (הגדרת מחלקת השקילות).

  יחס שקילות, נקבל כי   (רפלקסיביות) ולכן  .

מצאנו כי   וגם   ובכך הראינו כי   באותו תא.

כיוון שני: נניח כי   באותו התא של  , כלומר  .

מהגדרת מחלקת השקילות נקבל כי   וגם  .

לכן נקבל   (סימטריה, וטרנזיטיביות של יחס השקילות  ).

כלומר, בסה"כ   (כאשר  )

בכך הראינו שהחלוקה   משרה את היחס  .

(2): נוכיח כי זו החלוקה היחידה שמשרה את  .

תהי   חלוקה שמשרה את  , כלומר   אם ורק אם   באותו התא של  .

כייון ראשון: יהי   תא בחלוקה  .

  ולכן קיים  . לכל   מתקיים   אם ורק אם   (  משרה את  ).

כלומר   אם ורק אם   (  משרה את  ).

מצאנו כי  . מכאן  .

הראינו שכל תא   הוא תא של   ולכן  .

כיוון שני: יהי   תא אשר   שייך אליו.

מתקיים   אם ורק אם   (  משרה את  ).

כמו כן,   אם ורק אם   (  משרה את  ).

הראנו כי  .

הראינו שכל תא   הוא תא של   ולכן  .

משילוב הכיוונים מצאנו כי  .

מ־(1) ומ־(2) הוכחנו כי   היא החלוקה היחידה שמשרה את היחס.


 

במשפטים אלו הוכחנו שני דברים חשובים:

הראשון, קבוצת המנה של קבוצה היא חלוקה.

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

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

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

שימושים עריכה

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

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

ואכן, אנו נאמר כי ל־  יש אותה עוצמה אם  .

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

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

כדוגמה נוספת למחלקת שקילות:

אפשר להסתכל על דמיון ועל חפיפת משולשים כיחסי שקילות.

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

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

הפרק הקודם:
פונקציות
יחסי שקילות הפרק הבא:
יחסי סדר