שינויים

קפיצה אל: ניווט, חיפוש

שיחה:83-116 תשעד סמסטר א

נוספו 719 בתים, 06:06, 18 בנובמבר 2013
/* תרגיל 3 שאלה 4 */
'''שימו לב! האיברים של יחס כלשהו R הם זוגות סדורים השייכים למכפלה קרטזית של שתי קבוצות. מה קורה כאשר הקבוצות עצמן הן מכפלות קרטזיות? אז האיברים ב-R הם זוגות סדורים של זוגות סדורים.
'''<math>(a,b)\in A\times A,\ (c,d)\in C\times C\ \ then\ \ ((a,c),(b,d))\in (A\times C)^2</math> '''אז, מה קורה לבדיקות הרפלקסיביות, סימטריות וטרנזיטיביות? אם ביחס על קבוצה בודדת בדקנו את התכונות בין איברים בודדים אז ביחס על מכפלה קרטזית נבדוק את התכונות בין זוגות סדורים. '''למשל, אם תנאי הסימטריות דורש לוודא ש-<math>xRy\Rightarrow yRx</math> '''אז ביחס מעל מכפלה קרטזית נוודא ש-<math>(x_1,x_2)R(y_1,y_2)\Rightarrow (y_1,y_2)R(x_1,x_2)</math> '''כלומר נתחיל מ- <math>(x_1,x_2)R(y_1,y_2)</math>, ניישם את היחס ונבדוק האם זה גורר ש-<math>(y_1,y_2)R(x_1,x_2)</math>. עדי
2,077
עריכות