הבדלים בין גרסאות בדף "תרגול 11 תשעז"
(←המשך יחסי שקילות) |
(←שאלה ממבחן) |
||
שורה 24: | שורה 24: | ||
===שאלה ממבחן=== | ===שאלה ממבחן=== | ||
− | א. תהי A קבוצה לא ריקה ותהי <math>\{R_i\}_{i\in I}</math> משפחה של יחסי שקילות על A. הוכיחו כי החיתוך הכללי | + | א. תהי <math>A</math> קבוצה לא ריקה ותהי <math>\{R_i\}_{i\in I}</math> משפחה של יחסי שקילות על <math>A</math>. הוכיחו כי החיתוך הכללי <math>R=\cap_{i\in I}R_i</math> הינו יחס שקילויות על <math>A</math>. |
ב. נסמן <math>R_n=\{(x,y)\in\mathbb{Z}\times\mathbb{Z}:n|(x-y)\}</math>. מהם <math>R_1,R_2,R=\cap_{n\in\mathbb{N}}R_n</math>? מהן קבוצות המנה <math>\mathbb{Z}/R,\mathbb{Z}/R_1,\mathbb{Z}/R_2</math>? | ב. נסמן <math>R_n=\{(x,y)\in\mathbb{Z}\times\mathbb{Z}:n|(x-y)\}</math>. מהם <math>R_1,R_2,R=\cap_{n\in\mathbb{N}}R_n</math>? מהן קבוצות המנה <math>\mathbb{Z}/R,\mathbb{Z}/R_1,\mathbb{Z}/R_2</math>? | ||
====פתרון==== | ====פתרון==== | ||
− | א. רפלקסיביות: מאחר ו <math>\forall a\in A\forall i\in I : (a,a)\in R_i</math> נובע ש <math>\forall a\in A: (a,a)\in R</math>. | + | א. רפלקסיביות: מאחר ו-<math>\forall a\in A\forall i\in I : (a,a)\in R_i</math> נובע ש-<math>\forall a\in A: (a,a)\in R</math>. |
סימטריות: נניח <math>(x,y)\in R</math> לכן <math>\forall i\in I:(x,y)\in R_i</math> ולכן נובע מסמטריות היחסים ש <math>\forall i\in I:(y,x)\in R_i</math> ולכן <math>(y,x)\in R</math>. | סימטריות: נניח <math>(x,y)\in R</math> לכן <math>\forall i\in I:(x,y)\in R_i</math> ולכן נובע מסמטריות היחסים ש <math>\forall i\in I:(y,x)\in R_i</math> ולכן <math>(y,x)\in R</math>. | ||
שורה 39: | שורה 39: | ||
<math>R_2</math> הינו אוסף כל הזוגות בהם שני הצדדים זוגיים או שני הצדדים אי זוגיים, שכן ההפרש בינהם חייב להיות זוגי. | <math>R_2</math> הינו אוסף כל הזוגות בהם שני הצדדים זוגיים או שני הצדדים אי זוגיים, שכן ההפרש בינהם חייב להיות זוגי. | ||
− | R הינו אוסף הזוגות שההפרש בינהם מתחלק בכל המספרים הטבעיים. רק הפרש אפס יכול להתחלק בכל מספר, ולכן R הינו אוסף הזוגות מהצורה (q,q) עבור q מספר שלם. (יחס השיוויון | + | <math>R</math> הינו אוסף הזוגות שההפרש בינהם מתחלק בכל המספרים הטבעיים. רק הפרש אפס יכול להתחלק בכל מספר, ולכן <math>R</math> הינו אוסף הזוגות מהצורה <math>(q,q)</math> עבור <math>q</math> מספר שלם. (יחס השיוויון). |
גרסה אחרונה מ־15:56, 29 בדצמבר 2017
חזרה לדף מערכי התרגול.
יחסי שקילות - תרגילים נוספים
תרגיל
תהא קבוצה ותת קבוצה. נגדיר יחס ע"י . הוכיחו:
א. זהו יחס שקילות.
ב. לכל קיימת כך ש .
ג. אם שונות, אז .
פיתרון
א. רפלקסיביות: כמובן ש- , ולכן .
סימטריות: נניח אזי , ולכן .
טרנזיטיביות: נניח אזי ומטרנזיטיביות יחס השיוויון נקבל הדרוש.
ב. יהי נשים לב שמתקיים ולכן , ובנוסף מתקיים ולכן נוכל לבחור .
ג. תהיינה שונות. לכן קיים (בה"כ) וכמובן , ולכן נקבל כלומר ולכן .
שאלה ממבחן
א. תהי קבוצה לא ריקה ותהי משפחה של יחסי שקילות על . הוכיחו כי החיתוך הכללי הינו יחס שקילויות על .
ב. נסמן . מהם ? מהן קבוצות המנה ?
פתרון
א. רפלקסיביות: מאחר ו- נובע ש-.
סימטריות: נניח לכן ולכן נובע מסמטריות היחסים ש ולכן .
טרנזיטיביות: נניח אזי , וכיון שהוא יחס שקילות אז נובע , ולפי הגדרת החיתוך הכללי נקבל
ב. הינו אוסף כל הזוגות הסדורים מעל השלמים, שכן אחד מחלק כל מספר ולכן כל הפרש.
הינו אוסף כל הזוגות בהם שני הצדדים זוגיים או שני הצדדים אי זוגיים, שכן ההפרש בינהם חייב להיות זוגי.
הינו אוסף הזוגות שההפרש בינהם מתחלק בכל המספרים הטבעיים. רק הפרש אפס יכול להתחלק בכל מספר, ולכן הינו אוסף הזוגות מהצורה עבור מספר שלם. (יחס השיוויון).
הינו אוסף מחלקות השקילות של היחס המכיל את כל הזוגות. יש בו רק מחלקת שקילות אחת המכילה את כל המספרים השלמים.
מכיל שתי קבוצות, קבוצת הזוגיים וקבוצת האי זוגיים שכן בין כל הזוגיים יש את היחס, ובין כל האי זוגיים ולא בין לבין כמובן (הרי זה יחס שקילויות כפי שקל להוכיח).
הינו אוסף כל הקבוצות המכילות איבר שלם בודד.