पुश फॉरवर्ड मापक: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| 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> के रूप में भी दर्शाया गया है। | |||
यह परिभाषा एक [[हस्ताक्षरित उपाय]] या [[जटिल उपाय]] के लिए | |||
पुशफॉरवर्ड | |||
== मुख्य संपत्ति: परिवर्तन-के-चर सूत्र == | == मुख्य संपत्ति: परिवर्तन-के-चर सूत्र == | ||
| Line 23: | Line 19: | ||
::<math>f^{(n)} = \underbrace{f \circ f \circ \dots \circ f}_{n \mathrm{\, times}} : X \to X.</math> | ::<math>f^{(n)} = \underbrace{f \circ f \circ \dots \circ f}_{n \mathrm{\, times}} : X \to X.</math> | ||
: यह पुनरावृत्त | : यह पुनरावृत्त फलनएक [[गतिशील प्रणाली]] बनाता है। इस तरह की प्रणालियों के अध्ययन में अक्सर एक्स पर एक माप μ खोजने में रुचि होती है कि नक्शा एफ अपरिवर्तित छोड़ देता है, एक तथाकथित [[अपरिवर्तनीय उपाय]], यानी एक जिसके लिए एफ<sub>∗</sub>(μ) = μ। | ||
* ऐसी गतिशील प्रणाली के लिए [[अर्ध-अपरिवर्तनीय उपाय]]ों पर भी विचार किया जा सकता है: एक उपाय<math>\mu</math>पर<math>(X,\Sigma)</math>'क्वैसी-इनवेरिएंट अंडर' कहा जाता है <math>f</math> अगर पुश-फॉरवर्ड करें<math>\mu</math>द्वारा <math>f</math> केवल मूल माप μ के [[उपायों की समानता]] है, जरूरी नहीं कि इसके बराबर हो। उपायों की एक जोड़ी <math>\mu, \nu</math> एक ही स्थान पर समतुल्य हैं यदि और केवल यदि <math>\forall A\in \Sigma: \ \mu(A) = 0 \iff \nu(A) = 0</math>, इसलिए <math>\mu</math> के अंतर्गत अर्ध-अपरिवर्तनीय है <math>f</math> अगर <math>\forall A \in \Sigma: \ \mu(A) = 0 \iff f_* \mu(A) = \mu\big(f^{-1}(A)\big) = 0</math> | * ऐसी गतिशील प्रणाली के लिए [[अर्ध-अपरिवर्तनीय उपाय]]ों पर भी विचार किया जा सकता है: एक उपाय<math>\mu</math>पर<math>(X,\Sigma)</math>'क्वैसी-इनवेरिएंट अंडर' कहा जाता है <math>f</math> अगर पुश-फॉरवर्ड करें<math>\mu</math>द्वारा <math>f</math> केवल मूल माप μ के [[उपायों की समानता]] है, जरूरी नहीं कि इसके बराबर हो। उपायों की एक जोड़ी <math>\mu, \nu</math> एक ही स्थान पर समतुल्य हैं यदि और केवल यदि <math>\forall A\in \Sigma: \ \mu(A) = 0 \iff \nu(A) = 0</math>, इसलिए <math>\mu</math> के अंतर्गत अर्ध-अपरिवर्तनीय है <math>f</math> अगर <math>\forall A \in \Sigma: \ \mu(A) = 0 \iff f_* \mu(A) = \mu\big(f^{-1}(A)\big) = 0</math> | ||
* इस निर्माण के माध्यम से [[ची वितरण]] जैसे कई प्राकृतिक संभाव्यता वितरण प्राप्त किए जा सकते हैं। | * इस निर्माण के माध्यम से [[ची वितरण]] जैसे कई प्राकृतिक संभाव्यता वितरण प्राप्त किए जा सकते हैं। | ||
* रैंडम वैरिएबल पुशफॉरवर्ड उपायों को प्रेरित करते हैं। वे एक प्रायिकता स्थान को कोडोमेन स्थान में मैप करते हैं और उस स्थान को पुशफॉरवर्ड द्वारा परिभाषित प्रायिकता माप के साथ संपन्न करते हैं। इसके अलावा, क्योंकि यादृच्छिक चर | * रैंडम वैरिएबल पुशफॉरवर्ड उपायों को प्रेरित करते हैं। वे एक प्रायिकता स्थान को कोडोमेन स्थान में मैप करते हैं और उस स्थान को पुशफॉरवर्ड द्वारा परिभाषित प्रायिकता माप के साथ संपन्न करते हैं। इसके अलावा, क्योंकि यादृच्छिक चर फलन हैं (और इसलिए कुल फलन), पूरे कोडोमेन की उलटी छवि संपूर्ण डोमेन है, और पूरे डोमेन का माप 1 है, इसलिए पूरे कोडोमेन का माप 1 है। इसका मतलब है कि यादृच्छिक चर अनंत तक बनाए जा सकते हैं और वे हमेशा यादृच्छिक चर के रूप में रहेंगे और संभाव्यता उपायों के साथ कोडोमेन रिक्त स्थान प्रदान करेंगे। | ||
== एक सामान्यीकरण == | == एक सामान्यीकरण == | ||
सामान्य तौर पर, किसी भी मापने योग्य | सामान्य तौर पर, किसी भी मापने योग्य फलनको आगे धकेला जा सकता है, पुश-फॉरवर्ड तब एक [[रैखिक ऑपरेटर]] बन जाता है, जिसे [[ट्रांसफर ऑपरेटर]] या फ्रोबेनियस-पेरोन ऑपरेटर के रूप में जाना जाता है। परिमित स्थानों में यह ऑपरेटर आम तौर पर फ्रोबेनियस-पेरोन प्रमेय की आवश्यकताओं को पूरा करता है, और ऑपरेटर का अधिकतम आइगेनवेल्यू अपरिवर्तनीय माप से मेल खाता है। | ||
पुश-फॉरवर्ड के निकट [[ ठहराना ]] है; मापने योग्य स्थानों पर कार्यों के रिक्त स्थान पर एक ऑपरेटर के रूप में, यह संरचना ऑपरेटर या [[व्यापारी संचालिका]] है। | पुश-फॉरवर्ड के निकट [[ ठहराना ]] है; मापने योग्य स्थानों पर कार्यों के रिक्त स्थान पर एक ऑपरेटर के रूप में, यह संरचना ऑपरेटर या [[व्यापारी संचालिका]] है। | ||
Revision as of 09:55, 25 June 2023
माप सिद्धांत में, एक पुशफॉरवर्ड माप (जिसे पुश फॉरवर्ड, पुश-फॉरवर्ड या छवि मापक के रूप में भी जाना जाता है) एक मापने योग्य फलन का उपयोग करके एक मापने योग्य स्थान से दूसरे में एक मापनीय स्थान से एक माप को स्थानांतरित करके प्राप्त किया जाता है।
परिभाषा
मापने योग्य स्थान और दिए गए हैं, एक मापने योग्य मानचित्रण और एक माप , μ के पुशफॉरवर्ड को के लिए द्वारा दिए गए माप के रूप में परिभाषित किया गया है।
यह परिभाषा एक हस्ताक्षरित या जटिल उपाय के लिए उत्परिवर्ती उत्परिवर्तन लागू करती है। पुशफॉरवर्ड माप को ,, या के रूप में भी दर्शाया गया है।
मुख्य संपत्ति: परिवर्तन-के-चर सूत्र
प्रमेय:[1] एक्स पर मापने योग्य फ़ंक्शन जी2 पुशफॉरवर्ड माप f के संबंध में पूर्णांक है∗(μ) अगर और केवल अगर रचना माप μ के संबंध में पूर्णांक है। उस स्थिति में, समाकल संपाती हो जाते हैं, अर्थात,
ध्यान दें कि पिछले सूत्र में .
उदाहरण और अनुप्रयोग
- यूनिट सर्कल एस पर एक प्राकृतिक लेबेस्ग उपाय1 (यहाँ जटिल समतल C के एक उपसमुच्चय के रूप में सोचा गया है) को पुश-फॉरवर्ड निर्माण और वास्तविक रेखा R पर Lebesgue माप λ का उपयोग करके परिभाषित किया जा सकता है। चलो λ भी निरूपित करता है Lebesgue माप का अंतराल [0, 2π) और मान लीजिए f : [0, 2π) → S1 f(t) = exp(i t) द्वारा परिभाषित प्राकृतिक आक्षेप है। प्राकृतिक Lebesgue उपाय 'एस' पर1 तो पुश-फॉरवर्ड माप f है∗(λ)। माप एफ∗(λ) को चाप लंबाई माप या कोण माप भी कहा जा सकता है, क्योंकि f∗(λ)-'S' में एक चाप का माप1 सटीक रूप से इसकी चाप की लंबाई है (या, समतुल्य, वह कोण जो यह वृत्त के केंद्र पर बनाता है।)
- पिछला उदाहरण एन-डायमेंशनल टोरस्र्स 'टी' पर एक प्राकृतिक लेबेस्ग माप देने के लिए अच्छी तरह से फैला हुआ हैएन. पिछला उदाहरण एक विशेष मामला है, क्योंकि 'एस'1</सुप> = टी1</उप>। टी पर यह लेबेस्ग उपायn, सामान्यीकरण तक, कॉम्पैक्ट जगह , जुड़ा हुआ स्थान झूठ समूह 'T' के लिए हार माप हैएन.
- अनंत-आयामी वेक्टर रिक्त स्थान पर गॉसियन उपायों को वास्तविक रेखा पर पुश-फॉरवर्ड और मानक गाऊसी माप का उपयोग करके परिभाषित किया गया है: एक अलग करने योग्य स्थान पर एक बोरेल माप γ बनच स्थान एक्स को 'गॉसियन' कहा जाता है यदि γ द्वारा पुश-फॉरवर्ड किया जाता है एक्स के निरंतर दोहरे स्थान में कोई गैर-शून्य रैखिक कार्यात्मक 'आर' पर गॉसियन माप है।
- एक मापने योग्य फ़ंक्शन f : X → X पर विचार करें और f का समारोह रचना स्वयं n बार:
- यह पुनरावृत्त फलनएक गतिशील प्रणाली बनाता है। इस तरह की प्रणालियों के अध्ययन में अक्सर एक्स पर एक माप μ खोजने में रुचि होती है कि नक्शा एफ अपरिवर्तित छोड़ देता है, एक तथाकथित अपरिवर्तनीय उपाय, यानी एक जिसके लिए एफ∗(μ) = μ।
- ऐसी गतिशील प्रणाली के लिए अर्ध-अपरिवर्तनीय उपायों पर भी विचार किया जा सकता है: एक उपायपर'क्वैसी-इनवेरिएंट अंडर' कहा जाता है अगर पुश-फॉरवर्ड करेंद्वारा केवल मूल माप μ के उपायों की समानता है, जरूरी नहीं कि इसके बराबर हो। उपायों की एक जोड़ी एक ही स्थान पर समतुल्य हैं यदि और केवल यदि , इसलिए के अंतर्गत अर्ध-अपरिवर्तनीय है अगर
- इस निर्माण के माध्यम से ची वितरण जैसे कई प्राकृतिक संभाव्यता वितरण प्राप्त किए जा सकते हैं।
- रैंडम वैरिएबल पुशफॉरवर्ड उपायों को प्रेरित करते हैं। वे एक प्रायिकता स्थान को कोडोमेन स्थान में मैप करते हैं और उस स्थान को पुशफॉरवर्ड द्वारा परिभाषित प्रायिकता माप के साथ संपन्न करते हैं। इसके अलावा, क्योंकि यादृच्छिक चर फलन हैं (और इसलिए कुल फलन), पूरे कोडोमेन की उलटी छवि संपूर्ण डोमेन है, और पूरे डोमेन का माप 1 है, इसलिए पूरे कोडोमेन का माप 1 है। इसका मतलब है कि यादृच्छिक चर अनंत तक बनाए जा सकते हैं और वे हमेशा यादृच्छिक चर के रूप में रहेंगे और संभाव्यता उपायों के साथ कोडोमेन रिक्त स्थान प्रदान करेंगे।
एक सामान्यीकरण
सामान्य तौर पर, किसी भी मापने योग्य फलनको आगे धकेला जा सकता है, पुश-फॉरवर्ड तब एक रैखिक ऑपरेटर बन जाता है, जिसे ट्रांसफर ऑपरेटर या फ्रोबेनियस-पेरोन ऑपरेटर के रूप में जाना जाता है। परिमित स्थानों में यह ऑपरेटर आम तौर पर फ्रोबेनियस-पेरोन प्रमेय की आवश्यकताओं को पूरा करता है, और ऑपरेटर का अधिकतम आइगेनवेल्यू अपरिवर्तनीय माप से मेल खाता है।
पुश-फॉरवर्ड के निकट ठहराना है; मापने योग्य स्थानों पर कार्यों के रिक्त स्थान पर एक ऑपरेटर के रूप में, यह संरचना ऑपरेटर या व्यापारी संचालिका है।
यह भी देखें
टिप्पणियाँ
संदर्भ
- Bogachev, Vladimir I. (2007), Measure Theory, Berlin: Springer Verlag, ISBN 9783540345138
- Teschl, Gerald (2015), Topics in Real and Functional Analysis
