क्वासी-आइसोमेट्री

गणित में, एक अर्ध-सममिति दो मापीय समष्टि के बीच एक फलन (गणित) है जो इन समष्टि के बड़े पैमाने पर ज्यामिति का प्रकरण है और उनके छोटे पैमाने के विवरण को अनदेखा करता है। दो मापीय समष्टि अर्ध-सममितीय हैं यदि उनके बीच अर्ध-सममिति सम्मिलित है। अर्ध-सममितीय होने का गुण मापीय समष्टि के वर्ग पर समानता संबंध की तरह व्यवहार करता है।

ग्रोमोव के काम के बाद, ज्यामितीय समूह सिद्धांत में अर्ध-सममिति की अवधारणा विशेष रूप से महत्वपूर्ण है।



परिभाषा
मान लीजिए कि $$f$$ एक मापीय समष्टि $$(M_1,d_1)$$ दूसरे मापीय समष्टि के लिए $$(M_2,d_2)$$ से एक (आवश्यक रूप से निरंतर नहीं) फलन है।  तब $$f$$ को अर्ध-सममिति कहा जाता है $$(M_1,d_1)$$ को $$(M_2,d_2)$$ यदि वहाँ स्थिरांक सम्मिलित हैं $$A\ge 1$$, $$B\ge 0$$, और $$C\ge 0$$ जैसे कि निम्नलिखित दो गुण दोनों धारण करते हैं: दो मापीय समष्टि $$(M_1,d_1)$$ और $$(M_2,d_2)$$ अर्ध-सममिति कहलाते हैं यदि $$f$$ से $$(M_1,d_1)$$ को $$(M_2,d_2)$$ कोई अर्ध-सममिति सम्मिलित है।
 * 1) $$M_1$$ मे प्रत्येक दो बिंदुओं के लिए $$x$$ और $$y$$, उनकी छवियों के बीच की दूरी $$A$$ उनकी मूल दूरी के एक कारक के अंदर योज्य स्थिरांक $$B$$ तक है। अधिक औपचारिक रूप से:
 * $$\forall x,y\in M_1: \frac{1}{A}\; d_1(x,y)-B\leq d_2(f(x),f(y))\leq A\; d_1(x,y)+B.$$
 * 1) $$M_2$$ का प्रत्येक बिंदु एक छवि बिंदु की निरंतर दूरी $$C$$ के अंदर है। अधिक औपचारिक रूप से:
 * $$\forall z\in M_2:\exists x\in M_1: d_2(z,f(x))\le C.$$

एक मानचित्र को अर्ध-सममितीय अंतःस्थापन कहा जाता है यदि यह पहली शर्त को पूरा करता है लेकिन आवश्यक नहीं कि दूसरा (अर्थात यह सामान्य रूप से लिप्सचिट्ज़ निरंतरता है लेकिन सामान्य रूप से अनुमान लगाने में विफल हो सकता है)। दूसरे शब्दों में, यदि मानचित्र के माध्यम से, $$(M_1,d_1)$$ की एक उपसमष्टि के लिए  $$(M_2,d_2)$$ अर्ध-सममितीय है।

दो मापीय समष्टि M1और M2'अर्ध-सममितीय' कहा जाता है, जिसे $$M_1\underset{q.i.}{\sim} M_2 $$ के द्वारा निरूपित किया जाता है यदि  $$f:M_1\to M_2$$ अर्ध-सममिति सम्मिलित है।

उदाहरण
यूक्लिडीय समतल और मैनहट्टन दूरी वाले समतल के बीच का मानचित्र जो प्रत्येक बिंदु को स्वयं को भेजता है यह एक अर्ध-सममिति है: इसमें, दूरियों को अधिकतम $$\sqrt 2$$ के एक कारक से गुणा किया जाता है। ध्यान दें कि कोई समरूपता नहीं हो सकती है, उदाहरण के लिए, बिंदु $$(1, 0), (-1, 0), (0, 1), (0, -1)$$ मैनहट्टन दूरी में एक दूसरे से समान दूरी के हैं, लेकिन यूक्लिडीय समतल में, ऐसे 4 बिंदु नहीं हैं बिंदु जो एक दूसरे से समान दूरी के हैं।

मानचित्र $$f:\mathbb{Z}^n\mapsto\mathbb{R}^n$$ (दोनों यूक्लिडियन मापीय के साथ) जो पूर्णांकों के प्रत्येक $$n$$- टपल स्वयं को भेजता है, यह अर्ध-सममिति दूरी है बिल्कुल संरक्षित हैं, और प्रत्येक वास्तविक टपल एक पूर्णांक टपल की दूरी $$\sqrt{n/4}$$ के अंदर है। दूसरी दिशा में, असंतुलित कार्य जो वास्तविक संख्याओं के प्रत्येक टपल को निकटतम पूर्णांक टपल तक ले जाता है, वह भी एक अर्ध-सममिति है: प्रत्येक बिंदु को इस मानचित्र द्वारा दूरी $$\sqrt{n/4}$$ के अंदर एक बिंदु पर ले जाया जाता है।  इसलिए अधिकतम $$2\sqrt{n/4}$$  बिंदुओं के जोड़े के बीच की दूरी को अधिक से अधिक जोड़कर या घटाकर परिवर्तित कर देता है।

परिमित या परिबद्ध मापीय समष्टि की प्रत्येक जोड़ी अर्ध-सममितीय है। इस स्थिति में, प्रत्येक फलन एक समष्टि से दूसरे समष्टि पर एक अर्ध-सममिति है।

समानता संबंध
यदि $$f:M_1\mapsto M_2$$ एक अर्ध-सममिति है, तो एक अर्ध-सममिति $$g:M_2\mapsto M_1$$सम्मिलित है। वास्तव में, $$g(x)$$  $$y$$ की छवि में कोई भी बिंदु $$f$$ देकर परिभाषित किया जा सकता है, जो की $$x$$ की दूरी $$C$$ के अंदर है और  $$g(x)$$ किसी भी बिंदु  $$f^{-1}(y)$$ पर है।

चूंकि पहचान मानचित्र एक अर्ध-सममिति है, और दो अर्ध-सममिति की कार्यात्मक संरचना एक अर्ध-सममिति है, यह इस प्रकार है कि अर्ध-सममितीय होने के गुण मापीय समष्टि के वर्ग पर एक समानता संबंध की तरह व्यवहार करती है।

ज्यामितीय समूह सिद्धांत में प्रयोग करें
एक निश्चित रूप से उत्पन्न समूह G के एक परिमित उत्पादक समुच्चय S को देखते हुए, हम S और G के संबंधित केली ग्राफ बना सकते हैं। यह ग्राफ एक मापीय समष्टि बन जाता है यदि हम प्रत्येक किनारे की लंबाई 1 होने की घोषणा करते हैं। एक अलग परिमित उत्पादक समुच्चय T परिणाम एक अलग ग्राफ और एक अलग मापीय समष्टि में लेते हैं, हालाँकि दो समष्टि अर्ध-सममितीय होते हैं। यह अर्ध-सममिति वर्ग समूह इस प्रकार समूह G अपरिवर्तनशील है। मापीय समष्टि  का कोई भी गुण जो केवल समष्टि के अर्ध-सममिति वर्ग पर निर्भर करती है, तुरंत समूहों के एक और अपरिवर्तनशील उत्पन्न करती है, समूह सिद्धांत के क्षेत्र को ज्यामितीय तरीकों से प्रारंभ करती है।

अधिक सामान्य रूप से, स्वार्क–मिल्नोर लेम्मा में कहा गया है कि यदि एक समूह G उपयुक्त अल्पान्तरी समष्टि X पर सुसम्बद्ध भागफल के साथ ठीक से काम करता है तो G, X के लिए अर्ध-सममितीय है (जिसका अर्थ है कि G के लिए कोई केली ग्राफ है)। यह समूहों के अर्ध-सममितीय समूहों के एक दूसरे के नए उदाहरण देता है:
 * यदि G', G में परिमित सूचकांक का एक उपसमूह है तो G', G के लिए अर्ध-सममितीय है;
 * यदि G और H एक ही आयाम d के दो संहत अतिपरवलयिक कई गुना के मौलिक समूह हैं तो वे दोनों अतिपरवलयिक समष्टि 'Hd' के के अर्ध-सममितीय हैं और इसलिए दूसरी ओर एक दूसरे के लिए मौलिक समूहों के परिमित-आयतन का अधिकतम सीमा तक कई अर्ध-सममिति वर्ग हैं।

कसीगोडेसिक्स और मोर्स लेम्मा
एक मापीय अंतरिक्ष में एक अर्ध-जियोडेसिक $$(X, d)$$ का एक अर्ध-सममितीय अंतःस्थापन है $$\mathbb R$$ में $$X$$. अधिक परिशुद्ध एक मानचित्र $$\phi: \mathbb R \to X$$ ऐसा है कि वहाँ सम्मिलित है $$C,K > 0$$ ताकि
 * $$\forall s, t \in \mathbb R : C^{-1} |s - t| - K \le d(\phi(t), \phi(s)) \le C|s - t| + K$$

ए कहा जाता है $$(C,K)$$-quasi-geodesic। जाहिर तौर पर जियोडेसिक्स (आर्कलेंथ द्वारा पैरामीट्रिज्ड) अर्ध-जियोडेसिक्स हैं। तथ्य यह है कि कुछ स्थानों में आक्षेप सामान्य रूप से सच है, अर्थात प्रत्येक अर्ध-जियोडेसिक एक वास्तविक जियोडेसिक की सीमाबद्ध दूरी के अंदर रहता है, जिसे मोर्स हेडवर्ड कहा जाता है (अंतर टोपोलॉजी में संभव्यता अधिक व्यापक रूप से ज्ञात मोर्स लेम्मा के साथ भ्रमित नहीं होना चाहिए)। औपचारिक रूप से कथन है:


 * होने देना $$\delta, C, K > 0$$ और $$X$$ एक उपयुक्त δ-अतिपरवलयिक स्पेस। वहां सम्मिलित $$M$$ ऐसा कि किसी के लिए $$(C, K)$$-quasi-geodesic $$\phi$$ एक जियोडेसिक सम्मिलित है $$L$$ में $$X$$ ऐसा है कि $$d(\phi(t), L) \le M$$ सभी के लिए $$t \in \mathbb R$$.

यह ज्यामितीय समूह सिद्धांत में एक महत्वपूर्ण उपकरण है। एक तत्काल आवेदन यह है कि उपयुक्त अतिपरवलयिक समष्टि के बीच कोई भी अर्ध-सममिति उनकी सीमाओं के बीच एक होमोमोर्फिज्म को प्रेरित करती है। यह परिणाम मोस्टो कठोरता प्रमेय के प्रमाण में पहला चरण है।

समूहों के अर्ध-सममिति इनवेरिएंट के उदाहरण
समूह केली ग्राफ़ के गुणों के कुछ उदाहरण निम्नलिखित हैं जो अर्ध-सममिति के अंतर्गत अपरिवर्तनीय हैं:

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

अतिपरवलयिक समूहों में समूहों के लिए एक हल करने योग्य शब्द समस्या है। वे द्विस्वचालित समूह और स्वचालित समूह हैं। वास्तव में, वे स्वचालित समूह हैं, अर्थात्, समूह पर एक स्वचालित संरचना होती है, जहाँ स्वीकर्ता शब्द द्वारा स्वीकृत भाषा सभी भूगणितीय शब्दों का समूह होती है।

वृद्धि
एक समूह (गणित) की विकास दर एक समूह के सममित उत्पादक समुच्चय के संबंध में समूह में गेंदों के आकार का वर्णन करती है। समूह में प्रत्येक तत्व को जनरेटर के उत्पाद के रूप में लिखा जा सकता है, और विकास दर उन तत्वों की संख्या की गणना करती है जिन्हें लंबाई 'एन' के उत्पाद के रूप में लिखा जा सकता है।

बहुपद विकास के समूहों पर ग्रोमोव के प्रमेय के अनुसार | ग्रोमोव का प्रमेय, बहुपद वृद्धि का एक समूह वस्तुतः नगण्य है, अर्थात इसमें एक उपसमूह के परिमित सूचकांक का एक निलपोटेंट समूह उपसमूह है। विशेष रूप से, बहुपद वृद्धि का क्रम $$k_0$$ एक प्राकृतिक संख्या होना चाहिए और वास्तव में $$\#(n)\sim n^{k_0}$$.

यदि $$\#(n)$$ किसी भी एक्सपोनेंशियल फलन की तुलना में अधिक धीरे-धीरे बढ़ता है, G की 'सबएक्सपोनेंशियल ग्रोथ रेट' होती है। ऐसा कोई भी समूह अनुमन्य समूह है।

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

एक अंतिम रूप से उत्पन्न समूह के सिरों को इसी केली ग्राफ के सिरों के रूप में परिभाषित किया गया है; यह परिभाषा परिमित उत्पादक समुच्चय की पसंद से स्वतंत्र है। प्रत्येक सूक्ष्म रूप से उत्पन्न अनंत समूह में या तो 0,1, 2, या असीम रूप से कई छोर होते हैं, और समूहों के सिरों के बारे में स्टालिंग प्रमेय एक से अधिक छोर वाले समूहों के लिए एक अपघटन प्रदान करता है।

यदि दो जुड़े हुए स्थानीय रूप से परिमित ग्राफ़ अर्ध-सममितीय हैं, तो उनके सिरों की संख्या समान है। विशेष रूप से, दो अर्ध-सममितीय सूक्ष्म रूप से उत्पन्न समूहों में सिरों की संख्या समान होती है।

सुविधा
एक अनुकूल समूह एक स्थानीय रूप से संहत टोपोलॉजिकल समूह 'जी' है जो बाध्य कार्यों पर एक प्रकार का औसत संचालन करता है जो कि समूह तत्वों द्वारा अनुवाद के अंतर्गत अपरिवर्तनीय (गणित) है। 1929 में जॉन वॉन न्यूमैन द्वारा जर्मन भाषा के नाम मेसबार (अंग्रेजी में मापने योग्य) के अंतर्गत बनच- टार्स्की विरोधाभास। 1949 में Mahlon M. Day ने अंग्रेजी अनुवाद amenable की शुरुआत की, जाहिरा तौर पर एक श्लेष के रूप में। असतत समूह सिद्धांत में, जहाँ G के पास असतत टोपोलॉजी है, एक सरल परिभाषा का उपयोग किया जाता है। इस सेटिंग में, एक समूह अनुमन्य है यदि कोई कह सकता है कि किसी दिए गए उपसमुच्चय में G का कितना अनुपात होता है।

यदि किसी समूह में एक Følner अनुक्रम है तो यह स्वचालित रूप से अनुमन्य है।

स्पर्शोन्मुख शंकु
एक अल्ट्रालिमिट एक ज्यामितीय निर्माण है जो मापीय समष्टि 'एक्स' के अनुक्रम को निर्दिष्ट करता हैnएक सीमित मापीय समष्टि। अल्ट्रालिमिट्स का एक महत्वपूर्ण वर्ग मापीय समष्टि के तथाकथित स्पर्शोन्मुख शंकु हैं। चलो (एक्स, डी) एक मापीय समष्टि बनें, चलो ω एक गैर-प्रमुख अल्ट्राफिल्टर हो $$\mathbb N $$ और चलो पीn∈ X आधार-बिंदुओं का एक क्रम हो। फिर अनुक्रम की ω–अल्ट्रालिमिट $$(X, \frac{d}{n}, p_n)$$ ω और के संबंध में X का स्पर्शोन्मुख शंकु कहा जाता है $$(p_n)_n\,$$ और निरूपित किया जाता है $$Cone_\omega(X,d, (p_n)_n)\,$$. एक अक्सर आधार-बिंदु अनुक्रम को स्थिर होने के लिए लेता है, पीn= पी कुछ पी ∈ एक्स के लिए; इस स्थिति में स्पर्शोन्मुख शंकु p ∈ X की पसंद पर निर्भर नहीं करता है और इसे द्वारा निरूपित किया जाता है $$Cone_\omega(X,d)\,$$ या केवल $$Cone_\omega(X)\,$$.

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

यह भी देखें

 * सममिति
 * स्थूल संरचना