व्युत्क्रम फलन प्रमेय: Difference between revisions
No edit summary |
No edit summary |
||
Line 12: | Line 12: | ||
ऐसा हो सकता है कि कोई फलन <math>f</math> एक बिंदु <math>a</math> के निकट इंजेक्टिव हो सकता है जबकि <math>f'(a) = 0</math>। एक उदाहरण <math>f(x) = (x - a)^3</math> है। वास्तव में, ऐसे फलन <math>b = f(a)</math> के लिए, अवकलज को अलग नहीं किया जा सकता है, चूँकि यदि <math>f^{-1}</math>, <math>b</math> पर अवकलनीय होता, तो, श्रृंखला नियम द्वारा, <math>1 = (f^{-1} \circ f)'(a) = (f^{-1})'(b)f'(a)</math>, जो <math>f'(a) \ne 0</math> दर्शाता है। (होलोमोर्फिक फलन के लिए स्थिति अलग है; नीचे होलोमोर्फिक व्युत्क्रम फलन प्रमेय देखें।) | ऐसा हो सकता है कि कोई फलन <math>f</math> एक बिंदु <math>a</math> के निकट इंजेक्टिव हो सकता है जबकि <math>f'(a) = 0</math>। एक उदाहरण <math>f(x) = (x - a)^3</math> है। वास्तव में, ऐसे फलन <math>b = f(a)</math> के लिए, अवकलज को अलग नहीं किया जा सकता है, चूँकि यदि <math>f^{-1}</math>, <math>b</math> पर अवकलनीय होता, तो, श्रृंखला नियम द्वारा, <math>1 = (f^{-1} \circ f)'(a) = (f^{-1})'(b)f'(a)</math>, जो <math>f'(a) \ne 0</math> दर्शाता है। (होलोमोर्फिक फलन के लिए स्थिति अलग है; नीचे होलोमोर्फिक व्युत्क्रम फलन प्रमेय देखें।) | ||
एक से अधिक चर वाले फलनों के लिए, प्रमेय कहता है कि यदि {{Mvar|f}} एक | एक से अधिक चर वाले फलनों के लिए, प्रमेय कहता है कि यदि {{Mvar|f}} एक संवृत उपसमुच्चय से निरंतर भिन्न होने वाला फलन है <math>A</math> का <math>\mathbb{R}^n</math> में <math>\R^n</math>, और [[कुल व्युत्पन्न]] <math>f'(a)</math> एक बिंदु पर उलटा है {{Mvar|a}} (अर्थात, जैकोबियन आव्यूह का निर्धारक और का निर्धारक {{Mvar|f}} पर {{Mvar|a}} गैर-शून्य है), तो प्रतिवेश उपस्थित हैं <math>U</math> का <math>a</math> में <math>A</math> और <math>V</math> का <math>b = f(a)</math> ऐसा है कि <math>f(U) \subset V</math> और <math>f : U \to V</math> वस्तुनिष्ठ है। <ref name="Hörmander">प्रमेय 1.1.7. में {{cite book|title=रैखिक आंशिक विभेदक ऑपरेटरों का विश्लेषण I: वितरण सिद्धांत और फूरियर विश्लेषण|series=Classics in Mathematics|first=Lars|last= Hörmander|author-link=Lars Hörmander|publisher=Springer|year= 2015|edition=2nd| | ||
isbn= 9783642614972}}</ref>लेखन <math>f=(f_1,\ldots,f_n)</math>, इसका अर्थ यह है कि की प्रणाली {{Mvar|n}} समीकरण <math>y_i = f_i(x_1, \dots, x_n)</math> के लिए एक अनोखा समाधान <math>x_1, \dots, x_n</math> है, <math>y_1, \dots, y_n</math> के अनुसार जब <math>x \in U, y \in V</math>। ध्यान दें कि प्रमेय यह नहीं कहता है <math>f</math> जहां छवि पर विशेषण <math>f'</math> उलटा है लेकिन यह स्थानीय रूप से विशेषण <math>f'</math> उलटा है। | isbn= 9783642614972}}</ref>लेखन <math>f=(f_1,\ldots,f_n)</math>, इसका अर्थ यह है कि की प्रणाली {{Mvar|n}} समीकरण <math>y_i = f_i(x_1, \dots, x_n)</math> के लिए एक अनोखा समाधान <math>x_1, \dots, x_n</math> है, <math>y_1, \dots, y_n</math> के अनुसार जब <math>x \in U, y \in V</math>। ध्यान दें कि प्रमेय यह नहीं कहता है <math>f</math> जहां छवि पर विशेषण <math>f'</math> उलटा है लेकिन यह स्थानीय रूप से विशेषण <math>f'</math> उलटा है। | ||
Line 19: | Line 19: | ||
दूसरे शब्दों में, यदि <math>Jf^{-1}(b), Jf(a)</math> जैकोबियन आव्यूह का प्रतिनिधित्व <math>(f^{-1})'(b), f'(a)</math> कर रहे हैं, इसका अर्थ यह है: | दूसरे शब्दों में, यदि <math>Jf^{-1}(b), Jf(a)</math> जैकोबियन आव्यूह का प्रतिनिधित्व <math>(f^{-1})'(b), f'(a)</math> कर रहे हैं, इसका अर्थ यह है: | ||
:<math>Jf^{-1}(b) = Jf(a)^{-1}.</math> | :<math>Jf^{-1}(b) = Jf(a)^{-1}.</math> | ||
प्रमेय का कठिन हिस्सा अस्तित्व और भिन्नता <math>f^{-1}</math> है। इसे मानते हुए, व्युत्क्रम व्युत्पन्न सूत्र प्रयुक्त [[श्रृंखला नियम]] का <math>f^{-1}\circ f = I</math> अनुसरण करता है। (वास्तव में, <math>I = (f^{-1} \circ f)^'(a) = (f^{-1})'(b) \circ f'(a).</math>) चूँकि व्युत्क्रम लेना अपरिमित रूप से भिन्न है, व्युत्क्रम के अवकलज का सूत्र दर्शाता है कि यदि <math>f</math> | प्रमेय का कठिन हिस्सा अस्तित्व और भिन्नता <math>f^{-1}</math> है। इसे मानते हुए, व्युत्क्रम व्युत्पन्न सूत्र प्रयुक्त [[श्रृंखला नियम]] का <math>f^{-1}\circ f = I</math> अनुसरण करता है। (वास्तव में, <math>I = (f^{-1} \circ f)^'(a) = (f^{-1})'(b) \circ f'(a).</math>) चूँकि व्युत्क्रम लेना अपरिमित रूप से भिन्न है, व्युत्क्रम के अवकलज का सूत्र दर्शाता है कि यदि <math>f</math> निरंतर है <math>k</math> समय अवकलनीय, बिंदु पर व्युत्क्रमणीय व्युत्पन्न के साथ {{Mvar|a}}, तो व्युत्क्रम भी सतत् है <math>k</math> समय अलग-अलग। यहाँ <math>k</math> एक धनात्मक पूर्णांक है या <math>\infty</math>. | ||
व्युत्क्रम फलन प्रमेय के दो प्रकार हैं।<ref name="Hörmander" /> एक निरंतर भिन्न मानचित्र दिया गया <math>f : U \to \mathbb{R}^m</math>, पहला है | व्युत्क्रम फलन प्रमेय के दो प्रकार हैं।<ref name="Hörmander" /> एक निरंतर भिन्न मानचित्र दिया गया <math>f : U \to \mathbb{R}^m</math>, पहला है | ||
*व्युत्पन्न <math>f'(a)</math> विशेषण है (अर्थात, इसका प्रतिनिधित्व करने वाले जैकोबियन आव्यूह | *व्युत्पन्न <math>f'(a)</math> विशेषण है (अर्थात, इसका प्रतिनिधित्व करने वाले जैकोबियन आव्यूह की रैंक <math>m</math> है) यदि और केवल यदि <math>b = f(a)</math> के निकट <math>V</math> पर निरंतर भिन्न फलन <math>g</math> उपस्थित है, जैसे कि <math>b</math> के पास <math>f \circ g = I</math>, | ||
और दूसरा है | और दूसरा है | ||
*व्युत्पन्न <math>f'(a)</math> इंजेक्टिव है यदि और केवल यदि | *व्युत्पन्न <math>f'(a)</math> इंजेक्टिव है, यदि और केवल यदि <math>b = f(a)</math> के निकट <math>V</math> पर निरंतर भिन्न फलन <math>g</math> उपस्थित है जैसे कि <math>a</math> के निकट <math>g \circ f = I</math>। | ||
पहली स्थिति में (जब <math>f'(a)</math> विशेषण है), बिंदु <math>b = f(a)</math> को नियमित मान कहा जाता है। चूँकि <math>m = \dim \ker(f'(a)) + \dim \operatorname{im}(f'(a))</math>, पहली स्थिति यह कहने के बराबर है कि <math>b = f(a)</math> महत्वपूर्ण बिंदु <math>a</math> की छवि में नहीं है (महत्वपूर्ण बिंदु <math>a</math> है जैसे कि <math>f'(a)</math> का कर्नेल गैर-शून्य है)। पहली स्थिति में कथन [[विसर्जन प्रमेय]] का एक विशेष स्थिति है। | |||
ये प्रकार व्युत्क्रम फलन प्रमेय के पुनर्कथन हैं। | ये प्रकार व्युत्क्रम फलन प्रमेय के पुनर्कथन हैं। वास्तव में, पहली स्थिति में जब <math>f'(a)</math> विशेषण है, तो हम एक (विशेषण) रेखीय मानचित्र <math>T</math> पा सकते हैं, जैसे कि <math>f'(a) \circ T = I</math>। <math>h(x) = a + Tx</math> परिभाषित करना ,है इसलिए हमारे पास: | ||
:<math>(f \circ h)'(0) = f'(a) \circ T = I.</math> | :<math>(f \circ h)'(0) = f'(a) \circ T = I.</math> | ||
इस प्रकार, व्युत्क्रम फलन प्रमेय | इस प्रकार, व्युत्क्रम फलन प्रमेय के अनुसार, <math>f \circ h</math> का व्युत्क्रम <math>0</math> के निकट है; अर्थात, <math>f \circ h \circ (f \circ h)^{-1} = I</math> <math>b</math> के पास में है। दूसरी स्थिति (<math>f'(a)</math> इंजेक्टिव है) इसी तरह से देखा जाता है। | ||
==उदाहरण== | ==उदाहरण== | ||
सदिश-वैल्यू फलन पर विचार करें <math>F:\mathbb{R}^2\to\mathbb{R}^2\!</math> द्वारा परिभाषित: | सदिश-वैल्यू फलन पर विचार करें, <math>F:\mathbb{R}^2\to\mathbb{R}^2\!</math> द्वारा परिभाषित: | ||
:<math> | :<math> | ||
F(x,y)= | F(x,y)= | ||
Line 55: | Line 55: | ||
e^{2x}. | e^{2x}. | ||
\,\!</math> | \,\!</math> | ||
निर्धारक <math>e^{2x}\!</math> सर्वत्र शून्येतर है। इस प्रकार प्रमेय प्रत्येक | निर्धारक <math>e^{2x}\!</math> सर्वत्र शून्येतर है। इस प्रकार प्रमेय प्रत्येक <math>\mathbb{R}^2\!</math> में बिंदु {{Mvar|p}} के लिए इसकी गारंटी देता है, वहाँ एक प्रतिवेश {{Mvar|p}} उपस्थित है, जिस पर {{Mvar|F}} व्युत्क्रमणीय है। इसका यह अर्थ नहीं है कि {{Mvar|F}} अपने संपूर्ण डोमेन पर विपरीत है: इस स्थिति में {{Mvar|F}} [[इंजेक्शन|इंजेक्टिव]] भी नहीं है क्योंकि यह आवधिक है: <math>F(x,y)=F(x,y+2\pi)\!</math>। | ||
== प्रति-उदाहरण == | == प्रति-उदाहरण == | ||
[[File:Inv-Fun-Thm-3.png|thumb|फलनक्रम <math>f(x)=x+2 x^2\sin(\tfrac1x)</math> रेखा के पास एक द्विघात लिफाफे के अंदर घिरा हुआ है | [[File:Inv-Fun-Thm-3.png|thumb|फलनक्रम <math>f(x)=x+2 x^2\sin(\tfrac1x)</math> रेखा <math>y=x</math> के पास एक द्विघात लिफाफे के अंदर घिरा हुआ है, इसलिए <math>f'(0)=1</math>। फिर भी, इसमें स्थानीय अधिकतम/न्यूनतम बिंदु <math>x=0</math> पर जमा हो रहे हैं, इसलिए यह किसी भी आसपास के अंतराल पर एक-से-एक नहीं है।]]यदि कोई इस धारणा को छोड़ देता है कि व्युत्पन्न निरंतर है, तो फलन को अब व्युत्क्रमणीय होने की आवश्यकता नहीं है। उदाहरण के लिए <math>f(x) = x + 2x^2\sin(\tfrac1x)</math> और <math>f(0)= 0</math> असतत व्युत्पन्न है। | ||
<math>f'\!(x) = 1 -2\cos(\tfrac1x) + 4x\sin(\tfrac1x)</math> और <math>f'\!(0) = 1</math>, जो | <math>f'\!(x) = 1 -2\cos(\tfrac1x) + 4x\sin(\tfrac1x)</math> और <math>f'\!(0) = 1</math>, जो इच्छानुसार ढंग से लगभग <math>x=0</math> के निकट है। ये महत्वपूर्ण बिंदु <math>f</math> के स्थानीय अधिकतम/न्यूनतम बिंदु हैं , इसलिए <math>x=0</math> वाले किसी भी अंतराल पर <math>f</math> एक-से-एक (और उलटा नहीं) नहीं है। सहज रूप से, ढलान <math>f'\!(0)=1</math> आस-पास के बिंदुओं तक नहीं फैलता है, जहां ढलान अशक्त लेकिन तीव्र दोलन द्वारा नियंत्रित होते हैं। | ||
==प्रमाण की विधियाँ== | ==प्रमाण की विधियाँ== | ||
एक महत्वपूर्ण परिणाम के रूप में, व्युत्क्रम फलन प्रमेय को कई प्रमाण दिए गए हैं। पाठ्यपुस्तकों में सबसे अधिक देखा जाने वाला प्रमाण [[संकुचन मानचित्रण]] सिद्धांत पर निर्भर करता है, जिसे [[बानाच निश्चित-बिंदु प्रमेय]] के रूप में भी जाना जाता है (जिसे साधारण अंतर समीकरणों के समाधान के पिकार्ड-लिंडेलोफ़ प्रमेय के प्रमाण में महत्वपूर्ण चरण के रूप में भी उपयोग किया जा सकता है)।<ref>{{cite book |first=Robert C. |last=McOwen |title=Partial Differential Equations: Methods and Applications |location=Upper Saddle River, NJ |publisher=Prentice Hall |year=1996 |isbn=0-13-121880-8 |pages=218–224 |chapter=Calculus of Maps between Banach Spaces |chapter-url=https://books.google.com/books?id=TuNHsNC1Yf0C&pg=PA218 }}</ref><ref>{{Cite web |url=https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ |first=Terence |last=Tao |author-link=Terence Tao |title=हर जगह अलग-अलग मानचित्रों के लिए व्युत्क्रम फ़ंक्शन प्रमेय|date=September 12, 2011 |access-date=2019-07-26 }}</ref> | एक महत्वपूर्ण परिणाम के रूप में, व्युत्क्रम फलन प्रमेय को कई प्रमाण दिए गए हैं। पाठ्यपुस्तकों में सबसे अधिक देखा जाने वाला प्रमाण [[संकुचन मानचित्रण]] सिद्धांत पर निर्भर करता है, जिसे [[बानाच निश्चित-बिंदु प्रमेय]] के रूप में भी जाना जाता है (जिसे साधारण अंतर समीकरणों के समाधान के पिकार्ड-लिंडेलोफ़ प्रमेय के प्रमाण में महत्वपूर्ण चरण के रूप में भी उपयोग किया जा सकता है)।<ref>{{cite book |first=Robert C. |last=McOwen |title=Partial Differential Equations: Methods and Applications |location=Upper Saddle River, NJ |publisher=Prentice Hall |year=1996 |isbn=0-13-121880-8 |pages=218–224 |chapter=Calculus of Maps between Banach Spaces |chapter-url=https://books.google.com/books?id=TuNHsNC1Yf0C&pg=PA218 }}</ref><ref>{{Cite web |url=https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ |first=Terence |last=Tao |author-link=Terence Tao |title=हर जगह अलग-अलग मानचित्रों के लिए व्युत्क्रम फ़ंक्शन प्रमेय|date=September 12, 2011 |access-date=2019-07-26 }}</ref> | ||
चूंकि निश्चित बिंदु प्रमेय अनंत-आयामी (बैनाच | चूंकि निश्चित बिंदु प्रमेय अनंत-आयामी (बैनाच समिष्ट) सेटिंग्स में प्रयुक्त होता है, यह प्रमाण व्युत्क्रम फलन प्रमेय के अनंत-आयामी संस्करण को तुरंत सामान्यीकृत करता है<ref>{{Cite web|url=https://r-grande.github.io/Expository/Inverse%20Function%20Theorem.pdf |title=व्युत्क्रम फलन प्रमेय|last=Jaffe|first=Ethan}}</ref> (व्युत्क्रम फलन प्रमेय सामान्यीकरण नीचे देखें)। | ||
परिमित आयामों में एक वैकल्पिक प्रमाण एक [[कॉम्पैक्ट सेट]] पर फलनों के लिए [[चरम मूल्य प्रमेय]] पर निर्भर करता है।<ref name="spivak_manifolds">{{harvnb|Spivak|1965|loc=pages 31–35 }}</ref> | परिमित आयामों में एक वैकल्पिक प्रमाण एक [[कॉम्पैक्ट सेट]] पर फलनों के लिए [[चरम मूल्य प्रमेय]] पर निर्भर करता है।<ref name="spivak_manifolds">{{harvnb|Spivak|1965|loc=pages 31–35 }}</ref> | ||
फिर भी एक अन्य प्रमाण न्यूटन की विधि का उपयोग करता है, जिसमें प्रमेय की एक प्रभावी विधि प्रदान करने का लाभ होता है: फलन के व्युत्पन्न पर सीमाएं प्रतिवेश के आकार का अनुमान लगाती हैं जिस पर फलन | फिर भी एक अन्य प्रमाण न्यूटन की विधि का उपयोग करता है, जिसमें प्रमेय की एक प्रभावी विधि प्रदान करने का लाभ होता है: फलन के व्युत्पन्न पर सीमाएं प्रतिवेश के आकार का अनुमान लगाती हैं, जिस पर फलन विपरीत होता है।<ref name="hubbard_hubbard">{{cite book |first1=John H. |last1=Hubbard |author-link=John H. Hubbard |first2=Barbara Burke |last2=Hubbard|author2-link=Barbara Burke Hubbard |title=वेक्टर विश्लेषण, रैखिक बीजगणित और विभेदक रूप: एक एकीकृत दृष्टिकोण|edition=Matrix |year=2001 }}</ref> | ||
=== क्रमिक सन्निकटन का उपयोग करते हुए एक प्रमाण === | === क्रमिक सन्निकटन का उपयोग करते हुए एक प्रमाण === | ||
अस्तित्व को सिद्ध करने के लिए, एक एफ़िन परिवर्तन के बाद यह माना जा सकता है कि <math>f(0)=0</math> और <math>f^\prime(0)=I</math>, | अस्तित्व को सिद्ध करने के लिए, एक एफ़िन परिवर्तन के बाद यह माना जा सकता है कि <math>f(0)=0</math> और <math>f^\prime(0)=I</math>, जिससे <math> a=b=0</math>। | ||
माध्य मान प्रमेय द्वारा | माध्य मान प्रमेय द्वारा सदिश-मूल्यवान फलनों के लिए माध्य मान प्रमेय|किसी फलन के लिए सदिश-मूल्यवान फलनों के लिए माध्य मान प्रमेय <math>u:[0,1]\to\mathbb R^m</math>, <math display="inline">\|u(1)-u(0)\|\le \sup_{0\le t\le 1} \|u^\prime(t)\|</math>। सेटिंग <math>u(t)=f(x+t(x^\prime -x)) - x-t(x^\prime-x)</math>, यह इस प्रकार है कि | ||
:<math>\|f(x) - f(x^\prime) - x + x^\prime\| \le \|x -x^\prime\|\,\sup_{0\le t \le 1} \|f^\prime(x+t(x^\prime -x))-I\|.</math> | :<math>\|f(x) - f(x^\prime) - x + x^\prime\| \le \|x -x^\prime\|\,\sup_{0\le t \le 1} \|f^\prime(x+t(x^\prime -x))-I\|.</math> | ||
अब चुनें <math>\delta>0</math> | अब चुनें <math>\delta>0</math> जिससे <math display="inline">\|f'(x) - I\| < {1\over 2}</math> के लिए <math>\|x\|< \delta</math>। लगता है कि <math>\|y\|<\delta/2</math> और परिभाषित करें <math>x_n</math> आगमनात्मक रूप से <math>x_0=0</math> और <math> x_{n+1}=x_n + y - f(x_n)</math>। धारणाएँ दर्शाती हैं कि यदि <math> \|x\|, \,\, \|x^\prime\| < \delta</math> तब | ||
:<math>\|f(x)-f(x^\prime) - x + x^\prime\| \le \|x-x^\prime\|/2</math>. | :<math>\|f(x)-f(x^\prime) - x + x^\prime\| \le \|x-x^\prime\|/2</math>. | ||
विशेष रूप से <math>f(x)=f(x^\prime)</math> तात्पर्य <math>x=x^\prime</math>. आगमनात्मक योजना में <math>\|x_n\| <\delta</math> | विशेष रूप से <math>f(x)=f(x^\prime)</math> तात्पर्य <math>x=x^\prime</math>।. आगमनात्मक योजना में <math>\|x_n\| <\delta</math> | ||
और <math>\|x_{n+1} - x_n\| < \delta/2^n</math> | और <math>\|x_{n+1} - x_n\| < \delta/2^n</math>। इस प्रकार <math>(x_n)</math> एक [[कॉची अनुक्रम]] <math>x</math> है, जो प्रवृत्त होता है। निर्माण द्वारा <math>f(x)=y</math> आवश्यकता अनुसार। | ||
उसे जांचने के लिए <math>g=f^{-1}</math> सी है<sup>1</sup>, लिखो <math>g(y+k) = x+h</math> | उसे जांचने के लिए <math>g=f^{-1}</math> सी है<sup>1</sup>, लिखो <math>g(y+k) = x+h</math> जिससे <math>f(x+h)=f(x)+k</math>। उपरोक्त असमानताओं से, <math>\|h-k\| <\|h\|/2</math> जिससे <math>\|h\|/2<\|k\| < 2\|h\|</math>। दूसरी ओर यदि <math>A=f^\prime(x)</math>, तब <math>\|A-I\|<1/2</math>। <math>B=I-A</math> के लिए ज्यामितीय श्रृंखला का उपयोग करना, यह इस प्रकार है कि <math>\|A^{-1}\| < 2</math>। परन्तु फिर | ||
<math>f(x+h)=f(x)+k</math> | |||
दूसरी ओर यदि <math>A=f^\prime(x)</math>, तब <math>\|A-I\|<1/2</math> | |||
:<math> {\|g(y+k) -g(y) - f^\prime(g(y))^{-1}k \| \over \|k\|} | :<math> {\|g(y+k) -g(y) - f^\prime(g(y))^{-1}k \| \over \|k\|} | ||
= {\|h -f^\prime(x)^{-1}[f(x+h)-f(x)]\| \over \|k\|} | = {\|h -f^\prime(x)^{-1}[f(x+h)-f(x)]\| \over \|k\|} | ||
\le 4 {\|f(x+h) - f(x) -f^\prime(x)h\|\over \|h\|} </math> | \le 4 {\|f(x+h) - f(x) -f^\prime(x)h\|\over \|h\|} </math> | ||
<math>k</math> और <math>h</math>, 0 की ओर प्रवृत्त होता है, यह प्रमाणित करते हुए कि 0 की ओर <math>g</math> C<sup>1</sup> <math>g^\prime(y)=f^\prime(g(y))^{-1}</math> के साथ प्रवृत्त होते हैं। | |||
उपरोक्त प्रमाण एक परिमित-आयामी स्थान के लिए प्रस्तुत किया गया है, लेकिन बनच स्थानों के लिए भी समान रूप से प्रयुक्त होता है। यदि एक व्युत्क्रमणीय फलन <math>f</math> C<sup>k</sup> है <math>k>1</math> के साथ , तो इसका उलटा भी वैसा ही है। यह इस तथ्य का उपयोग करके प्रेरण द्वारा अनुसरण करता है कि मानचित्र <math>F(A)=A^{-1}</math> ऑपरेटरों पर C<sup>k</sup> है, किसी के लिए भी <math>k</math> (परिमित-आयामी | उपरोक्त प्रमाण एक परिमित-आयामी स्थान के लिए प्रस्तुत किया गया है, लेकिन बनच स्थानों के लिए भी समान रूप से प्रयुक्त होता है। यदि एक व्युत्क्रमणीय फलन <math>f</math> C<sup>k</sup> है <math>k>1</math> के साथ, तो इसका उलटा भी वैसा ही है। यह इस तथ्य का उपयोग करके प्रेरण द्वारा अनुसरण करता है कि मानचित्र <math>F(A)=A^{-1}</math> ऑपरेटरों पर C<sup>k</sup> है, किसी के लिए भी <math>k</math> (परिमित-आयामी स्थिति में यह एक प्राथमिक तथ्य है क्योंकि आव्यूह का व्युत्क्रम उसके निर्धारक द्वारा विभाजित [[सहायक मैट्रिक्स|सहायक आव्यूह]] के रूप में दिया जाता है)।<ref name="Hörmander" /><ref>{{cite book|title=विभेदक गणना|language=fr|first=Henri|last= Cartan|author-link= Henri Cartan|publisher=[[Éditions Hermann|Hermann]]|year= 1971|isbn=9780395120330 |pages=55–61}}</ref> यहां प्रमाण की विधि [[ हेनरी कर्तन | हेनरी कर्तन]], जीन डियूडोने, [[सर्ज लैंग]], [[रोजर गोडेमेंट]] और लार्स होर्मेंडर की पुस्तकों में पाई जा सकती है। | ||
=== संकुचन मानचित्रण सिद्धांत का उपयोग करते हुए एक प्रमाण === | === संकुचन मानचित्रण सिद्धांत का उपयोग करते हुए एक प्रमाण === | ||
Line 138: | Line 136: | ||
&f_n(x, y) = 0\end{align}</math> | &f_n(x, y) = 0\end{align}</math> | ||
के लिए <math>y</math> के अनुसार <math>x</math>. यद्यपि अधिक सामान्य, प्रमेय वास्तव में व्युत्क्रम फलन प्रमेय का परिणाम है। सबसे पहले, अंतर्निहित फलन प्रमेय का सटीक कथन इस प्रकार है:<ref>{{harvnb|Spivak|1965|loc=Theorem 2-12.}}</ref> | के लिए <math>y</math> के अनुसार <math>x</math>. यद्यपि अधिक सामान्य, प्रमेय वास्तव में व्युत्क्रम फलन प्रमेय का परिणाम है। सबसे पहले, अंतर्निहित फलन प्रमेय का सटीक कथन इस प्रकार है:<ref>{{harvnb|Spivak|1965|loc=Theorem 2-12.}}</ref> | ||
*एक नक्शा दिया <math>f : \mathbb{R}^n \times \mathbb{R}^m \to \mathbb{R}^m</math>, अगर <math>f(a, b) = 0</math>, <math>f</math> के प्रतिवेश में | *एक नक्शा दिया <math>f : \mathbb{R}^n \times \mathbb{R}^m \to \mathbb{R}^m</math>, अगर <math>f(a, b) = 0</math>, <math>f</math> के प्रतिवेश में निरंतर भिन्न होता है <math>(a, b)</math> और का व्युत्पन्न <math>y \mapsto f(a, y)</math> पर <math>b</math> उलटा है, तो एक भिन्न मानचित्र उपस्थित है <math>g : U \to V</math> कुछ प्रतिवेश के लिए <math>U, V</math> का <math>a, b</math> ऐसा है कि <math>f(x, g(x)) = 0</math>. इसके अलावा, यदि <math>f(x, y) = 0, x \in U, y \in V</math>, तब <math>y = g(x)</math>; अर्थात।, <math>g(x)</math> एक अनोखा समाधान है. | ||
इसे देखने के लिए मानचित्र पर विचार करें <math>F(x, y) = (x, f(x, y))</math>. व्युत्क्रम फलन प्रमेय द्वारा, <math>F : U \times V \to W</math> उलटा है <math>G</math> कुछ प्रतिवेश के लिए <math>U, V, W</math>. फिर हमारे पास है: | इसे देखने के लिए मानचित्र पर विचार करें <math>F(x, y) = (x, f(x, y))</math>. व्युत्क्रम फलन प्रमेय द्वारा, <math>F : U \times V \to W</math> उलटा है <math>G</math> कुछ प्रतिवेश के लिए <math>U, V, W</math>. फिर हमारे पास है: | ||
:<math>(x, y) = F(G_1(x, y), G_2(x, y)) = (G_1(x, y), f(G_1(x, y), G_2(x, y)),</math> | :<math>(x, y) = F(G_1(x, y), G_2(x, y)) = (G_1(x, y), f(G_1(x, y), G_2(x, y)),</math> | ||
Line 145: | Line 143: | ||
===विविध संरचना देना=== | ===विविध संरचना देना=== | ||
विभेदक ज्यामिति में, व्युत्क्रम फलन प्रमेय का उपयोग यह दिखाने के लिए किया जाता है कि एक सुचारू मानचित्र के तहत नियमित मान की पूर्व-छवि कई गुना है।<ref>{{harvnb|Spivak|1965|loc=Theorem 5-1. and Theorem 2-13.}}</ref> वास्तव में, चलो <math>f : U \to \mathbb{R}^r</math> के एक | विभेदक ज्यामिति में, व्युत्क्रम फलन प्रमेय का उपयोग यह दिखाने के लिए किया जाता है कि एक सुचारू मानचित्र के तहत नियमित मान की पूर्व-छवि कई गुना है।<ref>{{harvnb|Spivak|1965|loc=Theorem 5-1. and Theorem 2-13.}}</ref> वास्तव में, चलो <math>f : U \to \mathbb{R}^r</math> के एक संवृत उपसमुच्चय से इतना सहज मानचित्र बनें <math>\mathbb{R}^n</math> (चूंकि परिणाम स्थानीय है, ऐसे मानचित्र पर विचार करने से व्यापकता का कोई नुकसान नहीं होता है)। एक बिंदु तय करें <math>a</math> में <math>f^{-1}(b)</math> और फिर, निर्देशांकों को क्रमपरिवर्तित करके <math>\mathbb{R}^n</math>, आव्यूह मान लें <math>\left [ \frac{\partial f_i}{\partial x_j}(a) \right]_{1 \le i, j \le r}</math> रैंक है <math>r</math>. फिर नक्शा <math>F : U \to \mathbb{R}^r \times \mathbb{R}^{n-r} = \mathbb{R}^n, \, x \mapsto (f(x), x_{r+1}, \dots, x_n)</math> इस प्रकार कि <math>F'(a)</math> रैंक है <math>n</math>. इसलिए, व्युत्क्रम फलन प्रमेय द्वारा, हम सहज व्युत्क्रम पाते हैं <math>G</math> का <math>F</math> प्रतिवेश में परिभाषित <math>V \times W</math> का <math>(b, a_{r+1}, \dots, a_n)</math>. फिर हमारे पास है | ||
:<math>x = (F \circ G)(x) = (f(G(x)), G_{r+1}(x), \dots, G_n(x)),</math> | :<math>x = (F \circ G)(x) = (f(G(x)), G_{r+1}(x), \dots, G_n(x)),</math> | ||
जो ये दर्शाता हे | जो ये दर्शाता हे | ||
Line 180: | Line 178: | ||
जहां से बायीं ओर और दायीं ओर का पहला पद गायब हो जाता है <math>f_j^{-1} \circ f</math> और <math>f_k</math> होलोमोर्फिक हैं। इस प्रकार, <math>\frac{\partial f_j^{-1}}{\partial \overline{w}_k}(w) = 0</math> प्रत्येक के लिए <math>k</math>. <math>\square</math> | जहां से बायीं ओर और दायीं ओर का पहला पद गायब हो जाता है <math>f_j^{-1} \circ f</math> और <math>f_k</math> होलोमोर्फिक हैं। इस प्रकार, <math>\frac{\partial f_j^{-1}}{\partial \overline{w}_k}(w) = 0</math> प्रत्येक के लिए <math>k</math>. <math>\square</math> | ||
इसी प्रकार, होलोमोर्फिक फलनों के लिए अंतर्निहित फलन प्रमेय है।<ref name="holomorphic implicit">{{harvnb|Griffiths|Harris|loc=p. 19.}}</ref> | इसी प्रकार, होलोमोर्फिक फलनों के लिए अंतर्निहित फलन प्रमेय है।<ref name="holomorphic implicit">{{harvnb|Griffiths|Harris|loc=p. 19.}}</ref> | ||
जैसा कि पहले ही उल्लेख किया गया है, ऐसा हो सकता है कि एक इंजेक्टिव स्मूथ फलन का व्युत्क्रम सुचारू न हो (उदाहरण के लिए, <math>f(x) = x^3</math> वास्तविक चर में)। होलोमोर्फिक फलनों | जैसा कि पहले ही उल्लेख किया गया है, ऐसा हो सकता है कि एक इंजेक्टिव स्मूथ फलन का व्युत्क्रम सुचारू न हो (उदाहरण के लिए, <math>f(x) = x^3</math> वास्तविक चर में)। होलोमोर्फिक फलनों की स्थिति में ऐसा नहीं है क्योंकि: | ||
{{math_theorem|name= | {{math_theorem|name=प्रस्ताव|math_statement=<ref name="holomorphic implicit" /> यदि <math>f : U \to V</math> के संकृत उपसमुच्चय <math>\mathbb{C}^n</math> के बीच एक इंजेक्शन होलोमोर्फिक मानचित्र है, फिर <math>f^{-1} : f(U) \to U</math> होलोमोर्फिक है।}} | ||
== मैनिफोल्ड्स के लिए फॉर्मूलेशन == | == मैनिफोल्ड्स के लिए फॉर्मूलेशन == | ||
व्युत्क्रम फलन प्रमेय को भिन्न-भिन्न मैनिफोल्ड्स के बीच भिन्न-भिन्न मानचित्रों के संदर्भ में दोबारा दोहराया जा सकता है। इस संदर्भ में प्रमेय बताता है कि एक भिन्न मानचित्र के लिए <math>F: M \to N</math> (कक्षा का <math>C^1</math>), यदि | व्युत्क्रम फलन प्रमेय को भिन्न-भिन्न मैनिफोल्ड्स के बीच भिन्न-भिन्न मानचित्रों के संदर्भ में दोबारा दोहराया जा सकता है। इस संदर्भ में प्रमेय बताता है कि एक भिन्न मानचित्र के लिए <math>F: M \to N</math> (कक्षा का <math>C^1</math>), यदि <math>F</math> का पुशफॉरवर्ड (अंतर), | ||
:<math>dF_p: T_p M \to T_{F(p)} N</math> | :<math>dF_p: T_p M \to T_{F(p)} N</math> | ||
एक बिंदु पर एक [[रैखिक समरूपता]] | एक बिंदु <math>p</math> पर एक [[रैखिक समरूपता]] <math>M</math> है, फिर वहाँ एक संवृत प्रतिवेश <math>U</math> उपस्थित है जैसे कि <math>p</math> | ||
:<math>F|_U: U \to F(U)</math> | :<math>F|_U: U \to F(U)</math> | ||
एक भिन्नरूपता | एक भिन्नरूपता है। ध्यान दें कि इसका तात्पर्य यह है कि ''p'' और ''F''(''p'') युक्त {{Mvar|M}} और {{Mvar|N}} के जुड़े घटकों का आयाम समान है, जैसा कि पहले से ही इस धारणा से सीधे तौर पर निहित है कि ''dF<sub>p</sub>'' समरूपता है। यदि {{Mvar|F}} का व्युत्पन्न {{Mvar|M}} में सभी बिंदुओं {{Mvar|p}} पर एक समरूपता है तो मानचित्र {{Mvar|F}} एक [[स्थानीय भिन्नता]] है। | ||
यदि | |||
==सामान्यीकरण== | ==सामान्यीकरण== | ||
===बैनाच समिष्ट=== | ===बैनाच समिष्ट=== | ||
व्युत्क्रम फलन प्रमेय को बानाच समिष्ट | व्युत्क्रम फलन प्रमेय को बानाच समिष्ट {{Mvar|X}} और{{Mvar|Y}} के बीच विभेदित मानचित्रों के लिए भी सामान्यीकृत किया जा सकता है।<ref>{{cite book |first=David G. |last=Luenberger |author-link=David Luenberger |title=वेक्टर स्पेस विधियों द्वारा अनुकूलन|location=New York |publisher=John Wiley & Sons |year=1969 |isbn=0-471-55359-X |pages=240–242 |url=https://books.google.com/books?id=lZU0CAH4RccC&pg=PA240 }}</ref> मान लीजिये कि {{Mvar|U}}, {{Mvar|X}} में मूल का एक संवृत प्रतिवेश हो और <math>F: U \to Y\!</math> एक निरंतर भिन्न फलन हो, और मान लें कि 0 पर {{Mvar|F}} का फ़्रेचेट व्युत्पन्न <math>dF_0: X \to Y\!</math>, {{Mvar|X}} पर {{Mvar|Y}} की बंधी हुई रैखिक समरूपता है। फिर {{Mvar|Y}} में <math>F(0)\!</math> का संवृत पड़ोस {{Mvar|V}} और एक निरंतर भिन्न मानचित्र <math>G: V \to X\!</math> उपस्थित होता है, जैसे कि {{Mvar|y}} में सभी {{Mvar|V}} के लिए <math>F(G(y)) = y</math>। इसके अतिरिक्त, <math>G(y)\!</math> समीकरण <math>F(x) = y\!</math>. का एकमात्र पर्याप्त छोटा समाधान {{Mvar|x}} है। | ||
[[बनच मैनिफोल्ड]] के लिए व्युत्क्रम फलन प्रमेय भी है।<ref>{{cite book |first=Serge |last=Lang |author-link=Serge Lang |title=विभेदक मैनिफोल्ड्स|location=New York |publisher=Springer |year=1985 |isbn=0-387-96113-5 |pages=13–19 }}</ref> | [[बनच मैनिफोल्ड]] के लिए व्युत्क्रम फलन प्रमेय भी है।<ref>{{cite book |first=Serge |last=Lang |author-link=Serge Lang |title=विभेदक मैनिफोल्ड्स|location=New York |publisher=Springer |year=1985 |isbn=0-387-96113-5 |pages=13–19 }}</ref> | ||
Line 201: | Line 197: | ||
===स्थिर रैंक प्रमेय=== | ===स्थिर रैंक प्रमेय=== | ||
व्युत्क्रम फलन प्रमेय (और अंतर्निहित फलन प्रमेय) को निरंतर रैंक प्रमेय | व्युत्क्रम फलन प्रमेय (और अंतर्निहित फलन प्रमेय) को निरंतर रैंक प्रमेय की एक विशेष स्थिति के रूप में देखा जा सकता है, जिसमें कहा गया है कि एक बिंदु के पास स्थिर [[ रैंक (विभेदक टोपोलॉजी) ]] के साथ एक सुचारू मानचित्र को उसके पास एक विशेष सामान्य रूप में रखा जा सकता है।<ref name="boothby">{{cite book |first=William M. |last=Boothby |title=डिफरेंशियल मैनिफोल्ड्स और रीमैनियन ज्योमेट्री का एक परिचय|url=https://archive.org/details/introductiontodi0000boot |url-access=registration |edition=Second |year=1986 |publisher=Academic Press |location=Orlando |isbn=0-12-116052-1 |pages=[https://archive.org/details/introductiontodi0000boot/page/46 46–50] }}</ref> विशेष रूप से, यदि <math>F:M\to N</math> एक बिंदु <math>p\in M\!</math> के निकट स्थिर रैंक होती है, फिर संवृत प्रतिवेश {{Mvar|U}} का {{Mvar|p}} और {{Mvar|V}} का <math>F(p)\!</math> हैं, और भिन्नताएँ <math>u:T_pM\to U\!</math> और <math>v:T_{F(p)}N\to V\!</math> हैं; जैसे कि <math>F(U)\subseteq V\!</math> और जैसे कि व्युत्पन्न <math>dF_p:T_pM\to T_{F(p)}N\!</math> , <math>v^{-1}\circ F\circ u\!</math> के बराबर है; वह है, {{Mvar|F}} इसके व्युत्पन्न निकट जैसा {{Mvar|p}} दिखता है। {{Mvar|M}} में बिंदु <math>p\in M</math> का समुच्चय इस प्रकार है कि <math>p</math> के पड़ोस में रैंक स्थिर है, M का एक खुला सघन उपसमुच्चय है; यह रैंक फ़ंक्शन की [[अर्धनिरंतरता]] का परिणाम है। इस प्रकार स्थिर रैंक प्रमेय डोमेन के सामान्य बिंदु पर प्रयुक्त होता है। | ||
जब | जब {{Mvar|F}} का व्युत्पन्न किसी बिंदु {{Mvar|p}} पर अंतःक्षेपण (सम्मान विशेषण) होता है, तो यह {{Mvar|p}} के पड़ोस में भी अंतःक्षेपण (सम्मान विशेषण) होता है, और इसलिए उस पड़ोस पर {{Mvar|F}} की रैंक स्थिर होती है, और स्थिर रैंक प्रमेय प्रयुक्त होता है। | ||
===बहुपद फलन=== | ===बहुपद फलन=== | ||
यदि यह सत्य है, तो [[जैकोबियन अनुमान]] बहुपदों के लिए व्युत्क्रम फलन प्रमेय का एक प्रकार होगा। इसमें कहा गया है कि यदि एक सदिश-मूल्य वाले बहुपद फलन में एक जैकोबियन निर्धारक है जो एक उलटा बहुपद है (जो कि एक गैर-शून्य स्थिरांक है), तो इसका एक व्युत्क्रम है जो एक बहुपद फलन भी है। यह अज्ञात है कि यह सत्य है या असत्य, यहाँ तक कि दो चरों | यदि यह सत्य है, तो [[जैकोबियन अनुमान]] बहुपदों के लिए व्युत्क्रम फलन प्रमेय का एक प्रकार होगा। इसमें कहा गया है कि यदि एक सदिश-मूल्य वाले बहुपद फलन में एक जैकोबियन निर्धारक है जो एक उलटा बहुपद है (जो कि एक गैर-शून्य स्थिरांक है), तो इसका एक व्युत्क्रम है जो एक बहुपद फलन भी है। यह अज्ञात है कि यह सत्य है या असत्य, यहाँ तक कि दो चरों की स्थिति में भी। बहुपद के सिद्धांत में यह एक प्रमुख खुली समस्या है। | ||
===चयन=== | ===चयन=== | ||
जब <math>f: \mathbb{R}^n \to \mathbb{R}^m</math>के साथ <math>m\leq n</math>, <math>f</math> <math>k</math> समय निरंतर भिन्न होता है, और जैकोबियन <math>A=\nabla f(\overline{x})</math> एक बिंदु पर <math>\overline{x}</math> रैंक का है (रैखिक बीजगणित) <math>m</math>, का उलटा <math>f</math> अद्वितीय नहीं हो सकता। चूँकि, बहुमूल्यवान मानचित्र का एक स्थानीय चॉइस फलन चॉइस फलन <math>s</math> उपस्थित है, ऐसा है कि <math>f(s(y)) = y</math> सभी के लिए <math>y</math> के एक प्रतिवेश में (गणित)। <math>\overline{y} = f(\overline{x})</math>, <math>s(\overline{y}) = \overline{x}</math>, <math>s</math> है <math>k</math> इस प्रतिवेश में समय निरंतर भिन्न होता जा रहा है, और <math>\nabla s(\overline{y}) = A^T(A A^T)^{-1}</math> (<math>\nabla s(\overline{y})</math> मूर-पेनरोज़ का छद्म व्युत्क्रम है <math>A</math>).<ref>{{cite book |last1=Dontchev |first1=Asen L. |last2=Rockafellar |first2=R. Tyrrell |title=Implicit Functions and Solution Mappings: A View from Variational Analysis |date=2014 |publisher=Springer-Verlag |location=New York |isbn=978-1-4939-1036-6 |page=54 |edition=Second}}</ref> | |||
Revision as of 13:13, 17 July 2023
के बारे में लेखों की एक श्रृंखला का हिस्सा |
पथरी |
---|
गणित में, विशेष रूप से विभेदक कैलकुलस, व्युत्क्रम फलन प्रमेय एक फलन (गणित) के लिए एक फलन के डोमेन में एक बिंदु के प्रतिवेश (गणित) में व्युत्क्रमणीय फलन होने की आवश्यकता और पर्याप्तता देता है: अर्थात्, इसका व्युत्पन्न है बिंदु पर निरंतर और गैर-शून्य। प्रमेय व्युत्क्रम फलन के अवकलज के लिए एक सूत्र भी देता है।
बहुपरिवर्तनीय कलन में, इस प्रमेय को किसी भी निरंतर भिन्न, सदिश-मूल्यवान फलन के लिए सामान्यीकृत किया जा सकता है जिसका जैकोबियन निर्धारक अपने डोमेन में एक बिंदु पर गैर-शून्य है, जो व्युत्क्रम के जैकोबियन आव्यूह के लिए एक सूत्र देता है। जटिल संख्याओं के होलोमोर्फिक फलन के लिए, मैनीफोल्ड के बीच विभेदित मानचित्रों के लिए, बानाच समिष्ट के बीच विभेदित फलनों के लिए, इत्यादि के लिए व्युत्क्रम फलन प्रमेय के संस्करण भी हैं।
प्रमेय को पहली बार एमिल पिकार्ड और एडौर्ड गौरसैट द्वारा एक पुनरावृत्त योजना का उपयोग करके स्थापित किया गया था: मूल विचार संकुचन मानचित्रण प्रमेय का उपयोग करके एक निश्चित बिंदु प्रमेय को प्रमाणित करना है।
कथन
एकल चर (गणित) के फलनों के लिए, प्रमेय कहता है कि यदि बिंदु पर गैर-शून्य व्युत्पन्न के साथ एक निरंतर भिन्न फलन है; तब के प्रतिवेश में इंजेक्शन (या छवि पर विशेषण) है, व्युत्क्रम निरंतर के निकट अवकलनीय है, और पर व्युत्क्रम फलन का अवकलज, पर के अवकलज का व्युत्क्रम है:
एक से अधिक चर वाले फलनों के लिए, प्रमेय कहता है कि यदि f एक संवृत उपसमुच्चय से निरंतर भिन्न होने वाला फलन है का में , और कुल व्युत्पन्न एक बिंदु पर उलटा है a (अर्थात, जैकोबियन आव्यूह का निर्धारक और का निर्धारक f पर a गैर-शून्य है), तो प्रतिवेश उपस्थित हैं का में और का ऐसा है कि और वस्तुनिष्ठ है। [1]लेखन , इसका अर्थ यह है कि की प्रणाली n समीकरण के लिए एक अनोखा समाधान है, के अनुसार जब । ध्यान दें कि प्रमेय यह नहीं कहता है जहां छवि पर विशेषण उलटा है लेकिन यह स्थानीय रूप से विशेषण उलटा है।
इसके अलावा, प्रमेय कहता है कि व्युत्क्रम फलन निरंतर अवकलनीय है, और इसका व्युत्पन्न है, का व्युत्क्रम मानचित्र है; अर्थात।,
दूसरे शब्दों में, यदि जैकोबियन आव्यूह का प्रतिनिधित्व कर रहे हैं, इसका अर्थ यह है:
प्रमेय का कठिन हिस्सा अस्तित्व और भिन्नता है। इसे मानते हुए, व्युत्क्रम व्युत्पन्न सूत्र प्रयुक्त श्रृंखला नियम का अनुसरण करता है। (वास्तव में, ) चूँकि व्युत्क्रम लेना अपरिमित रूप से भिन्न है, व्युत्क्रम के अवकलज का सूत्र दर्शाता है कि यदि निरंतर है समय अवकलनीय, बिंदु पर व्युत्क्रमणीय व्युत्पन्न के साथ a, तो व्युत्क्रम भी सतत् है समय अलग-अलग। यहाँ एक धनात्मक पूर्णांक है या .
व्युत्क्रम फलन प्रमेय के दो प्रकार हैं।[1] एक निरंतर भिन्न मानचित्र दिया गया , पहला है
- व्युत्पन्न विशेषण है (अर्थात, इसका प्रतिनिधित्व करने वाले जैकोबियन आव्यूह की रैंक है) यदि और केवल यदि के निकट पर निरंतर भिन्न फलन उपस्थित है, जैसे कि के पास ,
और दूसरा है
- व्युत्पन्न इंजेक्टिव है, यदि और केवल यदि के निकट पर निरंतर भिन्न फलन उपस्थित है जैसे कि के निकट ।
पहली स्थिति में (जब विशेषण है), बिंदु को नियमित मान कहा जाता है। चूँकि , पहली स्थिति यह कहने के बराबर है कि महत्वपूर्ण बिंदु की छवि में नहीं है (महत्वपूर्ण बिंदु है जैसे कि का कर्नेल गैर-शून्य है)। पहली स्थिति में कथन विसर्जन प्रमेय का एक विशेष स्थिति है।
ये प्रकार व्युत्क्रम फलन प्रमेय के पुनर्कथन हैं। वास्तव में, पहली स्थिति में जब विशेषण है, तो हम एक (विशेषण) रेखीय मानचित्र पा सकते हैं, जैसे कि । परिभाषित करना ,है इसलिए हमारे पास:
इस प्रकार, व्युत्क्रम फलन प्रमेय के अनुसार, का व्युत्क्रम के निकट है; अर्थात, के पास में है। दूसरी स्थिति ( इंजेक्टिव है) इसी तरह से देखा जाता है।
उदाहरण
सदिश-वैल्यू फलन पर विचार करें, द्वारा परिभाषित:
जैकोबियन आव्यूह है:
जैकोबियन निर्धारक के साथ:
निर्धारक सर्वत्र शून्येतर है। इस प्रकार प्रमेय प्रत्येक में बिंदु p के लिए इसकी गारंटी देता है, वहाँ एक प्रतिवेश p उपस्थित है, जिस पर F व्युत्क्रमणीय है। इसका यह अर्थ नहीं है कि F अपने संपूर्ण डोमेन पर विपरीत है: इस स्थिति में F इंजेक्टिव भी नहीं है क्योंकि यह आवधिक है: ।
प्रति-उदाहरण
यदि कोई इस धारणा को छोड़ देता है कि व्युत्पन्न निरंतर है, तो फलन को अब व्युत्क्रमणीय होने की आवश्यकता नहीं है। उदाहरण के लिए और असतत व्युत्पन्न है।
और , जो इच्छानुसार ढंग से लगभग के निकट है। ये महत्वपूर्ण बिंदु के स्थानीय अधिकतम/न्यूनतम बिंदु हैं , इसलिए वाले किसी भी अंतराल पर एक-से-एक (और उलटा नहीं) नहीं है। सहज रूप से, ढलान आस-पास के बिंदुओं तक नहीं फैलता है, जहां ढलान अशक्त लेकिन तीव्र दोलन द्वारा नियंत्रित होते हैं।
प्रमाण की विधियाँ
एक महत्वपूर्ण परिणाम के रूप में, व्युत्क्रम फलन प्रमेय को कई प्रमाण दिए गए हैं। पाठ्यपुस्तकों में सबसे अधिक देखा जाने वाला प्रमाण संकुचन मानचित्रण सिद्धांत पर निर्भर करता है, जिसे बानाच निश्चित-बिंदु प्रमेय के रूप में भी जाना जाता है (जिसे साधारण अंतर समीकरणों के समाधान के पिकार्ड-लिंडेलोफ़ प्रमेय के प्रमाण में महत्वपूर्ण चरण के रूप में भी उपयोग किया जा सकता है)।[2][3]
चूंकि निश्चित बिंदु प्रमेय अनंत-आयामी (बैनाच समिष्ट) सेटिंग्स में प्रयुक्त होता है, यह प्रमाण व्युत्क्रम फलन प्रमेय के अनंत-आयामी संस्करण को तुरंत सामान्यीकृत करता है[4] (व्युत्क्रम फलन प्रमेय सामान्यीकरण नीचे देखें)।
परिमित आयामों में एक वैकल्पिक प्रमाण एक कॉम्पैक्ट सेट पर फलनों के लिए चरम मूल्य प्रमेय पर निर्भर करता है।[5]
फिर भी एक अन्य प्रमाण न्यूटन की विधि का उपयोग करता है, जिसमें प्रमेय की एक प्रभावी विधि प्रदान करने का लाभ होता है: फलन के व्युत्पन्न पर सीमाएं प्रतिवेश के आकार का अनुमान लगाती हैं, जिस पर फलन विपरीत होता है।[6]
क्रमिक सन्निकटन का उपयोग करते हुए एक प्रमाण
अस्तित्व को सिद्ध करने के लिए, एक एफ़िन परिवर्तन के बाद यह माना जा सकता है कि और , जिससे ।
माध्य मान प्रमेय द्वारा सदिश-मूल्यवान फलनों के लिए माध्य मान प्रमेय|किसी फलन के लिए सदिश-मूल्यवान फलनों के लिए माध्य मान प्रमेय , । सेटिंग , यह इस प्रकार है कि
अब चुनें जिससे के लिए । लगता है कि और परिभाषित करें आगमनात्मक रूप से और । धारणाएँ दर्शाती हैं कि यदि तब
- .
विशेष रूप से तात्पर्य ।. आगमनात्मक योजना में और । इस प्रकार एक कॉची अनुक्रम है, जो प्रवृत्त होता है। निर्माण द्वारा आवश्यकता अनुसार।
उसे जांचने के लिए सी है1, लिखो जिससे । उपरोक्त असमानताओं से, जिससे । दूसरी ओर यदि , तब । के लिए ज्यामितीय श्रृंखला का उपयोग करना, यह इस प्रकार है कि । परन्तु फिर
और , 0 की ओर प्रवृत्त होता है, यह प्रमाणित करते हुए कि 0 की ओर C1 के साथ प्रवृत्त होते हैं।
उपरोक्त प्रमाण एक परिमित-आयामी स्थान के लिए प्रस्तुत किया गया है, लेकिन बनच स्थानों के लिए भी समान रूप से प्रयुक्त होता है। यदि एक व्युत्क्रमणीय फलन Ck है के साथ, तो इसका उलटा भी वैसा ही है। यह इस तथ्य का उपयोग करके प्रेरण द्वारा अनुसरण करता है कि मानचित्र ऑपरेटरों पर Ck है, किसी के लिए भी (परिमित-आयामी स्थिति में यह एक प्राथमिक तथ्य है क्योंकि आव्यूह का व्युत्क्रम उसके निर्धारक द्वारा विभाजित सहायक आव्यूह के रूप में दिया जाता है)।[1][7] यहां प्रमाण की विधि हेनरी कर्तन, जीन डियूडोने, सर्ज लैंग, रोजर गोडेमेंट और लार्स होर्मेंडर की पुस्तकों में पाई जा सकती है।
संकुचन मानचित्रण सिद्धांत का उपयोग करते हुए एक प्रमाण
यहाँ संकुचन मानचित्रण प्रमेय पर आधारित एक प्रमाण है। विशेष रूप से, टी. ताओ का अनुसरण करते हुए,[8] यह संकुचन मानचित्रण प्रमेय के निम्नलिखित परिणाम का उपयोग करता है।
Lemma — Let denote an open ball of radius r in with center 0. If is a map such that and there exists a constant such that
for all in , then is injective on and .
(More generally, the statement remains true if is replaced by a Banach space.)
मूल रूप से, लेम्मा का कहना है कि संकुचन मानचित्र द्वारा पहचान मानचित्र का एक छोटा सा गड़बड़ी इंजेक्शन है और कुछ अर्थों में एक गेंद को संरक्षित करता है। एक पल के लिए प्रमेय मानकर, हम पहले प्रमेय को सिद्ध करते हैं। जैसा कि उपरोक्त प्रमाण में है, यह विशेष स्थिति को कब सिद्ध करने के लिए पर्याप्त है और . होने देना . माध्य मूल्य असमानता पर प्रयुक्त होता है कहते हैं:
तब से और निरंतर है, हम एक पा सकते हैं ऐसा है कि
सभी के लिए में . फिर प्रारंभिक लेम्मा यही कहती है इंजेक्शन चालू है और . तब
विशेषण है और इस प्रकार इसका व्युत्क्रम है। आगे, हम उलटा दिखाते हैं निरंतर भिन्न है (तर्क का यह भाग पिछले प्रमाण के समान है)। इस बार माना का व्युत्क्रम निरूपित करें और . के लिए , हम लिखते हैं या . अब, प्रारंभिक अनुमान के अनुसार, हमारे पास है
इसलिए . लिखना ऑपरेटर मानदंड के लिए,
जैसा , अपने पास और घिरा है। इस तरह, पर भिन्न है व्युत्पन्न के साथ . भी, रचना के समान ही है कहाँ ; इसलिए सतत है.
यह लेम्मा दिखाना बाकी है। सबसे पहले, नक्शा इंजेक्शन चालू है यदि के बाद से , तब इसलिए
- ,
जो एक विरोधाभास है जब तक . (इस भाग को धारणा की आवश्यकता नहीं है .) आगे हम दिखाते हैं . विचार यह है कि यह ध्यान देने योग्य है कि यह एक बिंदु के बराबर है में , मानचित्र का एक निश्चित बिंदु खोजें
कहाँ ऐसा है कि और बार का अर्थ है एक बंद गेंद। एक निश्चित बिंदु खोजने के लिए, हम संकुचन मानचित्रण प्रमेय का उपयोग करते हैं और उसकी जाँच करते हैं एक अच्छी तरह से परिभाषित सख्त-संकुचन मानचित्रण सीधा है। अंततः, हमारे पास है: तब से
जैसा कि स्पष्ट हो सकता है, यह प्रमाण पिछले वाले से बहुत अलग नहीं है, क्योंकि संकुचन मानचित्रण प्रमेय का प्रमाण क्रमिक सन्निकटन द्वारा होता है।
अनुप्रयोग
अंतर्निहित फलन प्रमेय
व्युत्क्रम फलन प्रमेय का उपयोग समीकरणों की प्रणाली को हल करने के लिए किया जा सकता है
यानी, व्यक्त करना के फलनों के रूप में , बशर्ते जैकोबियन आव्यूह उलटा हो। अंतर्निहित फलन प्रमेय समीकरणों की अधिक सामान्य प्रणाली को हल करने की अनुमति देता है:
के लिए के अनुसार . यद्यपि अधिक सामान्य, प्रमेय वास्तव में व्युत्क्रम फलन प्रमेय का परिणाम है। सबसे पहले, अंतर्निहित फलन प्रमेय का सटीक कथन इस प्रकार है:[9]
- एक नक्शा दिया , अगर , के प्रतिवेश में निरंतर भिन्न होता है और का व्युत्पन्न पर उलटा है, तो एक भिन्न मानचित्र उपस्थित है कुछ प्रतिवेश के लिए का ऐसा है कि . इसके अलावा, यदि , तब ; अर्थात।, एक अनोखा समाधान है.
इसे देखने के लिए मानचित्र पर विचार करें . व्युत्क्रम फलन प्रमेय द्वारा, उलटा है कुछ प्रतिवेश के लिए . फिर हमारे पास है:
जिसका अर्थ और इस प्रकार आवश्यक संपत्ति है.
विविध संरचना देना
विभेदक ज्यामिति में, व्युत्क्रम फलन प्रमेय का उपयोग यह दिखाने के लिए किया जाता है कि एक सुचारू मानचित्र के तहत नियमित मान की पूर्व-छवि कई गुना है।[10] वास्तव में, चलो के एक संवृत उपसमुच्चय से इतना सहज मानचित्र बनें (चूंकि परिणाम स्थानीय है, ऐसे मानचित्र पर विचार करने से व्यापकता का कोई नुकसान नहीं होता है)। एक बिंदु तय करें में और फिर, निर्देशांकों को क्रमपरिवर्तित करके , आव्यूह मान लें रैंक है . फिर नक्शा इस प्रकार कि रैंक है . इसलिए, व्युत्क्रम फलन प्रमेय द्वारा, हम सहज व्युत्क्रम पाते हैं का प्रतिवेश में परिभाषित का . फिर हमारे पास है
जो ये दर्शाता हे
अर्थात्, निर्देशांक के परिवर्तन के बाद , एक समन्वय प्रक्षेपण है (इस तथ्य को जलमग्न प्रमेय के रूप में जाना जाता है)। इसके अलावा, तब से मानचित्र वस्तुनिष्ठ है
सहज व्युत्क्रम के साथ विशेषण है। यानी, का स्थानीय पैरामीटरीकरण देता है आस-पास . इस तरह, अनेक गुना है. (ध्यान दें कि प्रमाण अंतर्निहित फलन प्रमेय के प्रमाण के समान है और वास्तव में, इसके बजाय अंतर्निहित फलन प्रमेय का भी उपयोग किया जा सकता है।)
अधिक सामान्यतः, प्रमेय से पता चलता है कि यदि एक सुचारू मानचित्र एक सबमैनिफोल्ड के लिए अनुप्रस्थ है , फिर पूर्व-छवि एक उपमान है.[11]
वैश्विक संस्करण
व्युत्क्रम फलन प्रमेय एक स्थानीय परिणाम है; यह प्रत्येक बिंदु पर प्रयुक्त होता है. एक प्राथमिकता, प्रमेय इस प्रकार केवल फलन दिखाता है स्थानीय रूप से विशेषण है (या किसी वर्ग का स्थानीय रूप से भिन्न रूप)। अगले टोपोलॉजिकल लेम्मा का उपयोग स्थानीय इंजेक्टिविटी को कुछ हद तक वैश्विक इंजेक्टिविटी में अपग्रेड करने के लिए किया जा सकता है।
Lemma — [12][13] If is a closed subset of a (second-countable) topological manifold (or, more generally, a topological space admitting an exhaustion by compact subsets) and , some topological space, is a local homeomorphism that is injective on , then is injective on some neighborhood of .
सबूत:[14] पहले मान लीजिये सघन स्थान है. यदि प्रमेय का निष्कर्ष गलत है, तो हम दो अनुक्रम पा सकते हैं ऐसा है कि और प्रत्येक कुछ बिंदुओं पर अभिसरण करता है में . तब से इंजेक्शन चालू है , . अब अगर काफी बड़ा है, के प्रतिवेश में हैं कहाँ इंजेक्शन है; इस प्रकार, , एक विरोधाभास.
सामान्य तौर पर, सेट पर विचार करें . यह से असंयुक्त है किसी भी उपसमुच्चय के लिए कहाँ इंजेक्शन है. होने देना संघ के साथ सघन उपसमुच्चय का बढ़ता क्रम बनें और साथ के आंतरिक भाग में समाहित है . फिर, प्रमाण के पहले भाग द्वारा, प्रत्येक के लिए , हम एक प्रतिवेश ढूंढ सकते हैं का ऐसा है कि . तब आवश्यक संपत्ति है. (यह सभी देखें [15] वैकल्पिक दृष्टिकोण के लिए।)
लेम्मा का तात्पर्य व्युत्क्रम फलन प्रमेय के निम्नलिखित (एक प्रकार के) वैश्विक संस्करण से है:
Inverse function theorem — [16] Let be a map between open subsets of or more generally of manifolds. Assume is continuously differentiable (or is ). If is injective on a closed subset and if the Jacobian matrix of is invertible at each point of , then is injective in a neighborhood of and is continuously differentiable (or is ).
ध्यान दें कि यदि एक बिंदु है, तो उपरोक्त सामान्य व्युत्क्रम फलन प्रमेय है।
होलोमोर्फिक व्युत्क्रम फलन प्रमेय
होलोमोर्फिक मानचित्रों के लिए व्युत्क्रम फलन प्रमेय का एक संस्करण है।
Theorem — [17][18] Let be open subsets such that and a holomorphic map whose Jacobian matrix in variables is invertible (the determinant is nonzero) at . Then is injective in some neighborhood of and the inverse is holomorphic.
प्रमेय सामान्य व्युत्क्रम फलन प्रमेय से अनुसरण करता है। वास्तव में, चलो के जैकोबियन आव्यूह को निरूपित करें चर में और उसके लिए . तो हमारे पास हैं , जो अनुमान से अशून्य है। इसलिए, सामान्य व्युत्क्रम फलन प्रमेय द्वारा, निकट इंजेक्शन है निरंतर अवकलनीय व्युत्क्रम के साथ। शृंखला नियम से, साथ ,
जहां से बायीं ओर और दायीं ओर का पहला पद गायब हो जाता है और होलोमोर्फिक हैं। इस प्रकार, प्रत्येक के लिए . इसी प्रकार, होलोमोर्फिक फलनों के लिए अंतर्निहित फलन प्रमेय है।[19] जैसा कि पहले ही उल्लेख किया गया है, ऐसा हो सकता है कि एक इंजेक्टिव स्मूथ फलन का व्युत्क्रम सुचारू न हो (उदाहरण के लिए, वास्तविक चर में)। होलोमोर्फिक फलनों की स्थिति में ऐसा नहीं है क्योंकि:
प्रस्ताव — [19] यदि के संकृत उपसमुच्चय के बीच एक इंजेक्शन होलोमोर्फिक मानचित्र है, फिर होलोमोर्फिक है।
मैनिफोल्ड्स के लिए फॉर्मूलेशन
व्युत्क्रम फलन प्रमेय को भिन्न-भिन्न मैनिफोल्ड्स के बीच भिन्न-भिन्न मानचित्रों के संदर्भ में दोबारा दोहराया जा सकता है। इस संदर्भ में प्रमेय बताता है कि एक भिन्न मानचित्र के लिए (कक्षा का ), यदि का पुशफॉरवर्ड (अंतर),
एक बिंदु पर एक रैखिक समरूपता है, फिर वहाँ एक संवृत प्रतिवेश उपस्थित है जैसे कि
एक भिन्नरूपता है। ध्यान दें कि इसका तात्पर्य यह है कि p और F(p) युक्त M और N के जुड़े घटकों का आयाम समान है, जैसा कि पहले से ही इस धारणा से सीधे तौर पर निहित है कि dFp समरूपता है। यदि F का व्युत्पन्न M में सभी बिंदुओं p पर एक समरूपता है तो मानचित्र F एक स्थानीय भिन्नता है।
सामान्यीकरण
बैनाच समिष्ट
व्युत्क्रम फलन प्रमेय को बानाच समिष्ट X औरY के बीच विभेदित मानचित्रों के लिए भी सामान्यीकृत किया जा सकता है।[20] मान लीजिये कि U, X में मूल का एक संवृत प्रतिवेश हो और एक निरंतर भिन्न फलन हो, और मान लें कि 0 पर F का फ़्रेचेट व्युत्पन्न , X पर Y की बंधी हुई रैखिक समरूपता है। फिर Y में का संवृत पड़ोस V और एक निरंतर भिन्न मानचित्र उपस्थित होता है, जैसे कि y में सभी V के लिए । इसके अतिरिक्त, समीकरण . का एकमात्र पर्याप्त छोटा समाधान x है।
बनच मैनिफोल्ड के लिए व्युत्क्रम फलन प्रमेय भी है।[21]
स्थिर रैंक प्रमेय
व्युत्क्रम फलन प्रमेय (और अंतर्निहित फलन प्रमेय) को निरंतर रैंक प्रमेय की एक विशेष स्थिति के रूप में देखा जा सकता है, जिसमें कहा गया है कि एक बिंदु के पास स्थिर रैंक (विभेदक टोपोलॉजी) के साथ एक सुचारू मानचित्र को उसके पास एक विशेष सामान्य रूप में रखा जा सकता है।[22] विशेष रूप से, यदि एक बिंदु के निकट स्थिर रैंक होती है, फिर संवृत प्रतिवेश U का p और V का हैं, और भिन्नताएँ और हैं; जैसे कि और जैसे कि व्युत्पन्न , के बराबर है; वह है, F इसके व्युत्पन्न निकट जैसा p दिखता है। M में बिंदु का समुच्चय इस प्रकार है कि के पड़ोस में रैंक स्थिर है, M का एक खुला सघन उपसमुच्चय है; यह रैंक फ़ंक्शन की अर्धनिरंतरता का परिणाम है। इस प्रकार स्थिर रैंक प्रमेय डोमेन के सामान्य बिंदु पर प्रयुक्त होता है।
जब F का व्युत्पन्न किसी बिंदु p पर अंतःक्षेपण (सम्मान विशेषण) होता है, तो यह p के पड़ोस में भी अंतःक्षेपण (सम्मान विशेषण) होता है, और इसलिए उस पड़ोस पर F की रैंक स्थिर होती है, और स्थिर रैंक प्रमेय प्रयुक्त होता है।
बहुपद फलन
यदि यह सत्य है, तो जैकोबियन अनुमान बहुपदों के लिए व्युत्क्रम फलन प्रमेय का एक प्रकार होगा। इसमें कहा गया है कि यदि एक सदिश-मूल्य वाले बहुपद फलन में एक जैकोबियन निर्धारक है जो एक उलटा बहुपद है (जो कि एक गैर-शून्य स्थिरांक है), तो इसका एक व्युत्क्रम है जो एक बहुपद फलन भी है। यह अज्ञात है कि यह सत्य है या असत्य, यहाँ तक कि दो चरों की स्थिति में भी। बहुपद के सिद्धांत में यह एक प्रमुख खुली समस्या है।
चयन
जब के साथ , समय निरंतर भिन्न होता है, और जैकोबियन एक बिंदु पर रैंक का है (रैखिक बीजगणित) , का उलटा अद्वितीय नहीं हो सकता। चूँकि, बहुमूल्यवान मानचित्र का एक स्थानीय चॉइस फलन चॉइस फलन उपस्थित है, ऐसा है कि सभी के लिए के एक प्रतिवेश में (गणित)। , , है इस प्रतिवेश में समय निरंतर भिन्न होता जा रहा है, और ( मूर-पेनरोज़ का छद्म व्युत्क्रम है ).[23]
यह भी देखें
- नैश-मोजर प्रमेय
टिप्पणियाँ
- ↑ 1.0 1.1 1.2 प्रमेय 1.1.7. में Hörmander, Lars (2015). रैखिक आंशिक विभेदक ऑपरेटरों का विश्लेषण I: वितरण सिद्धांत और फूरियर विश्लेषण. Classics in Mathematics (2nd ed.). Springer. ISBN 9783642614972.
- ↑ McOwen, Robert C. (1996). "Calculus of Maps between Banach Spaces". Partial Differential Equations: Methods and Applications. Upper Saddle River, NJ: Prentice Hall. pp. 218–224. ISBN 0-13-121880-8.
- ↑ Tao, Terence (September 12, 2011). "हर जगह अलग-अलग मानचित्रों के लिए व्युत्क्रम फ़ंक्शन प्रमेय". Retrieved 2019-07-26.
- ↑ Jaffe, Ethan. "व्युत्क्रम फलन प्रमेय" (PDF).
- ↑ Spivak 1965, pages 31–35
- ↑ Hubbard, John H.; Hubbard, Barbara Burke (2001). वेक्टर विश्लेषण, रैखिक बीजगणित और विभेदक रूप: एक एकीकृत दृष्टिकोण (Matrix ed.).
- ↑ Cartan, Henri (1971). विभेदक गणना (in français). Hermann. pp. 55–61. ISBN 9780395120330.
- ↑ Theorem 17.7.2 in Tao, Terence (2014). Analysis. II. Texts and Readings in Mathematics. Vol. 38 (Third edition of 2006 original ed.). New Delhi: Hindustan Book Agency. ISBN 978-93-80250-65-6. MR 3310023. Zbl 1300.26003.
- ↑ Spivak 1965, Theorem 2-12.
- ↑ Spivak 1965, Theorem 5-1. and Theorem 2-13.
- ↑ https://sites.math.northwestern.edu/~jnkf/classes/mflds/4transversality.pdf[bare URL PDF]
- ↑ One of Spivak's books (Editorial note: give the exact location).
- ↑ Hirsch, Ch. 2, § 1., Exercise 7. NB: This one is for a -immersion.
- ↑ Lemma 13.3.3. of https://www.utsc.utoronto.ca/people/kupers/wp-content/uploads/sites/50/2020/12/difffop-2020.pdf
- ↑ Dan Ramras (https://mathoverflow.net/users/4042/dan-ramras), On a proof of the existence of tubular neighborhoods., URL (version: 2017-04-13): https://mathoverflow.net/q/58124
- ↑ Ch. I., § 3, Exercise 10. and § 8, Exercise 14. in V. Guillemin, A. Pollack. "Differential Topology". Prentice-Hall Inc., 1974. ISBN 0-13-212605-2.
- ↑ Griffiths & Harris, p. 18.
- ↑ Fritzsche, K.; Grauert, H. (2002). From Holomorphic Functions to Complex Manifolds. Springer. pp. 33–36. ISBN 9780387953953.
- ↑ 19.0 19.1 Griffiths & Harris, p. 19.
- ↑ Luenberger, David G. (1969). वेक्टर स्पेस विधियों द्वारा अनुकूलन. New York: John Wiley & Sons. pp. 240–242. ISBN 0-471-55359-X.
- ↑ Lang, Serge (1985). विभेदक मैनिफोल्ड्स. New York: Springer. pp. 13–19. ISBN 0-387-96113-5.
- ↑ Boothby, William M. (1986). डिफरेंशियल मैनिफोल्ड्स और रीमैनियन ज्योमेट्री का एक परिचय (Second ed.). Orlando: Academic Press. pp. 46–50. ISBN 0-12-116052-1.
- ↑ Dontchev, Asen L.; Rockafellar, R. Tyrrell (2014). Implicit Functions and Solution Mappings: A View from Variational Analysis (Second ed.). New York: Springer-Verlag. p. 54. ISBN 978-1-4939-1036-6.
संदर्भ
- Allendoerfer, Carl B. (1974). "Theorems about Differentiable Functions". Calculus of Several Variables and Differentiable Manifolds. New York: Macmillan. pp. 54–88. ISBN 0-02-301840-2.
- Baxandall, Peter; Liebeck, Hans (1986). "The Inverse Function Theorem". Vector Calculus. New York: Oxford University Press. pp. 214–225. ISBN 0-19-859652-9.
- Nijenhuis, Albert (1974). "Strong derivatives and inverse mappings". Amer. Math. Monthly. 81 (9): 969–980. doi:10.2307/2319298. hdl:10338.dmlcz/102482. JSTOR 2319298.
- Griffiths, Phillip; Harris, Joseph (1978), Principles of Algebraic Geometry, John Wiley & Sons, ISBN 978-0-471-05059-9.
- Protter, Murray H.; Morrey, Charles B., Jr. (1985). "Transformations and Jacobians". Intermediate Calculus (Second ed.). New York: Springer. pp. 412–420. ISBN 0-387-96058-9.
{{cite book}}
: CS1 maint: multiple names: authors list (link) - Renardy, Michael; Rogers, Robert C. (2004). An Introduction to Partial Differential Equations. Texts in Applied Mathematics 13 (Second ed.). New York: Springer-Verlag. pp. 337–338. ISBN 0-387-00444-0.
- Rudin, Walter (1976). Principles of mathematical analysis. International Series in Pure and Applied Mathematics (Third ed.). New York: McGraw-Hill Book. pp. 221–223. ISBN 9780070856134.
- Spivak, Michael (1965). Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus. San Francisco: Benjamin Cummings. ISBN 0-8053-9021-9.