संकुचन मानचित्रण: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Function reducing distance between all points}} गणित में, एक संकुचन मानचित्रण, या संकुचन...")
 
No edit summary
 
(6 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Function reducing distance between all points}} गणित में, एक संकुचन मानचित्रण, या संकुचन या ठेकेदार, एक [[मीट्रिक स्थान]] पर (''M'', ''d'') एक फ़ंक्शन (गणित) ''f'' है जो ''M'' से स्वयं के लिए है, संपत्ति के साथ कि कुछ [[वास्तविक संख्या]] है <math>0 \leq k < 1</math> इस प्रकार कि M में सभी x और y के लिए,
{{Short description|Function reducing distance between all points}} गणित में, मैट्रिक स्थान (M, d) पर एक संक्षेपण आरेखण, या संक्षेपण या संकुचक एक फलन f है जिसकी गुणवत्ता यह है कि कोई ऐसी वास्तविक संख्या <math>0 \leq k < 1</math> है जो सभी x और y के लिए M में इस प्रकार अवस्थित होती है कि :


:<math>d(f(x),f(y)) \leq k\,d(x,y).</math>
:<math>d(f(x),f(y)) \leq k\,d(x,y).</math>
k के ऐसे सबसे छोटे मान को f का 'लिप्सचिट्ज़ स्थिरांक' कहा जाता है। संविदात्मक मानचित्रों को कभी-कभी 'लिप्सचिट्ज़ियन मानचित्र' कहा जाता है। यदि उपरोक्त शर्त इसके बजाय संतुष्ट है
k के ऐसे सबसे छोटे मान को f का 'लिप्सचिट्ज़ स्थिरांक' कहा जाता है। संविदात्मक मानचित्रों को कभी-कभी 'लिप्सचिट्ज़ियन मानचित्र' कहा जाता है। यदि उपरोक्त शर्त को k ≤ 1 के लिए पूरा किया जाता है तो मैपिंग को गैर-विस्तारशील मैप कहा जाता है।
k ≤ 1, तो मानचित्रण को गैर-विस्तृत मानचित्र कहा जाता है।


अधिक आम तौर पर, मीट्रिक रिक्त स्थान के बीच मानचित्रों के लिए अनुबंधित मानचित्रण का विचार परिभाषित किया जा सकता है। इस प्रकार, यदि (एम,-डी) और (एन,-डी') दो मीट्रिक स्थान हैं, तो <math>f:M \rightarrow N</math> एक स्थिरांक होने पर एक संविदात्मक मानचित्रण है <math>0 \leq k < 1</math> ऐसा है कि
सामान्यतः, मीट्रिक रिक्त स्थान के बीच मानचित्रों के लिए अनुबंधित मानचित्रण का विचार परिभाषित किया जा सकता है। इस प्रकार, यदि (एम,-डी) और (एन,-डी') दो मीट्रिक स्थान हैं, तो <math>f:M \rightarrow N</math> एक स्थिरांक <math>0 \leq k < 1</math> होने पर एक संविदात्मक मानचित्रण है ऐसा है कि एम में सभी एक्स और वाई के लिए
:<math>d'(f(x),f(y)) \leq k\,d(x,y)</math>
:<math>d'(f(x),f(y)) \leq k\,d(x,y)</math>
एम में सभी एक्स और वाई के लिए।
सत्य है।


प्रत्येक संकुचन मानचित्रण [[लिप्सचिट्ज़ निरंतर]] है और इसलिए [[समान रूप से निरंतर]] (लिप्सचिट्ज़ निरंतर कार्य के लिए, स्थिर k अब आवश्यक रूप से 1 से कम नहीं है)
प्रत्येक संकुचन मानचित्रण [[लिप्सचिट्ज़ निरंतर]] है और इसलिए [[समान रूप से निरंतर]] लिप्सचिट्ज़ निरंतर फलन के लिए, स्थिरांक k अब आवश्यक रूप से 1 से कम नहीं है।
 
एक संकुचन मानचित्रण में अधिकतम एक [[निश्चित बिंदु (गणित)|नियत बिंदु]] होता है। इसके अतिरिक्त, [[बानाच फिक्स्ड-पॉइंट प्रमेय|बानाच नियत-बिन्दु प्रमेय]] कहता है कि एक [[खाली सेट]] पर प्रत्येक संकुचन मानचित्रण | गैर-रिक्त [[पूर्ण मीट्रिक स्थान]] में एक अद्वितीय निश्चित बिंदु होता है, और एम में किसी भी एक्स के लिए पुनरावृत्त फलन अनुक्रम x, f (x), f ( f (x)), f (f (f (x))) निश्चित बिंदु पर अभिसरण करता है। यह अवधारणा [[पुनरावृत्त फ़ंक्शन सिस्टम|पुनरावृत्त फलन प्रणाली]] के लिए बहुत उपयोगी है जहां अभिसरण प्रमाण संकुचन मानचित्रण तकनीक का उपयोग करता है। [[साधारण अंतर समीकरण|साधारण अंतर समीकर]]णो के समाधान के अस्तित्व को प्रमाणित करने के लिए बानाच का निश्चित-बिंदु प्रमेय भी लागू किया जाता है, और [[व्युत्क्रम समारोह प्रमेय|व्युत्क्रम फलन प्रमेय]] के एक प्रमाण में प्रयोग किया जाता है।<ref name="shifrin">{{cite book |first=Theodore |last=Shifrin |title=बहुभिन्नरूपी गणित|publisher=Wiley |year=2005 |isbn=978-0-471-52638-4 |pages=244–260 }}</ref>


एक संकुचन मानचित्रण में अधिकतम एक [[निश्चित बिंदु (गणित)]] होता है। इसके अलावा, [[बानाच फिक्स्ड-पॉइंट प्रमेय]] कहता है कि एक [[खाली सेट]] पर प्रत्येक संकुचन मानचित्रण | गैर-खाली [[पूर्ण मीट्रिक स्थान]] में एक अद्वितीय निश्चित बिंदु होता है, और एम में किसी भी एक्स के लिए पुनरावृत्त फ़ंक्शन अनुक्रम x, f (x), f ( f (x)), f (f (f (x))), ... निश्चित बिंदु पर अभिसरण करता है। यह अवधारणा [[पुनरावृत्त फ़ंक्शन सिस्टम]] के लिए बहुत उपयोगी है जहां अभिसरण प्रमाण तकनीक # संकुचन मानचित्रण। [[साधारण अंतर समीकरण]]ों के समाधान के अस्तित्व को साबित करने के लिए बानाच का निश्चित-बिंदु प्रमेय भी लागू किया जाता है, और [[व्युत्क्रम समारोह प्रमेय]] के एक प्रमाण में प्रयोग किया जाता है।<ref name="shifrin">{{cite book |first=Theodore |last=Shifrin |title=बहुभिन्नरूपी गणित|publisher=Wiley |year=2005 |isbn=978-0-471-52638-4 |pages=244–260 }}</ref>
[[गतिशील प्रोग्रामिंग]] समस्याओं में संकुचन मानचित्रण महत्वपूर्ण भूमिका निभाते हैं।<ref>{{cite journal |first=Eric V. |last=Denardo |title=डायनेमिक प्रोग्रामिंग के सिद्धांत में संकुचन मानचित्रण|journal=SIAM Review |volume=9 |issue=2 |pages=165–177 |year=1967 |doi=10.1137/1009030 |bibcode=1967SIAMR...9..165D }}</ref><ref>{{cite book |first1=Nancy L. |last1=Stokey |author1-link=Nancy Stokey | first2=Robert E. |last2=Lucas |year=1989 |author-link2=Robert Lucas Jr. |title=आर्थिक गतिशीलता में पुनरावर्ती तरीके|location=Cambridge |publisher=Harvard University Press |pages=49–55 |isbn=978-0-674-75096-8 |url=https://books.google.com/books?id=BgQ3AwAAQBAJ&pg=PA49 }}</ref>
[[गतिशील प्रोग्रामिंग]] समस्याओं में संकुचन मानचित्रण महत्वपूर्ण भूमिका निभाते हैं।<ref>{{cite journal |first=Eric V. |last=Denardo |title=डायनेमिक प्रोग्रामिंग के सिद्धांत में संकुचन मानचित्रण|journal=SIAM Review |volume=9 |issue=2 |pages=165–177 |year=1967 |doi=10.1137/1009030 |bibcode=1967SIAMR...9..165D }}</ref><ref>{{cite book |first1=Nancy L. |last1=Stokey |author1-link=Nancy Stokey | first2=Robert E. |last2=Lucas |year=1989 |author-link2=Robert Lucas Jr. |title=आर्थिक गतिशीलता में पुनरावर्ती तरीके|location=Cambridge |publisher=Harvard University Press |pages=49–55 |isbn=978-0-674-75096-8 |url=https://books.google.com/books?id=BgQ3AwAAQBAJ&pg=PA49 }}</ref>




== दृढ़ता से गैर-विस्तृत मानचित्रण ==
 
के साथ एक गैर-विस्तृत मानचित्रण <math>k=1</math> [[हिल्बर्ट अंतरिक्ष]] में दृढ़ता से गैर-विस्तृत मानचित्रण के लिए सामान्यीकृत किया जा सकता है <math>\mathcal{H}</math> यदि निम्न में सभी x और y के लिए है <math>\mathcal{H}</math>:
== दृढ़तः गैर-विस्तृत मानचित्रण ==
एक गैर-विस्तारशील मानचित्रण जिसके लिए <math>k=1</math> होता है, वह [[हिल्बर्ट अंतरिक्ष|हिल्बर्ट]] स्थान <math>\mathcal{H}</math> में किसी दृढ़तः गैर-विस्तारशील मानचित्रण में सामान्यीकृत किया जा सकता है यदि <math>\mathcal{H}</math> निम्नलिखित सभी x और y के लिए यह सत्य होता है।  [[हिल्बर्ट अंतरिक्ष]] में दृढ़ता से गैर-विस्तृत मानचित्रण के लिए सामान्यीकृत किया जा सकता है <math>\mathcal{H}</math> यदि निम्न में सभी x और y के लिए है <math>\mathcal{H}</math>:
:<math>\|f(x)-f(y) \|^2 \leq \, \langle x-y, f(x) - f(y) \rangle.</math>
:<math>\|f(x)-f(y) \|^2 \leq \, \langle x-y, f(x) - f(y) \rangle.</math>
कहाँ
जहाँ
:<math>d(x,y) = \|x-y\|</math>.
:<math>d(x,y) = \|x-y\|</math>.


यह का एक विशेष मामला है <math>\alpha</math> के साथ औसत nonexpensive ऑपरेटरों <math>\alpha = 1/2</math>.<ref>{{cite journal |title=गैर-विस्तार औसत ऑपरेटरों की रचनाओं के माध्यम से मोनोटोन समावेशन को हल करना|first=Patrick L. |last=Combettes |year=2004 |journal=[[Optimization (journal)|Optimization]] |volume=53 |issue=5–6 |pages=475–504 |doi=10.1080/02331930412331327157 }}</ref> कॉची-श्वार्ज़ असमानता के माध्यम से एक दृढ़ता से गैर-विस्तृत मानचित्रण हमेशा गैर-विस्तृत होता है।
यह <math>\alpha</math> के साथ <math>\alpha = 1/2</math> औसत संक्रियाओ का.एक विशेष परिप्रेक्ष्य है।  <ref>{{cite journal |title=गैर-विस्तार औसत ऑपरेटरों की रचनाओं के माध्यम से मोनोटोन समावेशन को हल करना|first=Patrick L. |last=Combettes |year=2004 |journal=[[Optimization (journal)|Optimization]] |volume=53 |issue=5–6 |pages=475–504 |doi=10.1080/02331930412331327157 }}</ref> कॉची-श्वार्ज़ असमानता के माध्यम से कोई दृढ़ता से गैर-विस्तृत मानचित्रण सदैव गैर-विस्तृत होता है।
 
दृढ़ता से गैर-विस्तृत मानचित्रों का वर्ग [[उत्तल संयोजन|अवमुख संयोज]]नों के अंतर्गत बंद होती है, परंतु समष्टियों के अंतर्गत बंद नहीं होती हैं।<ref name=":0">{{Cite book|title=उत्तल विश्लेषण और हिल्बर्ट स्पेस में मोनोटोन ऑपरेटर थ्योरी|last=Bauschke|first=Heinz H.|publisher=Springer|year=2017|location=New York}}</ref> यह श्रेणी उचित, घन, निचले-अर्धसंचालित फलनों के समीपस्थ मानचित्रण को सम्मिलित करती है, इसलिए इसमें गैर-रिक्त बंद घन समुच्चय पर लंबकोणीय प्रक्षेप भी सम्मिलित होता है। [[उत्तल सेट|अवमुख समुच्चयों]] पर [[प्रोजेक्शन (गणित)|लंबकोणीय प्रक्षेप]] भी सम्मिलित है। कार्यात्मक विश्लेषण में अधिकतम मोनोटोनिक फलन के विलयन समुच्चय के बराबर दृढ़ता से गैर-विस्तार संक्रियाओ का वर्ग है।<ref>{{Cite journal|last=Combettes|first=Patrick L.|date=July 2018|title=उत्तल अनुकूलन में मोनोटोन ऑपरेटर सिद्धांत|journal=Mathematical Programming|volume=B170|pages=177–206|arxiv=1802.02694|doi=10.1007/s10107-018-1303-3|bibcode=2018arXiv180202694C|s2cid=49409638}}</ref> आश्चर्यजनक रूप से, जबकि गैर-विस्तृत मानचित्रों की पुनरावृति में एक निश्चित बिंदु खोजने की कोई प्रत्याभुति नहीं है, दृढ़ गैर-विस्तारता एक निश्चित बिंदु पर अभिसरण प्रमाण तकनीकों के लिए पर्याप्त है, बशर्ते एक निश्चित बिंदु उपलब्ध हो। अधिक सटीक रूप से कहें तों :


दृढ़ता से गैर-विस्तृत मानचित्रों का वर्ग [[उत्तल संयोजन]]ों के तहत बंद है, लेकिन रचनाएँ नहीं।<ref name=":0">{{Cite book|title=उत्तल विश्लेषण और हिल्बर्ट स्पेस में मोनोटोन ऑपरेटर थ्योरी|last=Bauschke|first=Heinz H.|publisher=Springer|year=2017|location=New York}}</ref> इस वर्ग में उचित, उत्तल, निचले-अर्ध-अर्ध-सतत कार्यों के समीपस्थ ऑपरेटर शामिल हैं, इसलिए इसमें गैर-खाली बंद [[उत्तल सेट]]ों पर ऑर्थोगोनल [[प्रोजेक्शन (गणित)]] भी शामिल है। कार्यात्मक विश्लेषण में अधिकतम मोनोटोनिक फ़ंक्शन#Monotonicity के रिज़ॉल्वेंट के सेट के बराबर दृढ़ता से गैर-विस्तार ऑपरेटरों का वर्ग है।<ref>{{Cite journal|last=Combettes|first=Patrick L.|date=July 2018|title=उत्तल अनुकूलन में मोनोटोन ऑपरेटर सिद्धांत|journal=Mathematical Programming|volume=B170|pages=177–206|arxiv=1802.02694|doi=10.1007/s10107-018-1303-3|bibcode=2018arXiv180202694C|s2cid=49409638}}</ref> आश्चर्यजनक रूप से, जबकि गैर-विस्तृत नक्शों की पुनरावृति में एक निश्चित बिंदु खोजने की कोई गारंटी नहीं है (उदाहरण के लिए -1 से गुणा), दृढ़ गैर-विस्तारता एक निश्चित बिंदु पर अभिसरण प्रूफ तकनीकों के लिए पर्याप्त है, बशर्ते एक निश्चित बिंदु मौजूद हो। अधिक सटीक, अगर <math>\text{Fix}f := \{x \in \mathcal{H} \ | \ f(x) = x\} \neq \varnothing</math>, फिर किसी प्रारंभिक बिंदु के लिए <math>x_0 \in \mathcal{H}</math>, पुनरावृत्त
यदि <math>\text{Fix}f := \{x \in \mathcal{H} \ | \ f(x) = x\} \neq \varnothing</math>, फिर किसी प्रारंभिक बिंदु <math>x_0 \in \mathcal{H}</math> के लिए , पुनरावृत्त


<math> (\forall n \in \mathbb{N})\quad x_{n+1} = f(x_n) </math>
<math> (\forall n \in \mathbb{N})\quad x_{n+1} = f(x_n) </math>
एक निश्चित बिंदु पर अभिसरण देता है <math> x_n \to z \in \text{Fix} f</math>. यह अभिसरण एक अनंत-आयामी सेटिंग में [[कमजोर अभिसरण (हिल्बर्ट स्पेस)]] हो सकता है।<ref name=":0" />


एक निश्चित बिंदु <math> x_n \to z \in \text{Fix} f</math> पर अभिसरण देता है . यह अभिसरण एक अनंत-आयामी समायोजन में [[कमजोर अभिसरण (हिल्बर्ट स्पेस)|कमजोर अभिसरण]] हो सकता है।<ref name=":0" />


== उपसंविदा मानचित्र ==
 
एक उपठेकेदार मानचित्र या उपठेकेदार एक मीट्रिक स्थान (''M'', ''d'') पर एक मानचित्र ''f'' है, जैसे कि
 
== उपसंकुचन मानचित्र ==
उपसंकुचन मानचित्र या उपसंकुचन एक मीट्रिक स्थान (''M'', ''d'') पर एक मानचित्र ''f'' इस प्रकार है कि:


:<math> d(f(x), f(y)) \leq d(x,y);</math>
:<math> d(f(x), f(y)) \leq d(x,y);</math>
:<math> d(f(f(x)),f(x)) < d(f(x),x) \quad \text{unless} \quad x = f(x).</math>
:<math> d(f(f(x)),f(x)) < d(f(x),x) \quad \text{unless} \quad x = f(x).</math>
यदि एक उपठेकेदार f की [[छवि (गणित)]] [[ कॉम्पैक्ट जगह ]] है, तो f का एक निश्चित बिंदु है।<ref name=Gold17>{{cite book | last=Goldstein | first=A.A. | title=रचनात्मक वास्तविक विश्लेषण| zbl=0189.49703 | series=Harper’s Series in Modern Mathematics | location=New York-Evanston-London | publisher=Harper and Row | year=1967 |page=17 }}</ref>
यदि एक उपसंकुचन f की [[छवि (गणित)|छवि]] [[ कॉम्पैक्ट जगह |का संकुचित स्थान]] है, तो f का एक निश्चित बिंदु है।<ref name=Gold17>{{cite book | last=Goldstein | first=A.A. | title=रचनात्मक वास्तविक विश्लेषण| zbl=0189.49703 | series=Harper’s Series in Modern Mathematics | location=New York-Evanston-London | publisher=Harper and Row | year=1967 |page=17 }}</ref>




== [[स्थानीय रूप से उत्तल स्थान]] ==
== [[स्थानीय रूप से उत्तल स्थान|स्थानीय रूप से अवमुख स्थान]] ==
एक स्थानीय रूप से उत्तल स्थान (ई,-पी) में [[सेमिनोर्म]]्स के एक सेट पी द्वारा दिए गए [[टोपोलॉजिकल स्पेस]] के साथ, किसी भी पी-∈-पी के लिए एक मैप एफ के रूप में पी-संकुचन को परिभाषित किया जा सकता है जैसे कि कुछ के<sub>''p''</sub> <1 ऐसा कि {{nowrap|''p''(''f''(''x'') − ''f''(''y''))}} ≤ {{nowrap|''k<sub>p</sub> p''(''x'' − ''y'')}}. यदि f सभी p ∈ P के लिए एक p-संकुचन है और (E, P) क्रमिक रूप से पूर्ण है, तो f का एक निश्चित बिंदु है, जिसे किसी अनुक्रम x की सीमा के रूप में दिया गया है<sub>''n''+1</sub> = एफ (एक्स<sub>''n''</sub>), और अगर (E, P) [[हॉसडॉर्फ स्पेस]] है, तो निश्चित बिंदु अद्वितीय है।<ref>{{cite journal |first1=G. L., Jr. |last1=Cain |first2=M. Z. |last2=Nashed |author-link2=Zuhair Nashed |title=स्थानीय रूप से उत्तल स्थानों में दो ऑपरेटरों के योग के लिए निश्चित बिंदु और स्थिरता|journal=Pacific Journal of Mathematics |volume=39 |issue=3 |year=1971 |pages=581–592 |doi=10.2140/pjm.1971.39.581 |doi-access=free }}</ref>
स्थानीय रूप से अवमुख स्थान (ई,-पी) में अर्ध-साधारण के एक समुच्चय पी द्वारा दिए गए [[टोपोलॉजिकल स्पेस|सांस्थितिक]] स्थान के साथ, किसी भी पी-∈-पी के लिए एक मानचित्र एफ के रूप में पी-संकुचन को परिभाषित किया जा सकता है जैसे कि कुछ p <1 ऐसा कि {{nowrap|''p''(''f''(''x'') − ''f''(''y''))}} ≤ {{nowrap|''k<sub>p</sub> p''(''x'' − ''y'')}}. यदि f सभी p ∈ P के लिए एक p-संकुचन है और (E, P) क्रमिक रूप से पूर्ण है, तो f का एक निश्चित बिंदु है, जिसे किसी अनुक्रम x<sub>''n''+1</sub> = f (x<sub>''n''</sub>) की सीमा के रूप में दर्शाया गया है , और यदि (E, P) [[हॉसडॉर्फ स्पेस|हॉसडॉर्फ स्थान]] है, तो निश्चित बिंदु अद्वितीय है।<ref>{{cite journal |first1=G. L., Jr. |last1=Cain |first2=M. Z. |last2=Nashed |author-link2=Zuhair Nashed |title=स्थानीय रूप से उत्तल स्थानों में दो ऑपरेटरों के योग के लिए निश्चित बिंदु और स्थिरता|journal=Pacific Journal of Mathematics |volume=39 |issue=3 |year=1971 |pages=581–592 |doi=10.2140/pjm.1971.39.581 |doi-access=free }}</ref>




Line 44: Line 49:
* लघु मानचित्र
* लघु मानचित्र
* [[संकुचन (संचालक सिद्धांत)]]
* [[संकुचन (संचालक सिद्धांत)]]
* [[परिवर्तन (फ़ंक्शन)]]
* [[परिवर्तन (फ़ंक्शन)|परिवर्तन (फलन)]]


==संदर्भ==
==संदर्भ==
Line 58: Line 63:
* {{cite book |first1=Francesco |last1=Bullo|title=Contraction Theory for Dynamical Systems |year=2022 |publisher=Kindle Direct Publishing |isbn=979-8836646806 }}
* {{cite book |first1=Francesco |last1=Bullo|title=Contraction Theory for Dynamical Systems |year=2022 |publisher=Kindle Direct Publishing |isbn=979-8836646806 }}


{{DEFAULTSORT:Contraction Mapping}}[[Category: मीट्रिक ज्यामिति]] [[Category: निश्चित अंक (गणित)]]
{{DEFAULTSORT:Contraction Mapping}}
 
 


[[Category: Machine Translated Page]]
[[Category:Created On 24/04/2023|Contraction Mapping]]
[[Category:Created On 24/04/2023]]
[[Category:Lua-based templates|Contraction Mapping]]
[[Category:Machine Translated Page|Contraction Mapping]]
[[Category:Pages with script errors|Contraction Mapping]]
[[Category:Templates Vigyan Ready|Contraction Mapping]]
[[Category:Templates that add a tracking category|Contraction Mapping]]
[[Category:Templates that generate short descriptions|Contraction Mapping]]
[[Category:Templates using TemplateData|Contraction Mapping]]
[[Category:निश्चित अंक (गणित)|Contraction Mapping]]
[[Category:मीट्रिक ज्यामिति|Contraction Mapping]]

Latest revision as of 13:17, 1 May 2023

गणित में, मैट्रिक स्थान (M, d) पर एक संक्षेपण आरेखण, या संक्षेपण या संकुचक एक फलन f है जिसकी गुणवत्ता यह है कि कोई ऐसी वास्तविक संख्या है जो सभी x और y के लिए M में इस प्रकार अवस्थित होती है कि :

k के ऐसे सबसे छोटे मान को f का 'लिप्सचिट्ज़ स्थिरांक' कहा जाता है। संविदात्मक मानचित्रों को कभी-कभी 'लिप्सचिट्ज़ियन मानचित्र' कहा जाता है। यदि उपरोक्त शर्त को k ≤ 1 के लिए पूरा किया जाता है तो मैपिंग को गैर-विस्तारशील मैप कहा जाता है।

सामान्यतः, मीट्रिक रिक्त स्थान के बीच मानचित्रों के लिए अनुबंधित मानचित्रण का विचार परिभाषित किया जा सकता है। इस प्रकार, यदि (एम,-डी) और (एन,-डी') दो मीट्रिक स्थान हैं, तो एक स्थिरांक होने पर एक संविदात्मक मानचित्रण है ऐसा है कि एम में सभी एक्स और वाई के लिए

सत्य है।

प्रत्येक संकुचन मानचित्रण लिप्सचिट्ज़ निरंतर है और इसलिए समान रूप से निरंतर लिप्सचिट्ज़ निरंतर फलन के लिए, स्थिरांक k अब आवश्यक रूप से 1 से कम नहीं है।

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

गतिशील प्रोग्रामिंग समस्याओं में संकुचन मानचित्रण महत्वपूर्ण भूमिका निभाते हैं।[2][3]


दृढ़तः गैर-विस्तृत मानचित्रण

एक गैर-विस्तारशील मानचित्रण जिसके लिए होता है, वह हिल्बर्ट स्थान में किसी दृढ़तः गैर-विस्तारशील मानचित्रण में सामान्यीकृत किया जा सकता है यदि निम्नलिखित सभी x और y के लिए यह सत्य होता है। हिल्बर्ट अंतरिक्ष में दृढ़ता से गैर-विस्तृत मानचित्रण के लिए सामान्यीकृत किया जा सकता है यदि निम्न में सभी x और y के लिए है :

जहाँ

.

यह के साथ औसत संक्रियाओ का.एक विशेष परिप्रेक्ष्य है। [4] कॉची-श्वार्ज़ असमानता के माध्यम से कोई दृढ़ता से गैर-विस्तृत मानचित्रण सदैव गैर-विस्तृत होता है।

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

यदि , फिर किसी प्रारंभिक बिंदु के लिए , पुनरावृत्त

एक निश्चित बिंदु पर अभिसरण देता है . यह अभिसरण एक अनंत-आयामी समायोजन में कमजोर अभिसरण हो सकता है।[5]


उपसंकुचन मानचित्र

उपसंकुचन मानचित्र या उपसंकुचन एक मीट्रिक स्थान (M, d) पर एक मानचित्र f इस प्रकार है कि:

यदि एक उपसंकुचन f की छवि का संकुचित स्थान है, तो f का एक निश्चित बिंदु है।[7]


स्थानीय रूप से अवमुख स्थान

स्थानीय रूप से अवमुख स्थान (ई,-पी) में अर्ध-साधारण के एक समुच्चय पी द्वारा दिए गए सांस्थितिक स्थान के साथ, किसी भी पी-∈-पी के लिए एक मानचित्र एफ के रूप में पी-संकुचन को परिभाषित किया जा सकता है जैसे कि कुछ p <1 ऐसा कि p(f(x) − f(y))kp p(xy). यदि f सभी p ∈ P के लिए एक p-संकुचन है और (E, P) क्रमिक रूप से पूर्ण है, तो f का एक निश्चित बिंदु है, जिसे किसी अनुक्रम xn+1 = f (xn) की सीमा के रूप में दर्शाया गया है , और यदि (E, P) हॉसडॉर्फ स्थान है, तो निश्चित बिंदु अद्वितीय है।[8]


यह भी देखें

संदर्भ

  1. Shifrin, Theodore (2005). बहुभिन्नरूपी गणित. Wiley. pp. 244–260. ISBN 978-0-471-52638-4.
  2. Denardo, Eric V. (1967). "डायनेमिक प्रोग्रामिंग के सिद्धांत में संकुचन मानचित्रण". SIAM Review. 9 (2): 165–177. Bibcode:1967SIAMR...9..165D. doi:10.1137/1009030.
  3. Stokey, Nancy L.; Lucas, Robert E. (1989). आर्थिक गतिशीलता में पुनरावर्ती तरीके. Cambridge: Harvard University Press. pp. 49–55. ISBN 978-0-674-75096-8.
  4. Combettes, Patrick L. (2004). "गैर-विस्तार औसत ऑपरेटरों की रचनाओं के माध्यम से मोनोटोन समावेशन को हल करना". Optimization. 53 (5–6): 475–504. doi:10.1080/02331930412331327157.
  5. 5.0 5.1 Bauschke, Heinz H. (2017). उत्तल विश्लेषण और हिल्बर्ट स्पेस में मोनोटोन ऑपरेटर थ्योरी. New York: Springer.
  6. Combettes, Patrick L. (July 2018). "उत्तल अनुकूलन में मोनोटोन ऑपरेटर सिद्धांत". Mathematical Programming. B170: 177–206. arXiv:1802.02694. Bibcode:2018arXiv180202694C. doi:10.1007/s10107-018-1303-3. S2CID 49409638.
  7. Goldstein, A.A. (1967). रचनात्मक वास्तविक विश्लेषण. Harper’s Series in Modern Mathematics. New York-Evanston-London: Harper and Row. p. 17. Zbl 0189.49703.
  8. Cain, G. L., Jr.; Nashed, M. Z. (1971). "स्थानीय रूप से उत्तल स्थानों में दो ऑपरेटरों के योग के लिए निश्चित बिंदु और स्थिरता". Pacific Journal of Mathematics. 39 (3): 581–592. doi:10.2140/pjm.1971.39.581.{{cite journal}}: CS1 maint: multiple names: authors list (link)


अग्रिम पठन

  • Bullo, Francesco (2022). Contraction Theory for Dynamical Systems. Kindle Direct Publishing. ISBN 979-8836646806.