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

गणित में, एक माप <math>\mu</math> के '''समर्थन''' (कभी-कभी '''टोपोलॉजिकल समर्थन''' या '''स्पेक्ट्रम''') का अर्थ होता है कि यह माप अंतरिक्ष <math>X</math> में "निवास करता है"। यह निर्धारित किया जाता है कि यह सबसे बड़ा ([[बंद वाला संख्या|बंद]]) [[उपसमूह]] है जिसके लिए प्रत्येक बिंदु के प्रत्येक [[खुला समूह|खुले]] [[आस-पासी (गणित)|आस-पासी]] का माप धनात्मक होता है।

==प्रेरणा==

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

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

[[Category:CS1 maint]]
[[Category:Collapse templates]]
[[Category:Created On 07/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]

==परिभाषा==

यदि <math>(X, T)</math> एक [[टोपोलॉजिकल समूह]] हो, तो <math>B(T)</math> <math>X</math> पर [[बोरेल संघ|बोरेल σ-संघ]] का प्रतिनिधित्व करता है, अर्थात् <math>X</math> पर सभी खुले समूह <math>U \in T</math> को शामिल करने वाले सबसे छोटा σ-संघ है। <math>\mu</math> <math>(X, B(T))</math> पर एक माप हो। तब <math>\mu</math> का '''समर्थन''' (या '''स्पेक्ट्रम''') निम्न रूप में परिभाषित होता है:

<math display=block>\operatorname{supp} (\mu) := {x \in X \mid \forall N_x \in T \colon (x \in N_x \Rightarrow \mu (N_x) > 0)}.</math>

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

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

<math display=block>(\forall U \in T)(U \cap C \neq \varnothing \implies \mu (U \cap C) > 0).</math>


===हस्ताक्षरित और जटिल उपाय===

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

[[Category:CS1 maint]]
[[Category:Collapse templates]]
[[Category:Created On 07/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]

==गुण==

<math>\operatorname{supp} (\mu_1 + \mu_2) = \operatorname{supp} (\mu_1) \cup \operatorname{supp} (\mu_2)</math> का सत्य होता है।


यदि <math>\mu</math> <math>X</math> पर एक माप है और यह सख्त धनात्मक है, तो <math>\operatorname{supp}(\mu) = X</math> होता है। यदि <math>\mu</math> सख्त धनात्मक है और <math>x \in X</math> विशेष नहीं है, तो कोई भी खुला पड़ोस का विस्तार (जो कि एक खुला सेट होता है) धनात्मक माप होता है; इसलिए, <math>x \in \operatorname{supp}(\mu)</math> होता है, इसलिए <math>\operatorname{supp}(\mu) = X</math> होता है।
पुनः, यदि <math>\operatorname{supp}(\mu) = X</math> है, तो हर गैर-खाली खुला सेट (जो कि इसके आंतरिक सेट के एक बिंदु का खुला पड़ोस होता है, जो समर्थन का एक बिंदु भी है) धनात्मक माप होता है; इसलिए, <math>\mu</math> सख्त धनात्मक होता है।
माप का समर्थन <math>X</math> में [[Closed set|बंद]] होता है, क्योंकि इसका पूरक माप 0 के खुले सेटों का संयोग होता है।

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

<math display=block>A \subseteq X \setminus \operatorname{supp} (\mu) \implies \mu (A) = 0.</math>
यदि <math>A</math> खुला है, तो यह बात सत्य है, लेकिन सामान्यतः यह सत्य नहीं है: अगर कोई ऐसा बिंदु <math>x \in \operatorname{supp}(\mu)</math> मौजूद है जिसके लिए <math>\mu({x}) = 0</math> होता है (उदाहरण के लिए, लेबेस्ग माप), तो यह सत्य नहीं होता है। इसलिए, समर्थन के बाहर "समान्य रूप से अंशिक" ढंग से कार्य करने की आवश्यकता नहीं होती है: किसी भी [[मापयोगी संख्या|मापयोगी संख्या]] <math>f : X \to \Reals</math> या <math>\Complex,</math> के लिए,
<math display=block>\int_X f(x) , \mathrm{d} \mu (x) = \int_{\operatorname{supp} (\mu)} f(x) , \mathrm{d} \mu (x).</math>
माप का ''समर्थन'' और हिलबर्ट स्थान पर स्व-संयुक्त रूप में एक स्व-प्रतिबिम्बी रैखिक ऑपरेटर के ''स्पेक्ट्रम'' का अवधारणा गहरायी से संबंधित होती है। वास्तव में, यदि <math>\mu</math> एक पंक्ति पर एक [[नियमित बोरेल माप]] है, तो गुणन ऑपरेटर <math>(Af)(x) = xf(x)</math> अपने प्राकृतिक डोमेन पर स्व-संयुक्त है
<math display=block>D(A) = {f \in L^2(\Reals, d\mu) \mid xf(x) \in L^2(\Reals, d\mu)}</math>
और इसका स्पेक्ट्रम सीधे-सीधे पहचान-सीमा के साथ मेल खाता है, जो बिलकुल <math>\mu</math> का समर्थन होता है।<ref>Mathematical methods in Quantum Mechanics with applications to Schrödinger Operators</ref>

[[Category:CS1 maint]]
[[Category:Collapse templates]]
[[Category:Created On 07/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]

==उदाहरण==

===लेब्सग माप===

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


===डिराक माप===

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

यदि <math>x = p</math> है, तो प्रत्येक खुले पड़ोस <math>N_x</math> में <math>p</math> शामिल होता है, इसलिए <math>\delta_p(N_x) = 1 > 0</math> होता है।
दूसरी ओर, यदि <math>x \neq p</math> है, तो ऐसा कम से कम एक छोटा खुला गोला <math>B</math> मौजूद होता है जिसमें <math>p</math> शामिल नहीं होता है, इसलिए <math>\delta_p(B) = 0</math> होता है।
हम निष्कर्ष निकालते हैं कि <math>\operatorname{supp}(\delta_p)</math> एकल सेट <math>{p}</math> के [[Closure (topology)|आवरण]] के बराबर होता है, जो <math>{p}</math> खुद है।

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

===एक समान वितरण===

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

===एक गैर-तुच्छ उपाय जिसका समर्थन खाली है===

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

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

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

[[Category:CS1 maint]]
[[Category:Collapse templates]]
[[Category:Created On 07/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]

==संदर्भ==

{{reflist}}

* {{cite book | author=Ambrosio, L., Gigli, N. & Savaré, G. | title=Gradient Flows in Metric Spaces and in the Space of Probability Measures | publisher=ETH Zürich, Birkhäuser Verlag, Basel | year=2005 | isbn=3-7643-2428-7}}
* {{cite book
|     last = Parthasarathy
|    first = K. R.
|    title = Probability measures on metric spaces
|publisher = AMS Chelsea Publishing, Providence, RI
|     year = 2005
|     isbn = 0-8218-3889-X
|    page = xii+276
}} {{MathSciNet|id=2169627}} (See chapter 2, section 2.)
* {{cite book
|     last = Teschl
|    first = Gerald
|    title = Mathematical methods in Quantum Mechanics with applications to Schrödinger Operators
|publisher = AMS 
|     year = 2009
|      url = https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/
}}(See chapter 3, section 2)

{{Measure theory}}

[[Category:CS1 maint]]
[[Category:Collapse templates]]
[[Category:Created On 07/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]