ברוכים הבאים ליחידת הלימוד על פונקציות, אחד מהמושגים היסודיים והחשובים ביותר במתמטיקה ובמדעי המחשב. פונקציות מאפשרות לנו לתאר קשרים והתאמות בין איברים של קבוצות שונות, והבנה מעמיקה שלהן היא קריטית להמשך לימודיכם. ביחידה זו נלמד את ההגדרות הפורמליות, נכיר את סוגי הפונקציות השונים, ונבין כיצד ניתן להרכיב פונקציות ולמצוא פונקציה הופכית.
הבסיס: מהי פונקציה?
פונקציה היא כלל התאמה חד-משמעי בין איברי קבוצה אחת לאיברי קבוצה אחרת. כדי שיחס ייחשב לפונקציה, עליו לקיים שני תנאים מהותיים:
- קיום: לכל איבר בקבוצת המוצא חייבת להיות התאמה.
- יחידות: לכל איבר בקבוצת המוצא יש התאמה אחת ויחידה בקבוצת היעד.
סוגי פונקציות: חד-חד ערכיות, על והפיכות
הבנת סוגי הפונקציות השונים חיונית להבנת תכונותיהן ולפתרון בעיות מתקדמות יותר.
פונקציה חד-חד ערכית (אינג'קטיבית)
פונקציה f: A → B היא חד-חד ערכית אם ורק אם לכל שני איברים שונים בתחום, התמונות שלהם שונות בטווח. כלומר, אם x₁ ≠ x₂ אז f(x₁) ≠ f(x₂). באופן שקול, אם f(x₁) = f(x₂) אז בהכרח x₁ = x₂. במילים פשוטות, אף איבר בטווח אינו "נפגע" על ידי יותר מאיבר אחד בתחום.
פונקציה על (סורג'קטיבית)
פונקציה f: A → B היא על אם ורק אם כל איבר בטווח B הוא תמונה של לפחות איבר אחד בתחום A. כלומר, לכל y ∈ B קיים x ∈ A כך ש-f(x) = y. במילים אחרות, התמונה של הפונקציה שווה לטווח (Im(f) = B).
פונקציה הפיכה (ביג'קטיבית)
פונקציה f: A → B היא הפיכה אם ורק אם היא גם חד-חד ערכית וגם על. פונקציה הפיכה יוצרת התאמה מושלמת בין איברי התחום לאיברי הטווח, כך שלכל איבר בתחום יש איבר יחיד בטווח, ולכל איבר בטווח יש איבר יחיד בתחום שמתאים לו. רק לפונקציות הפיכות קיימת פונקציה הופכית.
פעולות על פונקציות: הרכבה ופונקציה הופכית
הרכבת פונקציות
הרכבת פונקציות מאפשרת לנו לבנות פונקציות מורכבות יותר מפונקציות פשוטות. סדר ההרכבה חשוב מאוד, ובדרך כלל f ∘ g ≠ g ∘ f.
פונקציה הופכית
הפונקציה ההופכית "מבטלת" את פעולת הפונקציה המקורית. כלומר, (f⁻¹ ∘ f)(x) = x לכל x ∈ A ו-(f ∘ f⁻¹)(y) = y לכל y ∈ B. קיום פונקציה הופכית מובטח רק אם הפונקציה המקורית היא הפיכה (ביג'קטיבית).
שאלות לדיון
- האם יחס המגדיר לכל אדם את מספר הטלפון שלו הוא פונקציה? מדוע? (הניחו שאדם יכול להחזיק מספר טלפון אחד בלבד).
- תנו דוגמה לפונקציה f: ℕ → ℕ שהיא חד-חד ערכית אך אינה על. נמקו.
- בהינתן פונקציות f(x) = x+1 ו-g(x) = x², חשבו את (f ∘ g)(x) ואת (g ∘ f)(x). האם f ∘ g = g ∘ f?
- מדוע פונקציה חייבת להיות גם חד-חד ערכית וגם על כדי שתהיה לה פונקציה הופכית?
נקודות לתשובת מודל
- לגבי יחס אדם-טלפון: כן, זהו פונקציה. לכל אדם (איבר בתחום) יש מספר טלפון אחד ויחיד (איבר בטווח).
- לגבי דוגמה לפונקציה חד-חד ערכית שאינה על: f(n) = n+1. היא חד-חד ערכית כי אם n₁ ≠ n₂ אז n₁+1 ≠ n₂+1. היא אינה על כי האיבר 1 ∈ ℕ אינו תמונה של אף איבר בתחום (אין n ∈ ℕ כך ש-n+1 = 1).
- לגבי הרכבת פונקציות: (f ∘ g)(x) = f(g(x)) = f(x²) = x²+1. (g ∘ f)(x) = g(f(x)) = g(x+1) = (x+1)² = x²+2x+1. לא, f ∘ g ≠ g ∘ f.
- לגבי קיום פונקציה הופכית:
- אם הפונקציה אינה חד-חד ערכית, משמע ישנם שני איברים שונים בתחום הממופים לאותו איבר בטווח. הפונקציה ההופכית לא תוכל להחזיר ערך יחיד עבור אותו איבר בטווח, ולכן לא תהיה פונקציה.
- אם הפונקציה אינה על, משמע ישנם איברים בטווח שאינם ממופים מאף איבר בתחום. הפונקציה ההופכית לא תהיה מוגדרת עבור איברים אלה בטווח (שיהפכו לתחום הפונקציה ההופכית), ולכן לא תהיה פונקציה.