View source for मापने योग्य कार्य

{{Short description|Function for which the preimage of a measurable set is measurable}}
{{Use American English|date = January 2019}}

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

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

होने देना <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_generated_by_a_function|σ-बीजगणित 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> इसे बोरेल अनुभाग कहा जाता है।
* एक लेबेस्ग्यू मापने योग्य फ़ंक्शन एक मापने योग्य फ़ंक्शन है <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> लेबेस्ग मापन योग्य कार्य [[गणितीय विश्लेषण]] में रुचि रखते हैं क्योंकि उन्हें एकीकृत किया जा सकता है। यदि <math>f : X \to \R,</math> <math>f</math> क्या लेब्सेग मापने योग्य है यदि और केवल यदि <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> या किसी खुले सेट की पूर्वछवि मापने योग्य है। निरंतर कार्य, मोनोटोन कार्य, चरण कार्य, अर्धनिरंतर कार्य, रीमैन-अभिन्न कार्य, और बंधे हुए भिन्नता के कार्य सभी लेबेस्ग मापने योग्य हैं।<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> वास्तव में, दो लेब्सेग-मापने योग्य कार्यों का निर्माण इस तरह से किया जा सकता है कि उनकी संरचना को गैर-लेबेस्ग-मापने योग्य बनाया जा सके।
* वास्तविक-मूल्यवान मापने योग्य कार्यों के अनुक्रम (अर्थात, अनगिनत) के (बिंदुवार) सर्वोच्च, अनंत, [[सीमा श्रेष्ठ]], और सीमा निम्न सभी भी मापने योग्य हैं।<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/07/2023]]