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