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

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

$d(f(x),f(y))\leq k\,d(x,y).$

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

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

$d'(f(x),f(y))\leq k\,d(x,y)$

सत्य है।

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

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

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

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

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

$\|f(x)-f(y)\|^{2}\leq \,\langle x-y,f(x)-f(y)\rangle .$

जहाँ

$d(x,y)=\|x-y\|$.

यह $\alpha$ के साथ $\alpha =1/2$ औसत संक्रियाओ का.एक विशेष परिप्रेक्ष्य है। कॉची-श्वार्ज़ असमानता के माध्यम से कोई दृढ़ता से गैर-विस्तृत मानचित्रण सदैव गैर-विस्तृत होता है।

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

यदि ${\text{Fix}}f:=\{x\in {\mathcal {H}}\ |\ f(x)=x\}\neq \varnothing$, फिर किसी प्रारंभिक बिंदु $x_{0}\in {\mathcal {H}}$ के लिए , पुनरावृत्त

$(\forall n\in \mathbb {N} )\quad x_{n+1}=f(x_{n})$

एक निश्चित बिंदु $x_{n}\to z\in {\text{Fix}}f$ पर अभिसरण देता है . यह अभिसरण एक अनंत-आयामी समायोजन में कमजोर अभिसरण हो सकता है।

उपसंविदा मानचित्र

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

$d(f(x),f(y))\leq d(x,y);$

$d(f(f(x)),f(x))<d(f(x),x)\quad {\text{unless}}\quad x=f(x).$

यदि एक उपठेकेदार f की छवि (गणित) कॉम्पैक्ट जगह है, तो f का एक निश्चित बिंदु है।

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

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

यह भी देखें

• लघु मानचित्र
• संकुचन (संचालक सिद्धांत)
• परिवर्तन (फलन)

अग्रिम पठन

• Istratescu, Vasile I. (1981). Fixed Point Theory : An Introduction. Holland: D.Reidel. ISBN 978-90-277-1224-0. provides an undergraduate level introduction.
• Granas, Andrzej; Dugundji, James (2003). Fixed Point Theory. New York: Springer-Verlag. ISBN 978-0-387-00173-9.
• Kirk, William A.; Sims, Brailey (2001). Handbook of Metric Fixed Point Theory. London: Kluwer Academic. ISBN 978-0-7923-7073-4.
• Naylor, Arch W.; Sell, George R. (1982). Linear Operator Theory in Engineering and Science. Applied Mathematical Sciences. Vol. 40 (Second ed.). New York: Springer. pp. 125–134. ISBN 978-0-387-90748-2.

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