बाहरी माप

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

माप लंबाई, क्षेत्रफल और आयतन का सामान्यीकरण हैं, लेकिन $$\mathbb{R}$$ में अंतराल या $$\mathbb{R}^{3}$$में गेंदों की तुलना में बहुत अधिक अमूर्त और अनियमित समुच्चयों के लिए उपयोगी होते हैं। कोई $$\mathbb{R}$$ पर एक सामान्यीकृत मापन फलन $$\varphi$$ को परिभाषित करने की अपेक्षा कर सकता है जो निम्नलिखित आवश्यकताओं को पूरा करता है:


 * 1) वास्तविकता के किसी भी अंतराल $$[a,b]$$ का माप $$b-a$$ होता हैं।
 * 2) मापने का फलन $$\varphi$$ एक गैर-नकारात्मक विस्तारित वास्तविक-मूल्य वाला फलन है जो $$\mathbb{R}$$ के सभी उपससमुच्चय के लिए परिभाषित हैं।
 * 3) अनुवाद अपरिवर्तनीयता: किसी भी समुच्चय $$A$$ और किसी वास्तविक $$x$$ के लिए, समुच्चय $$A$$ और $$A+x=\{ a+x: a\in A\}$$ का माप समान हैं।
 * 4) गणनीय योज्यता: $$\mathbb{R}$$ के युग्‍मानूसार असंयुक्त उपसमुच्चय के किसी अनुक्रम $$(A_j)$$ के लिए हैं।
 * $$ \varphi\left(\bigcup_{i=1}^\infty A_i\right) = \sum_{i=1}^\infty \varphi(A_i).$$

यह पता चला है कि ये आवश्यकताएँ असंगत स्थितियाँ हैं; गैर-मापने योग्य समुच्चय देखें। $$X$$ के सभी उपसमुच्चय पर एक बाहरी माप के निर्माण का उद्देश्य उपसमुच्चय के एक वर्ग का चयन करना है (जिसे मापने योग्य कहा जा सकता है) ताकि गणनीय योगात्मकता गुण को संतुष्ट किया जा सके।

बाहरी माप
एक समुच्चय $$X$$ को देखते हुए, मान लीजिए कि $$2^X$$ रिक्त समुच्चय $$\varnothing$$ सहित, $$X$$ के सभी उपसमुच्चयों के संग्रह को दर्शाता है। $$X$$ पर एक बाहरी माप एक समुच्चय फलन है। $$\mu: 2^X \to [0, \infty]$$ ऐसा है कि ध्यान दें कि इस परिभाषा में अनंत योग के बारे में कोई सूक्ष्मता नहीं है। सभी सारांशों को गैर-ऋणात्मक माना जाता है, आंशिक योगों का क्रम केवल बिना किसी सीमा के बढ़ते हुए ही भिन्न हो सकता है। अतः परिभाषा में दिखाई देने वाला अनंत योग हमेशा $$[0, \infty]$$ का एक अच्छी तरह से परिभाषित अवयव होता है। यदि, इसके बदले, किसी बाहरी माप को नकारात्मक मान लेने की अनुमति दी जाती है, तो गैर-अभिसरण अनंत योग की संभावना को ध्यान में रखते हुए इसकी परिभाषा को संशोधित किया जाता है।
 * : $$\mu(\varnothing) = 0$$
 * : $$X$$ के स्वेच्छाचारी उपसमुच्चय $$A, B_1, B_2, \ldots$$ के लिए है।                                                                                                                       $$\text{if } A \subseteq \bigcup_{j=1}^\infty B_j \text{ तब } \mu(A) \leq \sum_{j=1}^\infty \mu(B_j).$$

एक वैकल्पिक और समकक्ष परिभाषा: कुछ पाठ्यपुस्तकें, जैसे हेल्मोस (1950), इसके बदले $$X$$ पर एक बाहरी माप को एक फलन $$\mu: 2^X \to [0, \infty]$$ के रूप में परिभाषित करता हैं जैसे कि
 * : $$\mu(\varnothing) = 0$$
 * : अगर $$A$$ और $$B$$, $$A \subseteq B$$ के साथ $$X$$ के उपसमुच्चय हैं, तो $$\mu(A) \leq \mu(B)$$
 * $$X$$ के स्वेच्छाचारी उपसमुच्चय $$B_1, B_2, \ldots$$ के लिए$$\mu\left(\bigcup_{j=1}^\infty B_j\right) \leq \sum_{j=1}^\infty \mu(B_j).$$

बाहरी माप के सापेक्ष समुच्चय की मापनीयता
मान लीजिए कि $$X$$ बाहरी माप $$\mu$$ वाला एक समुच्चय है। एक का कहना है कि $$X$$ का एक उपसमुच्चय $$E$$, $$\mu$$-मापने योग्य है (कभी-कभी इसे गणितज्ञ कैराथोडोरी के बाद $$\mu$$ के सापेक्ष कैराथोडोरी-मापने योग्य भी कहा जाता है) यदि और केवल यदि $$\mu(A) = \mu(A \cap E) + \mu(A \setminus E)$$ $$X$$ के प्रत्येक उपसमुच्चय $$A$$ के लिए है।

अनौपचारिक रूप से, यह कहता है कि $$\mu$$-मापने योग्य उपसमुच्चय वह है जिसका उपयोग बिल्डिंग ब्लॉक के रूप में किया जा सकता है, किसी अन्य उपसमुच्चय को टुकड़ों में तोड़ना है (अर्थात्, वह टुकड़ा जो मापने योग्य समुच्चय के अंदर है और वह टुकड़ा जो मापने योग्य समुच्चय के बाहर है)। माप सिद्धांत की प्रेरणा के संदर्भ में, कोई यह अपेक्षा करता है कि क्षेत्र, उदाहरण के लिए, समतल पर एक बाहरी माप होना चाहिए तब कोई उम्मीद कर सकता है कि अपेक्षित सिद्धांत का पालन करते हुए समतल के प्रत्येक उपसमूह को "मापन योग्य" होना चाहिए। $$\operatorname{area}(A \cup B) = \operatorname{area}(A) + \operatorname{area}(B)$$ जब भी $$A$$ और $$B$$ समतल के असंयुक्त उपसमुच्चय हैं। हालाँकि, सिद्धांत के औपचारिक तार्किक विकास से पता चलता है कि स्थिति अधिक जटिल है। विकल्प के स्वयंसिद्ध का एक औपचारिक निहितार्थ यह है कि बाहरी माप के रूप में क्षेत्र की किसी भी परिभाषा के लिए जिसमें एक विशेष प्रकरण के रूप में एक आयत के क्षेत्र के लिए मानक सूत्र सम्मिलित है, समतल के उपसमुच्चय होना चाहिए जो मापने योग्य होने में विफल होता हैं। विशेष रूप से, उपरोक्त अपेक्षित सिद्धांत गलत है, बशर्ते कि कोई व्यक्ति पसंद के सिद्धांत को स्वीकार करता है।

बाहरी माप से संबद्ध माप समष्टि
इसे देखने के लिए $$\mu$$-मापने योग्यता की उपरोक्त परिभाषा का उपयोग करना स्पष्ट है निम्नलिखित स्थिति को "मापने योग्य उपसमुच्चय पर $$\mu$$ की गणनीय योगात्मकता '' के रूप में जाना जाता है। एक समान प्रमाण से पता चलता है कि:
 * अगर $$A \subseteq X$$ $$\mu$$-मापने योग्य है तो इसका पूरक $$X \setminus A \subseteq X$$ भी $$\mu$$-मापने योग्य है।
 * अगर $$A_1, A_2, \ldots$$ $$X$$ और $$A_i \cap A_j$$ के $$\mu$$- मापने योग्य उपसमुच्चय हैं, जब भी $$i \neq j$$ रिक्त होता है, तो एक के पास है$$\mu\Big(\bigcup_{j=1}^\infty A_j\Big) = \sum_{j=1}^\infty\mu(A_j).$$
 * अगर $$A_1, A_2, \ldots$$ $$X$$ के $$\mu$$- मापने योग्य उपसमुच्चय हैं, तो संघ $$A_1 \cup A_2 \cup \cdots$$ और प्रतिच्छेदन $$A_1 \cap A_2 \cap \cdots$$ भी $$\mu$$-मापने योग्य है।

यहां दिए गए गुणों को निम्नलिखित शब्दावली द्वारा संक्षेपित किया जा सकता है: "किसी समुच्चय $X,$ पर किसी भी बाहरी माप $\mu$ को देखते हुए, $X$ के सभी $\mu$-मापने योग्य उपसमुच्चय का संग्रह एक σ-बीजगणित है। इस $\sigma$-बीजगणित में $\mu$ का प्रतिबंध एक माप है।"

इस प्रकार $$X$$ पर एक माप समष्टि संरचना होती है, जो स्वाभाविक रूप से $$X$$ पर एक बाहरी माप के विनिर्देश से उत्पन्न होती है। इस माप समष्टि में पूर्णता का अतिरिक्त गुण है, जो निम्नलिखित कथन में निहित है: बाहरी माप की "वैकल्पिक परिभाषा" में दूसरी गुण का उपयोग करके इसे सिद्ध करना सरल है।
 * प्रत्येक उपसमुच्चय $$A \subseteq X$$ ऐसा है कि $$\mu(A) = 0$$ $$\mu$$-मापने योग्य है।

बाहरी माप पर प्रतिबंध लगाना और आगे बढ़ना
मान लीजिए $$\mu$$ समुच्चय $$X $$ पर एक बाहरी माप है।

पुशफॉरवर्ड
एक और समुच्चय $$Y$$ और एक मानचित्र $$f:X\to Y $$ दिया गया है जो $$f_\sharp \mu : 2^Y \to [0, \infty]$$ द्वारा परिभाषित करता है।
 * $$\big(f_\sharp\mu\big)(A)=\mu\big(f^{-1}(A)\big).$$

कोई भी परिभाषाओं से सीधे सत्यापित कर सकता है कि $$f_\sharp \mu$$ $$Y$$ पर एक बाहरी माप है।

प्रतिबंध
मान लीजिए $B$, $X$ का उपसमुच्चय है। $μ_{B} : 2^{X}→[0,∞]$ को परिभाषित करें
 * $$\mu_B(A)=\mu(A\cap B).$$

कोई सीधे परिभाषाओं से जांच सकता है कि $μ_{B}$ $X$ पर एक और बाहरी माप है।

पुशफॉरवर्ड या प्रतिबंध के सापेक्ष समुच्चय की मापनीयता
यदि $X$ का उपसमुच्चय $A$ $μ$-मापने योग्य है, तो यह $X$ के किसी उपसमुच्चय $B$ के लिए भी $μ_{B}$-मापने योग्य है।

एक मानचित्र $f : X→Y$ और $Y$ का एक उपसमुच्चय $A$ दिया गया है, अगर $f^{ −1}(A)$ $μ$-मापने योग्य है तो $A$ $f_{#} μ$-मापने योग्य है। अधिक सामान्यतः, $f^{ −1}(A)$ $μ$-मापने योग्य है यदि और केवल यदि $A$, $X$ के प्रत्येक उपसमुच्चय $B$ के लिए $f_{#} (μ_{B})$-मापने योग्य है।

नियमित बाहरी माप की परिभाषा
एक समुच्चय $X$ को देखते हुए, $X$ पर एक बाहरी माप $μ$ को नियमित कहा जाता है यदि किसी उपसमुच्चय को $μ$-मापने योग्य समुच्च द्वारा 'बाहर से' अनुमानित किया जा सकता है। औपचारिक रूप से, इसके लिए निम्नलिखित समतुल्य प्रतिबंध में से किसी एक की आवश्यकता होती है: यह स्वचालित है कि दूसरी स्थिति पहली का तात्पर्य करती है; पहला उपसमुच्चय के न्यूनतम अनुक्रम के प्रतिच्छेदन पर विचार करके दूसरे का तात्पर्य करता है।
 * $X$ के किसी भी उपसमुच्चय $A$ और किसी धनात्मक संख्या $ε$ के लिए, $X$ का एक $μ$-मापने योग्य उपसमुच्चय $B$ उपस्थित होता है जिसमें $A$ और $μ(B) < μ(A) + ε$ होता है।
 * $X$ के किसी भी उपसमुच्चय $A$ के लिए, $X$ का एक $μ$-मापने योग्य उपसमुच्चय $B$ उपस्थित है जिसमें $A$ सम्मिलित है और $μ(B) = μ(A)$ है।

बाहरी माप से संबद्ध नियमित बाहरी माप
एक समुच्चय $X$ पर एक बाहरी माप $μ$ दिया गया है, जोः $ν : 2^{X}→[0,∞]$ को परिभाषित करता है
 * $$\nu(A)=\inf\Big\{\mu(B):\mu\text{-measurable subsets }B\subset X\text{ with }B\supset A\Big\}.$$

तब $ν$ $X$ पर एक नियमित बाहरी माप है जो $X$ के सभी $μ$-मापने योग्य उपसमुच्चय को $μ$ के समान माप प्रदान करता है। प्रत्येक $μ$-मापने योग्य उपसमुच्चय भी $ν$-मापने योग्य है, और परिमित $ν$-माप का प्रत्येक $ν$-मापने योग्य उपसमुच्चय भी $μ$-मापने योग्य है।

तो $ν$ से संबंधित माप क्षेत्र में $μ$ से संबंधित माप समष्टि की तुलना में बड़ा σ-बीजगणित हो सकता है। लघुतर σ-बीजगणित के लिए $ν$ और $μ$ के प्रतिबंध समान हैं। बड़े σ-बीजगणित के अवयव जो छोटे σ-बीजगणित में सम्मिलित नहीं हैं, उनमें अनंत $ν$-माप और परिमित $μ$-माप होता है।

इस दृष्टिकोण से, $ν$ को $μ$ का विस्तार माना जा सकता है।

बाहरी माप और टोपोलॉजी
मान लीजिए $(X, d)$ एक मीट्रिक माप है और $φ$ $X$ पर एक बाहरी माप है। यदि $φ$ में वह गुण है


 * $$ \varphi(E \cup F) = \varphi(E) + \varphi(F)$$

जब कभी भी


 * $$ d(E,F) = \inf\{d(x,y): x \in E, y \in F\} > 0, $$

तब $φ$ को मीट्रिक बाहरी माप कहा जाता है।

प्रमेय: अगर $φ$ $X$ पर एक मीट्रिक बाहरी माप है, तो $X$ का प्रत्येक बोरेल उपसमुच्चय $φ$-मापने योग्य है। ($X$ के बोरेल समुच्चय द्वारा उत्पन्न सबसे छोटे $σ$-बीजगणित के अवयव है।)

बाहरी मापों का निर्माण
किसी समुच्चय पर बाहरी माप बनाने की कई प्रक्रियाएँ हैं। नीचे दिए गए उत्कृष्ट मुनरो संदर्भ दो विशेष रूप से उपयोगी का वर्णन करता है जिन्हें विधि I और विधि II कहा जाता है।

विधि I
मान लीजिए कि $X$ एक समुच्चय है, $C$, $X$ के उपसमुच्चय का एक वर्ग है जिसमें रिक्त समुच्चय होता है और $p$, $C$ पर एक गैर-नकारात्मक विस्तारित वास्तविक मूल्य वाला फलन है जो रिक्त समुच्चय पर लुप्त हो जाता है।

प्रमेय: मान लीजिए कि वर्ग $C$ और फलन $p$ ऊपर बताए अनुसार परिभाषित करता हैं


 * $$ \varphi(E) = \inf \biggl\{ \sum_{i=0}^\infty p(A_i)\,\bigg|\,E\subseteq\bigcup_{i=0}^\infty A_i,\forall i\in\mathbb N, A_i\in C\biggr\}.$$

अर्थात्, इन्फ़िमम $C$ के अवयव के सभी अनुक्रमों ${A_{i}} |undefined$पर विस्तारित होता है जो $E$ को आच्छादित करते हैं, इस सम्मेलन के साथ कि यदि ऐसा कोई अनुक्रम उपस्थित नहीं है तो इन्फ़िमम अनंत है। तब $φ$ $X$ पर एक बाहरी माप है।

विधि II
दूसरी तकनीक मीट्रिक समष्टि पर बाहरी मापों के निर्माण के लिए अधिक उपयुक्त है, क्योंकि इससे मीट्रिक बाहरी माप प्राप्त होता हैं। मान लीजिए $(X, d)$ एक मीट्रिक समष्टि है। जैसा कि ऊपर बताया गया है कि $C$, $X$ के उपसमुच्चय का एक वर्ग है जिसमें रिक्त समुच्चय और $p$ एक गैर-नकारात्मक विस्तारित वास्तविक मूल्यवान फलन है जो $C$ पर है जो रिक्त समुच्चय पर लुप्त हो जाता है। प्रत्येक $δ > 0$ के लिए, मान लीजिए


 * $$C_\delta= \{A \in C: \operatorname{diam}(A) \leq \delta\} $$

और


 * $$ \varphi_\delta(E) = \inf \biggl\{ \sum_{i=0}^\infty p(A_i)\,\bigg|\,E\subseteq\bigcup_{i=0}^\infty A_i,\forall i\in\mathbb N, A_i\in C_\delta\biggr\}.$$

स्पष्ट रुप से, $φ_{δ} ≥ φ_{δ'}$ जब $δ ≤ δ'$ क्योंकि $δ$ घटने पर न्यूनतम को एक छोटे वर्ग में ले लिया जाता है। इस प्रकार


 * $$ \lim_{\delta \rightarrow 0} \varphi_\delta(E) = \varphi_0(E) \in [0, \infty]$$

प्रस्तुत है (संभवतः अनंत)।

प्रमेय: $φ_{0}$ $X$ पर एक मीट्रिक बाहरी माप है।

यह वह निर्माण है जिसका उपयोग मीट्रिक समष्टि के लिए हॉसडॉर्फ़ माप की परिभाषा में किया जाता है।

यह भी देखें

 * आंतरिक माप

बाहरी संबंध

 * Outer measure at Encyclopedia of Mathematics
 * Caratheodory measure at Encyclopedia of Mathematics