View source for उपाय (गणित)

{{short description|Generalization of mass, length, area and volume}}
{{For|the coalgebraic concept|Measuring coalgebra}}
{{Distinguish|Metric (mathematics)}}
{{More footnotes|date=January 2021}}
[[File:Measure illustration (Vector).svg|alt=|thumb|अनौपचारिक रूप से, एक उपाय में [[मोनोटोन फ़ंक्शन]] होने का गुण इस अर्थ में होता है कि यदि <math>A</math> का उपसमुच्चय है <math>B,</math> का पैमाना <math>A</math> के माप से कम या उसके बराबर है <math>B.</math> इसके अलावा, [[खाली सेट]] का माप 0 होना आवश्यक है। माप के रूप में एक साधारण उदाहरण एक आयतन (कितनी बड़ी वस्तु एक स्थान घेरती है) है।]]गणित में, एक माप की अवधारणा ज्यामिति # [[लंबाई]], [[क्षेत्र]]फल और [[आयतन]] (लंबाई, क्षेत्रफल, आयतन) और अन्य सामान्य धारणाओं, जैसे [[परिमाण (गणित)]], [[द्रव्यमान]] और घटनाओं की [[संभावना]] का सामान्यीकरण और औपचारिकता है। इन प्रतीत होने वाली विशिष्ट अवधारणाओं में कई समानताएँ हैं और अक्सर एक ही गणितीय संदर्भ में एक साथ व्यवहार किया जा सकता है। उपाय संभाव्यता सिद्धांत, [[अभिन्न]] में मूलभूत हैं, और [[विद्युत आवेश]] के साथ हस्ताक्षरित माप ग्रहण करने के लिए सामान्यीकृत किया जा सकता है। माप के दूरगामी सामान्यीकरण (जैसे वर्णक्रमीय उपाय और [[प्रक्षेपण-मूल्यवान उपाय]]) सामान्य रूप से [[क्वांटम भौतिकी]] और भौतिकी में व्यापक रूप से उपयोग किए जाते हैं।

इस अवधारणा के पीछे का अंतर्ज्ञान [[प्राचीन ग्रीस]] में वापस आता है, जब [[आर्किमिडीज]]़ ने एक वृत्त के क्षेत्रफल की गणना करने की कोशिश की थी। लेकिन 19वीं सदी के अंत और 20वीं सदी की शुरुआत तक माप सिद्धांत गणित की एक शाखा नहीं बन पाया। आधुनिक माप सिद्धांत की नींव एमिल बोरेल, [[हेनरी लेबेस्ग्यू]], [[निकोलाई लुज़िन]], [[जोहान रैडॉन]], कॉन्स्टेंटिन कैराथोडोरी और मौरिस फ्रेचेट के कार्यों में रखी गई थी।

== परिभाषा ==
[[File:Countable additivity of a measure.svg|thumb|300px|एक माप की गणना योग्य योगात्मकता <math>\mu</math>: एक गणनीय असंयुक्त संघ का माप प्रत्येक उपसमुच्चय के सभी उपायों के योग के समान होता है।]]होने देना <math>X</math> एक सेट हो और <math>\Sigma</math> एक सिग्मा-बीजगणित|<math>\sigma</math>-बीजगणित खत्म <math>X.</math> एक [[सेट समारोह]] <math>\mu</math> से <math>\Sigma</math> [[विस्तारित वास्तविक संख्या रेखा]] को एक माप कहा जाता है यदि निम्न शर्तें लागू होती हैं:

*गैर-नकारात्मकता: सभी के लिए <math>E \in \Sigma,</math> <math>\mu(E) \geq 0.</math>
*<math>\mu(\varnothing) = 0.</math>
*गणनीय योगात्मकता (या सिग्मा योगात्मकता|<math>\sigma</math>-additivity): सभी [[गणनीय]] संग्रहों के लिए <math>\{ E_k \}_{k=1}^\infty</math> Σ में जोड़ीदार असंयुक्त सेट की,<math display="block">\mu\left(\bigcup_{k=1}^\infty E_k\right)=\sum_{k=1}^\infty \mu(E_k).</math>
अगर कम से कम एक सेट <math>E</math> परिमित माप है, तो आवश्यकता है <math>\mu(\varnothing) = 0</math> गणनीय योगात्मकता के कारण स्वचालित रूप से मिलता है:
<math display=block>\mu(E)=\mu(E \cup \varnothing) = \mu(E) + \mu(\varnothing),</math>
और इसलिए <math>\mu(\varnothing)=0.</math>
यदि गैर-नकारात्मकता की स्थिति को छोड़ दिया जाता है, और <math>\mu</math> के मूल्यों में से अधिक से अधिक एक लेता है <math>\pm \infty,</math> तब <math>\mu</math> एक हस्ताक्षरित उपाय कहा जाता है।

जोड़ी <math>(X, \Sigma)</math> एक औसत दर्जे का स्थान कहा जाता है, और के सदस्य <math>\Sigma</math> मापनीय समुच्चय कहलाते हैं।

एक [[टपल]] <math>(X, \Sigma, \mu)</math> माप स्थान कहा जाता है। प्रायिकता माप एक माप है जिसका कुल माप एक –  है, <math>\mu(X) = 1.</math> प्रायिकता स्थान प्रायिकता माप के साथ माप स्थान है।

माप स्थान के लिए जो [[टोपोलॉजिकल स्पेस]] भी हैं माप और टोपोलॉजी के लिए विभिन्न अनुकूलता स्थितियों को रखा जा सकता है। [[विश्लेषण (गणित)]] में व्यवहार में मिले अधिकांश उपाय (और कई मामलों में प्रायिकता सिद्धांत में भी) रेडॉन उपाय हैं। समर्थन (गणित) #कॉम्पैक्ट समर्थन के साथ [[निरंतर कार्य]]ों के स्थानीय उत्तल टोपोलॉजिकल वेक्टर स्पेस पर रैडॉन उपायों की रैखिक कार्यात्मकता के संदर्भ में एक वैकल्पिक परिभाषा है। यह दृष्टिकोण [[निकोलस बोरबाकी]] (2004) और कई अन्य स्रोतों द्वारा लिया गया है। अधिक जानकारी के लिए, रैडॉन उपायों पर आलेख देखें।

== उदाहरण ==
{{main category|Measures (measure theory)}}
कुछ महत्वपूर्ण उपाय यहां सूचीबद्ध हैं।

* गणना माप द्वारा परिभाषित किया गया है <math>\mu(S)</math> = तत्वों की संख्या <math>S.</math>
* [[लेबेस्ग उपाय]] चालू है <math>\R</math> एक σ-बीजगणित पर अनुवाद-अपरिवर्तनीय उपाय है जिसमें [[अंतराल (गणित)]] है <math>\R</math> ऐसा है कि <math>\mu([0, 1]) = 1</math>; और इन गुणों के साथ हर दूसरा माप Lebesgue माप का विस्तार करता है।
* परिपत्र [[कोण]] माप [[ ROTATION ]] के तहत अपरिवर्तनीय है, और [[अतिशयोक्तिपूर्ण कोण]] माप [[निचोड़ मानचित्रण]] के तहत अपरिवर्तनीय है।
* स्थानीय रूप [[स्थानीय रूप से कॉम्पैक्ट स्थान]] [[टोपोलॉजिकल समूह]] के लिए हार उपाय लेबेस्ग माप (और गिनती माप और परिपत्र कोण माप का भी) का एक सामान्यीकरण है और इसमें समान विशिष्टता गुण हैं।
* हौसडॉर्फ माप गैर-पूर्णांक आयाम वाले सेटों, विशेष रूप से फ्रैक्टल सेटों के लिए लेबेस्ग माप का एक सामान्यीकरण है।
* प्रत्येक संभाव्यता स्थान एक माप को जन्म देता है जो पूरे स्थान पर मान 1 लेता है (और इसलिए [[इकाई अंतराल]] [0, 1] में इसके सभी मान लेता है)। इस तरह के माप को संभाव्यता माप या वितरण कहा जाता है। उदाहरणों के लिए List_of_probability_distributions देखें।
* [[डिराक माप]] δ<sub>''a''</sub> (cf. Dirac डेल्टा फ़ंक्शन) δ द्वारा दिया गया है<sub>''a''</sub>(एस) = एक्स<sub>''S''</sub>(ए), जहां χ<sub>''S''</sub> का सूचक कार्य है <math>S.</math> एक सेट का माप 1 होता है यदि उसमें बिंदु होता है <math>a</math> और 0 अन्यथा।

विभिन्न सिद्धांतों में प्रयुक्त अन्य 'नामित' उपायों में शामिल हैं: बोरेल माप, [[जॉर्डन माप]], [[एर्गोडिक उपाय]], [[गाऊसी माप]], बेयर माप, रेडॉन माप, युवा माप और [[लोएब माप]]।
 
भौतिकी में माप का एक उदाहरण द्रव्यमान का स्थानिक वितरण है (उदाहरण के लिए, [[गुरुत्वाकर्षण क्षमता]] देखें), या अन्य गैर-नकारात्मक [[व्यापक संपत्ति]], [[संरक्षित मात्रा]] (इनकी सूची के लिए [[संरक्षण कानून (भौतिकी)]] देखें) या नहीं। नकारात्मक मूल्य हस्ताक्षरित उपायों की ओर ले जाते हैं, नीचे सामान्यीकरण देखें।

* लिउविले का प्रमेय (हैमिल्टनियन)#सहानुभूति ज्यामिति, जिसे सहानुभूति बहुविध पर प्राकृतिक आयतन रूप के रूप में भी जाना जाता है, शास्त्रीय सांख्यिकीय और हैमिल्टनियन यांत्रिकी में उपयोगी है।
* गिब्स माप व्यापक रूप से सांख्यिकीय यांत्रिकी में उपयोग किया जाता है, जिसे अक्सर [[विहित पहनावा]] के नाम से जाना जाता है।

== मूल गुण ==
होने देना <math>\mu</math> एक उपाय हो।

=== एकरसता ===
अगर <math>E_1</math> और <math>E_2</math> के साथ मापने योग्य सेट हैं <math>E_1 \subseteq E_2</math> तब
<math display=block>\mu(E_1) \leq \mu(E_2).</math>


=== गणनीय संघों और चौराहों का माप ===

== गणनीय उप-विषमता ==
किसी भी गणनीय [[अनुक्रम (गणित)]] के लिए <math>E_1, E_2, E_3, \ldots</math> (आवश्यक रूप से अलग नहीं) औसत दर्जे का सेट <math>E_n</math> में <math>\Sigma:</math>
<math display=block>\mu\left( \bigcup_{i=1}^\infty E_i\right) \leq \sum_{i=1}^\infty \mu(E_i).</math>


====निरंतरता नीचे से ====
अगर <math>E_1, E_2, E_3, \ldots</math> मापने योग्य सेट हैं जो बढ़ रहे हैं (जिसका अर्थ है कि <math>E_1 \subseteq E_2 \subseteq E_3 \subseteq \ldots</math>) फिर सेट का [[संघ (सेट सिद्धांत)]]। <math>E_n</math> मापने योग्य है और
<math display=block>\mu\left(\bigcup_{i=1}^\infty E_i\right) ~=~ \lim_{i\to\infty}  \mu(E_i) = \sup_{i \geq 1} \mu(E_i).</math>


==== ऊपर से निरंतरता ====
अगर <math>E_1, E_2, E_3, \ldots</math> मापने योग्य सेट हैं जो घट रहे हैं (जिसका अर्थ है कि <math>E_1 \supseteq E_2 \supseteq E_3 \supseteq \ldots</math>) फिर सेट का इंटरसेक्शन (सेट सिद्धांत)। <math>E_n</math> मापने योग्य है; इसके अलावा, यदि कम से कम एक <math>E_n</math> तब परिमित उपाय है
<math display=block>\mu\left(\bigcap_{i=1}^\infty E_i\right) = \lim_{i\to\infty} \mu(E_i) = \inf_{i \geq 1} \mu(E_i).</math>
यह संपत्ति इस धारणा के बिना झूठी है कि कम से कम एक <math>E_n</math> परिमित उपाय है। उदाहरण के लिए, प्रत्येक के लिए <math>n \in \N,</math> होने देना <math>E_n = [n, \infty) \subseteq \R,</math> जिसमें सभी के पास असीमित Lebesgue माप है, लेकिन चौराहा खाली है।

== अन्य गुण ==

=== पूर्णता ===
{{Main|Complete measure}}

एक मापने योग्य सेट <math>X</math> एक अशक्त सेट कहा जाता है अगर <math>\mu(X) = 0.</math> शून्य समुच्चय के उपसमुच्चय को नगण्य समुच्चय कहा जाता है। एक नगण्य सेट को मापने योग्य नहीं होना चाहिए, लेकिन प्रत्येक मापने योग्य नगण्य सेट स्वचालित रूप से एक शून्य सेट होता है। एक उपाय को पूर्ण कहा जाता है यदि प्रत्येक नगण्य सेट औसत दर्जे का हो।

उपसमुच्चयों के σ-बीजगणित पर विचार करके एक माप को पूर्ण माप तक बढ़ाया जा सकता है <math>Y</math> जो औसत दर्जे के सेट से नगण्य सेट से भिन्न होता है <math>X,</math> वह है, जैसे कि [[सममित अंतर]] <math>X</math> और <math>Y</math> शून्य सेट में निहित है। एक परिभाषित करता है <math>\mu(Y)</math> बराबर करने के लिए <math>\mu(X).</math>
μ{x : f(x) ≥ t} = μ{x : f(x) > t} (a.e.)
अगर <math>f:X\to[0,+\infty]</math> है <math>(\Sigma,{\cal B}([0,+\infty]))</math>-मापने योग्य, फिर
<math display=block>\mu\{x\in X: f(x) \geq t\} = \mu\{x\in X: f(x) > t\}</math>
[[लगभग हर जगह]] के लिए <math>t \in X.</math><ref>{{citation | last = Fremlin | first = D. H. | title = Measure Theory | volume = 2 | year = 2010 | edition = Second | page = 221}}</ref> इस संपत्ति का उपयोग [[लेबेस्ग इंटीग्रल]] के संबंध में किया जाता है।
{{math proof| proof=
Both <math>F(t) := \mu\{x\in X : f(x) > t\}</math> and <math>G(t) := \mu\{x\in X : f(x) \geq t\}</math> are monotonically non-increasing functions of <math>t,</math> so both of them have [[Discontinuities of monotone functions|at most countably many discontinuities]] and thus they are continuous almost everywhere, relative to the Lebesgue measure. 
If <math>t < 0</math> then <math>\{x\in X : f(x) \geq t\} = X = \{x\in X : f(x) > t\},</math> so that <math>F(t) = G(t),</math> as desired. 

If <math>t</math> is such that <math>\mu\{x\in X : f(x) > t\} = +\infty</math> then [[#Monotonicity|monotonicity]] implies
<math display=block>\mu\{x\in X : f(x) \geq t\} = +\infty,</math>
so that <math>F(t) = G(t),</math> as required. 
If <math>\mu\{x\in X : f(x) > t\} = +\infty</math> for all <math>t</math> then we are done, so assume otherwise. Then there is a unique <math>t_0 \in \{-\infty\} \cup [0,+\infty) </math> such that <math>F</math> is infinite to the left of <math>t</math> (which can only happen when <math>t_0 \geq 0</math>) and finite to the right. 
Arguing as above, <math>\mu\{x\in X : f(x) \geq t\} = +\infty </math> when <math>t < t_0.</math> Similarly, if <math>t_0 \geq 0</math> and <math>F\left(t_0\right) = +\infty</math> then <math>F\left(t_0\right) = G\left(t_0\right).</math>

For <math>t > t_0,</math> let <math>t_n</math> be a monotonically non-decreasing sequence converging to <math>t.</math> The monotonically non-increasing sequence <math>\{x\in X : f(x) > t_n\}</math> of members of <math>\Sigma</math> has at least one finitely <math>\mu</math>-measurable component, and
<math display=block>\{x\in X : f(x) \geq t\} = \bigcap_n \{x\in X : f(x) > t_n\}.</math>
Continuity from above guarantees that
<math display=block>\mu\{x\in X : f(x) \geq t\} = \lim_{t_n \uparrow t} \mu\{x\in X : f(x) > t_n\}.</math>
The right-hand side <math>\lim_{t_n \uparrow t} F\left(t_n\right)</math> then equals <math>F(t) = \mu\{x\in X : f(x) > t\}</math> if <math>t</math> is a point of continuity of <math>F.</math> Since <math>F</math> is continuous almost everywhere, this completes the proof.
}}

=== एडिटिविटी ===
उपायों को योगात्मक रूप से जोड़ने की आवश्यकता है। हालाँकि, स्थिति को निम्नानुसार मजबूत किया जा सकता है।
किसी भी सेट के लिए <math>I</math> और गैर-नकारात्मक का कोई भी सेट <math>r_i,i\in I</math> परिभाषित करना:
<math display=block>\sum_{i\in I} r_i=\sup\left\lbrace\sum_{i\in J} r_i : |J|<\infty, J\subseteq I\right\rbrace.</math>
अर्थात्, हम के योग को परिभाषित करते हैं <math>r_i</math> उनमें से बहुत से परिमित रूप से सभी योगों का सर्वोच्च होना।

एक नाप <math>\mu</math> पर <math>\Sigma</math> है <math>\kappa</math>-एडिटिव अगर किसी के लिए <math>\lambda<\kappa</math> और अलग सेट के किसी भी परिवार <math>X_\alpha,\alpha<\lambda</math> निम्नलिखित पकड़:
<math display=block>\bigcup_{\alpha\in\lambda} X_\alpha \in \Sigma</math>
<math display=block>\mu\left(\bigcup_{\alpha\in\lambda} X_\alpha\right) = \sum_{\alpha\in\lambda}\mu\left(X_\alpha\right).</math>
दूसरी स्थिति इस कथन के समतुल्य है कि अशक्त समुच्चय का [[आदर्श (सेट सिद्धांत)]] है <math>\kappa</math>-पूरा।

=== सिग्मा-परिमित उपाय ===
{{Main|Sigma-finite measure}}

एक माप स्थान <math>(X, \Sigma, \mu)</math> परिमित कहा जाता है अगर <math>\mu(X)</math> एक परिमित वास्तविक संख्या है (इसके बजाय <math>\infty</math>). शून्येतर परिमित माप किसी भी परिमित माप के अर्थ में प्रायिकता माप के अनुरूप होते हैं <math>\mu</math> संभाव्यता माप के आनुपातिक है <math>\frac{1}{\mu(X)}\mu.</math> एक नाप <math>\mu</math> σ-परिमित कहा जाता है अगर <math>X</math> परिमित माप के मापने योग्य सेटों के एक गणनीय संघ में विघटित किया जा सकता है। अनुरूप रूप से, माप स्थान में एक सेट को σ-परिमित माप कहा जाता है यदि यह परिमित माप के साथ सेटों का एक गणनीय संघ है।

उदाहरण के लिए, मानक Lebesgue माप के साथ [[वास्तविक संख्या]]एं σ-परिमित हैं लेकिन परिमित नहीं हैं। [[बंद अंतराल]] पर विचार करें <math>[k, k+1]</math> सभी [[पूर्णांक]]ों के लिए <math>k;</math> ऐसे कई अंतराल हैं, जिनमें से प्रत्येक का माप 1 है, और उनका मिलन ही संपूर्ण वास्तविक रेखा है। वैकल्पिक रूप से, गिनती माप के साथ वास्तविक संख्याओं पर विचार करें, जो वास्तविक के प्रत्येक परिमित सेट को सेट में बिंदुओं की संख्या प्रदान करती है। यह माप स्थान σ-परिमित नहीं है, क्योंकि परिमित माप के साथ प्रत्येक सेट में केवल सूक्ष्म रूप से कई बिंदु होते हैं, और यह संपूर्ण वास्तविक रेखा को कवर करने के लिए ऐसे कई सेटों को बेशुमार रूप से ले जाएगा। σ-परिमित माप स्थान में कुछ बहुत ही सुविधाजनक गुण होते हैं; इस संबंध में σ-परिमितता की तुलना लिंडेलोफ स्पेस से की जा सकती है। टोपोलॉजिकल स्पेस की लिंडेलोफ संपत्ति।{{OR inline|date=May 2022}} उन्हें इस विचार के अस्पष्ट सामान्यीकरण के रूप में भी माना जा सकता है कि एक माप स्थान में 'बेशुमार माप' हो सकता है।

=== सख्ती से स्थानीय उपाय ===
{{Main|Decomposable measure}}

=== अर्धसूत्रीय उपाय ===
होने देना <math>X</math> एक सेट हो, चलो <math>{\cal A}</math> एक सिग्मा-बीजगणित बनें <math>X,</math> और जाने <math>\mu</math> एक उपाय हो <math>{\cal A}.</math> हम कहते हैं <math>\mu</math> इसका मतलब यह है कि सभी के लिए अर्ध है <math>A\in\mu^\text{pre}\{+\infty\},</math> <math>{\cal P}(A)\cap\mu^\text{pre}(\R_{>0})\ne\emptyset.</math>{{sfn|Mukherjea|1985|p=90}}

सेमीफिनिट उपाय सिग्मा-फिनिट उपायों को इस तरह से सामान्यीकृत करते हैं कि माप सिद्धांत के कुछ बड़े प्रमेय जो सिग्मा-फिनिट के लिए हैं, लेकिन मनमाना उपाय नहीं हैं, उन्हें सेमीफिनिट उपायों के लिए थोड़े संशोधन के साथ बढ़ाया जा सकता है। (टू-डू: ऐसे प्रमेयों के उदाहरण जोड़ें; cf. वार्ता पृष्ठ।)

==== बुनियादी उदाहरण ====
* प्रत्येक सिग्मा-परिमित माप अर्ध-परिमित होता है।
* मान लीजिए <math>{\cal A}={\cal P}(X),</math> होने देना <math>f:X\to[0,+\infty],</math> और मान लो <math>\mu(A)=\sum_{a\in A}f(a)</math> सभी के लिए <math>A\subseteq X.</math>
** हमारे पास वह है <math>\mu</math> सिग्मा-परिमित है अगर और केवल अगर <math>f(x)<+\infty</math> सभी के लिए <math>x\in X</math> और <math>f^\text{pre}(\R_{>0})</math> गणनीय है। हमारे पास वह है <math>\mu</math> अगर और केवल अगर अर्ध है <math>f(x)<+\infty</math> सभी के लिए <math>x\in X.</math>{{sfn|Folland|1999|p=25}}
** ले रहा <math>f=X\times\{1\}</math> ऊपर (ताकि <math>\mu</math> गिनती चल रही है <math>{\cal P}(X)</math>), हम देखते हैं कि गिनती का माप चालू है <math>{\cal P}(X)</math> है
*** सिग्मा-परिमित अगर और केवल अगर <math>X</math> गणनीय है; और
*** अर्ध-परिमित (बिना इस बात की परवाह किए कि क्या <math>X</math> गणनीय है)। (इस प्रकार, काउंटिंग माप, पावर सेट पर <math>{\cal P}(X)</math> एक मनमाना बेशुमार सेट <math>X,</math> एक अर्ध-परिमित माप का उदाहरण देता है जो सिग्मा-परिमित नहीं है।)
* होने देना <math>d</math> एक पूर्ण, वियोज्य मीट्रिक चालू हो <math>X,</math> होने देना <math>{\cal B}</math> बोरेल सिग्मा-बीजगणित से प्रेरित हो <math>d,</math> और जाने <math>s\in\R_{>0}.</math> फिर हॉसडॉर्फ माप <math>{\cal H}^s|{\cal B}</math> अर्धशतक है।{{sfn|Edgar|1998|loc=Theorem 1.5.2, p. 42}}
* होने देना <math>d</math> एक पूर्ण, वियोज्य मीट्रिक चालू हो <math>X,</math> होने देना <math>{\cal B}</math> बोरेल सिग्मा-बीजगणित से प्रेरित हो <math>d,</math> और जाने <math>s\in\R_{>0}.</math> फिर पैकिंग आयाम # परिभाषाएँ <math>{\cal H}^s|{\cal B}</math> अर्धशतक है।{{sfn|Edgar|1998|loc=Theorem 1.5.3, p. 42}}

==== शामिल उदाहरण ====
शून्य माप सिग्मा-परिमित है और इस प्रकार अर्ध-परिमित है। इसके अलावा, शून्य माप स्पष्ट रूप से कम या बराबर है <math>\mu.</math> यह दिखाया जा सकता है कि इन दो गुणों के साथ सबसे बड़ा माप है:
{{Math theorem|name=Theorem (semifinite part){{sfn|Nielsen|1997|loc=Exercise 11.30, p. 159}}|math_statement=
For any measure <math>\mu</math> on <math>{\cal A},</math> there exists, among semifinite measures on <math>{\cal A}</math> that are less than or equal to <math>\mu,</math> a [[Greatest element and least element|greatest]] element <math>\mu_\text{sf}.</math>
}}
हम कहते हैं कि सेमीफिनिट का हिस्सा है <math>\mu</math> मतलब अर्ध-परिमित उपाय <math>\mu_\text{sf}</math> उपरोक्त प्रमेय में परिभाषित। हम कुछ अच्छे, स्पष्ट सूत्र देते हैं, जिन्हें कुछ लेखक परिभाषा के रूप में ले सकते हैं, अर्ध-परिमित भाग के लिए:
* <math>\mu_\text{sf}=(\sup\{\mu(B):B\in{\cal P}(A)\cap\mu^\text{pre}(\R_{\ge0})\})_{A\in{\cal A}}.</math>{{sfn|Nielsen|1997|loc=Exercise 11.30, p. 159}}
* <math>\mu_\text{sf}=(\sup\{\mu(A\cap B):B\in\mu^\text{pre}(\R_{\ge0})\})_{A\in{\cal A}}\}.</math>{{sfn|Fremlin|2016|loc=Section 213X, part (c)}}
* <math>\mu_\text{sf}=\mu|_{\mu^\text{pre}(\R_{>0})}\cup\{A\in{\cal A}:\sup\{\mu(B):B\in{\cal P}(A)\}=+\infty\}\times\{+\infty\}\cup\{A\in{\cal A}:\sup\{\mu(B):B\in{\cal P}(A)\}<+\infty\}\times\{0\}.</math>{{sfn|Royden|2010|loc=Exercise 17.8, p. 342}}

तब से <math>\mu_\text{sf}</math> अर्ध-परिमित है, यह इस प्रकार है कि यदि <math>\mu=\mu_\text{sf}</math> तब <math>\mu</math> अर्धशतक है। यह भी स्पष्ट है कि यदि <math>\mu</math> तब अर्ध है <math>\mu=\mu_\text{sf}.</math>


==== गैर-उदाहरण ====
प्रत्येक<math>0-\infty</math> माप जो शून्य माप नहीं है वह अर्ध-परिमित नहीं है। (यहाँ, हम कहते हैं<math>0-\infty</math> माप का अर्थ उस माप से है जिसकी सीमा में है <math>\{0,+\infty\}</math>: <math>(\forall A\in{\cal A})(\mu(A)\in\{0,+\infty\}).</math>) नीचे हम उदाहरण देते हैं <math>0-\infty</math> उपाय जो शून्य उपाय नहीं हैं।
* होने देना <math>X</math> खाली न हो, चलो <math>{\cal A}</math> एक हो <math>\sigma</math>-बीजगणित है <math>X,</math> होने देना <math>f:X\to\{0,+\infty\}</math> शून्य कार्य नहीं हो, और चलो <math>\mu=(\sum_{x\in A}f(x))_{A\in{\cal A}}.</math> यह दिखाया जा सकता है <math>\mu</math> एक उपाय है।
** <math>\mu=\{(\emptyset,0)\}\cup({\cal A}\setminus\{\emptyset\})\times\{+\infty\}.</math>{{sfn|Hewitt|1965|loc=part (b) of Example 10.4, p. 127}}
*** <math>X=\{0\},</math> <math>{\cal A}=\{\emptyset,X\},</math> <math>\mu=\{(\emptyset,0),(X,+\infty)\}.</math>{{sfn|Fremlin|2016|loc=Section 211O, p. 15}}
* होने देना <math>X</math> बेशुमार हो, चलो <math>{\cal A}</math> एक हो <math>\sigma</math>-बीजगणित है <math>X,</math> होने देना <math>{\cal C}=\{A\in{\cal A}:A\text{ is countable}\}</math> के गणनीय तत्व हो <math>{\cal A},</math> और जाने <math>\mu={\cal C}\times\{0\}\cup({\cal A}\setminus{\cal C})\times\{+\infty\}.</math> यह दिखाया जा सकता है <math>\mu</math> एक उपाय है।{{sfn|Mukherjea|1985|p=90}}

==== शामिल गैर-उदाहरण ====
{{Blockquote
|text=Measures that are not semifinite are very wild when restricted to certain sets.<ref group=Note>One way to rephrase our definition is that <math>\mu</math> is semifinite if and only if <math>(\forall A\in\mu^\text{pre}\{+\infty\})(\exists B\subseteq A)(0<\mu(B)<+\infty).</math> Negating this rephrasing, we find that <math>\mu</math> is not semifinite if and only if <math>(\exists A\in\mu^\text{pre}\{+\infty\})(\forall B\subseteq A)(\mu(B)\in\{0,+\infty\}).</math> For every such set <math>A,</math> the subspace measure induced by the subspace sigma-algebra induced by <math>A,</math> i.e. the restriction of <math>\mu</math> to said subspace sigma-algebra, is a <math>0-\infty</math> measure that is not the zero measure.</ref> Every measure is, in a sense, semifinite once its <math>0-\infty</math> part (the wild part) is taken away.
|author=A. Mukherjea and K. Pothoven
|source=''Real and Functional Analysis, Part A: Real Analysis'' (1985)
}}
{{Math theorem|name=Theorem (Luther decomposition){{sfn|Luther|1967|loc=Theorem 1}}{{sfn|Mukherjea|1985|loc=part (b) of Proposition 2.3, p. 90}}|math_statement=
For any measure <math>\mu</math> on <math>{\cal A},</math> there exists a <math>0-\infty</math> measure <math>\xi</math> on <math>{\cal A}</math> such that <math>\mu=\nu+\xi</math> for some semifinite measure <math>\nu</math> on <math>{\cal A}.</math> In fact, among such measures <math>\xi,</math> there exists a [[Greatest element and least element|least]] measure <math>\mu_{0-\infty}.</math> Also, we have <math>\mu=\mu_\text{sf}+\mu_{0-\infty}.</math>
}}
हम कहते हैं<math>\mathbf{0-\infty}</math> का हिस्सा <math>\mu</math> माप का अर्थ है <math>\mu_{0-\infty}</math> उपरोक्त प्रमेय में परिभाषित। यहाँ के लिए एक स्पष्ट सूत्र है <math>\mu_{0-\infty}</math>: <math>\mu_{0-\infty}=(\sup\{\mu(B)-\mu_\text{sf}(B):B\in{\cal P}(A)\cap\mu_\text{sf}^\text{pre}(\R_{\ge0})\})_{A\in{\cal A}}.</math>


====अर्धसूक्ष्म उपायों से संबंधित परिणाम====
<!--Help appreciated, please add results / check the c.l.d. product measure thing-->
* होने देना <math>\mathbb F</math> होना <math>\R</math> या <math>\C,</math> और जाने <math>T:L_\mathbb{F}^\infty(\mu)\to\left(L_\mathbb{F}^1(\mu)\right)^*:g\mapsto T_g=\left(\int fgd\mu\right)_{f\in L_\mathbb{F}^1(\mu)}.</math> तब <math>\mu</math> अगर और केवल अगर अर्ध है <math>T</math> इंजेक्शन है।{{sfn|Fremlin|2016|loc=part (a) of Theorem 243G, p. 159}}{{sfn|Fremlin|2016|loc=Section 243K, p. 162}} (इस परिणाम का Lp स्पेस#ड्युअल स्पेस|ड्युअल स्पेस ऑफ़ के अध्ययन में महत्व है <math>L^1=L_\mathbb{F}^1(\mu)</math>.)
* होने देना <math>\mathbb F</math> होना <math>\R</math> या <math>\C,</math> और जाने <math>{\cal T}</math> माप में अभिसरण की टोपोलॉजी हो <math>L_\mathbb{F}^0(\mu).</math> तब <math>\mu</math> अगर और केवल अगर अर्ध है <math>{\cal T}</math> हॉसडॉर्फ है।{{sfn|Fremlin|2016|loc=part (a) of the Theorem in Section 245E, p. 182}}{{sfn|Fremlin|2016|loc=Section 245M, p. 188}}
* (जॉनसन) चलो <math>X</math> एक सेट हो, चलो <math>{\cal A}</math> एक सिग्मा-बीजगणित बनें <math>X,</math> होने देना <math>\mu</math> एक उपाय हो <math>{\cal A},</math> होने देना <math>Y</math> एक सेट हो, चलो <math>{\cal B}</math> एक सिग्मा-बीजगणित बनें <math>Y,</math> और जाने <math>\nu</math> एक उपाय हो <math>{\cal B}.</math> अगर <math>\mu,\nu</math> दोनों नहीं हैं <math>0-\infty</math> उपाय, फिर दोनों <math>\mu</math> और <math>\nu</math> यदि और केवल यदि उत्पाद माप |<math>(\mu\times_\text{cld}\nu)</math><math>(A\times B)=\mu(A)\nu(B)</math> सभी के लिए <math>A\in{\cal A}</math> और <math>B\in{\cal B}.</math> (यहाँ, <math>\mu\times_\text{cld}\nu</math> बर्बेरियन '65 में प्रमेय 39.1 में परिभाषित उपाय है।{{sfn|Berberian|1965|loc=Theorem 39.1, p. 129}}) <!--To check: Is this actually the ''c.l.d. product measure''?{{sfn|Fremlin|2016|loc=Definition 251F, p. 206}}-->


=== स्थानीयकरण योग्य उपाय ===
स्थानीयकरण योग्य उपाय अर्ध-परिमित उपायों का एक विशेष मामला है और सिग्मा-परिमित उपायों का सामान्यीकरण है।

होने देना <math>X</math> एक सेट हो, चलो <math>{\cal A}</math> एक सिग्मा-बीजगणित बनें <math>X,</math> और जाने <math>\mu</math> एक उपाय हो <math>{\cal A}.</math>
* होने देना <math>\mathbb F</math> होना <math>\R</math> या <math>\C,</math> और जाने <math>T : L_\mathbb{F}^\infty(\mu) \to \left(L_\mathbb{F}^1(\mu)\right)^* : g \mapsto T_g = \left(\int fgd\mu\right)_{f\in L_\mathbb{F}^1(\mu)}.</math> तब <math>\mu</math> स्थानीयकरण योग्य है अगर और केवल अगर <math>T</math> विशेषण है (यदि और केवल यदि <math>L_\mathbb{F}^\infty(\mu)</math> है <math>L_\mathbb{F}^1(\mu)^*</math>).{{sfn|Fremlin|2016|loc=part (b) of Theorem 243G, p. 159}}{{sfn|Fremlin|2016|loc=Section 243K, p. 162}}

===s-सीमित उपाय===
{{Main|s-finite measure}}

एक माप को परिमित कहा जाता है यदि यह परिबद्ध उपायों का एक गणनीय योग है। एस-परिमित उपाय सिग्मा-परिमित उपायों की तुलना में अधिक सामान्य हैं और स्टोकास्टिक प्रक्रियाओं के सिद्धांत में अनुप्रयोग हैं।

== गैर-मापने योग्य सेट ==
{{Main|Non-measurable set}}

यदि चयन के अभिगृहीत को सत्य मान लिया जाए, तो यह सिद्ध किया जा सकता है कि [[यूक्लिडियन अंतरिक्ष]] के सभी उपसमुच्चय लेबेस्ग मापने योग्य नहीं हैं; इस तरह के सेट के उदाहरणों में [[विटाली सेट करता है]], और गैर-मापने योग्य सेट शामिल हैं जो [[हॉसडॉर्फ विरोधाभास]] और बानाच-टार्स्की विरोधाभास द्वारा पोस्ट किए गए हैं।

== सामान्यीकरण ==
कुछ उद्देश्यों के लिए, यह एक उपाय के लिए उपयोगी होता है जिसका मूल्य गैर-नकारात्मक वास्तविक या अनंत तक सीमित नहीं है। उदाहरण के लिए, (हस्ताक्षरित) वास्तविक संख्याओं में मानों के साथ एक गणनीय योगात्मक सेट फ़ंक्शन को हस्ताक्षरित माप कहा जाता है, जबकि [[जटिल संख्या]]ओं में मानों वाले ऐसे फ़ंक्शन को जटिल माप कहा जाता है। ध्यान दें, हालांकि, जटिल माप आवश्यक रूप से परिमित भिन्नता का है, इसलिए [[जटिल उपाय]]ों में परिमित माप शामिल है, लेकिन उदाहरण के लिए, लेबेस्ग माप नहीं।

बानाच स्थानों में मान लेने वाले उपायों का बड़े पैमाने पर अध्ययन किया गया है।<ref>{{citation
 | last = Rao | first = M. M.
 | isbn = 978-981-4350-81-5
 | mr = 2840012
 | publisher = [[World Scientific]]
 | series = Series on Multivariate Analysis
 | title = Random and Vector Measures
 | volume = 9
 | year = 2012}}.</ref> एक उपाय जो [[हिल्बर्ट अंतरिक्ष]] पर स्व-संलग्न अनुमानों के सेट में मान लेता है, उसे प्रक्षेपण-मूल्यवान माप कहा जाता है; इनका उपयोग [[वर्णक्रमीय प्रमेय]] के [[कार्यात्मक विश्लेषण]] में किया जाता है। जब गैर-नकारात्मक मान लेने वाले सामान्य उपायों को सामान्यीकरण से अलग करना आवश्यक होता है, तो 'सकारात्मक माप' शब्द का प्रयोग किया जाता है। [[शंक्वाकार संयोजन]] के तहत सकारात्मक उपाय बंद हैं लेकिन सामान्य [[रैखिक संयोजन]] नहीं हैं, जबकि हस्ताक्षरित उपाय सकारात्मक उपायों के रैखिक बंद हैं।

एक अन्य सामान्यीकरण परिमित योगात्मक उपाय है, जिसे [[सामग्री (माप सिद्धांत)]] के रूप में भी जाना जाता है। यह एक माप के समान है, सिवाय इसके कि गणनीय योगात्मकता की आवश्यकता के बजाय हमें केवल परिमित योगात्मकता की आवश्यकता होती है। ऐतिहासिक रूप से, इस परिभाषा का सबसे पहले उपयोग किया गया था। यह पता चला है कि सामान्य तौर पर, सूक्ष्म रूप से योगात्मक उपाय बनच सीमा, lp स्थान की दोहरी जैसी धारणाओं से जुड़े होते हैं|<math>L^\infty</math>और स्टोन-चेक संघनन। ये सभी किसी न किसी तरह से पसंद के स्वयंसिद्ध से जुड़े हुए हैं। [[ज्यामितीय माप सिद्धांत]] में कुछ तकनीकी समस्याओं में सामग्री उपयोगी रहती है; यह [[बनच उपाय]]ों का सिद्धांत है।

एक चार्ज (बहुविकल्पी) दोनों दिशाओं में एक सामान्यीकरण है: यह एक सूक्ष्म योगात्मक, हस्ताक्षरित उपाय है।<ref>{{Cite book|last=Bhaskara Rao|first=K. P. S.|url=https://www.worldcat.org/oclc/21196971|title=Theory of charges: a study of finitely additive measures|date=1983|publisher=Academic Press|others=M. Bhaskara Rao|isbn=0-12-095780-9|location=London|pages=35|oclc=21196971}}</ref> (Cf. ba परिबद्ध आवेशों के बारे में जानकारी के लिए स्थान, जहाँ हम कहते हैं कि एक आवेश परिबद्ध है जिसका अर्थ है कि इसकी सीमा R का एक परिबद्ध उपसमुच्चय है।)

== यह भी देखें ==
{{Portal|Mathematics}}
{{div col|colwidth=20em|small=yes}}
* [[एबेलियन वॉन न्यूमैन बीजगणित]]
* लगभग हर जगह
* कैराथियोडोरी का विस्तार प्रमेय
* सामग्री (माप सिद्धांत)
* फ़ुबिनी की प्रमेय
* फतौ की लेम्मा
* फजी माप सिद्धांत
* ज्यामितीय माप सिद्धांत
* हॉसडॉर्फ उपाय
*आंतरिक माप
* लेबेस्ग एकीकरण
* लेबेस्गु उपाय
* [[लोरेंत्ज़ अंतरिक्ष]]
* भारोत्तोलन सिद्धांत
* [[मापने योग्य कार्डिनल]]
* [[मापने योग्य कार्य]]
* मिन्कोव्स्की सामग्री
* बाहरी उपाय
* [[उत्पाद माप]]
* पुश फॉरवर्ड उपाय
* [[नियमित उपाय]]
* [[वेक्टर माप]]
* [[मूल्यांकन (माप सिद्धांत)]]
* आयतन रूप
{{div col end}}

==टिप्पणियाँ==
{{reflist|group=Note}}


==ग्रन्थसूची==
{{refbegin}}
* [[Robert G. Bartle]] (1995) ''The Elements of Integration and Lebesgue Measure'', Wiley Interscience.
* {{citation | last=Bauer|first=H.|title=Measure and Integration Theory|year=2001|publisher=de Gruyter|location=Berlin|isbn=978-3110167191}}
* {{citation | last=Bear|first=H.S.|title=A Primer of Lebesgue Integration|year=2001|publisher=Academic Press|location=San Diego|isbn=978-0120839711}}
* {{cite book |last1=Berberian |first1=Sterling K |title=Measure and Integration |date=1965 |publisher=MacMillan}}
* {{citation | last=Bogachev|first=V. I.|title=Measure theory|year=2006|publisher=Springer|location=Berlin|isbn=978-3540345138}}
* {{citation | last=Bourbaki| first=Nicolas | title=Integration I |  year=2004 | publisher=[[Springer Verlag]] | isbn=3-540-41129-1}} Chapter III.
* R. M. Dudley, 2002. ''Real Analysis and Probability''. Cambridge University Press.
* {{cite book |last1=Edgar |first1=Gerald A |title=Integral, Probability, and Fractal Measures |date=1998 |publisher=Springer |isbn=978-1-4419-3112-2}}
* {{cite book |last1=Folland |first1=Gerald B |title=Real Analysis: Modern Techniques and Their Applications |date=1999 |publisher=Wiley |isbn=0-471-31716-0 |edition=Second}}
* Federer, Herbert. Geometric measure theory. Die Grundlehren der mathematischen Wissenschaften, Band 153 Springer-Verlag New York Inc., New York 1969 xiv+676 pp.
* {{cite book |last1=Fremlin |first1=D.H. |title=Measure Theory, Volume 2: Broad Foundations |date=2016 |publisher=Torres Fremlin |edition=Hardback}} Second printing.
* {{cite book |last1=Hewitt |first1=Edward |last2=Stromberg |first2=Karl |title=Real and Abstract Analysis: A Modern Treatment of the Theory of Functions of a Real Variable |date=1965 |publisher=Springer |isbn=0-387-90138-8}}
* {{citation | last=Jech| first=Thomas | title=Set Theory: The Third Millennium Edition, Revised and Expanded |  year=2003 | publisher=[[Springer Verlag]] | isbn=3-540-44085-2}}
* [[R. Duncan Luce]] and Louis Narens (1987). "measurement, theory of," ''The [[New Palgrave: A Dictionary of Economics]]'', v. 3, pp.&nbsp;428–32.
* {{cite journal |last1=Luther |first1=Norman Y |title=A decomposition of measures |journal=Canadian Journal of Mathematics |date=1967 |volume=20 |pages=953–959 |doi=10.4153/CJM-1968-092-0 |s2cid=124262782 |url=https://www.cambridge.org/core/journals/canadian-journal-of-mathematics/article/decomposition-of-measures/B4356A177FCF019EA9B0A3C8AC40BB6B}}
* {{cite book |last1=Mukherjea |first1=A |last2=Pothoven |first2=K |title=Real and Functional Analysis, Part A: Real Analysis |date=1985 |publisher=Plenum Press |edition=Second |url=https://link.springer.com/book/9781441974587}}
** The first edition was published with ''Part B: Functional Analysis'' as a single volume: {{cite book |last1=Mukherjea |first1=A |last2=Pothoven |first2=K |title=Real and Functional Analysis |date=1978 |publisher=Plenum Press |doi=10.1007/978-1-4684-2331-0 |isbn=978-1-4684-2333-4 |edition=First |url=https://link.springer.com/book/10.1007/978-1-4684-2331-0}}
* M. E. Munroe, 1953. ''Introduction to Measure and Integration''. Addison Wesley.
* {{cite book |last1=Nielsen |first1=Ole A |title=An Introduction to Integration and Measure Theory |date=1997 |publisher=Wiley |isbn=0-471-59518-7}}
* {{Citation|author=K. P. S. Bhaskara Rao and M. Bhaskara Rao|title=Theory of Charges: A Study of Finitely Additive Measures| publisher=Academic Press|location=London|year=1983|pages=x + 315|isbn=0-12-095780-9}}
* {{cite book |last1=Royden |first1=H.L. |last2=Fitzpatrick |first2=P.M. |author1-link=Halsey Royden |title=Real Analysis |date=2010 |publisher=Prentice Hall |page=342, Exercise 17.8 |edition=Fourth}} First printing. There is a later (2017) second printing. Though usually there is little difference between the first and subsequent printings, in this case the second printing not only deletes from page 53 the Exercises 36, 40, 41, and 42 of Chapter 2 but also offers a (slightly, but still substantially) different presentation of part (ii) of Exercise 17.8. (The second printing's presentation of part (ii) of Exercise 17.8 (on the Luther{{sfn|Luther|1967|loc=Theorem 1}} decomposition) agrees with usual presentations,{{sfn|Mukherjea|1985|p=90}}{{sfn|Folland|1999|p=27|loc=Exercise 1.15.a}} whereas the first printing's presentation provides a fresh perspective.)
* Shilov, G. E., and Gurevich, B. L., 1978. ''Integral, Measure, and Derivative: A Unified Approach'', Richard A. Silverman, trans. Dover Publications. {{isbn|0-486-63519-8}}. Emphasizes the [[Daniell integral]].
* {{citation | last = Teschl| first = Gerald| author-link = Gerald Teschl| title = Topics in Real and Functional Analysis| url = https://www.mat.univie.ac.at/~gerald/ftp/book-fa/index.html|publisher = (lecture notes)}}
* {{cite book|last1=Tao|first1=Terence|author-link=Terence Tao|title=An Introduction to Measure Theory|date=2011|publisher=American Mathematical Society|location=Providence, R.I.|isbn=9780821869192}}
* {{cite book|last1=Weaver|first1=Nik|title=Measure Theory and Functional Analysis|date=2013|publisher= [[World Scientific]]|isbn=9789814508568}}
{{refend}}


==संदर्भ==
{{reflist}}


==बाहरी संबंध==
{{Wiktionary|measurable}}
* {{springer|title=Measure|id=p/m063240}}
* [https://vannevar.ece.uw.edu/techsite/papers/documents/UWEETR-2006-0008.pdf Tutorial: Measure Theory for Dummies]

{{Measure theory}}
{{Lp spaces}}

{{Analysis-footer}}
{{Authority control}}
[[Category: उपाय सिद्धांत | उपाय सिद्धांत ]] [[Category: उपाय (माप सिद्धांत) | उपाय (माप सिद्धांत) ]] 



[[Category: Machine Translated Page]]
[[Category:Created On 01/06/2023]]