יחס הופכי

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

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

תכונות של יחסים המשתמרות ביחס ההופכי

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

תכונות נוספות של היחס ההופכי

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

דוגמאות

ראו גם

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

Logo hamichlol.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0