תחשיב למדא – הבדלי גרסאות

נוספו 30 בתים ,  לפני 8 שנים
מ
←‏רקע: מיקוד קישור פנימי
מ (קישורים פנימיים. פונקציה היא (קודם כל) יחס - לא גרף.)
מ (←‏רקע: מיקוד קישור פנימי)
[[פונקציה]] היא שלשה <math>\ ( f , A , B )</math> כאשר A הוא [[תחום הגדרה|תחום ההגדרה]], B הוא ה[[טווח של פונקציה|טווח]] (A ו-B הן [[קבוצה (מתמטיקה)|קבוצות]]) ואילו f הוא [[יחס]] מעל <math>\ A \times B</math> שמכיל את הזוגות הסדורים מהצורה <math>\ \left( a , f(a) \right)</math>. היחס f נקרא לעתים (באופן לא פורמלי) "כלל התאמה".
 
כאשר עובדים עם פונקציה נהוג [[סימון מתמטי#סימונים מקובלים|לסמן]] או לרשום:
: תהי <math>\ f : A \to B</math> הפונקציה <math> \ f(x)</math> (למשל, ב[[אנליזה מתמטית]] של [[פונקציה ממשית|פונקציות ממשיות]]: <math>\ f(x) = x^2</math> )...
אבל זו צורת רישום בזבזנית ולא מדויקת, שכן מבחינה לוגית, <math> \ f(x)</math> הוא לא פונקציה אלא [[מספר]] כלשהו! למרות שהסימונים המקובלים כיום הם לא חד-משמעיים, הם נפוצים בגלל ההרגל והנוחות שבהם.