View source for औसती फलन

{{Short description|Function for which the preimage of a measurable set is measurable}}
गणित में और विशेष रूप से गणितीय विश्लेषण #Measure_theory में, एक मापने योग्य कार्य दो [[मापने योग्य स्थान]] के अंतर्निहित सेटों के बीच एक कार्य है जो रिक्त स्थान की संरचना को संरक्षित करता है: किसी भी माप (गणित) सेट की पूर्व छवि मापने योग्य है। यह परिभाषा के सीधे सादृश्य में है कि [[टोपोलॉजिकल स्पेस]] [[आकारिता]] के बीच एक सतत कार्य कार्य टोपोलॉजिकल संरचना: किसी भी खुले सेट का पूर्वाभास खुला है। [[वास्तविक विश्लेषण]] में, मापने योग्य कार्यों का उपयोग [[लेबेसेग एकीकरण]] की परिभाषा में किया जाता है। संभाव्यता सिद्धांत में, [[संभाव्यता स्थान]] पर मापने योग्य कार्य को यादृच्छिक चर के रूप में जाना जाता है।

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

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


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

का चुनाव <math>\sigma</math>उपरोक्त परिभाषा में बीजगणित कभी-कभी निहित होता है और संदर्भ तक छोड़ दिया जाता है। उदाहरण के लिए, के लिए <math>\R,</math> <math>\Complex,</math> या अन्य टोपोलॉजिकल रिक्त स्थान, [[बोरेल बीजगणित]] (सभी खुले सेटों द्वारा उत्पन्न) एक आम पसंद है। कुछ लेखक मापने योग्य कार्यों को बोरेल बीजगणित के संबंध में विशेष रूप से वास्तविक-मूल्यवान कार्यों के रूप में परिभाषित करते हैं।<ref name="strichartz">{{cite book|last=Strichartz|first=Robert|title=विश्लेषण का तरीका|url=https://archive.org/details/wayofanalysis0000stri|url-access=registration|publisher=Jones and Bartlett|year=2000|isbn=0-7637-1497-6}}</ref>
यदि फ़ंक्शन के मान एक [[अनंत-आयामी वेक्टर अंतरिक्ष]] में हैं, तो मापनीयता की अन्य गैर-समतुल्य परिभाषाएं, जैसे [[कमजोर मापनीयता]] और बोचनर मापनीयता उपस्तिथ हैं।

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

* रैंडम वेरिएबल्स परिभाषा के अनुसार प्रायिकता रिक्त स्थान पर परिभाषित औसत अंकिते के कार्य हैं।
* यदि <math>(X, \Sigma)</math> और <math>(Y, T)</math> बोरेल सेट # मानक बोरेल रिक्त स्थान और कुराटोस्की प्रमेय हैं, एक मापने योग्य कार्य <math>f:(X, \Sigma) \to (Y, T)</math> इसे बोरेल फंक्शन भी कहा जाता है। सतत फलन बोरेल फलन होते हैं किन्तु सभी बोरेल फलन संतत नहीं होते हैं। चूँकि, एक मापने योग्य कार्य लगभग एक सतत कार्य है; लुज़िन की प्रमेय देखें। यदि एक बोरेल फ़ंक्शन मानचित्र का एक भाग होता है <math>Y\xrightarrow{~\pi~}X,</math> इसे बोरेल सेक्शन कहा जाता है।
* एक Lebesgue औसत अंकिते का कार्य एक औसत अंकिते का कार्य है <math>f : (\R, \mathcal{L}) \to (\Complex, \mathcal{B}_\Complex),</math> कहाँ <math>\mathcal{L}</math> है <math>\sigma</math>लेबेस्ग औसत अंकिते का सेट का बीजगणित, और <math>\mathcal{B}_\Complex</math> सम्मिश्र संख्याओं पर बोरेल बीजगणित है <math>\Complex.</math> Lebesgue मापने योग्य कार्य [[गणितीय विश्लेषण]] में रुचि रखते हैं जिससे कि उन्हें एकीकृत किया जा सकता है। यदि <math>f : X \to \R,</math> <math>f</math> Lebesgue मापने योग्य है यदि और केवल यदि <math>\{f > \alpha\} = \{ x\in X : f(x) > \alpha\}</math> सभी के लिए मापने योग्य है <math>\alpha\in\R.</math> यह भी इनमें से किसी के बराबर है <math>\{f \geq \alpha\},\{f<\alpha\},\{f\le\alpha\}</math> सभी के लिए मापने योग्य होना <math>\alpha,</math> या किसी भी खुले सेट के मापने योग्य होने की पूर्व-छवि। निरंतर कार्य, मोनोटोन कार्य, चरण कार्य, अर्ध-सतत कार्य, रीमैन-अभिन्न कार्य, और परिबद्ध भिन्नता के कार्य सभी Lebesgue मापने योग्य हैं।<ref name="carothers">{{cite book |last=Carothers|first=N. L.|title=वास्तविक विश्लेषण|url=https://archive.org/details/realanalysis0000caro| url-access=registration | year=2000| publisher=Cambridge University Press| isbn=0-521-49756-6}}</ref> एक समारोह <math>f:X\to\Complex</math> मापनीय है यदि और केवल यदि वास्तविक और काल्पनिक भाग मापने योग्य हैं।

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

* दो जटिल-मूल्यवान मापने योग्य कार्यों का योग और उत्पाद औसत अंकिते का है।<ref name="folland">{{cite book|last=Folland|first=Gerald B.|title=Real Analysis: Modern Techniques and their Applications|year=1999|publisher=Wiley|isbn=0-471-31716-0}}</ref> भागफल भी ऐसा ही है, जब तक कि शून्य से कोई विभाजन न हो।<ref name="strichartz" />* यदि <math>f : (X,\Sigma_1) \to (Y,\Sigma_2)</math> और <math>g:(Y,\Sigma_2) \to (Z,\Sigma_3)</math> मापने योग्य कार्य हैं, तो उनकी रचना भी है <math>g\circ f:(X,\Sigma_1) \to (Z,\Sigma_3).</math><ref name="strichartz" />* यदि <math>f : (X,\Sigma_1) \to (Y,\Sigma_2)</math> और <math>g:(Y,\Sigma_3) \to (Z,\Sigma_4)</math> मापने योग्य कार्य हैं, उनकी रचना <math>g\circ f: X\to Z</math> जरूरत नहीं है <math>(\Sigma_1,\Sigma_4)</math>-मापने योग्य जब तक <math>\Sigma_3 \subseteq \Sigma_2.</math> वास्तव में, दो Lebesgue-मापने योग्य कार्यों का निर्माण इस तरह से किया जा सकता है कि उनकी रचना को गैर-Lebesgue-मापने योग्य बनाया जा सके।
* वास्तविक-मूल्यवान मापने योग्य कार्यों के अनुक्रम (अर्थात्, गणनीय रूप से कई) के (बिंदुवार) [[ अंतिम ]], [[सबसे कम]], [[निचली सीमा]], और लिमिट हीन सभी मापनीय भी हैं।<ref name="strichartz" /><ref name="royden">{{cite book|last=Royden|first=H. L.|title=वास्तविक विश्लेषण|year=1988|publisher=Prentice Hall|isbn=0-02-404151-3}}</ref>
*मापने योग्य कार्यों के अनुक्रम की [[बिंदुवार]] सीमा <math>f_n: X \to Y</math> मापने योग्य है, जहां <math>Y</math> एक मीट्रिक स्थान है (बोरेल बीजगणित के साथ संपन्न)। यह सामान्यतः सच नहीं है यदि <math>Y</math> गैर-मेट्रिजेबल है। निरंतर कार्यों के लिए संबंधित कथनों को बिंदुवार अभिसरण की तुलना में मजबूत स्थितियों की आवश्यकता होती है, जैसे वर्दी अभिसरण।<ref name="dudley">{{cite book|last=Dudley|first=R. M.|title=वास्तविक विश्लेषण और संभावना|year=2002|edition=2|publisher=Cambridge University Press|isbn=0-521-00754-2}}</ref><ref name="aliprantis">{{cite book|last1=Aliprantis|first1=Charalambos D.|last2=Border|first2=Kim C.|title=अनंत आयामी विश्लेषण, एक सहयात्री की मार्गदर्शिका|year=2006|edition=3|publisher=Springer|isbn=978-3-540-29587-7}}</ref>


== गैर-मापने योग्य कार्य ==

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

किसी भी माप स्थान में<math>(X, \Sigma)</math>एक [[गैर-मापने योग्य सेट]] के साथ <math>A \subset X,</math> <math>A \notin \Sigma,</math> एक गैर-मापने योग्य संकेतक समारोह का निर्माण कर सकता है:
 <math display="block">\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}</math>
कहाँ <math>\R</math> सामान्य बोरेल बीजगणित से सुसज्जित है। मापने योग्य सेट की प्रीइमेज के बाद से यह एक गैर-मापने योग्य कार्य है <math>\{1\}</math> गैर-मापने योग्य है <math>A.</math> 

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


== यह भी देखें ==

* {{annotated link|Bochner measurable function}}
* {{annotated link|Bochner space}}
* {{annotated link|Lp space}} - मापने योग्य कार्यों के वेक्टर रिक्त स्थान: एलपी स्थान |<math>L^p</math> खाली स्थान
* {{annotated link|Measure-preserving dynamical system}}
* {{annotated link|Vector measure}}
* {{annotated link|Weakly measurable function}}

== टिप्पणियाँ ==

{{reflist|group=note}}
{{reflist}}


==बाहरी संबंध==

* [http://www.encyclopediaofmath.org/index.php/Measurable_function Measurable function] at [[Encyclopedia of Mathematics]]
* [http://www.encyclopediaofmath.org/index.php/Borel_function Borel function] at [[Encyclopedia of Mathematics]]

{{Measure theory}}
{{Lp spaces}}

{{DEFAULTSORT:Measurable Function}}[[Category: माप सिद्धांत]] [[Category: कार्यों के प्रकार]] 



[[Category: Machine Translated Page]]
[[Category:Created On 24/05/2023]]