लिफ्टिंग थ्योरी: Difference between revisions

Revision as of 11:25, 20 July 2023

गणित में, लिफ्टिंग थ्योरी को पहली बार 1931 के एक अग्रणी पेपर में जॉन वॉन न्यूमैन द्वारा प्रस्तुत किया गया था, जिसमें उन्होंने अल्फ्रेड हार द्वारा उठाए गए प्रश्न का उत्तर दिया था।^[1] इस सिद्धांत को डोरोथी महरम (1958),^[2] एलेक्जेंड्रा बोलो और कैसियस इओनेस्कु-तुलसीया (1961) द्वारा आगे विकसित किया गया था।^[3] लिफ्टिंग सिद्धांत काफी हद तक इसके प्रभावशाली अनुप्रयोगों से प्रेरित था। 1969 तक इसके विकास का वर्णन इओनेस्कु तुलसीज़ के मोनोग्राफ में किया गया था।^[4] तब से लिफ्टिंग सिद्धांत का विकास जारी रहा, जिससे नए परिणाम और अनुप्रयोग प्राप्त हुए है।

परिभाषाएँ

माप रेखांतर पर लिफ्टिंग $(X,\Sigma ,\mu )$ एक रैखिक और गुणक संचालिका है

T:L^{\infty }(X,\Sigma ,\mu )\to {\mathcal {L}}^{\infty }(X,\Sigma ,\mu )

जो भागफल मानचित्र का दायाँ व्युत्क्रम फलन है

{\begin{cases}{\mathcal {L}}^{\infty }(X,\Sigma ,\mu )\to L^{\infty }(X,\Sigma ,\mu )\\f\mapsto [f]\end{cases}}

जहाँ

{\mathcal {L}}^{\infty }(X,\Sigma ,\mu )

सेमीनोर्म्ड L^p मापने योग्य फलन के रेखांतर है और

L^{\infty }(X,\Sigma ,\mu )

इसका सामान्य मानक भागफल है। दूसरे शब्दों में, एक लिफ्टिंग प्रत्येक समतुल्य वर्ग परिबद्ध मापन योग्य फलन

[f]

का मॉड्यूलो नगण्य फलन है - जो अब

T([f])

या

T[f]

या केवल

Tf

- इस तरह से कि

T[1]=1

और सभी के लिए

p\in X

और सभी

r,s\in \mathbb {R}

से लिखा गया है।

T(r[f]+s[g])(p)=rT[f](p)+sT[g](p),

T([f]\times [g])(p)=T[f](p)\times T[g](p).

लिफ्टिंग का उपयोग विघटन प्रमेय का उत्पादन करने के लिए किया जाता है, उदाहरण के लिए निरंतर यादृच्छिक चर दिए गए सशर्त संभाव्यता वितरण, और किसी फलन के स्तर सेट पर लेबेसेग माप के फ़िब्रेशन है।

लिफ्टिंग का अस्तित्व

प्रमेय मान लीजिए $(X,\Sigma ,\mu )$ पूर्ण है।^[5] तब $(X,\Sigma ,\mu )$ यदि और केवल तभी एक लिफ्टिंग को स्वीकार किया जाता है, जब परस्पर असंबद्ध अभिन्न सेटों का संग्रह $\Sigma$ उपस्थित हो जिसका सम्मिलन $X$ है। विशेषकर, यदि $(X,\Sigma ,\mu )$ σ-परिमिति का पूरा होना है^[6] माप या रेखांतरीय रूप से संक्षिप्त रेखांतर पर मापन $(X,\Sigma ,\mu )$ एक आंतरिक नियमित बोरल माप के पूरा होने के लिए है।

प्रमाण में एक लिफ्टिंग को बड़े उप-σ-बीजगणित तक लिफ्टिंग का विस्तार करने में सम्मिलित है, जो डोब के मार्टिंगल अभिसरण प्रमेय को लागू करता है यदि प्रक्रिया में एक गिनती योग्य श्रृंखला है।

बहुसंख्यक लिफ्टिंग

मान लीजिए $(X,\Sigma ,\mu )$ पूर्ण है और $X$ पूरी तरह से नियमित हॉसडॉर्फ़ टोपोलॉजी सहित है $\tau \subseteq \Sigma$ जैसे कि नगण्य विवृत सेटों के किसी भी संग्रह का संघ फिर से नगण्य है - यही स्थिति है $(X,\Sigma ,\mu )$ σ-परिमित है या रेडॉन माप से आता है। तब $\mu ,$ $\operatorname {Supp} (\mu )$ का आधार, इसे सबसे बड़े नगण्य विवृत उपसमुच्चय और संग्रह के पूरक के रूप में परिभाषित किया जा सकता है $C_{b}(X,\tau )$ परिबद्ध सतत फलन ${\mathcal {L}}^{\infty }(X,\Sigma ,\mu )$ का संबंध है। एक बहुसंख्यक लिफ्टिंग के लिए $(X,\Sigma ,\mu )$ एक लिफ्टिंग है।

T:L^{\infty }(X,\Sigma ,\mu )\to {\mathcal {L}}^{\infty }(X,\Sigma ,\mu )

ऐसे में

T\varphi =\varphi

पर

\operatorname {Supp} (\mu )

सभी के लिए

\varphi

में

C_{b}(X,\tau )

है। यह उसकी आवश्यकता के समान ही है^[7]

TU\geq (U\cap \operatorname {Supp} (\mu ))

सभी विवृत सेटों के लिए

U

में

\tau

है। प्रमेय यदि

(\Sigma ,\mu )

σ-परिमित और पूर्ण है

\tau

तो इसका एक गणनीय आधार

(X,\Sigma ,\mu )

है तो एक बहुसंख्यक लिफ्टिंग मान लेता है।

प्रमाण, मान लीजिए $T_{0}$ के लिए एक लिफ्टिंग $(X,\Sigma ,\mu )$ हो और $U_{1},U_{2},\ldots$ के लिए एक गणनीय आधार $\tau$ है। किसी भी बिंदु के लिए $p$ नगण्य सेट में है।

N:=\bigcup \nolimits _{n}\left\{p\in \operatorname {Supp} (\mu ):(T_{0}U_{n})(p)<U_{n}(p)\right\}

मान लीजिए

T_{p}

कोई भी अंक हो^[8] पर

L^{\infty }(X,\Sigma ,\mu )

जो अंक

\phi \mapsto \phi (p)

का

C_{b}(X,\tau )

का विस्तार करता है। क्योंकि फिर

p

में

X

और

[f]

में

L^{\infty }(X,\Sigma ,\mu )

परिभाषित करना:

(T[f])(p):={\begin{cases}(T_{0}[f])(p)&p\notin N\\T_{p}[f]&p\in N.\end{cases}}

T

वांछित बहुसंख्यक लिफ्टिंग है।

अनुप्रयोग: एक माप का विघटन

मान लीजिए $(X,\Sigma ,\mu )$ और $(Y,\Phi ,\nu )$ σ-परिमित माप रेखांतर हैं ( $\mu ,\mu$ धनात्मक) और $\pi :X\to Y$ एक मापने योग्य प्रतिचित्र का एक विघटन है। $\mu$ साथ में $\pi$ इसके संबंध में $\nu$ एक निहत है $Y\ni y\mapsto \lambda _{y}$ धनात्मक σ-योगात्मक माप पर $(\Sigma ,\mu )$ है ताकि

$\lambda _{y}$ फाइबर द्वारा ले जाया जाता है $\pi ^{-1}(\{y\})$ का $\pi$ ऊपर $y$ , अर्थात, $\{y\}\in \Phi$ और $\lambda _{y}\left((X\setminus \pi ^{-1}(\{y\})\right)=0$ लगभग सभी के लिए $y\in Y$ है।
हर एक के लिए $\mu$ -अभिन्न फलन $f$ है। $\int _{X}f(p)\;\mu (dp)=\int _{Y}\left(\int _{\pi ^{-1}(\{y\})}f(p)\,\lambda _{y}(dp)\right)\nu (dy)\qquad (*)$ इस अर्थ में, $\nu$ - के लिए $y$ में $Y,$ $f$ लगभग सभी $\lambda _{y}$ - का अभिन्न फलन है। $y\mapsto \int _{\pi ^{-1}(\{y\})}f(p)\,\lambda _{y}(dp)$ $\nu$ -अभिन्न, और प्रदर्शित समता $(*)$ स्थायी रखता है।

विघटन प्रमेय विभिन्न परिस्थितियों में उपस्थित है, प्रमाण अलग-अलग हैं लेकिन लगभग सभी मजबूत लिफ्टिंग का उपयोग करते हैं। यहाँ एक सामान्य परिणाम है। इसका संक्षिप्त विशिष्ट प्रमाण सामान्य देता है।

प्रमेय, मान लीजिए $X$ एक पोलिश रेखांतर है^[9] और $Y$ एक अलग करने योग्य हॉसडॉर्फ़ रेखांतर, दोनों अपने बोरेल σ-बीजगणित सहित हैं। मान लीजिए $\mu$ एक σ-परिमित बोरेल माप हो $X$ और $\pi :X\to Y$ a $\Sigma ,\Phi -$ मापने योग्य प्रतिचित्र, फिर एक σ-परिमित बोरेल माप उपस्थित है $\nu$ पर $Y$ और एक विघटन (*) है।

अगर $\mu$ परिमित है, $\nu$ आगे बढ़ने वाला माना जा सकता है^[10] $\pi _{*}\mu ,$ और फिर $\lambda _{y}$ सम्भावनाएँ हैं।

प्रमाण, पॉलिश प्रकृति के कारण $X$ के सघन उपसमुच्चय का एक क्रम है $X$ जो परस्पर विच्छेदित हैं, जिनके मिलन का पूरक नगण्य है और जिस पर $\pi$ सतत है। यह अवलोकन दोनों स्थितियों में समस्या को कम करता है $X$ और $Y$ कॉम्पैक्ट, $\pi$ निरंतर और $\nu =\pi _{*}\mu$ है। पूर्ण $\Phi$ अंतर्गत $\nu$ और एक मजबूत लिफ्टिंग $T$ के लिए $(Y,\Phi ,\nu )$ को निर्धारित करें। एक सीमा दी गई $\mu$ -मापने योग्य फलन $f,$ मान लीजिए $\lfloor f\rfloor$ इसके अंतर्गत सशर्त अपेक्षा को निरूपित करें $\pi ,$ अर्थात्, रैडॉन-निकोडिम प्रमेय|रेडॉन-निकोडिम व्युत्पन्न^[11] $\pi _{*}(f\mu )$ इसके संबंध में $\pi _{*}\mu .$ फिर प्रत्येक के लिए $y$ में $Y,$ $\lambda _{y}(f):=T(\lfloor f\rfloor )(y)$ सेट करें। यह दिखाने के लिए कि यह विघटन को परिभाषित करता है, बहीखाता पद्धति और एक उपयुक्त फ़ुबिनी प्रमेय की स्थिति है। यह देखने के लिए कि लिफ्टिंग की मजबूती कैसे प्रविष्ट करती है, उस पर ध्यान दें

\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 )

और सबसे अधिक धनात्मक के ऊपर ले लो

\varphi

में

C_{b}(Y)

साथ

\varphi (y)=1;

यह स्पष्ट हो जाता है कि प्रमाणित

\lambda _{y}

ऊपर फाइबर

y

में निहित है।

संदर्भ

↑ 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 $N\subseteq X$ is locally negligible if it intersects every integrable set in $\Sigma$ in a subset of a negligible set of $\Sigma .$ $(X,\Sigma ,\mu )$ is complete if every locally negligible set is negligible and belongs to $\Sigma .$
↑ i.e., there exists a countable collection of integrable sets – sets of finite measure in $\Sigma$ – that covers the underlying set $X.$
↑ $U,$ $\operatorname {Supp} (\mu )$ 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 $X$ is Suslin, that is, is the continuous Hausdorff image of a Polish space.
↑ The pushforward $\pi _{*}\mu$ of $\mu$ under $\pi ,$ also called the image of $\mu$ under $\pi$ and denoted $\pi (\mu ),$ is the measure $\nu$ on $\Phi$ defined by $\nu (A):=\mu \left(\pi ^{-1}(A)\right)$ for $A$ in $\Phi$ .
↑ $f\mu$ is the measure that has density $f$ with respect to $\mu$

[1] 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.

[2] Maharam, Dorothy (1958). "वॉन न्यूमैन के एक प्रमेय पर". Proceedings of the American Mathematical Society. 9 (6): 987–994. doi:10.2307/2033342. JSTOR 2033342. MR 0105479.

[3] 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.

[4] Ionescu Tulcea, Alexandra; Ionescu Tulcea, Cassius (1969). उठाने के सिद्धांत में विषय. Ergebnisse der Mathematik und ihrer Grenzgebiete. Vol. 48. New York: Springer-Verlag. MR 0276438. OCLC 851370324.

[5] A subset $N\subseteq X$ is locally negligible if it intersects every integrable set in $\Sigma$ in a subset of a negligible set of $\Sigma .$ $(X,\Sigma ,\mu )$ is complete if every locally negligible set is negligible and belongs to $\Sigma .$

[6] .e., there exists a countable collection of integrable sets – sets of finite measure in $\Sigma$ – that covers the underlying set $X.$

[7] $U,$ $\operatorname {Supp} (\mu )$ are identified with their indicator functions.

[character-8] A character on a unital algebra is a multiplicative linear functional with values in the coefficient field that maps the unit to 1.

[9] A separable space is Polish if its topology comes from a complete metric. In the present situation it would be sufficient to require that $X$ is Suslin, that is, is the continuous Hausdorff image of a Polish space.

[10] The pushforward $\pi _{*}\mu$ of $\mu$ under $\pi ,$ also called the image of $\mu$ under $\pi$ and denoted $\pi (\mu ),$ is the measure $\nu$ on $\Phi$ defined by $\nu (A):=\mu \left(\pi ^{-1}(A)\right)$ for $A$ in $\Phi$ .

[11] $f\mu$ is the measure that has density $f$ with respect to $\mu$

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ Line 1: / Line 1: @@
 {{Short description|Notion in measure theory}}
-गणित में, '''भारोत्तोलन (लिफ्टिंग) सिद्धांत''' को पहली बार 1931 के एक अग्रणी पेपर में [[जॉन वॉन न्यूमैन]] द्वारा प्रस्तुत किया गया था, जिसमें उन्होंने अल्फ्रेड हार द्वारा उठाए गए प्रश्न का उत्तर दिया था।<ref>
+गणित में, '''लिफ्टिंग थ्योरी''' को पहली बार 1931 के एक अग्रणी पेपर में [[जॉन वॉन न्यूमैन]] द्वारा प्रस्तुत किया गया था, जिसमें उन्होंने अल्फ्रेड हार द्वारा उठाए गए प्रश्न का उत्तर दिया था।<ref>
-{{Cite journal|year=1931|first=John|last=von Neumann|authorlink=John von Neumann|title=Algebraische Repräsentanten der Funktionen "bis auf eine Menge vom Maße Null"| url=http://www.degruyter.com/view/j/crll.1931.1931.issue-165/crll.1931.165.109/crll.1931.165.109.xml|journal=[[Crelle's Journal|Journal für die reine und angewandte Mathematik]]|language=de|volume=1931|issue=165|pages=109–115|doi=10.1515/crll.1931.165.109|mr=1581278}}</ref> इस सिद्धांत को [[डोरोथी महरम]] (1958),<ref>{{Cite journal|last=Maharam|first=Dorothy|authorlink=Dorothy Maharam|year=1958|title=वॉन न्यूमैन के एक प्रमेय पर|url=https://www.ams.org/jourcgi/jour-getitem?pii=S0002-9939-1958-0105479-6|journal=[[Proceedings of the American Mathematical Society]]|volume=9|issue=6|pages=987–994|doi=10.2307/2033342|jstor=2033342|mr=0105479|doi-access=free}}</ref> [[एलेक्जेंड्रा बोलो]] और [[कैसियस इओनेस्कु-तुलसीया]] (1961) द्वारा आगे विकसित किया गया था।<ref>{{Cite journal|last1= Ionescu Tulcea|first1=Alexandra|author1-link=Alexandra Bellow|last2=Ionescu Tulcea|first2=Cassius|author2-link=Cassius Ionescu-Tulcea|year=1961|title=संपत्ति उठाने पर. मैं।|journal=[[Journal of Mathematical Analysis and Applications]]|volume=3|issue=3|pages=537–546|doi=10.1016/0022-247X(61)90075-0|mr=0150256|doi-access=free}}</ref> भारोत्तोलन सिद्धांत काफी हद तक इसके प्रभावशाली अनुप्रयोगों से प्रेरित था। 1969 तक इसके विकास का वर्णन इओनेस्कु तुलसीज़ के मोनोग्राफ में किया गया था।<ref>{{cite book|last1= Ionescu Tulcea|first1=Alexandra|author1-link=Alexandra Bellow|last2=Ionescu Tulcea|first2=Cassius|author2-link=Cassius Ionescu-Tulcea|year=1969|title=उठाने के सिद्धांत में विषय|series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]]|volume=48|publisher=[[Springer Science+Business Media|Springer-Verlag]]|location= New York|oclc=851370324|mr=0276438}}</ref> तब से लिफ्टिंग सिद्धांत का विकास जारी रहा, जिससे नए परिणाम और अनुप्रयोग प्राप्त हुए है।
+{{Cite journal|year=1931|first=John|last=von Neumann|authorlink=John von Neumann|title=Algebraische Repräsentanten der Funktionen "bis auf eine Menge vom Maße Null"| url=http://www.degruyter.com/view/j/crll.1931.1931.issue-165/crll.1931.165.109/crll.1931.165.109.xml|journal=[[Crelle's Journal|Journal für die reine und angewandte Mathematik]]|language=de|volume=1931|issue=165|pages=109–115|doi=10.1515/crll.1931.165.109|mr=1581278}}</ref> इस सिद्धांत को [[डोरोथी महरम]] (1958),<ref>{{Cite journal|last=Maharam|first=Dorothy|authorlink=Dorothy Maharam|year=1958|title=वॉन न्यूमैन के एक प्रमेय पर|url=https://www.ams.org/jourcgi/jour-getitem?pii=S0002-9939-1958-0105479-6|journal=[[Proceedings of the American Mathematical Society]]|volume=9|issue=6|pages=987–994|doi=10.2307/2033342|jstor=2033342|mr=0105479|doi-access=free}}</ref> [[एलेक्जेंड्रा बोलो]] और [[कैसियस इओनेस्कु-तुलसीया]] (1961) द्वारा आगे विकसित किया गया था।<ref>{{Cite journal|last1= Ionescu Tulcea|first1=Alexandra|author1-link=Alexandra Bellow|last2=Ionescu Tulcea|first2=Cassius|author2-link=Cassius Ionescu-Tulcea|year=1961|title=संपत्ति उठाने पर. मैं।|journal=[[Journal of Mathematical Analysis and Applications]]|volume=3|issue=3|pages=537–546|doi=10.1016/0022-247X(61)90075-0|mr=0150256|doi-access=free}}</ref> लिफ्टिंग सिद्धांत काफी हद तक इसके प्रभावशाली अनुप्रयोगों से प्रेरित था। 1969 तक इसके विकास का वर्णन इओनेस्कु तुलसीज़ के मोनोग्राफ में किया गया था।<ref>{{cite book|last1= Ionescu Tulcea|first1=Alexandra|author1-link=Alexandra Bellow|last2=Ionescu Tulcea|first2=Cassius|author2-link=Cassius Ionescu-Tulcea|year=1969|title=उठाने के सिद्धांत में विषय|series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]]|volume=48|publisher=[[Springer Science+Business Media|Springer-Verlag]]|location= New York|oclc=851370324|mr=0276438}}</ref> तब से लिफ्टिंग सिद्धांत का विकास जारी रहा, जिससे नए परिणाम और अनुप्रयोग प्राप्त हुए है।
 ==परिभाषाएँ==
-माप रेखांतर पर भारोत्तोलन <math>(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>
 जो भागफल मानचित्र का दायाँ व्युत्क्रम फलन है
@@ Line 15: / Line 15: @@
 <math display=block>T(r[f]+s[g])(p) = rT[f](p) + sT[g](p),</math><math display=block>T([f]\times[g])(p) = T[f](p) \times T[g](p).</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 &ndash; sets of finite measure in <math>\Sigma</math> &ndash; that covers the underlying set <math>X.</math></ref> माप या रेखांतरीय रूप से संक्षिप्त रेखांतर पर मापन <math>(X, \Sigma, \mu)</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 &ndash; sets of finite measure in <math>\Sigma</math> &ndash; that covers the underlying set <math>X.</math></ref> माप या रेखांतरीय रूप से संक्षिप्त रेखांतर पर मापन <math>(X, \Sigma, \mu)</math> एक आंतरिक नियमित बोरल माप के पूरा होने के लिए है।
 प्रमाण में एक लिफ्टिंग को बड़े उप-σ-बीजगणित तक लिफ्टिंग का विस्तार करने में सम्मिलित है, जो डोब के मार्टिंगल अभिसरण प्रमेय को लागू करता है यदि प्रक्रिया में एक गिनती योग्य श्रृंखला है।
 ==बहुसंख्यक लिफ्टिंग==
@@ Line 32: / Line 26: @@
 प्रमेय यदि <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>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>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> परिभाषित करना:
@@ Line 56: / Line 50: @@
 <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> में निहित है।
 ==संदर्भ==
 {{reflist}}
-{{Measure theory}}
 [[Category: माप सिद्धांत]]

Anonymous

Search

लिफ्टिंग थ्योरी: Difference between revisions

Namespaces

More

Page actions

Revision as of 11:25, 20 July 2023

Contents

परिभाषाएँ

लिफ्टिंग का अस्तित्व

बहुसंख्यक लिफ्टिंग

अनुप्रयोग: एक माप का विघटन

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

लिफ्टिंग थ्योरी: Difference between revisions

Revision as of 11:25, 20 July 2023

परिभाषाएँ

लिफ्टिंग का अस्तित्व

बहुसंख्यक लिफ्टिंग

अनुप्रयोग: एक माप का विघटन

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories