समुच्चय फलन

गणित में, विशेष रूप से मान सिद्धांत में, एक सेट फलन एक फलन (गणित) होता है जिसका फलन का डोमेन कुछ दिए गए सेट के उपसमुच्चय के सेट का वर्ग होता है और जो (सामान्यत:) विस्तारित वास्तविक संख्या रेखा में इसके मान लेता है $$\R \cup \{ \pm \infty \},$$ जिसमें वास्तविक संख्याएँ होती हैं $$\R$$ और $$\pm \infty.$$ एक सेट फलन का सामान्यत: लक्ष्य होता है, उपसमुच्चय मान (गणित) सेट फलन को मानने के विशिष्ट उदाहरण हैं। इसलिए, शब्द सेट फलन का उपयोग अधिकांशत: मान के गणितीय अर्थ और इसके सामान्य भाषा अर्थ के बीच भ्रम से बचने के लिए किया जाता है।

परिभाषाएँ
यदि $$\mathcal{F}$$ सेट ओवर का वर्ग है $$\Omega$$ (मतलब है कि $$\mathcal{F} \subseteq \wp(\Omega)$$ कहाँ $$\wp(\Omega)$$ पावरसेट को दर्शाता है) फिर का कार्य है $$\mu$$ एक फलन के डोमेन के साथ $$\mathcal{F}$$ और कोडोमेन $$[-\infty, \infty]$$ या, कभी-कभी, कोडोमेन इसके अतिरिक्त कुछ सदिश समष्टि होता है, जैसा सदिश मानों, जटिल मान और प्रक्षेपण-मान मान के साथ होता है। सेट फलन के डोमेन में कोई संख्या गुण हो सकते हैं; सामान्यत: सामने आने वाली गुण और वर्गों की श्रेणियों को नीचे दी गई तालिका में सूचीबद्ध किया गया है।

सामान्य तौर पर, यह सामान्यत: माना जाता है $$\mu(E) + \mu(F)$$ हमेशा सभी के लिए अच्छी तरह से परिभाषित है $$E, F \in \mathcal{F},$$ या समकक्ष, वह $$\mu$$ दोनों नहीं लेता $$- \infty$$ और $$+ \infty$$ मानों के रूप में। यह लेख अब से यह मान लेगा; चूंकि वैकल्पिक रूप से, नीचे दी गई सभी परिभाषाएँ बयानों द्वारा योग्य हो सकती हैं जैसे कि जब भी योग/श्रृंखला परिभाषित की जाती है। यह कभी-कभी घटाव के साथ किया जाता है, जैसे निम्न परिणाम के साथ, जो जब भी होता है $$\mu$$ #पूरी तरह से योगात्मक है:
 * $$\mu(F) - \mu(E) = \mu(F \setminus E) \text{ whenever } \mu(F) - \mu(E)$$ से परिभाषित किया गया है $$E, F \in \mathcal{F}$$ संतुष्टि देने वाला $$E \subseteq F$$ और $$F \setminus E \in \mathcal{F}.$$ अशक्त सेट

एक सेट $$F \in \mathcal{F}$$ a कहा जाता है (इसके संबंध में $$\mu$$) या केवल  यदि $$\mu(F) = 0.$$ जब कभी भी $$\mu$$ दोनों के समान नहीं है $$-\infty$$ या $$+\infty$$ तो यह सामान्यत: यह भी माना जाता है कि: <उल> <ली>: $$\mu(\varnothing) = 0$$ यदि $$\varnothing \in \mathcal{F}.$$

विविधता और द्रव्यमान

कुल भिन्नता (मान सिद्धांत) | $$S$$ है $$|\mu|(S) ~\stackrel{\scriptscriptstyle\text{def}}{=}~ \sup \{ |\mu(F)| : F \in \mathcal{F} \text{ and } F \subseteq S \}$$ जहाँ $$|\,\cdot\,|$$ निरपेक्ष मान को दर्शाता है (या अधिक सामान्यतः, यह मानदंड (गणित) या सेमिनोर्म को दर्शाता है यदि $$\mu$$ एक (सेमिनोर्ड स्पेस) नॉर्म्ड स्पेस में सदिश-वैल्यू है)। ये मानते हुए $$\cup \mathcal{F} ~\stackrel{\scriptscriptstyle\text{def}}{=}~ \textstyle\bigcup\limits_{F \in \mathcal{F}} F \in \mathcal{F},$$ तब $$|\mu|\left(\cup \mathcal{F}\right)$$ कहा जाता है  का $$\mu$$ और $$\mu\left(\cup \mathcal{F}\right)$$ कहा जाता है  का $$\mu.$$ एक सेट फलन कहा जाता है  यदि प्रत्येक के लिए $$F \in \mathcal{F},$$ मान $$\mu(F)$$ है  (जो परिभाषा के अनुसार इसका मतलब है $$\mu(F) \neq \infty$$ और $$\mu(F) \neq -\infty$$; एक  के बराबर है $$\infty$$ या $$- \infty$$). प्रत्येक परिमित समुच्चय फलन का एक परिमित #द्रव्यमान होना चाहिए।

सेट कार्यों के सामान्य गुण
एक सेट फलन $$\mu$$ पर $$\mathcal{F}$$ बताया गया  यदि इसका मान  $$[0, \infty].$$ है। फिनिटली एडिटिव सेट फलन यदि $$\textstyle\sum\limits_{i=1}^n \mu\left(F_i\right) = \mu\left(\textstyle\bigcup\limits_{i=1}^n F_i\right)$$ सभी युग्‍मानूसार असंयुक्त परिमित अनुक्रमों के लिए $$F_1, \ldots, F_n \in \mathcal{F}$$ ऐसा है कि $$\textstyle\bigcup\limits_{i=1}^n F_i \in \mathcal{F}.$$ सिग्मा-एडिटिव सेट फलन या सिग्मा-एडिटिव सेट फलन  यदि परिमित रूप से योज्य होने के अतिरिक्त, सभी युग्‍मानूसार असंयुक्त अनुक्रमों के लिए $$F_1, F_2, \ldots\,$$ में $$\mathcal{F}$$ ऐसा है कि $$\textstyle\bigcup\limits_{i=1}^\infty F_i \in \mathcal{F},$$ निम्नलिखित सभी धारण करते हैं: a$$\textstyle\sum\limits_{i=1}^\infty \mu\left(F_i\right) = \mu\left(\textstyle\bigcup\limits_{i=1}^\infty F_i\right)$$ यदि $$\mu\left(\textstyle\bigcup\limits_{i=1}^\infty F_i\right)$$ अनंत नहीं है तो यह श्रृंखला $$\textstyle\sum\limits_{i=1}^\infty \mu\left(F_i\right)$$ पूर्ण अभिसरण भी होना चाहिए, जिसका परिभाषा के अनुसार अर्थ है $$\textstyle\sum\limits_{i=1}^\infty \left|\mu\left(F_i\right)\right|$$ परिमित होना चाहिए। यह स्वचालित रूप से सत्य है यदि $$\mu$$ #ऋणेतर संख्या है (या केवल विस्तारित वास्तविक संख्याओं में मान)। यदि $$\mu\left(\textstyle\bigcup\limits_{i=1}^\infty F_i\right) = \textstyle\sum\limits_{i=1}^\infty \mu\left(F_i\right)$$ अनंत है तो यह भी आवश्यक है कि श्रृंखला में से कम से कम एक का मान हो $$\textstyle\sum\limits_{\stackrel{i \in \N}{\mu\left(F_i\right) > 0}} \mu\left(F_i\right) \; \text{ औ र } \; \textstyle\sum\limits_{\stackrel{i \in \N}{\mu\left(F_i\right) < 0}} \mu\left(F_i\right) \;$$ परिमित हो (जिससे कि उनके मानों का योग अच्छी तरह से परिभाषित हो)। यह स्वचालित रूप से सत्य है यदि $$\mu$$ #गैर-नकारात्मक है।एक पूर्व-मान| यदि यह #ऋणेतर संख्या है, सिग्मा-एडिटिव सेट फलन (#परिमित एडिटिव सहित), और एक # रिक्त सेट है। एक मान (गणित)| यदि यह एक #पूर्व मान है जिसका डोमेन σ-बीजगणित है। कहने का मतलब यह है कि मान एक σ-बीजगणित पर एक गैर-नकारात्मक गणन योग्य योज्य सेट फलन है जिसमें एक #शून्य रिक्त सेट होता है। एक यदि यह एक मान है जिसका #द्रव्यमान है $$1.$$ एक बाहरी मान| यदि यह गैर-नकारात्मक है, #गणनात्मक रूप से सबएडिटिव है, एक #शून्य रिक्त सेट है, और पावरसेट है $$\wp(\Omega)$$ इसके डोमेन के रूप में। एक हस्ताक्षरित मान| यदि यह गिनती योगात्मक है, तो #रिक्त सेट है, और $$\mu$$ दोनों नहीं लेता $$- \infty$$ और $$+ \infty$$ मानों के रूप में। पूरा मान  यदि प्रत्येक #रिक्त सेट का प्रत्येक उपसमुच्चय रिक्त है; स्पष्ट रूप से, इसका अर्थ है: जब भी $$F \in \mathcal{F} \text{ satisfies } \mu(F) = 0$$ और $$N \subseteq F$$ का कोई उपसमुच्चय है $$F$$ तब $$N \in \mathcal{F}$$ और $$\mu(N) = 0.$$ σ-सीमित मान  यदि कोई अनुक्रम सम्मलित है $$F_1, F_2, F_3, \ldots\,$$ में $$\mathcal{F}$$ ऐसा है कि $$\mu\left(F_i\right)$$ प्रत्येक सूचकांक के लिए परिमित है $$i,$$ और भी $$\textstyle\bigcup\limits_{n=1}^\infty F_n = \textstyle\bigcup\limits_{F \in \mathcal{F}} F.$$ विघटित करने योग्य मान  यदि कोई उपवर्ग सम्मलित है $$\mathcal{P} \subseteq \mathcal{F}$$ जोड़ो में असंयुक्त सेट की इस तरह है कि $$\mu(P)$$ प्रत्येक के लिए परिमित है $$P \in \mathcal{P}$$ और भी $$\textstyle\bigcup\limits_{P \in \mathcal{P}} \, P = \textstyle\bigcup\limits_{F \in \mathcal{F}} F$$ (कहाँ $$\mathcal{F} = \operatorname{domain} \mu$$). एक सदिश मान यदि यह एक गिने-चुने योज्य समुच्चय फलन है $$\mu : \mathcal{F} \to X$$ एक सांस्थितिक सदिश समष्टि में मान $$X$$ (जैसे एक आदर्श समष्टि) जिसका डोमेन σ-बीजगणित है। एक जटिल मान यदि यह एक गिने-चुने योगात्मक जटिल संख्या-मान सेट फलन है $$\mu : \mathcal{F} \to \Complex$$ जिसका प्रांत σ-बीजगणित है। एक यादृच्छिक मान यदि यह एक मान-मान यादृच्छिक तत्व है।</li>
 * यदि $$\mathcal{F}$$ बाइनरी संघ (सेट सिद्धांत)  के अनुसार बंद है $$\mu$$ निश्चित रूप से योज्य है यदि और केवल यदि $$\mu(E \cup F) = \mu(E) + \mu(F)$$ सभी असंबद्ध जोड़ियों के लिए $$E, F \in \mathcal{F}.$$ है।
 * यदि $$\mu$$ निश्चित रूप से योज्य है और यदि $$\varnothing \in \mathcal{F}$$ फिर ले रहा है $$E := F := \varnothing$$ पता चलता है कि $$\mu(\varnothing) = \mu(\varnothing) + \mu(\varnothing)$$ जो केवल तभी संभव है $$\mu(\varnothing) = 0$$ या $$\mu(\varnothing) = \pm \infty,$$ जहां बाद के स्थिति में, $$\mu(E) = \mu(E \cup \varnothing) = \mu(E) + \mu(\varnothing) = \mu(E) + (\pm \infty) = \pm \infty$$ हर एक के लिए $$E \in \mathcal{F}$$ (इसलिए केवल स्थिति $$\mu(\varnothing) = 0$$ उपयोगी है)।
 * बाईं ओर की श्रृंखला को सामान्य तरीके से सीमा के रूप में परिभाषित किया गया है $$\textstyle\sum\limits_{i=1}^\infty \mu\left(F_i\right) ~\stackrel{\scriptscriptstyle\text{def}}{=}~ {\displaystyle\lim_{n \to \infty}} \mu\left(F_1\right) + \cdots + \mu\left(F_n\right).$$
 * परिणामस्वरूप, यदि $$\rho : \N \to \N$$ तब कोई क्रम परिवर्तन/आपत्ति है $$\textstyle\sum\limits_{i=1}^\infty \mu\left(F_i\right) = \textstyle\sum\limits_{i=1}^\infty \mu\left(F_{\rho(i)}\right);$$ यह है क्योंकि $$\textstyle\bigcup\limits_{i=1}^\infty F_i = \textstyle\bigcup\limits_{i=1}^\infty F_{\rho(i)}$$ और इस शर्त को लागू करना (a) दो बार गारंटी देता है कि दोनों $$\textstyle\sum\limits_{i=1}^\infty \mu\left(F_i\right) = \mu\left(\textstyle\bigcup\limits_{i=1}^\infty F_i\right)$$ और $$\mu\left(\textstyle\bigcup\limits_{i=1}^\infty F_{\rho(i)}\right) = \textstyle\sum\limits_{i=1}^\infty \mu\left(F_{\rho(i)}\right)$$ पकड़ना है। परिभाषा के अनुसार, इस गुण के साथ अभिसरण श्रृंखला को बिना शर्त अभिसरण कहा जाता है। सामान्य अंग्रेजी में कहा गया है, इसका मतलब है कि सेट को पुनर्व्यवस्थित/पुन: लेबलिंग करना $$F_1, F_2, \ldots$$ नए आदेश के लिए $$F_{\rho(1)}, F_{\rho(2)}, \ldots$$ उनके मानों के योग को प्रभावित नहीं करता है। संघ के रूप में ही यह वांछनीय है $$F ~\stackrel{\scriptscriptstyle\text{def}}{=}~ \textstyle\bigcup\limits_{i \in \N} F_i$$ इन सेटों के क्रम पर निर्भर नहीं करता है, वही योगफल के लिए सही होना चाहिए $$\mu(F) = \mu\left(F_1\right) + \mu\left(F_2\right) + \cdots$$ और $$\mu(F) = \mu\left(F_{\rho(1)}\right) + \mu\left(F_{\rho(2)}\right) + \cdots\,.$$
 * रीमैन श्रृंखला प्रमेय, श्रृंखला द्वारा वास्तविक संख्याओं की किसी भी अभिसरण श्रृंखला के साथ $$\textstyle\sum\limits_{i=1}^\infty \mu\left(F_i\right) = {\displaystyle\lim_{N \to \infty}} \mu\left(F_1\right) + \mu\left(F_2\right) + \cdots + \mu\left(F_N\right)$$ पूरी तरह से अभिसरण करता है यदि और केवल यदि इसका योग इसकी शर्तों के क्रम पर निर्भर नहीं करता है (बिना शर्त अभिसरण के रूप में जाना जाने वाला गुण)। चूंकि बिना शर्त अभिसरण की ऊपर (a) द्वारा गारंटी दी गई है, यह स्थिति स्वचालित रूप से सत्य है यदि $$\mu$$ में मान है $$[-\infty, \infty].$$
 * कैराथियोडोरी के विस्तार प्रमेय में बाहरी मान दिखाई देते हैं और वे अधिकांशत: कैराथियोडोरी की कसौटी पर प्रतिबंध (गणित) होते हैं। कैराथियोडोरी मानने योग्य उपसमुच्चय</li>
 * कई अन्य गुणों के विपरीत, पूर्णता सेट पर आवश्यकताओं को रखती है $$\operatorname{domain} \mu = \mathcal{F}$$ (और न सिर्फ चालू $$\mu$$के मान).</li>
 * प्रत्येक 𝜎-फ़िनिट सेट फलन वियोजनीय है, चूंकि इसके विपरीत नहीं। उदाहरण के लिए, गिनती मान पर $$\R$$ (जिसका डोमेन है $$\wp(\R)$$) वियोजनीय है लेकिन नहीं 𝜎-परिमित है।</li>
 * यदि $$\mu$$ एक आदर्श समष्टि में मान है $$(X, \|\cdot\|)$$ तो यह गिनती योगात्मक है यदि और केवल यदि किसी भी युग्‍मानूसार संबंध विच्छेद अनुक्रम के लिए $$F_1, F_2, \ldots\,$$ में $$\mathcal{F},$$ $$\lim_{n \to \infty} \left\|\mu\left(F_1\right) + \cdots + \mu\left(F_n\right) - \mu\left(\textstyle\bigcup\limits_{i=1}^\infty F_i\right)\right\| = 0.$$ है यदि $$\mu$$ एक बनच समष्टि में सूक्ष्म रूप से योगात्मक और मान है, तो यह योगात्मक रूप से योगात्मक है यदि और केवल यदि किसी युग्‍मानूसार असंबद्ध अनुक्रम के लिए $$F_1, F_2, \ldots\,$$ में $$\mathcal{F},$$ $$\lim_{n \to \infty} \left\|\mu\left(F_n \cup F_{n+1} \cup F_{n+2} \cup \cdots\right)\right\| = 0.$$ है।
 * परिभाषा के अनुसार, एक जटिल मान कभी नहीं होता है $$\pm \infty$$ एक मान के रूप में और इसलिए एक #शून्य रिक्त सेट है।</li>

यादृच्छिक योग
वर्णित श्रृंखला (गणित)#किसी भी वर्ग के लिए सामान्यीकृत श्रृंखला पर इस लेख के खंड में यादृच्छिक सूचकांक सेट पर योग $$\left(r_i\right)_{i \in I}$$ एक यादृच्छिक अनुक्रमण सेट द्वारा अनुक्रमित वास्तविक संख्याओं का $$I,$$ उनकी राशि को परिभाषित करना संभव है $$\textstyle\sum\limits_{i \in I} r_i$$ परिमित आंशिक योगों के शुद्ध (गणित) की सीमा के रूप में $$F \in \operatorname{FiniteSubsets}(I) \mapsto \textstyle\sum\limits_{i \in F} r_i$$ जहां डोमेन $$\operatorname{FiniteSubsets}(I)$$ द्वारा निर्देशित किया गया है $$\,\subseteq.\,$$ जब कभी यह अभिसारी जाल होता है तो इसकी सीमा को प्रतीकों द्वारा निरूपित किया जाता है $$\textstyle\sum\limits_{i \in I} r_i$$ जबकि यदि यह नेट इसके अतिरिक्त अलग हो जाता है $$\pm \infty$$ तो यह लिखकर संकेत किया जा सकता है $$\textstyle\sum\limits_{i \in I} r_i = \pm \infty.$$ रिक्त समुच्चय पर किसी भी योग को शून्य के रूप में परिभाषित किया गया है; वह है, यदि $$I = \varnothing$$ तब $$\textstyle\sum\limits_{i \in \varnothing} r_i = 0$$ परिभाषा है।

उदाहरण के लिए, यदि $$z_i = 0$$ हर एक के लिए $$i \in I$$ तब $$\textstyle\sum\limits_{i \in I} z_i = 0.$$ और यह दिखाया जा सकता है $$\textstyle\sum\limits_{i \in I} r_i = \textstyle\sum\limits_{\stackrel{i \in I,}{r_i = 0}} r_i + \textstyle\sum\limits_{\stackrel{i \in I,}{r_i \neq 0}} r_i = 0 + \textstyle\sum\limits_{\stackrel{i \in I,}{r_i \neq 0}} r_i = \textstyle\sum\limits_{\stackrel{i \in I,}{r_i \neq 0}} r_i.$$ यदि $$I = \N$$ फिर सामान्यीकृत श्रृंखला $$\textstyle\sum\limits_{i \in I} r_i$$ में विलीन हो जाता है $$\R$$ यदि और केवल यदि $$\textstyle\sum\limits_{i=1}^\infty r_i$$ बिना शर्त अभिसरण (या समकक्ष, पूर्ण अभिसरण) सामान्य अर्थों में। यदि एक सामान्यीकृत श्रृंखला $$\textstyle\sum\limits_{i \in I} r_i$$ में विलीन हो जाता है $$\R$$ फिर दोनों $$\textstyle\sum\limits_{\stackrel{i \in I}{r_i > 0}} r_i$$ और $$\textstyle\sum\limits_{\stackrel{i \in I}{r_i < 0}} r_i$$ के तत्वों में भी अभिसरण करते हैं $$\R$$ और सेट $$\left\{i \in I : r_i \neq 0\right\}$$ आवश्यक रूप से गणनीय समुच्चय है (अर्थात, या तो परिमित या गणनीय रूप से अनंत); श्रृंखला (गणित) # एबेलियन सांस्थिति समूह यदि $$\R$$ किसी भी सामान्य समष्टि से प्रतिस्थापित किया जाता है। यह इस प्रकार है कि एक सामान्यीकृत श्रृंखला के लिए $$\textstyle\sum\limits_{i \in I} r_i$$ में जुटना $$\R$$ या $$\Complex,$$ यह आवश्यक है कि सभी लेकिन अधिक से अधिक संख्या में $$r_i$$ के बराबर होगा $$0,$$ जिसका अर्थ है कि $$\textstyle\sum\limits_{i \in I} r_i ~=~ \textstyle\sum\limits_{\stackrel{i \in I}{r_i \neq 0}} r_i$$ अधिक से अधिक कई गैर-शून्य शब्दों का योग है। अलग ढंग से कहा, यदि $$\left\{i \in I : r_i \neq 0\right\}$$ अगणनीय है तो सामान्यीकृत श्रृंखला $$\textstyle\sum\limits_{i \in I} r_i$$ एकाग्र नहीं होती है।

संक्षेप में, वास्तविक संख्याओं की प्रकृति और इसकी टोपोलॉजी के कारण, वास्तविक संख्याओं की प्रत्येक सामान्यीकृत श्रृंखला (एक यादृच्छिक सेट द्वारा अनुक्रमित) जो अभिसरण करता है, को कई वास्तविक संख्याओं की एक सामान्य पूर्ण रूप से अभिसरण श्रृंखला में घटाया जा सकता है। इसलिए मान सिद्धांत के संदर्भ में, अगणनीय सेटों और सामान्यीकृत श्रृंखलाओं पर विचार करने से बहुत कम लाभ प्राप्त होता है। विशेष रूप से, यही कारण है कि #गणनीय योगात्मक की परिभाषा को शायद ही कभी कई सेटों से बढ़ाया जाता है $$F_1, F_2, \ldots\,$$ में $$\mathcal{F}$$ (और सामान्य गणनीय श्रृंखला $$\textstyle\sum\limits_{i=1}^\infty \mu\left(F_i\right)$$) यादृच्छिक ढंग से कई सेटों के लिए $$\left(F_i\right)_{i \in I}$$ (और सामान्यीकृत श्रृंखला $$\textstyle\sum\limits_{i \in I} \mu\left(F_i\right)$$).

आंतरिक मान, बाहरी मान और अन्य गुण
एक सेट फलन $$\mu$$ कहा जाता है / संतुष्ट करता है यदि $$\mu(E) \leq \mu(F)$$ जब कभी भी $$E, F \in \mathcal{F}$$ संतुष्ट करना $$E \subseteq F.$$ मॉड्यूलर सेट फलन यदि यह निम्नलिखित शर्त को पूरा करता है, जिसे जाना जाता है : $$\mu(E \cup F) + \mu(E \cap F) = \mu(E) + \mu(F)$$ सभी के लिए $$E, F \in \mathcal{F}$$ ऐसा है कि $$E \cup F, E \cap F \in \mathcal{F}.$$ सबमॉड्यूलर सेट फलन यदि $$\mu(E \cup F) + \mu(E \cap F) \leq \mu(E) + \mu(F)$$ सभी के लिए $$E, F \in \mathcal{F}$$ ऐसा है कि $$E \cup F, E \cap F \in \mathcal{F}.$$ यदि $$|\mu(F)| \leq \textstyle\sum\limits_{i=1}^n \left|\mu\left(F_i\right)\right|$$ सभी परिमित अनुक्रमों के लिए $$F, F_1, \ldots, F_n \in \mathcal{F}$$ जो संतुष्ट करता है $$F \;\subseteq\; \textstyle\bigcup\limits_{i=1}^n F_i.$$ या यदि $$|\mu(F)| \leq \textstyle\sum\limits_{i=1}^\infty \left|\mu\left(F_i\right)\right|$$ सभी क्रमों के लिए $$F, F_1, F_2, F_3, \ldots\,$$ में $$\mathcal{F}$$ जो संतुष्ट करता है $$F \;\subseteq\; \textstyle\bigcup\limits_{i=1}^\infty F_i.$$ सुपरएडिटीविटी यदि $$\mu(E) + \mu(F) \leq \mu(E \cup F)$$ जब कभी भी $$E, F \in \mathcal{F}$$ से असंबद्ध हैं $$E \cup F \in \mathcal{F}.$$ यदि $$\lim_{n \to \infty} \mu\left(F_i\right) = \mu\left(\textstyle\bigcap\limits_{i=1}^\infty F_i\right)$$ सभी के लिए   सेट का $$F_1 \supseteq F_2 \supseteq F_3 \cdots\,$$ में $$\mathcal{F}$$ ऐसा है कि $$\textstyle\bigcap\limits_{i=1}^\infty F_i \in \mathcal{F}$$ साथ $$\mu\left(\textstyle\bigcap\limits_{i=1}^\infty F_i\right)$$ और सभी $$\mu\left(F_i\right)$$ परिमित है । यदि $$\lim_{n \to \infty} \mu\left(F_i\right) = \mu\left(\textstyle\bigcup\limits_{i=1}^\infty F_i\right)$$ सभी के लिए  सेट का $$F_1 \subseteq F_2 \subseteq F_3 \cdots\,$$ में $$\mathcal{F}$$ ऐसा है कि $$\textstyle\bigcup\limits_{i=1}^\infty F_i \in \mathcal{F}.$$  यदि कभी भी $$F \in \mathcal{F}$$ संतुष्ट $$\mu(F) = \infty$$ तो हर असली के लिए $$r > 0,$$ कुछ सम्मलित है $$F_r \in \mathcal{F}$$ ऐसा है कि $$F_r \subseteq F$$ और $$r \leq \mu\left(F_r\right) < \infty.$$ है।
 * समुच्चयों के क्षेत्र में प्रत्येक परिमित योज्य फलन मॉड्यूलर होता है।
 * ज्यामिति में, इस गुण वाले कुछ एबेलियन सेमीग्रुप में मान एक सेट फलन को मानांकन (ज्यामिति) के रूप में जाना जाता है। यह मानांकन (ज्यामिति) मानांकन की ज्यामितीय परिभाषा को मजबूत गैर-समतुल्य मानांकन (मान सिद्धांत) के साथ भ्रमित नहीं होना चाहिए मानांकन की सैद्धांतिक परिभाषा को मानें जो कि #मानांकन है।</li>
 * यदि $$\mathcal{F}$$ परिमित संघों के अनुसार बंद है तो यह स्थिति केवल और केवल तभी होती है $$|\mu(F \cup G)| \leq| \mu(F)| + |\mu(G)|$$ सभी के लिए $$F, G \in \mathcal{F}.$$ यदि $$\mu$$ गैर-ऋणात्मक है तो निरपेक्ष मान हटाया जा सकता है।
 * यदि $$\mu$$ एक मान है तो यह स्थिति यदि और केवल यदि रखती है $$\mu\left(\textstyle\bigcup\limits_{i=1}^\infty F_i\right) \leq \textstyle\sum\limits_{i=1}^\infty \mu\left(F_i\right)$$ सभी के लिए $$F_1, F_2, F_3, \ldots\,$$ में $$\mathcal{F}.$$ यदि $$\mu$$ एक प्रायिकता मान है तो यह असमानता बूले की असमानता है।
 * यदि $$\mu$$ गिनती उप-योगात्मक है और $$\varnothing \in \mathcal{F}$$ साथ $$\mu(\varnothing) = 0$$ तब $$\mu$$ #पूरी तरह से सबएडिटिव है।</li>
 * लेबेस्गु मान $$\lambda$$ ऊपर से निरंतर है लेकिन यह धारणा नहीं होगी कि सभी $$\mu\left(F_i\right)$$ अंततः परिमित हैं परिभाषा से हटा दिया गया था, जैसा कि इस उदाहरण से पता चलता है: प्रत्येक पूर्णांक के लिए $$i,$$ होने देना $$F_i$$ खुला अंतराल हो $$(i, \infty)$$ जिससे कि $$\lim_{n \to \infty} \lambda\left(F_i\right) = \lim_{n \to \infty} \infty = \infty \neq 0 = \lambda(\varnothing) = \lambda\left(\textstyle\bigcap\limits_{i=1}^\infty F_i\right)$$ जहाँ $$\textstyle\bigcap\limits_{i=1}^\infty F_i = \varnothing.$$ है।

एक #बाहरी मान यदि $$\mu$$ गैर-ऋणात्मक है, #गणनीय रूप से सबएडिटिव है, एक #शून्य रिक्त सेट है, और पावर सेट है $$\wp(\Omega)$$ इसके डोमेन के रूप में है।</li> एक आंतरिक मान यदि $$\mu$$ गैर-नकारात्मक है, #सुपरएडिटिव, ऊपर से #निरंतर, एक #शून्य रिक्त सेट है, पावर सेट है $$\wp(\Omega)$$ इसके डोमेन के रूप में, और नीचे से #अनंतता तक संपर्क किया जाता है$$+\infty$$ नीचे से संपर्क किया गया है।</li> परमाणु मान यदि सकारात्मक मान के प्रत्येक मानने योग्य सेट में एक परमाणु (मान सिद्धांत) होता है।</li>

यदि एक द्विआधारी संक्रिया $$\,+\,$$ परिभाषित किया गया है, फिर एक सेट फलन $$\mu$$ बताया गया यदि $$\mu(\omega + F) = \mu(F)$$ सभी के लिए $$\omega \in \Omega$$ और $$F \in \mathcal{F}$$ ऐसा है कि $$\omega + F \in \mathcal{F}.$$ है।

टोपोलॉजी संबंधित परिभाषाएँ
यदि $$\tau$$ एक टोपोलॉजी (संरचना) पर है $$\Omega$$ फिर एक सेट फलन $$\mu$$ बताया गया: एक बोरेल मान यदि यह सभी बोरेल सेट के σ-बीजगणित पर परिभाषित मान है, जो सबसे छोटा σ-बीजगणित है जिसमें सभी खुले उपसमुच्चय होते हैं (अर्थात, युक्त $$\tau$$)। एक बेयर मान यदि यह सभी बेयर सेटों के σ-बीजगणित पर परिभाषित मान है।</li> समष्टिीय परिमित मान यदि हर बिंदु के लिए $$\omega \in \Omega$$ कुछ निकटतम सम्मलित है $$U \in \mathcal{F} \cap \tau$$ इस बिंदु से ऐसा है $$\mu(U)$$ परिमित है।  यदि $$\mu\left({\textstyle\bigcup} \, \mathcal{D}\right) = \sup_{D \in \mathcal{D}} \mu(D)$$ जब कभी भी $$\mathcal{D} \subseteq \tau \cap \mathcal{F}$$ के संबंध में निर्देशित किया गया है $$\,\subseteq\,$$ और संतुष्ट करता है $${\textstyle\bigcup} \, \mathcal{D} ~\stackrel{\scriptscriptstyle\text{def}}{=}~ \textstyle\bigcup\limits_{D \in \mathcal{D}} D \in \mathcal{F}.$$ आंतरिक नियमित मान या यदि प्रत्येक के लिए $$F \in \mathcal{F},$$ $$\mu(F) = \sup \{\mu(K) : F \supseteq K \text{ with } K \in \mathcal{F} \text{ a compact subset of } (\Omega, \tau)\}.$$ है। बाह्य नियमित मान यदि प्रत्येक के लिए $$F \in \mathcal{F},$$ $$\mu(F) = \inf \{\mu(U) : F \subseteq U \text{ and } U \in \mathcal{F} \cap \tau\}.$$ है। नियमित मान यदि यह इनर रेगुलर और आउटर रेगुलर दोनों है।</li> एक बोरेल नियमित मान यदि यह बोरेल मान है तो वह भी नियमित मान है। एक रैडॉन मान यदि यह एक नियमित और समष्टिीय रूप से परिमित मान है।</li> <li>पूर्णतः सकारात्मक मान यदि प्रत्येक गैर-रिक्त खुले उपसमुच्चय में (सख्ती से) सकारात्मक मान है।</li> <li>एक मानांकन (मान सिद्धांत) यदि यह गैर-ऋणात्मक है, #एकदिष्ट, #प्रतिरुपकीय, एक #रिक्त रिक्त सेट है, और डोमेन है $$\tau.$$
 * यदि $$\mu$$ एक सूक्ष्म योगात्मक, मोनोटोन और समष्टिीय रूप से परिमित है $$\mu(K)$$ प्रत्येक सघन मानने योग्य उपसमुच्चय के लिए आवश्यक रूप से परिमित है $$K.$$
 * $$\mathcal{D}$$ के संबंध में निर्देशित किया गया है $$\,\subseteq\,$$ यदि और केवल यदि यह खाली नहीं है और सभी के लिए है $$A, B \in \mathcal{D}$$ कुछ सम्मलित है $$C \in \mathcal{D}$$ ऐसा है $$A \subseteq C$$ और $$B \subseteq C.$$

स</ul>ेट कार्यों के बीच संबंध
यदि $$\mu$$ और $$\nu$$ दो सेट कार्य समान्त हो गए हैं $$\Omega,$$ तब: $$\mu$$ पूर्ण निरंतरता (मान सिद्धांत) कहा जाता है या प्रभुत्व (मान सिद्धांत), लिखा हुआ $$\mu \ll \nu,$$ यदि हर सेट के लिए $$F$$ जो दोनों के अधिकार क्षेत्र में आता है $$\mu$$ और $$\nu,$$ यदि $$\nu(F) = 0$$ तब $$\mu(F) = 0.$$ है। $$\mu$$ और $$\nu$$ पृथक मान हैं, लिखा हुआ $$\mu \perp \nu,$$ यदि वहाँ असंबद्ध सेट सम्मलित हैं $$M$$ और $$N$$ के डोमेन में $$\mu$$ और $$\nu$$ ऐसा है कि $$M \cup N = \Omega,$$ $$\mu(F) = 0$$ सभी के लिए $$F \subseteq M$$ के अधिकार क्षेत्र में $$\mu,$$ और $$\nu(F) = 0$$ सभी के लिए $$F \subseteq N$$ के अधिकार क्षेत्र में $$\nu.$$ है। </ul>
 * यदि $$\mu$$ और $$\nu$$ σ-सीमित मान हैं $$\sigma$$-समान मानने योग्य समष्टि पर परिमित मान और यदि $$\mu \ll \nu,$$ फिर रैडॉन-निकोडिम व्युत्पन्न $$\frac{d \mu}{d \nu}$$ सम्मलित है और हर मानने योग्य के लिए $$F,$$ $$\mu(F) = \int_F \frac{d \mu}{d \nu} d \nu.$$है।
 * $$\mu$$ और $$\nu$$ तुल्यता (मान सिद्धांत) कहलाते हैं, यदि प्रत्येक एक दूसरे के संबंध में #बिल्कुल निरंतर है। $$\mu$$ एक तुल्यता (मान सिद्धांत) # सहायक मान कहा जाता है मान का $$\nu$$ यदि $$\mu$$ सिग्मा-परिमित है $$\sigma$$-परिमित और वे समकक्ष हैं।

उदाहरण
सेट कार्यों के उदाहरणों में सम्मलित हैं:
 * कार्यक्रम $$d(A) = \lim_{n \to \infty} \frac{|A \cap \{1, \ldots, n\}|}{n},$$ पर्याप्त रूप से अच्छे व्यवहार वाले उपसमुच्चय को प्राकृतिक घनत्व प्रदान करना $$A \subseteq \{1, 2, 3, \ldots\},$$ एक निर्धारित कार्य है।
 * एक संभाव्यता मान सिग्मा-बीजगणित | σ-बीजगणित में प्रत्येक सेट के लिए एक संभावना प्रदान करता है। विशेष रूप से, रिक्त सेट की संभावना शून्य है और नमूना समष्टि की संभावना है $$1,$$ के बीच दी गई संभावनाओं के साथ अन्य सेटों के साथ $$0$$ और $$1.$$ है।
 * एक संभावित मान किसी दिए गए सेट के पावरसेट में प्रत्येक सेट को शून्य और एक के बीच एक संख्या प्रदान करता है। संभावना सिद्धांत देखें।
 * a  एक सेट-वैल्यू  अनियमित परिवर्तनशील वस्तु  है। लेख यादृच्छिक सघन सेट देखें।

जॉर्डन मानता है $$\Reals^n$$ जॉर्डन के सभी औसत दर्जे के उपसमुच्चय के सेट पर परिभाषित एक सेट फलन है $$\Reals^n;$$ यह जॉर्डन मापनीय सेट को अपने जॉर्डन माप के लिए भेजता है।

लेबेस्ग मान
लेबेस्ग मान पर $$\Reals$$ एक सेट फलन है जो लेबेसेग से संबंधित वास्तविक संख्याओं के प्रत्येक सेट के लिए एक गैर-ऋणात्मक वास्तविक संख्या प्रदान करता है $$\sigma$$-बीजगणित। इसकी परिभाषा समुच्चय से प्रारंभ होती है $$\operatorname{Intervals}(\Reals)$$ वास्तविक संख्याओं के सभी अंतरालों का, जो एक अर्धबीजगणित है $$\Reals.$$ वह फलन जो हर अंतराल को असाइन करता है $$I$$ इसका $$\operatorname{length}(I)$$ एक सूक्ष्म योगात्मक सेट फलन है (स्पष्ट रूप से, if $$I$$ समानन बिंदु हैं $$a \leq b$$ तब $$\operatorname{length}(I) = b - a$$). इस सेट फलन को लेबेस्ग बाहरी मान पर बढ़ाया जा सकता है $$\Reals,$$ जो अनुवाद-अपरिवर्तनीय सेट फलन है $$\lambda^{\!*\!} : \wp(\Reals) \to [0, \infty]$$ जो एक उपसमुच्चय भेजता है $$E \subseteq \Reals$$ नीचे $$\lambda^{\!*\!}(E) = \inf \left\{\sum_{k=1}^\infty \operatorname{length}(I_k) : {(I_k)_{k \in \N}} \text{ is a sequence of open intervals with } E \subseteq \bigcup_{k=1}^\infty I_k\right\}.$$ लेबेस्ग बाहरी मान गिनती योग्य नहीं है (और इसलिए एक मान नहीं है) चूंकि सिग्मा-बीजगणित के लिए इसका प्रतिबंध है। 𝜎-सभी उपसमुच्चयों का बीजगणित $$M \subseteq \Reals$$ जो कैराथियोडोरी की कसौटी पर खरे उतरते हैं | कैराथियोडोरी की कसौटी: $$\lambda^{\!*\!}(M) = \lambda^{\!*\!}(M \cap E) + \lambda^{\!*\!}(M \cap E^c) \quad \text{ for every } S \subseteq \Reals$$ एक मान है जिसे लेबेस्गु मान कहा जाता है। विटाली सेट करता है वास्तविक संख्याओं के गैर-मानने योग्य सेट के उदाहरण हैं।

अनंत-आयामी समष्टि
जैसा कि अनंत-आयामी लेबेस्गु मान पर लेख में विस्तृत है, केवल समष्टिीय रूप से परिमित और अनुवाद-अपरिवर्तनीय बोरेल मान एक अनंत-आयामी वियोज्य समष्टि मानक समष्टि पर मामूली मान है। चूंकि, गॉसियन मानों को अनंत-आयामी सांस्थिति सदिश रिक्त समष्टि पर परिभाषित करना संभव है। गॉसियन मानों के लिए संरचना प्रमेय से पता चलता है कि अमूर्त वीनर समष्टि निर्माण अनिवार्य रूप से एक पृथक समष्टि बनच समष्टि पर एक सख्त सकारात्मक गॉसियन मान प्राप्त करने का एकमात्र तरीका है।

परिमित योगात्मक अंतरण-निश्चर सेट फलन
केवल अनुवाद-अपरिवर्तनीय मान पर $$\Omega = \Reals$$ डोमेन के साथ $$\wp(\Reals)$$ के प्रत्येक सघन उपसमुच्चय पर परिमित है $$\Reals$$ तुच्छ सेट फलन है $$\wp(\Reals) \to [0, \infty]$$ जो समान रूप से बराबर है $$0$$ (अर्थात, यह हर भेजता है $$S \subseteq \Reals$$ को $$0$$) चूंकि, यदि गणनीय संकलनीयता को परिमित संकलनीयता के लिए कमजोर किया जाता है, तो इन गुणों के साथ एक गैर-तुच्छ सेट फलन सम्मलित होता है और इसके अतिरिक्त, कुछ का मान भी होता है $$[0, 1].$$ वास्तव में, इस तरह के गैर-तुच्छ सेट फलन तब भी सम्मलित रहेंगे $$\Reals$$ किसी अन्य एबेलियन समूह समूह (गणित) द्वारा प्रतिस्थापित किया जाता है $$G.$$

अर्द्ध बीजगणित से बीजगणित तक विस्तार
माना कि $$\mu$$ अर्धबीजगणित पर एक समुच्चय फलन है $$\mathcal{F}$$ ऊपर $$\Omega$$ और जाने $$\operatorname{algebra}(\mathcal{F}) := \left\{ F_1 \sqcup \cdots \sqcup F_n : n \in \N \text{ and } F_1, \ldots, F_n \in \mathcal{F} \text{ are pairwise disjoint } \right\},$$ जो सेट का फील्ड है $$\Omega$$ द्वारा उत्पन्न $$\mathcal{F}.$$ : विक्षनरी: अर्धबीजगणित का आदर्श उदाहरण जो समुच्चयों का क्षेत्र भी नहीं है वह वर्ग है $$\mathcal{S}_d := \{ \varnothing \} \cup \left\{ \left(a_1, b_1\right] \times \cdots \times \left(a_1, b_1\right] ~:~ -\infty \leq a_i < b_i \leq \infty \text{ for all } i = 1, \ldots, d \right\}$$ पर $$\Omega := \R^d$$ जहाँ $$(a, b] := \{ x \in \R : a < x \leq b \}$$ सभी के लिए $$-\infty \leq a < b \leq \infty.$$ महत्वपूर्ण रूप से, दो गैर-सख्त असमानताएँ $$\,\leq\,$$ में $$-\infty \leq a_i < b_i \leq \infty$$ सख्त असमानताओं के साथ प्रतिस्थापित नहीं किया जा सकता है $$\,<\,$$ चूंकि अर्ध-अल्जेब्रस में संपूर्ण अंतर्निहित सेट होना चाहिए $$\R^d;$$ वह है, $$\R^d \in \mathcal{S}_d$$ अर्ध-अल्जेब्रस की आवश्यकता है (जैसा है $$\varnothing \in \mathcal{S}_d$$).।

यदि $$\mu$$ # निश्चित रूप से योज्य है तो इसमें एक सेट फलन का एक अनूठा विस्तार है $$\overline{\mu}$$ पर $$\operatorname{algebra}(\mathcal{F})$$ भेजकर परिभाषित किया गया है $$F_1 \sqcup \cdots \sqcup F_n \in \operatorname{algebra}(\mathcal{F})$$ (जहाँ $$\,\sqcup\,$$ इंगित करता है कि ये $$F_i \in \mathcal{F}$$ जोड़ो में असंयुक्त हैं) से: $$\overline{\mu}\left(F_1 \sqcup \cdots \sqcup F_n\right) := \mu\left(F_1\right) + \cdots + \mu\left(F_n\right).$$ यह विस्तार $$\overline{\mu}$$ भी सूक्ष्म रूप से योगात्मक होगा: किसी भी युग्‍मानूसार असंयुक्त के लिए $$A_1, \ldots, A_n \in \operatorname{algebra}(\mathcal{F}),$$ $$\overline{\mu}\left(A_1 \cup \cdots \cup A_n\right) = \overline{\mu}\left(A_1\right) + \cdots + \overline{\mu}\left(A_n\right).$$ यदि इसके अतिरिक्त $$\mu$$ विस्तारित वास्तविक-मान और #एकदिष्ट है (जो, विशेष रूप से, यदि स्थिति होगा $$\mu$$ #ऋणेतर संख्या) है तो $$\overline{\mu}$$ मोनोटोन और #अंतिम रूप से उप-योगात्मक होगा: किसी के लिए भी $$A, A_1, \ldots, A_n \in \operatorname{algebra}(\mathcal{F})$$ ऐसा है कि $$A \subseteq A_1 \cup \cdots \cup A_n,$$ $$\overline{\mu}\left(A\right) \leq \overline{\mu}\left(A_1\right) + \cdots + \overline{\mu}\left(A_n\right).$$

रिंग्स से σ-अलजेब्रा तक विस्तार
यदि $$\mu : \mathcal{F} \to [0, \infty]$$ एक # पूर्व मान सेट के रिंग पर पूर्व-मान है (जैसे सेट का बीजगणित) $$\mathcal{F}$$ ऊपर $$\Omega$$ तब $$\mu$$ एक मान का विस्तार है $$\overline{\mu} : \sigma(\mathcal{F}) \to [0, \infty]$$ σ-बीजगणित पर $$\sigma(\mathcal{F})$$ द्वारा उत्पन्न $$\mathcal{F}.$$ यदि $$\mu$$ is #σ-परिमित मान|σ-परिमित तो यह विस्तार अद्वितीय है।

इस विस्तार को परिभाषित करने के लिए, पहले विस्तार करें $$\mu$$ एक बाहरी मान के लिए $$\mu^*$$ पर $$2^\Omega = \wp(\Omega)$$ द्वारा $$\mu^*(T) = \inf \left\{\sum_n \mu\left(S_n\right) : T \subseteq \cup_n S_n \text{ with } S_1, S_2, \ldots \in \mathcal{F}\right\}$$ और उसके बाद इसे सेट तक सीमित करें $$\mathcal{F}_M$$ का $$\mu^*$$-मानने योग्य सेट (अर्थात कैराथोडोरी-मानने योग्य सेट), जो सभी का सेट है $$M \subseteq \Omega$$ ऐसा है कि $$\mu^*(S) = \mu^*(S \cap M) + \mu^*(S \cap M^\mathrm{c}) \quad \text{ for every subset } S \subseteq \Omega.$$ यह है एक $$\sigma$$-बीजगणित और $$\mu^*$$ कैरथियोडोरी लेम्मा इस पर सिग्मा-योजक है।

बाहरी मानों को प्रतिबंधित करना
यदि $$\mu^* : \wp(\Omega) \to [0, \infty]$$ एक सेट पर एक #बाहरी मान है $$\Omega,$$ जहां (परिभाषा के अनुसार) डोमेन आवश्यक रूप से पावर सेट है $$\wp(\Omega)$$ का $$\Omega,$$ फिर एक उपसमुच्चय $$M \subseteq \Omega$$ कहा जाता है या यदि यह निम्नलिखित को संतुष्ट करता है : $$\mu^*(S) = \mu^*(S \cap M) + \mu^*(S \cap M^\mathrm{c}) \quad \text{ for every subset } S \subseteq \Omega,$$ जहाँ $$M^\mathrm{c} := \Omega \setminus M$$ का पूरक (सेट सिद्धांत) है $$M.$$ सबका वर्ग $$\mu^*$$-मानने योग्य उपसमुच्चय एक σ-बीजगणित और बाहरी मान का प्रतिबंध (गणित) है $$\mu^*$$ इस वर्ग के लिए एक मान (गणित) है।

टिप्पणियाँ
Proofs

संदर्भ

 * A. N. Kolmogorov and S. V. Fomin (1975), Introductory Real Analysis, Dover. ISBN 0-486-61226-0
 * A. N. Kolmogorov and S. V. Fomin (1975), Introductory Real Analysis, Dover. ISBN 0-486-61226-0
 * A. N. Kolmogorov and S. V. Fomin (1975), Introductory Real Analysis, Dover. ISBN 0-486-61226-0

अग्रिम पठन

 * Regular set function at Encyclopedia of Mathematics
 * Regular set function at Encyclopedia of Mathematics