समर्थन (माप सिद्धांत)

गणित में, एक माप $$\mu$$ के समर्थन का अर्थ होता है कि यह माप अंतरिक्ष $$X$$ में "प्रवेश करता है"। यह निर्धारित किया जाता है कि यह सबसे बड़ा (बंद) उपसमूह है जिसके लिए प्रत्येक बिंदु के प्रत्येक खुले प्रतिवेश का माप धनात्मक होता है।

प्रेरणा
गैर-नकारात्मक माप $$\mu$$ एक मापनीय अंतरिक्ष $$(X, \Sigma)$$ पर वास्तव में एक फलन $$\mu : \Sigma \to [0, +\infty]$$ होता है। इसलिए, सामान्य रूप से समर्थन की मान्यता के दृष्टिकोण से, माप $$\mu$$ का समर्थन $$\Sigma$$ का उपसमूह होता है: $$\operatorname{supp} (\mu) := \overline$$यहां अद्यावधिक चिह्न समूह आवरण को दर्शाता है। यद्यपि, यह परिभाषा कुछ सीमा तक असंतुष्टिप्रद है: हम आवरण की धारणा का उपयोग करते हैं, परंतु हमारे पास $$\Sigma$$ पर भी एक सांस्थानिक नहीं है। हमारी वास्तविक आवश्यकता है कि हम जानें कि अंतरिक्ष $$X$$ में माप $$\mu$$ यहां गैर-शून्य होता है। दो उदाहरणों पर विचार करें:लेबेस्ग माप $$\lambda$$ वास्तविक रेखा $$\Reals$$ पर है। स्पष्ट है कि $$\lambda$$ पूरी वास्तविक रेखा पर "रहता है"।
 * 1) एक बिना आवश्यकता के दिराक माप $$\delta_p$$ वहाँ किसी बिंदु $$p \in \Reals$$ पर होता है। फिर भी, बौद्धिकता सुझाव देती है कि माप $$\delta_p$$ केवल बिंदु $$p$$ पर रहता है" और कहीं और नहीं।.

इन दो उदाहरणों के प्रकाश में, हम अगले भाग में दी गई परिभाषाओं के पक्ष में निम्नलिखित उम्मीदवार परिभाषाओं को अस्वीकार कर सकते हैं: हम $$\mu$$ शून्य होने वाले बिंदुओं को हटा सकते हैं, और समर्थन को शेष भाग $$X \setminus {x \in X \mid \mu({x}) = 0}$$ ले सकते हैं। यह दिराक माप $$\delta_p$$ के लिए काम कर सकता है, परंतु यह निश्चित रूप से लेबेस्ग माप $$\lambda$$ के लिए काम नहीं करेगा, क्योंकि किसी एकल संख्या का लेबेस्ग माप शून्य होता है, इस परिभाषा से हमें मात्र समर्थन $$\lambda$$ मिल जाएगा।. मापों की पूर्णतः धनात्मकता की अवधारणा के साथ तुलना करके, हम समर्थन को उन सभी बिंदुओं का समुच्चय ले सकते हैं जिनके पास धनात्मक माप वाले एक प्रतिवेशी या इसका आवरण होता है। $$\{x \in X \mid \exists N_x \text{ open} \text{ such that } (x \in N_x \text{ and } \mu(N_x) > 0)\}$$ यह भी बहुत ही सरल होता है: सभी बिंदुओं के लिए $$N_x = X$$ लेते हुए, इससे शून्य माप के अतिरिक्त प्रत्येक माप का समर्थन पूरी $$X$$ बन जाता है । यद्यपि, स्थानीय पूर्णतया सकारात्मकता का विचार एक व्यावहारिक परिभाषा से बहुत दूर नहीं है।

परिभाषा
यदि $$(X, T)$$ एक सांस्थानिक समूह हो, तो $$B(T)$$ $$X$$ पर बोरेल σ-संघ का प्रतिनिधित्व करता है, अर्थात् $$X$$ पर सभी खुले समूह $$U \in T$$ को सम्मिलित करने वाले सबसे छोटा σ-संघ है। $$\mu$$ $$(X, B(T))$$ पर एक माप हो। तब $$\mu$$ का समर्थन निम्न रूप में परिभाषित होता है:

$$\operatorname{supp} (\mu) := {x \in X \mid \forall N_x \in T \colon (x \in N_x \Rightarrow \mu (N_x) > 0)}.$$

कुछ लेखक इस समुच्चय का आवरण लेने को प्राथमिकता देते हैं। यद्यपि, यह आवश्यक नहीं है: नीचे "गुण" देखें।

समर्थन की एक समकक्ष परिभाषा उन सभी $$C \in B(T)$$ के रूप में है, जहां प्रत्येक खुले समूह जो $$C$$ के गैर-रिक्त छिद्र के साथ संबंध रखता है, उसका माप धनात्मक होता है। अर्थात् यह सबसे बड़ा $$C$$ है जिसके लिए यह प्राथमिकता होती है:

$$(\forall U \in T)(U \cap C \neq \varnothing \implies \mu (U \cap C) > 0).$$

सांकेतिक एवं जटिल उपाय
इस परिभाषा को धनात्मक और आवेशित मापों के लिए विस्तारित किया जा सकता है।

यदि $$\mu: \Sigma \to [-\infty, +\infty]$$ एक आवेशित माप है। हान विभाजन का सिद्धांत का उपयोग करके इसे निम्न रूप में लिखें: $$\mu = \mu^+ - \mu^-$$, यहां $$\mu^\pm$$ दोनों गैर-नकारात्मक माप हैं। तब $$\mu$$ का समर्थन निम्न रूप में परिभाषित होता है: $$\operatorname{supp} (\mu) := \operatorname{supp} (\mu^+) \cup \operatorname{supp} (\mu^-)$$. इसी तरह, यदि $$\mu: \Sigma \to \Complex$$ एक संयुक्त माप है, तो $$\mu$$ का समर्थन उसके वास्तविक और काल्पनिक भागों के समर्थनों का संयोजन होता है।

गुण
$$\operatorname{supp} (\mu_1 + \mu_2) = \operatorname{supp} (\mu_1) \cup \operatorname{supp} (\mu_2)$$ का सत्य होता है।

यदि $$\mu$$ $$X$$ पर एक माप है और यह पूर्णतः धनात्मक है, तो $$\operatorname{supp}(\mu) = X$$ होता है। यदि $$\mu$$ पूर्णतः धनात्मक है और $$x \in X$$ विशेष नहीं है, तो कोई भी खुला प्रतिवेश का विस्तार धनात्मक माप होता है; इसलिए, $$x \in \operatorname{supp}(\mu)$$ होता है, इसलिए $$\operatorname{supp}(\mu) = X$$ होता है।

पुनः, यदि $$\operatorname{supp}(\mu) = X$$ है, तो हर गैर-रिक्त खुला समुच्चय जो कि इसके आंतरिक समुच्चय के एक बिंदु का खुला प्रतिवेश होता है, जो समर्थन का एक बिंदु धनात्मक माप होता है; इसलिए, $$\mu$$ पूर्णतः धनात्मक होता है।

माप का समर्थन $$X$$ में बंद होता है, क्योंकि इसका पूरक माप 0 के खुले समुच्चय का संयोग होता है।

सामान्यतः एक शून्य माप का समर्थन रिक्त हो सकता है: नीचे दिए गए उदाहरणों को देखें। यद्यपि, यदि $$X$$ एक हाउसडॉरफ समूह है और $$\mu$$ एक रैडॉन माप है, तो समर्थन के बाहर एक बोरेल समुच्चय $$A$$ का माप शून्य होता है।

$$A \subseteq X \setminus \operatorname{supp} (\mu) \implies \mu (A) = 0.$$ यदि $$A$$ खुला है, तो यह कथन सत्य है, परंतु सामान्यतः यह सत्य नहीं है: अगर कोई ऐसा बिंदु $$x \in \operatorname{supp}(\mu)$$ उपस्थित है जिसके लिए $$\mu({x}) = 0$$ होता है तो यह सत्य नहीं होता है। इसलिए, समर्थन के बाहर "समान्य रूप से अंशिक" ढंग से कार्य करने की आवश्यकता नहीं होती है: किसी भी मापयोगी संख्या $$f : X \to \Reals$$ या $$\Complex,$$ के लिए, $$\int_X f(x), \mathrm{d} \mu (x) = \int_{\operatorname{supp} (\mu)} f(x) , \mathrm{d} \mu (x).$$ माप का समर्थन और हिलबर्ट स्थान पर स्व-संयुक्त रूप में एक स्व-प्रतिबिम्बी रैखिक संचालक के विस्तार की अवधारणा गहरायी से संबंधित होती है। वास्तव में, यदि $$\mu$$ एक पंक्ति पर एक नियमित बोरेल माप है, तो गुणन संचालक $$(Af)(x) = xf(x)$$ अपने प्राकृतिक डोमेन पर स्व-संयुक्त है $$D(A) = {f \in L^2(\Reals, d\mu) \mid xf(x) \in L^2(\Reals, d\mu)}$$ और इसका विस्तार सीधे-सीधे पहचान-सीमा के साथ मेल खाता है, जो निःसंदेश $$\mu$$ का समर्थन करता है।

लेब्सग माप
यदि हम लेबेस्ग माप $$\lambda$$ को यदि भारी का माप लेते हैं, तो हम व्यक्तिगत बिंदु $$x \in \Reals$$ पर विचार कर सकते हैं। पुनः किसी भी खुले प्रतिवेश $$N_x$$ का, $$x$$ का एक खुला अवधि $$(x - \epsilon, x + \epsilon)$$ का भी होना चाहिए जहां $$\epsilon > 0$$ है। इस अवधि का लेबेस्ग माप $$2 \epsilon > 0$$ होता है, इसलिए $$\lambda(N_x) \geq 2 \epsilon > 0$$ होता है। क्योंकि $$x \in \Reals$$ विचार्य है, इसलिए $$\operatorname{supp}(\lambda) = \Reals$$ होता है।

डिराक माप
यदि हम दिए गए डिराक माप $$\delta_p$$ के स्थितयो को देखें, तो हम $$x \in \Reals$$ लेते हैं और दो स्थितियों का विचार करते हैं:

यदि $$x = p$$ है, तो प्रत्येक खुले प्रतिवेश $$N_x$$ में $$p$$ सम्मिलित होता है, इसलिए $$\delta_p(N_x) = 1 > 0$$ होता है।

दूसरी ओर, यदि $$x \neq p$$ है, तो ऐसा कम से कम एक छोटा खुला गोला $$B$$ उपस्थित होता है जिसमें $$p$$ सम्मिलित नहीं होता है, इसलिए $$\delta_p(B) = 0$$ होता है।

हम निष्कर्ष निकालते हैं कि $$\operatorname{supp}(\delta_p)$$ एकल समुच्चय $${p}$$ के आवरण के बराबर होता है, जो $${p}$$ स्वयं है।

वास्तव में, एक माप $$\mu$$ जो एक बिंदु $$p$$ के लिए डिराक माप $$\delta_p$$मात्र तब होता है जब $$\mu$$ का समर्थन एकल समुच्चय $${p}$$ होता है। इस प्रकार, तटस्थता माप वाली एकल माप तटस्थता माप के रूप में शून्य वेरियंस वाली अद्वितीय माप होती है।

एक समान वितरण
वास्तविकता में, वास्तविक रेखा पर माप $$\mu$$ का विचार करें $$\Reals$$ जिसे निम्न रूप से परिभाषित किया गया है: $$\mu(A) := \lambda(A \cap (0, 1))$$ उदाहरण के रूप में, एक खुले अंतराल $$(0, 1)$$ पर एक समान मापक होती है डिरैक मापक उदाहरण की तरह, एक समर्थन के लिए एक समान तर्क दिखाता है कि $$\operatorname{supp}(\mu) = [0, 1]$$ होता है। ध्यान दें कि सीमा बिंदु 0 और 1 समर्थन में होते हैं:: 0 (या 1) के बारे में एक खुले अंतराल का समुच्चय होता है,जो आवश्यकतानुसार 0 (या 1) को काटता है, और इसलिए सकारात्मक माप $$\mu$$-का होता है।

एक गैर-तुच्छ माप जिसका समर्थन रिक्त है
"खुले अंतरालों" द्वारा उत्पन्न संस्थानिक के साथ सभी गणनीय क्रमांकीय संख्याओं का अंतरिक्ष स्थानीय निर्मित है। इसमें स्थानिक घन और हौसदॉरफ स्थान है। "डिऊडोने माप" जो असीमित बंद संग्रह को समावेश करने वाले बोरेल समुच्चय को 1 का माप देता है और अन्य बोरेल समुच्चय को 0 का माप देता है, एक बोरेल संभावना माप है जिसका समर्थन रिक्त है।

एक गैर-तुच्छ माप जिसका समर्थन शून्य है
एक संकीर्ण हौसदॉरफ स्थान पर गणित माप का समर्थन सदैव रिक्त नहीं होता है, परंतु यह माप $$0$$ का हो सकता है। इसका एक उदाहरण पिछले उदाहरण में पहले गणनीय क्रमसूची $$\Omega$$ को जोड़कर दिया जाता है: माप का समर्थन एकल बिंदु $$\Omega$$ होता है, जिसका माप $$0$$ होता है।

संदर्भ

 * (See chapter 2, section 2.)
 * (See chapter 3, section 2)
 * (See chapter 3, section 2)