औसती फलन

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

औपचारिक परिभाषा

होने देना $(X,\Sigma )$ और $(Y,\mathrm {T} )$ मापने योग्य स्थान हो, जिसका अर्थ है $X$ और $Y$ are sets equipped with respective [[σ-algebra|$\sigma$-बीजगणित $\Sigma$ और $\mathrm {T} .$ एक समारोह $f:X\to Y$ औसत दर्जे का कहा जाता है अगर हर के लिए $E\in \mathrm {T}$ की पूर्व छवि $E$ अंतर्गत $f$ में है $\Sigma$; यानी सभी के लिए $E\in \mathrm {T}$

$$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,\mathrm {T} ).$$

पर निर्भरता पर जोर देना $\sigma$-बीजगणित $\Sigma$ और $\mathrm {T} .$

शब्द उपयोग भिन्नता

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

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

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

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

• दो जटिल-मूल्यवान मापने योग्य कार्यों का योग और उत्पाद औसत दर्जे का है। भागफल भी ऐसा ही है, जब तक कि शून्य से कोई विभाजन न हो।* अगर $f:(X,{\mathrm{\Sigma <!--\; \Sigma \; -->}}_1)\to <!--\; \to \; -->($