יחס שקילות – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Abm9856 (שיחה | תרומות)
עריכה, תמונה
Abm9856 (שיחה | תרומות)
עריכה
שורה 1:
{{סימון מתמטי}}
[[קובץ:Set partitions 5; matrices.svg|ממוזער|52 יחסי השקילות האפשריים של קבוצה של 5 איברים. תאים שאינם לבנים הם איברים שמקיימים את הייחס. והצבעים השונים, מלבד אפור בהיר, מציינים את מחלקות השקילות (כל תא אפור בהיר הוא מחלקת השקילות של עצמו).]]
ב[[מתמטיקה]], '''יחס שקילות''' הוא [[יחס (תורת הקבוצות)|יחס בינארי]] שהוא [[רפלקסיביות|רפלקסיבי]], [[יחס סימטרי|סימטרי]] ו[[יחס טרנזיטיבי|טרנזיטיבי]].
ב[[מתמטיקה]], '''יחס שקילות''' הוא דרך לאגד לקבוצות, באופן טכני ומדויק, עצמים מופשטים שיש להם תכונות משותפות. קבוצות אלה נקראות '''[[מחלקת שקילות|מחלקות שקילות]]''', בלוקים או תאים. לדוגמה, אפשר לחלק את כל ה[[משולש]]ים למחלקות דמיון, כאשר כל המשולשים במחלקה דומים זה לזה. חלוקה כזו חוקרת למעשה את יחס הדמיון, בכך שהיא מתאימה בין משולשים דומים ומפרידה משולשים שאינם דומים.
 
כל יחס שקילות על [[קבוצה (מתמטיקה)|קבוצה]] קובע חלוקה שלה לתת קבוצות שונות שנקראות [[מחלקת שקילות|מחלקות שקילות]]. שני איברים של הקבוצה הנתונה שווים זה לזה [[אם ורק אם]] הם שייכים לאותה מחלקת שקילות.
מרכזיותו של מושג זה בחשיבה המתמטית מודגמת באמרתו המפורסמת של [[אנרי פואנקרה]], מגדולי המתמטיקאים במחצית השנייה של המאה התשע-עשרה: "מתמטיקה היא האמנות של קריאה באותו שם לדברים שונים". יחס שקילות אינו אלא פירוק למחלקות, המהוות כל אחת מעין שם משותף לעצמים שבתוכה.
 
הדוגמה הפשוטה ביותר ליחס שקילות היא יחס ה[[שוויון (מתמטיקה)|שוויון]]. דוגמאות נוספות כוללות [[חפיפת משולשים|חפיפת]] ו[[דמיון משולשים|דמיון]] משולשים, [[ישרים מקבילים|הקבלה]] בין ישרים, [[איזומורפיזם|איזומורפיות]] של מבנים ועוד. זיהוי וחישוב של יחסי שקילות מעניינים הוא חלק חשוב במחקר המתמטי.
 
מרכזיותו של מושג זה בחשיבה המתמטית מודגמת באמרתו המפורסמת של [[אנרי פואנקרה]], מגדולי המתמטיקאים במחצית השנייה של המאה התשע-עשרה: "מתמטיקה היא האמנות של קריאה באותו שם לדברים שונים". יחס שקילות אינו אלא פירוק למחלקות, המהוות כל אחת מעין שם משותף לעצמים שבתוכה.
==הגדרה פורמלית==
 
==הגדרה פורמלית==
 
[[יחס (תורת הקבוצות)|יחס בינארי]] <math>R</math> מעל קבוצה <math>A</math> הוא תת-קבוצה של [[מכפלה קרטזית|המכפלה הקרטזית]] <math>A \times A</math>, כלומר: <math>\mathcal{R} \subseteq A \times A</math>. כלומר: הוא קבוצה של [[זוג סדור|זוגות סדורים]] כך שכל איבר בזוג שייך ל-<math>A</math>. אם <math>(a,b) \in \mathcal{R}</math> אזי מקובל לסמן <math>a\mathcal{R}b</math>.