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

गणित में, माप स्थान का समर्थन (कभी-कभी टोपोलॉजिकल समर्थन या स्पेक्ट्रम)। $$\mu$$ मापने योग्य स्थान टोपोलॉजिकल स्पेस पर $$(X, \operatorname{Borel}(X))$$ अंतरिक्ष में कहां है इसकी एक सटीक धारणा है $$X$$ उपाय रहता है. इसे सबसेट बड़े (बंद सेट) उपसमुच्चय के रूप में परिभाषित किया गया है $$X$$ जिसके लिए सेट (गणित) के प्रत्येक बिंदु के प्रत्येक खुले सेट पड़ोस (गणित) का सकारात्मक माप होता है।

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

इन दो उदाहरणों के प्रकाश में, हम अगले भाग में दी गई परिभाषाओं के पक्ष में निम्नलिखित उम्मीदवार परिभाषाओं को अस्वीकार कर सकते हैं: हालाँकि, स्थानीय सख्त सकारात्मकता का विचार एक व्यावहारिक परिभाषा से बहुत दूर नहीं है।
 * 1) हम उन बिंदुओं को हटा सकते हैं जहां $$\mu$$ शून्य है, और शेषफल के लिए सहारा लीजिए $$X \setminus \{x \in X \mid \mu(\{x\}) = 0\}.$$ यह डिराक माप के लिए काम कर सकता है $$\delta_p,$$ लेकिन यह निश्चित रूप से काम नहीं करेगा $$\lambda:$$ चूँकि किसी भी सिंगलटन का लेबेस्ग माप शून्य है, यह परिभाषा देगी $$\lambda$$ खाली समर्थन.
 * 2) उपायों के कड़ाई से सकारात्मक माप की धारणा के साथ तुलना करके, हम सकारात्मक माप के पड़ोस के साथ सभी बिंदुओं के सेट का समर्थन ले सकते हैं: $$\{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 \in X,$$ इससे शून्य माप को छोड़कर प्रत्येक माप का समर्थन संपूर्ण हो जाएगा $$X.$$

परिभाषा
होने देना $$(X, T)$$ एक टोपोलॉजिकल स्पेस बनें; होने देना $$B(T)$$ बोरेल बीजगणित को निरूपित करें|बोरेल σ-बीजगणित पर $$X,$$ यानी सबसे छोटा सिग्मा बीजगणित $$X$$ जिसमें सभी खुले सेट शामिल हैं $$U \in T.$$ होने देना $$\mu$$ पर एक उपाय हो $$(X, B(T))$$ फिर का समर्थन (या स्पेक्ट्रम)। $$\mu$$ सभी बिंदुओं के समुच्चय के रूप में परिभाषित किया गया है $$x$$ में $$X$$ जिसके लिए प्रत्येक ओपन सेट नेबरहुड (गणित) $$N_x$$ का $$x$$ धनात्मक संख्या माप है: $$\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,$$ चूँकि यह एक खुला सेट है, इसका माप सकारात्मक है; इस तरह, $$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$$ लाइन पर एक नियमित बोरेल माप है $$\mathbb{R},$$ फिर गुणन संचालिका $$(Af)(x) = xf(x)$$ अपने प्राकृतिक डोमेन पर स्व-संयुक्त है $$D(A) = \{f \in L^2(\Reals, d\mu) \mid xf(x) \in L^2(\Reals, d\mu)\}$$ और इसका स्पेक्ट्रम पहचान फ़ंक्शन की आवश्यक सीमा से मेल खाता है $$x \mapsto x,$$ जो वास्तव में समर्थन है $$\mu.$$

लेब्सग माप
लेब्सगेग माप के मामले में $$\lambda$$ असली लाइन पर $$\Reals,$$ एक मनमाना बिंदु पर विचार करें $$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$$ और दो मामलों पर विचार करें: हम यह निष्कर्ष निकालते हैं $$\operatorname{supp}(\delta_p)$$ सिंगलटन (गणित) सेट का समापन है $$\{p\},$$ जो है $$\{p\}$$ अपने आप।
 * 1) अगर $$x = p,$$ फिर हर खुला पड़ोस $$N_x$$ का $$x$$ रोकना $$p,$$ इसलिए $$\delta_p(N_x) = 1 > 0.$$
 * 2) दूसरी ओर, यदि $$x \neq p,$$ तब वहां एक पर्याप्त छोटी खुली गेंद मौजूद होती है $$B$$ आस-पास $$x$$ जिसमें शामिल नहीं है $$p,$$ इसलिए $$\delta_p(B) = 0.$$

वास्तव में, एक उपाय $$\mu$$ वास्तविक रेखा पर एक डिराक माप है $$\delta_p$$ कुछ बिंदु के लिए $$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) के बारे में एक खुला अंतराल होता है, जिसे प्रतिच्छेद करना चाहिए $$(0, 1),$$ और इसलिए सकारात्मक होना चाहिए $$\mu$$-उपाय।

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

एक गैर-तुच्छ माप जिसका समर्थन शून्य
है

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

संदर्भ

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