פונקציה אדיטיבית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Mosh Grei (שיחה | תרומות)
Matanyabot (שיחה | תרומות)
מ בוט החלפות: \1ליניארי
שורה 1:
באלגברה, פונקציה '''אָדִיטִיבִית''' (או פונקציה '''חיבורית''') היא [[פונקציה]] ששומרת על פעולת החיבור, כלומר פונקציה <math>f : A\longrightarrow B </math> [[הגדרה|מוגדרת]] כאדטיבית [[אם ורק אם]] היא מקיימת: <math>\forall a,b \in A \quad f(a+b) = f(a) + f(b)</math>. אין לבלבל מושג זה עם מושג שונה בעל שם זהה מ[[תורת המספרים]].
 
פונקציה אדיטיבית שהיא גם [[פונקציה הומוגנית|הומוגנית]] מסדר ראשון נקראת "[[פונקציה לינאריתליניארית]]".
 
== דוגמאות ==
* כל [[פונקציה לינאריתליניארית]] היא אדיטיבית.
* [[מרחב מכפלה פנימית|מכפלה פנימית]] היא אדיטיבית בשני המשתנים. בנוסף, היא הומוגנית מסדר ראשון ב[[משתנה]] הראשון, ולכן גם לינאריתליניארית בו. מעל ה[[מספר ממשי|ממשיים]], היא הומוגנית (ולינאריתוליניארית) גם במשתנה השני, אך מעל [[מספר מרוכב|המרוכבים]], היא לא הומוגנית, אלא "הומוגנית עד כדי [[צמוד מרוכב|הצמדה]]", ולכן אינה לינאריתליניארית בו.
* פונקציית ההצמדה <math>f(T) = T^\star</math>, המקבלת העתקה לינאריתליניארית (או מטריצה) ומחזירה את ה[[אופרטור צמוד|העתקה הצמודה]] לה (או את [[מטריצה צמודה|המטריצה הצמודה]] לה), אדיטיבית כאשר <math>T</math> מעל [[שדה אוקלידי]], ולינאריתוליניארית אם <math>T</math> מעל שדה הממשיים.
* לכל <math>n \in \Z</math>, פונקציה המקבלת [[פונקציה מרוכבת]] ומחזירה את [[טור פורייה|מקדם פורייה]] ה-<math>n </math> שלה (כלומר הפונקציה: <math>f _n(h) = \widehat{h}(n)</math> כאשר <math>h : \R \longrightarrow \C</math> ), היא פונקציה אדיטיבית.
 
שורה 12:
* [[המשוואה הפונקציונלית של קושי]]
 
* [[פונקציה לינאריתליניארית]]
* [[פונקציה הומוגנית]]
* [[פונקציה כפלית]]