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

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(יחס שלם)
(יחס שלם)
שורה 17: שורה 17:
 
**<math>aRb</math>
 
**<math>aRb</math>
 
**<math>bRa</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>
  
 
==בוחן==
 
==בוחן==

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

88-195 מתמטיקה בדידה

סגל הקורס

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

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

קישורים

יחס שלם

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

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

נאמר כי f פונקציה מ A ל B ונסמן f:A\to B אמ"מ כל הבאים מתקיימים:

    • f יחס חד ערכי
    • dom(f)=A
    • Im(f)\subseteq B

בוחן

  • תאריך: 26.12.2017, בשעות התירגול, בכיתת התירגול
  • חומר: עד יחסי סדר כולל.
  • בחנים משנים קודמות אפשר למצוא פה בחנים בבדידה.