औसती फलन

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

औपचारिक परिभाषा
सामान्यतः $$(X,\Sigma)$$ और $$(Y,\Tau)$$ मापने योग्य स्थान है, जिसका अर्थ होता है $$X$$ और $$Y$$ संबंधित से सुसज्जित समूह हैं। इस प्रकार $$\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)$$ 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$$ रिक्त स्थान

बाहरी संबंध

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