बा स्पेस

गणित में, बा स्पेस $$ba(\Sigma)$$ सेट के एक क्षेत्र का $$\Sigma$$ बानाच स्थान है जिसमें सभी बंधे हुए माप और अंतिम रूप से योगात्मक हस्ताक्षरित माप शामिल हैं $$\Sigma$$. मानक को माप भिन्नता के रूप में परिभाषित किया गया है, अर्थात $$\|\nu\|=|\nu|(X).$$

यदि Σ एक सिग्मा-बीजगणित है, तो स्थान $$ca(\Sigma)$$ के उपसमुच्चय के रूप में परिभाषित किया गया है $$ba(\Sigma)$$ सिग्मा-योजक  से मिलकर। संकेतन बा बाउंडेड एडिटिव के लिए एक स्मरक है और सीए काउंटेडली एडिटिव के लिए छोटा है।

यदि X एक टोपोलॉजिकल स्पेस है, और Σ X में बोरेल सेट का सिग्मा-बीजगणित है, तो $$rca(X)$$ का उपस्थान है $$ca(\Sigma)$$ एक्स पर सभी नियमित माप बोरेल माप शामिल हैं।

गुण
कुल भिन्नता द्वारा परिभाषित समान मानदंड के संबंध में सभी तीन स्थान पूर्ण हैं (वे बानाच स्थान हैं), और इस प्रकार $$ca(\Sigma)$$ का एक बंद उपसमुच्चय है $$ba(\Sigma)$$, और $$rca(X)$$ का एक बंद सेट है $$ca(\Sigma)$$ Σ के लिए बोरेल का बीजगणित X पर सेट होता है। सरल कार्यों का स्थान $$\Sigma$$ सघन सेट है $$ba(\Sigma)$$.

प्राकृतिक संख्याओं के घात समुच्चय का बा स्थान, बा(2)।एन), को अक्सर सरलता से दर्शाया जाता है $$ba$$ और एलपी स्पेस के दोहरे स्थान के लिए समरूपी है|ℓ∞स्थान.

B(Σ) का दोहरा
मान लीजिए कि B(Σ) परिबद्ध Σ-मापने योग्य कार्यों का स्थान है, जो समान मानदंड से सुसज्जित है। फिर ba(Σ) = B(Σ)* B(Σ) का सतत दोहरा स्थान है। यह हिल्डेब्रांट के कारण है और फिचटेनहोल्ट्ज़ और कांटोरोविच। यह एक प्रकार का रीज़ प्रतिनिधित्व प्रमेय है जो मापने योग्य कार्यों पर एक माप को रैखिक कार्यात्मक के रूप में प्रस्तुत करने की अनुमति देता है। विशेष रूप से, यह समरूपता किसी को एक सीमित योगात्मक माप के संबंध में अभिन्न को परिभाषित करने की अनुमति देती है (ध्यान दें कि सामान्य लेबेसेग अभिन्न को गणनीय योगात्मकता की आवश्यकता होती है)। यह डनफोर्ड और श्वार्ट्ज के कारण है, और इसका उपयोग अक्सर वेक्टर उपायों के संबंध में अभिन्न को परिभाषित करने के लिए किया जाता है, और विशेष रूप से वेक्टर-मूल्यवान रेडॉन माप।

टोपोलॉजिकल द्वंद्व ba(Σ) = B(Σ)* देखना आसान है। Σ पर सभी परिमित योगात्मक मापों के सदिश समष्टि और सरल कार्यों के सदिश समष्टि के बीच एक स्पष्ट बीजगणितीय द्वंद्व है ($$\mu(A)=\zeta\left(1_A\right)$$). यह जांचना आसान है कि यदि σ परिबद्ध है तो σ द्वारा प्रेरित रैखिक रूप सुपर-मानदंड में निरंतर है, और परिणाम इस प्रकार है क्योंकि सरल कार्यों के घने उप-स्थान पर एक रैखिक रूप B(Σ)* के एक तत्व तक विस्तारित होता है यदि यह सुपर-मानदंड में निरंतर है।

L का दोहरा∞(μ)
यदि Σ एक सिग्मा-बीजगणित है और μ Σ पर एक सिग्मा-योज्य सकारात्मक माप है तो एलपी स्पेस एल∞(μ) आवश्यक सर्वोच्च मानदंड से संपन्न है, परिभाषा के अनुसार परिबद्ध μ-शून्य कार्यों के बंद उपस्थान द्वारा B(Σ) का भागफल स्थान (टोपोलॉजी) है:
 * $$N_\mu:=\{f\in B(\Sigma) : f = 0 \ \mu\text{-almost everywhere} \}.$$

दोहरी बानाच स्पेस एल∞(μ)* इस प्रकार समरूपी है
 * $$N_\mu^\perp=\{\sigma\in ba(\Sigma) : \mu(A)=0\Rightarrow \sigma(A)= 0 \text{ for any }A\in\Sigma\},$$

यानी Σ पर अंतिम रूप से योगात्मक हस्ताक्षरित मापों का स्थान जो μ (संक्षेप में μ-a.c.) के संबंध में बिल्कुल निरंतर हैं।

जब माप स्थान इसके अलावा सिग्मा-परिमित होता है तो एल∞(μ) बदले में L का दोहरा है1(μ), जिसे रैडॉन-निकोडिम प्रमेय द्वारा सभी गणनीय योगात्मक μ-a.c के सेट के साथ पहचाना जाता है। पैमाने। दूसरे शब्दों में, बोली में समावेशन
 * $$L^1(\mu)\subset L^1(\mu)^{**}=L^{\infty}(\mu)^*$$

गणनीय रूप से योगात्मक μ-a.c के स्थान को शामिल करने के लिए समरूपी है। सभी सूक्ष्म रूप से योगात्मक μ-a.c के स्थान के अंदर बंधे हुए माप। सीमित उपाय.