View source for माप (गणित)

{{short description|Generalization of mass, length, area and volume}}
{{For|कोलजेब्रिक अवधारणा|कोयलेजेब्रा को मापना}}
{{Distinguish|मीट्रिक (गणित)}}
[[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>\Sigma</math> से विस्तारित वास्तविक संख्या रेखा तक समुच्चय फलन <math>\mu</math>को माप कहा जाता है यदि निम्नलिखित स्थितियाँ प्रयुक्त होती हैं:

*गैर-नकारात्मकता: सभी के लिए <math>E</math> में <math>\Sigma,</math> <math>\mu(E) \geq 0.</math>
*<math>\mu(\varnothing) = 0.</math>
*गणनीय योगात्मकता (या <math>\sigma</math> -योगात्मकता): सभी गणनीय संग्रह <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|उपाय (माप सिद्धांत)}}
कुछ महत्वपूर्ण उपाय यहां सूचीबद्ध हैं।

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

== अन्य गुण ==

=== पूर्णता ===
{{Main|पूरा उपाय}}
मापने योग्य समुच्चय <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>
जिससे आवश्यकतानुसार <math>F(t) = G(t),</math> हो सके।
यदि <math>\mu\{x\in X : f(x) > t\} = +\infty</math> सभी <math>t</math> के लिए तो हमारा काम हो गया, इसलिए अन्यथा मान लें। फिर एक अद्वितीय <math>t_0 \in \{-\infty\} \cup [0,+\infty) </math> है, जैसे कि <math>F</math> के बाईं ओर अनंत है <math>t</math> (जो केवल तभी हो सकता है जब <math>t_0 \geq 0</math>) और दाईं ओर परिमित हो। 
उपरोक्त के अनुसार तर्क देते हुए, <math>\mu\{x\in X : f(x) \geq t\} = +\infty </math> जब <math>t < t_0.</math> उसी प्रकार, यदि <math>t_0 \geq 0</math> और <math>F\left(t_0\right) = +\infty</math> तब <math>F\left(t_0\right) = G\left(t_0\right).</math>

<math>t > t_0,</math> के लिए <math>t_n</math> को में <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>
ऊपर से निरंतरता इसकी गारंटी देती है
<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>
दाईं ओर <math>\lim_{t_n \uparrow t} F\left(t_n\right)</math> तो <math>F(t) = \mu\{x\in X : f(x) > t\}</math> के बराबर होता है, यदि <math>t</math> की निरंतरता का एक बिंदु <math>F.</math> है। चूँकि <math>F</math> लगभग हर जगह निरंतर है, इससे प्रमाण पूरा हो जाता है।
}}


=== एडिटिविटी ===
उपायों को योगात्मक रूप से जोड़ने की आवश्यकता है। चूँकि स्थिति को निम्नानुसार शक्तिशाली किया जा सकता है।

किसी भी समुच्चय के लिए <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|<\aleph_0, J\subseteq I\right\rbrace.</math>
अर्थात्, हम <math>r_i</math> के योग को परिभाषित करते हैं जो उनमें से बहुत से परिमित रूप से सभी योगों का सर्वोच्च है। <math>\Sigma</math> पर <math>\mu</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|सिग्मा-परिमित उपाय}}
माप स्थान <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> को परिमित माप के मापने योग्य सेटों के गणनीय संघ में विघटित किया जा सकता है। अनुरूप रूप से माप स्थान में समुच्चय को σ-परिमित माप कहा जाता है यदि यह परिमित माप के साथ सेटों का गणनीय संघ है।

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

=== सख्ती से स्थानीय उपाय ===
{{Main|विघटित करने योग्य उपाय}}


=== अर्धसूत्रीय उपाय ===
मान लें कि <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> let <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>X,</math> के पावर समुच्चय <math>{\cal P}(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>\{0,+\infty\}</math> नीचे हम <math>0-\infty</math> उपायों के उदाहरण देते हैं जो शून्य उपाय नहीं हैं।
*मान लें कि <math>X</math> खाली नहीं है, <math>{\cal A}</math> को <math>X,</math> पर <math>\sigma</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> को X पर <math>\sigma</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=ऐसे उपाय जो अर्ध-सीमित नहीं हैं, कुछ निश्चित सेटों तक सीमित होने पर बहुत ही जंगली होते हैं।<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> ऐसे प्रत्येक सेट <math>A के लिए,</math> <math>A,</math> द्वारा प्रेरित उप-स्थान सिग्मा-बीजगणित द्वारा प्रेरित उप-स्थान माप, अर्थात उक्त उप-स्थान पर <math>\mu</math> का प्रतिबंध सिग्मा-बीजगणित, एक <math>0-\infty</math> माप है जो शून्य माप नहीं है।</ref> एक बार इसका <math>0-\infty</math> भाग (जंगली भाग) हटा दिए जाने पर प्रत्येक माप, एक अर्थ में, अर्ध-अंतहीन हो जाता है।
|author=ए. मुखर्जी और के. पोथोवेन
|source=''वास्तविक और कार्यात्मक विश्लेषण, भाग ए: वास्तविक विश्लेषण'' (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> के लिए स्पष्ट सूत्र दिया गया है।
====अर्धसूक्ष्म उपायों से संबंधित परिणाम====

*<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}} (यह परिणाम <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}}<br />
=== स्थानीयकरण योग्य उपाय ===
स्थानीयकरण योग्य उपाय अर्ध-परिमित उपायों का विशेष स्थिति है और सिग्मा-परिमित उपायों का सामान्यीकरण है।

<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}}

<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}}
===एस-सीमित उपाय===
{{Main|एस-परिमित उपाय}}
माप को परिमित कहा जाता है यदि यह परिबद्ध उपायों का गणनीय योग है। एस-परिमित उपाय सिग्मा-परिमित उपायों की तुलना में अधिक सामान्य हैं और स्टोकास्टिक प्रक्रियाओं के सिद्धांत में अनुप्रयोग हैं।

== गैर-मापने योग्य समुच्चय ==
{{Main|गैर-मापने योग्य सेट}}
यदि चयन के अभिगृहीत को सत्य मान लिया जाए तो यह सिद्ध किया जा सकता है कि यूक्लिडियन स्थान के सभी उपसमुच्चय लेबेस्ग मापने योग्य नहीं हैं; इस तरह के समुच्चय के उदाहरणों में विटाली समुच्चय और गैर-मापने योग्य समुच्चय सम्मिलित हैं जो हॉसडॉर्फ विरोधाभास और बानाच-टार्स्की विरोधाभास द्वारा पोस्ट किए गए हैं।

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

बानाच स्थानों में मान लेने वाले उपायों का बड़े मापदंड पर अध्ययन किया गया है।<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> उपाय जो हिल्बर्ट स्थान पर स्व-संलग्न अनुमानों के समुच्चय में मान लेता है, उसे प्रक्षेपण-मूल्यवान माप कहा जाता है; इनका उपयोग वर्णक्रमीय प्रमेय के कार्यात्मक विश्लेषण में किया जाता है। जब गैर-नकारात्मक मान लेने वाले सामान्य उपायों को सामान्यीकरण से अलग करना आवश्यक होता है, तो 'सकारात्मक माप' शब्द का प्रयोग किया जाता है। शंक्वाकार संयोजन के तहत सकारात्मक उपाय बंद हैं किंतु सामान्य रैखिक संयोजन नहीं हैं जबकि हस्ताक्षरित उपाय सकारात्मक उपायों के रैखिक बंद हैं।

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

चार्ज (बहुविकल्पी) दोनों दिशाओं में सामान्यीकरण है: यह सूक्ष्म योगात्मक हस्ताक्षरित उपाय है।<ref>{{Cite book|last=Bhaskara Rao|first=K. P. S.|url=https://www.worldcat.org/oclc/21196971|title=आरोपों का सिद्धांत: सूक्ष्म रूप से योज्य उपायों का अध्ययन|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. Note that 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}}

{{Analysis-footer}}

[[श्रेणी:माप सिद्धांत| ]]

[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Collapse templates]]
[[Category:Created On 19/12/2022]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Multi-column templates]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages using div col with small parameter]]
[[Category:Pages with empty portal template]]
[[Category:Pages with maths render errors]]
[[Category:Pages with script errors]]
[[Category:Portal templates with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Templates using under-protected Lua modules]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:Wikipedia metatemplates]]