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

נוספו 23 בתים ,  לפני 9 שנים
מ
קישורים פנימיים. פונקציה היא (קודם כל) יחס - לא גרף.
מ (תיקון קישור פנימי)
מ (קישורים פנימיים. פונקציה היא (קודם כל) יחס - לא גרף.)
== רקע ==
 
[[פונקציה]] היא שלשה <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> הוא לא פונקציה אלא [[מספר]] כלשהו! למרות שהסימונים המקובלים כיום הם לא חד-משמעיים, הם נפוצים בגלל ההרגל והנוחות שבהם.
 
הערה: בספרי [[אלגברה מופשטת]] נהוג הסימון הבא: