משפט הפונקציה ההפוכה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
←ניסוח: יותר מסודר |
←מקרה פרטי:
תיקון סוגריים קטן |
||
שורה 14: | שורה 14: | ||
לכן <math>\ f</math> מונוטונית עולה ממש בכל <math>\ (a-\delta,a+\delta)</math> גורר ש <math>\ f</math> חד חד ערכית בכל <math>\ (a-\delta,a+\delta)</math>. |
לכן <math>\ f</math> מונוטונית עולה ממש בכל <math>\ (a-\delta,a+\delta)</math> גורר ש <math>\ f</math> חד חד ערכית בכל <math>\ (a-\delta,a+\delta)</math>. |
||
מכאן ניתן להגדיר <math>f^{-1}:f((a-\delta,a+\delta)\longrightarrow(a-\delta,a+\delta)</math> |
מכאן ניתן להגדיר <math>f^{-1}:f((a-\delta,a+\delta))\longrightarrow(a-\delta,a+\delta)</math> |
||
הגזירה בכל נקודה פנימית ב <math>\ (a-\delta,a+\delta)</math> על פי הגדרת הנגזרת של [[פונקציה הפיכה]]: |
הגזירה בכל נקודה פנימית ב <math>\ (a-\delta,a+\delta)</math> על פי הגדרת הנגזרת של [[פונקציה הפיכה]]: |
||
<math>\left(f^{-1}\right)'(x)=\frac{1}{f'\left(f^{-1}(x)\right)}</math> |
<math>\left(f^{-1}\right)'(x)=\frac{1}{f'\left(f^{-1}(x)\right)}</math> |
גרסה מ־16:06, 9 בספטמבר 2014
במתמטיקה, משפט הפונקציה ההפוכה, מגדיר תנאי מספיק לקיום סביבה של נקודה בה פונקציה רציפה היא הפיכה.
ניסוח
תהי קבוצה פתוחה ותהי גזירה ברציפות. תהי עבורה היעקוביאן בנקודה . קיימת קבוצה פתוחה המקיימת , כך ש היא גם כן פתוחה.
מעתיקה את חד חד ערכית על והפונקציה ההפוכה גם כן גזירה ברציפות ומטריצת יעקובי של מקיימת: לכל
מקרה פרטי
זהי הכללה של המקרה הפרטי בו : תהי גזירה ברציפות. תהי נקודה המקיימת
מעובדה זו ומרציפות הנגזרת ניתן להסיק שקיימת שלכל ,.
נניח כי אז מהיות רציפה, לכל , שהרי אחרת היה קיים , ממשפט ערך הביינים.
לכן מונוטונית עולה ממש בכל גורר ש חד חד ערכית בכל . מכאן ניתן להגדיר הגזירה בכל נקודה פנימית ב על פי הגדרת הנגזרת של פונקציה הפיכה: כי ובקטע זה הנגזרת של שונה מ-0.