88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 4

פונקציות

הגדרה: יהיו A,B קבוצות וR יחס בינהן. אזי:

• התחום של R הינו [math]\displaystyle{ dom(R)=\{a\in A|\exists b\in B:(a,b)\in R\} }[/math]
• התמונה של R הינה [math]\displaystyle{ im(R)=\{b\in B|\exists a\in A:(a,b)\in R\} }[/math]

דוגמא.

• אם R יחס מלא על A אזי האיחוד של התמונה והתחום שווה A
• [math]\displaystyle{ R=\{(1,a),(2,b),(3,a)\} }[/math] אזי התחום הוא [math]\displaystyle{ dom(R)=\{1,2,3\} }[/math] והתמונה הינה [math]\displaystyle{ im(R)=\{a,b\} }[/math]