बा स्पेस: Difference between revisions
(Created page with "{{Short description|Class of Banach spaces}} {{lowercase|ba space}} {{Use shortened footnotes|date=May 2021}} गणित में, बा स्पेस <math>ba(\Sigma)</...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Class of Banach spaces}} | {{Short description|Class of Banach spaces}} | ||
{{lowercase|ba space}} | {{lowercase|ba space}} | ||
गणित में, '''बा समष्टि''' <math>ba(\Sigma)</math> सम्मुच्चय के एक क्षेत्र का <math>\Sigma</math> बानाच स्थान है जिसमें सभी बंधे हुए माप और अंतिम रूप से योगात्मक हस्ताक्षरित माप <math>\Sigma</math> सम्मिलित हैं। मानक को माप भिन्नता, अर्थात <math>\|\nu\|=|\nu|(X)</math> के रूप में परिभाषित किया गया है। {{sfn|Dunford|Schwartz|1958|loc=IV.2.15}} | |||
गणित में, बा | |||
यदि Σ एक [[सिग्मा-बीजगणित]] है, तो स्थान <math>ca(\Sigma)</math> के उपसमुच्चय | यदि Σ एक [[सिग्मा-बीजगणित]] है, तो स्थान <math>ca(\Sigma)</math> के उपसमुच्चय [[ सिग्मा-योजक |सिग्मा-योजक]] से मिलकर <math>ba(\Sigma)</math> के रूप में परिभाषित किया गया है। {{sfn|Dunford|Schwartz|1958|loc=IV.2.16}} संकेतन बा बंधित योगज के लिए एक स्मरक है और सीए गणनीय योगज के लिए छोटा है। | ||
यदि X एक [[टोपोलॉजिकल स्पेस]] है, और Σ X में [[बोरेल सेट]] का सिग्मा-बीजगणित है, तो <math>rca(X)</math> का उपस्थान | यदि X एक [[टोपोलॉजिकल स्पेस|सांस्थितिक समष्टि]] है, और Σ X में [[बोरेल सेट|बोरेल सम्मुच्चय]] का सिग्मा-बीजगणित है, तो <math>rca(X)</math> का उपस्थान <math>ca(\Sigma)</math> X पर सभी [[नियमित माप]] [[बोरेल माप]] सम्मिलित है। {{sfn|Dunford|Schwartz|1958|loc=IV.2.17}} | ||
== गुण == | == गुण == | ||
कुल भिन्नता द्वारा परिभाषित समान मानदंड के संबंध में सभी तीन स्थान पूर्ण हैं (वे बानाच स्थान हैं), और इस प्रकार <math>ca(\Sigma)</math> का एक बंद उपसमुच्चय | कुल भिन्नता द्वारा परिभाषित समान मानदंड के संबंध में सभी तीन स्थान पूर्ण हैं (वे बानाच स्थान हैं), और इस प्रकार <math>ca(\Sigma)</math> का एक बंद उपसमुच्चय <math>ba(\Sigma)</math>, और <math>rca(X)</math> का एक बंद सम्मुच्चय <math>ca(\Sigma)</math> Σ के लिए बोरेल का बीजगणित X पर सम्मुच्चय होता है। [[सरल कार्य]]ों का स्थान <math>\Sigma</math> [[सघन सेट|सघन सम्मुच्चय]] <math>ba(\Sigma)</math> है। | ||
[[प्राकृतिक संख्या]]ओं के घात समुच्चय का बा स्थान, | [[प्राकृतिक संख्या]]ओं के घात समुच्चय का बा स्थान, ''ba''(2<sup>'''N'''</sup>), को प्रायः <math>ba</math> सरलता से दर्शाया जाता है और एलपी समष्टि के दोहरे स्थान के लिए ℓ<sup>∞</sup>स्थान [[समरूपी]] है। | ||
=== B(Σ) का | === B(Σ) का द्वैध === | ||
मान लीजिए कि B(Σ) परिबद्ध Σ-मापने योग्य कार्यों का स्थान है, जो समान मानदंड से सुसज्जित है। फिर ba(Σ) = B(Σ)* B(Σ) का सतत | मान लीजिए कि B(Σ) परिबद्ध Σ-मापने योग्य कार्यों का स्थान है, जो समान मानदंड से सुसज्जित है। फिर ba(Σ) = B(Σ)* B(Σ) का सतत द्वैध स्थान है। यह हिल्डेब्रांट और फिचटेनहोल्ट्ज़ और कांटोरोविच के कारण है। {{r|Hildebrandt1934}}{{r|FichtenholtzKantorovich1934}} यह एक प्रकार का रीज़ प्रतिनिधित्व प्रमेय है जो मापने योग्य कार्यों पर एक माप को रैखिक कार्यात्मक के रूप में प्रस्तुत करने की अनुमति देता है। विशेष रूप से, यह समरूपता किसी को एक सीमित योगात्मक माप के संबंध में [[अभिन्न]] को परिभाषित करने की अनुमति देती है (ध्यान दें कि सामान्य लेबेसेग अभिन्न को गणनीय योगात्मकता की आवश्यकता होती है)। यह डनफोर्ड और श्वार्ट्ज के कारण है, {{sfn|Dunford|Schwartz|1958}} और इसका उपयोग प्रायः सदिश उपायों के संबंध में अभिन्न को परिभाषित करने के लिए किया जाता है, {{r|DiestelUhl1977_ChptI}} और विशेष रूप से सदिश-मूल्यवान [[रेडॉन माप]] है। | ||
सांस्थितिक द्वंद्व ba(Σ) = B(Σ)* देखना आसान है। Σ पर सभी परिमित योगात्मक मापों के सदिश समष्टि और सरल कार्यों के सदिश समष्टि के बीच एक स्पष्ट बीजगणितीय द्वंद्व <math>\mu(A)=\zeta\left(1_A\right)</math> है। यह जांचना आसान है कि यदि σ परिबद्ध है तो σ द्वारा प्रेरित रैखिक रूप सुपर-मानदंड में निरंतर है, और परिणाम इस प्रकार है क्योंकि सरल कार्यों के घने उप-स्थान पर एक रैखिक रूप B(Σ)* के एक तत्व तक विस्तारित होता है यदि यह सुपर-मानदंड में निरंतर है। | |||
=== L का | === L का द्वैध<sup>∞</sup>(μ) === | ||
यदि Σ एक सिग्मा-बीजगणित है और μ Σ पर एक सिग्मा-योज्य सकारात्मक माप है तो [[एलपी स्पेस]] | यदि Σ एक सिग्मा-बीजगणित है और μ Σ पर एक सिग्मा-योज्य सकारात्मक माप है तो [[एलपी स्पेस|एलपी समष्टि]] ''L''<sup>∞</sup>(''μ'') आवश्यक सर्वोच्च मानदंड से संपन्न है, परिभाषा के अनुसार परिबद्ध μ-शून्य कार्यों के बंद उपस्थान द्वारा B(Σ) का [[भागफल स्थान (टोपोलॉजी)|अनुपात स्थान (सांस्थिति)]] है: | ||
:<math>N_\mu:=\{f\in B(\Sigma) : f = 0 \ \mu\text{- | :<math>N_\mu:=\{f\in B(\Sigma) : f = 0 \ \mu\text{-लगभग हर जगह} \}.</math> | ||
दोहरी बानाच | दोहरी बानाच समष्टि ''L''<sup>∞</sup>(''μ'')* इस प्रकार समरूपी है | ||
:<math>N_\mu^\perp=\{\sigma\in ba(\Sigma) : \mu(A)=0\Rightarrow \sigma(A)= 0 \text{ for any }A\in\Sigma\},</math> | :<math>N_\mu^\perp=\{\sigma\in ba(\Sigma) : \mu(A)=0\Rightarrow \sigma(A)= 0 \text{ for any }A\in\Sigma\},</math> | ||
यानी Σ पर अंतिम रूप से योगात्मक हस्ताक्षरित मापों का स्थान जो μ (संक्षेप में μ-a.c.) के संबंध में [[बिल्कुल निरंतर]] हैं। | यानी Σ पर अंतिम रूप से योगात्मक हस्ताक्षरित मापों का स्थान जो μ (संक्षेप में μ-a.c.) के संबंध में [[बिल्कुल निरंतर]] हैं। | ||
जब माप स्थान इसके | जब माप स्थान इसके अतिरिक्त [[सिग्मा-परिमित]] होता है तो ''L''<sup>∞</sup>(''μ'') बदले में ''L''<sup>1</sup>(''μ'') द्वैध है, जिसे रैडॉन-निकोडिम प्रमेय द्वारा सभी गणनीय योगात्मक μ-a.c के सम्मुच्चय के साथ पहचाना जाता है। | ||
दूसरे शब्दों में, | |||
दूसरे शब्दों में, बाईड्यूल में समावेशन | |||
:<math>L^1(\mu)\subset L^1(\mu)^{**}=L^{\infty}(\mu)^*</math> | :<math>L^1(\mu)\subset L^1(\mu)^{**}=L^{\infty}(\mu)^*</math> | ||
गणनीय रूप से योगात्मक μ-a.c के स्थान को | गणनीय रूप से योगात्मक μ-a.c के स्थान को सम्मिलित करने के लिए समरूपी है। सभी सूक्ष्म रूप से योगात्मक μ-a.c सीमित उपाय के स्थान के अंदर बंधे हुए माप हैं। | ||
== संदर्भ == | == संदर्भ == | ||
* {{cite book |last1=Dunford |first1=N. |last2=Schwartz |first2=J.T. |date=1958 |title= | * {{cite book |last1=Dunford |first1=N. |last2=Schwartz |first2=J.T. |date=1958 |title=रैखिक संचालक, भाग I |publisher=विले-इंटरसाइंस | ||
}} | }} | ||
Revision as of 00:11, 10 July 2023
गणित में, बा समष्टि सम्मुच्चय के एक क्षेत्र का बानाच स्थान है जिसमें सभी बंधे हुए माप और अंतिम रूप से योगात्मक हस्ताक्षरित माप सम्मिलित हैं। मानक को माप भिन्नता, अर्थात के रूप में परिभाषित किया गया है। [1]
यदि Σ एक सिग्मा-बीजगणित है, तो स्थान के उपसमुच्चय सिग्मा-योजक से मिलकर के रूप में परिभाषित किया गया है। [2] संकेतन बा बंधित योगज के लिए एक स्मरक है और सीए गणनीय योगज के लिए छोटा है।
यदि X एक सांस्थितिक समष्टि है, और Σ X में बोरेल सम्मुच्चय का सिग्मा-बीजगणित है, तो का उपस्थान X पर सभी नियमित माप बोरेल माप सम्मिलित है। [3]
गुण
कुल भिन्नता द्वारा परिभाषित समान मानदंड के संबंध में सभी तीन स्थान पूर्ण हैं (वे बानाच स्थान हैं), और इस प्रकार का एक बंद उपसमुच्चय , और का एक बंद सम्मुच्चय Σ के लिए बोरेल का बीजगणित X पर सम्मुच्चय होता है। सरल कार्यों का स्थान सघन सम्मुच्चय है।
प्राकृतिक संख्याओं के घात समुच्चय का बा स्थान, ba(2N), को प्रायः सरलता से दर्शाया जाता है और एलपी समष्टि के दोहरे स्थान के लिए ℓ∞स्थान समरूपी है।
B(Σ) का द्वैध
मान लीजिए कि B(Σ) परिबद्ध Σ-मापने योग्य कार्यों का स्थान है, जो समान मानदंड से सुसज्जित है। फिर ba(Σ) = B(Σ)* B(Σ) का सतत द्वैध स्थान है। यह हिल्डेब्रांट और फिचटेनहोल्ट्ज़ और कांटोरोविच के कारण है। [4][5] यह एक प्रकार का रीज़ प्रतिनिधित्व प्रमेय है जो मापने योग्य कार्यों पर एक माप को रैखिक कार्यात्मक के रूप में प्रस्तुत करने की अनुमति देता है। विशेष रूप से, यह समरूपता किसी को एक सीमित योगात्मक माप के संबंध में अभिन्न को परिभाषित करने की अनुमति देती है (ध्यान दें कि सामान्य लेबेसेग अभिन्न को गणनीय योगात्मकता की आवश्यकता होती है)। यह डनफोर्ड और श्वार्ट्ज के कारण है, [6] और इसका उपयोग प्रायः सदिश उपायों के संबंध में अभिन्न को परिभाषित करने के लिए किया जाता है, [7] और विशेष रूप से सदिश-मूल्यवान रेडॉन माप है।
सांस्थितिक द्वंद्व ba(Σ) = B(Σ)* देखना आसान है। Σ पर सभी परिमित योगात्मक मापों के सदिश समष्टि और सरल कार्यों के सदिश समष्टि के बीच एक स्पष्ट बीजगणितीय द्वंद्व है। यह जांचना आसान है कि यदि σ परिबद्ध है तो σ द्वारा प्रेरित रैखिक रूप सुपर-मानदंड में निरंतर है, और परिणाम इस प्रकार है क्योंकि सरल कार्यों के घने उप-स्थान पर एक रैखिक रूप B(Σ)* के एक तत्व तक विस्तारित होता है यदि यह सुपर-मानदंड में निरंतर है।
L का द्वैध∞(μ)
यदि Σ एक सिग्मा-बीजगणित है और μ Σ पर एक सिग्मा-योज्य सकारात्मक माप है तो एलपी समष्टि L∞(μ) आवश्यक सर्वोच्च मानदंड से संपन्न है, परिभाषा के अनुसार परिबद्ध μ-शून्य कार्यों के बंद उपस्थान द्वारा B(Σ) का अनुपात स्थान (सांस्थिति) है:
दोहरी बानाच समष्टि L∞(μ)* इस प्रकार समरूपी है
यानी Σ पर अंतिम रूप से योगात्मक हस्ताक्षरित मापों का स्थान जो μ (संक्षेप में μ-a.c.) के संबंध में बिल्कुल निरंतर हैं।
जब माप स्थान इसके अतिरिक्त सिग्मा-परिमित होता है तो L∞(μ) बदले में L1(μ) द्वैध है, जिसे रैडॉन-निकोडिम प्रमेय द्वारा सभी गणनीय योगात्मक μ-a.c के सम्मुच्चय के साथ पहचाना जाता है।
दूसरे शब्दों में, बाईड्यूल में समावेशन
गणनीय रूप से योगात्मक μ-a.c के स्थान को सम्मिलित करने के लिए समरूपी है। सभी सूक्ष्म रूप से योगात्मक μ-a.c सीमित उपाय के स्थान के अंदर बंधे हुए माप हैं।
संदर्भ
- Dunford, N.; Schwartz, J.T. (1958). रैखिक संचालक, भाग I. विले-इंटरसाइंस.
- ↑ Dunford & Schwartz 1958, IV.2.15.
- ↑ Dunford & Schwartz 1958, IV.2.16.
- ↑ Dunford & Schwartz 1958, IV.2.17.
- ↑ Hildebrandt, T.H. (1934). "On bounded functional operations". Transactions of the American Mathematical Society. 36 (4): 868–875. doi:10.2307/1989829. JSTOR 1989829.
- ↑ Fichtenholz, G.; Kantorovich, L.V. (1934). "Sur les opérations linéaires dans l'espace des fonctions bornées". Studia Mathematica. 5: 69–98. doi:10.4064/sm-5-1-69-98.
- ↑ Dunford & Schwartz 1958.
- ↑ Diestel, J.; Uhl, J.J. (1977). Vector measures. Mathematical Surveys. Vol. 15. American Mathematical Society. Chapter I.
अग्रिम पठन
- Diestel, Joseph (1984). Sequences and series in Banach spaces. Springer-Verlag. ISBN 0-387-90859-5. OCLC 9556781.
- Yosida, K.; Hewitt, E. (1952). "Finitely additive measures". Transactions of the American Mathematical Society. 72 (1): 46–66. doi:10.2307/1990654. JSTOR 1990654.
- Kantorovitch, Leonid V.; Akilov, Gleb P. (1982). Functional Analysis. Pergamon. doi:10.1016/C2013-0-03044-7. ISBN 978-0-08-023036-8.
