औसती फलन

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

औपचारिक परिभाषा
होने देना $$(X,\Sigma)$$ और $$(Y,\Tau)$$ मापने योग्य स्थान हो, जिसका अर्थ है $$X$$ और $$Y$$ are sets equipped with respective [[σ-algebra|$$\sigma$$-बीजगणित $$\Sigma$$ और $$\Tau.$$ समारोह $$f:X\to Y$$ औसत अंकिते का कहा जाता है यदि हर के लिए $$E\in \Tau$$ की पूर्व छवि $$E$$ अंतर्गत $$f$$ में है $$\Sigma$$; अर्थात् सभी के लिए $$E \in \Tau $$ $$f^{-1}(E) := \{ x\in X \mid f(x) \in E \} \in \Sigma.$$ वह है, $$\sigma (f)\subseteq\Sigma,$$ कहाँ $$\sigma (f)$$ Σ-algebra#σ-algebra_generated_by_a_function|σ-algebra f द्वारा जनरेट किया गया है। यदि $$f:X\to Y$$ मापने योग्य कार्य है, कोई लिखता है $$f \colon (X, \Sigma) \rightarrow (Y, \Tau).$$ पर निर्भरता पर जोर देना $$\sigma$$-बीजगणित $$\Sigma$$ और $$\Tau.$$

शब्द उपयोग भिन्नता
का चुनाव $$\sigma$$उपरोक्त परिभाषा में बीजगणित कभी-कभी निहित होता है और संदर्भ तक छोड़ दिया जाता है। उदाहरण के लिए, के लिए $$\R,$$ $$\Complex,$$ या अन्य टोपोलॉजिकल रिक्त स्थान, बोरेल बीजगणित (सभी खुले समूहों द्वारा उत्पन्न) आम पसंद है। कुछ लेखक मापने योग्य कार्यों को बोरेल बीजगणित के संबंध में विशेष रूप से वास्तविक-मूल्यवान कार्यों के रूप में परिभाषित करते हैं।

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

मापने योग्य कार्यों के उल्लेखनीय वर्ग

 * रैंडम वेरिएबल्स परिभाषा के अनुसार प्रायिकता रिक्त स्थान पर परिभाषित औसत अंकिते के कार्य हैं।
 * यदि $$(X, \Sigma)$$ और $$(Y, T)$$ बोरेल समूह # मानक बोरेल रिक्त स्थान और कुराटोस्की प्रमेय हैं, मापने योग्य कार्य $$f:(X, \Sigma) \to (Y, T)$$ इसे बोरेल फंक्शन भी कहा जाता है। सतत फलन बोरेल फलन होते हैं किन्तु सभी बोरेल फलन संतत नहीं होते हैं। चूँकि, मापने योग्य कार्य लगभग सतत कार्य है; लुज़िन की प्रमेय देखें। यदि बोरेल फ़ंक्शन मानचित्र का भाग होता है $$Y\xrightarrow{~\pi~}X,$$ इसे बोरेल सेक्शन कहा जाता है।
 * लेबेस्ग औसत अंकिते का कार्य औसत अंकिते का कार्य है $$f : (\R, \mathcal{L}) \to (\Complex, \mathcal{B}_\Complex),$$ कहाँ $$\mathcal{L}$$ है $$\sigma$$लेबेस्ग औसत अंकिते का समूह का बीजगणित, और $$\mathcal{B}_\Complex$$ सम्मिश्र संख्याओं पर बोरेल बीजगणित है $$\Complex.$$ लेबेस्ग मापने योग्य कार्य गणितीय विश्लेषण में रुचि रखते हैं जिससे कि उन्हें एकीकृत किया जा सकता है। यदि $$f : X \to \R,$$ $$f$$ लेबेस्ग मापने योग्य है यदि और केवल यदि $$\{f > \alpha\} = \{ x\in X : f(x) > \alpha\}$$ सभी के लिए मापने योग्य है $$\alpha\in\R.$$ यह भी इनमें से किसी के बराबर है $$\{f \geq \alpha\},\{f<\alpha\},\{f\le\alpha\}$$ सभी के लिए मापने योग्य होना $$\alpha,$$ या किसी भी खुले समूह के मापने योग्य होने की पूर्व-छवि। निरंतर कार्य, मोनोटोन कार्य, चरण कार्य, अर्ध-सतत कार्य, रीमैन-अभिन्न कार्य, और परिबद्ध भिन्नता के कार्य सभी लेबेस्ग मापने योग्य हैं। समारोह $$f:X\to\Complex$$ मापनीय है यदि और केवल यदि वास्तविक और काल्पनिक भाग मापने योग्य हैं।

मापने योग्य कार्यों के गुण

 * दो जटिल-मूल्यवान मापने योग्य कार्यों का योग और उत्पाद औसत अंकिते का है। भागफल भी ऐसा ही है, जब तक कि शून्य से कोई विभाजन न हो। * यदि $$f : (X,\Sigma_1) \to (Y,\Sigma_2)$$ और $$g:(Y,\Sigma_2) \to (Z,\Sigma_3)$$ मापने योग्य कार्य हैं, तो उनकी रचना भी है $$g\circ f:(X,\Sigma_1) \to (Z,\Sigma_3).$$ * यदि $$f : (X,\Sigma_1) \to (Y,\Sigma_2)$$ और $$g:(Y,\Sigma_3) \to (Z,\Sigma_4)$$ मापने योग्य कार्य हैं, उनकी रचना $$g\circ f: X\to Z$$ जरूरत नहीं है $$(\Sigma_1,\Sigma_4)$$-मापने योग्य जब तक $$\Sigma_3 \subseteq \Sigma_2.$$ वास्तव में, दो लेबेस्ग-मापने योग्य कार्यों का निर्माण इस तरह से किया जा सकता है कि उनकी रचना को गैर-लेबेस्ग-मापने योग्य बनाया जा सके।
 * वास्तविक-मूल्यवान मापने योग्य कार्यों के अनुक्रम (अर्थात्, गणनीय रूप से कई) के (बिंदुवार) अंतिम, सबसे कम, निचली सीमा, और लिमिट हीन सभी मापनीय भी हैं।
 * मापने योग्य कार्यों के अनुक्रम की बिंदुवार सीमा $$f_n: X \to Y$$ मापने योग्य है, जहां $$Y$$ मीट्रिक स्थान है (बोरेल बीजगणित के साथ संपन्न)। यह सामान्यतः सच नहीं है यदि $$Y$$ गैर-मेट्रिजेबल है। निरंतर कार्यों के लिए संबंधित कथनों को बिंदुवार अभिसरण की तुलना में मजबूत स्थितियों की आवश्यकता होती है, जैसे वर्दी अभिसरण।

गैर-मापने योग्य कार्य
अनुप्रयोगों में सामने आने वाले वास्तविक-मूल्यवान कार्य औसत अंकिते के होते हैं; चूँकि, गैर-मापने योग्य कार्यों के अस्तित्व को सिद्ध करना जटिल नहीं है। इस तरह के प्रमाण आवश्यक तरीके से पसंद के स्वयंसिद्ध पर निर्भर करते हैं, इस अर्थ में कि ज़र्मेलो-फ्रेंकेल समूह सिद्धांत पसंद के स्वयंसिद्ध के बिना ऐसे कार्यों के अस्तित्व को सिद्ध नहीं करता है।

किसी भी माप स्थान में$$(X, \Sigma)$$गैर-मापने योग्य समूह के साथ $$A \subset X,$$ $$A \notin \Sigma,$$ गैर-मापने योग्य संकेतक समारोह का निर्माण कर सकता है: $$\mathbf{1}_A:(X,\Sigma) \to \R, \quad \mathbf{1}_A(x) = \begin{cases} 1 & \text{ if } x \in A \\ 0 & \text{ otherwise}, \end{cases}$$ कहाँ $$\R$$ सामान्य बोरेल बीजगणित से सुसज्जित है। मापने योग्य समूह की प्रीइमेज के बाद से यह गैर-मापने योग्य कार्य है $$\{1\}$$ गैर-मापने योग्य है $$A.$$

अन्य उदाहरण के रूप में, कोई भी गैर-निरंतर कार्य $$f : X \to \R$$ तुच्छ के संबंध में गैर-मापने योग्य है $$\sigma$$-बीजगणित $$\Sigma = \{\varnothing, X\},$$ चूंकि सीमा में किसी भी बिंदु की पूर्वकल्पना कुछ उचित, गैर-खाली उपसमुच्चय है $$X,$$ जो तुच्छ का तत्व नहीं है $$\Sigma.$$

यह भी देखें

 * - मापने योग्य कार्यों के वेक्टर रिक्त स्थान: एलपी स्थान |$$L^p$$ खाली स्थान
 * - मापने योग्य कार्यों के वेक्टर रिक्त स्थान: एलपी स्थान |$$L^p$$ खाली स्थान
 * - मापने योग्य कार्यों के वेक्टर रिक्त स्थान: एलपी स्थान |$$L^p$$ खाली स्थान

बाहरी संबंध

 * Measurable function at Encyclopedia of Mathematics
 * Borel function at Encyclopedia of Mathematics