יחס שקילות

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

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

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

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

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

הגדרה פורמלית

יחס בינארי $R$ מעל קבוצה $A$ הוא תת-קבוצה של המכפלה הקרטזית $A\times A$, כלומר: ${\mathcal {R}}\subseteq A\times A$. כלומר: הוא קבוצה של זוגות סדורים כך שכל איבר בזוג שייך ל-$A$. אם $(a,b)\in {\mathcal {R}}$ אזי מקובל לסמן $a{\mathcal {R}}b$.

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

1. רפלקסיביות: כל איבר עומד ביחס עם עצמו, כלומר $a{\mathcal {R}}a$ לכל $a\in A$. לדוגמה, תכונה זו מתקיימת תמיד עבור היחס "שווה ל", כי כל איבר תמיד שווה לעצמו.
2. סימטריות: אם $a$ עומד ביחס עם $b$ אזי גם $b$ עומד ביחס עם $a$, כלומר: $a{\mathcal {R}}b\Leftrightarrow b{\mathcal {R}}a$. לדוגמה: היחס "אח של" הוא סימטרי כי אם יעקב אח של עשו אז גם עשו אח של יעקב. לעומת זאת, יחס ההורות "אב של" איננו סימטרי כי אם יצחק אב של יעקב, יעקב אינו אב של יצחק.
3. טרנזיטיביות: אם $a$ נמצא ביחס ל-$b$ ו-$b$ נמצא באותו היחס ל-$c$ אזי גם בין $a$ ל-$c$ מתקיים אותו היחס, ובניסוח פורמלי: $a{\mathcal {R}}b,b{\mathcal {R}}c\Rightarrow a{\mathcal {R}}c$. למשל, אם לסוס א' צבע זהה לזה של סוס ב', ול-ב' צבע זהה לשל ג', אז ל-א' אותו צבע כמו ל-ג'.

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

מחלקות שקילות

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

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

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

קבוצת המנה

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

הגדרה זו משמשת, בין השאר, לצורך בנייה של מערכות מספרים, על ידי הגדרת מספר רציונלי כמחלקת שקילות של היחס $\ \{(\,(a,b),(x,y)\,):ay=xb\}$. בצורה הזו קבוצת המספרים הרציונליים היא קבוצת המנה של $\mathbb {Z} \times (\mathbb {Z} \setminus 0)$ לפי אותו יחס. גם בניית המספרים הממשיים מתוך הרציונליים יכולה להיעשות על ידי שימוש במחלקות שקילות, כאשר בונים את המספרים הממשיים על ידי השלמה של המספרים הרציונליים.

במקרים רבים במתמטיקה מגדירים פונקציות בין מחלקות שקילות על ידי נציגים של אותן מחלקות. במקרה כזה כדי שמה שיתקבל יהיה באמת פונקציה צריך לוודא שהערך המתקבל אינו תלוי בנציג שנבחר. לדוגמה כאשר מגדירים חיבור בין המספרים הרציונליים (שמוגדרים כמחלקות שקילות של זוגות סדורים של מספרים טבעיים) מגדירים זאת על ידי נציגים. במקרה הזה יש לוודא שלפעולה ${\frac {1}{3}}+{\frac {2}{3}}$ ולפעולה ${\frac {2}{6}}+{\frac {8}{12}}$ יש תוצאות שקולות.

דוגמאות

• יחס השוויון: $a{\mathcal {R}}b\Leftarrow a=b$
• יחס שקילות מודולו $p$: $a{\mathcal {R}}b\Leftrightarrow \exists k\in \mathbb {Z} \ \ a-b=k\cdot p$
• באופן כללי בהינתן חוג $R$ ואידיאל דו-צדדי $I$, ניתן להגדיר יחס שקילות ~ על $R$ על ידי:

$a\sim b$ $\Leftrightarrow$ $\,b-a\in I$.

• כל פונקציה מגדירה יחס שקילות של שני איברים המועתקים לאותו איבר: $a{\mathcal {R}}b\Rightarrow f(a)=f(b)$.
• חפיפה ודמיון הם יחסי שקילות.

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

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

• יחס שקילות, באתר אנציקלופדיה למתמטיקה (באנגלית)
• יחס שקילות, באתר MathWorld (באנגלית)
• topic/equivalence-mathematics יחס שקילות, באתר אנציקלופדיה בריטניקה (באנגלית)