יחס סימטרי

במתמטיקה, ובפרט בתורת הקבוצות, יחס בינארי ${ℛ}$ מעל קבוצה $A$ ייקרא יחס סימטרי אם מ-$a{ℛ}b$ נובע $b{ℛ}a$; תנאי זה שקול לכך ש-${ℛ}={{ℛ}}^{-1}$ (היחס ההופכי).

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

תכונות של יחסים סימטריים

החיתוך של אוסף יחסים סימטריים הוא סימטרי. לכן לכל יחס בינארי ${ℛ}$ קיים יחס סימטרי קטן ביותר המכיל אותו; יחס זה, הנקרא הסגור הסימטרי של ${ℛ}$, שווה ל-${ℛ}\cup {{ℛ}}^{-1}$ (האיחוד של ${ℛ}$ עם היחס ההופכי לו).

הרכבה של יחסים סימטריים היא סימטרית.

כהכללה להגדרה שבראש הערך, יחס $n$-ארי הוא סימטרי אם הוא כולל כל תמורה של כל n-יה בתוכו.

ראו גם

• יחס אנטי-סימטרי

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

• .html יחס סימטרי, באתר MathWorld (באנגלית)   

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