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

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

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

परिभाषाएँ

वापस लेना

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

$r\colon X\to 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 एक्स से एक्स तक एक निष्क्रिय निरंतर मानचित्र है। इसके विपरीत, किसी भी निष्क्रिय निरंतर मानचित्र को देखते हुए ${\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 के विरूपण प्रत्यावर्तन के रूप में एक एकल बिंदु होने का अर्थ यह होगा कि

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

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

$F(a,t)=a$

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

उदाहरण के तौर पर, n-स्फीयर|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 एक (विटोल्ड ह्यूरविक्ज़) 'कोफाइब्रेशन' है यदि इसमें किसी भी स्थान के मानचित्रों के लिए होमोटॉपी एक्सटेंशन संपत्ति है। यह समरूपता सिद्धांत की केंद्रीय अवधारणाओं में से एक है। एक कोफाइब्रेशन एफ हमेशा इंजेक्टिव होता है, वास्तव में इसकी छवि के लिए एक होमियोमोर्फिज्म होता है। यदि

सभी बंद समावेशन के बीच, सह-फाइब्रेशन को निम्नानुसार चित्रित किया जा सकता है। एक बंद उप-स्थान ए को अंतरिक्ष $u:X\rightarrow [0,1]$ साथ ${\textstyle A=u^{-1}\!\left(0\right)}$ और एक समरूपता ${\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$. उदाहरण के लिए, सीडब्ल्यू कॉम्प्लेक्स में एक उप-कॉम्प्लेक्स को शामिल करना एक सह-फाइब्रेशन है।

गुण

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

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

एन-बॉल|एन-डायमेंशनल गेंद की सीमा (टोपोलॉजी), यानी (एन−1)-गोला, गेंद का प्रत्यावर्तन नहीं है। (देखना Brouwer fixed-point theorem § A proof using homology or cohomology.)

पूर्ण पड़ोस पीछे हटना (और)

एक बंद उपसमुच्चय ${\textstyle X}$ एक टोपोलॉजिकल स्पेस का ${\textstyle Y}$ का नेबरहुड रिट्रेक्ट कहा जाता है ${\textstyle Y}$ अगर ${\textstyle X}$ के कुछ खुले उपसमुच्चय का प्रत्यावर्तन है ${\textstyle Y}$ उसमें सम्मिलित है ${\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}}$ मेट्रिज़ेबल रिक्त स्थान को सबसे संतोषजनक सिद्धांत देने वाला पाया गया है। इसी कारण से, इस लेख में एआर और एएनआर नोटेशन का उपयोग अर्थ के लिए किया गया है $\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 }}$ एआर हैं.

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

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