माप (गणित)

For कोलजेब्रिक अवधारणा, see कोयलेजेब्रा को मापना.

Not to be confused with मीट्रिक (गणित).

अनौपचारिक रूप से, एक उपाय में मोनोटोन कार्य होने का गुण इस अर्थ में होता है कि यदि $A$ का उपसमुच्चय है $B,$ का पैमाना $A$ के माप से कम या उसके समान है $B.$ इसके अतिरिक्त , खाली समुच्चय का माप 0 होना आवश्यक है।

गणित में माप की अवधारणा ज्यामित या लंबाई क्षेत्रफल और आयतन (लंबाई क्षेत्रफल आयतन) और अन्य सामान्य धारणाओं जैसे द्रव्यमान और घटनाओं की संभावना का एक सामान्यीकरण और औपचारिकता है। इन प्रतीत होने वाली विशिष्ट अवधारणाओं में कई समानताएँ हैं और अधिकांशतः एक ही गणितीय संदर्भ में एक साथ व्यवहार किया जा सकता है। उपाय संभाव्यता सिद्धांत अभिन्न में मूलभूत हैं और विद्युत आवेश के साथ हस्ताक्षरित माप ग्रहण करने के लिए सामान्यीकृत किया जा सकता है। माप के दूरगामी सामान्यीकरण (जैसे वर्णक्रमीय उपाय और प्रक्षेपण-मूल्यवान उपाय) सामान्य रूप से क्वांटम भौतिकी और भौतिकी में व्यापक रूप से उपयोग किए जाते हैं।

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

परिभाषा

एक माप की गणना योग्य योगात्मकता $\mu$: एक गणनीय असंयुक्त संघ का माप प्रत्येक उपसमुच्चय के सभी उपायों के योग के समान होता है।

मान लीजिए कि $X$ एक समुच्चय है और $\Sigma$ , $\sigma$ -बीजगणित $X.$ के ऊपर है। $\Sigma$ से विस्तारित वास्तविक संख्या रेखा तक एक समुच्चय फलन $\mu$को माप कहा जाता है यदि निम्नलिखित स्थितियाँ प्रयुक्त होती हैं:

• गैर-नकारात्मकता: सभी के लिए $E$ में $\Sigma ,$ $\mu (E)\geq 0.$
• $\mu (\varnothing )=0.$
• गणनीय योगात्मकता (या $\sigma$ -योगात्मकता): सभी गणनीय संग्रह $\{E_{k}\}_{k=1}^{\infty }$ के लिए Σ में जोड़ीदार असंयुक्त समुच्चय के लिए है
  $$\mu \left(\bigcup _{k=1}^{\infty }E_{k}\right)=\sum _{k=1}^{\infty }\mu (E_{k}).$$

यदि कम से कम एक समुच्चय $E$ में परिमित माप है तो आवश्यकता $\mu (\varnothing )=0$ गणनीय योगात्मकता के कारण स्वचालित रूप से पूरी हो जाती है:

$$\mu (E)=\mu (E\cup \varnothing )=\mu (E)+\mu (\varnothing ),$$

और इसीलिए $\mu (\varnothing )=0.$

यदि गैर-नकारात्मकता की स्थिति को छोड़ दिया जाता है, और $\mu$ {$\pm \infty ,$} के अधिकतम मानों में से एक पर ले लेता है, तो $\mu$ को हस्ताक्षरित माप कहा जाता है।

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

ट्रिपल $(X,\Sigma ,\mu )$ को स्थान माप कहा जाता है। प्रायिकता माप एक माप है जिसका कुल माप एक –  है, जो कि $\mu (X)=1.$ प्रायिकता स्थान प्रायिकता माप वाला माप स्थान है।

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

उदाहरण

Main category: उपाय (माप सिद्धांत)

कुछ महत्वपूर्ण उपाय यहां सूचीबद्ध हैं।

• गणना माप को $\mu (S)$ = $S.$ में तत्वों की संख्या द्वारा परिभाषित किया गया है।
• $\mathbb {R}$ पर लेबेस्ग माप σ-बीजगणित पर एक पूर्ण अनुवाद-अपरिवर्तनीय माप है जिसमें $\mathbb {R}$ में अंतराल होते हैं जैसे कि $\mu ([0,1])=1$; और इन गुणों के साथ हर दूसरा माप लेबेस्ग माप का विस्तार करता है।
• परिपत्र कोण माप घूर्णन के तहत अपरिवर्तनीय है और अतिशयोक्तिपूर्ण कोण माप निचोड़ मानचित्रण के तहत अपरिवर्तनीय है।
• स्थानीय रूप से कॉम्पैक्ट स्थान टोपोलॉजिकल समूह के लिए हार उपाय लेबेस्ग माप (और गिनती माप और परिपत्र कोण माप का भी) का एक सामान्यीकरण है और इसमें समान विशिष्टता गुण हैं।
• हॉसडॉर्फ माप गैर-पूर्णांक आयाम, विशेष रूप से फ्रैक्टल समुच्चय के साथ समुच्चय करने के लिए लेबेस्ग माप का सामान्यीकरण है।
• प्रत्येक संभाव्यता स्थान एक माप को उत्पन्न करता है जो पूरे स्थान पर मान 1 लेता है (और इसलिए इकाई अंतराल [0, 1] में इसके सभी मान लेता है)। ऐसे माप को संभाव्यता माप कहा जाता है। संभाव्यता स्वयंसिद्ध देखें।
• डिराक माप δa (cf. डिराक डेल्टा कार्य ) δ_a(S) = χ_S(a), द्वारा दिया जाता है, जहां χ_S , $S.$ का सूचक कार्य है। एक समुच्चय का माप 1 है यदि इसमें बिंदु $a$ और 0 अन्यथा सम्मिलित है।

विभिन्न सिद्धांतों में प्रयुक्त अन्य 'नामित' उपायों में सम्मिलित हैं: बोरेल माप, जॉर्डन माप, एर्गोडिक माप, गॉसियन माप, बेयर माप, रेडॉन माप, युवा माप और लोएब माप।

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

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

मूल गुण

माना $\mu$ एक माप है।

एकरसता

यदि $E_{1}$ और $E_{2}$ और $E_{1}\subseteq E_{2}$के साथ मापने योग्य समुच्चय हैं तो

$$\mu (E_{1})\leq \mu (E_{2}).$$

गणनीय संघों और प्रतिच्छेदन का माप

गणनीय उप-विषमता

किसी भी गणनीय अनुक्रम के लिए $E_{1},E_{2},E_{3},\ldots$(जरूरी नहीं कि अलग हो) मापने योग्य समुच्चय $E_{n}$, $\Sigma :$ में।

$$\mu \left(\bigcup _{i=1}^{\infty }E_{i}\right)\leq \sum _{i=1}^{\infty }\mu (E_{i}).$$

निरंतरता नीचे से

यदि $E_{1},E_{2},E_{3},\ldots$ मापने योग्य समुच्चय हैं जो बढ़ रहे हैं (जिसका अर्थ है कि $E_{1}\subseteq E_{2}\subseteq E_{3}\subseteq \ldots$तो समुच्चयों का मिलन $E_{n}$ औसत श्रेणी का है और

$$\mu \left(\bigcup _{i=1}^{\infty }E_{i}\right)~=~\lim _{i\to \infty }\mu (E_{i})=\sup _{i\geq 1}\mu (E_{i}).$$

ऊपर से निरंतरता

यदि $E_{1},E_{2},E_{3},\ldots$ मापने योग्य समुच्चय हैं जो घट रहे हैं (जिसका अर्थ है कि $E_{1}\supseteq E_{2}\supseteq E_{3}\supseteq \ldots$) फिर समुच्चय का इंटरसेक्शन (समुच्चय सिद्धांत) $E_{n}$ मापने योग्य है; इसके अतिरिक्त , यदि कम से कम एक $E_{n}$ तब परिमित उपाय है

$$\mu \left(\bigcap _{i=1}^{\infty }E_{i}\right)=\lim _{i\to \infty }\mu (E_{i})=\inf _{i\geq 1}\mu (E_{i}).$$

यह संपत्ति इस धारणा के बिना झूठी है कि कम से कम एक $E_{n}$ परिमित उपाय है। उदाहरण के लिए, प्रत्येक के लिए $n\in \mathbb {N} ,$ होने देना $E_{n}=[n,\infty )\subseteq \mathbb {R} ,$ जिसमें सभी के पास असीमित लेबेस्ग माप है किंतु प्रतिच्छेदन खाली है।

अन्य गुण

पूर्णता

Main article: पूरा उपाय

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

उपसमुच्चय $Y$ के σ-बीजगणित पर विचार करके एक उपाय को पूर्ण रूप से बढ़ाया जा सकता है, जो एक औसत श्रेणी के समुच्चय $X,$ से एक नगण्य समुच्चय द्वारा भिन्न होता है, जैसे कि $X$ और $Y$ का सममित अंतर एक शून्य समुच्चय में समाहित है। एक $\mu (Y)$ को $\mu (X).$के समान परिभाषित करता है।

μ{x : f(x) ≥ t} = μ{x : f(x) > t} (a.e.)

यदि $f:X\to [0,+\infty ]$ , $(\Sigma ,{\cal {B}}([0,+\infty ]))$-मापने योग्य है, तो

$$\mu \{x\in X:f(x)\geq t\}=\mu \{x\in X:f(x)>t\}$$

लगभग सभी $t\in X.$ इस गुण का उपयोग लेबेसेग इंटीग्रल के संबंध में किया जाता है।

Proof

Both $F(t):=\mu \{x\in X:f(x)>t\}$ and $G(t):=\mu \{x\in X:f(x)\geq t\}$ are monotonically non-increasing functions of $t,$ so both of them have at most countably many discontinuities and thus they are continuous almost everywhere, relative to the Lebesgue measure. If $t<0$ then $\{x\in X:f(x)\geq t\}=X=\{x\in X:f(x)>t\},$ so that $F(t)=G(t),$ as desired.

If $t$ is such that $\mu \{x\in X:f(x)>t\}=+\infty$ then monotonicity implies

$$\mu \{x\in X:f(x)\geq t\}=+\infty ,$$

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

For $t>t_{0},$ let $t_{n}$ be a monotonically non-decreasing sequence converging to $t.$ The monotonically non-increasing sequence $\{x\in X:f(x)>t_{n}\}$ of members of $\Sigma$ has at least one finitely $\mu$-measurable component, and

$$\{x\in X:f(x)\geq t\}=\bigcap _{n}\{x\in X:f(x)>t_{n}\}.$$

Continuity from above guarantees that

$$\mu \{x\in X:f(x)\geq t\}=\lim _{t_{n}\uparrow t}\mu \{x\in X:f(x)>t_{n}\}.$$

The right-hand side $\lim _{t_{n}\uparrow t}F\left(t_{n}\right)$ then equals $F(t)=\mu \{x\in X:f(x)>t\}$ if $t$ is a point of continuity of $F.$ Since $F$ is continuous almost everywhere, this completes the proof.

एडिटिविटी

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

किसी भी समुच्चय के लिए $I$ और गैर-नकारात्मक का कोई भी समुच्चय $r_{i},i\in I$ परिभाषित करना:

$$\sum _{i\in I}r_{i}=\sup \left\lbrace \sum _{i\in J}r_{i}:|J|<\aleph _{0},J\subseteq I\right\rbrace .$$

अर्थात्, हम $r_{i}$ के योग को परिभाषित करते हैं जो उनमें से बहुत से परिमित रूप से सभी योगों का सर्वोच्च है।$\Sigma$ पर $\mu$, $\kappa$ -योगात्मक है यदि किसी $\lambda <\kappa$ और अलग सेटों के किसी भी वर्ग के लिए $X_{\alpha },\alpha <\lambda$ निम्नलिखित होल्ड करता है:

$$\bigcup _{\alpha \in \lambda }X_{\alpha }\in \Sigma$$

$$\mu \left(\bigcup _{\alpha \in \lambda }X_{\alpha }\right)=\sum _{\alpha \in \lambda }\mu \left(X_{\alpha }\right).$$

ध्यान दें कि दूसरी स्थिति इस कथन के समतुल्य है कि अशक्त सेटों का आदर्श (समुच्चय सिद्धांत) है $\kappa$-पूरा।

सिग्मा-परिमित उपाय

Main article: सिग्मा-परिमित उपाय

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

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

सख्ती से स्थानीय उपाय

Main article: विघटित करने योग्य उपाय

अर्धसूत्रीय उपाय

मान लें कि $X$ एक समुच्चय है, ${\cal {A}}$ को $X,$ पर एक सिग्मा-बीजगणित होने दें, और $\mu$ को ${\cal {A}}.$ पर एक माप होने दें।} हम कहते हैं $\mu$इसका अर्थ यह है कि सभी $A\in \mu ^{\text{pre}}\{+\infty \},$${\cal {P}}(A)\cap \mu ^{\text{pre}}(\mathbb {R} _{>0})\neq \emptyset .$

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

मूलभूत उदाहरण

• प्रत्येक सिग्मा-परिमित माप अर्ध-परिमित होता है।
• मान लें ${\cal {A}}={\cal {P}}(X),$ let $f:X\to [0,+\infty ],$ और $\mu (A)=\sum _{a\in A}f(a)$ सभी $A\subseteq X.$ के लिए है ।
  • हमारे पास यह है कि $\mu$ सिग्मा-परिमित है यदि और केवल यदि $f(x)<+\infty$ सभी $x\in X$ और $f^{\text{pre}}(\mathbb {R} _{>0})$ के लिए गणनीय है। हमारे पास यह है कि $\mu$अर्ध-परिमित है यदि और केवल यदि $f(x)<+\infty$ सभी $x\in X.$के लिए है ।
  • ऊपर $f=X\times \{1\}$ लेते हुए (जिससे $\mu$, ${\cal {P}}(X)$ पर माप की गिनती कर रहा हो), हम ${\cal {P}}(X)$ पर गिनती के माप को देखते हैं
    • सिग्मा-परिमित यदि और केवल यदि $X$ गणनीय है; और
    • अर्ध-परिमित (बिना इस बात के कि क्या $X$ गणनीय है)। (इस प्रकार गणना माप इच्छानुसार से अगणनीय समुच्चय $X,$ के पावर समुच्चय ${\cal {P}}(X)$ पर, एक अर्ध-परिमित माप का उदाहरण देता है जो सिग्मा-परिमित नहीं है।)
• $d$ को $X,$ पर एक पूर्ण, अलग करने योग्य मीट्रिक होने दें, ${\cal {B}}$ को $d,$द्वारा प्रेरित बोरेल सिग्मा-बीजगणित होने दें, और$s\in \mathbb {R} _{>0}.$ फिर हॉसडॉर्फ माप ${\cal {H}}^{s}|{\cal {B}}$ अर्ध-परिमित है।

$d$ को $X,$पर एक पूर्ण, अलग करने योग्य मीट्रिक होने दें, ${\cal {B}}$ को $d,$ द्वारा प्रेरित बोरेल सिग्मा-बीजगणित होने दें, और $s\in \mathbb {R} _{>0}.$फिर पैकिंग माप {\displaystyle ${\cal {H}}^{s}|{\cal {B}}$ अर्ध-परिमित है।

सम्मिलित उदाहरण

शून्य माप सिग्मा-परिमित है और इस प्रकार अर्ध-परिमित है। इसके अतिरिक्त शून्य माप स्पष्ट रूप से $\mu .$ से कम या उसके समान है। यह दिखाया जा सकता है कि इन दो गुणों के साथ सबसे बड़ा माप है:

Theorem (semifinite part) — For any measure $\mu$ on ${\cal {A}},$ there exists, among semifinite measures on ${\cal {A}}$ that are less than or equal to $\mu ,$ a greatest element $\mu _{\text{sf}}.$

हम कहते हैं कि $\mu$ का अर्ध परिमित भाग जिसका अर्थ उपरोक्त प्रमेय में परिभाषित अर्ध परिमित माप $\mu _{\text{sf}}$ है। हम कुछ अच्छे स्पष्ट सूत्र देते हैं जिन्हें कुछ लेखक परिभाषा के रूप में ले सकते हैं, अर्ध-परिमित भाग के लिए:

• $\mu _{\text{sf}}=(\sup\{\mu (B):B\in {\cal {P}}(A)\cap \mu ^{\text{pre}}(\mathbb {R} _{\geq 0})\})_{A\in {\cal {A}}}.$
• $\mu _{\text{sf}}=(\sup\{\mu (A\cap B):B\in \mu ^{\text{pre}}(\mathbb {R} _{\geq 0})\})_{A\in {\cal {A}}}\}.$
• $\mu _{\text{sf}}=\mu |_{\mu ^{\text{pre}}(\mathbb {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\}.$

चूँकि $\mu _{\text{sf}}$ अर्ध-परिमित है, इसका अर्थ यह है कि यदि $\mu =\mu _{\text{sf}}$ तो $\mu$ अर्धशतक है। यह भी स्पष्ट है कि यदि $\mu$ अर्ध-परिमित तब $\mu =\mu _{\text{sf}}.$है

गैर-उदाहरण

प्रत्येक $0-\infty$ माप जो शून्य माप नहीं है, अर्ध-परिमित नहीं है। (यहाँ, हम कहते हैं कि $0-\infty$ माप का अर्थ उस माप से है जिसकी सीमा $\{0,+\infty \}$ में है: $\{0,+\infty \}$ नीचे हम $0-\infty$ उपायों के उदाहरण देते हैं जो शून्य उपाय नहीं हैं।

• मान लें कि $X$ खाली नहीं है, ${\cal {A}}$ को $X,$ पर $\sigma$ -बीजगणित होने दें ,$f:X\to \{0,+\infty \}$ को ज़ीरो कार्य न होने दें , और चलो $\mu =(\sum _{x\in A}f(x))_{A\in {\cal {A}}}.$ यह दिखाया जा सकता है कि $\mu$ एक माप है।
  • $\mu =\{(\emptyset ,0)\}\cup ({\cal {A}}\setminus \{\emptyset \})\times \{+\infty \}.$
    • $X=\{0\},$ ${\cal {A}}=\{\emptyset ,X\},$ $\mu =\{(\emptyset ,0),(X,+\infty )\}.$

$X$ को अगणनीय होने दें, ${\cal {A}}$ को X पर $\sigma$ -बीजगणित होने दें, ${\cal {C}}=\{A\in {\cal {A}}:A{\text{ is countable}}\}$ ${\cal {A}},$ के गणनीय तत्व हो और $\mu ={\cal {C}}\times \{0\}\cup ({\cal {A}}\setminus {\cal {C}})\times \{+\infty \}.$ यह दिखाया जा सकता है कि $\mu$ एक माप है।

सम्मिलित गैर-उदाहरण

Measures that are not semifinite are very wild when restricted to certain sets. Every measure is, in a sense, semifinite once its $0-\infty$ part (the wild part) is taken away.

— A. Mukherjea and K. Pothoven, Real and Functional Analysis, Part A: Real Analysis (1985)

Theorem (Luther decomposition) — For any measure $\mu$ on ${\cal {A}},$ there exists a $0-\infty$ measure $\xi$ on ${\cal {A}}$ such that $\mu =\nu +\xi$ for some semifinite measure $\nu$ on ${\cal {A}}.$ In fact, among such measures $\xi ,$ there exists a least measure $\mu _{0-\infty }.$ Also, we have $\mu =\mu _{\text{sf}}+\mu _{0-\infty }.$

हम कहते हैं $\mathbf {0-\infty }$ $\mu$ का भाग उपरोक्त प्रमेय में परिभाषित माप $\mu _{0-\infty }$ का अर्थ है। यहाँ $\mu _{0-\infty }$ , $\mu _{0-\infty }=(\sup\{\mu (B)-\mu _{\text{sf}}(B):B\in {\cal {P}}(A)\cap \mu _{\text{sf}}^{\text{pre}}(\mathbb {R} _{\geq 0})\})_{A\in {\cal {A}}}.$ के लिए एक स्पष्ट सूत्र दिया गया है।

अर्धसूक्ष्म उपायों से संबंधित परिणाम

• $\mathbb {F}$ को $\mathbb {R}$ या $\mathbb {C} ,$ होने दें और $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 )}.$ तब $\mu$ अर्ध-परिमित है यदि और केवल यदि $T$अंतःक्षेपी है। (यह परिणाम $L^{1}=L_{\mathbb {F} }^{1}(\mu )$ के दोहरे स्थान के अध्ययन में महत्वपूर्ण है।)
• $\mathbb {F}$ को $\mathbb {R}$ या $\mathbb {C} ,$ होने दें और ${\cal {T}}$ को माप में अभिसरण की टोपोलॉजी होने दें $L_{\mathbb {F} }^{0}(\mu ).$ तब $\mu$अर्ध-परिमित है यदि और केवल यदि ${\cal {T}}$ हौसडॉर्फ है।
• (जॉनसन) मान लीजिए $X$ एक समुच्चय है, मान लीजिए ${\cal {A}}$ , $X,$ पर एक सिग्मा-बीजगणित है, मान लीजिए $\mu$ ${\cal {A}},$पर एक माप है, मान लीजिए $Y$ एक समुच्चय हो, ${\cal {B}}$ को $Y,$ पर एक सिग्मा-बीजगणित होने दें, और $\nu$ को ${\cal {B}}.$ पर एक माप होने दें। यदि $\mu ,\nu$ दोनों एक $0-\infty$ माप नहीं हैं, तो $\mu$ और $\nu$ दोनों अर्ध-परिमित हैं यदि और केवल यदि $(\mu \times _{\text{cld}}\nu )$$(A\times B)=\mu (A)\nu (B)$ सभी के लिए $A\in {\cal {A}}$ और $B\in {\cal {B}}.$ (यहां,$\mu \times _{\text{cld}}\nu$ बर्बेरियन '65 में प्रमेय 39.1 में परिभाषित माप है।
  

स्थानीयकरण योग्य उपाय

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

$X$ को एक समुच्चय होने दें, ${\cal {A}}$ को $X,$ पर एक सिग्मा-बीजगणित होने दें, और $\mu$ को ${\cal {A}}.$ पर एक माप होने दें।

• होने देना $\mathbb {F}$ होना $\mathbb {R}$ या $\mathbb {C} ,$ और जाने $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 )}.$ फिर $\mu$ स्थानीयकरण योग्य है यदि और केवल यदि $T$ विशेषण है (यदि और केवल यदि $L_{\mathbb {F} }^{\infty }(\mu )$ है $L_{\mathbb {F} }^{1}(\mu )^{*}$).

$\mathbb {F}$ को $\mathbb {R}$ या $\mathbb {C} ,$ होने दें और $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 )}.$ तब $\mu$ स्थानीयकरण योग्य है यदि और केवल यदि $T$ एकात्मक है (यदि और केवल यदि $L_{\mathbb {F} }^{\infty }(\mu )$ , $L_{\mathbb {F} }^{1}(\mu )^{*}$ है

एस-सीमित उपाय

Main article: एस-परिमित उपाय

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

गैर-मापने योग्य समुच्चय

Main article: गैर-मापने योग्य सेट

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

सामान्यीकरण

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

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

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

एक चार्ज (बहुविकल्पी) दोनों दिशाओं में एक सामान्यीकरण है: यह एक सूक्ष्म योगात्मक हस्ताक्षरित उपाय है। (Cf. ba परिबद्ध आवेशों के बारे में जानकारी के लिए स्थान जहाँ हम कहते हैं कि एक आवेश परिबद्ध है जिसका अर्थ है कि इसकी सीमा R का एक परिबद्ध उपसमुच्चय है।)

यह भी देखें

• एबेलियन वॉन न्यूमैन बीजगणित
• लगभग हर जगह
• कैराथियोडोरी का विस्तार प्रमेय
• सामग्री (माप सिद्धांत)
• फ़ुबिनी की प्रमेय
• फतौ की लेम्मा
• फजी माप सिद्धांत
• ज्यामितीय माप सिद्धांत
• हॉसडॉर्फ उपाय
• आंतरिक माप
• लेबेस्ग एकीकरण
• लेबेस्गु उपाय
• लोरेंत्ज़ अंतरिक्ष
• भारोत्तोलन सिद्धांत
• मापने योग्य कार्डिनल
• मापने योग्य कार्य
• मिन्कोव्स्की सामग्री
• बाहरी उपाय
• उत्पाद माप
• पुश फॉरवर्ड उपाय
• नियमित उपाय
• वेक्टर माप
• मूल्यांकन (माप सिद्धांत)
• आयतन रूप

ग्रन्थसूची

• Robert G. Bartle (1995) The Elements of Integration and Lebesgue Measure, Wiley Interscience.
• Bauer, H. (2001), Measure and Integration Theory, Berlin: de Gruyter, ISBN 978-3110167191
• Bear, H.S. (2001), A Primer of Lebesgue Integration, San Diego: Academic Press, ISBN 978-0120839711
• Berberian, Sterling K (1965). Measure and Integration. MacMillan.
• Bogachev, V. I. (2006), Measure theory, Berlin: Springer, ISBN 978-3540345138
• Bourbaki, Nicolas (2004), Integration I, Springer Verlag, ISBN 3-540-41129-1 Chapter III.
• R. M. Dudley, 2002. Real Analysis and Probability. Cambridge University Press.
• Edgar, Gerald A (1998). Integral, Probability, and Fractal Measures. Springer. ISBN 978-1-4419-3112-2.
• Folland, Gerald B (1999). Real Analysis: Modern Techniques and Their Applications (Second ed.). Wiley. ISBN 0-471-31716-0.
• Federer, Herbert. Geometric measure theory. Die Grundlehren der mathematischen Wissenschaften, Band 153 Springer-Verlag New York Inc., New York 1969 xiv+676 pp.
• Fremlin, D.H. (2016). Measure Theory, Volume 2: Broad Foundations (Hardback ed.). Torres Fremlin. Second printing.
• Hewitt, Edward; Stromberg, Karl (1965). Real and Abstract Analysis: A Modern Treatment of the Theory of Functions of a Real Variable. Springer. ISBN 0-387-90138-8.
• Jech, Thomas (2003), Set Theory: The Third Millennium Edition, Revised and Expanded, 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. 428–32.
• Luther, Norman Y (1967). "A decomposition of measures". Canadian Journal of Mathematics. 20: 953–959. doi:10.4153/CJM-1968-092-0. S2CID 124262782.
• Mukherjea, A; Pothoven, K (1985). Real and Functional Analysis, Part A: Real Analysis (Second ed.). Plenum Press.
  • The first edition was published with Part B: Functional Analysis as a single volume: Mukherjea, A; Pothoven, K (1978). Real and Functional Analysis (First ed.). Plenum Press. doi:10.1007/978-1-4684-2331-0. ISBN 978-1-4684-2333-4.
• M. E. Munroe, 1953. Introduction to Measure and Integration. Addison Wesley.
• Nielsen, Ole A (1997). An Introduction to Integration and Measure Theory. Wiley. ISBN 0-471-59518-7.
• K. P. S. Bhaskara Rao and M. Bhaskara Rao (1983), Theory of Charges: A Study of Finitely Additive Measures, London: Academic Press, pp. x + 315, ISBN 0-12-095780-9
• Royden, H.L.; Fitzpatrick, P.M. (2010). Real Analysis (Fourth ed.). Prentice Hall. p. 342, Exercise 17.8. 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 decomposition) agrees with usual presentations, 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.
• Teschl, Gerald, Topics in Real and Functional Analysis, (lecture notes)
• Tao, Terence (2011). An Introduction to Measure Theory. Providence, R.I.: American Mathematical Society. ISBN 9780821869192.
• Weaver, Nik (2013). Measure Theory and Functional Analysis. World Scientific. ISBN 9789814508568.

बाहरी कड़ियाँ

• "Measure", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Tutorial: Measure Theory for Dummies