मीट्रिक स्थान

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

मेट्रिक स्पेस का सबसे परिचित उदाहरण 3-आयामी यूक्लिडियन अंतरिक्ष  है जिसकी दूरी की सामान्य धारणा है। अन्य प्रसिद्ध उदाहरण  कोणीय दूरी  और  अतिपरवलयिक तल  से सुसज्जित एक गोला हैं। एक मीट्रिक भौतिक के बजाय, दूरी की धारणा के अनुरूप हो सकता है: उदाहरण के लिए, 100-वर्ण यूनिकोड स्ट्रिंग्स का सेट  हैमिंग दूरी  से सुसज्जित किया जा सकता है, जो वर्णों की संख्या को मापता है जिन्हें एक से प्राप्त करने के लिए बदलने की आवश्यकता होती है। दूसरे को स्ट्रिंग।

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

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

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

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

परिभाषा
औपचारिक रूप से, एक मीट्रिक स्थान एक क्रमबद्ध जोड़ी है $(M, d)$ कहाँ पे $P$ एक सेट है और $Q$ पर एक मीट्रिक है $M$, यानी, एक समारोह (गणित) $$d\,\colon M \times M \to \mathbb{R}$$ सभी बिंदुओं के लिए निम्नलिखित स्वयंसिद्धों को संतुष्ट करना $$x,y,z \in M$$:
 * 1) एक बिंदु से स्वयं की दूरी शून्य है: $$d(x, x) = 0.$$ सहज रूप से, एक बिंदु से स्वयं तक यात्रा करने के लिए कभी भी कुछ खर्च नहीं करना पड़ता है।
 * 2) (सकारात्मकता) दो अलग-अलग बिंदुओं के बीच की दूरी हमेशा सकारात्मक होती है: $$\text{If }x \neq y\text{, then }d(x, y)>0.$$
 * 3) ( सममित कार्य ) से दूरी $d$ प्रति $M$ हमेशा से दूरी के समान होता है $x$ प्रति $y$: $$d(x, y)  = d(y, x). $$ इसमें लागत की असममित धारणाएं शामिल नहीं हैं जो स्वाभाविक रूप से इस अवलोकन से उत्पन्न होती हैं कि डाउनहिल की तुलना में ऊपर की ओर चलना कठिन है।
 * 4) त्रिभुज असमानता धारण करती है: $$d(x, z) \leq d(x, y) + d(y, z).$$ यह दूरी की भौतिक और रूपक दोनों धारणाओं की एक प्राकृतिक संपत्ति है: आप यहां पहुंच सकते हैं $y$ से $x$ के माध्यम से एक चक्कर लगाकर $z$, लेकिन यह आपकी यात्रा को सबसे छोटे रास्ते से तेज नहीं बनाएगा।

यदि मीट्रिक $x$ असंदिग्ध है, जिसे अक्सर मेट्रिक स्पेस में संकेतन के दुरुपयोग से संदर्भित किया जाता है $y$.

वास्तविक संख्या
दूरी समारोह के साथ वास्तविक संख्या $$d(x,y) = | y - x |$$ पूर्ण अंतर  द्वारा दिया गया एक मीट्रिक स्थान बनाता है। मीट्रिक रिक्त स्थान और उनके बीच के कार्यों के कई गुण  वास्तविक विश्लेषण  में अवधारणाओं के सामान्यीकरण हैं और वास्तविक रेखा पर लागू होने पर उन अवधारणाओं के साथ मेल खाते हैं।

यूक्लिडियन रिक्त स्थान पर मेट्रिक्स
यूक्लिडियन विमान $$\R^2$$ कई अलग-अलग मीट्रिक से लैस किया जा सकता है। स्कूली गणित से परिचित यूक्लिडियन दूरी  को किसके द्वारा परिभाषित किया जा सकता है? $$d_2((x_1,y_1),(x_2,y_2))=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}.$$ टैक्सीकैब ज्यामिति द्वारा परिभाषित किया गया है $$d_1((x_1,y_1),(x_2,y_2))=|x_2-x_1|+|y_2-y_1|$$ और इसे एक बिंदु से दूसरे बिंदु तक जाने के लिए क्षैतिज और ऊर्ध्वाधर रेखाओं के साथ यात्रा करने के लिए आवश्यक दूरी के रूप में सोचा जा सकता है, जैसा कि लेख के शीर्ष पर दिखाया गया है।

अधिकतम, $$L^\infty$$, या चेबीशेव दूरी  द्वारा परिभाषित किया गया है $$d_\infty((x_1,y_1),(x_2,y_2))=\max\{|x_2-x_1|,|y_2-y_1|\}.$$ विमान में रास्तों के संदर्भ में इस दूरी की आसान व्याख्या नहीं है, लेकिन यह अभी भी मीट्रिक अंतरिक्ष सिद्धांतों को संतुष्ट करता है।

वास्तव में, ये तीन दूरियां, जबकि उनके अलग-अलग गुण हैं, कुछ मायनों में समान हैं। अनौपचारिक रूप से, बिंदु जो एक के करीब हैं, दूसरे में भी करीब हैं। इस अवलोकन को सूत्र द्वारा परिमाणित किया जा सकता है $$d_\infty(p,q) \leq d_2(p,q) \leq d_1(p,q) \leq 2d_\infty(p,q),$$ जो अंक के प्रत्येक जोड़े के लिए धारण करता है $$p, q \in \R^2$$.

एक मौलिक रूप से भिन्न दूरी को सेटिंग द्वारा परिभाषित किया जा सकता है $$d(p,q)=\begin{cases}0, & \text{if }p=q, \\ 1, & \text{otherwise.}\end{cases}$$ इस असतत मीट्रिक में, सभी अलग-अलग बिंदु 1 इकाई अलग हैं: उनमें से कोई भी एक दूसरे के करीब नहीं है, और उनमें से कोई भी एक दूसरे से बहुत दूर नहीं है। सहज रूप से, असतत मीट्रिक अब यह याद नहीं रखता है कि सेट एक विमान है, लेकिन इसे केवल बिंदुओं के एक अविभाज्य सेट के रूप में मानता है।

ये सभी मेट्रिक्स समझ में आते हैं $$\R^n$$ साथ ही $$\R^2$$.

सबस्पेस
एक मीट्रिक स्थान दिया गया $(M, d)$ और एक उपसमुच्चय $$A \subseteq M$$, हम विचार कर सकते हैं $d$ जिस तरह से हम करेंगे उसी तरह दूरियों को मापकर एक मीट्रिक स्थान बनने के लिए $M$. औपचारिक रूप से, प्रेरित मीट्रिक on $A$ एक समारोह है $$d_A:A \times A \to \R$$ द्वारा परिभाषित $$d_A(x,y)=d(x,y).$$ उदाहरण के लिए, यदि हम द्वि-आयामी क्षेत्र लेते हैं $S^{2}$ के सबसेट के रूप में $$\R^3$$, यूक्लिडियन मीट्रिक पर $$\R^3$$ सीधी-रेखा मीट्रिक को प्रेरित करता है $S^{2}$ ऊपर वर्णित। दो और उपयोगी उदाहरण खुले अंतराल हैं $M$ और बंद अंतराल $A$ वास्तविक रेखा के उप-स्थान के रूप में सोचा।

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

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

एक मीट्रिक स्थान की टोपोलॉजी
किसी भी बिंदु के लिए $(0, 1)$ एक मीट्रिक स्थान में $[0, 1]$ और कोई वास्तविक संख्या $r > 0$, त्रिज्या की गेंद (गणित) $x$ चारों ओर $M$ सबसे अधिक दूरी पर स्थित बिंदुओं के समूह के रूप में परिभाषित किया गया है $r$ से $x$: $$B_r(x)=\{y \in M : d(x,y) < r\}.$$ यह एक प्राकृतिक तरीका है जो बिंदुओं के एक सेट को परिभाषित करता है जो अपेक्षाकृत करीब है $r$. इसलिए, एक सेट $$N \subseteq M$$ का पड़ोस (गणित) है $x$ (अनौपचारिक रूप से, इसमें के काफी करीब सभी बिंदु शामिल हैं $x$) यदि इसमें त्रिज्या की एक खुली गेंद है $x$ चारों ओर $x$ कुछ के लिए $r > 0$.

एक खुला सेट एक सेट है जो इसके सभी बिंदुओं का पड़ोस है। यह इस प्रकार है कि खुली गेंदें टोपोलॉजी के लिए आधार (टोपोलॉजी)  बनाती हैं $r$. दूसरे शब्दों में, के खुले सेट $x$ बिल्कुल खुली गेंदों के संघ हैं। किसी भी टोपोलॉजी की तरह, बंद सेट खुले सेट के पूरक हैं। सेट खुले और बंद दोनों हो सकते हैं और साथ ही न तो खुले और न ही बंद।

यह टोपोलॉजी मेट्रिक स्पेस के बारे में सारी जानकारी नहीं रखती है। उदाहरण के लिए, दूरियां $d_{1}$, $d_{2}$, तथा $d_{∞}$ ऊपर परिभाषित सभी समान टोपोलॉजी को प्रेरित करते हैं $$\R^2$$, हालांकि वे कई मामलों में अलग तरह से व्यवहार करते हैं। इसी तरह, $$\R$$ यूक्लिडियन मीट्रिक और इसके उप-अंतराल के साथ अंतराल $M$ प्रेरित मीट्रिक के साथ समरूपता  होते हैं लेकिन बहुत अलग मीट्रिक गुण होते हैं।

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

अभिसरण
यूक्लिडियन अंतरिक्ष में अनुक्रम की सीमा  निम्नानुसार परिभाषित की गई है:
 * एक क्रम $(x_{n})$ एक बिंदु में परिवर्तित हो जाता है $M$ अगर हर के लिए $ε > 0$ एक पूर्णांक है $(0, 1)$ ऐसा कि सभी के लिए $n > N$, $d(x_{n}, x) < ε$.

टोपोलॉजिकल स्पेस में अनुक्रमों का अभिसरण निम्नानुसार परिभाषित किया गया है:
 * एक क्रम $(x_{n})$ एक बिंदु में परिवर्तित हो जाता है $x$ अगर हर खुले सेट के लिए $x$ युक्त $N$ एक पूर्णांक है $x$ ऐसा कि सभी के लिए $n > N$, $$x_n \in U$$.

मीट्रिक रिक्त स्थान में, ये दोनों परिभाषाएँ समझ में आती हैं और वे समान हैं। यह मीट्रिक रिक्त स्थान की टोपोलॉजिकल संपत्ति के लिए एक सामान्य पैटर्न है: जबकि उन्हें विशुद्ध रूप से टोपोलॉजिकल तरीके से परिभाषित किया जा सकता है, अक्सर ऐसा तरीका होता है जो मीट्रिक का उपयोग करता है जो वास्तविक विश्लेषण से आसान या अधिक परिचित होता है।

पूर्णता
अनौपचारिक रूप से, एक मीट्रिक स्थान पूर्ण हो जाता है यदि इसमें कोई लापता बिंदु नहीं है: प्रत्येक अनुक्रम जो दिखता है उसे वास्तव में अभिसरण करने के लिए अभिसरण करना चाहिए।

इसे सटीक बनाने के लिए: एक क्रम $(x_{n})$ एक मीट्रिक स्थान में $U$ कॉची अनुक्रम है यदि प्रत्येक के लिए $ε > 0$ एक पूर्णांक है $x$ ऐसा कि सभी के लिए $m, n > N$, $d(x_{m}, x_{n}) < ε$. त्रिभुज असमानता से, कोई भी अभिसरण अनुक्रम कॉची है: यदि $N$ तथा $M$ दोनों से कम हैं $ε$ सीमा से दूर हैं, तो वे इससे कम हैं $2ε$ एक दूसरे से दूर। यदि विलोम सत्य है - में प्रत्येक कॉची अनुक्रम $N$ अभिसरण-तब $x_{m}$ तैयार है।

यूक्लिडियन रिक्त स्थान पूर्ण हैं, जैसा है $$\R^2$$ ऊपर वर्णित अन्य मेट्रिक्स के साथ। रिक्त स्थान के दो उदाहरण जो पूर्ण नहीं हैं वे हैं $x_{n}$ और परिमेय, प्रत्येक मीट्रिक से प्रेरित है $$\R$$. कोई सोच सकता है $M$ के रूप में इसके अंतिम बिंदु 0 और 1 गायब हैं। परिमेय में सभी अपरिमेय नहीं हैं, क्योंकि किसी भी अपरिमेय में इसे में परिवर्तित करने के लिए परिमेय का एक क्रम होता है। $$\R$$ (उदाहरण के लिए, इसके क्रमिक दशमलव सन्निकटन)। इन उदाहरणों से पता चलता है कि पूर्णता एक टोपोलॉजिकल प्रॉपर्टी नहीं है, क्योंकि $$\R$$ पूरा है लेकिन होमोमोर्फिक स्पेस $M$ नहीं है।

लापता बिंदुओं की इस धारणा को सटीक बनाया जा सकता है। वास्तव में, प्रत्येक मीट्रिक स्थान में एक अद्वितीय पूर्णता (मीट्रिक स्थान) होती है, जो एक पूर्ण स्थान होता है जिसमें दिए गए स्थान को घने सेट उपसमुच्चय के रूप में शामिल किया जाता है। उदाहरण के लिए, $(0, 1)$ का समापन है $(0, 1)$, और वास्तविक संख्याएँ परिमेय की पूर्णता हैं।

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

बंधे और पूरी तरह से बंधे हुए स्थान


एक मीट्रिक स्थान $(0, 1)$ यदि कोई है तो बाध्य है $[0, 1]$ ऐसा है कि अंकों की कोई जोड़ी नहीं $(0, 1)$ दूरी से अधिक है $M$ अलग। कम से कम ऐसे $r$ कहा जाता हैका $M$.

अंतरिक्ष $r$ प्रीकॉम्पैक्ट कहा जाता है या पूरी तरह से बंधा हुआ है यदि प्रत्येक के लिए $r > 0$ का एक परिमित आवरण (टोपोलॉजी) है $r$ त्रिज्या की खुली गेंदों द्वारा $M$. हर पूरी तरह से घिरा हुआ स्थान घिरा हुआ है। इसे देखने के लिए, एक परिमित कवर के साथ शुरू करें $M$-कुछ मनमानी के लिए गेंदें $M$. के उपसमुच्चय के बाद से $r$ इन गेंदों के केंद्रों से मिलकर परिमित है, इसका परिमित व्यास है, मान लीजिए $r$. त्रिभुज असमानता से, पूरे स्थान का व्यास अधिकतम होता है $D + 2r$. कनवर्स होल्ड नहीं करता है: एक मीट्रिक स्पेस का एक उदाहरण जो घिरा हुआ है लेकिन पूरी तरह से घिरा नहीं है $$\R^2$$ (या कोई अन्य अनंत सेट) असतत मीट्रिक के साथ।

कॉम्पैक्टनेस
कॉम्पैक्टनेस एक टोपोलॉजिकल प्रॉपर्टी है जो यूक्लिडियन स्पेस के एक बंद और बंधे हुए उपसमुच्चय के गुणों को सामान्य करती है। मीट्रिक रिक्त स्थान में कॉम्पैक्टनेस की कई समान परिभाषाएँ हैं: एक कॉम्पैक्ट स्पेस का एक उदाहरण बंद अंतराल है $r$.
 * 1) एक मीट्रिक स्थान $M$ कॉम्पैक्ट है यदि प्रत्येक खुले कवर में एक परिमित उपकवर (सामान्य टोपोलॉजिकल परिभाषा) है।
 * 2) एक मीट्रिक स्थान $D$ कॉम्पैक्ट है यदि प्रत्येक अनुक्रम में एक अभिसरण अनुवर्ती है। (सामान्य टोपोलॉजिकल स्पेस के लिए इसे  क्रमिक रूप से कॉम्पैक्ट स्पेस  कहा जाता है और यह कॉम्पैक्टनेस के बराबर नहीं है।)
 * 3) एक मीट्रिक स्थान $M$ कॉम्पैक्ट है अगर यह पूर्ण और पूरी तरह से घिरा हुआ है। (यह परिभाषा मीट्रिक गुणों के संदर्भ में लिखी गई है और सामान्य टोपोलॉजिकल स्पेस के लिए इसका कोई मतलब नहीं है, लेकिन फिर भी यह टोपोलॉजिकल रूप से अपरिवर्तनीय है क्योंकि यह कॉम्पैक्टनेस के बराबर है।)

पूर्णता के समान कारणों के लिए कॉम्पैक्टनेस महत्वपूर्ण है: इससे सीमाएँ खोजना आसान हो जाता है। एक अन्य महत्वपूर्ण उपकरण लेब्सग्यू का नंबर लेम्मा है, जो दर्शाता है कि किसी कॉम्पैक्ट स्पेस के किसी भी खुले कवर के लिए, कवर के किसी एक सेट के अंदर प्रत्येक बिंदु अपेक्षाकृत गहरा होता है। <!-- क्या इसे मुख्य मेट्रिक स्पेस आलेख में होना आवश्यक है?

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

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

सममिति
संरचना-संरक्षण मानचित्र की एक व्याख्या वह है जो दूरी फ़ंक्शन को पूरी तरह से संरक्षित करती है:
 * एक समारोह $$f:M_1 \to M_2$$ दूरी-संरक्षण है यदि प्रत्येक जोड़ी अंक के लिए $M$ तथा $M$ में $M_{1}$, $$d_2(f(x),f(y))=d_1(x,y).$$

यह मीट्रिक अंतरिक्ष स्वयंसिद्धों से इस प्रकार है कि दूरी-संरक्षण कार्य इंजेक्शन है। एक विशेषण दूरी-संरक्षण कार्य को एक आइसोमेट्री कहा जाता है। इस आलेख में वर्णित रिक्त स्थान के बीच एक आइसोमेट्री का एक शायद गैर-स्पष्ट उदाहरण नक्शा है $$f:(\R^2,d_1) \to (\R^2,d_\infty)$$ द्वारा परिभाषित $$f(x,y)=(x+y,x-y).$$ यदि रिक्त स्थान के बीच एक आइसोमेट्री है $M_{1}$ तथा $M_{2}$, उन्हें आइसोमेट्रिक कहा जाता है। मीट्रिक रिक्त स्थान जो आइसोमेट्रिक हैं, समाकृतिकता  हैं।

सतत मानचित्र
स्पेक्ट्रम के दूसरे छोर पर, कोई पूरी तरह से मीट्रिक संरचना के बारे में भूल सकता है और निरंतर कार्य (टोपोलॉजी)  का अध्ययन कर सकता है, जो केवल टोपोलॉजिकल संरचना को संरक्षित करता है। मीट्रिक रिक्त स्थान के लिए निरंतरता की कई समान परिभाषाएँ हैं। सबसे महत्वपूर्ण हैं:
 * टोपोलॉजिकल परिभाषा। एक समारोह $$f\,\colon M_1\to M_2$$ निरंतर है यदि प्रत्येक खुले सेट के लिए $[0, 1]$ में $M_{2}$, पूर्व छवि  $$f^{-1}(U)$$ खुला है।
 * क्रमिक निरंतरता। एक समारोह $$f\,\colon M_1\to M_2$$ निरंतर है यदि जब भी कोई अनुक्रम $(x_{n})$ एक बिंदु में परिवर्तित हो जाता है $x$ में $M_{1}$, क्रम $$f(x_1),f(x_2),\ldots$$ बिंदु पर अभिसरण करता है $f(x)$ में $M_{2}$.
 * (ये पहली दो परिभाषाएं सभी टोपोलॉजिकल स्पेस के लिए समान नहीं हैं।)

एक होमियोमॉर्फिज्म एक सतत नक्शा है जिसका व्युत्क्रम भी निरंतर है; अगर बीच में एक होमियोमॉर्फिज्म है $M_{1}$ तथा $ε > 0$, उन्हें होमियोमॉर्फिक कहा जाता है। होमोमोर्फिक रिक्त स्थान टोपोलॉजी के दृष्टिकोण से समान हैं, लेकिन बहुत भिन्न मीट्रिक गुण हो सकते हैं। उदाहरण के लिए, $$\R$$ असीमित और पूर्ण है, जबकि $y$ सीमित है लेकिन पूर्ण नहीं है।
 * 'ε-δ परिभाषा।' एक समारोह $$f\,\colon M_1\to M_2$$ निरंतर है यदि प्रत्येक बिंदु के लिए $U$ में $δ > 0$ और हर $M_{1}$ वहां मौजूद $M_{1}$ ऐसा कि सभी के लिए $x$ में $M_{2}$ अपने पास $$d_1(x,y) < \delta \implies d_2(f(x),f(y)) < \varepsilon.$$

समान रूप से निरंतर नक्शे
एक समारोह $$f\,\colon M_1\to M_2$$ एकसमान निरंतरता है यदि प्रत्येक वास्तविक संख्या के लिए $ε > 0$ वहां मौजूद $δ > 0$ ऐसा है कि सभी बिंदुओं के लिए $x$ तथा $y$ में $M_{1}$ ऐसा है कि $$d(x,y)<\delta$$, अपने पास $$d_2(f(x),f(y)) < \varepsilon.$$ इस परिभाषा और निरंतरता की ε-δ परिभाषा के बीच एकमात्र अंतर क्वांटिफायर का क्रम है: का चुनाव केवल ε पर निर्भर होना चाहिए न कि बिंदु पर $(0, 1)$. हालाँकि, इस सूक्ष्म परिवर्तन से बहुत फर्क पड़ता है। उदाहरण के लिए, समान रूप से निरंतर नक्शे में कॉची अनुक्रम लेते हैं $M_{1}$ में कॉची दृश्यों के लिए $M_{2}$. इसका तात्पर्य यह है कि एक समान रूप से सतत मानचित्र के तहत एक पूर्ण स्थान की छवि पूर्ण है। दूसरे शब्दों में, एकसमान निरंतरता कुछ मीट्रिक गुणों को संरक्षित करती है जो विशुद्ध रूप से टोपोलॉजिकल नहीं हैं।

दूसरी ओर, हेन-कैंटोर प्रमेय कहता है कि यदि $M_{1}$ कॉम्पैक्ट है, तो हर निरंतर नक्शा समान रूप से निरंतर है। दूसरे शब्दों में, एकसमान निरंतरता कॉम्पैक्ट मीट्रिक रिक्त स्थान की किसी भी गैर-टोपोलॉजिकल विशेषताओं को अलग नहीं कर सकती है।

लिप्सचिट्ज़ मानचित्र और संकुचन
एक लिप्सित्ज़ निरंतरता वह है जो दूरी को अधिकतम एक सीमित कारक द्वारा फैलाती है। औपचारिक रूप से, एक वास्तविक संख्या दी गई $K > 0$, नक्शा $$f\,\colon M_1\to M_2$$ है $x$-लिप्सचिट्ज़ अगर $$d_2(f(x),f(y))\leq K d_1(x,y)\quad\text{for all}\quad x,y\in M_1.$$ लिप्सचिट्ज़ मानचित्र मीट्रिक ज्यामिति में विशेष रूप से महत्वपूर्ण हैं, क्योंकि वे दूरी-संरक्षित मानचित्रों की तुलना में अधिक लचीलापन प्रदान करते हैं, लेकिन फिर भी मीट्रिक का आवश्यक उपयोग करते हैं। उदाहरण के लिए, एक मीट्रिक स्थान में एक वक्र चाप की लंबाई (परिमित लंबाई है) है यदि और केवल अगर इसमें लिप्सचिट्ज़ पुनर्मूल्यांकन है।

1-लिप्सचिट्ज़ मानचित्र को कभी-कभी गैर-विस्तारित या मीट्रिक मानचित्र कहा जाता है। मीट्रिक मानचित्रों को आमतौर पर मीट्रिक रिक्त स्थान की श्रेणी  के आकारिकी के रूप में लिया जाता है।

ए $y$-लिप्सचिट्ज़ के लिए नक्शा $K < 1$ संकुचन मानचित्रण  कहलाता है।  बनच फिक्स्ड-पॉइंट प्रमेय  में कहा गया है कि अगर $x$ एक पूर्ण मीट्रिक स्थान है, तो प्रत्येक संकुचन $$f:M \to M$$ एक अद्वितीय  निश्चित बिंदु (गणित)  स्वीकार करता है। यदि मीट्रिक स्थान $K$ कॉम्पैक्ट है, परिणाम थोड़ी कमजोर स्थिति के लिए है $K$: नक्षा $$f:M \to M$$ एक अद्वितीय निश्चित बिंदु स्वीकार करता है यदि $$ d(f(x), f(y)) < d(x, y) \quad \mbox{for all} \quad x \ne y \in M_1.$$

अर्ध-सममिति
एक अर्ध isometry  एक नक्शा है जो एक मीट्रिक स्थान की बड़े पैमाने पर संरचना को संरक्षित करता है। अर्ध-सममिति निरंतर नहीं होनी चाहिए। उदाहरण के लिए, $$\R^2$$ और इसके उप-स्थान $$\Z^2$$ अर्ध-सममितीय हैं, भले ही एक जुड़ा हुआ है और दूसरा असतत है। ज्यामितीय समूह सिद्धांत में अर्ध-आइसोमेट्री का तुल्यता संबंध महत्वपूर्ण है: varc-Milnor lemma बताता है कि सभी रिक्त स्थान जिन पर समूह  ज्यामितीय समूह क्रिया  अर्ध-आइसोमेट्रिक हैं। औपचारिक रूप से, नक्शा $$f\,\colon M_1\to M_2$$ यदि स्थिरांक मौजूद हैं तो एक अर्ध-आइसोमेट्रिक एम्बेडिंग है $A ≥ 1$ तथा $B ≥ 0$ ऐसा है कि $$\frac{1}{A} d_2(f(x),f(y))-B\leq d_1(x,y)\leq A d_2(f(x),f(y))+B \quad\text{ for all }\quad x,y\in M_1.$$ यह एक अर्ध-सममिति है यदि इसके अतिरिक्त यह अर्ध-विशेषण है, अर्थात एक स्थिरांक है $C ≥ 0$ ऐसा है कि हर बिंदु में $$M_2$$ सबसे अधिक दूरी पर है $M$ छवि के किसी बिंदु से $$f(M_1)$$.

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

सामान्य वेक्टर रिक्त स्थान
एक आदर्श वेक्टर स्पेस एक वेक्टर स्पेस है जो एक मानदंड (गणित)  से सुसज्जित है, जो एक ऐसा कार्य है जो वैक्टर की लंबाई को मापता है। एक वेक्टर का मानदंड $M$ आमतौर पर द्वारा निरूपित किया जाता है $$\lVert v \rVert$$. किसी भी मानक सदिश स्थान को एक मीट्रिक से सुसज्जित किया जा सकता है जिसमें दो वैक्टरों के बीच की दूरी $f$ तथा $C$ द्वारा दिया गया है $$d(x,y)=\lVert x-y \rVert.$$ मीट्रिक $v$ आदर्श से प्रेरित कहा जाता है $$\lVert{\cdot}\rVert$$. इसके विपरीत, अगर एक मीट्रिक $x$ एक वेक्टर अंतरिक्ष पर $y$ है तो यह मानदंड से प्रेरित मीट्रिक है $$\lVert x \rVert = d(x,0).$$ सेमिनॉर्म और  स्यूडोमेट्रिक स्पेस  के बीच एक समान संबंध है।
 * अनुवाद अपरिवर्तनीय: $$d(x,y) = d(x+a,y+a)$$ हरएक के लिए $d$, $d$, तथा $X$ में $x$; तथा
 * पूर्ण एकरूपता|: $$d(\alpha x, \alpha y) = |\alpha| d(x,y)$$ हरएक के लिए $y$ तथा $a$ में $X$ और वास्तविक संख्या $α$;

मानदंड से प्रेरित मीट्रिक के उदाहरणों में मेट्रिक्स हैं $d_{1}$, $d_{2}$, तथा $d_{∞}$ पर $$\R^2$$, जो क्रमशः मैनहट्टन मानदंड,  यूक्लिडियन मानदंड  और  अधिकतम मानदंड  से प्रेरित हैं। अधिक आम तौर पर,  कुराटोवस्की एम्बेडिंग  किसी को किसी भी मीट्रिक स्थान को एक आदर्श वेक्टर स्थान के उप-स्थान के रूप में देखने की अनुमति देता है।

कार्यात्मक विश्लेषण में अनंत-आयामी आदर्श वेक्टर रिक्त स्थान, विशेष रूप से कार्यों के रिक्त स्थान का अध्ययन किया जाता है। इस संदर्भ में पूर्णता विशेष रूप से महत्वपूर्ण है: एक पूर्ण आदर्श सदिश स्थान को बनच स्थान के रूप में जाना जाता है। आदर्श वेक्टर रिक्त स्थान की एक असामान्य संपत्ति यह है कि उनके बीच रैखिक परिवर्तन  निरंतर होते हैं यदि वे लिप्सचिट्ज़ हैं। इस तरह के परिवर्तनों को बाध्य ऑपरेटरों के रूप में जाना जाता है।

लंबाई रिक्त स्थान


मीट्रिक स्थान में वक्र  $(M, d)$ एक सतत कार्य है $$\gamma:[0,T] \to M$$. चाप की लंबाई $γ$ द्वारा मापा जाता है $$L(\gamma)=\sup_{0=x_0<x_1<\cdots<x_n=T} \left\{\sum_{k=1}^n d(\gamma(x_{k-1}),\gamma(x_k))\right\}.$$ सामान्य तौर पर, यह सर्वोच्च अनंत हो सकता है; परिमित लंबाई के वक्र को सुधारीय कहा जाता है। मान लीजिए कि वक्र की लंबाई $γ$ इसके समापन बिंदुओं के बीच की दूरी के बराबर है—अर्थात, यह इसके समापन बिंदुओं के बीच सबसे छोटा संभव पथ है। चाप की लंबाई से पुनरावृति के बाद, $γ$ भूगणित  बन जाता है: एक वक्र जो एक दूरी-संरक्षण कार्य है। जियोडेसिक अपने किन्हीं दो बिंदुओं के बीच सबसे छोटा संभव पथ है।

जियोडेसिक मेट्रिक स्पेस एक मेट्रिक स्पेस है जो अपने किन्हीं दो बिंदुओं के बीच एक जियोडेसिक को स्वीकार करता है। रिक्त स्थान $$(\R^2,d_1)$$ तथा $$(\R^2,d_2)$$ दोनों जियोडेसिक मेट्रिक स्पेस हैं। में $$(\R^2,d_2)$$, जियोडेसिक्स अद्वितीय हैं, लेकिन में $$(\R^2,d_1)$$, अक्सर दो बिंदुओं के बीच असीम रूप से कई भूगणित होते हैं, जैसा कि लेख के शीर्ष पर चित्र में दिखाया गया है।

अंतरिक्ष $x$ एक लंबा स्थान है (या मीट्रिक $y$ आंतरिक है) यदि किन्हीं दो बिंदुओं के बीच की दूरी $X$ तथा $M$ उनके बीच पथों की लंबाई का न्यूनतम है। जियोडेसिक मेट्रिक स्पेस के विपरीत, अधिकतम को प्राप्त करने की आवश्यकता नहीं है। एक लंबाई वाले स्थान का एक उदाहरण जो भूगर्भीय नहीं है, यूक्लिडियन विमान माइनस द ओरिजिन है: पॉइंट्स $(1, 0)$ तथा $(-1, 0)$ लंबाई के पथों द्वारा मनमाने ढंग से 2 के करीब जोड़ा जा सकता है, लेकिन लंबाई 2 के पथ से नहीं। एक मीट्रिक स्थान का एक उदाहरण जो लंबाई की जगह नहीं है, गोले पर सीधी रेखा मीट्रिक द्वारा दिया जाता है: दो के बीच की सीधी रेखा पृथ्वी के केंद्र के माध्यम से बिंदु सतह के साथ किसी भी पथ से छोटा है।

किसी भी मीट्रिक स्थान को देखते हुए $(M, d)$, कोई एक नया, आंतरिक दूरी फ़ंक्शन परिभाषित कर सकता है $d_{intrinsic}$ पर $d$ बिंदुओं के बीच की दूरी निर्धारित करके $x$ तथा $y$ का न्यूनतम होना $M$-उनके बीच पथों की लंबाई। उदाहरण के लिए, यदि $x$ गोले पर सीधी रेखा की दूरी है, तो $d_{intrinsic}$ महान-वृत्त दूरी है। हालांकि, कुछ मामलों में $d_{intrinsic}$ अनंत मान हो सकते हैं। उदाहरण के लिए, यदि $y$ सबस्पेस मीट्रिक के साथ कोच हिमपात  है $d$ से प्रेरित $$\R^2$$, तो परिणामी आंतरिक दूरी अलग-अलग बिंदुओं के किसी भी जोड़े के लिए अनंत है।

रिमेंनियन मैनिफोल्ड्स
एक रिमेंनियन मैनिफोल्ड एक रिमेंनियन मीट्रिक टेंसर  से सुसज्जित एक स्थान है, जो हर बिंदु पर  स्पर्शरेखा स्थान  की लंबाई निर्धारित करता है। इसे असीम रूप से दूरी की धारणा को परिभाषित करने के बारे में सोचा जा सकता है। विशेष रूप से, एक अलग पथ $$\gamma:[0, T] \to M$$ रिमेंनियन मैनिफोल्ड में $d$ लंबाई को पथ के स्पर्शरेखा वेक्टर की लंबाई के अभिन्न के रूप में परिभाषित किया गया है: $$L(\gamma)=\int_0^T |\dot\gamma(t)|dt.$$ एक जुड़े हुए रिमेंनियन मैनिफोल्ड पर, एक तो दो बिंदुओं के बीच की दूरी को उनके बीच के चिकने रास्तों की लंबाई के रूप में परिभाषित करता है। यह निर्माण कई गुना पर अन्य प्रकार के इनफिनिटिमल मेट्रिक्स को सामान्यीकृत करता है, जैसे कि उप-रिमेंनियन मैनिफोल्ड |सब-रिमैनियन और  फिन्सलर मैनिफोल्ड ।

रीमैनियन मीट्रिक विशिष्ट रूप से दूरी फ़ंक्शन द्वारा निर्धारित किया जाता है; इसका मतलब यह है कि सिद्धांत रूप में, रिमेंनियन मैनिफोल्ड के बारे में सभी जानकारी को इसके डिस्टेंस फंक्शन से पुनर्प्राप्त किया जा सकता है। मीट्रिक ज्यामिति में एक दिशा रीमैनियन मैनिफोल्ड के गुणों के विशुद्ध रूप से मीट्रिक (सिंथेटिक ज्यामिति | सिंथेटिक) फॉर्मूलेशन ढूंढ रही है। उदाहरण के लिए, एक रीमैनियन मैनिफोल्ड एक CAT(k) स्थान है|$CAT(k)$ अंतरिक्ष (एक सिंथेटिक स्थिति जो पूरी तरह से मीट्रिक पर निर्भर करती है) यदि और केवल यदि इसकी अनुभागीय वक्रता  ऊपर से घिरी हुई है $M$. इस प्रकार $CAT(k)$ रिक्त स्थान ऊपरी वक्रता सीमाओं को सामान्य मीट्रिक रिक्त स्थान पर सामान्यीकृत करते हैं।

मीट्रिक माप स्थान
वास्तविक विश्लेषण दोनों मीट्रिक का उपयोग करता है $$\R^n$$ और Lebesgue उपाय। इसलिए, विश्लेषण से कई विचारों के सामान्यीकरण स्वाभाविक रूप से मीट्रिक माप रिक्त स्थान में रहते हैं: रिक्त स्थान जिनमें एक माप (गणित) और एक मीट्रिक दोनों होते हैं जो एक दूसरे के साथ संगत होते हैं। औपचारिक रूप से, एक मीट्रिक माप स्थान  एक बोरेल नियमित माप से सुसज्जित एक मीट्रिक स्थान होता है, जैसे कि प्रत्येक गेंद का सकारात्मक माप होता है। उदाहरण के लिए आयाम के यूक्लिडियन रिक्त स्थान $d$, और अधिक आम तौर पर $M$-आयामी रीमैनियन मैनिफोल्ड, स्वाभाविक रूप से एक मीट्रिक माप स्थान की संरचना होती है, जो लेबेस्ग माप से सुसज्जित होती है। कुछ  भग्न  मीट्रिक रिक्त स्थान जैसे सिएरपिन्स्की गैस्केट को α-आयामी हॉसडॉर्फ माप से सुसज्जित किया जा सकता है जहां α  हॉसडॉर्फ आयाम  है। सामान्य तौर पर, हालांकि, एक मीट्रिक स्थान में माप का स्पष्ट विकल्प नहीं हो सकता है।

मीट्रिक माप रिक्त स्थान का एक अनुप्रयोग रीमैनियन मैनिफोल्ड से परे रिक्की वक्रता की धारणा को सामान्य बना रहा है। जिस प्रकार $CAT(k)$ और अलेक्जेंड्रोव रिक्त स्थान स्केलर वक्रता सीमाओं को सामान्यीकृत करते हैं, आरसीडी रिक्त स्थान मीट्रिक माप रिक्त स्थान का एक वर्ग है जो रिक्की वक्रता पर निचली सीमाओं को सामान्यीकृत करता है।

रेखांकन और परिमित मीट्रिक रिक्त स्थान
ए यदि इसकी प्रेरित टोपोलॉजी  असतत टोपोलॉजी  है। हालांकि कई अवधारणाएं, जैसे कि पूर्णता और कॉम्पैक्टनेस, ऐसे रिक्त स्थान के लिए दिलचस्प नहीं हैं, फिर भी वे गणित की कई शाखाओं में अध्ययन का विषय हैं। विशेष रूप से,  (जिनके पास सीमित संख्या में अंक होते हैं) का अध्ययन  साहचर्य  और  सैद्धांतिक कंप्यूटर विज्ञान  में किया जाता है। अन्य मीट्रिक रिक्त स्थान में एम्बेडिंग का विशेष रूप से अच्छी तरह से अध्ययन किया जाता है। उदाहरण के लिए, यूक्लिडियन स्पेस या  हिल्बर्ट स्पेस  में प्रत्येक परिमित मीट्रिक स्थान आइसोमेट्री नहीं हो सकता है। दूसरी ओर, सबसे खराब स्थिति में आवश्यक विकृति (बिलिप्सचिट्ज़ स्थिरांक) अंकों की संख्या में केवल लघुगणक है। किसी भी ग्राफ के लिए (असतत गणित) $k$, सेट $n$ के शीर्षों का $n$ कोने के बीच की दूरी (ग्राफ सिद्धांत)  को परिभाषित करके एक मीट्रिक स्थान में बदला जा सकता है $G$ तथा $V$ उन्हें जोड़ने वाले सबसे छोटे किनारे वाले पथ की लंबाई होना। इसे सबसे छोटी-पथ दूरी या भूगणितीय दूरी भी कहा जाता है। ज्यामितीय समूह सिद्धांत में यह निर्माण एक (आमतौर पर अनंत)  अंतिम रूप से उत्पन्न समूह  के  केली ग्राफ  पर लागू होता है, जो मीट्रिक शब्द देता है। एक बिलिप्सित्ज़ होमोमोर्फिज्म तक, मीट्रिक शब्द केवल समूह पर निर्भर करता है, न कि चुने हुए परिमित जनरेटिंग सेट पर।

गणितीय वस्तुओं के बीच की दूरी
आधुनिक गणित में, व्यक्ति अक्सर उन स्थानों का अध्ययन करता है जिनके अंक स्वयं गणितीय वस्तुएँ होते हैं। ऐसे स्थान पर दूरी फलन का उद्देश्य सामान्यतः दो वस्तुओं के बीच असमानता को मापना होता है। यहाँ कुछ उदाहरण हैं:
 * एक मीट्रिक स्थान के लिए कार्य करता है। यदि $G$ क्या कोई सेट है और $x$ एक मीट्रिक स्थान है, तो सभी बाध्य कार्यों का सेट $$f \colon X \to M$$ (अर्थात वे कार्य जिनकी छवि का एक परिबद्ध उपसमुच्चय  है $$M$$) दो बंधे हुए कार्यों के बीच की दूरी को परिभाषित करके एक मीट्रिक स्थान में बदल दिया जा सकता है $y$ तथा $X$ होना $$d(f,g) = \sup_{x \in X} d(f(x),g(x)).$$ इस मीट्रिक को एकसमान मीट्रिक या सर्वोच्च मीट्रिक कहा जाता है। यदि $M$ पूरा हो गया है, तो यह  समारोह स्थान  भी पूरा हो गया है; इसके अलावा, अगर $f$ एक टोपोलॉजिकल स्पेस भी है, फिर सबस्पेस जिसमें सभी बाउंडेड कंटीन्यूअस फंक्शन (टोपोलॉजी) फंक्शन शामिल हैं $g$ प्रति $M$ भी पूर्ण है। कब $X$ का एक उप-स्थान है $$\R^n$$, इस फ़ंक्शन स्पेस को शास्त्रीय वीनर स्पेस के रूप में जाना जाता है।
 * स्ट्रिंग मीट्रिक ्स और दूरियों को संपादित करें। स्ट्रिंग (कंप्यूटर विज्ञान)  के बीच की दूरी को मापने के कई तरीके हैं, जो  कोडिंग सिद्धांत  में कम्प्यूटेशनल भाषाविज्ञान या कोड शब्दों में  वाक्य (भाषाविज्ञान)  का प्रतिनिधित्व कर सकते हैं।  दूरी संपादित करें  एक स्ट्रिंग से दूसरी स्ट्रिंग में जाने के लिए आवश्यक परिवर्तनों की संख्या को मापने का प्रयास करता है। उदाहरण के लिए, हैमिंग दूरी आवश्यक प्रतिस्थापन की न्यूनतम संख्या को मापती है, जबकि  लेवेनशेटिन दूरी  विलोपन, सम्मिलन और प्रतिस्थापन की न्यूनतम संख्या को मापती है; इन दोनों को एक उपयुक्त ग्राफ में दूरियों के रूप में माना जा सकता है।
 * ग्राफ़ संपादन दूरी दो ग्राफ़ (असतत गणित) के बीच असमानता का एक उपाय है, जिसे एक ग्राफ़ को दूसरे में बदलने के लिए आवश्यक ग्राफ़ संचालन की न्यूनतम संख्या के रूप में परिभाषित किया गया है।
 * वासरस्टीन मेट्रिक्स एक ही मीट्रिक स्थान पर दो माप (गणित) के बीच की दूरी को मापते हैं। दो उपायों के बीच वासेरस्टीन की दूरी, मोटे तौर पर, एक से दूसरे में इष्टतम परिवहन  है।
 * सब का सेट $X$ द्वारा $M$ कुछ क्षेत्र (गणित)  पर  मैट्रिक्स (गणित)   रैंक (रैखिक बीजगणित)  दूरी के संबंध में एक मीट्रिक स्थान है $$d(A,B) = \mathrm{rank}(B - A)$$.
 * खेल सिद्धांत में  हेली मीट्रिक  एक गेम में रणनीति (गेम थ्योरी) के बीच अंतर को मापता है।

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

मान लीजिए $(M, d)$ एक मीट्रिक स्थान है, और चलो $X$ का एक सबसेट बनें $m$. से दूरी $n$ एक स्तर तक $S$ का $M$अनौपचारिक रूप से से दूरी है $S$ के निकटतम बिंदु तक $x$. हालांकि, चूंकि एक भी निकटतम बिंदु नहीं हो सकता है, इसे एक न्यूनतम के माध्यम से परिभाषित किया गया है: $$d(x,S) = \inf\{d(x,s) : s \in S \}.$$ विशेष रूप से, $$d(x, S)=0$$ अगर और केवल अगर $M$ के बंद होने (टोपोलॉजी) के अंतर्गत आता है $x$. इसके अलावा, बिंदुओं और सेटों के बीच की दूरी त्रिभुज असमानता के एक संस्करण को संतुष्ट करती है: $$d(x,S) \leq d(x,y) + d(y,S),$$ और इसलिए नक्शा $$d_S:M \to \R$$ द्वारा परिभाषित $$d_S(x)=d(x,S)$$ निरंतर है। संयोग से, यह दर्शाता है कि मीट्रिक रिक्त स्थान पूरी तरह से नियमित  हैं।

दो उपसमुच्चय दिए गए हैं $S$ तथा $x$ का $S$, उनकी हॉसडॉर्फ दूरी है $$d_H(S,T) = \max \{ \sup\{d(s,T) : s \in S \}, \sup\{ d(t,S) : t \in T \} \}.$$ अनौपचारिक रूप से, दो सेट $S$ तथा $T$ हौसडॉर्फ दूरी में एक दूसरे के करीब हैं यदि कोई तत्व नहीं है $M$ से बहुत दूर है $S$ और इसके विपरीत। उदाहरण के लिए, यदि $T$ यूक्लिडियन अंतरिक्ष में एक खुला सेट है $S$ एक डेलोन सेट है|ε-नेट इनसाइड $T$, फिर $$d_H(S,T)<\varepsilon$$. सामान्य तौर पर, हॉसडॉर्फ दूरी $$d_H(S,T)$$ अनंत या शून्य हो सकता है। हालांकि, दो अलग-अलग कॉम्पैक्ट सेटों के बीच हॉसडॉर्फ की दूरी हमेशा सकारात्मक और परिमित होती है। इस प्रकार हॉसडॉर्फ दूरी के कॉम्पैक्ट सबसेट के सेट पर एक मीट्रिक को परिभाषित करती है $S$.

ग्रोमोव-हॉसडॉर्फ मीट्रिक कॉम्पैक्ट मीट्रिक रिक्त स्थान (आइसोमेट्री कक्षाओं) के बीच की दूरी को परिभाषित करता है। कॉम्पैक्ट रिक्त स्थान के बीच ग्रोमोव-हॉसडॉर्फ दूरी $T$ तथा $S$ सभी मीट्रिक रिक्त स्थान पर हॉसडॉर्फ दूरी का न्यूनतम है $M$ जिसमें शामिल है $X$ तथा $Y$ उप-स्थानों के रूप में। जबकि ग्रोमोव-हॉसडॉर्फ दूरी का सटीक मूल्य जानने के लिए शायद ही कभी उपयोगी होता है, परिणामी टोपोलॉजी में कई अनुप्रयोग पाए गए हैं।

विविध उदाहरण

 * एक मीट्रिक स्थान दिया गया $(X, d)$ और एक बढ़ता हुआ अवतल कार्य  $$f \colon [0,\infty) \to [0,\infty)$$ ऐसा है कि $f(t) = 0$ अगर और केवल अगर $t = 0$, फिर $$d_f(x,y)=f(d(x,y))$$ पर एक मीट्रिक भी है $Z$. यदि $f(t) = t^{α}$ कुछ वास्तविक संख्या के लिए $α < 1$, इस तरह के एक मीट्रिक को स्नोफ्लेक के रूप में जाना जाता है $X$.
 * एक मीट्रिक स्थान की तंग अवधि  एक अन्य मीट्रिक स्थान है जिसे  उत्तल पतवार  के एक सार संस्करण के रूप में माना जा सकता है।
 * एक मानक वेक्टर स्थान पर ब्रिटिश रेल  मीट्रिक (जिसे पोस्ट ऑफिस मीट्रिक या  एस एन सी एफ  मीट्रिक भी कहा जाता है) द्वारा दिया जाता है $$d(x,y) = \lVert x \rVert + \lVert y \rVert$$ अलग-अलग बिंदुओं के लिए $$x$$ तथा $$y$$, तथा $$d(x,x) = 0$$. आम तौर पर अधिक $$\lVert \cdot \rVert$$ एक समारोह के साथ बदला जा सकता है $$f$$ एक मनमाना सेट लेना $$S$$ गैर-ऋणात्मक वास्तविकताओं के लिए और मूल्य लेना $$0$$ अधिकतम एक बार: फिर मीट्रिक को परिभाषित किया जाता है $$S$$ द्वारा $$d(x,y) = f(x) + f(y)$$ अलग-अलग बिंदुओं के लिए $$x$$ तथा $$y$$, तथा $d(x,x) = 0$. यह नाम लंदन (या पेरिस) के माध्यम से आगे बढ़ने के लिए रेलवे यात्रा की प्रवृत्ति को दर्शाता है, भले ही उनका अंतिम गंतव्य कुछ भी हो।
 * रॉबिन्सन-फॉल्ड्स मीट्रिक का उपयोग फाइलोजेनेटिक्स  में  फ़ाइलोजेनेटिक पेड़ ों के बीच की दूरी की गणना के लिए किया जाता है

उत्पाद मीट्रिक स्थान
यदि $$(M_1,d_1),\ldots,(M_n,d_n)$$ मीट्रिक रिक्त स्थान हैं, और $Y$ यूक्लिडियन मानदंड है $$\mathbb R^n$$, फिर $$\bigl(M_1 \times \cdots \times M_n, d_\times\bigr)$$ एक मीट्रिक स्थान है, जहां उत्पाद मीट्रिक  को परिभाषित किया जाता है $$d_\times\bigl((x_1,\ldots,x_n),(y_1,\ldots,y_n)\bigr) = N\bigl(d_1(x_1,y_1),\ldots,d_n(x_n,y_n)\bigr),$$ और प्रेरित टोपोलॉजी उत्पाद टोपोलॉजी  से सहमत है। परिमित आयामों में मानदंडों की तुल्यता से, एक टोपोलॉजिकल समकक्ष मीट्रिक प्राप्त होता है यदि $X$  टैक्सीकैब मानदंड  है, एक मानदंड (गणित)#पी-मानदंड|पी-मानदंड, अधिकतम मानदंड, या कोई अन्य मानदंड जो एक सकारात्मक के निर्देशांक के रूप में गैर-घटता नहीं है $d$-टुपल वृद्धि (त्रिकोण असमानता उत्पन्न करना)।

इसी तरह, मीट्रिक का उपयोग करके कई मीट्रिक रिक्त स्थान के टोपोलॉजिकल उत्पाद पर एक मीट्रिक प्राप्त किया जा सकता है $$d(x,y)=\sum_{i=1}^\infty \frac1{2^i}\frac{d_i(x_i,y_i)}{1+d_i(x_i,y_i)}.$$ बेशुमार कई मीट्रिक रिक्त स्थान के टोपोलॉजिकल उत्पाद को मीट्रिक करने योग्य नहीं होना चाहिए। उदाहरण के लिए, प्रतियों का एक बेशुमार उत्पाद $$\mathbb{R}$$ प्रथम-गणनीय स्थान नहीं है | प्रथम-गणनीय और इस प्रकार मेट्रिज़ेबल नहीं है।

भागफल मीट्रिक रिक्त स्थान
यदि $N$ मीट्रिक के साथ एक मीट्रिक स्थान है $N$, तथा $$\sim$$ पर एक तुल्यता संबंध  है $n$, तो हम भागफल सेट को समाप्त कर सकते हैं $$M/\!\sim$$ एक स्यूडोमेट्रिक के साथ। दो तुल्यता वर्गों के बीच की दूरी $$[x]$$ तथा $$[y]$$ की तरह परिभाषित किया गया है $$d'([x],[y]) = \inf\{d(p_1,q_1)+d(p_2,q_2)+\dotsb+d(p_{n},q_{n})\},$$ जहां सभी परिमित अनुक्रमों पर सबसे अधिक लिया जाता है $$(p_1, p_2, \dots, p_n)$$ तथा $$(q_1, q_2, \dots, q_n)$$ साथ $$p_1 \sim x$$, $$q_n \sim y$$, $$q_i \sim p_{i+1}, i=1,2,\dots, n-1$$. सामान्य तौर पर यह केवल एक छद्ममितीय स्थान को परिभाषित करेगा, अर्थात। $$d'([x],[y])=0$$ जरूरी नहीं कि इसका मतलब यह हो $$[x]=[y]$$. हालांकि, कुछ तुल्यता संबंधों के लिए (उदाहरण के लिए, चेहरे के साथ पॉलीहेड्रा को एक साथ चिपकाकर दिया गया), $$d'$$ एक मीट्रिक है।

भागफल मीट्रिक $$d'$$ निम्नलिखित सार्वभौमिक संपत्ति  की विशेषता है। यदि $$f\,\colon(M,d)\to(X,\delta)$$ संतोषजनक मीट्रिक रिक्त स्थान के बीच एक मीट्रिक (यानी 1-लिप्सचिट्ज़) नक्शा है $f(x) = f(y)$ जब भी $$x \sim y$$, फिर प्रेरित कार्य $$\overline{f}\,\colon {M/\sim}\to X$$, के द्वारा दिया गया $$\overline{f}([x])=f(x)$$, एक मीट्रिक मानचित्र है $$\overline{f}\,\colon (M/\sim,d')\to (X,\delta).$$ भागफल मीट्रिक हमेशा भागफल टोपोलॉजी  को प्रेरित नहीं करता है। उदाहरण के लिए, मीट्रिक स्थान का टोपोलॉजिकल भागफल $$\N \times [0,1]$$ प्रपत्र के सभी बिंदुओं की पहचान करना $$(n, 0)$$ मापनीय नहीं है क्योंकि यह प्रथम-गणनीय स्थान नहीं है|पहली-गणनीय है, लेकिन भागफल मीट्रिक उसी सेट पर एक अच्छी तरह से परिभाषित मीट्रिक है जो  टोपोलॉजी की तुलना  को प्रेरित करता है। इसके अलावा, मूल टोपोलॉजिकल स्पेस पर अलग-अलग मेट्रिक्स (कई अंतरालों का एक अलग संघ) भागफल पर अलग-अलग टोपोलॉजी की ओर ले जाता है। एक टोपोलॉजिकल स्पेस अनुक्रमिक स्थान  है यदि और केवल अगर यह मीट्रिक स्पेस का (टोपोलॉजिकल) भागफल है।

मीट्रिक रिक्त स्थान का सामान्यीकरण
रिक्त स्थान की कई धारणाएँ हैं जिनमें एक मीट्रिक स्थान की तुलना में कम संरचना होती है, लेकिन एक स्थलीय स्थान से अधिक होती है।
 * समान रिक्त स्थान वे स्थान होते हैं जिनमें दूरियां परिभाषित नहीं होती हैं, लेकिन एकसमान निरंतरता होती है।
 * दृष्टिकोण स्थान वे स्पेस होते हैं जिनमें पॉइंट-टू-पॉइंट डिस्टेंस के बजाय पॉइंट-टू-सेट डिस्टेंस को परिभाषित किया जाता है।  श्रेणी सिद्धांत  के दृष्टिकोण से उनके पास विशेष रूप से अच्छे गुण हैं।
 * निरंतरता रिक्त स्थान मीट्रिक रिक्त स्थान और पोसेट  का एक सामान्यीकरण है जिसका उपयोग मीट्रिक रिक्त स्थान और  डोमेन सिद्धांत ों की धारणाओं को एकीकृत करने के लिए किया जा सकता है।

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

विस्तारित मेट्रिक्स
कुछ लेखक मेट्रिक्स को परिभाषित करते हैं ताकि दूरी फ़ंक्शन की अनुमति दी जा सके $M$ का मान प्राप्त करने के लिए, अर्थात विस्तारित वास्तविक संख्या रेखा  पर दूरियां गैर-ऋणात्मक संख्याएं हैं। ऐसे फलन को विस्तारित मीट्रिक या -मीट्रिक भी कहा जाता है। प्रत्येक विस्तारित मीट्रिक को एक परिमित मीट्रिक द्वारा प्रतिस्थापित किया जा सकता है जो स्थलीय रूप से समतुल्य है। यह एक  उप-योगात्मक कार्य  का उपयोग करके किया जा सकता है जो एकरस रूप से बढ़ते हुए बाउंडेड फ़ंक्शन का उपयोग करता है जो शून्य पर शून्य है, उदा। $$d'(x, y) = d(x, y) / (1 + d(x, y))$$ या $$d''(x, y) = \min(1, d(x, y))$$.

वास्तविक संख्याओं के अलावा अन्य संरचनाओं में मूल्यवान मेट्रिक्स
आवश्यकता है कि मीट्रिक में मान लिया जाए $$[0,\infty)$$ अन्य संरचनाओं में मूल्यों के साथ मेट्रिक्स पर विचार करने के लिए आराम किया जा सकता है, जिनमें निम्न शामिल हैं: ये सामान्यीकरण अभी भी अंतरिक्ष पर एक समान स्थान उत्पन्न करते हैं।
 * आदेशित फ़ील्ड, एक सामान्यीकृत मीट्रिक  की धारणा प्रदान करते हैं।
 * अधिक सामान्य निर्देशित सेट । एक जोड़ ऑपरेशन की अनुपस्थिति में, त्रिभुज असमानता का कोई मतलब नहीं है और इसे एक  अल्ट्रामेट्रिक स्पेस  के साथ बदल दिया जाता है। यह एक सामान्यीकृत अल्ट्रामेट्रिक की धारणा की ओर जाता है।

स्यूडोमेट्रिक्स
एक स्यूडोमेट्रिक ऑन $$X$$ एक समारोह है $$d: X \times X \to \R$$ जो एक मीट्रिक के लिए स्वयंसिद्धों को संतुष्ट करता है, सिवाय इसके कि केवल दूसरे (अविवेकी की पहचान) के बजाय $$d(x,x)=0$$ सभी के लिए$$x$$आवश्यक है। दूसरे शब्दों में, एक छद्ममितीय के लिए स्वयंसिद्ध हैं:


 * 1) $$d(x, y) \geq 0$$
 * 2) $$d(x,x)=0$$
 * 3) $$d(x,y)=d(y,x)$$
 * 4) $$d(x,z)\leq d(x,y) + d(y,z)$$.

कुछ संदर्भों में, स्यूडोमेट्रिक्स को सेमीमेट्रिक्स कहा जाता है सेमीनॉर्म्स से उनके संबंध के कारण।

क्वासिमेट्रिक्स
कभी-कभी, एक क्वासिमेट्रिक को एक फ़ंक्शन के रूप में परिभाषित किया जाता है जो समरूपता के संभावित अपवाद के साथ एक मीट्रिक के लिए सभी सिद्धांतों को संतुष्ट करता है। इस सामान्यीकरण का नाम पूरी तरह से मानकीकृत नहीं है। वास्तविक जीवन में क्वासिमेट्रिक्स आम हैं। उदाहरण के लिए, एक सेट दिया गया $d$ पर्वतीय गांवों का, के तत्वों के बीच विशिष्ट चलने का समय $M$ एक अर्धसूत्रीविभाजन बनाते हैं क्योंकि ऊपर की ओर यात्रा करने में डाउनहिल की तुलना में अधिक समय लगता है। एक और उदाहरण एक तरफा सड़कों वाले शहर में टैक्सीकैब ज्यामिति है: यहां, बिंदु से सबसे छोटा रास्ता $d$ बात करने के लिए $X$ से सबसे छोटे रास्ते की तुलना में सड़कों के एक अलग सेट के साथ जाता है $X$ प्रति $A$ और एक अलग लंबाई हो सकती है। वास्तविक पर एक अर्ध मीट्रिक को सेटिंग द्वारा परिभाषित किया जा सकता है $$d(x,y)=\begin{cases} x-y & \text{if }x\geq y,\\ 1 & \text{otherwise.} \end{cases}$$ 1 को प्रतिस्थापित किया जा सकता है, उदाहरण के लिए, अनंत या द्वारा $$1 + \sqrt{y-x}$$ या किसी अन्य उप-सम्मिलन समारोह $y-x$. यह क्वासिमेट्रिक धातु की छड़ी को संशोधित करने की लागत का वर्णन करता है: फाइलिंग (धातु के काम) द्वारा इसके आकार को कम करना आसान है, लेकिन इसे बढ़ाना मुश्किल या असंभव है।
 * 1) $$d(x, y) \geq 0$$
 * 2) $$d(x,y)=0 \iff x=y $$
 * 3) $$d(x,z) \leq d(x,y) + d(y,z)$$

पर एक क्वासिमेट्रिक दिया गया $B$, कोई एक परिभाषित कर सकता है $B$-गेंद चारों ओर $A$ सेट होना $$\{y \in X | d(x,y) \leq R\}$$. जैसा कि एक मीट्रिक के मामले में होता है, ऐसी गेंदें टोपोलॉजी के लिए आधार बनाती हैं $X$, लेकिन इस टोपोलॉजी को मेट्रिज़ेबल होने की आवश्यकता नहीं है। उदाहरण के लिए, ऊपर वर्णित वास्तविकताओं पर क्वासिमेट्रिक द्वारा प्रेरित टोपोलॉजी (उलट) सोरगेनफ्रे लाइन  है।

मेटामेट्रिक्स या आंशिक मेट्रिक्स
एक मेटामेट्रिक में, एक मीट्रिक के सभी स्वयंसिद्ध संतुष्ट होते हैं, सिवाय इसके कि समान बिंदुओं के बीच की दूरी जरूरी नहीं कि शून्य हो। दूसरे शब्दों में, एक मेटामेट्रिक के लिए स्वयंसिद्ध हैं:

मेटामेट्रिक्स -हाइपरबोलिक स्पेस और उनकी सीमाओं के अध्ययन में दिखाई देते हैं। ऐसे स्थान पर दृश्य मेटामेट्रिक संतुष्ट करता है $$d(x,x)=0$$ अंक के लिए $$x$$ सीमा पर, लेकिन अन्यथा $$d(x,x)$$ लगभग से दूरी है$$x$$सीमा तक। मेटामेट्रिक्स को सबसे पहले जुसी वैसाला द्वारा परिभाषित किया गया था। अन्य कार्य में, इन अभिगृहीतों को संतुष्ट करने वाला फलन आंशिक मीट्रिक कहलाता है या एक अव्यवस्थित मीट्रिक।
 * 1) $$d(x,y)\geq 0$$
 * 2) $$d(x,y)=0 \implies x=y$$
 * 3) $$d(x,y)=d(y,x)$$
 * 4) $$d(x,z)\leq d(x,y)+d(y,z).$$

सेमीमेट्रिक्स
एक सेमीमेट्रिक चालू $$X$$ एक समारोह है $$d: X \times X \to \R$$ जो पहले तीन स्वयंसिद्धों को संतुष्ट करता है, लेकिन जरूरी नहीं कि त्रिभुज असमानता:

कुछ लेखक त्रिभुज असमानता के कमजोर रूप के साथ काम करते हैं, जैसे:
 * 1) $$d(x,y)\geq 0$$
 * 2) $$d(x,y)=0 \iff x=y$$
 * 3) $$d(x,y)=d(y,x)$$



-इन्फ़्रैमेट्रिक असमानता का अर्थ है -आराम से त्रिकोण असमानता (पहले स्वयंसिद्ध मानते हुए), और ρ-आराम से त्रिकोण असमानता का अर्थ है 2ρ-इन्फ़्रैमेट्रिक असमानता। इन समकक्ष शर्तों को पूरा करने वाले सेमीमेट्रिक्स को कभी-कभी क्वासिमेट्रिक्स के रूप में संदर्भित किया जाता है, नियरमेट्रिक्स या इन्फ्रामेट्रिक्स। इंटरनेट में  राउंड-ट्रिप देरी समय  को मॉडल करने के लिए -इन्फ़्रैमेट्रिक असमानताओं को पेश किया गया था। त्रिभुज असमानता का अर्थ है 2-इन्फ़्रैमेट्रिक असमानता, और  अल्ट्रामेट्रिक असमानता  बिल्कुल 1-इन्फ़्रैमेट्रिक असमानता है।
 * $$d(x,z)\leq \rho\,(d(x,y)+d(y,z))$$
 * ρ-relaxed triangle inequality
 * $$d(x,z)\leq \rho\,\max\{d(x,y),d(y,z)\}$$
 * ρ-inframetric inequality
 * }
 * }

प्रीमेट्रिक्स
अंतिम तीन स्वयंसिद्धों को शिथिल करने से एक प्रीमेट्रिक की धारणा होती है, अर्थात एक फ़ंक्शन जो निम्नलिखित शर्तों को पूरा करता है:

यह एक मानक शब्द नहीं है। कभी-कभी इसका उपयोग मेट्रिक्स के अन्य सामान्यीकरणों को संदर्भित करने के लिए किया जाता है जैसे कि स्यूडोसेमीमेट्रिक्स या स्यूडोमेट्रिक्स; रूसी पुस्तकों के अनुवाद में यह कभी-कभी पैरामीट्रिक के रूप में प्रकट होता है। एक प्रीमीट्रिक जो समरूपता को संतुष्ट करता है, यानी एक स्यूडोसेमीमेट्रिक, को दूरी भी कहा जाता है। कोई भी प्रीमीट्रिक एक टोपोलॉजी को निम्नानुसार जन्म देता है। एक सकारात्मक वास्तविकता के लिए $$r$$, द $r$-ball एक बिंदु पर केंद्रित $$p$$ की तरह परिभाषित किया गया है
 * 1) $$d(x,y)\geq 0$$
 * 2) $$d(x,x)=0$$
 * $$B_r(p)=\{ x | d(x,p) < r \}.$$

एक सेट को खुला कहा जाता है यदि किसी बिंदु के लिए$$p$$सेट में एक है $r$-ball पर केंद्रित$$p$$जो सेट में निहित है। प्रत्येक प्रीमेट्रिक स्पेस एक टोपोलॉजिकल स्पेस है, और वास्तव में एक अनुक्रमिक स्थान है। सामान्य तौर पर, $r$-balls इस टोपोलॉजी के संबंध में स्वयं को खुले सेट होने की आवश्यकता नहीं है। मेट्रिक्स के लिए, दो सेटों के बीच की दूरी $$A$$ तथा$$B$$, की तरह परिभाषित किया गया है
 * $$d(A,B)=\underset{x\in A, y\in B}\inf d(x,y).$$

यह प्रीमेट्रिक स्पेस के सत्ता स्थापित  पर प्रीमेट्रिक को परिभाषित करता है। यदि हम एक (स्यूडोसेमी-) मीट्रिक स्पेस से शुरू करते हैं, तो हमें एक स्यूडोसेमीमेट्रिक, यानी एक सममित प्रीमेट्रिक मिलता है। कोई भी प्रीमीट्रिक प्रीक्लोजर ऑपरेटर  को जन्म देता है $$cl$$ निम्नलिखित नुसार:
 * $$cl(A)=\{ x | d(x,A) = 0 \}.$$

स्यूडोक्वासिमेट्रिक्स
उपसर्ग छद्म-, अर्ध- और अर्ध- को भी जोड़ा जा सकता है, उदाहरण के लिए, एक 'स्यूडोक्वासिमेट्रिक' (कभी-कभी 'हेमीमेट्रिक' कहा जाता है) अविवेकी स्वयंसिद्ध और समरूपता स्वयंसिद्ध दोनों को आराम देता है और त्रिकोण असमानता को संतुष्ट करने वाला केवल एक प्रीमेट्रिक है। स्यूडोक्वासिमेट्रिक रिक्त स्थान के लिए खुला $r$-balls खुले सेटों का आधार बनाते हैं। स्यूडोक्वासिमेट्रिक स्पेस का एक बहुत ही बुनियादी उदाहरण सेट है $$\{0,1\}$$ द्वारा दिए गए प्रीमेट्रिक के साथ $$d(0,1) = 1$$ तथा $$d(1,0) = 0.$$ संबंधित टोपोलॉजिकल स्पेस सिएरपिन्स्की स्पेस है।

विस्तारित स्यूडोक्वासिमेट्रिक से लैस सेटों का अध्ययन विलियम लॉवेरे  द्वारा सामान्यीकृत मीट्रिक रिक्त स्थान के रूप में किया गया था। श्रेणी सिद्धांत के दृष्टिकोण से, विस्तारित स्यूडोमेट्रिक रिक्त स्थान और विस्तारित स्यूडोक्वासिमेट्रिक रिक्त स्थान, उनके संबंधित गैर-विस्तार वाले मानचित्रों के साथ, मीट्रिक रिक्त स्थान की श्रेणी का सबसे अच्छा व्यवहार किया जाता है। कोई व्यक्ति मनमाने उत्पाद और उत्पाद ले सकता है और दी गई श्रेणी के भीतर भागफल वस्तुएँ बना सकता है। यदि एक बूंद बढ़ा दी जाती है, तो वह केवल परिमित उत्पाद और सह-उत्पाद ले सकता है। यदि कोई छद्म छोड़ता है, तो कोई भागफल नहीं ले सकता।

लॉवरे ने समृद्ध श्रेणी  के रूप में ऐसे रिक्त स्थान की वैकल्पिक परिभाषा भी दी। आदेश दिया सेट $$(\mathbb{R},\geq)$$ एक रूपवाद के साथ एक  श्रेणी (गणित)  के रूप में देखा जा सकता है $$a\to b$$ यदि $$a\geq b$$ और कोई अन्यथा नहीं। का उपयोग करते हुए $+$  टेंसर उत्पाद  के रूप में और 0  पहचान तत्व  के रूप में इस श्रेणी को एक  मोनोइडल श्रेणी  में बनाता है $$R^*$$. प्रत्येक (विस्तारित स्यूडोक्वासी-)मीट्रिक स्पेस $$(M,d)$$ अब एक श्रेणी के रूप में देखा जा सकता है $$M^*$$ अधिक समृद्ध $$R^*$$:
 * श्रेणी की वस्तुएं के बिंदु हैं $R$.
 * अंक की प्रत्येक जोड़ी के लिए $x$ तथा $X$ ऐसा है कि $$d(x,y)<\infty$$, एक एकल रूपवाद है जिसे ऑब्जेक्ट सौंपा गया है $$d(x,y)$$ का $$R^*$$.
 * त्रिभुज असमानता और तथ्य यह है कि $$d(x,x)=0$$ सभी बिंदुओं के लिए $M$ एक समृद्ध श्रेणी में रचना और पहचान के गुणों से व्युत्पन्न।
 * तब से $$R^*$$ एक पोसेट है, सभी आरेख (श्रेणी सिद्धांत)  जो एक समृद्ध श्रेणी के लिए स्वचालित रूप से आवश्यक हैं।

मल्टीसेट पर मेट्रिक्स
एक मीट्रिक की धारणा को दो तत्वों के बीच की दूरी से तत्वों के एक मल्टीसेट को सौंपी गई संख्या तक सामान्यीकृत किया जा सकता है। एक मल्टीसेट एक सेट (गणित) की धारणा का एक सामान्यीकरण है जिसमें एक तत्व एक से अधिक बार हो सकता है। मल्टीसेट यूनियन को परिभाषित करें $$U=XY$$ इस प्रकार है: यदि एक तत्व $x$ घटित होना $y$ टाइम्स इन $x$ तथा $x$ टाइम्स इन $m$ तब होता है $m + n$ टाइम्स इन $X$. एक समारोह $n$ एक सेट के तत्वों के गैर-रिक्त परिमित मल्टीसेट के सेट पर $Y$ एक मीट्रिक है यदि अभिगृहीत 1 और 2 के मामलों पर विचार करके जिसमें बहुसेट $U$ दो तत्व हैं और स्वयंसिद्ध 3 का मामला है जिसमें मल्टीसेट $d$, $M$, तथा $X$ प्रत्येक में एक तत्व है, एक मीट्रिक के लिए सामान्य सिद्धांतों को पुनर्प्राप्त करता है। अर्थात्, प्रत्येक मल्टीसेट मीट्रिक दो तत्वों के सेट तक सीमित होने पर एक सामान्य मीट्रिक उत्पन्न करता है।
 * 1) $$d(X)=0$$ यदि के सभी तत्व $X$ बराबर हैं और $$d(X) > 0$$ अन्यथा ( सकारात्मक निश्चितता )
 * 2) $$d(X)$$ केवल (अनियंत्रित) मल्टीसेट पर निर्भर करता है $X$ ( समरूपता )
 * 3) $$d(XY) \leq d(XZ)+d(ZY)$$ (असमानित त्रिकोण)

एक साधारण उदाहरण सभी गैर-रिक्त परिमित मल्टीसेट का सेट है $$X$$ पूर्णांकों के साथ $$d(X)=\max (X)- \min (X)$$. अधिक जटिल उदाहरण हैं मल्टीसेट में सूचना दूरी ; और मल्टीसेट्स में  सामान्यीकृत संपीड़न दूरी  (एनसीडी)।

संदर्भ




बाहरी संबंध

 * Far and near &mdash; several examples of distance functions at cut-the-knot.
 * Far and near &mdash; several examples of distance functions at cut-the-knot.

<!--

A metric is called an ultrametric if it satisfies the following stronger version of the triangle inequality for all $$x,y,z\in X$$:
 * $$d(x, y) \leq \max \{ d(x, z), d(y, z) \}.$$

A metric $$d$$ on a group $$G$$ (written multiplicatively) is said to be (resp. ) if for all $$x, y, z \in G$$
 * $$d(zx, zy) = d(x, y)$$ [resp. $$d(xz,yz)=d(x,y)$$].

A metric $$d$$ on a commutative additive group $$X$$ is said to be if for all $$x,y,z\in X$$
 * $$d(x, y) = d(x + z, y + z),$$or equivalently $$d(x, y) = d(x - y, 0).$$

Examples

 * The normed space $$(\R, {|\cdot |})$$ is a Banach space where the absolute value is a norm on the real line $$\R$$ that induces the usual Euclidean topology on $$\R.$$ Define a metric $$d : \R \times \R \to \R$$ on $$\R$$ by $$d(x, y) = {|\arctan(x) - \arctan(y)|}$$ for all $$x,y\in\R.$$ Just like ${ induced metric, the metric $$d$$ also induces the usual Euclidean topology on $$\R$$. However, $$d$$ is not a complete metric because the sequence $$x_{\bull} = \left(x_i\right)_{i=1}^{\infty}$$ defined by $$x_i := i$$ is a $d$‑Cauchy sequence but it does not converge to any point of $$\R$$. As a consequence of not converging, this $d$-Cauchy sequence cannot be a Cauchy sequence in $$(\R, {|\cdot |})$$ (i.e. it is not a Cauchy sequence with respect to the norm $${\|\cdot \|}$$) because if it was $ then the fact that $$(\R, {|\cdot |})$$ is a Banach space would imply that it converges (a contradiction).

Equivalence of metrics
For a given set X, two metrics $$d_1$$ and $$d_2$$ are called topologically equivalent (uniformly equivalent) if the identity mapping
 * $${\rm id}: (X,d_1)\to (X,d_2)$$

is a homeomorphism (uniform isomorphism).

For example, if $$d$$ is a metric, then $$\min (d, 1)$$ and $$\frac{d}{1+d}$$ are metrics equivalent to $$d.$$