רפאל ברכאן מתמטיקה בדידה 1תשע"ג יחסים (בינאריים) – תרגול מס' 5 .1תהי A ויהי Rיחס מעליה .הוכיחו כי: א .אם Rיחס רפלקסיבי ,אז . R R 2 הוכחת א' :יהי Rיחס רפלקסיבי מעל R .Aיחס רפלקסיבי ,ולכן עפ"י הגדרת רפלקסיביות מתקיים. IA R : □ מכאן. IA R IA R R R R R 2 : ב .אם , a, b,c A : aRb bRc aRcאז . R 2 R ג .אם Rיחס רפלקסיבי וטרנזיטיבי ,אז . R 3 R 2 .2יהיו Rו S -יחסים סמטריים מעל קבוצה . A הוכיחו כי RSהוא יחס סמטרי אם"ם .RS=SR .3יהיו Rו S -יחסים מעל קבוצה . A הוכיחו/הפריכו כי: א .אם Rיחס רפלקסיבי ,אז R 1יחס רפלקסיבי. הוכחת א' :נתון כי Rרפלקסיבי ,וצ"ל כי R 1רפלקסיבי .אכן: R reflexive IA R R SR 1 S1 IA 1 R 1 I 1 I IA R 1 R 1 reflexive A A □ ב .אם Rו S -יחסים אנטי-סמטריים ,אז R Sיחס אנטי-סמטרי. ג .אם Rו S -יחסים טרנזיטיביים ,אז R Sיחס טרנזיטיבי. הוכחת ג' :נתון כי Rו S -יחסים טרנזיטיביים ,כלומר: . a, b,c A : aRb bRc aRc a, b,c A : aSb bSc aSc צ"ל כי R Sיחס טרנזיטבי ,כלומר – צ"ל כי: . a, b,c A : aR Sb bR Sc aR Scיהיו a, b,c Aכלשהם .אכן: aR Sb bR Sc aRb aSb bRc bSc aRb bRc aSb bSc R,S transitive aRc aSc aR Sc □ .4סווגו את היחסים הבאים (רפלקסיבי/אנטי-רפלקסיבי/סמטרי/אנטי- סמטרי/טרנזיטיבי) ,והוכיחו את קביעותיכם. אa, b : aRb a b 1 . פתרון :רפלקסיביות מתקיימת , a : aRa -שכן. a : a a 1 : אנטי-רפלקסיביות אינה מתקיימת ,שכן המשפט בראש עמוד 145לעיל). סמטריות מתקיימת , a, b : aRb bRa -שכן: . a, b : a b 1 a,b : a b ba b a 1 ו R -רפלקסיבי (עפ"י 1 רפאל ברכאן מתמטיקה בדידה 1תשע"ג 1 אנטי-סמטריות אינה מתקיימת ,שכן עבור, b 1 : 2 . a b 1 b a 1 a b , a למשל ,מתקיים: 1 3 טרנזיטיביות אינה מתקיימת ,שכן עבור, b 1 , c : 2 2 מתקיים. a b 1 b c 1 a c 1 : , a למשל, בa, b : aRb a | b . גa, b : aRb k :a b 2k 1 . ד .תהי C כלשהי; A, B P C :ARB A B פתרון :נדגים תחילה את היחס על הקבוצה . C 1, 2 :היחס Rהנ"ל מוגדר מעל . P C , 1 , 2 , 1, 2 :ניתן לרשום אותו באופן המפורש הבא: 11221, 2 ( R בדקו). 121, 2 2 1 רפלקסיביות אינה מתקיימת ,שכן עפ"י הדוגמא הנ"ל , 1 R 1 :למשל. אנטי-רפלקסיביות אינה מתקיימת ,שכן עפ"י הדוגמא הנ"ל. R : סמטריות מתקיימת ,לאור חילופיות פעולת החיתוך בין קבוצות .כלומר ,לכל A, B P C מתקיים. ARB A B B A BRA : אנטי-סמטריות אינה מתקיימת ,שכן עפ"י הדוגמא הנ"ל: . R 1 1 R 1 טרנזיטיביות אינה מתקיימת ,שכן עפ"י הדוגמא הנ"ל: . 1 R 2 2 R 1 1 R 1 2 רפאל ברכאן מתמטיקה בדידה 1תשע"ג יחסים (בינאריים) -תרגיל בית מס' 5 .1תהי A 1,2,3,4,5ויהיו Rו S -שני יחסים המוגדרים מעליה ,באופן הבא: 1245 11224 . S כתבו באופן מפורש את היחסים הבאים ויצגו , R 1212 23344 אותם באמצעות גרף מכוון ובאמצעות מטריצת סמיכויות בינארית. בRS . אR 1 S1 . גR 2S2 . .2יהיו S ,Rו T -יחסים מעל קבוצה . A הוכיחו כי: אR S1 R 1 S1 . בR S RT ST . .3יהיו Rו S -יחסים מעל קבוצה . A הוכיחו/הפריכו כי: א .אם Rו S -יחסים רפלקסיביים ,אז R Sיחס רפלקסיבי. ב .אם Rו S -יחסים רפלקסיביים ,אז RSיחס רפלקסיבי. ג .אם Rו S -יחסים סמטריים ,אז R Sיחס סמטרי. ד .אם Rו S -יחסים אנטי-סמטריים ,אז R Sיחס אנטי-סמטרי. ה .אם Rו S -יחסים טרנזיטיביים ,אז R Sיחס טרנזיטיבי. .4א .כמה יחסים ניתן להגדיר מהקבוצה ,1, :לקבוצה? , moshe : נמקו. ב .כמה יחסים ניתן להגדיר מעל הקבוצה ? 1, a,3, b :נמקו. .5סווגו את היחסים הבאים (רפלקסיבי/אנטי-רפלקסיבי/סמטרי/אנטי- סמטרי/טרנזיטיבי) ,והוכיחו את קביעותיכם. אa, b : aRb 0 a b 1 . בa, b : aRb k :a b 2k . גa, b : aRb k :a b 2k 1 . בהצלחה! 3
© Copyright 2024