הבדלים בין גרסאות בדף "פונקציה על"

הוסרו 149 בתים ,  לפני 10 שנים
אין תקציר עריכה
(תחביר ברור יותר)
{{סימון מתמטי}}
ב[[מתמטיקה]], [[פונקציה]] מקבוצה A לקבוצה B היא '''פונקציה על''' (סורז'קטיבית)אם היא [[פונקציה]] שלכלכל [[איבר (מתמטיקה)|איבר]] בטווחבקבוצה שלה קיים מקור, כלומר כל איבר בטווח של הפונקציהB מתקבל כערך כלשהו של הפונקציה. דוגמה:לדוגמה, פונקציההפונקציה המתאימה לכל גברעלה את האישההעץ המתאימהשעליו לוהוא תיקראצומח היא "על", אם לכלעל אישהכל ישעץ לפחותצומח גברעלה אחד שאותו מתאימה הפונקציה לאשה זולפחות.
 
באופן פורמלי: [[פונקציה]] <math>\ f: X \rightarrow Y</math> היא '''על''' Y, אם לכל [[איבר (מתמטיקה)|איבר]] בטווח של הפונקציה מתאים לפחות איבר אחד בתחום שלה (ובמילים אחרות: ה[[תמונה של פונקציה|תמונה]] של <math>\ f </math> שווה לטווח שלה). ב[[סימון מתמטי]]: לכל <math> y \in Y </math> קיים <math> x \in X </math> כך ש-<math>\ f(x) = y </math>.