הבדלים בין גרסאות בדף "88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 2"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(←‏פתרון)
(←‏תרגיל)
שורה 36: שורה 36:
 
====פתרון====
 
====פתרון====
 
<math>(x,y)\in A\times(B\cap C) \iff (x\in A) \and [(y\in B)\and (y\in C)] \iff [(x\in A)\and(y\in B)] \and [(x\in A)\and(y\in B)] \iff x\in[(A\times B)\cap(A\times C)]</math>
 
<math>(x,y)\in A\times(B\cap C) \iff (x\in A) \and [(y\in B)\and (y\in C)] \iff [(x\in A)\and(y\in B)] \and [(x\in A)\and(y\in B)] \iff x\in[(A\times B)\cap(A\times C)]</math>
 +
 +
 +
==יחסים כתת קבוצה של הזוגות הסדורים==
 +
נביט בקבוצות <math>A=\{1,2,3\},B=\{0,2,6\}</math> ונביט בתת הקבוצה <math>R\subseteq A\times B</math> הבאה: <math>R=\{(1,2),(1,6),(2,2),(2,6),(3,6)\}</math>. מה מיוחד בזוגות אלה?
 +
 +
זוגות אלה הינן כל זוגות האיברים (a,b) כך ש <math>a\leq b</math>. כפי שניתן לבחור זוגות על פי יחס מסוים (במקרה זה "קטן שווה") ניתן '''להגדיר יחס''' לפי תת קבוצה מסוימת של זוגות.
 +
 +
אם זוג מסוים נמצא בקבוצת היחס R נהוג לסמן aRb.
 +
 +
 +
דוגמא: נביט בקבוצת האנשים A. נגדיר את יחס "בן של" על ידי קבוצת הזוגות הסדורים <math>R\subseteq A\times A</math> כך ש <math>(x,y)\in R</math> אם"ם x הוא בן של y. שימו לב שיש משמעות לכיוון היחס, שכן יש הבדל בין העובדה שאני הבן של מישהו לבין העובדה שהוא הבן שלי.
 +
 +
 +
===תכונות של יחסים מקבוצה לעצמה===
 +
תהי קבוצה A ויהיה יחס R המוגדר על A (כלומר, <math>R\subseteq A\times A</math>)
 +
#R נקרא '''רפלקסיבי''' אם כל איבר מקיים את היחס עם עצמו ( מתקיים <math>\forall a\in A:(a,a)\in R</math>)
 +
#R נקרא '''סימטרי''' אם aRb גורר שגם bRa (מתקיים <math>\forall a,b\in A:[(a,b)\in R \rightarrow (b,a)\in R]</math>)
 +
#R נקרא '''טרנזיטיבי''' אם יחס בין ראשון לשני, ויחס בין השני לשלישי גורר יחס בין הראשון לשלישי (מתקיים <math>\forall a,b,c\in A:[((a,b)\in R) \and ((b,c)\in R) \rightarrow ((a,c)\in R)]</math>)

גרסה מ־19:15, 25 ביולי 2011

יחסים

הגדרה: המכפלה הקרטזית של שתי קבוצות A וB הינה אוסף כל הזוגות הסדורים - A\times B = \{(a,b)|a\in A \and b\in B\}. ההבדל בין זוג סדור לבין קבוצה המכילה זוג איברים היא שהאיברים יכולים להיות שווים בזוג סדור, והסדר שלהם מהותי. כלומר שני האיברים הבאים שונים (1,2),(2,1) והאיבר הבא הינו זוג חוקי (1,1).

ניתן להכליל את ההגדרה לעיל לn-יה סדורה - כלומר n איברים מסודרים.

דוגמא: A=\{1,2,3\} וB=\{a,b\} אזי מתקיים A\times B =\{(1,a),(2,a),(3,a),(1,b),(2,b),(3,b)\}


ניתן להגדיר זוגות סדורים באמצעות הגדרת הקבוצות בלבד, כפי שנראה בתרגיל הבא:

תרגיל

הוכח/הפרך:

1. [(a=c)\and(b=d)]\iff \{\{a\},b\}=\{\{c\},d\}

2. [(a=c)\and(b=d)]\iff \{\{a\},\{a,b\}\}=\{\{c\},\{c,d\}\}

פתרון

1. הפרכה ע"י הדוגמא הנגדית a=2,b=\{3\},c=3,d=\{2\}


2.

הוכחה: הכיוון משמאל לימין הוא ברור. מימין לשמאל, נניח והקבוצות שוות אזי \{a\}=\{c\} או ש \{a\}=\{c,d\}.

במקרה הראשון, נובע a=c ובמקרה השני נובע a=c=d, כך או כך a=c. כעת, \{a,b\}=\{c,b\}=\{c\} או \{c,b\}=\{c,d\} ונובע משניהם ש b=d.


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


תרגיל

הוכח שלכל קבוצות A,B,C מתקיים A\times(B\cap C)=(A\times B)\cap(A\times C)

פתרון

(x,y)\in A\times(B\cap C) \iff (x\in A) \and [(y\in B)\and (y\in C)] \iff [(x\in A)\and(y\in B)] \and [(x\in A)\and(y\in B)] \iff x\in[(A\times B)\cap(A\times C)]


יחסים כתת קבוצה של הזוגות הסדורים

נביט בקבוצות A=\{1,2,3\},B=\{0,2,6\} ונביט בתת הקבוצה R\subseteq A\times B הבאה: R=\{(1,2),(1,6),(2,2),(2,6),(3,6)\}. מה מיוחד בזוגות אלה?

זוגות אלה הינן כל זוגות האיברים (a,b) כך ש a\leq b. כפי שניתן לבחור זוגות על פי יחס מסוים (במקרה זה "קטן שווה") ניתן להגדיר יחס לפי תת קבוצה מסוימת של זוגות.

אם זוג מסוים נמצא בקבוצת היחס R נהוג לסמן aRb.


דוגמא: נביט בקבוצת האנשים A. נגדיר את יחס "בן של" על ידי קבוצת הזוגות הסדורים R\subseteq A\times A כך ש (x,y)\in R אם"ם x הוא בן של y. שימו לב שיש משמעות לכיוון היחס, שכן יש הבדל בין העובדה שאני הבן של מישהו לבין העובדה שהוא הבן שלי.


תכונות של יחסים מקבוצה לעצמה

תהי קבוצה A ויהיה יחס R המוגדר על A (כלומר, R\subseteq A\times A)

  1. R נקרא רפלקסיבי אם כל איבר מקיים את היחס עם עצמו ( מתקיים \forall a\in A:(a,a)\in R)
  2. R נקרא סימטרי אם aRb גורר שגם bRa (מתקיים \forall a,b\in A:[(a,b)\in R \rightarrow (b,a)\in R])
  3. R נקרא טרנזיטיבי אם יחס בין ראשון לשני, ויחס בין השני לשלישי גורר יחס בין הראשון לשלישי (מתקיים \forall a,b,c\in A:[((a,b)\in R) \and ((b,c)\in R) \rightarrow ((a,c)\in R)])
מקור: https://math-wiki.com/index.php?title=88-195_בדידה_לתיכוניסטים_תשעא/מערך_שיעור/שיעור_2&oldid=11680