पुश फॉरवर्ड मापक: Difference between revisions
No edit summary |
No edit summary |
||
(9 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
[[माप सिद्धांत]] में, | [[माप सिद्धांत]] में, '''पुशफॉरवर्ड''' '''माप''' (जिसे '''पुश फॉरवर्ड, पुश-फॉरवर्ड''' या '''छवि मापक''' के रूप में भी जाना जाता है) मापने योग्य फलन का उपयोग करके एक [[मापने योग्य स्थान]] से दूसरे में मापनीय स्थान से माप को स्थानांतरित करके प्राप्त किया जाता है। | ||
== परिभाषा == | == परिभाषा == | ||
मापने योग्य स्थान | मापने योग्य स्थान <math>(X_1,\Sigma_1)</math>और <math>(X_2,\Sigma_2)</math>दिए गए हैं, मापने योग्य मानचित्रण <math>f\colon X_1\to X_2</math>और माप <math>\mu\colon\Sigma_1\to[0,+\infty]</math>, μ के पुशफॉरवर्ड को <math>B \in \Sigma_{2}.</math> के लिए <math>f_{*} (\mu) (B) = \mu \left( f^{-1} (B) \right)</math>द्वारा दिए गए माप <math>f_{*}(\mu)\colon\Sigma_2\to[0,+\infty]</math>के रूप में परिभाषित किया गया है। | ||
यह परिभाषा [[हस्ताक्षरित उपाय|हस्ताक्षरित]] या [[जटिल उपाय|जटिल]] माप के लिए उत्परिवर्ती उत्परिवर्तन लागू करती है। पुशफॉरवर्ड माप को <math>\mu \circ f^{-1}</math>,<math>f_\sharp \mu</math>, <math>f \sharp \mu</math> या <math>f \# \mu</math> के रूप में भी दर्शाया गया है। | |||
यह परिभाषा | |||
पुशफॉरवर्ड | |||
== मुख्य | == मुख्य गुण: परिवर्तन-चर-सूत्र: == | ||
प्रमेय:<ref>Sections 3.6–3.7 in {{Harvnb|Bogachev}}</ref> | प्रमेय:<ref>Sections 3.6–3.7 in {{Harvnb|Bogachev}}</ref> ''X''<sub>2</sub> पर एक औसतन फंक्शन ''g'', पुशफॉरवर्ड माप ''f''<sub>∗</sub>(''μ'') के संबंध में पूर्ण है, यदि और केवल यदि रचना <math>g \circ f</math> माप μ के संबंध में पूर्ण है उस स्थिति में, अभिन्न संयोग करते हैं, अर्थात, | ||
:<math>\int_{X_2} g \, d(f_* \mu) = \int_{X_1} g \circ f \, d\mu.</math> | :<math>\int_{X_2} g \, d(f_* \mu) = \int_{X_1} g \circ f \, d\mu.</math> | ||
ध्यान दें कि पिछले सूत्र में <math>X_1=f^{-1}(X_2)</math> | ध्यान दें कि पिछले सूत्र में <math>X_1=f^{-1}(X_2)</math>। | ||
== उदाहरण और अनुप्रयोग == | == उदाहरण और अनुप्रयोग == | ||
* [[यूनिट सर्कल]] | * संपूर्ण "लेब्सेग माप" [[यूनिट सर्कल]] '''S'''<sup>1</sup> (पर यहां जटिल समतल '''C''') के सबसेट के रूप में सोचा गया है, इसे वास्तविक लाइन '''R''' पर पुश-फॉरवर्ड निर्माण और लेबसेग माप ''λ'' का उपयोग करके परिभाषित किया जा सकता है। बता दें कि ''λ'' ने लेब्सेग माप के प्रतिबंध को अंतराल के लिए भी निरूपित किया है [0, 2''π'') और ''f'' : [0, 2''π'') → '''S'''<sup>1</sup> ''f''(''t'') = exp(''i'' ''t'') द्वारा परिभाषित प्राकृतिक जीवनी है। '''S'''<sup>1</sup> पर संपूर्ण "लेब्सेग माप" तब पुश-फॉरवर्ड माप ''f''<sub>∗</sub>(''λ'') है। माप ''f''<sub>∗</sub>(''λ'') को "आर्क लंबाई माप" या "कोण माप" भी कहा जा सकता है, क्योंकि ''f''<sub>∗</sub>(''λ'') - '''S'''<sup>1</sup> में एक चाप का माप ठीक है इसकी चाप लंबाई ( या, समतुल्य, वह कोण जो इसे वृत्त के केंद्र में घटाता है। ) | ||
* पिछला उदाहरण एन-डायमेंशनल | * | ||
* अनंत-आयामी वेक्टर | *पिछला उदाहरण एन-डायमेंशनल टोरस '''T'''<sup>''n''</sup> पर प्राकृतिक "लेब्सग्यू माप" देने के लिए अच्छी तरह से विस्तारित है। पिछला उदाहरण एक विशेष मामला है, क्योंकि '''S'''<sup>1</sup> = '''T'''<sup>1</sup>। '''T'''<sup>''n''</sup> पर यह लेबेस्ग माप, सामान्यीकरण तक, कॉम्पैक्ट, कनेक्टेड लाई समूह '''T'''<sup>''n''</sup> के लिए '''हार माप''' है। | ||
* | *अनंत-आयामी वेक्टर स्थानों पर गाऊसी माप को पुश-फॉरवर्ड और वास्तविक रेखा पर मानक [[गाऊसी माप]] का उपयोग करके परिभाषित किया गया है: पृथक्करणीय बानाच स्थान X पर एक बोरेल माप γ को गाऊसी कहा जाता है यदि किसी गैर-शून्य द्वारा γ को आगे बढ़ाया जाता है X के निरंतर दोहरे स्थान में [[रैखिक कार्यात्मक]] R पर एक गाऊसी माप है। | ||
*मापने योग्य फलन ''f'' : ''X'' → ''X'' और n बार के साथ ''f'' की संरचना पर विचार करें: | |||
::<math>f^{(n)} = \underbrace{f \circ f \circ \dots \circ f}_{n \mathrm{\, times}} : X \to X.</math> यह पुनरावृत्त फलन एक [[गतिशील प्रणाली]] बनाता है। X पर माप μ प्राप्त करने के लिए ऐसी प्रणालियों के अध्ययन प्रायः महत्वपूर्ण होते हैं, जिसे मानचित्र f अपरिवर्तित छोड़ देता है, एक तथाकथित [[अपरिवर्तनीय उपाय|अपरिवर्तनीय माप]], यानी एक जिसके लिए f∗(μ) = μ। | |||
* | * इस तरह के एक गतिशील प्रणाली के लिए [[अर्ध-अपरिवर्तनीय उपाय|अर्ध-अपरिवर्तनीय]] माप पर भी विचार किया जा सकता है: (<math>\mu</math>पर एक माप <math>(X,\Sigma)</math>) को <math>f</math> के तहत अर्ध-अपरिवर्तक कहा जाता है यदि <math>f</math> द्वारा <math>\mu</math> का पुश-फॉरवर्ड केवल मूल माप <math>\mu</math> के बराबर है, जरूरी नहीं कि इसके बराबर हो। माप का एक योग <math>\mu, \nu</math> एक ही स्थान पर समतुल्य है यदि और केवल अगर <math>\forall A\in \Sigma: \ \mu(A) = 0 \iff \nu(A) = 0</math> तो μ ∀ A ∈ Σ: के तहत अर्ध-अपरिवर्तक है: <math>\forall A \in \Sigma: \ \mu(A) = 0 \iff f_* \mu(A) = \mu\big(f^{-1}(A)\big) = 0</math> | ||
*कई प्राकृतिक संभाव्यता वितरण, जैसे कि [[ची वितरण]], इस निर्माण के माध्यम से प्राप्त किए जा सकते हैं। | |||
*यादृच्छिक चर पुशफ़ॉरवर्ड माप को प्रेरित करते हैं। वे एक कोडोमैन स्पेस में एक संभाव्यता स्थान का मानचित्र बनाते हैं और उस स्थान को पुशफॉरवर्ड द्वारा परिभाषित संभाव्यता माप के साथ संपन्न करते हैं। इसके अलावा, क्योंकि यादृच्छिक चर कार्य हैं ( और इसलिए कुल कार्य ), पूरे कोडोमैन की व्युत्क्रम छवि संपूर्ण डोमेन है, और पूरे डोमेन का माप 1 है, तो पूरे कोडोमैन का माप 1 है। इसका अर्थ है कि यादृच्छिक चर को विज्ञापन अनंत के रूप में बनाया जा सकता है और वे हमेशा यादृच्छिक चर के रूप में बने रहेंगे और संभाव्यता उपायों के साथ कोडोमैन रिक्त स्थान का समर्थन करेंगे। | |||
== | == सामान्यीकरण == | ||
सामान्यतः किसी भी मापने योग्य फलन को आगे बढ़ाया जा सकता है, पुश-फ़ॉरवर्ड फिर एक [[रैखिक ऑपरेटर|रैखिक संकारक]] बन जाता है, जिसे [[रैखिक ऑपरेटर|रैखिक संकारक]] या फ्रोबेनियस-पेरॉन संकारक के रूप में जाना जाता है। सीमित स्थानों में यह संकारक सामान्यतः फ्रोबेनियस-पेरोन प्रमेय की आवश्यकताओं को पूरा करता है और संकारक का अधिकतम इगेनवेल्यू अपरिवर्तनीय माप से अनुरूप होता है। | |||
पुश | पुश के लिए संलग्न है पुलबैक; एक संकारक के रूप में कार्यों के रिक्त स्थानों पर, यह संरचना संकारक या कूपमैन संकारक है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[माप-संरक्षण गतिशील प्रणाली]] | * [[माप-संरक्षण गतिशील प्रणाली|माप-प्रस्तुत गतिकीय प्रणाली]] | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
<references/> | <references/> | ||
==संदर्भ== | ==संदर्भ== | ||
* {{Citation | * {{Citation | ||
Line 60: | Line 53: | ||
}} | }} | ||
{{DEFAULTSORT:Pushforward Measure}} | |||
{{DEFAULTSORT:Pushforward Measure}} | |||
[[Category: Machine Translated Page]] | [[Category:Created On 24/05/2023|Pushforward Measure]] | ||
[[Category: | [[Category:Machine Translated Page|Pushforward Measure]] | ||
[[Category:Templates Vigyan Ready|Pushforward Measure]] | |||
[[Category:उपाय (माप सिद्धांत)|Pushforward Measure]] |
Latest revision as of 12:23, 6 July 2023
माप सिद्धांत में, पुशफॉरवर्ड माप (जिसे पुश फॉरवर्ड, पुश-फॉरवर्ड या छवि मापक के रूप में भी जाना जाता है) मापने योग्य फलन का उपयोग करके एक मापने योग्य स्थान से दूसरे में मापनीय स्थान से माप को स्थानांतरित करके प्राप्त किया जाता है।
परिभाषा
मापने योग्य स्थान और दिए गए हैं, मापने योग्य मानचित्रण और माप , μ के पुशफॉरवर्ड को के लिए द्वारा दिए गए माप के रूप में परिभाषित किया गया है।
यह परिभाषा हस्ताक्षरित या जटिल माप के लिए उत्परिवर्ती उत्परिवर्तन लागू करती है। पुशफॉरवर्ड माप को ,, या के रूप में भी दर्शाया गया है।
मुख्य गुण: परिवर्तन-चर-सूत्र:
प्रमेय:[1] X2 पर एक औसतन फंक्शन g, पुशफॉरवर्ड माप f∗(μ) के संबंध में पूर्ण है, यदि और केवल यदि रचना माप μ के संबंध में पूर्ण है उस स्थिति में, अभिन्न संयोग करते हैं, अर्थात,
ध्यान दें कि पिछले सूत्र में ।
उदाहरण और अनुप्रयोग
- संपूर्ण "लेब्सेग माप" यूनिट सर्कल S1 (पर यहां जटिल समतल C) के सबसेट के रूप में सोचा गया है, इसे वास्तविक लाइन R पर पुश-फॉरवर्ड निर्माण और लेबसेग माप λ का उपयोग करके परिभाषित किया जा सकता है। बता दें कि λ ने लेब्सेग माप के प्रतिबंध को अंतराल के लिए भी निरूपित किया है [0, 2π) और f : [0, 2π) → S1 f(t) = exp(i t) द्वारा परिभाषित प्राकृतिक जीवनी है। S1 पर संपूर्ण "लेब्सेग माप" तब पुश-फॉरवर्ड माप f∗(λ) है। माप f∗(λ) को "आर्क लंबाई माप" या "कोण माप" भी कहा जा सकता है, क्योंकि f∗(λ) - S1 में एक चाप का माप ठीक है इसकी चाप लंबाई ( या, समतुल्य, वह कोण जो इसे वृत्त के केंद्र में घटाता है। )
- पिछला उदाहरण एन-डायमेंशनल टोरस Tn पर प्राकृतिक "लेब्सग्यू माप" देने के लिए अच्छी तरह से विस्तारित है। पिछला उदाहरण एक विशेष मामला है, क्योंकि S1 = T1। Tn पर यह लेबेस्ग माप, सामान्यीकरण तक, कॉम्पैक्ट, कनेक्टेड लाई समूह Tn के लिए हार माप है।
- अनंत-आयामी वेक्टर स्थानों पर गाऊसी माप को पुश-फॉरवर्ड और वास्तविक रेखा पर मानक गाऊसी माप का उपयोग करके परिभाषित किया गया है: पृथक्करणीय बानाच स्थान X पर एक बोरेल माप γ को गाऊसी कहा जाता है यदि किसी गैर-शून्य द्वारा γ को आगे बढ़ाया जाता है X के निरंतर दोहरे स्थान में रैखिक कार्यात्मक R पर एक गाऊसी माप है।
- मापने योग्य फलन f : X → X और n बार के साथ f की संरचना पर विचार करें:
- यह पुनरावृत्त फलन एक गतिशील प्रणाली बनाता है। X पर माप μ प्राप्त करने के लिए ऐसी प्रणालियों के अध्ययन प्रायः महत्वपूर्ण होते हैं, जिसे मानचित्र f अपरिवर्तित छोड़ देता है, एक तथाकथित अपरिवर्तनीय माप, यानी एक जिसके लिए f∗(μ) = μ।
- इस तरह के एक गतिशील प्रणाली के लिए अर्ध-अपरिवर्तनीय माप पर भी विचार किया जा सकता है: (पर एक माप ) को के तहत अर्ध-अपरिवर्तक कहा जाता है यदि द्वारा का पुश-फॉरवर्ड केवल मूल माप के बराबर है, जरूरी नहीं कि इसके बराबर हो। माप का एक योग एक ही स्थान पर समतुल्य है यदि और केवल अगर तो μ ∀ A ∈ Σ: के तहत अर्ध-अपरिवर्तक है:
- कई प्राकृतिक संभाव्यता वितरण, जैसे कि ची वितरण, इस निर्माण के माध्यम से प्राप्त किए जा सकते हैं।
- यादृच्छिक चर पुशफ़ॉरवर्ड माप को प्रेरित करते हैं। वे एक कोडोमैन स्पेस में एक संभाव्यता स्थान का मानचित्र बनाते हैं और उस स्थान को पुशफॉरवर्ड द्वारा परिभाषित संभाव्यता माप के साथ संपन्न करते हैं। इसके अलावा, क्योंकि यादृच्छिक चर कार्य हैं ( और इसलिए कुल कार्य ), पूरे कोडोमैन की व्युत्क्रम छवि संपूर्ण डोमेन है, और पूरे डोमेन का माप 1 है, तो पूरे कोडोमैन का माप 1 है। इसका अर्थ है कि यादृच्छिक चर को विज्ञापन अनंत के रूप में बनाया जा सकता है और वे हमेशा यादृच्छिक चर के रूप में बने रहेंगे और संभाव्यता उपायों के साथ कोडोमैन रिक्त स्थान का समर्थन करेंगे।
सामान्यीकरण
सामान्यतः किसी भी मापने योग्य फलन को आगे बढ़ाया जा सकता है, पुश-फ़ॉरवर्ड फिर एक रैखिक संकारक बन जाता है, जिसे रैखिक संकारक या फ्रोबेनियस-पेरॉन संकारक के रूप में जाना जाता है। सीमित स्थानों में यह संकारक सामान्यतः फ्रोबेनियस-पेरोन प्रमेय की आवश्यकताओं को पूरा करता है और संकारक का अधिकतम इगेनवेल्यू अपरिवर्तनीय माप से अनुरूप होता है।
पुश के लिए संलग्न है पुलबैक; एक संकारक के रूप में कार्यों के रिक्त स्थानों पर, यह संरचना संकारक या कूपमैन संकारक है।
यह भी देखें
टिप्पणियाँ
संदर्भ
- Bogachev, Vladimir I. (2007), Measure Theory, Berlin: Springer Verlag, ISBN 9783540345138
- Teschl, Gerald (2015), Topics in Real and Functional Analysis