88-195 בדידה סמסטר א תשע"ח: הבדלים בין גרסאות בדף
אחיה בר-און (שיחה | תרומות) אין תקציר עריכה |
אחיה בר-און (שיחה | תרומות) |
||
| שורה 13: | שורה 13: | ||
== יחס שלם == | == יחס שלם == | ||
בהרצאה ובתירגול הופיע הגדרה של יחס שלם. ההגדרה לא היתה תואמת בשני המקרים. לכן מצורפת בזה הבהרה: | בהרצאה ובתירגול הופיע הגדרה של יחס שלם. ההגדרה לא היתה תואמת בשני המקרים (ההגדרה של ההרצאה קובעת). לכן מצורפת בזה הבהרה: | ||
* ההגדרה (מההרצאה) יחס <math>R</math> מעל קבוצה A יקרא שלם אמ"מ לכל <math>A\ni a,b</math> שונים מתקיים לפחות אחד מהבאים: | * ההגדרה (מההרצאה): יחס <math>R</math> מעל קבוצה A יקרא שלם אמ"מ לכל <math>A\ni a,b</math> שונים מתקיים לפחות אחד מהבאים: | ||
**<math>aRb</math> | **<math>aRb</math> | ||
**<math>bRa</math> | **<math>bRa</math> | ||
*בתירגול הגדרנו יחס שלם בהקשר של פונקציה ובשביל להגדיר פונקציה. בשביל להגדיר פונקציה לא צריך את השם יחס שלם. באופן מפורש: יחס <math>f</math> מ A ל B יקרא פונקציה אם מתקיימים שני הבאים: | *בתירגול הגדרנו יחס שלם בהקשר של פונקציה ובשביל להגדיר פונקציה. בשביל להגדיר פונקציה לא צריך את השם יחס שלם. באופן מפורש: יחס <math>f</math> מ A ל B יקרא פונקציה אם מתקיימים שני הבאים: | ||
** לכל <math>a</math> ב A קיים <math>b</math> ב B המקיים <math>afb</math> | ** לכל <math>a</math> ב A קיים <math>b</math> ב B המקיים <math>afb</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> | ** לכל <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> | ||
גרסה מ־21:58, 16 בדצמבר 2017
סגל הקורס
מרצה: פרופסור אסף רינות
מתרגל: אחיה בר-און
קישורים
- סילבוס
- תרגילי בית כאן (תחילה צריך להירשם לקורס ואח"כ להיכנס אילו לפתור את גיליונות התרגילים)
- חומר עזר (מערכי תירגול, מבחנים וכו') נמצא בדף הראשי 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]
בוחן
- תאריך: 26.12.2017, בשעות התירגול, בכיתת התירגול
- חומר: עד יחסי סדר כולל.
- בחנים משנים קודמות אפשר למצוא פה בחנים בבדידה.