88-195 בדידה סמסטר א תשע"ח

סגל הקורס

מרצה: פרופסור אסף רינות

מתרגל: אחיה בר-און

סילבוס
תרגילי בית כאן (תחילה צריך להירשם לקורס ואח"כ להיכנס אילו לפתור את גיליונות התרגילים)
חומר עזר (מערכי תירגול, מבחנים וכו') נמצא בדף הראשי 88-195 מתמטיקה בדידה

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

ההגדרה (מההרצאה): יחס [math]\displaystyle{ R }[/math] מעל קבוצה A יקרא שלם אמ"מ לכל [math]\displaystyle{ A\ni a,b }[/math] שונים מתקיים לפחות אחד מהבאים:
- [math]\displaystyle{ aRb }[/math]
- [math]\displaystyle{ bRa }[/math]
בתירגול הגדרנו יחס שלם בהקשר של פונקציה ובשביל להגדיר פונקציה. בשביל להגדיר פונקציה לא צריך את השם יחס שלם. באופן מפורש: יחס [math]\displaystyle{ f }[/math] מ A ל B יקרא פונקציה אם מתקיימים שני הבאים:
- לכל [math]\displaystyle{ a }[/math] ב A קיים [math]\displaystyle{ b }[/math] ב B המקיים [math]\displaystyle{ afb }[/math] (יחס שמקיים תכונה זאת הוגדר בתירגול כיחס שלם.למחוק את המילים "יחס שלם" מהתירגול)
- לכל [math]\displaystyle{ a }[/math] ב A ולכל [math]\displaystyle{ b_1,b_2 }[/math] ב B מתקיים שאם [math]\displaystyle{ afb_1 }[/math] וגם [math]\displaystyle{ afb_2 }[/math] אז [math]\displaystyle{ b_1=b_2 }[/math]