सामान्यीकृत मीट्रिक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 2: Line 2:
गणित में,  सामान्यीकृत मीट्रिक (दूरीक) की अवधारणा मीट्रिक का एक सामान्यीकरण है, जिसमें दूरी एक वास्तविक संख्या नहीं है, बल्कि एक यादृच्छिक  क्रमित क्षेत्र से ली गई है।
गणित में,  सामान्यीकृत मीट्रिक (दूरीक) की अवधारणा मीट्रिक का एक सामान्यीकरण है, जिसमें दूरी एक वास्तविक संख्या नहीं है, बल्कि एक यादृच्छिक  क्रमित क्षेत्र से ली गई है।


सामान्य रूप से, जब हम दूरीक समष्‍टि को परिभाषित करते हैं तो दूरी फलन को वास्तविक मान फलन (गणित) के रूप में लिया जाता है। वास्तविक संख्याएँ एक क्रमित क्षेत्र बनाती हैं जो [[आर्किमिडीयन संपत्ति|आर्किमिडीयन गुण]] और पूर्ण क्रमित क्षेत्र है। इन दूरीक समष्‍टि में कुछ अच्छे गुण होते हैं जैसे: दूरीक समष्‍टि में सुसंहिति, अनुक्रमिक सुसंहिति और गणनीय सुसंहिति समतुल्य आदि हैं। हालांकि, ये गुण इतनी आसानी से प्रग्रहण में नहीं सकते हैं, यदि दूरी फलन  <math>\scriptstyle \R</math> के अतिरिक्त  यादृच्छिक  क्रमित क्षेत्र  में लिया जाता है।
सामान्य रूप से, जब हम दूरीक समष्‍टि को परिभाषित करते हैं तो दूरी फलन को वास्तविक मान फलन (गणित) के रूप में लिया जाता है। वास्तविक संख्याएँ एक क्रमित क्षेत्र बनाती हैं जो [[आर्किमिडीयन संपत्ति|आर्किमिडीयन गुण]] और पूर्ण क्रमित क्षेत्र है। इन दूरीक समष्‍टि में कुछ अच्छे गुण होते हैं जैसे: दूरीक समष्‍टि में सुसंहिति, अनुक्रमिक सुसंहिति और गणनीय सुसंहिति समतुल्य आदि हैं। हालांकि, ये गुण इतनी आसानी से प्रग्रहण नहीं हो  सकते हैं, यदि दूरी फलन  <math>\scriptstyle \R</math> के अतिरिक्त  यादृच्छिक  क्रमित क्षेत्र  में लिया जाता है।




Line 13: Line 13:
# <math>d(x, y) + d(y, z) \geq d(x, z)</math> (त्रिभुज असमानता)।
# <math>d(x, y) + d(y, z) \geq d(x, z)</math> (त्रिभुज असमानता)।


यह सत्यापित करना कठिन  नहीं है कि विवृत गेंदें <math>B(x, \delta)\; := \{y \in M\; : d(x, y) < \delta\}</math> एक उपयुक्त संस्थिति के लिए एक आधार तैयार करें, बाद वाले को [[ मीट्रिक टोपोलॉजी | दूरीक संस्थिति]] पर  <math>M</math> में मीट्रिक के साथ <math>F.</math>
यह सत्यापित करना कठिन  नहीं है कि विवृत गोलक <math>B(x, \delta)\; := \{y \in M\; : d(x, y) < \delta\}</math> एक उपयुक्त संस्थिति के लिए एक आधार बनाती हैं, बाद वाले को [[ मीट्रिक टोपोलॉजी | दूरीक संस्थिति]] पर  <math>M</math> में <math>F</math> मीट्रिक  है।
इस तथ्य को देखते हुए कि <math>F</math> इसके क्रम में संस्थिति नीरस रूप से सामान्य है, हम उम्मीद करेंगे <math>M</math> कम से कम [[नियमित स्थान]] होना।


== और गुण ==
इस तथ्य को ध्यान में रखते हुए कि <math>F</math> अपने क्रम में सांस्थिति  एकदिष्‍टत: लम्बवत है, हम <math>M</math> से कम से कम नियमित होने की अपेक्षा करेंगे।


हालांकि, पसंद के स्वयंसिद्ध के तहत, प्रत्येक सामान्य मीट्रिक नीरस रूप से सामान्य है, क्योंकि, दिया गया है <math>x \in G,</math> कहाँ <math>G</math> ओपन है, ओपन बॉल है <math>B(x, \delta)</math> ऐसा है कि <math>x \in B(x, \delta) \subseteq G.</math> लेना <math>\mu(x, G) = B\left(x, \delta/2\right).</math> मोनोटोन सामान्यता के लिए शर्तों की जाँच करें।
== अधिक गुण ==


आश्चर्य की बात यह है कि, पसंद के बिना भी, सामान्य मेट्रिक्स नीरस रूप से सामान्य हैं।
हालांकि, चयन के स्वयंसिद्ध के अंतर्गत, प्रत्येक सांस्थिति  एकदिष्‍टत:लम्बवत है, क्योंकि, दिए गए <math>x \in G,</math> जहाँ <math>G</math> विवृत है, वहां एक विवृत गोलक <math>B(x, \delta)</math> है। जैसे कि <math>x \in B(x, \delta) \subseteq G</math>  है।एकदिष्‍ट सामान्यता के लिए शर्तों <math>\mu(x, G) = B\left(x, \delta/2\right)</math>  को सत्यापित करें।


सबूत।
आश्चर्य की बात यह है कि, बिना किसी विकल्प के भी, सामान्य मेट्रिक्स एकदिष्‍टत: लम्बवत हैं।


केस I: <math>F</math> एक [[आर्किमिडीयन क्षेत्र]] है।
प्रमाण


अब यदि <math>x</math> में  <math>G, G</math> खुला, हम ले सकते हैं <math>\mu(x, G) := B(x, 1/2n(x,G)),</math> कहाँ <math>n(x, G) := \min\{n \in \N : B(x, 1/n) \subseteq G\},</math> और चाल बिना पसंद के की जाती है।
स्थिति I: <math>F</math> एक [[आर्किमिडीयन क्षेत्र]] है।
 
अब यदि <math>x</math> में  <math>G, G</math> विवृत है, तब हम <math>\mu(x, G) := B(x, 1/2n(x,G)),</math> जहाँ <math>n(x, G) := \min\{n \in \N : B(x, 1/n) \subseteq G\},</math> और चाल बिना पसंद के की जाती है।


केस II: <math>F</math> एक गैर-आर्किमिडीयन क्षेत्र है।
केस II: <math>F</math> एक गैर-आर्किमिडीयन क्षेत्र है।
Line 35: Line 36:
अब परिभाषित करें <math>\mu(x, G) = \bigcup\{B(x, a) : a \in A(x, G)\}.</math> हम दिखाएंगे कि इस mu संकारक के संबंध में, स्थान नीरस रूप से सामान्य है। ध्यान दें कि <math>\mu(x,G)\subseteq G.</math>
अब परिभाषित करें <math>\mu(x, G) = \bigcup\{B(x, a) : a \in A(x, G)\}.</math> हम दिखाएंगे कि इस mu संकारक के संबंध में, स्थान नीरस रूप से सामान्य है। ध्यान दें कि <math>\mu(x,G)\subseteq G.</math>
यदि <math>y</math> इसमें नहीं है <math>G</math> (ओपन सेट युक्त <math>x</math>) और <math>x</math> इसमें नहीं है <math>H</math> (ओपन सेट युक्त <math>y</math>), तो हम उसे दिखाएंगे <math>\mu(x, G) \cap \mu(y, H)</math> खाली है। यदि नहीं, तो कहिए <math>z</math> चौराहे पर है। तब
यदि <math>y</math> इसमें नहीं है <math>G</math> (ओपन सेट युक्त <math>x</math>) और <math>x</math> इसमें नहीं है <math>H</math> (ओपन सेट युक्त <math>y</math>), तो हम उसे दिखाएंगे <math>\mu(x, G) \cap \mu(y, H)</math> खाली है। यदि नहीं, तो कहिए <math>z</math> चौराहे पर है। तब
<math display=block>\exists a \in A(x, G) \colon d(x, z) < a;\;\;
<math display="block">\exists a \in A(x, G) \colon d(x, z) < a;\;\;
\exists b \in A(y, H) \colon d(z, y) < b.</math>
\exists b \in A(y, H) \colon d(z, y) < b.</math>
ऊपर से हमें वह मिलता है <math>d(x, y) \leq d(x, z) + d(z, y) < 2 \cdot \max\{a, b\},</math> जो असंभव है क्योंकि इसका अर्थ यह भी होगा <math>y</math> से संबंधित <math>\mu(x, G) \subseteq G</math> या <math>x</math> से संबंधित <math>\mu(y, H) \subseteq H.</math> यह प्रमाण को पूरा करता है।
ऊपर से हमें वह मिलता है <math>d(x, y) \leq d(x, z) + d(z, y) < 2 \cdot \max\{a, b\},</math> जो असंभव है क्योंकि इसका अर्थ यह भी होगा <math>y</math> से संबंधित <math>\mu(x, G) \subseteq G</math> या <math>x</math> से संबंधित <math>\mu(y, H) \subseteq H.</math> यह प्रमाण को पूरा करता है।

Revision as of 06:47, 28 April 2023

गणित में, सामान्यीकृत मीट्रिक (दूरीक) की अवधारणा मीट्रिक का एक सामान्यीकरण है, जिसमें दूरी एक वास्तविक संख्या नहीं है, बल्कि एक यादृच्छिक क्रमित क्षेत्र से ली गई है।

सामान्य रूप से, जब हम दूरीक समष्‍टि को परिभाषित करते हैं तो दूरी फलन को वास्तविक मान फलन (गणित) के रूप में लिया जाता है। वास्तविक संख्याएँ एक क्रमित क्षेत्र बनाती हैं जो आर्किमिडीयन गुण और पूर्ण क्रमित क्षेत्र है। इन दूरीक समष्‍टि में कुछ अच्छे गुण होते हैं जैसे: दूरीक समष्‍टि में सुसंहिति, अनुक्रमिक सुसंहिति और गणनीय सुसंहिति समतुल्य आदि हैं। हालांकि, ये गुण इतनी आसानी से प्रग्रहण नहीं हो सकते हैं, यदि दूरी फलन के अतिरिक्त यादृच्छिक क्रमित क्षेत्र में लिया जाता है।


प्रारंभिक परिभाषा

मान लीजिए कि यादृच्छिक क्रमित क्षेत्र हो, और अरिक्त समुच्च्य; एक फलन को पर एक मीट्रिक कहा जाता है, यदि निम्न स्थितियाँ हैं

  1. यदि और केवल यदि ;
  2. (समरूपता);
  3. (त्रिभुज असमानता)।

यह सत्यापित करना कठिन नहीं है कि विवृत गोलक एक उपयुक्त संस्थिति के लिए एक आधार बनाती हैं, बाद वाले को दूरीक संस्थिति पर में मीट्रिक है।

इस तथ्य को ध्यान में रखते हुए कि अपने क्रम में सांस्थिति एकदिष्‍टत: लम्बवत है, हम से कम से कम नियमित होने की अपेक्षा करेंगे।

अधिक गुण

हालांकि, चयन के स्वयंसिद्ध के अंतर्गत, प्रत्येक सांस्थिति एकदिष्‍टत:लम्बवत है, क्योंकि, दिए गए जहाँ विवृत है, वहां एक विवृत गोलक है। जैसे कि है।एकदिष्‍ट सामान्यता के लिए शर्तों को सत्यापित करें।

आश्चर्य की बात यह है कि, बिना किसी विकल्प के भी, सामान्य मेट्रिक्स एकदिष्‍टत: लम्बवत हैं।

प्रमाण

स्थिति I: एक आर्किमिडीयन क्षेत्र है।

अब यदि में विवृत है, तब हम जहाँ और चाल बिना पसंद के की जाती है।

केस II: एक गैर-आर्किमिडीयन क्षेत्र है।

माफ़ कर दिया कहाँ खुला है, सेट पर विचार करें सेट खाली नहीं है। के लिए के रूप में ओपन है, ओपन बॉल है अंदर नहीं था गैर-आर्किमिडीयन है, ऊपर से घिरा नहीं है, इसलिए कुछ है ऐसा कि सभी के लिए लाना हमने देखा कि में है अब परिभाषित करें हम दिखाएंगे कि इस mu संकारक के संबंध में, स्थान नीरस रूप से सामान्य है। ध्यान दें कि यदि इसमें नहीं है (ओपन सेट युक्त ) और इसमें नहीं है (ओपन सेट युक्त ), तो हम उसे दिखाएंगे खाली है। यदि नहीं, तो कहिए चौराहे पर है। तब

ऊपर से हमें वह मिलता है जो असंभव है क्योंकि इसका अर्थ यह भी होगा से संबंधित या से संबंधित यह प्रमाण को पूरा करता है।

यह भी देखें

बाहरी संबंध

  • FOM discussion