व्युत्क्रम फलन प्रमेय: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Theorem in mathematics}} {{Calculus}} गणित में, विशेष रूप से विभेदक कैलकुलस, व्युत्...")
 
No edit summary
Line 1: Line 1:
{{short description|Theorem in mathematics}}
{{short description|Theorem in mathematics}}
{{Calculus}}
{{Calculus}}
गणित में, विशेष रूप से विभेदक कैलकुलस, व्युत्क्रम फ़ंक्शन प्रमेय एक [[फ़ंक्शन (गणित)]] के लिए एक फ़ंक्शन के डोमेन में एक बिंदु के [[पड़ोस (गणित)]] में व्युत्क्रमणीय फ़ंक्शन होने की आवश्यकता और पर्याप्तता देता है: अर्थात्, इसका ''व्युत्पन्न है ''बिंदु पर निरंतर और गैर-शून्य''। प्रमेय व्युत्क्रम फलन के अवकलज के लिए एक सूत्र भी देता है।
गणित में, विशेष रूप से विभेदक कैलकुलस, व्युत्क्रम फलन प्रमेय एक [[फ़ंक्शन (गणित)|फलन (गणित)]] के लिए एक फलन के डोमेन में एक बिंदु के [[पड़ोस (गणित)|प्रतिवेश (गणित)]] में व्युत्क्रमणीय फलन होने की आवश्यकता और पर्याप्तता देता है: अर्थात्, इसका व्युत्पन्न है बिंदु पर निरंतर और गैर-शून्य। प्रमेय व्युत्क्रम फलन के अवकलज के लिए एक सूत्र भी देता है।
बहुपरिवर्तनीय कलन में, इस प्रमेय को किसी भी निरंतर भिन्न, [[वेक्टर-मूल्यवान फ़ंक्शन]] के लिए सामान्यीकृत किया जा सकता है जिसका [[जैकोबियन निर्धारक]] अपने डोमेन में एक बिंदु पर गैर-शून्य है, जो व्युत्क्रम के [[जैकोबियन मैट्रिक्स]] के लिए एक सूत्र देता है। जटिल संख्याओं के [[होलोमोर्फिक फ़ंक्शन]] के लिए, [[कई गुना]] के बीच विभेदित मानचित्रों के लिए, बानाच रिक्त स्थान के बीच विभेदित फ़ंक्शंस के लिए, इत्यादि के लिए व्युत्क्रम फ़ंक्शन प्रमेय के संस्करण भी हैं।


प्रमेय को पहली बार एमिल पिकार्ड और एडौर्ड गौरसैट द्वारा एक पुनरावृत्त योजना का उपयोग करके स्थापित किया गया था: मूल विचार [[संकुचन मानचित्रण प्रमेय]] का उपयोग करके एक [[निश्चित बिंदु प्रमेय]] को साबित करना है।
बहुपरिवर्तनीय कलन में, इस प्रमेय को किसी भी निरंतर भिन्न, [[वेक्टर-मूल्यवान फ़ंक्शन|सदिश-मूल्यवान फलन]] के लिए सामान्यीकृत किया जा सकता है जिसका [[जैकोबियन निर्धारक]] अपने डोमेन में एक बिंदु पर गैर-शून्य है, जो व्युत्क्रम के [[जैकोबियन मैट्रिक्स|जैकोबियन आव्यूह]] के लिए एक सूत्र देता है। जटिल संख्याओं के [[होलोमोर्फिक फ़ंक्शन|होलोमोर्फिक फलन]] के लिए, [[कई गुना|मैनीफोल्ड]] के बीच विभेदित मानचित्रों के लिए, बानाच समिष्ट के बीच विभेदित फलनों के लिए, इत्यादि के लिए व्युत्क्रम फलन प्रमेय के संस्करण भी हैं।
 
प्रमेय को पहली बार एमिल पिकार्ड और एडौर्ड गौरसैट द्वारा एक पुनरावृत्त योजना का उपयोग करके स्थापित किया गया था: मूल विचार [[संकुचन मानचित्रण प्रमेय]] का उपयोग करके एक [[निश्चित बिंदु प्रमेय]] को प्रमाणित करना है।


==कथन==
==कथन==
एकल [[चर (गणित)]] के कार्यों के लिए, प्रमेय कहता है कि यदि <math>f</math> बिंदु पर गैर-शून्य व्युत्पन्न के साथ एक निरंतर भिन्न कार्य है <math>a</math>; तब <math>f</math> के पड़ोस में इंजेक्शन (या छवि पर विशेषण) है <math>a</math>, व्युत्क्रम निरंतर निकट अवकलनीय है <math>b=f(a)</math>, और व्युत्क्रम फ़ंक्शन का व्युत्पन्न <math>b</math> के व्युत्पन्न का व्युत्क्रम है <math>f</math> पर <math>a</math>:
एकल [[चर (गणित)]] के फलनों के लिए, प्रमेय कहता है कि यदि <math>f</math> बिंदु पर गैर-शून्य व्युत्पन्न के साथ एक निरंतर भिन्न फलन <math>a</math> है; तब <math>f</math> के प्रतिवेश में इंजेक्शन (या छवि पर विशेषण) <math>a</math> है, व्युत्क्रम निरंतर <math>b=f(a)</math> के निकट अवकलनीय है, और <math>b</math> पर व्युत्क्रम फलन का अवकलज, <math>a</math> पर <math>f</math> के अवकलज का व्युत्क्रम है:
<math display=block>\bigl(f^{-1}\bigr)'(b) = \frac{1}{f'(a)} = \frac{1}{f'(f^{-1}(b))}.</math><!-- Not sure the meaning of the following alternative version; if the function is already injective, the theorem gives nothing: An alternate version, which assumes that <math>f</math> is [[Continuous function|continuous]] and [[Locally injective function|injective near {{Mvar|a}}]], and differentiable at {{Mvar|a}} with a non-zero derivative, will also result in <math>f</math> being invertible near {{Mvar|a}}, with an inverse that's similarly continuous and [[Injective function|injective]] , and where the above formula would apply as well. -->
<math display=block>\bigl(f^{-1}\bigr)'(b) = \frac{1}{f'(a)} = \frac{1}{f'(f^{-1}(b))}.</math>
ऐसा हो सकता है कि कोई function <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}} एक खुले उपसमुच्चय से निरंतर भिन्न होने वाला फ़ंक्शन है <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|
एक से अधिक चर वाले फलनों के लिए, प्रमेय कहता है कि यदि {{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> उलटा है।


इसके अलावा, प्रमेय कहता है कि व्युत्क्रम फलन <math>f^{-1} : V \to U</math> निरंतर अवकलनीय है, और इसका व्युत्पन्न है <math>b=f(a)</math> का व्युत्क्रम मानचित्र है <math>f'(a)</math>; अर्थात।,
इसके अलावा, प्रमेय कहता है कि व्युत्क्रम फलन <math>f^{-1} : V \to U</math> निरंतर अवकलनीय है, और इसका व्युत्पन्न <math>b=f(a)</math> है, <math>f'(a)</math> का व्युत्क्रम मानचित्र है; अर्थात।,
:<math>(f^{-1})'(b) = f'(a)^{-1}.</math>
:<math>(f^{-1})'(b) = f'(a)^{-1}.</math>
दूसरे शब्दों में, यदि <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>k</math> समय अवकलनीय, बिंदु पर व्युत्क्रमणीय व्युत्पन्न के साथ {{Mvar|a}}, तो व्युत्क्रम भी सतत् है <math>k</math> समय अलग-अलग। यहाँ <math>k</math> एक धनात्मक पूर्णांक है या <math>\infty</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>m</math>) यदि और केवल यदि कोई निरंतर भिन्न कार्य मौजूद है <math>g</math> एक पड़ोस पर <math>V</math> का <math>b = f(a)</math> ऐसा <math>f \circ g = I</math> पास में <math>b</math>,
*व्युत्पन्न <math>f'(a)</math> विशेषण है (अर्थात, इसका प्रतिनिधित्व करने वाले जैकोबियन आव्यूह में रैंक है <math>m</math>) यदि और केवल यदि कोई निरंतर भिन्न फलन मौजूद है <math>g</math> एक प्रतिवेश पर <math>V</math> का <math>b = f(a)</math> ऐसा <math>f \circ g = I</math> पास में <math>b</math>,
और दूसरा है
और दूसरा है
*व्युत्पन्न <math>f'(a)</math> इंजेक्टिव है यदि और केवल यदि कोई निरंतर भिन्न कार्य मौजूद है <math>g</math> एक पड़ोस पर <math>V</math> का <math>b = f(a)</math> ऐसा <math>g \circ f = I</math> पास में <math>a</math>.
*व्युत्पन्न <math>f'(a)</math> इंजेक्टिव है यदि और केवल यदि कोई निरंतर भिन्न फलन मौजूद है <math>g</math> एक प्रतिवेश पर <math>V</math> का <math>b = f(a)</math> ऐसा <math>g \circ f = I</math> पास में <math>a</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>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> शून्येतर है)। पहले मामले में कथन [[विसर्जन प्रमेय]] का एक विशेष मामला है।
Line 32: Line 33:


==उदाहरण==
==उदाहरण==
वेक्टर-वैल्यू फ़ंक्शन पर विचार करें <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 40: Line 41:
\end{bmatrix}.
\end{bmatrix}.
</math>
</math>
जैकोबियन मैट्रिक्स है:
जैकोबियन आव्यूह है:
:<math>
:<math>
J_F(x,y)=
J_F(x,y)=
Line 54: Line 55:
e^{2x}.
e^{2x}.
\,\!</math>
\,\!</math>
निर्धारक <math>e^{2x}\!</math> सर्वत्र शून्येतर है। इस प्रकार प्रमेय प्रत्येक बिंदु के लिए इसकी गारंटी देता है {{Mvar|p}} में <math>\mathbb{R}^2\!</math>, वहाँ एक पड़ोस मौजूद है {{Mvar|p}} जिस पर {{Mvar|F}} उलटा है. इसका यह अर्थ नहीं है {{Mvar|F}} अपने संपूर्ण डोमेन पर उलटा है: इस मामले में {{Mvar|F}} [[इंजेक्शन]] भी नहीं है क्योंकि यह आवधिक है: <math>F(x,y)=F(x,y+2\pi)\!</math>.
निर्धारक <math>e^{2x}\!</math> सर्वत्र शून्येतर है। इस प्रकार प्रमेय प्रत्येक बिंदु के लिए इसकी गारंटी देता है {{Mvar|p}} में <math>\mathbb{R}^2\!</math>, वहाँ एक प्रतिवेश मौजूद है {{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> रेखा के पास एक द्विघात लिफाफे के अंदर घिरा हुआ है <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> असतत व्युत्पन्न है
[[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>x=0</math>. ये महत्वपूर्ण बिंदु स्थानीय अधिकतम/न्यूनतम बिंदु हैं <math>f</math>, इसलिए <math>f</math> किसी भी अंतराल पर एक-से-एक (और उलटा नहीं) नहीं है <math>x=0</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>f</math> किसी भी अंतराल पर एक-से-एक (और उलटा नहीं) नहीं है <math>x=0</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>{{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>
फिर भी एक अन्य प्रमाण न्यूटन की विधि का उपयोग करता है, जिसमें प्रमेय की एक प्रभावी विधि प्रदान करने का लाभ होता है: फलन के व्युत्पन्न पर सीमाएं प्रतिवेश के आकार का अनुमान लगाती हैं जिस पर फलन उलटा होता है।<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>


=== क्रमिक सन्निकटन का उपयोग करते हुए एक प्रमाण ===
=== क्रमिक सन्निकटन का उपयोग करते हुए एक प्रमाण ===
Line 72: Line 73:
अस्तित्व को सिद्ध करने के लिए, एक एफ़िन परिवर्तन के बाद यह माना जा सकता है कि <math>f(0)=0</math> और <math>f^\prime(0)=I</math>, ताकि <math> a=b=0</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>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>
Line 89: Line 90:
= {\|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>
0 की ओर प्रवृत्त होता है <math>k</math> और <math>h</math> यह साबित करते हुए 0 की ओर प्रवृत्त होते हैं <math>g</math> सी है<sup>1</sup>के साथ <math>g^\prime(y)=f^\prime(g(y))^{-1}</math>.
0 की ओर प्रवृत्त होता है <math>k</math> और <math>h</math> यह प्रमाणित करते हुए 0 की ओर प्रवृत्त होते हैं <math>g</math> सी है<sup>1</sup>के साथ <math>g^\prime(y)=f^\prime(g(y))^{-1}</math>.


उपरोक्त प्रमाण एक परिमित-आयामी स्थान के लिए प्रस्तुत किया गया है, लेकिन बनच स्थानों के लिए भी समान रूप से लागू होता है। यदि एक व्युत्क्रमणीय फलन <math>f</math> सी है<sup>क</sup>के साथ <math>k>1</math>, तो इसका उलटा भी वैसा ही है। यह इस तथ्य का उपयोग करके प्रेरण द्वारा अनुसरण करता है कि मानचित्र <math>F(A)=A^{-1}</math> ऑपरेटरों पर C है<sup>क</sup>किसी के लिए भी <math>k</math> (परिमित-आयामी मामले में यह एक प्राथमिक तथ्य है क्योंकि मैट्रिक्स का व्युत्क्रम उसके निर्धारक द्वारा विभाजित [[सहायक मैट्रिक्स]] के रूप में दिया जाता है)।
उपरोक्त प्रमाण एक परिमित-आयामी स्थान के लिए प्रस्तुत किया गया है, लेकिन बनच स्थानों के लिए भी समान रूप से प्रयुक्त होता है। यदि एक व्युत्क्रमणीय फलन <math>f</math> सी है<sup>क</sup>के साथ <math>k>1</math>, तो इसका उलटा भी वैसा ही है। यह इस तथ्य का उपयोग करके प्रेरण द्वारा अनुसरण करता है कि मानचित्र <math>F(A)=A^{-1}</math> ऑपरेटरों पर C है<sup>क</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> यहां प्रमाण की विधि [[ हेनरी कर्तन ]], जीन डियूडोने, [[सर्ज लैंग]], [[रोजर गोडेमेंट]] और लार्स होर्मेंडर की पुस्तकों में पाई जा सकती है।
<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 103: Line 103:
(More generally, the statement remains true if <math>\mathbb{R}^n</math> is replaced by a Banach space.)}}
(More generally, the statement remains true if <math>\mathbb{R}^n</math> is replaced by a Banach space.)}}


मूल रूप से, लेम्मा का कहना है कि संकुचन मानचित्र द्वारा पहचान मानचित्र का एक छोटा सा गड़बड़ी इंजेक्शन है और कुछ अर्थों में एक गेंद को संरक्षित करता है। एक पल के लिए प्रमेय मानकर, हम पहले प्रमेय को सिद्ध करते हैं। जैसा कि उपरोक्त प्रमाण में है, यह विशेष मामले को कब सिद्ध करने के लिए पर्याप्त है <math>a = 0, b = f(a) = 0</math> और <math>f'(0) = I</math>. होने देना <math>g = f - I</math>. [[माध्य मूल्य असमानता]] पर लागू होता है <math>t \mapsto g(x + t(y - x))</math> कहते हैं:
मूल रूप से, लेम्मा का कहना है कि संकुचन मानचित्र द्वारा पहचान मानचित्र का एक छोटा सा गड़बड़ी इंजेक्शन है और कुछ अर्थों में एक गेंद को संरक्षित करता है। एक पल के लिए प्रमेय मानकर, हम पहले प्रमेय को सिद्ध करते हैं। जैसा कि उपरोक्त प्रमाण में है, यह विशेष स्थिति को कब सिद्ध करने के लिए पर्याप्त है <math>a = 0, b = f(a) = 0</math> और <math>f'(0) = I</math>. होने देना <math>g = f - I</math>. [[माध्य मूल्य असमानता]] पर प्रयुक्त होता है <math>t \mapsto g(x + t(y - x))</math> कहते हैं:
:<math>|g(y) - g(x)| \le |y-x|\sup_{0 < t < 1} |g'(x + t(y - x))|.</math>
:<math>|g(y) - g(x)| \le |y-x|\sup_{0 < t < 1} |g'(x + t(y - x))|.</math>
तब से <math>g'(0) = I - I = 0</math> और <math>g'</math> निरंतर है, हम एक पा सकते हैं <math>r > 0</math> ऐसा है कि
तब से <math>g'(0) = I - I = 0</math> और <math>g'</math> निरंतर है, हम एक पा सकते हैं <math>r > 0</math> ऐसा है कि
Line 109: Line 109:
सभी के लिए <math>x, y</math> में <math>B(0, r)</math>. फिर प्रारंभिक लेम्मा यही कहती है <math>f = g + I</math> इंजेक्शन चालू है <math>B(0, r)</math> और <math>B(0, r/2) \subset f(B(0, r))</math>. तब
सभी के लिए <math>x, y</math> में <math>B(0, r)</math>. फिर प्रारंभिक लेम्मा यही कहती है <math>f = g + I</math> इंजेक्शन चालू है <math>B(0, r)</math> और <math>B(0, r/2) \subset f(B(0, r))</math>. तब
:<math>f : U = B(0, r) \cap f^{-1}(B(0, r/2)) \to V = B(0, r/2)</math>
:<math>f : U = B(0, r) \cap f^{-1}(B(0, r/2)) \to V = B(0, r/2)</math>
विशेषण है और इस प्रकार इसका व्युत्क्रम है। आगे, हम उलटा दिखाते हैं <math>f^{-1}</math> निरंतर भिन्न है (तर्क का यह भाग पिछले प्रमाण के समान है)। इस बार चलो <math>g = f^{-1}</math> का व्युत्क्रम निरूपित करें <math>f</math> और <math>A = f'(x)</math>. के लिए <math>x = g(y)</math>, हम लिखते हैं <math>g(y + k) = x + h</math> या <math>y + k = f(x+h)</math>. अब, शुरुआती अनुमान के अनुसार, हमारे पास है
विशेषण है और इस प्रकार इसका व्युत्क्रम है। आगे, हम उलटा दिखाते हैं <math>f^{-1}</math> निरंतर भिन्न है (तर्क का यह भाग पिछले प्रमाण के समान है)। इस बार माना <math>g = f^{-1}</math> का व्युत्क्रम निरूपित करें <math>f</math> और <math>A = f'(x)</math>. के लिए <math>x = g(y)</math>, हम लिखते हैं <math>g(y + k) = x + h</math> या <math>y + k = f(x+h)</math>. अब, प्रारंभिक अनुमान के अनुसार, हमारे पास है
:<math>|h - k| = |f(x+h) - f(x) - h| \le |h|/2</math>
:<math>|h - k| = |f(x+h) - f(x) - h| \le |h|/2</math>
इसलिए <math>|h|/2 \le |k|</math>. लिखना <math>\| \cdot \|</math> ऑपरेटर मानदंड के लिए,
इसलिए <math>|h|/2 \le |k|</math>. लिखना <math>\| \cdot \|</math> ऑपरेटर मानदंड के लिए,
Line 125: Line 125:
== अनुप्रयोग ==
== अनुप्रयोग ==


===अंतर्निहित फ़ंक्शन प्रमेय===
===अंतर्निहित फलन प्रमेय===
व्युत्क्रम फलन प्रमेय का उपयोग समीकरणों की प्रणाली को हल करने के लिए किया जा सकता है
व्युत्क्रम फलन प्रमेय का उपयोग समीकरणों की प्रणाली को हल करने के लिए किया जा सकता है
:<math>\begin{align}
:<math>\begin{align}
Line 131: Line 131:
&\quad \vdots\\
&\quad \vdots\\
&f_n(x) = y_n,\end{align}</math>
&f_n(x) = y_n,\end{align}</math>
यानी, व्यक्त करना <math>y_1, \dots, y_n</math> के कार्यों के रूप में <math>x = (x_1, \dots, x_n)</math>, बशर्ते जैकोबियन मैट्रिक्स उलटा हो। अंतर्निहित फ़ंक्शन प्रमेय समीकरणों की अधिक सामान्य प्रणाली को हल करने की अनुमति देता है:
यानी, व्यक्त करना <math>y_1, \dots, y_n</math> के फलनों के रूप में <math>x = (x_1, \dots, x_n)</math>, बशर्ते जैकोबियन आव्यूह उलटा हो। अंतर्निहित फलन प्रमेय समीकरणों की अधिक सामान्य प्रणाली को हल करने की अनुमति देता है:
:<math>\begin{align}
:<math>\begin{align}
&f_1(x, y) = 0 \\
&f_1(x, y) = 0 \\
&\quad \vdots\\
&\quad \vdots\\
&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>(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 : \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>
जिसका अर्थ <math>x = G_1(x, y)</math> और <math>y = f(x, G_2(x, y)).</math> इस प्रकार <math>g(x) = G_2(x, 0)</math> आवश्यक संपत्ति है. <math>\square</math>
जिसका अर्थ <math>x = G_1(x, y)</math> और <math>y = f(x, G_2(x, y)).</math> इस प्रकार <math>g(x) = G_2(x, 0)</math> आवश्यक संपत्ति है. <math>\square</math>
Line 144: Line 144:


===विविध संरचना देना===
===विविध संरचना देना===
विभेदक ज्यामिति में, व्युत्क्रम फ़ंक्शन प्रमेय का उपयोग यह दिखाने के लिए किया जाता है कि एक सुचारू मानचित्र के तहत नियमित मान की पूर्व-छवि कई गुना है।<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>. फिर हमारे पास है
विभेदक ज्यामिति में, व्युत्क्रम फलन प्रमेय का उपयोग यह दिखाने के लिए किया जाता है कि एक सुचारू मानचित्र के तहत नियमित मान की पूर्व-छवि कई गुना है।<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 150: Line 150:
अर्थात्, निर्देशांक के परिवर्तन के बाद <math>G</math>, <math>f</math> एक समन्वय प्रक्षेपण है (इस तथ्य को जलमग्न प्रमेय के रूप में जाना जाता है)। इसके अलावा, तब से <math>G : V \times W \to U' = G(V \times W)</math> मानचित्र वस्तुनिष्ठ है
अर्थात्, निर्देशांक के परिवर्तन के बाद <math>G</math>, <math>f</math> एक समन्वय प्रक्षेपण है (इस तथ्य को जलमग्न प्रमेय के रूप में जाना जाता है)। इसके अलावा, तब से <math>G : V \times W \to U' = G(V \times W)</math> मानचित्र वस्तुनिष्ठ है
:<math>g = G(b, \cdot) : W \to f^{-1}(b) \cap U', \, (x_{r+1}, \dots, x_n) \mapsto G(b, x_{r+1}, \dots, x_n)</math>
:<math>g = G(b, \cdot) : W \to f^{-1}(b) \cap U', \, (x_{r+1}, \dots, x_n) \mapsto G(b, x_{r+1}, \dots, x_n)</math>
सहज व्युत्क्रम के साथ विशेषण है। यानी, <math>g</math> का स्थानीय पैरामीटरीकरण देता है <math>f^{-1}(b)</math> आस-पास <math>a</math>. इस तरह, <math>f^{-1}(b)</math> अनेक गुना है. <math>\square</math> (ध्यान दें कि प्रमाण अंतर्निहित फ़ंक्शन प्रमेय के प्रमाण के समान है और वास्तव में, इसके बजाय अंतर्निहित फ़ंक्शन प्रमेय का भी उपयोग किया जा सकता है।)
सहज व्युत्क्रम के साथ विशेषण है। यानी, <math>g</math> का स्थानीय पैरामीटरीकरण देता है <math>f^{-1}(b)</math> आस-पास <math>a</math>. इस तरह, <math>f^{-1}(b)</math> अनेक गुना है. <math>\square</math> (ध्यान दें कि प्रमाण अंतर्निहित फलन प्रमेय के प्रमाण के समान है और वास्तव में, इसके बजाय अंतर्निहित फलन प्रमेय का भी उपयोग किया जा सकता है।)


अधिक सामान्यतः, प्रमेय से पता चलता है कि यदि एक सुचारू मानचित्र <math>f : P \to E</math> एक सबमैनिफोल्ड के लिए अनुप्रस्थ है <math>M \subset E</math>, फिर पूर्व-छवि <math>f^{-1}(M) \hookrightarrow P</math> एक उपमान है.<ref>https://sites.math.northwestern.edu/~jnkf/classes/mflds/4transversality.pdf {{Bare URL PDF|date=May 2022}}</ref>
अधिक सामान्यतः, प्रमेय से पता चलता है कि यदि एक सुचारू मानचित्र <math>f : P \to E</math> एक सबमैनिफोल्ड के लिए अनुप्रस्थ है <math>M \subset E</math>, फिर पूर्व-छवि <math>f^{-1}(M) \hookrightarrow P</math> एक उपमान है.<ref>https://sites.math.northwestern.edu/~jnkf/classes/mflds/4transversality.pdf {{Bare URL PDF|date=May 2022}}</ref>
Line 156: Line 156:


== वैश्विक संस्करण ==
== वैश्विक संस्करण ==
व्युत्क्रम फलन प्रमेय एक स्थानीय परिणाम है; यह प्रत्येक बिंदु पर लागू होता है. एक प्राथमिकता, प्रमेय इस प्रकार केवल फ़ंक्शन दिखाता है <math>f</math> स्थानीय रूप से विशेषण है (या किसी वर्ग का स्थानीय रूप से भिन्न रूप)। अगले टोपोलॉजिकल लेम्मा का उपयोग स्थानीय इंजेक्टिविटी को कुछ हद तक वैश्विक इंजेक्टिविटी में अपग्रेड करने के लिए किया जा सकता है।
व्युत्क्रम फलन प्रमेय एक स्थानीय परिणाम है; यह प्रत्येक बिंदु पर प्रयुक्त होता है. एक प्राथमिकता, प्रमेय इस प्रकार केवल फलन दिखाता है <math>f</math> स्थानीय रूप से विशेषण है (या किसी वर्ग का स्थानीय रूप से भिन्न रूप)। अगले टोपोलॉजिकल लेम्मा का उपयोग स्थानीय इंजेक्टिविटी को कुछ हद तक वैश्विक इंजेक्टिविटी में अपग्रेड करने के लिए किया जा सकता है।


{{math_theorem|name=Lemma|math_statement=<ref>One of Spivak's books (Editorial note: give the exact location).</ref><ref>{{harvnb|Hirsch|loc=Ch. 2, § 1., Exercise 7.}} NB: This one is for a <math>C^1</math>-immersion.</ref> If <math>A</math> is a closed subset of a (second-countable) topological manifold <math>X</math> (or, more generally, a topological space admitting an [[exhaustion by compact subsets]]) and <math>f : X \to Z</math>, <math>Z</math> some topological space, is a local homeomorphism that is injective on <math>A</math>, then <math>f</math> is injective on some neighborhood of <math>A</math>.}}
{{math_theorem|name=Lemma|math_statement=<ref>One of Spivak's books (Editorial note: give the exact location).</ref><ref>{{harvnb|Hirsch|loc=Ch. 2, § 1., Exercise 7.}} NB: This one is for a <math>C^1</math>-immersion.</ref> If <math>A</math> is a closed subset of a (second-countable) topological manifold <math>X</math> (or, more generally, a topological space admitting an [[exhaustion by compact subsets]]) and <math>f : X \to Z</math>, <math>Z</math> some topological space, is a local homeomorphism that is injective on <math>A</math>, then <math>f</math> is injective on some neighborhood of <math>A</math>.}}


सबूत:<ref>Lemma 13.3.3. of https://www.utsc.utoronto.ca/people/kupers/wp-content/uploads/sites/50/2020/12/difffop-2020.pdf</ref> पहले मान लीजिये <math>X</math> [[सघन स्थान]] है. यदि प्रमेय का निष्कर्ष गलत है, तो हम दो अनुक्रम पा सकते हैं <math>x_i \ne y_i</math> ऐसा है कि <math>f(x_i) = f(y_i)</math> और <math>x_i, y_i</math> प्रत्येक कुछ बिंदुओं पर अभिसरण करता है <math>x, y</math> में <math>A</math>. तब से <math>f</math> इंजेक्शन चालू है <math>A</math>, <math>x = y</math>. अब अगर <math>i</math> काफी बड़ा है, <math>x_i, y_i</math> के पड़ोस में हैं <math>x = y</math> कहाँ <math>f</math> इंजेक्शन है; इस प्रकार, <math>x_i = y_i</math>, एक विरोधाभास.
सबूत:<ref>Lemma 13.3.3. of https://www.utsc.utoronto.ca/people/kupers/wp-content/uploads/sites/50/2020/12/difffop-2020.pdf</ref> पहले मान लीजिये <math>X</math> [[सघन स्थान]] है. यदि प्रमेय का निष्कर्ष गलत है, तो हम दो अनुक्रम पा सकते हैं <math>x_i \ne y_i</math> ऐसा है कि <math>f(x_i) = f(y_i)</math> और <math>x_i, y_i</math> प्रत्येक कुछ बिंदुओं पर अभिसरण करता है <math>x, y</math> में <math>A</math>. तब से <math>f</math> इंजेक्शन चालू है <math>A</math>, <math>x = y</math>. अब अगर <math>i</math> काफी बड़ा है, <math>x_i, y_i</math> के प्रतिवेश में हैं <math>x = y</math> कहाँ <math>f</math> इंजेक्शन है; इस प्रकार, <math>x_i = y_i</math>, एक विरोधाभास.


सामान्य तौर पर, सेट पर विचार करें <math>E = \{ (x, y) \in X^2 \mid x \ne y, f(x) = f(y) \}</math>. यह से असंयुक्त है <math>S \times S</math> किसी भी उपसमुच्चय के लिए <math>S \subset X</math> कहाँ <math>f</math> इंजेक्शन है. होने देना <math>X_1 \subset X_2 \subset \cdots </math> संघ के साथ सघन उपसमुच्चय का बढ़ता क्रम बनें <math>X</math> और साथ <math>X_i</math> के आंतरिक भाग में समाहित है <math>X_{i+1}</math>. फिर, प्रमाण के पहले भाग द्वारा, प्रत्येक के लिए <math>i</math>, हम एक पड़ोस ढूंढ सकते हैं <math>U_i</math> का <math>A \cap X_i</math> ऐसा है कि <math>U_i^2 \subset X^2 - E</math>. तब <math>U = \bigcup_i U_i</math> आवश्यक संपत्ति है. <math>\square</math> (यह सभी देखें <ref>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</ref> वैकल्पिक दृष्टिकोण के लिए।)
सामान्य तौर पर, सेट पर विचार करें <math>E = \{ (x, y) \in X^2 \mid x \ne y, f(x) = f(y) \}</math>. यह से असंयुक्त है <math>S \times S</math> किसी भी उपसमुच्चय के लिए <math>S \subset X</math> कहाँ <math>f</math> इंजेक्शन है. होने देना <math>X_1 \subset X_2 \subset \cdots </math> संघ के साथ सघन उपसमुच्चय का बढ़ता क्रम बनें <math>X</math> और साथ <math>X_i</math> के आंतरिक भाग में समाहित है <math>X_{i+1}</math>. फिर, प्रमाण के पहले भाग द्वारा, प्रत्येक के लिए <math>i</math>, हम एक प्रतिवेश ढूंढ सकते हैं <math>U_i</math> का <math>A \cap X_i</math> ऐसा है कि <math>U_i^2 \subset X^2 - E</math>. तब <math>U = \bigcup_i U_i</math> आवश्यक संपत्ति है. <math>\square</math> (यह सभी देखें <ref>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</ref> वैकल्पिक दृष्टिकोण के लिए।)


लेम्मा का तात्पर्य व्युत्क्रम फलन प्रमेय के निम्नलिखित (एक प्रकार के) वैश्विक संस्करण से है:
लेम्मा का तात्पर्य व्युत्क्रम फलन प्रमेय के निम्नलिखित (एक प्रकार के) वैश्विक संस्करण से है:
Line 171: Line 171:


== होलोमोर्फिक व्युत्क्रम फलन प्रमेय ==
== होलोमोर्फिक व्युत्क्रम फलन प्रमेय ==
[[होलोमोर्फिक मानचित्र]]ों के लिए व्युत्क्रम फ़ंक्शन प्रमेय का एक संस्करण है।
[[होलोमोर्फिक मानचित्र]]ों के लिए व्युत्क्रम फलन प्रमेय का एक संस्करण है।


{{math_theorem|name=Theorem|math_statement=<ref>{{harvnb|Griffiths|Harris|loc=p. 18.}}</ref><ref>{{cite book |first1=K. |last1=Fritzsche |first2=H. |last2=Grauert |title=From Holomorphic Functions to Complex Manifolds |publisher=Springer |year=2002 |pages=33–36 |isbn=9780387953953 |url=https://books.google.com/books?id=jSeRz36zXIMC&pg=PA33 }}</ref> Let <math>U, V \subset \mathbb{C}^n</math> be open subsets such that <math>0 \in U</math> and <math>f : U \to V</math> a holomorphic map whose Jacobian matrix in variables <math>z_i, \overline{z}_i</math> is invertible (the determinant is nonzero) at <math>0</math>. Then <math>f</math> is injective in some neighborhood <math>W</math> of <math>0</math> and the inverse <math>f^{-1} : f(W) \to W</math> is holomorphic.}}
{{math_theorem|name=Theorem|math_statement=<ref>{{harvnb|Griffiths|Harris|loc=p. 18.}}</ref><ref>{{cite book |first1=K. |last1=Fritzsche |first2=H. |last2=Grauert |title=From Holomorphic Functions to Complex Manifolds |publisher=Springer |year=2002 |pages=33–36 |isbn=9780387953953 |url=https://books.google.com/books?id=jSeRz36zXIMC&pg=PA33 }}</ref> Let <math>U, V \subset \mathbb{C}^n</math> be open subsets such that <math>0 \in U</math> and <math>f : U \to V</math> a holomorphic map whose Jacobian matrix in variables <math>z_i, \overline{z}_i</math> is invertible (the determinant is nonzero) at <math>0</math>. Then <math>f</math> is injective in some neighborhood <math>W</math> of <math>0</math> and the inverse <math>f^{-1} : f(W) \to W</math> is holomorphic.}}


प्रमेय सामान्य व्युत्क्रम फलन प्रमेय से अनुसरण करता है। वास्तव में, चलो <math>J_{\mathbb{R}}(f)</math> के जैकोबियन मैट्रिक्स को निरूपित करें <math>f</math> चर में <math>x_i, y_i</math> और <math>J(f)</math> उसके लिए <math>z_j, \overline{z}_j</math>. तो हमारे पास हैं <math>\det J_{\mathbb{R}}(f) = |\det J(f)|^2</math>, जो अनुमान से अशून्य है। इसलिए, सामान्य व्युत्क्रम फलन प्रमेय द्वारा, <math>f</math> निकट इंजेक्शन है <math>0</math> निरंतर अवकलनीय व्युत्क्रम के साथ। शृंखला नियम से, साथ <math>w = f(z)</math>,
प्रमेय सामान्य व्युत्क्रम फलन प्रमेय से अनुसरण करता है। वास्तव में, चलो <math>J_{\mathbb{R}}(f)</math> के जैकोबियन आव्यूह को निरूपित करें <math>f</math> चर में <math>x_i, y_i</math> और <math>J(f)</math> उसके लिए <math>z_j, \overline{z}_j</math>. तो हमारे पास हैं <math>\det J_{\mathbb{R}}(f) = |\det J(f)|^2</math>, जो अनुमान से अशून्य है। इसलिए, सामान्य व्युत्क्रम फलन प्रमेय द्वारा, <math>f</math> निकट इंजेक्शन है <math>0</math> निरंतर अवकलनीय व्युत्क्रम के साथ। शृंखला नियम से, साथ <math>w = f(z)</math>,
:<math>\frac{\partial}{\partial \overline{z}_j} (f_j^{-1} \circ f)(z) = \sum_k \frac{\partial f_j^{-1}}{\partial w_k}(w) \frac{\partial f_k}{\partial \overline{z}_j}(z) + \sum_k \frac{\partial f_j^{-1}}{\partial \overline{w}_k}(w) \frac{\partial \overline{f}_k}{\partial \overline{z}_j}(z)</math>
:<math>\frac{\partial}{\partial \overline{z}_j} (f_j^{-1} \circ f)(z) = \sum_k \frac{\partial f_j^{-1}}{\partial w_k}(w) \frac{\partial f_k}{\partial \overline{z}_j}(z) + \sum_k \frac{\partial f_j^{-1}}{\partial \overline{w}_k}(w) \frac{\partial \overline{f}_k}{\partial \overline{z}_j}(z)</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>
जहां से बायीं ओर और दायीं ओर का पहला पद गायब हो जाता है <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=Proposition|math_statement=<ref name="holomorphic implicit" /> If <math>f : U \to V</math> is an injective holomorphic map between open subsets of <math>\mathbb{C}^n</math>, then <math>f^{-1} : f(U) \to U</math> is holomorphic.}}
{{math_theorem|name=Proposition|math_statement=<ref name="holomorphic implicit" /> If <math>f : U \to V</math> is an injective holomorphic map between open subsets of <math>\mathbb{C}^n</math>, then <math>f^{-1} : f(U) \to U</math> is holomorphic.}}


== मैनिफोल्ड्स के लिए फॉर्मूलेशन ==
== मैनिफोल्ड्स के लिए फॉर्मूलेशन ==
व्युत्क्रम फ़ंक्शन प्रमेय को भिन्न-भिन्न मैनिफोल्ड्स के बीच भिन्न-भिन्न मानचित्रों के संदर्भ में दोबारा दोहराया जा सकता है। इस संदर्भ में प्रमेय बताता है कि एक भिन्न मानचित्र के लिए <math>F: M \to N</math> (कक्षा का <math>C^1</math>), यदि पुशफॉरवर्ड (अंतर) का <math>F</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>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>
एक भिन्नरूपता है. ध्यान दें कि इसका तात्पर्य यह है कि जुड़े हुए घटक {{Mvar|M}} और {{Mvar|N}} युक्त पी और एफ(पी) का आयाम समान है, जैसा कि पहले से ही सीधे तौर पर इस धारणा से निहित है कि डीएफ<sub>''p''</sub> एक समरूपता है.
एक भिन्नरूपता है. ध्यान दें कि इसका तात्पर्य यह है कि जुड़े हुए घटक {{Mvar|M}} और {{Mvar|N}} युक्त पी और एफ(पी) का आयाम समान है, जैसा कि पहले से ही सीधे तौर पर इस धारणा से निहित है कि डीएफ<sub>''p''</sub> एक समरूपता है।
 
यदि का व्युत्पन्न {{Mvar|F}} सभी बिंदुओं पर एक समरूपता है {{Mvar|p}} में {{Mvar|M}} फिर नक्शा {{Mvar|F}} एक [[स्थानीय भिन्नता]] है।
यदि का व्युत्पन्न {{Mvar|F}} सभी बिंदुओं पर एक समरूपता है {{Mvar|p}} में {{Mvar|M}} फिर नक्शा {{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> एक निरंतर भिन्न कार्य, और मान लें कि फ़्रेचेट व्युत्पन्न <math>dF_0: X \to Y\!</math> का{{Mvar|F}} 0 पर एक घिरा हुआ रैखिक मानचित्र रैखिक समरूपता है{{Mvar|X}}पर{{Mvar|Y}}. फिर वहाँ एक खुला पड़ोस मौजूद है{{Mvar|V}} का <math>F(0)\!</math> में{{Mvar|Y}} और एक निरंतर भिन्न मानचित्र <math>G: V \to X\!</math> ऐसा है कि <math>F(G(y)) = y</math> सभी के लिए{{Mvar|y}} में{{Mvar|V}}. इसके अतिरिक्त, <math>G(y)\!</math> एकमात्र पर्याप्त छोटा समाधान है{{Mvar|x}} समीकरण का <math>F(x) = y\!</math>.
व्युत्क्रम फलन प्रमेय को बानाच समिष्ट के बीच विभेदित मानचित्रों के लिए भी सामान्यीकृत किया जा सकता है{{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> एक निरंतर भिन्न फलन, और मान लें कि फ़्रेचेट व्युत्पन्न <math>dF_0: X \to Y\!</math> का{{Mvar|F}} 0 पर एक घिरा हुआ रैखिक मानचित्र रैखिक समरूपता है{{Mvar|X}}पर{{Mvar|Y}}. फिर वहाँ एक खुला प्रतिवेश मौजूद है{{Mvar|V}} का <math>F(0)\!</math> में{{Mvar|Y}} और एक निरंतर भिन्न मानचित्र <math>G: V \to X\!</math> ऐसा है कि <math>F(G(y)) = y</math> सभी के लिए{{Mvar|y}} में{{Mvar|V}}. इसके अतिरिक्त, <math>G(y)\!</math> एकमात्र पर्याप्त छोटा समाधान है{{Mvar|x}} समीकरण का <math>F(x) = y\!</math>.


[[बनच मैनिफोल्ड]] के लिए व्युत्क्रम फलन प्रमेय भी है।<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 199: Line 200:


===स्थिर रैंक प्रमेय===
===स्थिर रैंक प्रमेय===
व्युत्क्रम फ़ंक्शन प्रमेय (और अंतर्निहित फ़ंक्शन प्रमेय) को निरंतर रैंक प्रमेय के एक विशेष मामले के रूप में देखा जा सकता है, जिसमें कहा गया है कि एक बिंदु के पास स्थिर [[ रैंक (विभेदक टोपोलॉजी) ]] के साथ एक सुचारू मानचित्र को उसके पास एक विशेष सामान्य रूप में रखा जा सकता है। बिंदु।<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}}. अंकों का समूह <math>p\in M</math> जैसे कि रैंक पड़ोस में स्थिर है <math>p</math> का एक खुला सघन उपसमुच्चय है {{Mvar|M}}; यह रैंक फ़ंक्शन की [[अर्धनिरंतरता]] का परिणाम है। इस प्रकार स्थिर रैंक प्रमेय डोमेन के सामान्य बिंदु पर लागू होता है।
व्युत्क्रम फलन प्रमेय (और अंतर्निहित फलन प्रमेय) को निरंतर रैंक प्रमेय के एक विशेष मामले के रूप में देखा जा सकता है, जिसमें कहा गया है कि एक बिंदु के पास स्थिर [[ रैंक (विभेदक टोपोलॉजी) ]] के साथ एक सुचारू मानचित्र को उसके पास एक विशेष सामान्य रूप में रखा जा सकता है। बिंदु।<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}}. अंकों का समूह <math>p\in M</math> जैसे कि रैंक प्रतिवेश में स्थिर है <math>p</math> का एक खुला सघन उपसमुच्चय है {{Mvar|M}}; यह रैंक फलन की [[अर्धनिरंतरता]] का परिणाम है। इस प्रकार स्थिर रैंक प्रमेय डोमेन के सामान्य बिंदु पर प्रयुक्त होता है।


जब की व्युत्पत्ति {{Mvar|F}} एक बिंदु पर विशेषण (सम्मान विशेषण) है {{Mvar|p}}, यह पड़ोस में इंजेक्शन (सम्मान विशेषण) भी है {{Mvar|p}}, और इसलिए रैंक {{Mvar|F}} उस पड़ोस पर स्थिर है, और स्थिर रैंक प्रमेय लागू होता है।
जब की व्युत्पत्ति {{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>
कब <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 09:54, 14 July 2023

गणित में, विशेष रूप से विभेदक कैलकुलस, व्युत्क्रम फलन प्रमेय एक फलन (गणित) के लिए एक फलन के डोमेन में एक बिंदु के प्रतिवेश (गणित) में व्युत्क्रमणीय फलन होने की आवश्यकता और पर्याप्तता देता है: अर्थात्, इसका व्युत्पन्न है बिंदु पर निरंतर और गैर-शून्य। प्रमेय व्युत्क्रम फलन के अवकलज के लिए एक सूत्र भी देता है।

बहुपरिवर्तनीय कलन में, इस प्रमेय को किसी भी निरंतर भिन्न, सदिश-मूल्यवान फलन के लिए सामान्यीकृत किया जा सकता है जिसका जैकोबियन निर्धारक अपने डोमेन में एक बिंदु पर गैर-शून्य है, जो व्युत्क्रम के जैकोबियन आव्यूह के लिए एक सूत्र देता है। जटिल संख्याओं के होलोमोर्फिक फलन के लिए, मैनीफोल्ड के बीच विभेदित मानचित्रों के लिए, बानाच समिष्ट के बीच विभेदित फलनों के लिए, इत्यादि के लिए व्युत्क्रम फलन प्रमेय के संस्करण भी हैं।

प्रमेय को पहली बार एमिल पिकार्ड और एडौर्ड गौरसैट द्वारा एक पुनरावृत्त योजना का उपयोग करके स्थापित किया गया था: मूल विचार संकुचन मानचित्रण प्रमेय का उपयोग करके एक निश्चित बिंदु प्रमेय को प्रमाणित करना है।

कथन

एकल चर (गणित) के फलनों के लिए, प्रमेय कहता है कि यदि बिंदु पर गैर-शून्य व्युत्पन्न के साथ एक निरंतर भिन्न फलन है; तब के प्रतिवेश में इंजेक्शन (या छवि पर विशेषण) है, व्युत्क्रम निरंतर के निकट अवकलनीय है, और पर व्युत्क्रम फलन का अवकलज, पर के अवकलज का व्युत्क्रम है:

ऐसा हो सकता है कि कोई फलन एक बिंदु के निकट इंजेक्टिव हो सकता है जबकि । एक उदाहरण है। वास्तव में, ऐसे फलन के लिए, अवकलज को अलग नहीं किया जा सकता है, चूँकि यदि , पर अवकलनीय होता, तो, श्रृंखला नियम द्वारा, , जो दर्शाता है। (होलोमोर्फिक फलन के लिए स्थिति अलग है; नीचे होलोमोर्फिक व्युत्क्रम फलन प्रमेय देखें।)

एक से अधिक चर वाले फलनों के लिए, प्रमेय कहता है कि यदि f एक संकृत उपसमुच्चय से निरंतर भिन्न होने वाला फलन है का में , और कुल व्युत्पन्न एक बिंदु पर उलटा है a (अर्थात, जैकोबियन आव्यूह का निर्धारक और का निर्धारक f पर a गैर-शून्य है), तो प्रतिवेश मौजूद हैं का में और का ऐसा है कि और वस्तुनिष्ठ है.[1]लेखन , इसका मतलब यह है कि की प्रणाली n समीकरण के लिए एक अनोखा समाधान है के अनुसार कब . ध्यान दें कि प्रमेय यह नहीं कहता है जहां छवि पर विशेषण है उलटा है लेकिन यह स्थानीय रूप से विशेषण है उलटा है।

इसके अलावा, प्रमेय कहता है कि व्युत्क्रम फलन निरंतर अवकलनीय है, और इसका व्युत्पन्न है, का व्युत्क्रम मानचित्र है; अर्थात।,

दूसरे शब्दों में, यदि जैकोबियन आव्यूह का प्रतिनिधित्व कर रहे हैं, इसका अर्थ यह है:

प्रमेय का कठिन हिस्सा अस्तित्व और भिन्नता है। इसे मानते हुए, व्युत्क्रम व्युत्पन्न सूत्र प्रयुक्त श्रृंखला नियम का अनुसरण करता है। (वास्तव में, ) चूँकि व्युत्क्रम लेना अपरिमित रूप से भिन्न है, व्युत्क्रम के अवकलज का सूत्र दर्शाता है कि यदि लगातार है समय अवकलनीय, बिंदु पर व्युत्क्रमणीय व्युत्पन्न के साथ a, तो व्युत्क्रम भी सतत् है समय अलग-अलग। यहाँ एक धनात्मक पूर्णांक है या .

व्युत्क्रम फलन प्रमेय के दो प्रकार हैं।[1]एक निरंतर भिन्न मानचित्र दिया गया , पहला है

  • व्युत्पन्न विशेषण है (अर्थात, इसका प्रतिनिधित्व करने वाले जैकोबियन आव्यूह में रैंक है ) यदि और केवल यदि कोई निरंतर भिन्न फलन मौजूद है एक प्रतिवेश पर का ऐसा पास में ,

और दूसरा है

  • व्युत्पन्न इंजेक्टिव है यदि और केवल यदि कोई निरंतर भिन्न फलन मौजूद है एक प्रतिवेश पर का ऐसा पास में .

पहले मामले में (कब विशेषण है), बात नियमित मान कहलाता है. तब से , पहला मामला कहने के बराबर है क्रिटिकल_पॉइंट_(गणित)#क्रिटिकल_पॉइंट_ऑफ_ए_डिफरेंशियल_मैप की छवि में नहीं है (एक महत्वपूर्ण बिंदु एक बिंदु है ऐसे कि की गिरी शून्येतर है)। पहले मामले में कथन विसर्जन प्रमेय का एक विशेष मामला है।

ये प्रकार व्युत्क्रम फलन प्रमेय के पुनर्कथन हैं। दरअसल, पहले मामले में जब विशेषण है, हम एक (विशेषण) रेखीय मानचित्र पा सकते हैं ऐसा है कि . परिभाषित करना ताकि हमारे पास:

इस प्रकार, व्युत्क्रम फलन प्रमेय द्वारा, व्युत्क्रम निकट है ; अर्थात।, पास में . दूसरा मामला ( injective है) इसी तरह से देखा जाता है।

उदाहरण

सदिश-वैल्यू फलन पर विचार करें द्वारा परिभाषित:

जैकोबियन आव्यूह है:

जैकोबियन निर्धारक के साथ:

निर्धारक सर्वत्र शून्येतर है। इस प्रकार प्रमेय प्रत्येक बिंदु के लिए इसकी गारंटी देता है p में , वहाँ एक प्रतिवेश मौजूद है p जिस पर F उलटा है. इसका यह अर्थ नहीं है F अपने संपूर्ण डोमेन पर उलटा है: इस मामले में F इंजेक्शन भी नहीं है क्योंकि यह आवधिक है: .

प्रति-उदाहरण

फलनक्रम रेखा के पास एक द्विघात लिफाफे के अंदर घिरा हुआ है , इसलिए . फिर भी, इसमें स्थानीय अधिकतम/न्यूनतम अंक जमा हो रहे हैं , इसलिए यह किसी भी आसपास के अंतराल पर एक-से-एक नहीं है।

यदि कोई इस धारणा को छोड़ देता है कि व्युत्पन्न निरंतर है, तो फलन को अब व्युत्क्रमणीय होने की आवश्यकता नहीं है। उदाहरण के लिए और असतत व्युत्पन्न है

और , जो मनमाने ढंग से करीब गायब हो जाता है . ये महत्वपूर्ण बिंदु स्थानीय अधिकतम/न्यूनतम बिंदु हैं , इसलिए किसी भी अंतराल पर एक-से-एक (और उलटा नहीं) नहीं है . सहज रूप से, ढलान आस-पास के बिंदुओं तक नहीं फैलता है, जहां ढलान कमजोर लेकिन तीव्र दोलन द्वारा नियंत्रित होते हैं।

प्रमाण की विधियाँ

एक महत्वपूर्ण परिणाम के रूप में, व्युत्क्रम फलन प्रमेय को कई प्रमाण दिए गए हैं। पाठ्यपुस्तकों में सबसे अधिक देखा जाने वाला प्रमाण संकुचन मानचित्रण सिद्धांत पर निर्भर करता है, जिसे बानाच निश्चित-बिंदु प्रमेय के रूप में भी जाना जाता है (जिसे साधारण अंतर समीकरणों के समाधान के पिकार्ड-लिंडेलोफ़ प्रमेय के प्रमाण में महत्वपूर्ण चरण के रूप में भी इस्तेमाल किया जा सकता है)।[2][3] चूंकि निश्चित बिंदु प्रमेय अनंत-आयामी (बैनाच स्पेस) सेटिंग्स में प्रयुक्त होता है, यह प्रमाण व्युत्क्रम फलन प्रमेय के अनंत-आयामी संस्करण को तुरंत सामान्यीकृत करता है[4] (व्युत्क्रम फलन प्रमेय#सामान्यीकरण नीचे देखें)।

परिमित आयामों में एक वैकल्पिक प्रमाण एक कॉम्पैक्ट सेट पर फलनों के लिए चरम मूल्य प्रमेय पर निर्भर करता है।[5]

फिर भी एक अन्य प्रमाण न्यूटन की विधि का उपयोग करता है, जिसमें प्रमेय की एक प्रभावी विधि प्रदान करने का लाभ होता है: फलन के व्युत्पन्न पर सीमाएं प्रतिवेश के आकार का अनुमान लगाती हैं जिस पर फलन उलटा होता है।[6]

क्रमिक सन्निकटन का उपयोग करते हुए एक प्रमाण

अस्तित्व को सिद्ध करने के लिए, एक एफ़िन परिवर्तन के बाद यह माना जा सकता है कि और , ताकि .

माध्य मान प्रमेय द्वारा#सदिश-मूल्यवान फलनों के लिए माध्य मान प्रमेय|किसी फलन के लिए सदिश-मूल्यवान फलनों के लिए माध्य मान प्रमेय , . सेटिंग , यह इस प्रकार है कि

अब चुनें ताकि के लिए . लगता है कि और परिभाषित करें आगमनात्मक रूप से और . धारणाएँ दर्शाती हैं कि यदि तब

.

विशेष रूप से तात्पर्य . आगमनात्मक योजना में और . इस प्रकार एक कॉची अनुक्रम है जो प्रवृत्त होता है . निर्माण द्वारा आवश्यकता अनुसार।

उसे जांचने के लिए सी है1, लिखो ताकि . उपरोक्त असमानताओं से, ताकि . दूसरी ओर यदि , तब . के लिए ज्यामितीय श्रृंखला का उपयोग करना , यह इस प्रकार है कि . परन्तु फिर

0 की ओर प्रवृत्त होता है और यह प्रमाणित करते हुए 0 की ओर प्रवृत्त होते हैं सी है1के साथ .

उपरोक्त प्रमाण एक परिमित-आयामी स्थान के लिए प्रस्तुत किया गया है, लेकिन बनच स्थानों के लिए भी समान रूप से प्रयुक्त होता है। यदि एक व्युत्क्रमणीय फलन सी हैके साथ , तो इसका उलटा भी वैसा ही है। यह इस तथ्य का उपयोग करके प्रेरण द्वारा अनुसरण करता है कि मानचित्र ऑपरेटरों पर C हैकिसी के लिए भी (परिमित-आयामी मामले में यह एक प्राथमिक तथ्य है क्योंकि आव्यूह का व्युत्क्रम उसके निर्धारक द्वारा विभाजित सहायक आव्यूह के रूप में दिया जाता है)।[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] जैसा कि पहले ही उल्लेख किया गया है, ऐसा हो सकता है कि एक इंजेक्टिव स्मूथ फलन का व्युत्क्रम सुचारू न हो (उदाहरण के लिए, वास्तविक चर में)। होलोमोर्फिक फलनों के मामले में ऐसा नहीं है क्योंकि:

Proposition — [19] If is an injective holomorphic map between open subsets of , then is holomorphic.

मैनिफोल्ड्स के लिए फॉर्मूलेशन

व्युत्क्रम फलन प्रमेय को भिन्न-भिन्न मैनिफोल्ड्स के बीच भिन्न-भिन्न मानचित्रों के संदर्भ में दोबारा दोहराया जा सकता है। इस संदर्भ में प्रमेय बताता है कि एक भिन्न मानचित्र के लिए (कक्षा का ), यदि पुशफॉरवर्ड (अंतर) का ,

एक बिंदु पर एक रैखिक समरूपता है में फिर वहाँ एक खुला प्रतिवेश मौजूद है का ऐसा है कि

एक भिन्नरूपता है. ध्यान दें कि इसका तात्पर्य यह है कि जुड़े हुए घटक M और N युक्त पी और एफ(पी) का आयाम समान है, जैसा कि पहले से ही सीधे तौर पर इस धारणा से निहित है कि डीएफp एक समरूपता है।

यदि का व्युत्पन्न F सभी बिंदुओं पर एक समरूपता है p में M फिर नक्शा F एक स्थानीय भिन्नता है।

सामान्यीकरण

बैनाच समिष्ट

व्युत्क्रम फलन प्रमेय को बानाच समिष्ट के बीच विभेदित मानचित्रों के लिए भी सामान्यीकृत किया जा सकता हैX औरY.[20] होने देनाU में मूल का एक खुला प्रतिवेश होX और एक निरंतर भिन्न फलन, और मान लें कि फ़्रेचेट व्युत्पन्न काF 0 पर एक घिरा हुआ रैखिक मानचित्र रैखिक समरूपता हैXपरY. फिर वहाँ एक खुला प्रतिवेश मौजूद हैV का मेंY और एक निरंतर भिन्न मानचित्र ऐसा है कि सभी के लिएy मेंV. इसके अतिरिक्त, एकमात्र पर्याप्त छोटा समाधान हैx समीकरण का .

बनच मैनिफोल्ड के लिए व्युत्क्रम फलन प्रमेय भी है।[21]


स्थिर रैंक प्रमेय

व्युत्क्रम फलन प्रमेय (और अंतर्निहित फलन प्रमेय) को निरंतर रैंक प्रमेय के एक विशेष मामले के रूप में देखा जा सकता है, जिसमें कहा गया है कि एक बिंदु के पास स्थिर रैंक (विभेदक टोपोलॉजी) के साथ एक सुचारू मानचित्र को उसके पास एक विशेष सामान्य रूप में रखा जा सकता है। बिंदु।[22] विशेष रूप से, यदि एक बिंदु के निकट स्थिर रैंक होती है , फिर संकृत प्रतिवेश हैं U का p और V का और भिन्नताएँ हैं और ऐसा है कि और ऐसा कि व्युत्पन्न के बराबर है . वह है, F इसके व्युत्पन्न निकट जैसा दिखता है p. अंकों का समूह जैसे कि रैंक प्रतिवेश में स्थिर है का एक खुला सघन उपसमुच्चय है M; यह रैंक फलन की अर्धनिरंतरता का परिणाम है। इस प्रकार स्थिर रैंक प्रमेय डोमेन के सामान्य बिंदु पर प्रयुक्त होता है।

जब की व्युत्पत्ति F एक बिंदु पर विशेषण (सम्मान विशेषण) है p, यह प्रतिवेश में इंजेक्शन (सम्मान विशेषण) भी है p, और इसलिए रैंक F उस प्रतिवेश पर स्थिर है, और स्थिर रैंक प्रमेय प्रयुक्त होता है।

बहुपद फलन

यदि यह सत्य है, तो जैकोबियन अनुमान बहुपदों के लिए व्युत्क्रम फलन प्रमेय का एक प्रकार होगा। इसमें कहा गया है कि यदि एक सदिश-मूल्य वाले बहुपद फलन में एक जैकोबियन निर्धारक है जो एक उलटा बहुपद है (जो कि एक गैर-शून्य स्थिरांक है), तो इसका एक व्युत्क्रम है जो एक बहुपद फलन भी है। यह अज्ञात है कि यह सत्य है या असत्य, यहाँ तक कि दो चरों के मामले में भी। बहुपद के सिद्धांत में यह एक प्रमुख खुली समस्या है।

चयन

कब साथ , है समय लगातार भिन्न होता है, और जैकोबियन एक बिंदु पर रैंक का है (रैखिक बीजगणित) , का उलटा अद्वितीय नहीं हो सकता. हालाँकि, बहुमूल्यवान मानचित्र का एक स्थानीय चॉइस फलन#चॉइस फलन मौजूद है ऐसा है कि सभी के लिए के एक प्रतिवेश में (गणित)। , , है इस प्रतिवेश में समय लगातार भिन्न होता जा रहा है, और ( मूर-पेनरोज़ का छद्म व्युत्क्रम है ).[23]


यह भी देखें

  • नैश-मोजर प्रमेय

टिप्पणियाँ

  1. 1.0 1.1 1.2 प्रमेय 1.1.7. में Hörmander, Lars (2015). रैखिक आंशिक विभेदक ऑपरेटरों का विश्लेषण I: वितरण सिद्धांत और फूरियर विश्लेषण. Classics in Mathematics (2nd ed.). Springer. ISBN 9783642614972.
  2. 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.
  3. Tao, Terence (September 12, 2011). "हर जगह अलग-अलग मानचित्रों के लिए व्युत्क्रम फ़ंक्शन प्रमेय". Retrieved 2019-07-26.
  4. Jaffe, Ethan. "व्युत्क्रम फलन प्रमेय" (PDF).
  5. Spivak 1965, pages 31–35
  6. Hubbard, John H.; Hubbard, Barbara Burke (2001). वेक्टर विश्लेषण, रैखिक बीजगणित और विभेदक रूप: एक एकीकृत दृष्टिकोण (Matrix ed.).
  7. Cartan, Henri (1971). विभेदक गणना (in français). Hermann. pp. 55–61. ISBN 9780395120330.
  8. 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.
  9. Spivak 1965, Theorem 2-12.
  10. Spivak 1965, Theorem 5-1. and Theorem 2-13.
  11. https://sites.math.northwestern.edu/~jnkf/classes/mflds/4transversality.pdf[bare URL PDF]
  12. One of Spivak's books (Editorial note: give the exact location).
  13. Hirsch, Ch. 2, § 1., Exercise 7. NB: This one is for a -immersion.
  14. Lemma 13.3.3. of https://www.utsc.utoronto.ca/people/kupers/wp-content/uploads/sites/50/2020/12/difffop-2020.pdf
  15. 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
  16. 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.
  17. Griffiths & Harris, p. 18.
  18. Fritzsche, K.; Grauert, H. (2002). From Holomorphic Functions to Complex Manifolds. Springer. pp. 33–36. ISBN 9780387953953.
  19. 19.0 19.1 Griffiths & Harris, p. 19.
  20. Luenberger, David G. (1969). वेक्टर स्पेस विधियों द्वारा अनुकूलन. New York: John Wiley & Sons. pp. 240–242. ISBN 0-471-55359-X.
  21. Lang, Serge (1985). विभेदक मैनिफोल्ड्स. New York: Springer. pp. 13–19. ISBN 0-387-96113-5.
  22. Boothby, William M. (1986). डिफरेंशियल मैनिफोल्ड्स और रीमैनियन ज्योमेट्री का एक परिचय (Second ed.). Orlando: Academic Press. pp. 46–50. ISBN 0-12-116052-1.
  23. 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.


संदर्भ