लिफ्टिंग थ्योरी: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 20: | Line 20: | ||
==लिफ्टिंग का अस्तित्व== | ==लिफ्टिंग का अस्तित्व== | ||
प्रमेय मान लीजिए <math>(X, \Sigma, \mu)</math> पूर्ण है।<ref>A subset <math>N \subseteq X</math> is locally negligible if it intersects every integrable set in <math>\Sigma</math> in a subset of a negligible set of <math>\Sigma.</math> <math>(X, \Sigma, \mu)</math> is ''complete'' if every locally negligible set is negligible and belongs to <math>\Sigma.</math></ref> तब <math>(X, \Sigma, \mu)</math> यदि और केवल तभी एक लिफ्टिंग को स्वीकार किया जाता है, जब परस्पर असंबद्ध अभिन्न सेटों का संग्रह <math>\Sigma</math> उपस्थित हो जिसका सम्मिलन <math>X</math> है। | प्रमेय मान लीजिए <math>(X, \Sigma, \mu)</math> पूर्ण है।<ref>A subset <math>N \subseteq X</math> is locally negligible if it intersects every integrable set in <math>\Sigma</math> in a subset of a negligible set of <math>\Sigma.</math> <math>(X, \Sigma, \mu)</math> is ''complete'' if every locally negligible set is negligible and belongs to <math>\Sigma.</math></ref> तब <math>(X, \Sigma, \mu)</math> यदि और केवल तभी एक लिफ्टिंग को स्वीकार किया जाता है, जब परस्पर असंबद्ध अभिन्न सेटों का संग्रह <math>\Sigma</math> उपस्थित हो जिसका सम्मिलन <math>X</math> है। विशेषकर, यदि <math>(X, \Sigma, \mu)</math> σ-परिमिति का पूरा होना है<ref>i.e., there exists a countable collection of integrable sets – sets of finite measure in <math>\Sigma</math> – that covers the underlying set <math>X.</math></ref> माप या रेखांतरीय रूप से संक्षिप्त रेखांतर पर मापन <math>(X, \Sigma, \mu)</math> एक आंतरिक नियमित बोरल माप के पूरा होने के लिए है। | ||
विशेषकर, यदि <math>(X, \Sigma, \mu)</math> σ-परिमिति का पूरा होना है<ref>i.e., there exists a countable collection of integrable sets – sets of finite measure in <math>\Sigma</math> – that covers the underlying set <math>X.</math></ref> माप या रेखांतरीय रूप से संक्षिप्त रेखांतर पर मापन <math>(X, \Sigma, \mu)</math> एक आंतरिक नियमित बोरल माप के पूरा होने के लिए है। | |||
प्रमाण में एक लिफ्टिंग को बड़े उप-σ-बीजगणित तक लिफ्टिंग का विस्तार करने में सम्मिलित है, जो डोब के मार्टिंगल अभिसरण प्रमेय को लागू करता है यदि प्रक्रिया में एक गिनती योग्य श्रृंखला है। | प्रमाण में एक लिफ्टिंग को बड़े उप-σ-बीजगणित तक लिफ्टिंग का विस्तार करने में सम्मिलित है, जो डोब के मार्टिंगल अभिसरण प्रमेय को लागू करता है यदि प्रक्रिया में एक गिनती योग्य श्रृंखला है। | ||
| Line 29: | Line 28: | ||
==बहुसंख्यक लिफ्टिंग== | ==बहुसंख्यक लिफ्टिंग== | ||
मान लीजिए <math>(X, \Sigma, \mu)</math> पूर्ण है और <math>X</math> पूरी तरह से नियमित हॉसडॉर्फ़ टोपोलॉजी सहित है <math>\tau \subseteq \Sigma</math> जैसे कि नगण्य विवृत सेटों के किसी भी संग्रह का संघ फिर से नगण्य है - यही स्थिति है <math>(X, \Sigma, \mu)</math> σ-परिमित है या [[रेडॉन माप]] से आता है। तब <math>\mu,</math> <math>\operatorname{Supp}(\mu)</math> का आधार, इसे सबसे बड़े नगण्य विवृत उपसमुच्चय और संग्रह के पूरक के रूप में परिभाषित किया जा सकता है <math>C_b(X, \tau)</math> परिबद्ध सतत फलन <math> \mathcal L^\infty(X, \Sigma, \mu)</math> का संबंध है। एक बहुसंख्यक लिफ्टिंग के लिए <math>(X, \Sigma, \mu)</math> एक लिफ्टिंग है। | |||
के लिए | <math display=block>T : L^\infty(X, \Sigma, \mu) \to \mathcal{L}^\infty(X, \Sigma, \mu)</math> ऐसे में <math>T\varphi = \varphi</math> पर <math>\operatorname{Supp}(\mu)</math> सभी के लिए <math>\varphi</math> में <math>C_b(X, \tau)</math> है। यह उसकी आवश्यकता के समान ही है<ref><math>U,</math> <math>\operatorname{Supp}(\mu)</math> are identified with their indicator functions.</ref> <math>T U \geq (U \cap \operatorname{Supp}(\mu))</math> सभी विवृत सेटों के लिए <math>U</math> में <math>\tau</math> है। | ||
<math display=block>T : L^\infty(X, \Sigma, \mu) \to \mathcal{L}^\infty(X, \Sigma, \mu)</math> | प्रमेय यदि <math>(\Sigma, \mu)</math> σ-परिमित और पूर्ण है <math>\tau</math> तो इसका एक गणनीय आधार <math>(X, \Sigma, \mu)</math> है तो एक बहुसंख्यक लिफ्टिंग मान लेता है। | ||
प्रमाण, मान लीजिए <math>T_0</math> के लिए एक भारोत्तोलन <math>(X, \Sigma, \mu)</math> हो और <math>U_1, U_2, \ldots</math> के लिए एक गणनीय आधार <math>\tau</math> है। किसी भी बिंदु के लिए <math>p</math> नगण्य सेट में है। | |||
<math display=block>N := \bigcup\nolimits_n \left\{p \in \operatorname{Supp}(\mu) : (T_0U_n)(p) < U_n(p)\right\}</math> | <math display=block>N := \bigcup\nolimits_n \left\{p \in \operatorname{Supp}(\mu) : (T_0U_n)(p) < U_n(p)\right\}</math> | ||
मान लीजिए <math>T_p</math> कोई भी अंक हो<ref name=character>A ''character'' on a unital algebra is a multiplicative linear functional with values in the coefficient field that maps the unit to 1.</ref> पर <math>L^\infty(X, \Sigma, \mu)</math> जो अंक <math>\phi \mapsto \phi(p)</math> का <math>C_b(X, \tau)</math> का विस्तार करता है। क्योंकि फिर <math>p</math> में <math>X</math> और <math>[f]</math> में <math>L^\infty(X, \Sigma, \mu)</math> परिभाषित करना: | |||
<math display=block>(T[f])(p):= \begin{cases} (T_0[f])(p)& p\notin N\\ | <math display=block>(T[f])(p):= \begin{cases} (T_0[f])(p)& p\notin N\\ | ||
T_p[f]& p\in N. | T_p[f]& p\in N. | ||
\end{cases}</math> | \end{cases}</math> | ||
<math>T</math> वांछित | <math>T</math> वांछित बहुसंख्यक लिफ्टिंग है। | ||
== | ==अनुप्रयोग: एक माप का विघटन== | ||
मान लीजिए <math>(X, \Sigma, \mu)</math> और <math>(Y, \Phi, \nu)</math> σ-परिमित माप रेखांतर हैं (<math>\mu, \mu</math> धनात्मक) और <math>\pi : X \to Y</math> एक मापने योग्य प्रतिचित्र का एक विघटन है। <math>\mu</math> साथ में <math>\pi</math> इसके संबंध में <math>\nu</math>एक निहत है <math>Y \ni y \mapsto \lambda_y</math> धनात्मक σ-योगात्मक माप पर <math>(\Sigma, \mu)</math> है ताकि | |||
#<math>\lambda_y</math> फाइबर द्वारा ले जाया जाता है <math>\pi^{-1}(\{y\})</math> का <math>\pi</math> ऊपर <math>y</math>, अर्थात। <math> \{y\} \in \Phi </math> और <math> \lambda_y\left((X\setminus \pi^{-1}(\{y\})\right) = 0 </math> लगभग सभी के लिए <math> y \in Y </math> | #<math>\lambda_y</math> फाइबर द्वारा ले जाया जाता है <math>\pi^{-1}(\{y\})</math> का <math>\pi</math> ऊपर <math>y</math>, अर्थात। <math> \{y\} \in \Phi </math> और <math> \lambda_y\left((X\setminus \pi^{-1}(\{y\})\right) = 0 </math> लगभग सभी के लिए <math> y \in Y </math> | ||
# | #हर एक के लिए <math>\mu</math>-अभिन्न फलन <math>f,</math><math display=block>\int_X f(p)\;\mu(dp)= \int_Y \left(\int_{\pi^{-1}(\{y\})} f(p)\,\lambda_y(dp)\right) \nu(dy) \qquad (*)</math> इस अर्थ में कि, के लिए <math>\nu</math>-लगभग सभी <math>y</math> में <math>Y,</math> <math>f</math> है <math>\lambda_y</math>-अभिन्न, फलन <math display=block>y \mapsto \int_{\pi^{-1}(\{y\})} f(p)\,\lambda_y(dp) </math> है <math>\nu</math>-अभिन्न, और प्रदर्शित समानता <math>(*)</math> धारण करता है। | ||
विघटन प्रमेय विभिन्न परिस्थितियों में उपस्थित है, प्रमाण अलग-अलग हैं लेकिन लगभग सभी मजबूत लिफ्टिंग का उपयोग करते हैं। यहाँ एक सामान्य परिणाम | विघटन प्रमेय विभिन्न परिस्थितियों में उपस्थित है, प्रमाण अलग-अलग हैं लेकिन लगभग सभी मजबूत लिफ्टिंग का उपयोग करते हैं। यहाँ एक सामान्य परिणाम है। इसका संक्षिप्त विशिष्ट प्रमाण सामान्य देता है। | ||
प्रमेय, मान लीजिए <math>X</math> एक [[पोलिश स्थान|पोलिश रेखांतर]] है<ref>A separable space is ''Polish'' if its topology comes from a complete metric. In the present situation it would be sufficient to require that <math>X</math> is ''Suslin'', that is, is the continuous Hausdorff image of a Polish space.</ref> और <math>Y</math> एक अलग करने योग्य हॉसडॉर्फ़ रेखांतर, दोनों अपने बोरेल σ-बीजगणित सहित हैं। मान लीजिए <math>\mu</math> एक σ-परिमित बोरेल माप हो <math>X</math> और <math>\pi : X \to Y</math> a <math>\Sigma, \Phi-</math>मापने योग्य प्रतिचित्र, फिर एक σ-परिमित बोरेल माप उपस्थित है <math>\nu</math> पर <math>Y</math> और एक विघटन (*) है। | |||
अगर <math>\mu</math> परिमित है, <math>\nu</math> आगे बढ़ने वाला माना जा सकता है<ref>The ''pushforward'' <math>\pi_* \mu</math> of <math>\mu</math> under <math>\pi,</math> also called the image of <math>\mu</math> under <math>\pi</math> and denoted <math>\pi(\mu),</math> is the measure <math>\nu</math> on <math>\Phi</math> defined by <math>\nu(A) := \mu\left(\pi^{-1}(A)\right)</math> for <math>A</math> in <math>\Phi</math>.</ref> <math>\pi_* \mu,</math> और फिर <math>\lambda_y</math> सम्भावनाएँ | अगर <math>\mu</math> परिमित है, <math>\nu</math> आगे बढ़ने वाला माना जा सकता है<ref>The ''pushforward'' <math>\pi_* \mu</math> of <math>\mu</math> under <math>\pi,</math> also called the image of <math>\mu</math> under <math>\pi</math> and denoted <math>\pi(\mu),</math> is the measure <math>\nu</math> on <math>\Phi</math> defined by <math>\nu(A) := \mu\left(\pi^{-1}(A)\right)</math> for <math>A</math> in <math>\Phi</math>.</ref> <math>\pi_* \mu,</math> और फिर <math>\lambda_y</math> सम्भावनाएँ हैं। | ||
प्रमाण, पॉलिश प्रकृति के कारण <math>X</math> के सघन उपसमुच्चय का एक क्रम है <math>X</math> जो परस्पर विच्छेदित हैं, जिनके मिलन का पूरक नगण्य है और जिस पर <math>\pi</math> सतत है। यह अवलोकन दोनों स्थितियों में समस्या को कम करता है <math>X</math> और <math>Y</math> कॉम्पैक्ट, <math>\pi</math> निरंतर और <math>\nu = \pi_* \mu</math> है। पूर्ण <math>\Phi</math> अंतर्गत <math>\nu</math> और एक मजबूत लिफ्टिंग <math>T</math> के लिए <math>(Y, \Phi, \nu)</math> को निर्धारित करें। एक सीमा दी गई <math>\mu</math>-मापने योग्य फलन <math>f,</math> मान लीजिए <small><math>\lfloor f\rfloor</math></small> इसके अंतर्गत सशर्त अपेक्षा को निरूपित करें <math>\pi,</math> अर्थात्, रैडॉन-निकोडिम प्रमेय|रेडॉन-निकोडिम व्युत्पन्न<ref><math>f \mu</math> is the measure that has density <math>f</math> with respect to <math>\mu</math></ref> <math>\pi_*(f \mu)</math> इसके संबंध में <math>\pi_* \mu.</math> फिर प्रत्येक के लिए सेट करें <math>y</math> में <math>Y,</math> <math>\lambda_y(f) := T(\lfloor f\rfloor)(y).</math> यह दिखाने के लिए कि यह विघटन को परिभाषित करता है, बहीखाता पद्धति और एक उपयुक्त फ़ुबिनी प्रमेय का मामला है। यह देखने के लिए कि उठाने की ताकत कैसे प्रवेश करती है, उस पर ध्यान दें | |||
<math display=block>\lambda_y(f \cdot \varphi \circ \pi) = \varphi(y) \lambda_y(f) \qquad \forall y\in Y, \varphi \in C_b(Y), f \in L^\infty(X, \Sigma, \mu)</math> | <math display=block>\lambda_y(f \cdot \varphi \circ \pi) = \varphi(y) \lambda_y(f) \qquad \forall y\in Y, \varphi \in C_b(Y), f \in L^\infty(X, \Sigma, \mu)</math> | ||
और अनंत को सर्व | और अनंत को सर्व धनात्मक के ऊपर ले लो <math>\varphi</math> में <math>C_b(Y)</math> साथ <math>\varphi(y) = 1;</math> यह स्पष्ट हो जाता है कि का समर्थन <math>\lambda_y</math> ऊपर फाइबर में निहित है <math>y.</math> | ||
Revision as of 13:27, 18 July 2023
गणित में, भारोत्तोलन (लिफ्टिंग) सिद्धांत को पहली बार 1931 के एक अग्रणी पेपर में जॉन वॉन न्यूमैन द्वारा प्रस्तुत किया गया था, जिसमें उन्होंने अल्फ्रेड हार द्वारा उठाए गए प्रश्न का उत्तर दिया था।[1] इस सिद्धांत को डोरोथी महरम (1958),[2] एलेक्जेंड्रा बोलो और कैसियस इओनेस्कु-तुलसीया (1961) द्वारा आगे विकसित किया गया था।[3] भारोत्तोलन सिद्धांत काफी हद तक इसके प्रभावशाली अनुप्रयोगों से प्रेरित था। 1969 तक इसके विकास का वर्णन इओनेस्कु तुलसीज़ के मोनोग्राफ में किया गया था।[4] तब से लिफ्टिंग सिद्धांत का विकास जारी रहा, जिससे नए परिणाम और अनुप्रयोग प्राप्त हुए है।
परिभाषाएँ
माप रेखांतर पर भारोत्तोलन एक रैखिक और गुणक संचालिका है
जो भागफल मानचित्र का दायाँ व्युत्क्रम फलन है
जहाँ सेमीनोर्म्ड Lp मापने योग्य फलन के रेखांतर है और इसका सामान्य मानक भागफल है। दूसरे शब्दों में, एक लिफ्टिंग प्रत्येक समतुल्य वर्ग परिबद्ध मापन योग्य फलन का मॉड्यूलो नगण्य फलन है - जो अब या या केवल - इस तरह से कि और सभी के लिए और सभी से लिखा गया है।
लिफ्टिंग का उपयोग विघटन प्रमेय का उत्पादन करने के लिए किया जाता है, उदाहरण के लिए निरंतर यादृच्छिक चर दिए गए सशर्त संभाव्यता वितरण, और किसी फलन के स्तर सेट पर लेबेसेग माप के फ़िब्रेशन है।
लिफ्टिंग का अस्तित्व
प्रमेय मान लीजिए पूर्ण है।[5] तब यदि और केवल तभी एक लिफ्टिंग को स्वीकार किया जाता है, जब परस्पर असंबद्ध अभिन्न सेटों का संग्रह उपस्थित हो जिसका सम्मिलन है। विशेषकर, यदि σ-परिमिति का पूरा होना है[6] माप या रेखांतरीय रूप से संक्षिप्त रेखांतर पर मापन एक आंतरिक नियमित बोरल माप के पूरा होने के लिए है।
प्रमाण में एक लिफ्टिंग को बड़े उप-σ-बीजगणित तक लिफ्टिंग का विस्तार करने में सम्मिलित है, जो डोब के मार्टिंगल अभिसरण प्रमेय को लागू करता है यदि प्रक्रिया में एक गिनती योग्य श्रृंखला है।
बहुसंख्यक लिफ्टिंग
मान लीजिए पूर्ण है और पूरी तरह से नियमित हॉसडॉर्फ़ टोपोलॉजी सहित है जैसे कि नगण्य विवृत सेटों के किसी भी संग्रह का संघ फिर से नगण्य है - यही स्थिति है σ-परिमित है या रेडॉन माप से आता है। तब का आधार, इसे सबसे बड़े नगण्य विवृत उपसमुच्चय और संग्रह के पूरक के रूप में परिभाषित किया जा सकता है परिबद्ध सतत फलन का संबंध है। एक बहुसंख्यक लिफ्टिंग के लिए एक लिफ्टिंग है।
ऐसे में पर सभी के लिए में है। यह उसकी आवश्यकता के समान ही है[7] सभी विवृत सेटों के लिए में है।
प्रमेय यदि σ-परिमित और पूर्ण है तो इसका एक गणनीय आधार है तो एक बहुसंख्यक लिफ्टिंग मान लेता है।
प्रमाण, मान लीजिए के लिए एक भारोत्तोलन हो और के लिए एक गणनीय आधार है। किसी भी बिंदु के लिए नगण्य सेट में है।
मान लीजिए कोई भी अंक हो[8] पर जो अंक का का विस्तार करता है। क्योंकि फिर में और में परिभाषित करना:
वांछित बहुसंख्यक लिफ्टिंग है।
अनुप्रयोग: एक माप का विघटन
मान लीजिए और σ-परिमित माप रेखांतर हैं ( धनात्मक) और एक मापने योग्य प्रतिचित्र का एक विघटन है। साथ में इसके संबंध में एक निहत है धनात्मक σ-योगात्मक माप पर है ताकि
- फाइबर द्वारा ले जाया जाता है का ऊपर , अर्थात। और लगभग सभी के लिए
- हर एक के लिए -अभिन्न फलन इस अर्थ में कि, के लिए -लगभग सभी में है -अभिन्न, फलनहै -अभिन्न, और प्रदर्शित समानता धारण करता है।
विघटन प्रमेय विभिन्न परिस्थितियों में उपस्थित है, प्रमाण अलग-अलग हैं लेकिन लगभग सभी मजबूत लिफ्टिंग का उपयोग करते हैं। यहाँ एक सामान्य परिणाम है। इसका संक्षिप्त विशिष्ट प्रमाण सामान्य देता है।
प्रमेय, मान लीजिए एक पोलिश रेखांतर है[9] और एक अलग करने योग्य हॉसडॉर्फ़ रेखांतर, दोनों अपने बोरेल σ-बीजगणित सहित हैं। मान लीजिए एक σ-परिमित बोरेल माप हो और a मापने योग्य प्रतिचित्र, फिर एक σ-परिमित बोरेल माप उपस्थित है पर और एक विघटन (*) है।
अगर परिमित है, आगे बढ़ने वाला माना जा सकता है[10] और फिर सम्भावनाएँ हैं।
प्रमाण, पॉलिश प्रकृति के कारण के सघन उपसमुच्चय का एक क्रम है जो परस्पर विच्छेदित हैं, जिनके मिलन का पूरक नगण्य है और जिस पर सतत है। यह अवलोकन दोनों स्थितियों में समस्या को कम करता है और कॉम्पैक्ट, निरंतर और है। पूर्ण अंतर्गत और एक मजबूत लिफ्टिंग के लिए को निर्धारित करें। एक सीमा दी गई -मापने योग्य फलन मान लीजिए इसके अंतर्गत सशर्त अपेक्षा को निरूपित करें अर्थात्, रैडॉन-निकोडिम प्रमेय|रेडॉन-निकोडिम व्युत्पन्न[11] इसके संबंध में फिर प्रत्येक के लिए सेट करें में यह दिखाने के लिए कि यह विघटन को परिभाषित करता है, बहीखाता पद्धति और एक उपयुक्त फ़ुबिनी प्रमेय का मामला है। यह देखने के लिए कि उठाने की ताकत कैसे प्रवेश करती है, उस पर ध्यान दें
और अनंत को सर्व धनात्मक के ऊपर ले लो में साथ यह स्पष्ट हो जाता है कि का समर्थन ऊपर फाइबर में निहित है
संदर्भ
- ↑ von Neumann, John (1931). "Algebraische Repräsentanten der Funktionen "bis auf eine Menge vom Maße Null"". Journal für die reine und angewandte Mathematik (in Deutsch). 1931 (165): 109–115. doi:10.1515/crll.1931.165.109. MR 1581278.
- ↑ Maharam, Dorothy (1958). "वॉन न्यूमैन के एक प्रमेय पर". Proceedings of the American Mathematical Society. 9 (6): 987–994. doi:10.2307/2033342. JSTOR 2033342. MR 0105479.
- ↑ Ionescu Tulcea, Alexandra; Ionescu Tulcea, Cassius (1961). "संपत्ति उठाने पर. मैं।". Journal of Mathematical Analysis and Applications. 3 (3): 537–546. doi:10.1016/0022-247X(61)90075-0. MR 0150256.
- ↑ Ionescu Tulcea, Alexandra; Ionescu Tulcea, Cassius (1969). उठाने के सिद्धांत में विषय. Ergebnisse der Mathematik und ihrer Grenzgebiete. Vol. 48. New York: Springer-Verlag. MR 0276438. OCLC 851370324.
- ↑ A subset is locally negligible if it intersects every integrable set in in a subset of a negligible set of is complete if every locally negligible set is negligible and belongs to
- ↑ i.e., there exists a countable collection of integrable sets – sets of finite measure in – that covers the underlying set
- ↑ are identified with their indicator functions.
- ↑ A character on a unital algebra is a multiplicative linear functional with values in the coefficient field that maps the unit to 1.
- ↑ A separable space is Polish if its topology comes from a complete metric. In the present situation it would be sufficient to require that is Suslin, that is, is the continuous Hausdorff image of a Polish space.
- ↑ The pushforward of under also called the image of under and denoted is the measure on defined by for in .
- ↑ is the measure that has density with respect to
