ग्रोमोव सीमा



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

परिभाषा
एक जियोडेसिक और उचित δ-हाइपरबोलिक स्पेस की ग्रोमोव सीमा की कई समान परिभाषाएँ हैं। जियोडेसिक#मेट्रिक ज्यामिति किरणों के सबसे आम उपयोगों में से एक तुल्यता वर्ग। कोई बिंदु उठाओ $$O$$ एक अतिशयोक्तिपूर्ण मीट्रिक स्थान का $$X$$ उत्पत्ति होना। एक जियोडेसिक किरण एक आइसोमेट्री द्वारा दिया गया मार्ग है $$\gamma:[0,\infty)\rightarrow X$$ ऐसा है कि प्रत्येक खंड $$\gamma([0,t])$$ से सबसे कम लंबाई का पथ है $$O$$ को $$\gamma(t)$$.

दो जियोडेसिक्स $$\gamma_1,\gamma_2$$ स्थिरांक होने पर समकक्ष के रूप में परिभाषित किया जाता है $$K$$ ऐसा है कि $$d(\gamma_1(t),\gamma_2(t))\leq K$$ सभी के लिए $$t$$. का समतुल्य वर्ग $$\gamma$$ निरूपित किया जाता है $$[\gamma]$$.

जियोडेसिक और उचित हाइपरबोलिक मीट्रिक स्पेस की ग्रोमोव सीमा $$X$$ सेट है $$\partial X=\{[\gamma]|\gamma$$ में एक जियोडेसिक किरण है $$X\}$$.

टोपोलॉजी
तीन बिंदुओं के ग्रोमोव उत्पाद का उपयोग करना उपयोगी है। तीन बिंदुओं का ग्रोमोव उत्पाद $$x,y,z$$ एक मीट्रिक स्थान में है $$(x,y)_z=1/2(d(x,z)+d(y,z)-d(x,y))$$. एक पेड़ (ग्राफ थ्योरी) में, यह मापता है कि रास्ते कितने लंबे हैं $$z$$ को $$x$$ और $$y$$ अलग होने से पहले एक साथ रहें। चूँकि अतिशयोक्तिपूर्ण स्थान पेड़ की तरह होते हैं, ग्रोमोव उत्पाद मापता है कि भू-भौतिकी कितनी लंबी है $$z$$ को $$x$$ और $$y$$ अलग होने से पहले करीब रहें।

एक बिंदु दिया $$p$$ ग्रोमोव सीमा में, हम सेट को परिभाषित करते हैं $$V(p,r)=\{q\in \partial X|$$ जियोडेसिक किरणें हैं $$\gamma_1,\gamma_2$$ साथ $$[\gamma_1]=p, [\gamma_2]=q$$ और $$\lim \inf_{s,t\rightarrow \infty}(\gamma_1(s),\gamma_2(t))_O\geq r\}$$. ये खुले सेट ग्रोमोव सीमा के टोपोलॉजी के लिए एक आधार (टोपोलॉजी) बनाते हैं।

ये खुले सेट केवल जियोडेसिक किरणों के सेट हैं जो एक निश्चित जियोडेसिक किरण का कुछ दूरी तक अनुसरण करते हैं $$r$$ अलग होने से पहले।

यह टोपोलॉजी ग्रोमोव सीमा को कॉम्पैक्ट जगह  मेट्रिजेशन प्रमेय स्पेस में बनाती है।

हाइपरबॉलिक समूह के अंत (टोपोलॉजी) की संख्या ग्रोमोव सीमा के जुड़े सेट की संख्या है।

ग्रोमोव सीमा
के गुण ग्रोमोव सीमा में कई महत्वपूर्ण गुण हैं। समूह सिद्धांत में सबसे अधिक उपयोग किए जाने वाले गुणों में से एक निम्नलिखित है: यदि एक समूह $$G$$ एक δ-हाइपरबॉलिक स्पेस पर ज्यामितीय समूह क्रिया, फिर $$G$$ अतिशयोक्तिपूर्ण समूह है और $$G$$ और $$X$$ होमियोमॉर्फिक ग्रोमोव सीमाएँ हैं। सबसे महत्वपूर्ण गुणों में से एक यह है कि यह अर्ध-सममिति अपरिवर्तनीय है; अर्थात्, यदि दो अतिशयोक्तिपूर्ण मीट्रिक रिक्त स्थान अर्ध-सममितीय हैं, तो उनके बीच अर्ध-सममिति उनकी सीमाओं के बीच एक समरूपता प्रदान करती है। यह महत्वपूर्ण है क्योंकि रिक्त स्थान के अर्ध-समरूपता की तुलना में कॉम्पैक्ट रिक्त स्थान के होमोमोर्फिज्म को समझना बहुत आसान है।

उदाहरण

 * एक पेड़ की ग्रोमोव सीमा (ग्राफ थ्योरी) एक कैंटर स्पेस है।
 * हाइपरबोलिक स्पेस की ग्रोमोव सीमा|हाइपरबोलिक एन-स्पेस एक (एन-1)-आयामी क्षेत्र है।
 * संहत रीमैन सतह के मूलभूत समूह की ग्रोमोव सीमा इकाई वृत्त है।
 * ज्यादातर अतिपरवलयिक समूहों की ग्रोमोव सीमा मेरा स्पंज है।

CAT(0) स्पेस की विजुअल बाउंड्री
एक पूर्ण स्थान CAT(0) अंतरिक्ष X के लिए, X की दृश्य सीमा, δ-हाइपरबोलिक अंतरिक्ष की ग्रोमोव सीमा की तरह, स्पर्शोन्मुख जियोडेसिक किरणों के समतुल्य वर्ग के होते हैं। हालाँकि, ग्रोमोव उत्पाद का उपयोग उस पर एक टोपोलॉजी को परिभाषित करने के लिए नहीं किया जा सकता है। उदाहरण के लिए, एक सपाट विमान के मामले में, विपरीत दिशाओं में नहीं जाने वाले बिंदु से जारी होने वाली किसी भी दो जियोडेसिक किरणों का उस बिंदु के संबंध में अनंत ग्रोमोव उत्पाद होगा। इसके बजाय दृश्य सीमा 'शंकु टोपोलॉजी' से संपन्न है। X में एक बिंदु o को ठीक करें। किसी भी सीमा बिंदु को o से जारी होने वाली एक अद्वितीय जियोडेसिक किरण द्वारा दर्शाया जा सकता है। एक किरण दी $$\gamma$$ ओ से जारी, और सकारात्मक संख्या टी > 0 और आर > 0, सीमा बिंदु पर एक पड़ोस के आधार $$[\gamma]$$ फॉर्म के सेट द्वारा दिया गया है
 * $$U(\gamma, t, r) = \{[\gamma_1]\in\partial X | \gamma_1(0)=o, d( \gamma_1(t),\gamma(t))< r\}.$$

ऊपर परिभाषित शंकु टोपोलॉजी ओ की पसंद से स्वतंत्र है।

यदि X उचित मीट्रिक स्थान है, तो शंकु टोपोलॉजी के साथ दृश्य सीमा सघन (टोपोलॉजी) है। जब X CAT(0) और उचित जियोडेसिक δ-हाइपरबोलिक स्पेस दोनों होता है, तो शंकु टोपोलॉजी ग्रोमोव सीमा के टोपोलॉजी के साथ मेल खाता है।

तोप का अनुमान
तोप का अनुमान अनंत पर 2-क्षेत्र वाले समूहों के वर्गीकरण से संबंधित है:

तोप का अनुमान: प्रत्येक मिखाइल ग्रोमोव (गणितज्ञ) अतिशयोक्तिपूर्ण समूह अनंत पर 2-गोले के साथ अतिशयोक्तिपूर्ण अंतरिक्ष पर ज्यामितीय समूह कार्रवाई। अतिशयोक्तिपूर्ण 3-अंतरिक्ष। इस अनुमान के अनुरूप को 1-गोले के लिए सत्य और 2 से बड़े सभी आयामों के क्षेत्रों के लिए असत्य के रूप में जाना जाता है।