29-03-2014, 15:26
|
|
|
חבר מתאריך: 09.06.08
הודעות: 7,509
|
|
יחס רפלקסיבי [tex]R[/tex] מעל קבוצה [tex]A[/tex] הינו יחס בו כל איבר בקבוצה [tex]A[/tex] מופיע ביחס עם עצמו. נסמן זאת כ-[tex]aRa[/tex] כאשר [tex]a[/tex] הוא איבר מ-[tex]A[/tex].
אם יחס [tex]R[/tex] מוגדר על קבוצה כלשהי [tex]A[/tex] וקיים [tex]a \in A[/tex] כך ש-[tex](a,a)\notin R[/tex](קרי - [tex]a[/tex] לא נמצא ביחס עם עצמו) אז היחס הנתון אינו רפלקסיבי. זאת בניגוד ליחס אי רפלקסיבי - שבו כל איבר בקבוצה אינו נמצא ביחס עם עצמו. זאת אומרת לכל [tex]a \in A[/tex] מתקיים כי [tex](a,a)\notin R[/tex].
דוגמאות: יחס השוויון([tex]=[/tex]) המוגדר על קבוצת המספרים הטבעיים [tex]\mathbb{N}[/tex] הינו יחס רפלקסיבי כיוון שכל מספר טבעי נמצא ביחס עם עצמו - זאת אומרת כל איבר שווה לעצמו.
יחס גדול ([tex]>[/tex]) הוא יחס אי רפלקסיבי בקבוצה זו, כיוון שלא קיים איבר שגדול מעצמו.
מקווה כי ההסבר מובן
נערך לאחרונה ע"י Scattered mind בתאריך 29-03-2014 בשעה 15:29.
|