स्यूडोमेट्रिक स्पेस: Difference between revisions

Revision as of 19:10, 27 April 2023

गणित में, स्यूडो मीट्रिक स्पेस एक मीट्रिक स्पेस का सामान्यीकरण है जिसमें दो अलग-अलग बिंदुओं के बीच की दूरी शून्य हो सकती है। 1934 में डुरो कुरेपा द्वारा स्यूडोमेट्रिक स्पेस पेश किए गए थे।^[1]^[2] उसी प्रकार जैसे प्रत्येक नॉर्म्ड स्पेस एक मेट्रिक स्पेस होता है, वैसे ही प्रत्येक सेमिनोर्म स्पेस एक स्यूडोमेट्रिक स्पेस होता है। इस सादृश्य के कारण शब्द अर्धमेट्रिक स्पेस (जिसका टोपोलॉजी में अलग अर्थ है) को कभी-कभी विशेष रूप से कार्यात्मक विश्लेषण में एक पर्याय के रूप में प्रयोग किया जाता है।

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

परिभाषा

स्यूडोमेट्रिक स्पेस $(X,d)$ गैर-ऋणात्मक वास्तविक-मूल्यवान फलन $d:X\times X\longrightarrow \mathbb {R} _{\geq 0}$ के साथ एक समुच्चय $X$ है जिसे स्यूडोमेट्रिक कहा जाता है, जैसे कि प्रत्येक $x,y,z\in X$ के लिए

$d(x,x)=0.$
समरूपता: $d(x,y)=d(y,x)$
उपयोगात्मकता/त्रिभुज असमानता: $d(x,z)\leq d(x,y)+d(y,z)$

मीट्रिक स्पेस के विपरीत, स्यूडोमेट्रिक स्पेस में बिंदुओं को अलग करने की आवश्यकता नहीं है; अर्थात् अलग-अलग मानों $x\neq y$ के लिए $d(x,y)=0$ हो सकता है।

उदाहरण

कोई भी मीट्रिक स्पेस स्यूडोमेट्रिक स्पेस है। कार्यात्मक विश्लेषण में स्यूडोमेट्रिक्स स्वाभाविक रूप से उत्पन्न होते हैं। वास्तविक मूल्यवान फलनों $f:X\to \mathbb {R}$ के साथ में विशेष बिंदु $x_{0}\in X$ के स्थान ${\mathcal {F}}(X)$ स्पेस पर विचार करें। यह बिंदु तब दिए गए फलनों के स्पेस पर स्यूडोमेट्रिक को प्रेरित करता है

d(f,g)=\left|f(x_{0})-g(x_{0})\right|

के लिए

f,g\in {\mathcal {F}}(X)

एक सेमिनोर्म

p

स्यूडोमेट्रिक

d(x,y)=p(x-y)

है। यह

x

(विशेष रूप से, अनुवाद (ज्यामिति)) के एक एफ़िन फलन का उत्तल कार्य है, और इसलिए

x

(इसी तरह

y

के लिए) में उत्तल है।

इसके विपरीत, सजातीय, अनुवाद-अपरिवर्तनीय स्यूडोमेट्रिक सेमिनोर्म को प्रेरित करता है।

हाइपरबोलिक जटिल कई गुना के सिद्धांत में स्यूडोमेट्रिक्स भी उत्पन्न होते हैं: कोबायाशी मीट्रिक देखें।

प्रत्येक माप स्पेस $(\Omega ,{\mathcal {A}},\mu )$ परिभाषित करके पूर्ण स्यूडोमेट्रिक स्पेस के रूप में देखा जा सकता है

d(A,B):=\mu (A\vartriangle B)

सभी के लिए

A,B\in {\mathcal {A}},

जहाँ त्रिभुज सममित अंतर को दर्शाता है।

यदि $f:X_{1}\to X_{2}$ फलन है और d₂ X₂ पर स्यूडोमेट्रिक्स है, तब $d_{1}(x,y):=d_{2}(f(x),f(y))$ X₁ पर स्यूडोमेट्रिक्स देता है. यदि d₂ मीट्रिक है और f अंतःक्रियात्मक फलन है, तो d₁ पैमाना है।

टोपोलॉजी

स्यूडोमेट्रिक टोपोलॉजी खुली गेंदों द्वारा उत्पन्न टोपोलॉजी (संरचना) है

B_{r}(p)=\{x\in X:d(p,x)<r\},

जो टोपोलॉजी के लिए आधार (टोपोलॉजी) बनाते हैं।^[3] टोपोलॉजिकल स्पेस को स्यूडोमीट्रिज़ेबल स्पेस कहा जाता है^[4] यदि स्पेस को स्यूडोमेट्रिक दिया जा सकता है जैसे कि स्यूडोमेट्रिक टोपोलॉजी स्पेस में दिए गए टोपोलॉजी के साथ मेल खाता है।

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

मीट्रिक रिक्त स्पेस के लिए कॉची अनुक्रम और समापन (मीट्रिक स्पेस) की परिभाषाएँ अपरिवर्तित स्यूडोमेट्रिक रिक्त स्पेस पर ले जाती हैं।^[5]

मीट्रिक पहचान

स्यूडोमेट्रिक का लुप्त होना तुल्यता संबंध को प्रेरित करता है, जिसे मीट्रिक पहचान कहा जाता है, जो स्यूडोमेट्रिक्स स्पेस को पूर्ण मीट्रिक स्पेस में परिवर्तित करता है। यह $x\sim y$ को परिभाषित करके किया जाता है यदि $d(x,y)=0$ । मान लें कि $X^{*}=X/{\sim }$ का भागफल स्पेस (टोपोलॉजी) हो इस तुल्यता संबंध से $X$ का विभाग स्थान है और परिभाषित करें

{\begin{aligned}d^{*}:(X/\sim )&\times (X/\sim )\longrightarrow \mathbb {R} _{\geq 0}\\d^{*}([x],[y])&=d(x,y)\end{aligned}}

यह अच्छी तरह से परिभाषित है क्योंकि किसी भी

x'\in [x]

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

d(x,x')=0

है और इसलिए

d(x',y)\leq d(x,x')+d(x,y)=d(x,y)

और इसके विपरीत हैं। तब

d^{*}

X^{*}

पर एक मीट्रिक है और

(X^{*},d^{*})

अच्छी तरह से परिभाषित मीट्रिक स्पेस है, जिसे स्यूडोमेट्रिक्स स्पेस

(X,d)

द्वारा प्रेरित मीट्रिक स्पेस कहा जाता है।^[6]^[7]

मीट्रिक पहचान प्रेरित टोपोलॉजी को संरक्षित करती है। अर्थात् उपसमुच्चय $A\subseteq X$ में खुला (या बंद) $(X,d)$ है यदि और केवल यदि $\pi (A)=[A]$ में खुला (या बंद) $\left(X^{*},d^{*}\right)$ है और $A$ संतृप्त है। सामयिक पहचान कोलमोगोरोव भागफल है।

इस निर्माण का एक उदाहरण इसके कॉची अनुक्रमों द्वारा एक मीट्रिक स्पेस का पूरा होना है।

यह भी देखें

↑ Kurepa, Đuro (1934). "Tableaux ramifiés d'ensembles, espaces pseudodistaciés". C. R. Acad. Sci. Paris. 198 (1934): 1563–1565.
↑ Collatz, Lothar (1966). कार्यात्मक विश्लेषण और संख्यात्मक गणित (in English). New York, San Francisco, London: Academic Press. p. 51.
↑ "Pseudometric topology". PlanetMath.
↑ Willard, p. 23
↑ Cain, George (Summer 2000). "Chapter 7: Complete pseudometric spaces" (PDF). Archived from the original on 7 October 2020. Retrieved 7 October 2020.
↑ Howes, Norman R. (1995). आधुनिक विश्लेषण और टोपोलॉजी. New York, NY: Springer. p. 27. ISBN 0-387-97986-7. Retrieved 10 September 2012. Let $(X,d)$ be a pseudo-metric space and define an equivalence relation $\sim$ in $X$ by $x\sim y$ if $d(x,y)=0$ . Let $Y$ be the quotient space $X/\sim$ and $p:X\to Y$ the canonical projection that maps each point of $X$ onto the equivalence class that contains it. Define the metric $\rho$ in $Y$ by $\rho (a,b)=d(p^{-1}(a),p^{-1}(b))$ for each pair $a,b\in Y$ . It is easily shown that $\rho$ is indeed a metric and $\rho$ defines the quotient topology on $Y$ .
↑ Simon, Barry (2015). विश्लेषण में एक व्यापक पाठ्यक्रम. Providence, Rhode Island: American Mathematical Society. ISBN 978-1470410995.

संदर्भ

Arkhangel'skii, A.V.; Pontryagin, L.S. (1990). General Topology I: Basic Concepts and Constructions Dimension Theory. Encyclopaedia of Mathematical Sciences. Springer. ISBN 3-540-18178-4.
Steen, Lynn Arthur; Seebach, Arthur (1995) [1970]. Counterexamples in Topology (new ed.). Dover Publications. ISBN 0-486-68735-X.
Willard, Stephen (2004) [1970], General Topology (Dover reprint of 1970 ed.), Addison-Wesley
This article incorporates material from Pseudometric space on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
"Example of pseudometric space". PlanetMath.

[1] Kurepa, Đuro (1934). "Tableaux ramifiés d'ensembles, espaces pseudodistaciés". C. R. Acad. Sci. Paris. 198 (1934): 1563–1565.

[2] Collatz, Lothar (1966). कार्यात्मक विश्लेषण और संख्यात्मक गणित (in English). New York, San Francisco, London: Academic Press. p. 51.

[3] "Pseudometric topology". PlanetMath.

[4] Willard, p. 23

[5] Cain, George (Summer 2000). "Chapter 7: Complete pseudometric spaces" (PDF). Archived from the original on 7 October 2020. Retrieved 7 October 2020.

[6] Howes, Norman R. (1995). आधुनिक विश्लेषण और टोपोलॉजी. New York, NY: Springer. p. 27. ISBN 0-387-97986-7. Retrieved 10 September 2012. Let $(X,d)$ be a pseudo-metric space and define an equivalence relation $\sim$ in $X$ by $x\sim y$ if $d(x,y)=0$ . Let $Y$ be the quotient space $X/\sim$ and $p:X\to Y$ the canonical projection that maps each point of $X$ onto the equivalence class that contains it. Define the metric $\rho$ in $Y$ by $\rho (a,b)=d(p^{-1}(a),p^{-1}(b))$ for each pair $a,b\in Y$ . It is easily shown that $\rho$ is indeed a metric and $\rho$ defines the quotient topology on $Y$ .

[7] Simon, Barry (2015). विश्लेषण में एक व्यापक पाठ्यक्रम. Providence, Rhode Island: American Mathematical Society. ISBN 978-1470410995.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 31: / Line 31: @@
 == टोपोलॉजी ==
-{{visible anchor|pseudometric topology}} खुली गेंदों द्वारा उत्पन्न [[टोपोलॉजी (संरचना)]] है
+{{visible anchor|स्यूडोमेट्रिक टोपोलॉजी}} खुली गेंदों द्वारा उत्पन्न [[टोपोलॉजी (संरचना)]] है
 <math display=block>B_r(p) = \{x \in X : d(p, x) < r\},</math>
-जो टोपोलॉजी के लिए [[आधार (टोपोलॉजी)]] बनाते हैं।<ref>{{planetmath reference|urlname=PseudometricTopology|title=Pseudometric topology}}</ref> टोपोलॉजिकल स्पेस को कहा जाता है{{visible anchor|pseudometrizable space}}<ref>Willard, p. 23</ref> यदि स्पेस को स्यूडोमेट्रिक दिया जा सकता है जैसे कि स्यूडोमेट्रिक टोपोलॉजी स्पेस में दिए गए टोपोलॉजी के साथ मेल खाता है।
+जो टोपोलॉजी के लिए [[आधार (टोपोलॉजी)]] बनाते हैं।<ref>{{planetmath reference|urlname=PseudometricTopology|title=Pseudometric topology}}</ref> टोपोलॉजिकल स्पेस को {{visible anchor|स्यूडोमीट्रिज़ेबल स्पेस}} कहा जाता है<ref>Willard, p. 23</ref> यदि स्पेस को स्यूडोमेट्रिक दिया जा सकता है जैसे कि स्यूडोमेट्रिक टोपोलॉजी स्पेस में दिए गए टोपोलॉजी के साथ मेल खाता है।
-स्यूडोमेट्रिक्स और मेट्रिक्स के बीच का अंतर पूरी तरह से सामयिक है। यही है, स्यूडोमेट्रिक मीट्रिक है यदि और केवल यदि यह उत्पन्न होने वाली टोपोलॉजी T0 स्पेस है। टी<sub>0</sub>(अर्थात, अलग-अलग बिंदु स्थैतिक रूप से अलग-अलग होते हैं)।
+स्यूडोमेट्रिक्स और मेट्रिक्स के बीच का अंतर पूरी तरह से सामयिक है। यही है, स्यूडोमेट्रिक एक मीट्रिक है यदि और केवल यदि यह उत्पन्न होने वाली टोपोलॉजी T0 (अर्थात, अलग-अलग बिंदु स्थैतिक रूप से अलग-अलग होते हैं) स्पेस है।
 मीट्रिक रिक्त स्पेस के लिए [[कॉची अनुक्रम]] और समापन (मीट्रिक स्पेस) की परिभाषाएँ अपरिवर्तित स्यूडोमेट्रिक रिक्त स्पेस पर ले जाती हैं।<ref>{{Cite web|last=Cain|first=George|date=Summer 2000|title=Chapter 7: Complete pseudometric spaces|url=http://people.math.gatech.edu/~cain/summer00/ch7.pdf|url-status=live|archive-url=https://archive.today/fnt7f|archive-date=7 October 2020|access-date=7 October 2020}}</ref>
@@ Line 42: / Line 42: @@
 == मीट्रिक पहचान ==
-स्यूडोमेट्रिक का लुप्त होना [[तुल्यता संबंध]] को प्रेरित करता है, जिसे मीट्रिक पहचान कहा जाता है, जो स्यूडोमेट्रिक्स स्पेस को पूर्ण मीट्रिक स्पेस में परिवर्तित करता है। यह परिभाषित करके किया जाता है <math>x\sim y</math> यदि <math>d(x,y)=0</math>. होने देना <math>X^* = X/{\sim}</math> का [[भागफल स्थान (टोपोलॉजी)|भागफल स्पेस (टोपोलॉजी)]] हो <math>X</math> इस तुल्यता संबंध से और परिभाषित करें
+स्यूडोमेट्रिक का लुप्त होना [[तुल्यता संबंध]] को प्रेरित करता है, जिसे मीट्रिक पहचान कहा जाता है, जो स्यूडोमेट्रिक्स स्पेस को पूर्ण मीट्रिक स्पेस में परिवर्तित करता है। यह <math>x\sim y</math> को परिभाषित करके किया जाता है यदि <math>d(x,y)=0</math> । मान लें कि <math>X^* = X/{\sim}</math> का [[भागफल स्थान (टोपोलॉजी)|भागफल स्पेस (टोपोलॉजी)]] हो इस तुल्यता संबंध से <math>X</math> का विभाग स्थान है और परिभाषित करें
 <math display=block>\begin{align}
    d^*:(X/\sim)&\times (X/\sim) \longrightarrow \R_{\geq 0} \\
    d^*([x],[y])&=d(x,y)
 \end{align}</math>
-यह अच्छी तरह से परिभाषित है क्योंकि किसी के लिए <math>x' \in [x]</math> हमारे पास वह है <math>d(x, x') = 0</math> इसलिए <math>d(x', y) \leq d(x, x') + d(x, y) = d(x, y)</math> और इसके विपरीत। तब <math>d^*</math> पर मीट्रिक है <math>X^*</math> और <math>(X^*,d^*)</math> अच्छी तरह से परिभाषित मीट्रिक स्पेस है, जिसे स्यूडोमेट्रिक्स स्पेस द्वारा प्रेरित मीट्रिक स्पेस कहा जाता है <math>(X, d)</math>.<ref>{{cite book|last=Howes|first=Norman R.|title=आधुनिक विश्लेषण और टोपोलॉजी|year=1995|publisher=Springer|location=New York, NY|isbn=0-387-97986-7|url=https://www.springer.com/mathematics/analysis/book/978-0-387-97986-1|access-date=10 September 2012|page=27|quote=Let <math>(X,d)</math> be a pseudo-metric space and define an equivalence relation <math>\sim</math> in <math>X</math> by <math>x \sim y</math> if <math>d(x,y)=0</math>. Let <math>Y</math> be the quotient space <math>X/\sim</math> and <math>p : X\to Y</math> the canonical projection that maps each point of <math>X</math> onto the equivalence class that contains it. Define the metric <math>\rho</math> in <math>Y</math> by <math>\rho(a,b) = d(p^{-1}(a),p^{-1}(b))</math> for each pair <math>a,b \in Y</math>. It is easily shown that <math>\rho</math> is indeed a metric and <math>\rho</math> defines the quotient topology on <math>Y</math>.}}</ref><ref>{{cite book|title=विश्लेषण में एक व्यापक पाठ्यक्रम|last=Simon|first=Barry|publisher=American Mathematical Society|year=2015|isbn=978-1470410995|location=Providence, Rhode Island}}</ref>
+यह अच्छी तरह से परिभाषित है क्योंकि किसी भी <math>x' \in [x]</math> के लिए हमारे पास वह <math>d(x, x') = 0</math> है और इसलिए <math>d(x', y) \leq d(x, x') + d(x, y) = d(x, y)</math> और इसके विपरीत हैं। तब <math>d^*</math><math>X^*</math> पर एक मीट्रिक है और <math>(X^*,d^*)</math> अच्छी तरह से परिभाषित मीट्रिक स्पेस है, जिसे स्यूडोमेट्रिक्स स्पेस <math>(X, d)</math> द्वारा प्रेरित मीट्रिक स्पेस कहा जाता है।<ref>{{cite book|last=Howes|first=Norman R.|title=आधुनिक विश्लेषण और टोपोलॉजी|year=1995|publisher=Springer|location=New York, NY|isbn=0-387-97986-7|url=https://www.springer.com/mathematics/analysis/book/978-0-387-97986-1|access-date=10 September 2012|page=27|quote=Let <math>(X,d)</math> be a pseudo-metric space and define an equivalence relation <math>\sim</math> in <math>X</math> by <math>x \sim y</math> if <math>d(x,y)=0</math>. Let <math>Y</math> be the quotient space <math>X/\sim</math> and <math>p : X\to Y</math> the canonical projection that maps each point of <math>X</math> onto the equivalence class that contains it. Define the metric <math>\rho</math> in <math>Y</math> by <math>\rho(a,b) = d(p^{-1}(a),p^{-1}(b))</math> for each pair <math>a,b \in Y</math>. It is easily shown that <math>\rho</math> is indeed a metric and <math>\rho</math> defines the quotient topology on <math>Y</math>.}}</ref><ref>{{cite book|title=विश्लेषण में एक व्यापक पाठ्यक्रम|last=Simon|first=Barry|publisher=American Mathematical Society|year=2015|isbn=978-1470410995|location=Providence, Rhode Island}}</ref>
-मीट्रिक पहचान प्रेरित टोपोलॉजी को संरक्षित करती है। अर्थात् उपसमुच्चय <math>A \subseteq X</math> में खुला (या बंद) है <math>(X, d)</math> यदि और केवल यदि <math>\pi(A) = [A]</math> में खुला (या बंद) है <math>\left(X^*, d^*\right)</math> और <math>A</math> संतृप्त है। सामयिक पहचान [[कोलमोगोरोव भागफल]] है।
-इस निर्माण का उदाहरण है पूर्ण मीट्रिक स्पेस#पूर्णता इसके कॉची क्रमों द्वारा।
+मीट्रिक पहचान प्रेरित टोपोलॉजी को संरक्षित करती है। अर्थात् उपसमुच्चय <math>A \subseteq X</math> में खुला (या बंद) <math>(X, d)</math> है यदि और केवल यदि <math>\pi(A) = [A]</math> में खुला (या बंद) <math>\left(X^*, d^*\right)</math> है और <math>A</math> संतृप्त है। सामयिक पहचान [[कोलमोगोरोव भागफल]] है।
+इस निर्माण का एक उदाहरण इसके कॉची अनुक्रमों द्वारा एक मीट्रिक स्पेस का पूरा होना है।
 == यह भी देखें ==

Anonymous

Search

स्यूडोमेट्रिक स्पेस: Difference between revisions

Namespaces

More

Page actions

Revision as of 19:10, 27 April 2023

Contents

परिभाषा

उदाहरण

टोपोलॉजी

मीट्रिक पहचान

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

स्यूडोमेट्रिक स्पेस: Difference between revisions

Revision as of 19:10, 27 April 2023

परिभाषा

उदाहरण

टोपोलॉजी

मीट्रिक पहचान

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories