प्रत्यावर्तन (टोपोलॉजी)

टोपोलॉजी में, गणित की एक शाखा, रिट्रैक्शन एक टोपोलॉजिकल स्पेस से एक सबस्पेस में निरंतर मैपिंग है जो उस सबस्पेस में सभी बिंदुओं की स्थिति को संरक्षित करता है। तब उपस्थान को मूल स्थान का प्रत्यावर्तन कहा जाता है। विरूपण प्रत्यावर्तन एक मानचित्रण है जो किसी स्थान को उप-स्थान में निरन्तर संकुचन के विचार को पकड़ता है।

एब्सोल्यूट नेबरहुड रिट्रेक्ट (एएनआर) एक विशेष रूप से अच्छी तरह से व्यवहार किया जाने वाला टोपोलॉजिकल स्पेस है। उदाहरण के लिए, प्रत्येक टोपोलॉजिकल मैनिफ़ोल्ड एक एएनआर है। प्रत्येक एएनआर में एक बहुत ही सरल टोपोलॉजिकल स्पेस एक सीडब्ल्यू कॉम्प्लेक्स का होमोटॉपी प्रकार होता है।

परिभाषाएँ

वापस लेना

मान लीजिए कि X एक टोपोलॉजिकल स्पेस है और A, X का एक सबस्पेस है। फिर एक सतत मानचित्र

$r\colon X\to A$

यदि r से A तक का प्रतिबंध ए पर पहचान मानचित्र है तो यह एक वापसी है; अर्थात, A में सभी A के लिए ${\textstyle r(a)=a}$ समान रूप से, द्वारा निरूपित करना है

$\iota \colon A\hookrightarrow X$

समावेशन मानचित्र, एक प्रत्यावर्तन एक सतत मानचित्र है जैसे कि

$r\circ \iota =\operatorname {id} _{A},$

अर्थात्, समावेशन के साथ r की संरचना A की पहचान है। ध्यान दें, परिभाषा के अनुसार, एक प्रत्यावर्तन X को A पर मैप करता है। यदि ऐसा कोई प्रत्यावर्तन उपस्थित है, तो एक उपस्थान A को X का प्रत्यावर्तन कहा जाता है। उदाहरण के लिए, कोई भी गैर-रिक्त स्थान स्पष्ट विधि से एक बिंदु पर वापस आ जाता है (स्थिर मानचित्र एक वापसी उत्पन्न करता है)। यदि X हॉसडॉर्फ है, तो A को X का एक संवर्त उपसमुच्चय होना चाहिए।

${\textstyle r:X\to A}$ एक प्रत्यावर्तन है, तो रचना ι∘r X से X तक एक निष्क्रिय निरंतर मानचित्र है। इसके विपरीत, कोई भी दिया गया है निष्क्रिय निरंतर मानचित्र ${\textstyle s:X\to X,}$ हम कोडोमेन को प्रतिबंधित करके s की छवि पर एक वापसी प्राप्त करते हैं।

विकृति पीछे हटती है और प्रबल विकृति पीछे हटती है

एक सतत मानचित्र

$F\colon X\times [0,1]\to X$

एक स्थान X का एक उपस्थान A पर विरूपण प्रत्यावर्तन है, यदि,

$F(x,0)=x,\quad F(x,1)\in A,\quad {\mbox{and}}\quad F(a,1)=a.$

दूसरे शब्दों में, एक विरूपण प्रत्यावर्तन एक प्रत्यावर्तन और x पर पहचान मानचित्र के बीच एक समरूपता है। उपस्थान a को x का 'विरूपण प्रत्यावर्तन' कहा जाता है। एक विरूपण प्रत्यावर्तन एक समरूप समतुल्य का एक विशेष स्थिति है।

प्रत्यावर्तन को विरूपण प्रत्यावर्तन की आवश्यकता नहीं है। उदाहरण के लिए,यह किसी स्थान X के विरूपण प्रत्यावर्तन के रूप में एक एकल बिंदु होने का अर्थ यह होगा कि

नोट: विरूपण प्रत्यावर्तन की एक समतुल्य परिभाषा निम्नलिखित है। एक सतत मानचित्र ${\textstyle r:X\to A}$ एक विरूपण प्रत्यावर्तन है यदि यह एक प्रत्यावर्तन है और समावेशन के साथ इसकी संरचना x पर पहचान मानचित्र के लिए समरूप है। इस सूत्रीकरण में, एक विरूपण प्रत्यावर्तन अपने साथ x पर पहचान मानचित्र और स्वयं के बीच एक समरूपता रखता है। .

यदि, विरूपण प्रत्यावर्तन की परिभाषा में, हम वह आवश्यकता जोड़ते हैं

$F(a,t)=a$

[0, 1] में सभी t और a में a के लिए, तो एफ को 'प्रबल विरूपण प्रत्यावर्तन' कहा जाता है। दूसरे शब्दों में, एक प्रबल विरूपण प्रत्यावर्तन पूरे समरूपता में a में अंक निर्धारित करता है। (कुछ लेखक, जैसे एलन हैचर, इसे विरूपण प्रत्यावर्तन की परिभाषा के रूप में लेते हैं।)

उदाहरण के रूप से, n-स्फीयर ${\textstyle S^{n}}$का एक प्रबल विरूपण प्रत्यावर्तन है ${\textstyle \mathbb {R} ^{n+1}\backslash \{0\};}$ प्रबल विरूपण प्रत्यावर्तन के रूप में कोई भी मानचित्र चुन सकता है

$F(x,t)=\left((1-t)+{t \over \|x\|}\right)x.$

सह-फाइब्रेशन और निकट विरूपण पीछे हटना

टोपोलॉजिकल स्पेस का एक मानचित्र f: A → X एक (ह्यूरविक्ज़) कोफाइब्रेशन है यदि इसमें किसी भी स्थान के मानचित्रों के लिए होमोटॉपी एक्सटेंशन गुण है। यह समरूपता सिद्धांत की केंद्रीय अवधारणाओं में से एक है। एक कोफाइब्रेशन एफ सदैव इंजेक्टिव होता है, वास्तव में इसकी छवि के लिए एक होमोमोर्फिज्म होता है। यदि

सभी संवर्त समावेशन के बीच, सह-फाइब्रेशन को निम्नानुसार चित्रित किया जा सकता है। किसी स्थान X में एक संवर्त उपस्थान A का समावेश एक है सह-फाइब्रेशन यदि और केवल यदि ए, एक्स का निकट विरूपण प्रत्यावर्तन है, इसका मतलब है कि ${\textstyle A=u^{-1}\!\left(0\right)}$ और एक समरूपता के साथ एक सतत मानचित्र $u:X\rightarrow [0,1]$ है ${\textstyle H:X\times [0,1]\rightarrow X}$ ऐसा कि ${\textstyle H(x,0)=x}$ सभी के लिए $x\in X,$$H(a,t)=a$ सभी $a\in A$ के लिए और $t\in [0,1],$ और${\textstyle H\left(x,1\right)\in A}$ यदि $u(x)<1$ है

उदाहरण के लिए, सीडब्ल्यू कॉम्प्लेक्स में एक उप-कॉम्प्लेक्स को सम्मिलित करना एक सह-फाइब्रेशन है।

गुण

• X के रिट्रैक्ट A की एक मूल संपत्ति (रिट्रैक्शन ${\textstyle r:X\to A}$ के साथ) यह है कि प्रत्येक निरंतर मानचित्र ${\textstyle f:A\rightarrow Y}$ में कम से कम एक एक्सटेंशन ${\textstyle g:X\rightarrow Y,}$ अर्थात् ${\textstyle g=f\circ r}$ होता है
• विरूपण प्रत्यावर्तन समरूप समतुल्यता का एक विशेष स्थिति है। वास्तव में, दो स्थान समरूप समतुल्य हैं यदि और केवल यदि वे दोनों एक ही बड़े स्थान के विरूपण के प्रति समरूप हैं।
• कोई भी टोपोलॉजिकल स्पेस जो विरूपण एक बिंदु पर वापस आ जाता है,जो की संकुचन योग्य होता है और इसके विपरीत चूँकि ऐसे संकुचन योग्य स्थान उपस्थित हैं जो एक बिंदु पर दृढ़ता से विरूपण नहीं करते हैं।

अवापसी प्रमेय

n -आयामी गेंद की सीमा, अथार्त (n −1)-गोला, गेंद का प्रत्यावर्तन नहीं है। (ब्राउवर फिक्स्ड-पॉइंट प्रमेय देखें § होमोलॉजी या कोहोमोलॉजी का उपयोग करके एक प्रमाण।)

पूर्ण निकट पीछे हटना (और)

टोपोलॉजिकल स्पेस ${\textstyle Y}$ के एक संवर्त उपसमुच्चय ${\textstyle X}$ को ${\textstyle Y}$ का निकट रिट्रेक्ट कहा जाता है यदि ${\textstyle X}$ ${\textstyle X}$ के कुछ विवर्त उपसमुच्चय का रिट्रेक्ट है जिसमें ${\textstyle X}$ होता है।

मान लीजिए कि ${\mathcal {C}}$ टोपोलॉजिकल रिक्त स्थान का एक वर्ग है, जो होमोमोर्फिज्म के तहत संवर्त है और संवर्त उपसमुच्चय के लिए मार्ग है। बोर्सुक के बाद (1931 से प्रारंभ), एक स्थान ${\textstyle X}$ को वर्ग ${\mathcal {C}}$ के लिए एक पूर्ण वापसी कहा जाता है, जिसे ${\textstyle \operatorname {AR} \left({\mathcal {C}}\right),}$ लिखा जाता है यदि ${\textstyle X}$ ${\mathcal {C}}$ में है और जब भी ${\textstyle X}$ एक का एक संवर्त उपसमुच्चय है ${\textstyle Y}$ में स्थान ${\mathcal {C}}$, ${\textstyle X}$, ${\textstyle Y}$ का प्रत्यावर्तन है। एक स्थान ${\textstyle X}$ वर्ग ${\mathcal {C}}$ के लिए एक पूर्ण समीप का खंड है, जिसे ${\textstyle \operatorname {ANR} \left({\mathcal {C}}\right),}$ लिखा जाता है यदि ${\textstyle X}$ ${\mathcal {C}}$ में है और जब भी ${\textstyle X}$ एक स्थान का एक संवर्त उपसमुच्चय है ${\textstyle Y}$ में ${\mathcal {C}}$, ${\textstyle X}$ है ${\textstyle Y}$ का एक निकटतम वापस लेना होता है।

इस परिभाषा में सामान्य स्थानों जैसे विभिन्न वर्गों ${\mathcal {C}}$ पर विचार किया गया है, किंतु मेट्रिजेबल स्थानों के वर्ग ${\mathcal {M}}$ को सबसे संतोषजनक सिद्धांत देने वाला पाया गया है। इस कारण से, इस आलेख में अंकन AR और एएनआर का उपयोग स्वयं ही $\operatorname {AR} \left({\mathcal {M}}\right)$ और $\operatorname {ANR} \left({\mathcal {M}}\right)$ के लिए किया गया है।

एक मेट्रिज़ेबल स्पेस एक एआर है यदि और केवल यदि यह अनुबंध योग्य है और एक एएनआर है। जेम्स डुगुंडजी द्वारा, प्रत्येक स्थानीय रूप से उत्तल मेट्रिजेबल टोपोलॉजिकल वेक्टर स्पेस ${\textstyle V}$ एक एआर है; अधिक सामान्यतः, ऐसे सदिश समष्टि का प्रत्येक अरिक्त उत्तल समुच्चय ${\textstyle V}$ एक एआर है. उदाहरण के लिए, कोई भी मानकीकृत सदिश स्थान (पूर्ण मीट्रिक स्थान या नहीं) एक एआर है। अधिक ठोस रूप से, यूक्लिडियन स्थान ${\textstyle \mathbb {R} ^{n},}$ इकाई घन ${\textstyle I^{n},}$और हिल्बर्ट क्यूब ${\textstyle I^{\omega }}$ एआर हैं.

एएनआर अच्छे व्यवहार वाले अच्छे व्यवहार वाले टोपोलॉजिकल स्पेस का एक उल्लेखनीय वर्ग बनाते हैं। उनकी गुणों में ये हैं:

• एएनआर का प्रत्येक विवर्त उपसमुच्चय एक एएनआर है।
• ओलोफ़ हैनर के अनुसार, एक मेट्रिज़ेबल स्थान जिसमें एएनआर द्वारा विवर्त आवरण होता है, एक एएनआर होता है। (अर्थात, एएनआर होना मेट्रिज़ेबल रिक्त स्थान के लिए एक स्थानीय संपत्ति है।) यह इस प्रकार है कि प्रत्येक टोपोलॉजिकल मैनिफोल्ड एक एएनआर है। उदाहरण के लिए, गोला ${\textstyle S^{n}}$एक एएनआर है किंतु एआर नहीं (क्योंकि यह अनुबंध योग्य नहीं है)। अनंत आयामों में, हैनर के प्रमेय का तात्पर्य है कि प्रत्येक हिल्बर्ट क्यूब मैनिफोल्ड के साथ-साथ (किंतु भिन्न, उदाहरण के लिए स्थानीय रूप से कॉम्पैक्ट स्थान नहीं) हिल्बर्ट मैनिफ़ोल्ड और बनच मैनिफोल्ड एएनआर हैं।
• प्रत्येक स्थानीय रूप से परिमित सीडब्ल्यू कॉम्प्लेक्स एक एएनआर है। एक इच्छानुसार सीडब्ल्यू कॉम्प्लेक्स को मेट्रिजेबल होने की आवश्यकता नहीं है, किंतु प्रत्येक सीडब्ल्यू कॉम्प्लेक्स में एएनआर का होमोटॉपी प्रकार होता है (जो परिभाषा के अनुसार मेट्रिजेबल है)।
• प्रत्येक एएनआर एक्स प्रत्येक खुले अर्थ में स्थानीय रूप से अनुबंध योग्य है ${\textstyle X}$ में एक बिंदु ${\textstyle x}$का निकट ${\textstyle U}$,${\textstyle V}$ में समाहित ${\textstyle x}$ में से एक विवर्त निकट ${\textstyle U}$ है, जैसे कि समावेशन ${\textstyle V\hookrightarrow U}$ एक स्थिर मानचित्र के लिए समस्थानिक है। एक परिमित-आयामी मेट्रिज़ेबल स्थान एक एएनआर है यदि और केवल यदि यह इस अर्थ में स्थानीय रूप से अनुबंध योग्य है। उदाहरण के लिए, कैंटर सेट वास्तविक लाइन का एक कॉम्पैक्ट उपसमुच्चय है जो एएनआर नहीं है, क्योंकि यह स्थानीय रूप से भी जुड़ा नहीं है।
• प्रतिउदाहरण: बोर्सुक को ${\textstyle \mathbb {R} ^{3}}$ का एक कॉम्पैक्ट उपसमुच्चय मिला जो एक एएनआर है किंतु सख्ती से स्थानीय रूप से अनुबंध योग्य नहीं है। (एक स्थान सख्ती से स्थानीय रूप से अनुबंध योग्य है यदि प्रत्येक बिंदु ${\textstyle U}$ के प्रत्येक विवर्त निकट ${\textstyle x}$ में ${\textstyle x}$ का अनुबंध योग्य विवर्त पड़ोस शामिल है) बोरसुक को हिल्बर्ट क्यूब का एक कॉम्पैक्ट उपसमुच्चय भी मिला जो स्थानीय रूप से अनुबंध योग्य है (जैसा कि ऊपर परिभाषित किया गया है) किंतु एएनआर नहीं है
• प्रत्येक एएनआर में व्हाइटहेड और मिल्नोर द्वारा सीडब्ल्यू कॉम्प्लेक्स का होमोटॉपी प्रकार होता है। इसके अतिरिक्त स्थानीय रूप से कॉम्पैक्ट एएनआर में स्थानीय रूप से परिमित सीडब्ल्यू कॉम्प्लेक्स का होमोटॉपी प्रकार होता है; और, वेस्ट द्वारा, एक कॉम्पैक्ट एएनआर में एक परिमित सीडब्ल्यू कॉम्प्लेक्स का होमोटॉपी प्रकार होता है। इस अर्थ में, एएनआर इच्छानुसार टोपोलॉजिकल रिक्त स्थान के सभी समरूप-सैद्धांतिक विकृति से बचते हैं। उदाहरण के लिए, व्हाइटहेड प्रमेय एएनआर के लिए है: एएनआर का एक नक्शा जो होमोटॉपी समूहों (आधार बिंदु के सभी विकल्पों के लिए) पर एक समरूपता उत्पन्न करता है, एक होमोटॉपी तुल्यता है। चूँकि एएनआर में टोपोलॉजिकल मैनिफोल्ड्स, हिल्बर्ट क्यूब मैनिफोल्ड्स, बानाच मैनिफोल्ड्स इत्यादि सम्मिलित हैं, इसलिए ये परिणाम रिक्त स्थान के एक बड़े वर्ग पर प्रयुक्त होते हैं।
• कई मैपिंग स्पेस एएनआर हैं। विशेष रूप से, Y को एक बंद उपस्थान A के साथ एक एएनआर होने दें जो कि एक एएनआर है, और X को कोई कॉम्पैक्ट होने दें एक बंद उप-स्थान बी के साथ मेट्रिज़ेबल स्थान फिर जोड़े के मानचित्रों का स्थान ${\textstyle \left(Y,A\right)^{\left(X,B\right)}}$ ,${\textstyle \left(X,B\right)\rightarrow \left(Y,A\right)}$ (मैपिंग स्पेस पर कॉम्पैक्ट-ओपन टोपोलॉजी के साथ) एक एएनआर है। उदाहरण के लिए, यह इस प्रकार है कि किसी भी सीडब्ल्यू कॉम्प्लेक्स के लूप स्पेस में सीडब्ल्यू कॉम्प्लेक्स का होमोटॉपी प्रकार होता है।
• कॉटी द्वारा, एक मेट्रिज़ेबल स्पेस ${\textstyle X}$ एक एएनआर है यदि और केवल तभी जब ${\textstyle X}$ के प्रत्येक विवर्त उपसमुच्चय में सीडब्ल्यू कॉम्प्लेक्स का होमोटॉपी प्रकार हो।
• कॉटी द्वारा, एक मीट्रिक रैखिक स्थान ${\textstyle V}$ है (जिसका अर्थ अनुवाद-अपरिवर्तनीय मीट्रिक के साथ एक टोपोलॉजिकल वेक्टर स्थान है) जो एआर नहीं है। कोई व्यक्ति ${\textstyle V}$ को अलग करने योग्य और एक एफ-स्पेस (अर्थात, एक पूर्ण मीट्रिक रैखिक स्थान) मान सकता है। (उपरोक्त डुगुंडजी प्रमेय के अनुसार, ${\textstyle V}$ स्थानीय रूप से उत्तल नहीं हो सकता।) चूंकि ${\textstyle V}$ संकुचन योग्य है और एआर नहीं है, इसलिए यह एएनआर भी नहीं है। उपरोक्त कॉटी के प्रमेय के अनुसार, ${\textstyle V}$ में एक विवर्त उपसमुच्चय ${\textstyle U}$ है जो सीडब्ल्यू कॉम्प्लेक्स के समतुल्य होमोटॉपी नहीं है। इस प्रकार एक मेट्रिज़ेबल स्पेस ${\textstyle U}$ है जो सख्ती से स्थानीय रूप से अनुबंध योग्य है किंतु सीडब्ल्यू कॉम्प्लेक्स के समतुल्य होमोटॉपी नहीं है। यह ज्ञात नहीं है कि एक कॉम्पैक्ट (या स्थानीय रूप से कॉम्पैक्ट) मेट्रिज़ेबल स्पेस जो सख्ती से स्थानीय रूप से अनुबंध योग्य है, एक एएनआर होना चाहिए।

संदर्भ

• Borsuk, Karol (1931), "Sur les rétractes", Fundamenta Mathematicae, 17: 152–170, doi:10.4064/fm-17-1-152-170, Zbl 0003.02701
• Borsuk, Karol (1967), Theory of Retracts, Warsaw: Państwowe Wydawnictwo Naukowe, MR 0216473
• Cauty, Robert (1994), "Une caractérisation des rétractes absolus de voisinage", Fundamenta Mathematicae, 144: 11–22, doi:10.4064/fm-144-1-11-22, MR 1271475
• Cauty, Robert (1994), "Un espace métrique linéaire qui n'est pas un rétracte absolu", Fundamenta Mathematicae, 146: 85–99, doi:10.4064/fm-146-1-85-99, MR 1305261
• Fritsch, Rudolf; Piccinini, Renzo (1990), Cellular Structures in Topology, Cambridge University Press, ISBN 0-521-32784-9, MR 1074175
• Hatcher, Allen (2002), Algebraic Topology, Cambridge University Press, ISBN 0-521-79540-0, MR 1867354
• Hu, Sze-Tsen (1965), Theory of Retracts, Wayne State University Press, MR 0181977
• Mardešić, Sibe (1999), "Absolute neighborhood retracts and shape theory", in James, I. M. (ed.), History of Topology, Amsterdam: North-Holland, pp. 241–269, ISBN 0-444-82375-1, MR 1674915
• May, J. Peter (1999), A Concise Course in Algebraic Topology (PDF), University of Chicago Press, ISBN 0-226-51182-0, MR 1702278
• Milnor, John (1959), "On spaces having the homotopy type of a CW-complex", Transactions of the American Mathematical Society, 90 (2): 272–280, doi:10.2307/1993204, JSTOR 1993204, MR 0100267
• Puppe, Dieter (1967), "Bemerkungen über die Erweiterung von Homotopien", Archiv der Mathematik, 18: 81–88, doi:10.1007/BF01899475, MR 0206954, S2CID 120021003
• West, James (2004), "Absolute retracts", in Hart, K. P. (ed.), Encyclopedia of General Topology, Amsterdam: Elsevier, ISBN 0-444-50355-2, MR 2049453

बाहरी संबंध

• This article incorporates material from Neighborhood retract on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.