הצגת המקור של הדף "טווח של פונקציה"

[[קובץ:Codomain2.SVG|ממוזער|250x250 פיקסלים|פונקציה <math>f</math> מ-<math>X</math> ל-<math>Y</math>. האליפסה הכחולה <math>Y</math> היא הטווח של <math>f</math>, הצהובה היא ה[[תמונה של פונקציה|תמונה]] של <math>f</math>, והאדומה היא ה[[תחום של פונקציה|תחום שלה]].]]
ב[[מתמטיקה]], '''טווח של פונקציה''' אחד משלושת המרכיבים של [[פונקציה]], לצד [[תחום של פונקציה|תחום]] ו[[כלל התאמה]]{{הערה|{{קישור כללי|הכותב=אלי לוין|כותרת=אלגברה לינארית I|כתובת=https://books.google.co.il/books?id=eJ7-hcZnBhgC|תאריך=[[1993]]|עמודים=128|מידע נוסף=[[האוניברסיטה הפתוחה]], הגדרה 10.I}}}}. הטווח, הוא [[קבוצה (מתמטיקה)|קבוצת]] כל הפלטים שה[[פונקציה]] מחזירה. בסימון <math>f\colon X \rightarrow Y</math> הטווח של הפונקציה <math>f</math> הוא הקבוצה <math>Y</math>.

== הגדרה ==
באופן פורמלי, טווח הוא חלק מפונקציה <math>f</math>, אם <math>f</math> מוגדרת על ידי ה[[שלשה סדורה|שלשה הסדורה]] <math>(X, Y, G)</math> כאשר <math>X</math> הוא [[תחום של פונקציה|התחום]] של <math>f</math>, <math>Y</math> הטווח שלה ו-<math>G</math> כלל ההתאמה ביניהם. 

== ההבדל בין טווח לתמונה ==
טווח של פונקציה הוא מונח שונה מתמונה של פונקציה. התמונה מוגדרת להיות קבוצת כל האיברים מהצורה <math>f(x)</math>, כאשר <math>x</math> נע על פני איברי התחום <math>X</math>, נקרא [[תמונה של פונקציה|התמונה]] של <math>f</math>. באופן בלתי פורמלי, הטווח הוא קבוצת כל האיברים שהפונקציה יכולה להגיע אליהם, ואילו התמונה היא קבוצת כל האיברים שהפונקציה אכן מגיעה אליהם. היות שתמונה של פונקציה היא תת-קבוצה של הטווח שלה, היא לא בהכרח שווה לטווח. כלומר, ייתכן שקיימים איברים בטווח שלמשוואה <math>f(x)=y</math> אין פתרון עבורם. אם התמונה והטווח של <math>f</math> שווים, אז <math>f</math> היא [[פונקציה על]]{{הערה|{{קישור כללי|הכותב=אלי לוין|כותרת=אלגברה לינארית I|כתובת=https://books.google.co.il/books?id=eJ7-hcZnBhgC|תאריך=[[1993]]|עמודים=128|מידע נוסף=[[האוניברסיטה הפתוחה]], הגדרה 12.I}}}}.

== דוגמאות ==
עבור הפונקציה <math>f\colon \mathbb{R}\rightarrow\mathbb{R}</math> המוגדרת על ידי כלל ההתאמה <math>f(x)\ =\ x^2</math> הטווח של <math>f</math> הוא <math>\textstyle \mathbb R</math>, אבל <math>f</math> לא מגיעה לשום מספר שלילי. לפיכך התמונה של <math>f</math> היא הקבוצה <math>\textstyle \mathbb{R}^+_0</math>; כלומר, ה[[קטע (מתמטיקה)|קטע]] <math> [0,\infin)</math>.

דוגמה נוספת היא הפונקציה <math>g</math>: <math>g\colon\mathbb{R}\rightarrow\mathbb{R}^+_0</math> עם כלל ההתאמה <math>g(x)\ =\ x^2</math>.

אף על פי שהפונקציות <math>f</math> ו-<math>g</math> מתאימות לכל <math>x</math> בתחום את אותו ה-<math>y</math> בטווח, הן פונקציות שונות, מכיוון שיש להן טווחים שונים.

נגדיר פונקציה שלישית <math>h</math> על ידי כלל ההתאמה <math>h(x) = \sqrt x</math>. התחום של <math>h</math> לא יכול להיות <math>\textstyle \mathbb{R}</math>, אבל ניתן להגדיר בתור תחום את <math>\textstyle \mathbb{R}^+_0</math>: <math>h\colon\mathbb{R}^+_0\rightarrow\mathbb{R}</math>.

נבדוק את ה[[הרכבת פונקציות|הרכבות]] <math>h \circ f</math> ו-<math>h \circ g</math>.

<math>h \circ f</math> אינו שימושי. התמונה של <math>f</math> אינה ידועה; ידוע רק שהיא תת-קבוצה של <math>\textstyle \mathbb R</math>. מסיבה זו, ייתכן ש-<math>h</math>, כאשר היא מורכבת עם <math>f</math>, עשויה לקבל [[ארגומנט של פונקציה|ארגומנט]] שלא מוגדר עבורו פלט. שהרי [[מספרים חיוביים ושליליים|מספרים שליליים]] אינם איברים בתחום של <math>h</math>, שהיא [[שורש ריבועי|פונקציית השורש הריבועי]]. לכן הרכבה של פונקציה היא מושג שימושי רק כאשר הטווח של הפונקציה <math>f</math> היא תת-קבוצה של התחום של הפונקציה <math>g</math>.

הטווח משפיע על האם הפונקציה היא [[פונקציה על]]. הפונקציה היא על [[אם ורק אם]] הטווח שלה שווה לתמונה שלה. בדוגמה, <math>g</math> פונקציה על בעוד <math>f</math> לא. הטווח אינו משפיע על האם פונקציה היא [[פונקציה חד-חד-ערכית|חד חד ערכית]].

דוגמה שנייה להבדל בין טווח לתמונה מודגמת על ידי [[העתקה ליניארית|העתקות הליניאריות]] בין שני [[מרחב וקטורי|מרחבים וקטוריים]]. בפרט, כל העתקות הליניאריות מ-<math>\textstyle \mathbb{R}^2</math> לעצמו, שיכולות להיות מיוצגות על ידי [[מטריצה|מטריצות]] {{נוסחה|2×2}} עם מקדמים ממשיים. כל מטריצה מייצגת מפה עם תחום <math>\textstyle \mathbb{R}^2</math> וטווח <math>\textstyle \mathbb{R}^2</math>. עם זאת, התמונה אינה ודאית. לחלק מההעתקות עשויות להיות תמונה שווה לכל הטווח (במקרה זה המטריצות מ[[דרגה (אלגברה ליניארית)|דרגה]] {{נוסחה|2}}) אך רבות לא. במקום זאת ממפות ל[[תת מרחב|תת-מרחב]] קטן יותר (מטריצות מדרגה {{נוסחה|1}} או {{נוסחה|0}}). למשל, המטריצה:<math>T = \begin{pmatrix}
1 & 0 \\
1 & 0 \end{pmatrix}</math> מייצגת העתקה ליניארית הממפה את הנקודה <math>(x,y)</math> ל-<math>(x,x)</math>. הנקודה <math>(2,3)</math> אינה בתמונה של <math>T</math> אבל היא עדיין בטווח, שכן ההעתקות הליניאריות הן מ-<math>\textstyle \mathbb{R}^2</math> ל-<math>\textstyle \mathbb{R}^2</math>. בדיוק כמו כל המטריצות בגודל {{נוסחה|2×2}}, <math>T</math> מייצגת איבר בקבוצה זו. בחינת ההבדלים בין התמונה לטווח יכולה לעיתים קרובות להיות שימושית לגילוי מאפיינים של הפונקציה המדוברת. לדוגמה, ניתן להסיק של-<math>T</math> אין דרגה מלאה, מאחר שהתמונה שלה קטנה יותר מהטווח.

== תורת הקבוצות ==
ב[[תורת הקבוצות]] רצוי לאפשר לתחום של פונקציה להיות [[מחלקה (תורת הקבוצות)|מחלקה נאותה]] <math>X</math>, ובמקרה אלו, אין דבר כזה שלשה סדורה <math>(X, Y, G)</math>. עם הגדרה כזו אין לפונקציות טווח, אף על פי שחלק מהכותבים עדיין משתמשים בו באופן לא רשמי, לאחר הצגת פונקציה בצורה <math>f\colon X \rightarrow Y</math>.

== קישורים חיצוניים ==
* {{קישור כללי|הכותב=[[אביב צנזור]]|כותרת=קורס הכנה – מבוא לפונקציות|כתובת=https://www.youtube.com/playlist?list=PLCvkcH5OUmClFz8xQQx_8VfdPxFX63koX|תאריך=18 בנובמבר 2020|מידע נוסף="הטכניון מלמדים", בעמוד ה[[יוטיוב]] של [[הטכניון]]}}
* {{MathWorld}}

== הערות שוליים ==
{{הערות שוליים}}
[[קטגוריה:פונקציות מתמטיות]]