औसती फलन: Difference between revisions
No edit summary |
No edit summary |
||
(9 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Function for which the preimage of a measurable set is measurable}} | {{Short description|Function for which the preimage of a measurable set is measurable}} | ||
गणित में और विशेष रूप से माप सिद्धांत में, | गणित में और विशेष रूप से माप सिद्धांत में, '''औसती फलन''' दो [[मापने योग्य स्थान|मापने योग्य रिक्त स्थान]] के अंतर्निहित समूहों के मध्य का कार्य है जो रिक्त स्थान की संरचना को संरक्षित करता है। इस प्रकार किसी भी माप (गणित) समूह की पूर्व अनुमान मापने योग्य है। यह परिभाषा के सीधे सादृश्य में है कि [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल]] [[मापने योग्य स्थान|रिक्त स्थान]] के मध्य सतत कार्य टोपोलॉजिकल संरचना को संरक्षित करता है। [[वास्तविक विश्लेषण]] में, औसती फलनों का उपयोग [[लेबेसेग एकीकरण]] की परिभाषा में किया जाता है। अतः संभाव्यता सिद्धांत में, [[संभाव्यता स्थान]] पर औसती फलन को यादृच्छिक चर के रूप में जाना जाता है। | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
सामान्यतः <math>(X,\Sigma)</math> और <math>(Y,\Tau)</math> मापने योग्य स्थान है, जिसका अर्थ होता है <math>X</math> और <math>Y</Math> संबंधित से सुसज्जित समूह | सामान्यतः <math>(X,\Sigma)</math> और <math>(Y,\Tau)</math> मापने योग्य स्थान है, जिसका अर्थ होता है <math>X</math> और <math>Y</Math> संबंधित से सुसज्जित समूह हैं। इस प्रकार <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 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> f द्वारा उत्पन्न σ-बीजगणित है। यदि <math>f:X\to Y</math> औसती फलन होता है, तब कोई लिखता है। | ||
<math display="block">f \colon (X, \Sigma) \rightarrow (Y, \Tau).</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>(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>(X, \Sigma)</math> [[गैर-मापने योग्य सेट|गैर-मापने योग्य समूह]] के साथ <math>A \subset X,</math> <math>A \notin \Sigma,</math> गैर-मापने योग्य संकेतक कार्य का निर्माण कर सकता है। | ||
<math display="block">\mathbf{1}_A:(X,\Sigma) \to \R, | <math display="block">\mathbf{1}_A:(X,\Sigma) \to \R, | ||
\quad | \quad | ||
Line 37: | Line 39: | ||
0 & \text{ otherwise}, | 0 & \text{ otherwise}, | ||
\end{cases}</math> | \end{cases}</math> | ||
जहाँ <math>\R</math> सामान्य बोरेल बीजगणित से सुसज्जित होता है। इस प्रकार मापने योग्य समूह की प्रीइमेज के पश्चात् से यह गैर-औसती फलन है और <math>\{1\}</math> गैर-मापने योग्य <math>A.</math> होता है। | |||
अन्य उदाहरण के रूप में, कोई भी गैर-निरंतर कार्य <math>f : X \to \R</math> तुच्छ के संबंध में | अन्य उदाहरण के रूप में, कोई भी गैर-निरंतर कार्य <math>f : X \to \R</math> तुच्छ के संबंध में मापनीय नहीं होता है। इस प्रकार <math>\sigma</math>-बीजगणित <math>\Sigma = \{\varnothing, X\},</math> चूंकि सीमा में किसी भी बिंदु की पूर्वकल्पना कुछ उचित, गैर-रिक्त उपसमुच्चय होता है अतः <math>X,</math> जो तुच्छ का तत्व <math>\Sigma.</math> नहीं होता है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* {{annotated link| | * {{annotated link|बोचनर औसती फलन}} | ||
* {{annotated link| | * {{annotated link|बोचनर रिक्त स्थान}} - गणितीय अवधारणा | ||
* {{annotated link| | * {{annotated link|एलपी रिक्त स्थान}} - औसती फलनों के सदिश रिक्त स्थान <math>L^p</math> रिक्त स्थान | ||
* {{annotated link| | * {{annotated link|माप-संरक्षण गतिशील प्रणाली}} | ||
* {{annotated link| | * {{annotated link|सदिश माप}} | ||
* {{annotated link| | * {{annotated link|निर्बल औसती फलन}} | ||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
Line 53: | Line 55: | ||
{{reflist|group=note}} | {{reflist|group=note}} | ||
{{reflist}} | {{reflist}} | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
Line 60: | Line 60: | ||
* [http://www.encyclopediaofmath.org/index.php/Borel_function Borel function] at [[Encyclopedia of Mathematics]] | * [http://www.encyclopediaofmath.org/index.php/Borel_function Borel function] at [[Encyclopedia of Mathematics]] | ||
{{DEFAULTSORT:Measurable Function}} | |||
{{DEFAULTSORT:Measurable Function}} | |||
[[Category: Machine Translated Page]] | [[Category:Created On 24/05/2023|Measurable Function]] | ||
[[Category: | [[Category:Lua-based templates|Measurable Function]] | ||
[[Category:Machine Translated Page|Measurable Function]] | |||
[[Category:Pages that use a deprecated format of the math tags|Measurable Function]] | |||
[[Category:Pages with script errors|Measurable Function]] | |||
[[Category:Templates Vigyan Ready|Measurable Function]] | |||
[[Category:Templates that add a tracking category|Measurable Function]] | |||
[[Category:Templates that generate short descriptions|Measurable Function]] | |||
[[Category:Templates using TemplateData|Measurable Function]] | |||
[[Category:कार्यों के प्रकार|Measurable Function]] | |||
[[Category:माप सिद्धांत|Measurable Function]] |
Latest revision as of 16:41, 8 June 2023
गणित में और विशेष रूप से माप सिद्धांत में, औसती फलन दो मापने योग्य रिक्त स्थान के अंतर्निहित समूहों के मध्य का कार्य है जो रिक्त स्थान की संरचना को संरक्षित करता है। इस प्रकार किसी भी माप (गणित) समूह की पूर्व अनुमान मापने योग्य है। यह परिभाषा के सीधे सादृश्य में है कि टोपोलॉजिकल रिक्त स्थान के मध्य सतत कार्य टोपोलॉजिकल संरचना को संरक्षित करता है। वास्तविक विश्लेषण में, औसती फलनों का उपयोग लेबेसेग एकीकरण की परिभाषा में किया जाता है। अतः संभाव्यता सिद्धांत में, संभाव्यता स्थान पर औसती फलन को यादृच्छिक चर के रूप में जाना जाता है।
औपचारिक परिभाषा
सामान्यतः और मापने योग्य स्थान है, जिसका अर्थ होता है और संबंधित से सुसज्जित समूह हैं। इस प्रकार -बीजगणित और कार्य को मापने योग्य कहा जाता है यदि प्रत्येक के लिए के पूर्व प्रतिबिम्ब के अंतर्गत में है, अर्थात् सभी के लिए होता है।
शब्द उपयोग विविधताएं
इसका चुनाव उपरोक्त परिभाषा में बीजगणित कभी-कभी अंतनिहित होता है और संदर्भ तक छोड़ दिया जाता है। उदाहरण के लिए, या अन्य सामयिक रिक्त स्थान, बोरेल बीजगणित (सभी खुले समूहों द्वारा उत्पन्न) साधारण पसंद होती है। इस प्रकार कुछ लेखक औसती फलनों को बोरेल बीजगणित के संबंध में विशेष रूप से वास्तविक-मूल्यवान कार्यों के रूप में परिभाषित करते हैं।[1]
यदि फ़ंक्शन के मान अनंत-आयामी सदिश अंतरिक्ष में हैं, तब मापनीयता की अन्य गैर-समतुल्य परिभाषाएं, जैसे कमजोर मापनीयता और बोचनर मापनीयता उपस्तिथ होती हैं।
औसती फलनों के उल्लेखनीय वर्ग
- यादृच्छिक चर परिभाषा के अनुसार प्रायिकता रिक्त स्थान पर परिभाषित औसत दर्जे के कार्य हैं।
- यदि और मानक बोरेल रिक्त स्थान और कुराटोस्की प्रमेय होते हैं, जो औसती फलन को बोरेल कार्य भी कहा जाता है। सतत फलन बोरेल फलन होते हैं किन्तु सभी बोरेल फलन संतत नहीं होते हैं। चूँकि, औसती फलन लगभग सतत कार्य होते है। इस प्रकार लुज़िन की प्रमेय देख सकते है। यदि बोरेल फ़ंक्शन मानचित्र का भाग होता है। इसे बोरेल खंड कहा जाता है।
- लेबेस्ग औसत दर्जे का कार्य होता है जहाँ है लेबेस्ग मापने योग्य समूहों का बीजगणित और सम्मिश्र संख्याओं पर बोरेल बीजगणित होता है लेबेस्ग औसती फलन गणितीय विश्लेषण में रुचि रखते हैं जिससे कि उन्हें एकीकृत किया जा सकता है। यदि लेबेस्ग मापने योग्य है और यदि सभी के लिए मापने योग्य होता है यह भी इनमें से किसी के समान्तर होता है अतः यह सभी के लिए मापने योग्य होता है और या किसी भी खुले समूह के मापने योग्य होने की पूर्व-छवि निरंतर कार्य, मोनोटोन कार्य, चरण कार्य, अर्ध-सतत कार्य, रीमैन-अभिन्न कार्य और परिबद्ध भिन्नता के कार्य सभी लेबेस्ग मापने योग्य होते हैं।[2] इस प्रकार कार्य के मापनीय होते है और इसके वास्तविक और काल्पनिक भाग भी मापने योग्य होते हैं।
औसती फलनों के गुण
- दो जटिल-मूल्यवान औसती फलनों का योग और उत्पाद मापने योग्य होता है।[3] अतः भागफल भी ऐसा ही होता है, जब तक कि शून्य से कोई विभाजन नही होता है।[1]
- यदि और औसती फलन हैं, तब उनकी संरचना भी होती है [1]
- यदि और औसती फलन हैं और उनकी संरचना में की आवश्यकता नहीं होती है मापने योग्य जब तक वास्तव में, दो लेबेस्ग-औसती फलनों का निर्माण इस प्रकार से किया जा सकता है कि उनकी रचना को गैर-लेबेस्ग-मापने योग्य बनाया जा सकता है।
- वास्तविक-मूल्यवान औसती फलनों के अनुक्रम (अर्थात् गणनीय रूप से अनेक) के (बिंदुवार) अंतिम, सबसे कम, निचली सीमा और सीमा हीन सभी को मापा जा सकता हैं।[1][4]
- औसती फलनों के अनुक्रम की बिंदुवार सीमा मापने योग्य होती है, जहां मीट्रिक स्थान (बोरेल बीजगणित के साथ संपन्न) होता है। यह सामान्यतः सत्य नहीं है यदि गैर-मेट्रिजेबल है और निरंतर कार्यों के लिए संबंधित कथनों को बिंदुवार अभिसरण की तुलना में मजबूत स्थितियों की आवश्यकता होती है, जैसे वर्दी अभिसरण इत्यादि।[5][6]
गैर-औसती फलन
सामान्यतः अनुप्रयोगों में सामने आने वाले वास्तविक-मूल्यवान कार्य औसत दर्जे के होते हैं; चूँकि, गैर-औसती फलनों के अस्तित्व को सिद्ध करना जटिल नहीं होता है। इस प्रकार के प्रमाण आवश्यक प्रकार से पसंद के स्वयंसिद्ध पर निर्भर करते हैं, इस अर्थ में कि ज़र्मेलो-फ्रेंकेल समूह सिद्धांत पसंद के स्वयंसिद्ध के अतिरिक्त ऐसे कार्यों के अस्तित्व को सिद्ध नहीं करता है।
किसी भी माप स्थान में गैर-मापने योग्य समूह के साथ गैर-मापने योग्य संकेतक कार्य का निर्माण कर सकता है।
अन्य उदाहरण के रूप में, कोई भी गैर-निरंतर कार्य तुच्छ के संबंध में मापनीय नहीं होता है। इस प्रकार -बीजगणित चूंकि सीमा में किसी भी बिंदु की पूर्वकल्पना कुछ उचित, गैर-रिक्त उपसमुच्चय होता है अतः जो तुच्छ का तत्व नहीं होता है।
यह भी देखें
- बोचनर औसती फलन
- बोचनर रिक्त स्थान - गणितीय अवधारणा
- एलपी रिक्त स्थान - औसती फलनों के सदिश रिक्त स्थान रिक्त स्थान
- माप-संरक्षण गतिशील प्रणाली
- सदिश माप
- निर्बल औसती फलन
टिप्पणियाँ
- ↑ 1.0 1.1 1.2 1.3 Strichartz, Robert (2000). विश्लेषण का तरीका. Jones and Bartlett. ISBN 0-7637-1497-6.
- ↑ Carothers, N. L. (2000). वास्तविक विश्लेषण. Cambridge University Press. ISBN 0-521-49756-6.
- ↑ Folland, Gerald B. (1999). Real Analysis: Modern Techniques and their Applications. Wiley. ISBN 0-471-31716-0.
- ↑ Royden, H. L. (1988). वास्तविक विश्लेषण. Prentice Hall. ISBN 0-02-404151-3.
- ↑ Dudley, R. M. (2002). वास्तविक विश्लेषण और संभावना (2 ed.). Cambridge University Press. ISBN 0-521-00754-2.
- ↑ Aliprantis, Charalambos D.; Border, Kim C. (2006). अनंत आयामी विश्लेषण, एक सहयात्री की मार्गदर्शिका (3 ed.). Springer. ISBN 978-3-540-29587-7.