88-195 בדידה סמסטר א תשע"ח: הבדלים בין גרסאות בדף

גרסה מ־09:24, 17 בדצמבר 2017

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

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

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

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

ההגדרה (מההרצאה): יחס [math]\displaystyle{ R }[/math] מעל קבוצה A יקרא שלם אמ"מ לכל [math]\displaystyle{ A\ni a,b }[/math] שונים מתקיים לפחות אחד מהבאים:
- [math]\displaystyle{ aRb }[/math]
- [math]\displaystyle{ bRa }[/math]
בתירגול הגדרנו יחס שלם בהקשר של פונקציה ובשביל להגדיר פונקציה. תתעלמו/תמחקו את ההגדרה של פונקציה ויחס שלם מהתירגול ותשארו עם ההגדרה של ההרצאה:

נאמר כי f פונקציה מ A ל B ונסמן [math]\displaystyle{ f:A\to B }[/math] אמ"מ כל הבאים מתקיימים:

@@ שורה 17: / שורה 17: @@
 **<math>aRb</math>
 **<math>bRa</math>
-*בתירגול הגדרנו יחס שלם בהקשר של פונקציה ובשביל להגדיר פונקציה. בשביל להגדיר פונקציה לא צריך את השם יחס שלם. באופן מפורש: יחס <math>f</math> מ A ל B יקרא פונקציה אם מתקיימים שני הבאים:
+*בתירגול הגדרנו יחס שלם בהקשר של פונקציה ובשביל להגדיר פונקציה. תתעלמו/תמחקו את ההגדרה של פונקציה ויחס שלם מהתירגול ותשארו עם ההגדרה של ההרצאה:
-** לכל <math>a</math>   ב A קיים <math>b</math> ב B  המקיים <math>afb</math> (יחס שמקיים תכונה זאת הוגדר בתירגול כיחס שלם.למחוק את המילים "יחס שלם" מהתירגול)
+נאמר כי f פונקציה מ A ל B ונסמן <math>f:A\to B</math> אמ"מ כל הבאים מתקיימים:
-** לכל <math>a</math> ב A ולכל <math>b_1,b_2</math> ב B מתקיים שאם <math>afb_1</math> וגם <math>afb_2</math> אז <math>b_1=b_2</math>
+** f יחס חד ערכי
+** dom(f)=A
+** <math>Im(f)\subseteq B</math>
 ==בוחן==