פונקציה הפיכה

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
Inverse Functions Domain and Range.png
Nuvola apps edu mathematics blue-p.svg

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

במתמטיקה, פונקציה הפיכה היא פונקציה בעלת פונקציה שנייה שפעולתה הפוכה לזו של הראשונה, כך שכאשר שתי הפונקציות מופעלות בזו אחר זו על ערך כלשהו מוחזר הערך שעליו הן הופעלו. בלשון מעט יותר פורמלית: הרכבתן של הפונקציות נותנת את פונקציית הזהות.

בקבוצה עליה לא מוגדר כל מבנה מתמטי נוסף, על מנת שניתן יהיה להפוך את פעולתה של פונקציה על ידי פונקציה אחרת, צריכים להתקיים שני תנאים: ראשית, הפונקציה שמבקשים להפוך צריכה להיות חד-חד-ערכית. זאת כי אם שני ערכים שונים מועתקים לערך יחיד, לא ברור לאן הפונקציה ההפוכה תעתיק ערך זה, וכל ניסיון לבחור ערך שרירותי יוביל לכך שהרכבת הפונקציה וההופכית שלה לא יתנו את פונקציית הזהות. ניתן לחשוב על כך בצורה זו: אם הפונקציה אינה חד-חד-ערכית, קיים איבוד של מידע בזמן הפעלת הפונקציה, ולכן לא ניתן לשחזר את פעולתה.

שנית, הפונקציה שאותה מבקשים להפוך צריכה להיות על הטווח שלה. זאת כי אנחנו רוצים להגדיר את הפונקציה ההופכית על טווח זה, מה שמחייב אותנו להגדיר אותה עבור כל ערך בטווח. אם הפונקציה שלנו אינה על, הרי שקיים איבר בטווח שלא מתקבל על ידה, ואז שוב לא ניתן להגדיר את ההופכית על ערך זה מבלי להגיע למצב שבו הרכבת הפונקציות אינה פונקציית הזהות. ניתן לחשוב על כך בצורה זו: אם הפונקציה אינה על, היא אינה מספקת מספיק מידע מלכתחילה כדי שניתן יהיה להגדיר לה הופכית על הטווח כולו. עם זאת, בעיה זו "חמורה פחות" מאשר מחסור בחד חד ערכיות, שכן תמיד ניתן לצמצם את תחום הגדרת ההופכית לקבוצת הערכים שמתקבלת על ידי הפונקציה (התמונה שלה) ובתחום זו הפונקציה הפיכה.

הגדרה פורמלית[עריכת קוד מקור | עריכה]

תהא \ f:A\to B פונקציה חד-חד-ערכית ועל. אז קיימת פונקציה \ f^{-1}:B\to A שנקראת ההופכית שלה, כך שמתקיים:

\ \forall a\isin A:f^{-1}(f(a))=a \quad , \quad \forall b\isin B:f(f^{-1}(b))=b.

לכל פונקציה הפיכה קיימת פונקציה הופכית יחידה, מה שמצדיק את השימוש בביטוי "ההופכית". כמו כן, כל פונקציה הפוכה גם היא פונקציה חד חד ערכית ועל. הרכבת שתי פונקציות הפיכות מחזירה פונקציה הפיכה ולכן אוסף כל הפונקציות על קבוצה A היא חבורה המכונה החבורה הסימטרית של A. אם קיימת פונקציה הפיכה מהקבוצה A אל הקבוצה B נאמר של-A ול-B יש את אותה עוצמה. כיוון שקיום פונקציה הפיכה בין A ל-B מחייב קיום של פונקציה הפיכה בכיוון ההפוך וכן בגלל שהרכבת פונקציות הפיכות היא הפיכה - זהו יחס שקילות.

יש לשים לב כי משתמשים בסימון \ f^{-1}(A) גם כדי לתאר את המקור של קבוצה על ידי הפונקציה \ f , וסימון זה נהוג גם כאשר הפונקציה אינה הפיכה. כאשר הפונקציה היא הפיכה סימון זה מתלכד עם המשמעות שהוצגה כאן: המקור של קבוצה על ידי \ f הוא בדיוק תמונת אותה קבוצה על ידי \ f^{-1} .

דוגמאות[עריכת קוד מקור | עריכה]

Inverse Square Graph.png
  • עבור הפונקציה המתאימה לכל אדם את מספר תעודת הזהות שלו הפונקציה ההופכית היא הפונקציה המתאימה לכל מספר תעודת זהות את האדם שזה מספרו.
  • עבור הפונקציה הממשית \ f(x)=x+1 הפונקציה ההופכית היא \ f^{-1}(x)=x-1 . הפונקציה הראשונה "מזיזה" את הנקודה שהיא מקבלת ימינה, והפונקציה השנייה "מזיזה" אותה שמאלה בשיעור זהה.
  • הפונקציה \ f(x)=x^2 אינה חד חד ערכית. למשל, \ f(1)=f(-1)=1 . למרות זאת רוצים להגדיר לה הופכית, ולכן מסתפקים בצמצום התחום של הפונקציה רק למספרים הלא שליליים. בתחום זה הפונקציה חד חד ערכית, וקיימת לה הופכית: \ f^{-1}(x)=\sqrt{x} .
  • הפונקציה ההפוכה לפונקציית הלוגריתם הטבעי \ \ln(x) היא פונקציית האקספוננט: \ e^x . מכיוון שפונקציית האקספוננט מחזירה ערכים חיוביים בלבד היא אינה פונקציה על כאשר מסתכלים על הטווח בתור הישר הממשי כולו, ולכן לא ניתן להגדיר את הלוגריתם הטבעי על הישר הממשי כולו, והוא מוגדר רק עבור ערכים הגדולים מאפס.
  • הפונקציות ההפוכות לפונקציות הטריגונומטריות \ \sin(x),\cos(x),\tan(x) בהתאמה הן הפונקציות \ \arcsin(x),\arccos(x),\arctan(x) (שמסומנות לעתים גם \ \sin^{-1}(x),\cos^{-1}(x),\tan^{-1}(x) ). גם הפונקציות הטריגונומטריות אינן חד חד ערכיות ולכן מצמצמים אותן לתחום שבו הן חד חד ערכיות על מנת להגדיר את ההופכיות.
  • כל איזומורפיזם בין קבוצה A לקבוצה B הוא הפיך והפונקציה ההופכית לו היא איזמורפיזם מ-B ל-A.

נגזרת של פונקציה הפיכה[עריכת קוד מקור | עריכה]

את הנגזרת של הפונקציה ההפיכה אפשר לחשב גם בלי להפוך את הנגזרת ישירות. הנגזרת של הפונקציה \ f^{-1}(x) ניתנת לחישוב על פי הנוסחה:

\ (f^{-1})'(b) = \frac{1}{f'(f^{-1}(b))}

לדוגמה עבור הפונקציה \ f(x) = \sqrt{x} נבחר נקודה \ (b^{2},b). בפונקציה ההפיכה קיימת נקודה \ (b,b^{2}) כלומר: \ f^{-1}(b) = b^{2}

הנגזרת של \ f(x) בנקודה \ x = b^{2} היא \ f'(x) = (\sqrt{x})' = \frac{1}{2 \sqrt{x}} = \frac{1}{2 \sqrt{b^{2}}} = \frac{1}{2b}

\ \frac{1}{f'(x)} = 2b = (f^{-1})'(b)

בניסוח לפי כתיב לייבניץ:

\ \frac{df^{-1}}{dx} |_{x=b} = \frac{1}{\frac{df}{dx}} |_{x = f^{-1}(b)}