मीट्रिक स्पेस (Metric Spaces)

एक मीट्रिक स्पेस कोई भी ऐसा समुच्चय होता है जिसमें एक दूरी फलन (distance function) होता है, जो वास्तविक रेखा से अभिसरण (convergence), सांतत्य (continuity), पूर्णता (completeness) और सघनता (compactness) को पूर्ण व्यापकता में परिभाषित करने के लिए एक अमूर्त सेटिंग प्रदान करता है।

Definition

एक मीट्रिक स्पेस एक समुच्चय होता है जिसके साथ एक दूरी फलन होता है जो गैर-ऋणात्मकता (non-negativity), समरूपता (symmetry) और त्रिभुज असमानता (triangle inequality) को संतुष्ट करता है; यह एकल संरचना सीमा (limits), सतत मानचित्रों (continuous maps) और टोपोलॉजिकल धारणाओं (topological notions) को परिभाषित करने के लिए पर्याप्त है जिनकी वास्तविक विश्लेषण (real analysis) को आवश्यकता होती है।

Scope

यह विषय एक मीट्रिक के अभिगृहीत (axioms), खुले और बंद समुच्चय तथा प्रेरित टोपोलॉजी (induced topology), मीट्रिक पदों में अभिसरण और सांतत्य, पूर्णता और एक स्पेस का पूर्णताकरण (completion), अनुक्रमिक और आवरण अभिलक्षणों (sequential and covering characterizations) के साथ सघनता, संबद्धता (connectedness), और बानाख संकुचन मैपिंग सिद्धांत (Banach contraction mapping principle) को शामिल करता है।

Core questions

• वास्तविक रेखा के कौन से गुण केवल एक दूरी फलन मानने पर भी बने रहते हैं?
• पूर्ण स्पेस को क्या अलग करता है, और पूर्णता क्यों मायने रखती है?
• सघनता को कैसे अभिलक्षित किया जाता है, और यह इतनी शक्तिशाली क्यों है?
• एक स्व-मानचित्र (self-map) का एक अद्वितीय स्थिर बिंदु (unique fixed point) कब होता है?

Key theories

हेन-बोरेल (Heine-Borel) और सघनता अभिलक्षण

यूक्लिडियन स्पेस में एक समुच्चय ठीक तभी सघन होता है जब वह बंद और परिबद्ध (closed and bounded) हो, और सामान्य मीट्रिक स्पेस में सघनता, अनुक्रमिक सघनता (sequential compactness), और कुल परिबद्धता (total boundedness) के साथ पूर्णता संपाती होती है, जो विश्लेषण की प्रमुख परिमितता धारणा को एकीकृत करती है।

बानाख स्थिर-बिंदु प्रमेय (Banach fixed-point theorem)

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

Clinical relevance

मीट्रिक-स्पेस ढांचा पुनरावृत्त संख्यात्मक विधियों (iterative numerical methods) की अभिसरण गारंटियों, संकुचन सिद्धांत (contraction principle) के माध्यम से अवकल समीकरणों (differential equations) के लिए अस्तित्व और अद्वितीयता प्रमेयों (existence and uniqueness theorems), और फलन और डेटा के अमूर्त स्पेस (abstract spaces) को रेखांकित करता है जिन पर अनुकूलन (optimization), मशीन लर्निंग (machine learning) और सन्निकटन सिद्धांत (approximation theory) कार्य करते हैं।

History

फ्रेचेट (Frechet) ने 1906 के अपने शोध प्रबंध में विश्लेषण में दिखाई देने वाले अभिसरण विचारों को एकीकृत करने के लिए मीट्रिक स्पेस की शुरुआत की, और हॉसडॉर्फ (Hausdorff) ने 1914 में व्यापक टोपोलॉजिकल सेटिंग विकसित की। बानाख (Banach) के 1922 के संकुचन सिद्धांत ने इस ढांचे को अस्तित्व प्रमाणों (existence proofs) के लिए एक मानक उपकरण बना दिया।

Key figures

• Maurice Frechet
• Felix Hausdorff
• Stefan Banach

Seminal works

• rudin1976
• munkres2000

Frequently asked questions

वास्तविक रेखा से मीट्रिक स्पेस तक सामान्यीकरण क्यों करें?

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

एक मीट्रिक स्पेस को क्या पूर्ण बनाता है?

एक स्पेस पूर्ण होता है जब प्रत्येक कॉची अनुक्रम (Cauchy sequence) उसके भीतर अभिसरित होता है; पूर्णता वह है जो सीमित निर्माणों (limiting constructions) और स्थिर-बिंदु पुनरावृत्तियों (fixed-point iterations) को स्पेस से बाहर निकलने के बजाय उसके भीतर समाप्त होने की अनुमति देती है।