अतिशयोक्तिपूर्ण मीट्रिक स्थान: Difference between revisions

Latest revision as of 17:46, 17 May 2023

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

परिभाषाएँ

इस अनुच्छेद में हम $\delta$ -अतिशयोक्तिपूर्ण स्थान की विभिन्न परिभाषाएँ देते हैं। एक मीट्रिक स्थान को (ग्रोमोव-) अतिशयोक्तिपूर्ण कहा जाता है यदि यह कुछ $\delta >0$ के लिए $\delta$ -अतिशयोक्तिपूर्ण है।

ग्रोमोव उत्पाद का उपयोग करके परिभाषा

होने देना $(X,d)$ मीट्रिक स्थान बनें। दो बिंदुओं का ग्रोमोव उत्पाद $y,z\in X$ किसी तीसरे के संबंध में $x\in X$ सूत्र द्वारा परिभाषित किया गया है:

(y,z)_{x}={\frac {1}{2}}\left(d(x,y)+d(x,z)-d(y,z)\right).

अतिशयोक्तिपूर्ण मीट्रिक स्थान की ग्रोमोव की परिभाषा इस प्रकार है: $X$ $\delta$ -अतिशयोक्तिपूर्ण है यदि और केवल यदि सभी $x,y,z,w\in X$ चार-बिंदु की स्थिति को संतुष्ट करते हैं

(x,z)_{w}\geq \min \left((x,y)_{w},(y,z)_{w}\right)-\delta

ध्यान दें कि यदि यह स्थिति सभी $x,y,z\in X$ और एक निश्चित आधार बिंदु $w_{0}$ , के लिए संतुष्ट है तो यह स्थिर $2\delta$ के साथ सभी Failed to parse (⧼math_empty_tex⧽): {\displaystyle } के लिए संतुष्ट है.^[1] इस प्रकार अतिशयोक्ति की स्थिति को केवल निश्चित आधार बिंदु के लिए सत्यापित करने की आवश्यकता है; इस कारण से, आधार बिंदु के लिए उपलेख को अधिकांशतः ग्रोमोव उत्पाद से हटा दिया जाता है।

त्रिकोणों का उपयोग करके परिभाषाएँ

$\delta$ को एक स्थिर बहु द्वारा बदलने तक, एक समतुल्य ज्यामितीय परिभाषा होती है जिसमें त्रिकोण सम्मिलित होते हैं जब मीट्रिक स्थान $X$ जियोडेसिक होता है, अर्थात कोई भी दो बिंदु $x,y\in X$ एक जियोडेसिक सेगमेंट $[x,y]$ के अंत बिंदु होते हैं (एक वास्तविक के एक कॉम्पैक्ट सबइंटरवल $[a,b]$ की आइसोमेट्रिक छवि)।^[2]^[3] ^[4] ध्यान दें कि ग्रोमोव उत्पादों के माध्यम से परिभाषा के लिए अंतरिक्ष को जियोडेसिक होने की आवश्यकता नहीं है।

मान लीजिए $x,y,z\in X$ . कोने $x,y,z$ वाला एक भूगणितीय त्रिभुज तीन भूगणित खंडों का मिलन है $[x,y],[y,z],[z,x]$ (जहां $[p,q]$ समापन बिंदु $p$ और $q$ वाले सेगमेंट को दर्शाता है)।

δ-पतली त्रिकोण स्थिति

x

y

z

B_{\delta }([x,y])

B_{\delta }([z,x])

B_{\delta }([y,z])

File:डेल्टा पतली त्रिकोण स्थिति.एसवीजी

δ-पतली त्रिकोण स्थिति

यदि किसी बिंदु $m\in [x,y]$ के लिए $[y,z]\cup [z,x]$ में $m$ के $\delta$ से कम दूरी पर एक बिंदु है, और इसी तरह बिंदुओं के लिए दूसरे किनारों पर, और $\delta \geq 0$ तो त्रिकोण को $\delta$ कहा जाता है।

$\delta$ -अतिशयोक्तिपूर्ण स्थान की परिभाषा तब एक जियोडेसिक मेट्रिक स्थान है जिसके सभी जियोडेसिक त्रिकोण $\delta$ -अतिशयोक्तिपूर्ण स्थान हैं, फिर एक जियोडेसिक मेट्रिक स्थान है जिसके सभी जियोडेसिक त्रिकोण हैं

एक जियोडेसिक त्रिकोण के $C$ -अनुमानित केंद्र की धारणा का उपयोग करके एक और परिभाषा दी जा सकती है: यह एक बिंदु है जो त्रिकोण के किसी भी किनारे के अधिकांश $C$ (केंद्र का "अनुमानित" संस्करण) की दूरी पर है। एक स्थान $\delta$ -अतिशयोक्तिपूर्ण है यदि प्रत्येक भूगर्भीय त्रिभुज में $\delta$ -केंद्र है।

ए की ये दो परिभाषाएँ $\delta$ -अतिशयोक्तिपूर्ण स्थान जियोडेसिक त्रिकोण का उपयोग बिल्कुल समकक्ष नहीं है, किन्तु उपस्थित है $k>1$ ऐसा कि ए $\delta$ -अतिशयोक्तिपूर्ण स्थान पहले अर्थ में है $k\cdot \delta$ -अतिशयोक्तिपूर्ण दूसरे में, और इसके विपरीत। इस प्रकार अतिशयोक्तिपूर्ण स्थान की धारणा चुनी हुई परिभाषा से स्वतंत्र है।

$\delta$ -अतिशयोक्तिपूर्ण स्थान की ये दो परिभाषाएँ जियोडेसिक त्रिकोण का उपयोग करते हुए बिल्कुल समान नहीं हैं, किन्तु वहाँ $k>1$ उपस्थित है जैसे कि $\delta$ -अतिशयोक्तिपूर्ण स्थान पहले अर्थ में $k\cdot \delta$ -अतिशयोक्तिपूर्ण है दूसरा, और इसके विपरीत^[5] इस प्रकार अतिशयोक्तिपूर्ण स्थान की धारणा चुनी हुई परिभाषा से स्वतंत्र है।

उदाहरण

अतिशयोक्तिपूर्ण तल अतिशयोक्तिपूर्ण है: वास्तव में भूगर्भीय त्रिभुज का अंतःवृत्त त्रिभुज में समाहित सबसे बड़े व्यास का चक्र है और प्रत्येक भूगर्भीय त्रिभुज आदर्श त्रिभुज के आंतरिक भाग में स्थित है, जो सभी व्यास 2 लॉग 3 के अंतःवृत्त के साथ सममितीय हैं।^[6] ध्यान दें कि इस स्थितियों में ग्रोमोव उत्पाद की भूगर्भीय त्रिभुज के अंतर्वृत्त के संदर्भ में सरल व्याख्या भी है। वास्तव में मात्रा $(A, B) C$ केवल अतिशयोक्तिपूर्ण दूरी है $p$ से $C$ आसन्न पक्षों के साथ अंतर्वृत्त के संपर्क के बिंदुओं में से किसी के लिए: आरेख से $c = (a - p) + (b - p)$ , जिससे

 $p = (a + b - c)/2 = (A, B) C$ .^[7]

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

अतिशयोक्तिपूर्ण रिक्त स्थान के दो विकृत उदाहरण परिबद्ध व्यास वाले स्थान हैं (उदाहरण के लिए परिमित या कॉम्पैक्ट स्थान) और वास्तविक रेखा।

मेट्रिक ट्री (ग्राफ थ्योरी) और अधिक सामान्यतः वास्तविक पेड़ अतिशयोक्तिपूर्ण स्थान के सबसे सरल रोचक उदाहरण हैं क्योंकि वे 0-अतिशयोक्तिपूर्ण हैं (अर्थात सभी त्रिकोण तिपाई हैं)।

यूक्लिडियन समबाहु त्रिभुजों द्वारा त्रिभुज का 1-कंकाल अतिशयोक्तिपूर्ण नहीं है (यह वास्तव में यूक्लिडियन तल के लिए अर्ध-सममितीय है)। स्थान का त्रिभुज $\mathbb {R} ^{2}$ अतिशयोक्तिपूर्ण 1-कंकाल है यदि प्रत्येक शीर्ष की डिग्री 7 या अधिक है।

द्वि-आयामी ग्रिड अतिशयोक्तिपूर्ण नहीं है (यह यूक्लिडियन स्थान के लिए अर्ध-सममितीय है)। यह टोरस्र्स के मौलिक समूह का केली ग्राफ है; उच्च जीनस की सतह के मौलिक समूहों के केली ग्राफ अतिशयोक्तिपूर्ण हैं (यह वास्तव में अतिशयोक्तिपूर्ण तल के लिए अर्ध-सममितीय है)।

अतिशयोक्ति और वक्रता

अतिशयोक्तिपूर्ण स्थान (और अधिक सामान्यतः अनुभागीय वक्रता $\leq -1$ के किसी भी हैडमार्ड कई गुना ) $2$ -अतिपरवलिक है यदि हम एक कारक $\lambda >0$ द्वारा रिमेंनियन मीट्रिक को मापते हैं तो दूरियों को $\lambda$ से गुणा किया जाता है और इस प्रकार हमें एक स्थान मिलता है जो $\lambda \cdot \delta$ -अतिपरवलिक है। चूँकि वक्रता को $\lambda ^{-1}$ से गुणा किया जाता है, हम देखते हैं कि इस उदाहरण में स्थान जितना अधिक (ऋणात्मक रूप से) वक्रित होता है, अतिपरवलयिकता स्थिरांक उतना ही कम होता है।

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

महत्वपूर्ण गुण

अर्ध आइसोमेट्री के अनुसार इनवेरियन

बड़े मापदंड के अर्थ को स्पष्ट करने का विधि अर्ध-आइसोमेट्री के अनुसार अपरिवर्तनीयता की आवश्यकता है। यह अतिशयोक्ति का सच है।

यदि जियोडेसिक मीट्रिक स्थान

Y

a के लिए अर्ध-सममितीय है

\delta

-अतिशयोक्तिपूर्ण स्थान

X

तो वहाँ उपस्थित है

\delta '

ऐसा है कि

Y

है

\delta '

-अतिपरवलिक।

अटल $\delta '$ पर निर्भर करता है $\delta$ और क्वैसी-आइसोमेट्री के लिए गुणक और योज्य स्थिरांक पर।^[8]

अतिशयोक्तिपूर्ण रिक्त स्थान में अनुमानित पेड़

ग्रोमोव उत्पाद के संदर्भ में अतिशयोक्तिपूर्ण स्थान की परिभाषा को यह कहते हुए देखा जा सकता है कि किसी भी चार बिंदुओं के बीच मीट्रिक संबंध समान हैं जैसे वे पेड़ में होंगे, योगात्मक स्थिरांक तक $\delta$ . सामान्यतः निम्नलिखित संपत्ति से पता चलता है कि अतिशयोक्तिपूर्ण स्थान का कोई परिमित उपसमुच्चय परिमित वृक्ष की तरह दिखता है।

किसी भी

n,\delta

के लिए एक स्थिरांक

C

होता है जैसे कि निम्नलिखित धारण करता है: यदि

x_{1},\ldots ,x_{n}

\delta

-हाइपरबोलिक स्थान

X

में बिंदु हैं तो एक परिमित वृक्ष

T

है और एक एम्बेडिंग

f:T\to X

जैसे कि

x_{i}\in f(T)

सभी के लिए

i=1,\ldots ,n

और

\forall i,j:d(f^{-1}(x_{i}),f^{-1}(x_{j}))\leq d(x_{i},x_{j})\leq d(f^{-1}(x_{i}),f^{-1}(x_{j}))+C

निरंतर

C

को

\delta \cdot h(n)

h(n)=O(\log n)

} के साथ लिया जा सकता है और यह इष्टतम है।^[9]

दूरी और समपरिमितीय असमानताओं की घातीय वृद्धि

अतिशयोक्तिपूर्ण स्थान में $X$ हमारे पास निम्नलिखित संपत्ति है:^[10]

\mu ,K>0

ऐसे हैं कि सभी

p,x,y\in X

के साथ

d(p,x)=d(p,y)=:r

, हर पथ

\alpha

x

से

y

को मिलाने और

p

की कम से कम

r

दूरी पर रहने की लंबाई कम से कम

e^{\mu \cdot d(x,y)}-K

है ।

अनौपचारिक रूप से इसका अर्थ है कि त्रिज्या के वृत्त की परिधि $r$ के साथ चरघातांकी रूप से बढ़ता है $r$ यह आइसोपेरिमेट्रिक असमानता स्थान में आइसोपेरिमेट्रिक समस्या की याद दिलाता है। यहाँ इस आशय का अधिक विशिष्ट कथन है।^[11]

मान लीजिए कि

X

आयाम 2 का एक कोशिका परिसर है, जैसे कि इसका 1-कंकाल अतिशयोक्तिपूर्ण है, और वहाँ

C

उपस्थित है जैसे कि किसी भी 2-कोशिका की सीमा में अधिकतम

C

1-कोशिकाएँ होती हैं। फिर एक स्थिर

\lambda >0

ऐसा है कि किसी भी परिमित उपसमुच्चय

Y\subset X

के लिए हमारे पास है

\operatorname {area} (Y)\leq \lambda \cdot \operatorname {length(\partial Y)}

यहां 2-कॉम्प्लेक्स का क्षेत्रफल 2-कोशिकाओं की संख्या है और 1-कॉम्प्लेक्स की लंबाई 1-कोशिकाओं की संख्या है। उपरोक्त कथन रेखीय समपरिमितीय असमानता है; यह पता चला है कि ऐसी आइसोपेरिमेट्रिक असमानता ग्रोमोव-अतिशयोक्तिपूर्ण रिक्त स्थान की विशेषता है।^[12] रेखीय समपरिमितीय असमानताएं संयोजी समूह सिद्धांत से लघु निरस्तीकरण सिद्धांत की स्थितियों से प्रेरित थीं।

क्वासिकोनवेक्स सबस्पेस

जियोडेसिक मेट्रिक स्थान $X$ के एक सबस्पेस $Y$ को क्वासिकोनवेक्स कहा जाता है यदि कोई स्थिर $C$ ऐसा है कि $Y$ के दो बिंदुओं के बीच $x$ में कोई भी जियोडेसिक 0 की दूरी $C$ के अंदर रहता है।

अतिपरवलयिक स्थान का अर्ध-उत्तल उपस्थान अतिशयोक्तिपूर्ण है।

स्पर्शोन्मुख शंकु

अतिपरवलयिक स्थान के सभी अल्ट्रालिमिटअसिम्प्टोटिक शंकु वास्तविक वृक्ष हैं। यह संपत्ति अतिशयोक्तिपूर्ण रिक्त स्थान की विशेषता है।^[13]

अतिशयोक्तिपूर्ण स्थान की सीमा

साधारण पेड़ के अंत (ग्राफ सिद्धांत) के निर्माण को सामान्यीकृत करना अतिपरवलयिक रिक्त स्थान के लिए अनंत पर सीमा की प्राकृतिक धारणा है, जो समूह क्रियाओं का विश्लेषण करने के लिए बहुत उपयोगी सिद्ध हुई है।

इस पैराग्राफ में $X$ जियोडेसिक मीट्रिक स्थान है जो अतिशयोक्तिपूर्ण है।

ग्रोमोव उत्पाद का उपयोग करके परिभाषा

एक अनुक्रम $(x_{n})\in X^{\mathbb {N} }$ को अनंत तक अभिसरण कहा जाता है यदि कुछ (या किसी भी) बिंदु $p$ के लिए हमारे पास $(x_{n},x_{m})_{p}\rightarrow \infty$ क्योंकि $n$ और $m$ दोनों अनंत तक जाते हैं। दो अनुक्रमों $(x_{n}),(y_{n})$ अनंत तक अभिसरण को समतुल्य माना जाता है जब $\lim _{n\to +\infty }(x_{n},y_{n})_{p}=+\infty$ (कुछ या किसी $p$ के लिए) $X$ की सीमा अनुक्रमों के तुल्यता वर्गों का समूह है जो अनंत तक अभिसरित होते हैं^[14], जिसे $\partial X$ के रूप में दर्शाया गया है।

यदि $\xi ,\eta$ सीमा पर दो बिंदु हैं तो उनके ग्रोमोव उत्पाद को परिभाषित किया गया है:

(\xi ,\eta )_{p}=\sup _{(x_{n})=\xi ,(y_{n})=\eta }\left(\liminf _{n,m\to +\infty }(x_{n},y_{m})_{p}\right)

जो परिमित iff है $\xi \neq \eta$ . इसके बाद टोपोलॉजी को परिभाषित किया जा सकता है $\partial X$ कार्यों का उपयोग करना $(\cdot ,\xi )$ .^[15] यह टोपोलॉजी चालू है $\partial X$ मेट्रिसेबल है और ग्रोमोव उत्पाद का उपयोग करके परिभाषित मेट्रिक्स का विशिष्ट परिवार है।^[16]

किरणों का उपयोग कर उचित रिक्त स्थान के लिए परिभाषा

होने देना $\alpha ,\beta$ दो क्वैसी-आइसोमेट्री|क्वासी-आइसोमेट्रिक एंबेडिंग हो $[0,+\infty [$ में $X$ (अर्ध-जियोडेसिक किरणें)। यदि और केवल कार्य करते हैं तो उन्हें समतुल्य माना जाता है $t\mapsto d(\alpha (t),\beta (t))$ पर आबद्ध है $[0,+\infty [$ . यदि अंतरिक्ष $X$ उचित है तो इस तरह के सभी एम्बेडिंग मॉडुलो समतुल्यता का समुच्चय अपनी प्राकृतिक टोपोलॉजी के साथ होमियोमॉर्फिक है $\partial X$ जैसा कि ऊपर परिभाषित किया गया है।^[17]

समान अहसास आधार बिंदु को ठीक करना है और केवल इस बिंदु से उत्पन्न होने वाली अर्ध-जियोडेसिक किरणों पर विचार करना है। यदि $X$ जियोडेसिक है और उचित भी वास्तविक जियोडेसिक किरणों तक सीमित हो सकता है।

उदाहरण

जब $X=T$ एक साधारण नियमित पेड़ होता है तो सीमा केवल सिरों का स्थान होता है, जो एक कैंटर समूह है। एक बिंदु $x\in T$ को ठीक करने से $\partial T$ पर एक प्राकृतिक दूरी मिलती है, $\alpha ,\beta$ पर एक प्राकृतिक दूरी मिलती है, $x$ पर एक प्राकृतिक दूरी $\exp(-\operatorname {Length} (\alpha \cap \beta ))$ होती है।

जब $X$ इकाई डिस्क है, अर्थात अतिशयोक्तिपूर्ण समतल के लिए पॉइंकेयर डिस्क मॉडल, डिस्क पर अतिशयोक्तिपूर्ण मेट्रिक है

ds^{2}={4|dz|^{2} \over (1-|z|^{2})^{2}}

और ग्रोमोव सीमा को इकाई सर्कल से पहचाना जा सकता है।

की सीमा $n$ -आयाम अतिशयोक्तिपूर्ण स्थान होमियोमॉर्फिक है $n-1$ -आयामी क्षेत्र और मेट्रिक्स उपरोक्त के समान हैं।

बुसेमैन फ़ंक्शन

यदि $X$ उचित है तो इसकी सीमा बुसेमैन कार्यों के स्थान के लिए होमियोमॉर्फिक है $X$ मॉड्यूलो अनुवाद।^[18]

सीमा पर आइसोमेट्री की क्रिया और उनका वर्गीकरण

दो अतिशयोक्तिपूर्ण स्थानों के बीच अर्ध-सममिति $X,Y$ सीमाओं के बीच होमियोमोर्फिज्म को प्रेरित करता है।

विशेष रूप से आइसोमेट्री का समूह $X$ होमोमोर्फिज्म द्वारा कार्य करता है $\partial X$ . इस क्रिया का उपयोग किया जा सकता है^[19] सीमा पर उनके गतिशील व्यवहार के अनुसार आइसोमेट्री को वर्गीकृत करने के लिए, पेड़ों और मौलिक अतिशयोक्तिपूर्ण स्थानों के लिए सामान्यीकरण करना। होने देना $g$ की आइसोमेट्री हो $X$ , तब निम्न में से कोई स्थिति उत्पन्न होती है:

पहला मामला: $g$ पर परिबद्ध कक्षा है $X$ (यदि $X$ उचित है इसका तात्पर्य है $g$ में निश्चित बिंदु है $X$ ). तब इसे अण्डाकार आइसोमेट्री कहा जाता है।
दूसरा मामला: $g$ ठीक दो निश्चित बिंदु हैं $\xi _{+},\xi _{-}$ पर $\partial X$ और हर सकारात्मक कक्षा $\{g^{n}\xi :n\geq 0\},\xi \not =\xi _{-}$ पर ही जमा होता है $\xi _{+}$ . तब $g$ अतिशयोक्तिपूर्ण आइसोमेट्री कहा जाता है।
तीसरा मामला: $g$ सीमा पर ठीक निश्चित बिंदु है और इस बिंदु पर सभी कक्षाएँ जमा होती हैं। तब इसे परवलयिक आइसोमेट्री कहा जाता है।

अधिक उदाहरण

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

यह सिद्ध करना कठिनाई और रोचक हो सकता है कि कुछ स्थान अतिशयोक्तिपूर्ण हैं। उदाहरण के लिए, निम्नलिखित अतिशयोक्तिपूर्ण परिणामों ने उन पर कार्य करने वाले समूहों के लिए नई घटनाओं की खोज की है।

वक्र परिसर की अतिशयोक्ति^[20] मैपिंग वर्ग समूह पर नए परिणाम दिए हैं।^[21]
इसी प्रकार, कुछ ग्राफों की अतिशयोक्ति^[22] बाहरी ऑटोमोर्फिज्म समूह आउट (एफएन) से जुड़े इस समूह पर नए परिणाम आए हैं।

यह भी देखें

↑ Coornaert, Delzant & Papadopoulos 1990, pp. 2–3
↑ de la Harpe & Ghys 1990, Chapitre 2, Proposition 21.
↑ Bridson & Haefliger 1999, Chapter III.H, Proposition 1.22.
↑ Coornaert, Delzant & Papadopoulos 1990, pp. 6–8.
↑ Bridson & Haefliger 1999, Chapter III.H, Proposition 1.17.
↑ Coornaert, Delzant & Papadopoulos 1990, pp. 11–12
↑ Coornaert, Delzant & Papadopoulos 1990, p. 1–2s
↑ de la Harpe & Ghys 1990, Chapitre 5, Proposition 15.
↑ Bowditch 2006, Chapter 6.4.
↑ Bridson & Haefliger 1999, Chapter III.H, Proposition 1.25.
↑ a more general statement is given in Bridson & Haefliger (1999, Chapter III.H, Proposition 2.7)
↑ Bridson & Haefliger 1999, Chapter III.H, Theorem 2.9.
↑ Dyubina (Erschler), Anna; Polterovich, Iosif (2001). "सार्वभौमिक आर के स्पष्ट निर्माण-पेड़ और अतिशयोक्तिपूर्ण रिक्त स्थान की स्पर्शोन्मुख ज्यामिति". Bull. London Math. Soc. Vol. 33. pp. 727–734. MR 1853785.
↑ de la Harpe & Ghys 1990, Chapitre 7, page 120.
↑ de la Harpe & Ghys 1990, Chapitre 7, section 2.
↑ de la Harpe & Ghys 1990, Chapitre 7, section 3.
↑ de la Harpe & Ghys 1990, Chapitre 7, Proposition 4.
↑ Bridson & Haefliger 1999, p. 428.
↑ de la Harpe & Ghys 1990, Chapitre 8.
↑ Masur, Howard A.; Minsky, Yair N. (1999). "वक्रों के परिसर की ज्यामिति। I. अतिशयोक्ति". Invent. Math. Vol. 138. pp. 103–149. doi:10.1007/s002220050343. MR 1714338.
↑ Dahmani, François; Guirardel, Vincent; Osin, Denis (2017). "अतिशयोक्तिपूर्ण रूप से एम्बेडेड उपसमूह और अतिशयोक्तिपूर्ण स्थानों पर अभिनय करने वाले समूहों में घूमने वाले परिवार". Memoirs of the American Mathematical Society. 245 (1156). arXiv:1111.7048. doi:10.1090/memo/1156.
↑ Bestvina, Mladen; Feighn, Mark (2014). "मुक्त कारकों के परिसर की अतिशयोक्ति". Advances in Mathematics. 256: 104–155. doi:10.1016/j.aim.2014.02.001. MR 3177291.

संदर्भ

Bowditch, Brian (2006), A course on geometric group theory (PDF), Mat. soc. Japan
Bridson, Martin R.; Haefliger, André (1999), Metric spaces of non-positive curvature, Springer
Coornaert, M.; Delzant, T.; Papadopoulos, A. (1990), Géométrie et théorie des groupes. Les groupes hyperboliques de Gromov, Lecture Notes in Mathematics (in français), vol. 1441, Springer-Verlag, ISBN 3-540-52977-2
de la Harpe, Pierre; Ghys, Etienne (1990), Sur les groupes hyperboliques d'après Mikhael Gromov (in français), Birkhäuser
Gromov, Mikhael (1987), "Hyperbolic groups", in Gersten, S.M. (ed.), Essays in group theory, Springer, pp. 75–264
Roe, John (2003), Lectures on Coarse Geometry, University Lecture Series, vol. 31, American Mathematical Society, ISBN 978-0-8218-3332-2
Väisälä, Jussi (2005), "Gromov hyperbolic spaces", Expositiones Mathematicae, 23 (3): 187–231, doi:10.1016/j.exmath.2005.01.010, MR 2164775.

[1] Coornaert, Delzant & Papadopoulos 1990, pp. 2–3

[FOOTNOTEde_la_HarpeGhys1990Chapitre_2,_Proposition_21-2] Harpe & Ghys 1990, Chapitre 2, Proposition 21.

[FOOTNOTEBridsonHaefliger1999Chapter_III.H,_Proposition_1.22-3] Bridson & Haefliger 1999, Chapter III.H, Proposition 1.22.

[FOOTNOTECoornaertDelzantPapadopoulos19906–8-4] Coornaert, Delzant & Papadopoulos 1990, pp. 6–8.

[FOOTNOTEBridsonHaefliger1999Chapter_III.H,_Proposition_1.17-5] Bridson & Haefliger 1999, Chapter III.H, Proposition 1.17.

[6] Coornaert, Delzant & Papadopoulos 1990, pp. 11–12

[7] Coornaert, Delzant & Papadopoulos 1990, p. 1–2s

[FOOTNOTEde_la_HarpeGhys1990Chapitre_5,_Proposition_15-8] Harpe & Ghys 1990, Chapitre 5, Proposition 15.

[FOOTNOTEBowditch2006Chapter_6.4-9] Bowditch 2006, Chapter 6.4.

[FOOTNOTEBridsonHaefliger1999Chapter_III.H,_Proposition_1.25-10] Bridson & Haefliger 1999, Chapter III.H, Proposition 1.25.

[11] re general statement is given in Bridson & Haefliger (1999, Chapter III.H, Proposition 2.7)

[FOOTNOTEBridsonHaefliger1999Chapter_III.H,_Theorem_2.9-12] Bridson & Haefliger 1999, Chapter III.H, Theorem 2.9.

[13] Dyubina (Erschler), Anna; Polterovich, Iosif (2001). "सार्वभौमिक आर के स्पष्ट निर्माण-पेड़ और अतिशयोक्तिपूर्ण रिक्त स्थान की स्पर्शोन्मुख ज्यामिति". Bull. London Math. Soc. Vol. 33. pp. 727–734. MR 1853785.

[FOOTNOTEde_la_HarpeGhys1990Chapitre_7,_page_120-14] Harpe & Ghys 1990, Chapitre 7, page 120.

[FOOTNOTEde_la_HarpeGhys1990Chapitre_7,_section_2-15] Harpe & Ghys 1990, Chapitre 7, section 2.

[FOOTNOTEde_la_HarpeGhys1990Chapitre_7,_section_3-16] Harpe & Ghys 1990, Chapitre 7, section 3.

[FOOTNOTEde_la_HarpeGhys1990Chapitre_7,_Proposition_4-17] Harpe & Ghys 1990, Chapitre 7, Proposition 4.

[FOOTNOTEBridsonHaefliger1999428-18] Bridson & Haefliger 1999, p. 428.

[FOOTNOTEde_la_HarpeGhys1990Chapitre_8-19] Harpe & Ghys 1990, Chapitre 8.

[20] Masur, Howard A.; Minsky, Yair N. (1999). "वक्रों के परिसर की ज्यामिति। I. अतिशयोक्ति". Invent. Math. Vol. 138. pp. 103–149. doi:10.1007/s002220050343. MR 1714338.

[21] Dahmani, François; Guirardel, Vincent; Osin, Denis (2017). "अतिशयोक्तिपूर्ण रूप से एम्बेडेड उपसमूह और अतिशयोक्तिपूर्ण स्थानों पर अभिनय करने वाले समूहों में घूमने वाले परिवार". Memoirs of the American Mathematical Society. 245 (1156). arXiv:1111.7048. doi:10.1090/memo/1156.

[22] Bestvina, Mladen; Feighn, Mark (2014). "मुक्त कारकों के परिसर की अतिशयोक्ति". Advances in Mathematics. 256: 104–155. doi:10.1016/j.aim.2014.02.001. MR 3177291.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

@@ Line 1: / Line 1: @@
-गणित में, एक अतिशयोक्तिपूर्ण [[मीट्रिक स्थान]] एक मीट्रिक स्थान है जो बिंदुओं के बीच कुछ मीट्रिक संबंधों (मात्रात्मक रूप से एक गैर-नकारात्मक वास्तविक संख्या δ पर निर्भर करता है) को संतुष्ट करता है। [[मिखाइल लियोनिदोविच ग्रोमोव]] द्वारा पेश की गई परिभाषा, शास्त्रीय [[अतिशयोक्तिपूर्ण ज्यामिति]] और ट्री (ग्राफ सिद्धांत) के मीट्रिक गुणों का सामान्यीकरण करती है। अतिशयोक्ति एक बड़े पैमाने की संपत्ति है, और कुछ अनंत [[समूह (गणित)]] के अध्ययन के लिए बहुत उपयोगी है जिसे [[ग्रोमोव-हाइपरबोलिक समूह]] कहा जाता है।
+गणित में, अतिशयोक्तिपूर्ण [[मीट्रिक स्थान]] होता है जो बिंदुओं के बीच कुछ मीट्रिक संबंधों (मात्रात्मक रूप से गैर-ऋणात्मक वास्तविक संख्या δ पर निर्भर करता है) को संतुष्ट करता है। [[मिखाइल लियोनिदोविच ग्रोमोव]] द्वारा प्रस्तुत की गई परिभाषा, मौलिक [[अतिशयोक्तिपूर्ण ज्यामिति]] और ट्री (ग्राफ सिद्धांत) के मीट्रिक गुणों का सामान्यीकरण करती है। अतिशयोक्ति बड़े मापदंड की संपत्ति है, और कुछ अनंत [[समूह (गणित)]] के अध्ययन के लिए बहुत उपयोगी है जिसे [[ग्रोमोव-हाइपरबोलिक समूह|ग्रोमोव-अतिशयोक्तिपूर्ण समूह]] कहा जाता है।
-== परिभाषाएँ ==
+== परिभाषाएँ                                                                                                                                        ==
-इस अनुच्छेद में हम a की विभिन्न परिभाषाएँ देते हैं <math>\delta</math>-हाइपरबोलिक स्पेस। एक मीट्रिक स्थान को (ग्रोमोव-) अतिशयोक्तिपूर्ण कहा जाता है यदि यह है <math>\delta</math>-कुछ के लिए अतिशयोक्तिपूर्ण <math>\delta > 0</math>.
+इस अनुच्छेद में हम <math>\delta</math> -अतिशयोक्तिपूर्ण स्थान की विभिन्न परिभाषाएँ देते हैं। एक मीट्रिक स्थान को (ग्रोमोव-) अतिशयोक्तिपूर्ण कहा जाता है यदि यह कुछ <math>\delta > 0</math> के लिए <math>\delta</math> -अतिशयोक्तिपूर्ण है।
-=== ग्रोमोव उत्पाद === का उपयोग करके परिभाषा
+=== ग्रोमोव उत्पाद का उपयोग करके परिभाषा                                                                                     ===
-{{Main article | Gromov product}}
+{{Main article |ग्रोमोव उत्पाद}}
-होने देना <math>(X,d)</math> एक मीट्रिक स्थान बनें। दो बिंदुओं का ग्रोमोव उत्पाद <math>y, z \in X</math> किसी तीसरे के संबंध में <math>x \in X</math> सूत्र द्वारा परिभाषित किया गया है:
+होने देना <math>(X,d)</math> मीट्रिक स्थान बनें। दो बिंदुओं का ग्रोमोव उत्पाद <math>y, z \in X</math> किसी तीसरे के संबंध में <math>x \in X</math> सूत्र द्वारा परिभाषित किया गया है:
 :<math>(y,z)_x = \frac 1 2 \left( d(x, y) + d(x, z) - d(y, z) \right).</math>
-हाइपरबॉलिक मीट्रिक स्पेस की ग्रोमोव की परिभाषा इस प्रकार है: <math>X</math> है <math>\delta</math>-हाइपरबोलिक अगर और केवल अगर सभी <math>x,y,z,w \in X</math> चार सूत्री शर्त को पूरा करें
+अतिशयोक्तिपूर्ण मीट्रिक स्थान की ग्रोमोव की परिभाषा इस प्रकार है: <math>X</math> <math>\delta</math>-अतिशयोक्तिपूर्ण है यदि और केवल यदि सभी <math>x,y,z,w \in X</math> चार-बिंदु की स्थिति को संतुष्ट करते हैं
 :<math> (x,z)_w \ge \min \left( (x,y)_w, (y,z)_w \right) - \delta</math>
-ध्यान दें कि यदि यह स्थिति सभी के लिए संतुष्ट है <math>x,y,z \in X</math> और एक निश्चित आधार बिंदु <math>w_0</math>, तो यह सभी के लिए संतुष्ट है <math></math> एक स्थिरांक के साथ <math>2\delta</math>.<ref>{{harvnb|Coornaert|Delzant|Papadopoulos|1990|pages=2–3}}</ref> इस प्रकार अतिशयोक्ति की स्थिति को केवल एक निश्चित आधार बिंदु के लिए सत्यापित करने की आवश्यकता है; इस कारण से, आधार बिंदु के लिए सबस्क्रिप्ट को अक्सर ग्रोमोव उत्पाद से हटा दिया जाता है।
+ध्यान दें कि यदि यह स्थिति सभी <math>x,y,z \in X</math> और एक निश्चित आधार बिंदु <math>w_0</math>, के लिए संतुष्ट है तो यह स्थिर <math>2\delta</math> के साथ सभी <math></math>के लिए संतुष्ट है.<ref>{{harvnb|Coornaert|Delzant|Papadopoulos|1990|pages=2–3}}</ref> इस प्रकार अतिशयोक्ति की स्थिति को केवल निश्चित आधार बिंदु के लिए सत्यापित करने की आवश्यकता है; इस कारण से, आधार बिंदु के लिए उपलेख को अधिकांशतः ग्रोमोव उत्पाद से हटा दिया जाता है।
-=== त्रिकोणों का उपयोग करके परिभाषाएँ ===
+=== त्रिकोणों का उपयोग करके परिभाषाएँ                                                                                       ===
-{{see also|Ideal triangle|Hyperbolic triangle}}
+{{see also|आदर्श त्रिकोण|अतिशयोक्तिपूर्ण त्रिकोण}}
-बदलने तक <math>\delta</math> एक निरंतर गुणक द्वारा, एक समतुल्य ज्यामितीय परिभाषा होती है जिसमें मीट्रिक स्थान होने पर त्रिभुज शामिल होते हैं <math>X</math> जियोडेसिक है, यानी कोई दो बिंदु <math>x, y \in X</math> जियोडेसिक खंड के अंत बिंदु हैं <math>[x,y]</math> (कॉम्पैक्ट सबइंटरवल की एक आइसोमेट्रिक छवि <math>[a,b]</math> असली का)। {{sfn|de la Harpe|Ghys|1990|loc=Chapitre 2, Proposition 21}}{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 1.22}} {{sfn|Coornaert|Delzant|Papadopoulos|1990|pages=6–8}} ध्यान दें कि ग्रोमोव उत्पादों के माध्यम से परिभाषा के लिए अंतरिक्ष को जियोडेसिक होने की आवश्यकता नहीं है।
+<math>\delta</math> को एक स्थिर बहु द्वारा बदलने तक, एक समतुल्य ज्यामितीय परिभाषा होती है जिसमें त्रिकोण सम्मिलित होते हैं जब मीट्रिक स्थान <math>X</math> जियोडेसिक होता है, अर्थात कोई भी दो बिंदु <math>x, y \in X</math> एक जियोडेसिक सेगमेंट <math>[x,y]</math> के अंत बिंदु होते हैं (एक वास्तविक के एक कॉम्पैक्ट सबइंटरवल <math>[a,b]</math> की आइसोमेट्रिक छवि)।{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 2, Proposition 21}}{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 1.22}} {{sfn|Coornaert|Delzant|Papadopoulos|1990|pages=6–8}} ध्यान दें कि ग्रोमोव उत्पादों के माध्यम से परिभाषा के लिए अंतरिक्ष को जियोडेसिक होने की आवश्यकता नहीं है।
-होने देना <math>x, y, z \in X</math>. शीर्षों के साथ एक जियोडेसिक त्रिभुज <math>x,y,z</math> तीन जियोडेसिक सेगमेंट का मिलन है <math>[x,y], [y,z], [z,x]</math> (कहाँ <math>[p,q]</math> एंडपॉइंट्स के साथ एक सेगमेंट को दर्शाता है <math>p</math> और <math>q</math>).
+मान लीजिए <math>x, y, z \in X</math>. कोने <math>x,y,z</math> वाला एक भूगणितीय त्रिभुज तीन भूगणित खंडों का मिलन है <math>[x,y], [y,z], [z,x]</math> (जहां <math>[p,q]</math> समापन बिंदु <math>p</math> और <math>q</math> वाले सेगमेंट को दर्शाता है)।
-{{ Annotated image | caption=The δ-slim triangle condition
+{{Annotated image | caption=δ-पतली त्रिकोण स्थिति
-| image= Delta thin triangle condition.svg|
+| image= डेल्टा पतली त्रिकोण स्थिति.एसवीजी|
 | width=230
 | height = 155
@@ Line 38: / Line 38: @@
 }}
-अगर किसी बिंदु के लिए <math>m \in [x,y]</math> में एक बिंदु है <math>[y,z] \cup [z,x]</math> से कम दूरी पर <math>\delta</math> का <math>m</math>, और इसी तरह अन्य किनारों पर बिंदुओं के लिए, और <math>\delta \ge 0</math> तो त्रिकोण कहा जाता है<math>\delta</math>-छरहरा ।
+यदि किसी बिंदु <math>m \in [x,y]</math> के लिए <math>[y,z] \cup [z,x]</math> में <math>m</math> के <math>\delta</math> से कम दूरी पर एक बिंदु है, और इसी तरह बिंदुओं के लिए दूसरे किनारों पर, और <math>\delta \ge 0</math> तो त्रिकोण को <math>\delta</math> कहा जाता है।
-ए की परिभाषा <math>\delta</math>-हाइपरबॉलिक स्पेस तब एक जियोडेसिक मेट्रिक स्पेस होता है, जिसके सभी जियोडेसिक त्रिकोण होते हैं <math>\delta</math>-छरहरा। इस परिभाषा का श्रेय आमतौर पर [[ एलियाहू चीरता है ]] को दिया जाता है।
+<math>\delta</math> -अतिशयोक्तिपूर्ण स्थान की परिभाषा तब एक जियोडेसिक मेट्रिक स्थान है जिसके सभी जियोडेसिक त्रिकोण <math>\delta</math> -अतिशयोक्तिपूर्ण स्थान हैं, फिर एक जियोडेसिक मेट्रिक स्थान है जिसके सभी जियोडेसिक त्रिकोण हैं
-की धारणा का उपयोग करके एक और परिभाषा दी जा सकती है <math>C</math>- एक जियोडेसिक त्रिकोण का अनुमानित केंद्र: यह एक ऐसा बिंदु है जो सबसे अधिक दूरी पर है <math>C</math> त्रिभुज के किसी भी किनारे का (केंद्र का एक अनुमानित संस्करण)। एक स्थान है <math>\delta</math>-हाइपरबोलिक अगर हर जियोडेसिक त्रिकोण में एक है <math>\delta</math>-केंद्र।
+एक जियोडेसिक त्रिकोण के <math>C</math>-अनुमानित केंद्र की धारणा का उपयोग करके एक और परिभाषा दी जा सकती है: यह एक बिंदु है जो त्रिकोण के किसी भी किनारे के अधिकांश <math>C</math> (केंद्र का "अनुमानित" संस्करण) की दूरी पर है। एक स्थान <math>\delta</math> -अतिशयोक्तिपूर्ण है यदि प्रत्येक भूगर्भीय त्रिभुज में <math>\delta</math> -केंद्र है।
-ए की ये दो परिभाषाएँ <math>\delta</math>-हाइपरबॉलिक स्पेस जियोडेसिक त्रिकोण का उपयोग बिल्कुल समकक्ष नहीं है, लेकिन मौजूद है <math>k > 1</math> ऐसा कि ए <math>\delta</math>-हाइपरबोलिक स्पेस पहले अर्थ में है <math> k \cdot \delta</math>-हाइपरबोलिक दूसरे में, और इसके विपरीत।{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 1.17}} इस प्रकार अतिशयोक्तिपूर्ण स्थान की धारणा चुनी हुई परिभाषा से स्वतंत्र है।
+ए की ये दो परिभाषाएँ <math>\delta</math>-अतिशयोक्तिपूर्ण स्थान जियोडेसिक त्रिकोण का उपयोग बिल्कुल समकक्ष नहीं है, किन्तु उपस्थित है <math>k > 1</math> ऐसा कि ए <math>\delta</math>-अतिशयोक्तिपूर्ण स्थान पहले अर्थ में है <math> k \cdot \delta</math>-अतिशयोक्तिपूर्ण दूसरे में, और इसके विपरीत। इस प्रकार अतिशयोक्तिपूर्ण स्थान की धारणा चुनी हुई परिभाषा से स्वतंत्र है।
+<math>\delta</math> -अतिशयोक्तिपूर्ण स्थान की ये दो परिभाषाएँ जियोडेसिक त्रिकोण का उपयोग करते हुए बिल्कुल समान नहीं हैं, किन्तु वहाँ <math>k > 1</math> उपस्थित है जैसे कि <math>\delta</math> -अतिशयोक्तिपूर्ण स्थान पहले अर्थ में <math> k \cdot \delta</math>-अतिशयोक्तिपूर्ण है दूसरा, और इसके विपरीत{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 1.17}} इस प्रकार अतिशयोक्तिपूर्ण स्थान की धारणा चुनी हुई परिभाषा से स्वतंत्र है।
 === उदाहरण ===
-[[File:Inkreis mit Strecken.svg|right|250px]]अतिशयोक्तिपूर्ण तल अतिशयोक्तिपूर्ण है: वास्तव में एक भूगर्भीय त्रिभुज का अंतःवृत्त त्रिभुज में समाहित सबसे बड़े व्यास का चक्र है और प्रत्येक भूगर्भीय त्रिभुज एक आदर्श त्रिभुज के आंतरिक भाग में स्थित है, जो सभी व्यास 2 लॉग 3 के अंतःवृत्त के साथ सममितीय हैं।<ref>{{harvnb|Coornaert|Delzant|Papadopoulos|1990|pages=11–12}}</ref> ध्यान दें कि इस मामले में ग्रोमोव उत्पाद की एक भूगर्भीय त्रिभुज के अंतर्वृत्त के संदर्भ में एक सरल व्याख्या भी है। वास्तव में मात्रा {{math|(''A'',''B'')<sub>''C''</sub>}} केवल अतिशयोक्तिपूर्ण दूरी है {{math|''p''}} से {{math|''C''}} आसन्न पक्षों के साथ अंतर्वृत्त के संपर्क के बिंदुओं में से किसी एक के लिए: आरेख से {{math|1= ''c'' = (''a'' – ''p'') + (''b'' – ''p'')}}, ताकि
+[[File:Inkreis mit Strecken.svg|right|250px]]अतिशयोक्तिपूर्ण तल अतिशयोक्तिपूर्ण है: वास्तव में भूगर्भीय त्रिभुज का अंतःवृत्त त्रिभुज में समाहित सबसे बड़े व्यास का चक्र है और प्रत्येक भूगर्भीय त्रिभुज आदर्श त्रिभुज के आंतरिक भाग में स्थित है, जो सभी व्यास 2 लॉग 3 के अंतःवृत्त के साथ सममितीय हैं।<ref>{{harvnb|Coornaert|Delzant|Papadopoulos|1990|pages=11–12}}</ref> ध्यान दें कि इस स्थितियों में ग्रोमोव उत्पाद की भूगर्भीय त्रिभुज के अंतर्वृत्त के संदर्भ में सरल व्याख्या भी है। वास्तव में मात्रा {{math|(''A'',''B'')<sub>''C''</sub>}} केवल अतिशयोक्तिपूर्ण दूरी है {{math|''p''}} से {{math|''C''}} आसन्न पक्षों के साथ अंतर्वृत्त के संपर्क के बिंदुओं में से किसी के लिए: आरेख से {{math|1= ''c'' = (''a'' – ''p'') + (''b'' – ''p'')}}, जिससे
   {{math|1=''p'' = (''a'' + ''b'' – ''c'')/2 = (''A'',''B'')<sub>''C''</sub>}}.<ref>{{harvnb|Coornaert|Delzant|Papadopoulos|1990|page=1–2s}}</ref>
-[[यूक्लिडियन विमान]] अतिशयोक्तिपूर्ण नहीं है, उदाहरण के लिए [[होमोथेटिक परिवर्तन]] के अस्तित्व के कारण।
+[[यूक्लिडियन विमान|यूक्लिडियन]] स्थान अतिशयोक्तिपूर्ण नहीं है, उदाहरण के लिए [[होमोथेटिक परिवर्तन]] के अस्तित्व के कारण।
 अतिशयोक्तिपूर्ण रिक्त स्थान के दो विकृत उदाहरण परिबद्ध व्यास वाले स्थान हैं (उदाहरण के लिए परिमित या कॉम्पैक्ट स्थान) और वास्तविक रेखा।
-मेट्रिक ट्री (ग्राफ थ्योरी) और अधिक आम तौर पर वास्तविक पेड़ हाइपरबोलिक स्पेस के सबसे सरल दिलचस्प उदाहरण हैं क्योंकि वे 0-हाइपरबोलिक हैं (अर्थात सभी त्रिकोण तिपाई हैं)।
+मेट्रिक ट्री (ग्राफ थ्योरी) और अधिक सामान्यतः वास्तविक पेड़ अतिशयोक्तिपूर्ण स्थान के सबसे सरल रोचक उदाहरण हैं क्योंकि वे 0-अतिशयोक्तिपूर्ण हैं (अर्थात सभी त्रिकोण तिपाई हैं)।
-यूक्लिडियन समबाहु त्रिभुजों द्वारा त्रिभुज का 1-कंकाल अतिशयोक्तिपूर्ण नहीं है (यह वास्तव में यूक्लिडियन तल के लिए अर्ध-सममितीय है)। विमान का एक त्रिभुज <math>\mathbb R^2</math> एक अतिशयोक्तिपूर्ण 1-कंकाल है यदि प्रत्येक शीर्ष की डिग्री 7 या अधिक है।
+यूक्लिडियन समबाहु त्रिभुजों द्वारा त्रिभुज का 1-कंकाल अतिशयोक्तिपूर्ण नहीं है (यह वास्तव में यूक्लिडियन तल के लिए अर्ध-सममितीय है)। स्थान का त्रिभुज <math>\mathbb R^2</math> अतिशयोक्तिपूर्ण 1-कंकाल है यदि प्रत्येक शीर्ष की डिग्री 7 या अधिक है।
-द्वि-आयामी ग्रिड अतिशयोक्तिपूर्ण नहीं है (यह यूक्लिडियन विमान के लिए अर्ध-सममितीय है)। यह [[ टोरस्र्स ]] के [[मौलिक समूह]] का [[केली ग्राफ]] है; उच्च जीनस की सतह के मौलिक समूहों के केली ग्राफ अतिशयोक्तिपूर्ण हैं (यह वास्तव में अतिशयोक्तिपूर्ण तल के लिए अर्ध-सममितीय है)।
+द्वि-आयामी ग्रिड अतिशयोक्तिपूर्ण नहीं है (यह यूक्लिडियन स्थान के लिए अर्ध-सममितीय है)। यह [[ टोरस्र्स |टोरस्र्स]] के [[मौलिक समूह]] का [[केली ग्राफ]] है; उच्च जीनस की सतह के मौलिक समूहों के केली ग्राफ अतिशयोक्तिपूर्ण हैं (यह वास्तव में अतिशयोक्तिपूर्ण तल के लिए अर्ध-सममितीय है)।
 === अतिशयोक्ति और वक्रता ===
-अतिशयोक्तिपूर्ण विमान (और अधिक आम तौर पर [[अनुभागीय वक्रता]] के किसी भी [[हैडमार्ड कई गुना]] <math>\le -1</math>) है <math>2</math>-अतिपरवलिक। यदि हम रिमेंनियन मीट्रिक को एक कारक द्वारा स्केल करते हैं <math>\lambda > 0</math> फिर दूरियों को गुणा किया जाता है <math>\lambda</math> और इस प्रकार हमें एक स्थान मिलता है जो है <math>\lambda\cdot\delta</math>-अतिपरवलिक। चूँकि वक्रता को गुणा किया जाता है <math>\lambda^{-1}</math> हम देखते हैं कि इस उदाहरण में स्थान जितना अधिक (नकारात्मक रूप से) वक्रित होता है, अतिशयोक्ति स्थिरांक उतना ही कम होता है।
+अतिशयोक्तिपूर्ण स्थान (और अधिक सामान्यतः [[अनुभागीय वक्रता]] <math>\le -1</math> के किसी भी [[हैडमार्ड कई गुना]] ) <math>2</math>-अतिपरवलिक है यदि हम एक कारक <math>\lambda > 0</math> द्वारा रिमेंनियन मीट्रिक को मापते हैं तो दूरियों को <math>\lambda</math> से गुणा किया जाता है और इस प्रकार हमें एक स्थान मिलता है जो <math>\lambda\cdot\delta</math>-अतिपरवलिक है। चूँकि वक्रता को <math>\lambda^{-1}</math> से गुणा किया जाता है, हम देखते हैं कि इस उदाहरण में स्थान जितना अधिक (ऋणात्मक रूप से) वक्रित होता है, अतिपरवलयिकता स्थिरांक उतना ही कम होता है।
-इसी प्रकार के उदाहरण ऋणात्मक वक्रता के CAT स्थान हैं। वक्रता और अतिशयोक्ति के संबंध में यह ध्यान दिया जाना चाहिए कि हालांकि वक्रता एक संपत्ति है जो अनिवार्य रूप से स्थानीय है, अतिशयोक्ति एक बड़े पैमाने की संपत्ति है जो स्थानीय (अर्थात एक बंधे हुए क्षेत्र में हो रही) मीट्रिक घटना को नहीं देखती है। उदाहरण के लिए, हाइपरबोलिक स्पेस का कॉम्पेक्ट स्पेस के साथ किसी भी मेट्रिक के साथ मूल का विस्तार हाइपरबोलिक रहता है।
-== महत्वपूर्ण गुण ==
+इसी प्रकार के उदाहरण ऋणात्मक वक्रता के सीएटी स्थान हैं। वक्रता और अतिशयोक्ति के संबंध में यह ध्यान दिया जाना चाहिए कि चूंकि वक्रता संपत्ति है जो अनिवार्य रूप से स्थानीय है, अतिशयोक्ति बड़े मापदंड की संपत्ति है जो स्थानीय (अर्थात बंधे हुए क्षेत्र में हो रही) मीट्रिक घटना को नहीं देखती है। उदाहरण के लिए, अतिशयोक्तिपूर्ण स्थान का कॉम्पेक्ट स्थान के साथ किसी भी मेट्रिक के साथ मूल का विस्तार अतिशयोक्तिपूर्ण रहता है।
-=== [[अर्ध isometry]] === के तहत इनवेरियन
+== महत्वपूर्ण गुण                                          ==
-बड़े पैमाने के अर्थ को सटीक करने का एक तरीका अर्ध-आइसोमेट्री के तहत अपरिवर्तनीयता की आवश्यकता है। यह अतिशयोक्ति का सच है।
+==== [[अर्ध isometry|अर्ध आइसोमेट्री]] के अनुसार इनवेरियन ====
+बड़े मापदंड के अर्थ को स्पष्ट करने का विधि अर्ध-आइसोमेट्री के अनुसार अपरिवर्तनीयता की आवश्यकता है। यह अतिशयोक्ति का सच है।
-: यदि एक जियोडेसिक मीट्रिक स्थान <math>Y</math> a के लिए अर्ध-सममितीय है <math>\delta</math>-हाइपरबोलिक स्पेस <math>X</math> तो वहाँ मौजूद है <math>\delta'</math> ऐसा है कि <math>Y</math> है <math>\delta'</math>-अतिपरवलिक।
+: यदि जियोडेसिक मीट्रिक स्थान <math>Y</math> a के लिए अर्ध-सममितीय है <math>\delta</math>-अतिशयोक्तिपूर्ण स्थान <math>X</math> तो वहाँ उपस्थित है <math>\delta'</math> ऐसा है कि <math>Y</math> है <math>\delta'</math>-अतिपरवलिक।
 अटल <math>\delta'</math> पर निर्भर करता है <math>\delta</math> और क्वैसी-आइसोमेट्री के लिए गुणक और योज्य स्थिरांक पर।{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 5, Proposition 15}}
-=== हाइपरबॉलिक रिक्त स्थान में अनुमानित पेड़ ===
+=== अतिशयोक्तिपूर्ण रिक्त स्थान में अनुमानित पेड़ ===
-ग्रोमोव उत्पाद के संदर्भ में एक अतिशयोक्तिपूर्ण स्थान की परिभाषा को यह कहते हुए देखा जा सकता है कि किसी भी चार बिंदुओं के बीच मीट्रिक संबंध समान हैं जैसे वे एक पेड़ में होंगे, योगात्मक स्थिरांक तक <math>\delta</math>. आम तौर पर निम्नलिखित संपत्ति से पता चलता है कि अतिशयोक्तिपूर्ण स्थान का कोई परिमित उपसमुच्चय एक परिमित वृक्ष की तरह दिखता है।
+ग्रोमोव उत्पाद के संदर्भ में अतिशयोक्तिपूर्ण स्थान की परिभाषा को यह कहते हुए देखा जा सकता है कि किसी भी चार बिंदुओं के बीच मीट्रिक संबंध समान हैं जैसे वे पेड़ में होंगे, योगात्मक स्थिरांक तक <math>\delta</math>. सामान्यतः निम्नलिखित संपत्ति से पता चलता है कि अतिशयोक्तिपूर्ण स्थान का कोई परिमित उपसमुच्चय परिमित वृक्ष की तरह दिखता है।
-:किसी के लिए <math>n, \delta</math> एक स्थिर है <math>C</math> ऐसा है कि निम्नलिखित धारण करता है: यदि <math>x_1, \ldots, x_n</math> ए में बिंदु हैं <math>\delta</math>-हाइपरबोलिक स्पेस <math>X</math> एक परिमित वृक्ष है <math>T</math> और एक एम्बेडिंग <math>f : T \to X</math> ऐसा है कि <math>x_i \in f(T)</math> सभी के लिए <math>i = 1, \ldots, n</math> और
+:किसी भी <math>n, \delta</math> के लिए एक स्थिरांक <math>C</math> होता है जैसे कि निम्नलिखित धारण करता है: यदि <math>x_1, \ldots, x_n</math> <math>\delta</math>-हाइपरबोलिक स्थान <math>X</math> में बिंदु हैं तो एक परिमित वृक्ष <math>T</math> है और एक एम्बेडिंग <math>f : T \to X</math> जैसे कि <math>x_i \in f(T)</math> सभी के लिए <math>i = 1, \ldots, n</math> और
 ::<math>\forall i, j : d(f^{-1}(x_i), f^{-1}(x_j)) \le d(x_i, x_j) \le d(f^{-1}(x_i), f^{-1}(x_j)) + C </math>
-अटल <math>C</math> होने के लिए लिया जा सकता है <math>\delta \cdot h(n)</math> साथ <math>h(n) = O(\log n)</math> और यह इष्टतम है।{{sfn|Bowditch|2006|loc=Chapter 6.4}}
+::
+::निरंतर <math>C</math> को <math>\delta \cdot h(n)</math><math>h(n) = O(\log n)</math>} के साथ लिया जा सकता है और यह इष्टतम है।{{sfn|Bowditch|2006|loc=Chapter 6.4}}
-=== दूरी और समपरिमितीय असमानताओं की घातीय वृद्धि ===
+=== दूरी और समपरिमितीय असमानताओं की घातीय वृद्धि                                                                            ===
-एक अतिशयोक्तिपूर्ण स्थान में <math>X</math> हमारे पास निम्नलिखित संपत्ति है:{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 1.25}}
+अतिशयोक्तिपूर्ण स्थान में <math>X</math> हमारे पास निम्नलिखित संपत्ति है:{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 1.25}}
-:वहाँ हैं <math>\mu, K > 0</math> ऐसा कि सभी के लिए <math>p, x, y \in X</math> साथ <math>d(p, x) = d(p, y) =: r</math>, हर रास्ता <math>\alpha</math> में शामिल होने <math>x</math> को <math>y</math> और कम से कम दूरी बनाकर रहें <math>r</math> का <math>p</math> लंबाई कम से कम है <math>e^{\mu \cdot d(x,y)} - K</math>.
+:<math>\mu, K > 0</math> ऐसे हैं कि सभी <math>p, x, y \in X</math> के साथ <math>d(p, x) = d(p, y) =: r</math>, हर पथ <math>\alpha</math> <math>x</math> से <math>y</math> को मिलाने और <math>p</math> की कम से कम <math>r</math> दूरी पर रहने की लंबाई कम से कम <math>e^{\mu \cdot d(x,y)} - K</math> है ।
-अनौपचारिक रूप से इसका अर्थ है कि त्रिज्या के एक वृत्त की परिधि <math>r</math> के साथ चरघातांकी रूप से बढ़ता है <math>r</math>. यह आइसोपेरिमेट्रिक असमानता # विमान में आइसोपेरिमेट्रिक समस्या की याद दिलाता है। यहाँ इस आशय का एक अधिक विशिष्ट कथन है।<ref>a more general statement is given in {{harvtxt|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 2.7}}</ref>
+अनौपचारिक रूप से इसका अर्थ है कि त्रिज्या के वृत्त की परिधि <math>r</math> के साथ चरघातांकी रूप से बढ़ता है <math>r</math> यह आइसोपेरिमेट्रिक असमानता स्थान में आइसोपेरिमेट्रिक समस्या की याद दिलाता है। यहाँ इस आशय का अधिक विशिष्ट कथन है।<ref>a more general statement is given in {{harvtxt|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 2.7}}</ref>
-:लगता है कि <math>X</math> आयाम 2 का एक [[ कोशिका परिसर ]] है जैसे कि इसका 1-कंकाल अतिशयोक्तिपूर्ण है, और मौजूद है <math>C</math> जैसे कि किसी भी 2-सेल की सीमा में अधिक से अधिक हो <math>C</math> 1-कोशिकाएँ। तब एक स्थिरांक होता है <math>\lambda > 0</math> ऐसा कि किसी परिमित उपसमुच्चय के लिए <math>Y \subset X</math> अपने पास
+:मान लीजिए कि <math>X</math>आयाम 2 का एक [[ कोशिका परिसर |कोशिका परिसर]] है, जैसे कि इसका 1-कंकाल अतिशयोक्तिपूर्ण है, और वहाँ <math>C</math> उपस्थित है जैसे कि किसी भी 2-कोशिका की सीमा में अधिकतम <math>C</math> 1-कोशिकाएँ होती हैं। फिर एक स्थिर <math>\lambda > 0</math> ऐसा है कि किसी भी परिमित उपसमुच्चय <math>Y \subset X</math> के लिए हमारे पास है
 :: <math> \operatorname{area}(Y) \le  \lambda \cdot \operatorname{length(\partial Y)} </math>
-यहां 2-कॉम्प्लेक्स का क्षेत्रफल 2-कोशिकाओं की संख्या है और 1-कॉम्प्लेक्स की लंबाई 1-कोशिकाओं की संख्या है। उपरोक्त कथन एक रेखीय समपरिमितीय असमानता है; यह पता चला है कि ऐसी [[आइसोपेरिमेट्रिक असमानता]] ग्रोमोव-हाइपरबॉलिक रिक्त स्थान की विशेषता है।{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Theorem 2.9}} रेखीय समपरिमितीय असमानताएं संयोजी समूह सिद्धांत से लघु निरस्तीकरण सिद्धांत की स्थितियों से प्रेरित थीं।
+यहां 2-कॉम्प्लेक्स का क्षेत्रफल 2-कोशिकाओं की संख्या है और 1-कॉम्प्लेक्स की लंबाई 1-कोशिकाओं की संख्या है। उपरोक्त कथन रेखीय समपरिमितीय असमानता है; यह पता चला है कि ऐसी [[आइसोपेरिमेट्रिक असमानता]] ग्रोमोव-अतिशयोक्तिपूर्ण रिक्त स्थान की विशेषता है।{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Theorem 2.9}} रेखीय समपरिमितीय असमानताएं संयोजी समूह सिद्धांत से लघु निरस्तीकरण सिद्धांत की स्थितियों से प्रेरित थीं।
 === क्वासिकोनवेक्स सबस्पेस ===
-एक उपस्थान <math>Y</math> एक जियोडेसिक मीट्रिक स्थान का <math>X</math> यदि स्थिरांक हो तो अर्धउत्तल कहा जाता है <math>C</math> ऐसा है कि किसी भी जियोडेसिक में <math>x</math> के दो बिंदुओं के बीच <math>Y</math> दूरी में रहता है <math>C</math> का <math>Y</math>.
+जियोडेसिक मेट्रिक स्थान <math>X</math> के एक सबस्पेस <math>Y</math> को क्वासिकोनवेक्स कहा जाता है यदि कोई स्थिर <math>C</math> ऐसा है कि <math>Y</math> के दो बिंदुओं के बीच <math>x</math> में कोई भी जियोडेसिक 0 की दूरी <math>C</math> के अंदर रहता है।
-: एक अतिपरवलयिक स्थान का अर्ध-उत्तल उपस्थान अतिशयोक्तिपूर्ण है।
+: अतिपरवलयिक स्थान का अर्ध-उत्तल उपस्थान अतिशयोक्तिपूर्ण है।
 === स्पर्शोन्मुख शंकु ===
-अतिपरवलयिक स्थान के सभी अल्ट्रालिमिट#असिम्प्टोटिक शंकु वास्तविक वृक्ष हैं। यह संपत्ति अतिशयोक्तिपूर्ण रिक्त स्थान की विशेषता है।<ref>{{cite news | last1 = Dyubina (Erschler) | first1=Anna | last2=Polterovich | first2=Iosif | title=सार्वभौमिक '''आर''' के स्पष्ट निर्माण-पेड़ और अतिशयोक्तिपूर्ण रिक्त स्थान की स्पर्शोन्मुख ज्यामिति| journal=Bull. London Math. Soc. | volume=33 | year=2001| pages=727–734 | mr=1853785 }}</ref>
+अतिपरवलयिक स्थान के सभी अल्ट्रालिमिटअसिम्प्टोटिक शंकु वास्तविक वृक्ष हैं। यह संपत्ति अतिशयोक्तिपूर्ण रिक्त स्थान की विशेषता है।<ref>{{cite news | last1 = Dyubina (Erschler) | first1=Anna | last2=Polterovich | first2=Iosif | title=सार्वभौमिक '''आर''' के स्पष्ट निर्माण-पेड़ और अतिशयोक्तिपूर्ण रिक्त स्थान की स्पर्शोन्मुख ज्यामिति| journal=Bull. London Math. Soc. | volume=33 | year=2001| pages=727–734 | mr=1853785 }}</ref>
-== एक अतिशयोक्तिपूर्ण स्थान की सीमा ==
+== अतिशयोक्तिपूर्ण स्थान की सीमा ==
-एक साधारण पेड़ के [[अंत (ग्राफ सिद्धांत)]] के निर्माण को सामान्यीकृत करना अतिपरवलयिक रिक्त स्थान के लिए अनंत पर सीमा की एक प्राकृतिक धारणा है, जो समूह क्रियाओं का विश्लेषण करने के लिए बहुत उपयोगी साबित हुई है।
+साधारण पेड़ के [[अंत (ग्राफ सिद्धांत)]] के निर्माण को सामान्यीकृत करना अतिपरवलयिक रिक्त स्थान के लिए अनंत पर सीमा की प्राकृतिक धारणा है, जो समूह क्रियाओं का विश्लेषण करने के लिए बहुत उपयोगी सिद्ध हुई है।
-इस पैराग्राफ में <math>X</math> एक जियोडेसिक मीट्रिक स्पेस है जो हाइपरबोलिक है।
+इस पैराग्राफ में <math>X</math> जियोडेसिक मीट्रिक स्थान है जो अतिशयोक्तिपूर्ण है।
-=== ग्रोमोव उत्पाद === का उपयोग करके परिभाषा
+==== ग्रोमोव उत्पाद का उपयोग करके परिभाषा ====
+एक अनुक्रम <math>(x_n) \in X^{\mathbb N}</math> को अनंत तक अभिसरण कहा जाता है यदि कुछ (या किसी भी) बिंदु <math>p</math> के लिए हमारे पास<math>(x_n, x_m)_p \rightarrow \infty</math> क्योंकि <math>n</math> और <math>m</math> दोनों अनंत तक जाते हैं। दो अनुक्रमों <math>(x_n), (y_n)</math> अनंत तक अभिसरण को समतुल्य माना जाता है जब <math>\lim_{n\to +\infty}(x_n, y_n)_p = +\infty</math> (कुछ या किसी <math>p</math> के लिए) <math>X</math> की सीमा अनुक्रमों के तुल्यता वर्गों का समूह है जो अनंत तक अभिसरित होते हैं{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 7, page 120}}, जिसे <math>\partial X</math> के रूप में दर्शाया गया है।
-एक क्रम <math>(x_n) \in X^{\mathbb N}</math> कुछ (या किसी भी) बिंदु के लिए अनंत तक अभिसरण करने के लिए कहा जाता है <math>p</math> हमारे पास वह है <math>(x_n, x_m)_p \rightarrow \infty</math> जैसे कि दोनों <math>n</math> और <math>m</math> अनंत तक जाओ। दो क्रम <math>(x_n), (y_n)</math> अनंत में अभिसरण को समतुल्य माना जाता है जब <math>\lim_{n\to +\infty}(x_n, y_n)_p = +\infty</math> (कुछ या किसी के लिए <math>p</math>). की सीमा <math>X</math> अनुक्रमों के तुल्यता वर्गों का समुच्चय है जो अनंत तक अभिसरित होते हैं,{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 7, page 120}} जिसे दर्शाया गया है <math>\partial X</math>.
+यदि <math>\xi, \eta</math> सीमा पर दो बिंदु हैं तो उनके ग्रोमोव उत्पाद को परिभाषित किया गया है:
-अगर <math>\xi, \eta</math> सीमा पर दो बिंदु हैं तो उनके ग्रोमोव उत्पाद को परिभाषित किया गया है:
 :<math> (\xi, \eta)_p = \sup_{(x_n)=\xi, (y_n)=\eta} \left( \liminf_{n, m\to +\infty} (x_n, y_m)_p \right)</math>
-जो परिमित iff है <math>\xi \neq \eta</math>. इसके बाद एक टोपोलॉजी को परिभाषित किया जा सकता है <math>\partial X</math> कार्यों का उपयोग करना <math>(\cdot, \xi)</math>.{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 7, section 2}} यह टोपोलॉजी चालू है <math>\partial X</math> मेट्रिसेबल है और ग्रोमोव उत्पाद का उपयोग करके परिभाषित मेट्रिक्स का एक विशिष्ट परिवार है।{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 7, section 3}}
+जो परिमित iff है <math>\xi \neq \eta</math>. इसके बाद टोपोलॉजी को परिभाषित किया जा सकता है <math>\partial X</math> कार्यों का उपयोग करना <math>(\cdot, \xi)</math>.{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 7, section 2}} यह टोपोलॉजी चालू है <math>\partial X</math> मेट्रिसेबल है और ग्रोमोव उत्पाद का उपयोग करके परिभाषित मेट्रिक्स का विशिष्ट परिवार है।{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 7, section 3}}
 === किरणों का उपयोग कर उचित रिक्त स्थान के लिए परिभाषा ===
-होने देना <math>\alpha, \beta</math> दो क्वैसी-आइसोमेट्री|क्वासी-आइसोमेट्रिक एंबेडिंग हो <math>[0, +\infty[</math> में <math>X</math> (अर्ध-जियोडेसिक किरणें)। यदि और केवल कार्य करते हैं तो उन्हें समतुल्य माना जाता है <math>t \mapsto d(\alpha(t), \beta(t))</math> पर आबद्ध है <math>[0, +\infty[</math>. यदि अंतरिक्ष <math>X</math> उचित है तो इस तरह के सभी एम्बेडिंग मॉडुलो समतुल्यता का सेट अपनी प्राकृतिक टोपोलॉजी के साथ होमियोमॉर्फिक है <math>\partial X</math> जैसा कि ऊपर परिभाषित किया गया है।{{sfn |de la Harpe|Ghys|1990|loc=Chapitre 7, Proposition 4}}
+होने देना <math>\alpha, \beta</math> दो क्वैसी-आइसोमेट्री|क्वासी-आइसोमेट्रिक एंबेडिंग हो <math>[0, +\infty[</math> में <math>X</math> (अर्ध-जियोडेसिक किरणें)। यदि और केवल कार्य करते हैं तो उन्हें समतुल्य माना जाता है <math>t \mapsto d(\alpha(t), \beta(t))</math> पर आबद्ध है <math>[0, +\infty[</math>. यदि अंतरिक्ष <math>X</math> उचित है तो इस तरह के सभी एम्बेडिंग मॉडुलो समतुल्यता का समुच्चय अपनी प्राकृतिक टोपोलॉजी के साथ होमियोमॉर्फिक है <math>\partial X</math> जैसा कि ऊपर परिभाषित किया गया है।{{sfn |de la Harpe|Ghys|1990|loc=Chapitre 7, Proposition 4}}
-एक समान अहसास एक आधार बिंदु को ठीक करना है और केवल इस बिंदु से उत्पन्न होने वाली अर्ध-जियोडेसिक किरणों पर विचार करना है। यदि <math>X</math> जियोडेसिक है और उचित भी वास्तविक जियोडेसिक किरणों तक सीमित हो सकता है।
+समान अहसास आधार बिंदु को ठीक करना है और केवल इस बिंदु से उत्पन्न होने वाली अर्ध-जियोडेसिक किरणों पर विचार करना है। यदि <math>X</math> जियोडेसिक है और उचित भी वास्तविक जियोडेसिक किरणों तक सीमित हो सकता है।
 === उदाहरण ===
-कब <math>X = T</math> एक साधारण नियमित पेड़ है सीमा सिर्फ सिरों का स्थान है, जो एक कैंटर सेट है। एक बिंदु फिक्सिंग <math>x \in T</math> पर प्राकृतिक दूरी पैदा करता है <math>\partial T</math>: किरणों द्वारा दर्शाए गए दो बिंदु <math>\alpha, \beta</math> पर शुरू हो रहा है <math>x</math> दूरी पर हैं <math>\exp(-\operatorname{Length}(\alpha \cap \beta))</math>.
+जब <math>X = T</math> एक साधारण नियमित पेड़ होता है तो सीमा केवल सिरों का स्थान होता है, जो एक कैंटर समूह है। एक बिंदु<math>x \in T</math> को ठीक करने से <math>\partial T</math> पर एक प्राकृतिक दूरी मिलती है, <math>\alpha, \beta</math> पर एक प्राकृतिक दूरी मिलती है, <math>x</math> पर एक प्राकृतिक दूरी <math>\exp(-\operatorname{Length}(\alpha \cap \beta))</math> होती है।
-कब <math>X</math> यूनिट डिस्क है, यानी हाइपरबोलिक प्लेन के लिए पॉइंकेयर डिस्क मॉडल, डिस्क पर हाइपरबोलिक मेट्रिक है
+जब <math>X</math> इकाई डिस्क है, अर्थात अतिशयोक्तिपूर्ण समतल के लिए पॉइंकेयर डिस्क मॉडल, डिस्क पर अतिशयोक्तिपूर्ण मेट्रिक है
 :<math> ds^2 = {4|dz|^2\over (1-|z|^2)^2}</math>
-और ग्रोमोव सीमा को यूनिट सर्कल से पहचाना जा सकता है।
+और ग्रोमोव सीमा को इकाई सर्कल से पहचाना जा सकता है।
-की सीमा <math>n</math>-डायमेंशनल हाइपरबोलिक स्पेस होमियोमॉर्फिक है <math>n-1</math>-आयामी क्षेत्र और मेट्रिक्स उपरोक्त के समान हैं।
+की सीमा <math>n</math>-आयाम अतिशयोक्तिपूर्ण स्थान होमियोमॉर्फिक है <math>n-1</math>-आयामी क्षेत्र और मेट्रिक्स उपरोक्त के समान हैं।
 === बुसेमैन फ़ंक्शन ===
-अगर <math>X</math> उचित है तो इसकी सीमा बुसेमैन कार्यों के स्थान के लिए होमियोमॉर्फिक है <math>X</math> मॉड्यूलो अनुवाद।{{sfn|Bridson|Haefliger|1999|p=428}}
+यदि <math>X</math> उचित है तो इसकी सीमा बुसेमैन कार्यों के स्थान के लिए होमियोमॉर्फिक है <math>X</math> मॉड्यूलो अनुवाद।{{sfn|Bridson|Haefliger|1999|p=428}}
 === सीमा पर आइसोमेट्री की क्रिया और उनका वर्गीकरण ===
-दो अतिशयोक्तिपूर्ण स्थानों के बीच अर्ध-सममिति <math>X, Y</math> सीमाओं के बीच एक होमियोमोर्फिज्म को प्रेरित करता है।
+दो अतिशयोक्तिपूर्ण स्थानों के बीच अर्ध-सममिति <math>X, Y</math> सीमाओं के बीच होमियोमोर्फिज्म को प्रेरित करता है।
-विशेष रूप से आइसोमेट्री का समूह <math>X</math> होमोमोर्फिज्म द्वारा कार्य करता है <math>\partial X</math>. इस क्रिया का उपयोग किया जा सकता है{{sfn |de la Harpe| Ghys |1990|loc=Chapitre 8}} सीमा पर उनके गतिशील व्यवहार के अनुसार आइसोमेट्री को वर्गीकृत करने के लिए, पेड़ों और शास्त्रीय अतिशयोक्तिपूर्ण स्थानों के लिए सामान्यीकरण करना। होने देना <math>g</math> की एक आइसोमेट्री हो <math>X</math>, तब निम्न में से कोई एक स्थिति उत्पन्न होती है:
+विशेष रूप से आइसोमेट्री का समूह <math>X</math> होमोमोर्फिज्म द्वारा कार्य करता है <math>\partial X</math>. इस क्रिया का उपयोग किया जा सकता है{{sfn |de la Harpe| Ghys |1990|loc=Chapitre 8}} सीमा पर उनके गतिशील व्यवहार के अनुसार आइसोमेट्री को वर्गीकृत करने के लिए, पेड़ों और मौलिक अतिशयोक्तिपूर्ण स्थानों के लिए सामान्यीकरण करना। होने देना <math>g</math> की आइसोमेट्री हो <math>X</math>, तब निम्न में से कोई स्थिति उत्पन्न होती है:
-*पहला मामला: <math>g</math> पर परिबद्ध कक्षा है <math>X</math> (यदि <math>X</math> उचित है इसका तात्पर्य है <math>g</math> में एक निश्चित बिंदु है <math>X</math>). तब इसे अण्डाकार आइसोमेट्री कहा जाता है।
+*पहला मामला: <math>g</math> पर परिबद्ध कक्षा है <math>X</math> (यदि <math>X</math> उचित है इसका तात्पर्य है <math>g</math> में निश्चित बिंदु है <math>X</math>). तब इसे अण्डाकार आइसोमेट्री कहा जाता है।
-*दूसरा मामला: <math>g</math> ठीक दो निश्चित बिंदु हैं <math>\xi_+, \xi_-</math> पर <math>\partial X</math> और हर सकारात्मक कक्षा <math>\{g^n\xi : n \ge 0\}, \xi \not= \xi_-</math> पर ही जमा होता है <math>\xi_+</math>. तब <math>g</math> हाइपरबोलिक आइसोमेट्री कहा जाता है।
+*दूसरा मामला: <math>g</math> ठीक दो निश्चित बिंदु हैं <math>\xi_+, \xi_-</math> पर <math>\partial X</math> और हर सकारात्मक कक्षा <math>\{g^n\xi : n \ge 0\}, \xi \not= \xi_-</math> पर ही जमा होता है <math>\xi_+</math>. तब <math>g</math> अतिशयोक्तिपूर्ण आइसोमेट्री कहा जाता है।
-*तीसरा मामला: <math>g</math> सीमा पर ठीक एक निश्चित बिंदु है और इस बिंदु पर सभी कक्षाएँ जमा होती हैं। तब इसे परवलयिक आइसोमेट्री कहा जाता है।
+*तीसरा मामला: <math>g</math> सीमा पर ठीक निश्चित बिंदु है और इस बिंदु पर सभी कक्षाएँ जमा होती हैं। तब इसे परवलयिक आइसोमेट्री कहा जाता है।
 == अधिक उदाहरण ==
-[[अतिशयोक्तिपूर्ण समूह]]ों के सिद्धांत के सबसेट का उपयोग अतिपरवलयिक रिक्त स्थान के अधिक उदाहरण देने के लिए किया जा सकता है, उदाहरण के लिए लघु रद्दीकरण सिद्धांत के केली ग्राफ। यह भी ज्ञात है कि [[यादृच्छिक समूह]]ों के कुछ मॉडलों के केली ग्राफ़ (जो वास्तव में यादृच्छिक रूप से उत्पन्न अनंत नियमित ग्राफ़ हैं) अक्सर अतिशयोक्तिपूर्ण होते हैं।
+[[अतिशयोक्तिपूर्ण समूह|अतिशयोक्तिपूर्ण समूहों]] के सिद्धांत के सबसेट का उपयोग अतिपरवलयिक रिक्त स्थान के अधिक उदाहरण देने के लिए किया जा सकता है, उदाहरण के लिए लघु रद्दीकरण सिद्धांत के केली ग्राफ। यह भी ज्ञात है कि [[यादृच्छिक समूह|यादृच्छिक]] समूहों के कुछ मॉडलों के केली ग्राफ़ (जो वास्तव में यादृच्छिक रूप से उत्पन्न अनंत नियमित ग्राफ़ हैं) अधिकांशतः अतिशयोक्तिपूर्ण होते हैं।
-यह साबित करना मुश्किल और दिलचस्प हो सकता है कि कुछ स्थान अतिशयोक्तिपूर्ण हैं। उदाहरण के लिए, निम्नलिखित अतिशयोक्तिपूर्ण परिणामों ने उन पर कार्य करने वाले समूहों के लिए नई घटनाओं की खोज की है।
+यह सिद्ध करना कठिनाई और रोचक हो सकता है कि कुछ स्थान अतिशयोक्तिपूर्ण हैं। उदाहरण के लिए, निम्नलिखित अतिशयोक्तिपूर्ण परिणामों ने उन पर कार्य करने वाले समूहों के लिए नई घटनाओं की खोज की है।
 * [[वक्र परिसर]] की अतिशयोक्ति<ref>{{cite news| last1=Masur | first1=Howard A. | last2=Minsky | first2=Yair N. | title=वक्रों के परिसर की ज्यामिति। I. अतिशयोक्ति| journal=[[Inventiones Mathematicae|Invent. Math.]] | volume=138 | year=1999 | pages=103–149| mr=1714338 | doi=10.1007/s002220050343 }}</ref> मैपिंग वर्ग समूह पर नए परिणाम दिए हैं।<ref>{{cite journal | last1=Dahmani|first1=François|last2=Guirardel|first2=Vincent|last3=Osin|first3=Denis|title=अतिशयोक्तिपूर्ण रूप से एम्बेडेड उपसमूह और अतिशयोक्तिपूर्ण स्थानों पर अभिनय करने वाले समूहों में घूमने वाले परिवार|journal=Memoirs of the American Mathematical Society|year=2017|volume=245|issue=1156|arxiv=1111.7048|doi=10.1090/memo/1156}}</ref>
-*इसी प्रकार, कुछ ग्राफों की अतिशयोक्ति<ref>{{cite journal | last1=Bestvina | first1=Mladen | last2=Feighn | first2=Mark | title=मुक्त कारकों के परिसर की अतिशयोक्ति| journal=[[Advances in Mathematics]] |volume=256 | year=2014 | pages=104–155 | mr=3177291 | doi=10.1016/j.aim.2014.02.001 | doi-access=free}}</ref> बाहरी ऑटोमोर्फिज्म समूह आउट (Fn) से जुड़े इस समूह पर नए परिणाम आए हैं।
+*इसी प्रकार, कुछ ग्राफों की अतिशयोक्ति<ref>{{cite journal | last1=Bestvina | first1=Mladen | last2=Feighn | first2=Mark | title=मुक्त कारकों के परिसर की अतिशयोक्ति| journal=[[Advances in Mathematics]] |volume=256 | year=2014 | pages=104–155 | mr=3177291 | doi=10.1016/j.aim.2014.02.001 | doi-access=free}}</ref> बाहरी ऑटोमोर्फिज्म समूह आउट (एफएन) से जुड़े इस समूह पर नए परिणाम आए हैं।
+== यह भी देखें                                                                                                        ==
-== यह भी देखें ==
+*[[नकारात्मक रूप से घुमावदार समूह|ऋणात्मक रूप से घुमावदार समूह]]
-*[[नकारात्मक रूप से घुमावदार समूह]]
 *[[आदर्श त्रिकोण]]
@@ Line 189: / Line 188: @@
   | year = 2005| doi-access = free
   }}.
-[[Category: मीट्रिक ज्यामिति]] [[Category: अतिशयोक्तिपूर्ण ज्यामिति]] [[Category: अतिशयोक्तिपूर्ण मीट्रिक अंतरिक्ष| अतिशयोक्तिपूर्ण मीट्रिक अंतरिक्ष]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
+[[Category:CS1 français-language sources (fr)]]
 [[Category:Created On 24/04/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with broken file links]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:अतिशयोक्तिपूर्ण ज्यामिति]]
+[[Category:अतिशयोक्तिपूर्ण मीट्रिक अंतरिक्ष| अतिशयोक्तिपूर्ण मीट्रिक अंतरिक्ष]]
+[[Category:मीट्रिक ज्यामिति]]

Anonymous

Search

अतिशयोक्तिपूर्ण मीट्रिक स्थान: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 17:46, 17 May 2023

Contents

परिभाषाएँ

ग्रोमोव उत्पाद का उपयोग करके परिभाषा

त्रिकोणों का उपयोग करके परिभाषाएँ

उदाहरण

अतिशयोक्ति और वक्रता

महत्वपूर्ण गुण

अर्ध आइसोमेट्री के अनुसार इनवेरियन

अतिशयोक्तिपूर्ण रिक्त स्थान में अनुमानित पेड़

दूरी और समपरिमितीय असमानताओं की घातीय वृद्धि

क्वासिकोनवेक्स सबस्पेस

स्पर्शोन्मुख शंकु

अतिशयोक्तिपूर्ण स्थान की सीमा

ग्रोमोव उत्पाद का उपयोग करके परिभाषा

किरणों का उपयोग कर उचित रिक्त स्थान के लिए परिभाषा

उदाहरण

बुसेमैन फ़ंक्शन

सीमा पर आइसोमेट्री की क्रिया और उनका वर्गीकरण

अधिक उदाहरण

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

अतिशयोक्तिपूर्ण मीट्रिक स्थान: Difference between revisions

Latest revision as of 17:46, 17 May 2023

परिभाषाएँ

ग्रोमोव उत्पाद का उपयोग करके परिभाषा

त्रिकोणों का उपयोग करके परिभाषाएँ

उदाहरण

अतिशयोक्ति और वक्रता

महत्वपूर्ण गुण

अर्ध आइसोमेट्री के अनुसार इनवेरियन

अतिशयोक्तिपूर्ण रिक्त स्थान में अनुमानित पेड़

दूरी और समपरिमितीय असमानताओं की घातीय वृद्धि

क्वासिकोनवेक्स सबस्पेस

स्पर्शोन्मुख शंकु

अतिशयोक्तिपूर्ण स्थान की सीमा

ग्रोमोव उत्पाद का उपयोग करके परिभाषा

किरणों का उपयोग कर उचित रिक्त स्थान के लिए परिभाषा

उदाहरण

बुसेमैन फ़ंक्शन

सीमा पर आइसोमेट्री की क्रिया और उनका वर्गीकरण

अधिक उदाहरण

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories