बोरेल माप: Difference between revisions

From Vigyanwiki
No edit summary
 
(28 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Use American English|date = February 2019}}
[[गणित]] में, विशेष रूप से [[माप सिद्धांत]] में, एक [[सांस्थितिक समष्टि]] पर एक '''बोरेल माप''' एक माप होती है जो सभी [[विवृत समुच्चयों]] पर (और इसलिए सभी [[बोरेल समुच्चयों]] पर) परिभाषित होती है।<ref>D. H. Fremlin, 2000. ''[http://www.essex.ac.uk/maths/people/fremlin/mt.htm Measure Theory] {{Webarchive|url=https://web.archive.org/web/20101101220236/http://www.essex.ac.uk/maths/people/fremlin/mt.htm# |date=2010-11-01 }}''. Torres Fremlin.</ref> कुछ लेखकों को माप पर अतिरिक्त प्रतिबंधों की आवश्यकता होती है, जैसा कि नीचे वर्णित है।
{{Short description|Measure defined on all open sets of a topological space}}
{{Short description|Measure defined on all open sets of a topological space}}
गणित में विशेष रूप से [[माप (गणित)|माप गणित]] [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल रिक्त]] पर एक बोरेल माप  है जिसे सभी खुले समूहों और [[बोरेल सेट|बोरेल समूहों]] पर परिभाषित किया गया है <ref>D. H. Fremlin, 2000. ''[http://www.essex.ac.uk/maths/people/fremlin/mt.htm Measure Theory] {{Webarchive|url=https://web.archive.org/web/20101101220236/http://www.essex.ac.uk/maths/people/fremlin/mt.htm# |date=2010-11-01 }}''. Torres Fremlin.</ref> कुछ लेखकों को माप के अतिरिक्त प्रतिबंधों की आवश्यकता होती है जैसा कि नीचे वर्णित है।
===औपचारिक परिभाषा===
मान लीजिए कि <math>X</math> एक [[स्थानीय रूप से सघन हॉसडॉर्फ समष्टि]] है, और  <math>\mathfrak{B}(X)</math>[[सबसे छोटा σ-बीजगणित]] है जिसमें <math>X</math> के विवृत [[समुच्चय सम्मिलित]] हैं, तथा इसे [[बोरेल सेट|बोरेल]] [[समुच्चय सम्मिलित|समुच्चय]] के σ-बीजगणित के रूप में जाना जाता है। '''बोरेल माप''' बोरेल समुच्चय के σ-बीजगणित पर परिभाषित कोई भी माप <math>\mu</math> होती है।<ref>{{cite book | author=Alan J. Weir | title=सामान्य एकीकरण और माप| publisher=[[Cambridge University Press]] | year=1974 | isbn=0-521-29715-X | pages=158–184 }}</ref> कुछ लेखकों की अतिरिक्त आवश्यकता है कि <math>\mu</math> [[स्थानीय रूप]] से परिमित है, जिसका अर्थ है कि प्रत्येक [[सघन समुच्चय]] <math>C</math> के लिए <math>\mu(C)<\infty</math> होता है।. यदि एक बोरेल माप <math>\mu</math> [[आंतरिक नियमित]] और [[बाहरी नियमित]] दोनों है, तो इसे [[नियमित बोरेल माप]] कहा जाता है। अगर <math>\mu</math> आंतरिक नियमित और बाहरी नियमित व [[स्थानीय रूप से कॉम्पैक्ट समूह का समूह बीजगणित|स्थानीय रूप]] से परिमित माप दोनों है तो इसे [[रेडॉन माप]] कहा जाता है।


==औपचारिक परिभाषा==
===वास्तविक रेखा पर===
<math>X</math> एक [[स्थानीय रूप से कॉम्पैक्ट|स्थानीय रूप से तुलनीय]] संस्थिति स्थान बनें और <math>\mathfrak{B}(X)</math> सिग्मा-बीजगणित उत्पन्न .CF.83-बीजगणित का सबसे छोटा σ-बीजगणित हो जिसमें खुले समूह हों <math>X</math>; इसे [[बोरेल सेट|बोरेल समूह]] के σ-बीजगणित के रूप में जाना जाता है बोरेल माप कोई भी माप है <math>\mu</math> बोरेल समूह के σ-बीजगणित पर परिभाषित है तथा <ref>{{cite book | author=Alan J. Weir | title=सामान्य एकीकरण और माप| publisher=[[Cambridge University Press]] | year=1974 | isbn=0-521-29715-X | pages=158–184 }}</ref> कुछ लेखकों को इसके अतिरिक्त की आवश्यकता होती है <math>\mu</math> स्थानीय रूप से परिमित माप है जिसका अर्थ है <math>\mu(C)<\infty</math> प्रत्येक  [[कॉम्पैक्ट सेट|संस्थित समूह]] के लिए <math>C</math>. यदि एक बोरेल माप <math>\mu</math> [[आंतरिक नियमित]] माप और परिभाषा दोनों है इसे बोरेल नियमित माप कहा जाता है अगर <math>\mu</math> आंतरिक नियमित और बाहरी नियमित व स्थानीय रूप से परिमित माप दोनों है तो इसे [[रेडॉन माप]] कहा जाता है।
अपनी [[सामान्य सांस्थिति]] के साथ [[वास्तविक पंक्ति]] <math>\mathbb R</math> एक स्थानीय रूप से सघन हॉसडॉर्फ़ समष्टि है, इसलिए हम इस पर बोरेल माप को परिभाषित कर सकते हैं। इस स्थिति में <math>\mathfrak{B}(\mathbb R)</math> सबसे छोटा σ-बीजगणित है जिसमें <math>\mathbb R</math> के [[विवृत अंतराल]] सम्मिलित हैं। जबकि कई बोरेल माप μ हो सकते हैं, उस बोरेल माप के विकल्प को जो प्रत्येक अर्ध विवृत अंतराल <math>(a,b]</math> के लिए <math>\mu((a,b])=b-a</math> निर्दिष्ट करता है ,कभी-कभी <math>\mathbb R</math> पर "वही" बोरेल माप कहलाता है। यह माप [[लेब्सेग माप]] <math>\lambda</math> के बोरेल σ-बीजगणित के लिए प्रतिबंध प्रमाणित होता है, जो एक [[पूर्ण माप]] है और लेब्सग्यू σ-बीजगणित पर परिभाषित किया गया है। लेब्सग्यू σ-बीजगणित वास्तव में बोरेल σ-बीजगणित का समापन है जिसका अर्थ है कि यह सबसे छोटा σ-बीजगणित है जिसमें सभी बोरेल समुच्चय सम्मिलित हैं और इसे [[पूर्ण माप]] से सुसज्जित किया जा सकता है। इसको अलावा, बोरेल माप और लेबेस्ग माप बोरेल समुच्चय (अर्थात, प्रत्येक बोरेल मापने योग्य समुच्चय के लिए <math>\lambda(E)=\mu(E)</math>, जहां <math>\mu</math> ऊपर वर्णित बोरेल माप है)


==वास्तविक रेखा पर==
===उत्पाद समष्टि===
[[असली लाइन]] <math>\mathbb R</math> अपनी वास्तविक रेखा के साथ#एक टोपोलॉजिकल स्पेस के रूप में एक स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ स्पेस है; इसलिए हम इस पर बोरेल माप को परिभाषित कर सकते हैं। इस मामले में, <math>\mathfrak{B}(\mathbb R)</math> सबसे छोटा σ-बीजगणित है जिसमें खुले अंतराल होते हैं <math>\mathbb R</math>. जबकि कई बोरेल माप μ हैं, बोरेल माप का विकल्प जो असाइन करता है <math>\mu((a,b])=b-a</math> प्रत्येक आधे खुले अंतराल के लिए <math>(a,b]</math> इसे कभी-कभी बोरेल माप भी कहा जाता है <math>\mathbb R</math>. यह माप [[लेब्सेग माप]] के बोरेल σ-बीजगणित के लिए प्रतिबंध साबित होता है <math>\lambda</math>, जो एक पूर्ण माप है और लेब्सग्यू σ-बीजगणित पर परिभाषित किया गया है। लेब्सग्यू σ-बीजगणित वास्तव में बोरेल σ-बीजगणित का समापन है, जिसका अर्थ है कि यह सबसे छोटा σ-बीजगणित है जिसमें सभी बोरेल सेट शामिल हैं और इसे पूर्ण माप से सुसज्जित किया जा सकता है। इसके अलावा, बोरेल माप और लेबेस्ग माप बोरेल सेट पर मेल खाते हैं (यानी, <math>\lambda(E)=\mu(E)</math> प्रत्येक बोरेल मापने योग्य सेट के लिए, जहां <math>\mu</math> ऊपर वर्णित बोरेल माप है)
यदि X और Y [[द्वितीय-गणनीय]] [[हॉसडॉर्फ़ टोपोलॉजिकल स्पेस|हॉसडॉर्फ़ संस्थितिक समष्टि]] हैं, तो उनके उत्पाद के बोरेल उपसमुच्चय <math>B(X\times Y)</math> का समुच्चय X और Y के बोरेल उपसमुच्चय के समुच्चय<math>B(X)\times B(Y)</math> के उत्पाद के समान होता है।<ref>[[Vladimir I. Bogachev]]. Measure Theory, Volume 1. Springer Science & Business Media, Jan 15, 2007</ref> अर्थात् बोरेल प्रकार्यक
: <math>\mathbf{Bor}\colon\mathbf{Top}_\mathrm{2CHaus}\to\mathbf{Meas}</math> द्वितीय-गणनीय हॉसडॉर्फ समष्टि की [[श्रेणी (गणित)|श्रेणी]] से लेकर  [[मापने योग्य स्थान|मापने योग्य समष्टि]] की श्रेणी तक परिमित [[उत्पाद (श्रेणी सिद्धांत)|उत्पादों]] को संरक्षित करता है।


==उत्पाद स्थान==
==='''अनुप्रयोग'''===
यदि X और Y द्वितीय-गणनीय हैं, [[हॉसडॉर्फ़ टोपोलॉजिकल स्पेस]], तो बोरेल उपसमुच्चय का समुच्चय <math>B(X\times Y)</math> उनके उत्पाद का सेट के उत्पाद से मेल खाता है <math>B(X)\times B(Y)</math> X और Y के बोरेल उपसमुच्चय।<ref>[[Vladimir I. Bogachev]]. Measure Theory, Volume 1. Springer Science & Business Media, Jan 15, 2007</ref> यानी बोरेल [[ऑपरेटर]]
: <math>\mathbf{Bor}\colon\mathbf{Top}_\mathrm{2CHaus}\to\mathbf{Meas}</math> द्वितीय-गणनीय हॉसडॉर्फ रिक्त स्थान की [[श्रेणी (गणित)]] से [[मापने योग्य स्थान]] की श्रेणी तक परिमित [[उत्पाद (श्रेणी सिद्धांत)]] को संरक्षित करता है।
 
==अनुप्रयोग==
 
===लेब्सग्यू-स्टिल्टजेस इंटीग्रल===
{{Main|Lebesgue–Stieltjes integration}}
लेब्सग्यू-स्टिल्टजेस इंटीग्रल, लेब्सग्यू-स्टिल्टजेस माप के रूप में जाने जाने वाले माप के संबंध में सामान्य [[लेब्सग इंटीग्रल]] है, जो वास्तविक रेखा पर सीमित भिन्नता के किसी भी कार्य से जुड़ा हो सकता है। लेब्सग्यू-स्टिल्टजेस माप एक [[नियमित बोरेल माप]] है, और इसके विपरीत वास्तविक रेखा पर प्रत्येक नियमित बोरेल माप इस प्रकार का होता है।<ref>{{Citation|last1=Halmos|first1=Paul R.|author1-link=Paul R. Halmos|title=Measure Theory|publisher=[[Springer-Verlag]]|location=Berlin, New York|isbn=978-0-387-90088-9|year=1974|url-access=registration|url=https://archive.org/details/measuretheory00halm}}</ref>


===लेब्सग्यू-स्टिल्टजेस समाकलन===
{{Main|लेब्सग्यू-स्टिल्टजेस समाकलन}}


[[लेब्सग्यू-स्टिल्टजेस समाकलन]] एक सामान्य [[लेब्सग इंटीग्रल|लेब्सग समाकलन]] है जो एक अवकल के संबंध में होता है जिसे लेबेस्ग-स्टील्ट्ज माप के रूप में जाना जाता है, जो वास्तविक रेखा पर [[परिबद्ध भिन्नता]] के किसी भी फलन से जुड़ा हो सकता है। लेब्सग्यू-स्टिल्टजेस माप एक [[नियमित बोरेल माप]] है जो इसके विपरीत वास्तविक रेखा पर प्रत्येक [[नियमित बोरेल माप]] के प्रकार की होती है।<ref>{{Citation|last1=Halmos|first1=Paul R.|author1-link=Paul R. Halmos|title=Measure Theory|publisher=[[Springer-Verlag]]|location=Berlin, New York|isbn=978-0-387-90088-9|year=1974|url-access=registration|url=https://archive.org/details/measuretheory00halm}}</ref>
===लाप्लास परिवर्तन===
===लाप्लास परिवर्तन===
{{Main|Laplace transform}}
{{Main|लाप्लास परिवर्तन}}
कोई लेब्सग एकीकरण द्वारा वास्तविक रेखा पर एक परिमित बोरेल माप μ के [[लाप्लास परिवर्तन]] को परिभाषित कर सकता है<ref>{{harvnb|Feller|1971|loc=§XIII.1}}</ref>
एक परिमित बोरेल माप μ के [[लाप्लास परिवर्तन]] को [[वास्तविक रेखा]] पर लेबेस्ग अवकल<ref>{{harvnb|Feller|1971|loc=§XIII.1}}</ref>
: <math>(\mathcal{L}\mu)(s) = \int_{[0,\infty)} e^{-st}\,d\mu(t).</math>
: <math>(\mathcal{L}\mu)(s) = \int_{[0,\infty)} e^{-st}\,d\mu(t).</math>
एक महत्वपूर्ण विशेष मामला वह है जहां μ एक [[संभाव्यता माप]] है या, और भी अधिक विशेष रूप से, डिराक डेल्टा फ़ंक्शन है। परिचालन कलन में, किसी माप के लाप्लास परिवर्तन को अक्सर ऐसे माना जाता है मानो माप संचयी वितरण फ़ंक्शन f से आया हो। उस स्थिति में, संभावित भ्रम से बचने के लिए, व्यक्ति अक्सर लिखता है
के द्वारा परिभाषित किया जा सकता है। एक महत्वपूर्ण विशेष स्थिति वह है जहां μ एक [[संभाव्यता माप|प्रायिकता माप]] है और अधिक विशेष रूप से, डिराक डेल्टा फलन है। [[परिचालन कलन]] में किसी माप के लाप्लास परिवर्तन को ऐसे माना जाता है जैसे मानो माप किसी [[वितरण फलन]] f से आया हो। उस स्थिति में संभावित भ्रम से बचने के लिए व्यक्ति प्राय:


: <math>(\mathcal{L}f)(s) = \int_{0^-}^\infty e^{-st}f(t)\,dt</math>
: <math>(\mathcal{L}f)(s) = \int_{0^-}^\infty e^{-st}f(t)\,dt</math>
जहां निचली सीमा 0 है<sup>−</sup>के लिए आशुलिपि संकेतन है
लिखता है जहां 0− की निचली सीमा


: <math>\lim_{\varepsilon\downarrow 0}\int_{-\varepsilon}^\infty.</math>
: <math>\lim_{\varepsilon\downarrow 0}\int_{-\varepsilon}^\infty.</math>
यह सीमा इस बात पर जोर देती है कि 0 पर स्थित कोई भी बिंदु द्रव्यमान पूरी तरह से लाप्लास ट्रांसफॉर्म द्वारा कैप्चर किया जाता है। हालाँकि लेबेस्ग इंटीग्रल के साथ, ऐसी सीमा लेना आवश्यक नहीं है, यह लाप्लास-स्टिल्टजेस परिवर्तन के संबंध में अधिक स्वाभाविक रूप से प्रकट होता है।
के लिए आशुलिपि (शॉर्टहैंड) अंकन है। यह सीमा बताती है कि 0 पर स्थित कोई भी बिंदु द्रव्यमान पूर्ण प्रकार से लाप्लास रूपांतरण द्वारा अधिकृत किया जाता है। हालाँकि लेबेस्ग समाकलन के साथ ऐसी सीमा आवश्यक नहीं है कि यह लाप्लास-स्टिल्टजेस परिवर्तन के संबंध में अधिक स्वाभाविक रूप से प्रकट होता है।


===हॉसडॉर्फ आयाम और फ्रॉस्टमैन की लेम्मा===
===हॉसडॉर्फ आयाम और फ्रॉस्टमैन्स लेम्मा===
{{Main|Hausdorff dimension|Frostman lemma}}
{{Main|हॉसडॉर्फ आयाम |फ्रॉस्टमैन्स लेम्मा}}


एक बोरेल माप μ को एक मीट्रिक स्थान X पर इस प्रकार दिया गया है कि μ(X) > 0 और μ(B(x, r)) ≤ r<sup>s</sup> कुछ स्थिरांक s > 0 के लिए और X में प्रत्येक गेंद B(x, r) के लिए रखता है, तो हॉसडॉर्फ आयाम मंद होता है<sub>Haus</sub>(एक्स) ≥ एस. [[फ्रॉस्टमैन लेम्मा]] द्वारा आंशिक बातचीत प्रदान की गई है:<ref>{{cite book
एक बोरेल माप μ को एक मापीय समष्टि X पर इस प्रकार दिया गया है कि μ(X) > 0 और μ(B(x, r)) ≤ r<sup>s</sup> कुछ स्थिरांक s > 0 के लिए और X में प्रत्येक बॉल B(x, r) के लिए धारण करते हैं, जिससे [[हॉसडॉर्फ आयाम]] डिम<sub>हॉस</sub>(''X'') ≥ ''s'' प्राप्त होता है। [[फ्रॉस्टमैन लेम्मा]] द्वारा एक आंशिक प्रतिक्रिया प्रदान की गई है,<ref>{{cite book
|    author = Rogers, C. A.
|    author = Rogers, C. A.
|    title = Hausdorff measures
|    title = Hausdorff measures
Line 46: Line 43:
|        isbn = 0-521-62491-6
|        isbn = 0-521-62491-6
}}</ref>
}}</ref>
लेम्मा: मान लीजिए ''ए'' आर का एक [[बोरेल मापने योग्य]] उपसमुच्चय है<sup>n</sup>, और चलो s > 0. फिर निम्नलिखित समतुल्य हैं:
 
*एच<sup>s</sup>(A) > 0, जहां H<sup>s</sup>s-आयामी [[हॉसडॉर्फ माप]] को दर्शाता है।
लेम्मा, मान लीजिए A R<sup>n</sup> का एक [[बोरेल मापने योग्य|बोरेल]] उपसमुच्चय है और मान लीजिए s > 0 है। तो निम्नलिखित समतुल्य हैं-
*एक (अहस्ताक्षरित) बोरेल माप μ है जो μ(A) > 0 को संतुष्ट करता है, और ऐसा है
*H<sup>s</sup>(A) > 0, जहां H<sup>s</sup>,s-आयामी [[हॉसडॉर्फ माप]] को दर्शाता है
::<math>\mu(B(x,r))\le r^s</math> :सभी x ∈ 'R' के लिए मान्य<sup>n</sup> और r > 0.
*एक (अहस्ताक्षरित) बोरेल माप μ है जो μ(A) > 0 को संतुष्ट करता है और इस प्रकार
::<math>\mu(B(x,r))\le r^s</math> सभी x ∈ R<sup>n</sup> और r > 0 के लिए मान्य है।


===क्रैमर-वॉल्ड प्रमेय===
===क्रैमर-वॉल्ड प्रमेय===
{{Main|Cramér–Wold theorem}}
{{Main|क्रैमर-वॉल्ड प्रमेय}}
[[माप सिद्धांत]] में क्रैमर-वॉल्ड प्रमेय बताता है कि एक बोरेल संभाव्यता माप पर है <math>\mathbb R^k</math> अपने एक-आयामी प्रक्षेपणों की समग्रता से विशिष्ट रूप से निर्धारित होता है।<ref>K. Stromberg, 1994. ''Probability Theory for Analysts''. Chapman and Hall.</ref> इसका उपयोग संयुक्त अभिसरण परिणामों को सिद्ध करने की एक विधि के रूप में किया जाता है। प्रमेय का नाम हेराल्ड क्रैमर और [[हरमन ओले एंड्रियास वोल्ड]] के नाम पर रखा गया है।
[[माप सिद्धांत]] में [[क्रैमर-वॉल्ड प्रमेय]] का कथन है कि <math>\mathbb R^k</math> पर एक बोरेल [[प्रायिकता माप]] विशिष्ट रूप से इसके एक-आयामी अनुमानों की समग्रता से निर्धारित होता है। <ref>K. Stromberg, 1994. ''Probability Theory for Analysts''. Chapman and Hall.</ref> इसका उपयोग संयुक्त अभिसरण परिणामों को सिद्ध करने की एक विधि के रूप में किया जाता है। प्रमेय का नाम [[हेराल्ड क्रैमर]] और [[हरमन ओले एंड्रियास वोल्ड]] के नाम पर रखा गया है।


==संदर्भ==
==संदर्भ==
Line 73: Line 71:
{{Measure theory}}
{{Measure theory}}


{{DEFAULTSORT:Borel Measure}}[[Category: उपाय (माप सिद्धांत)]]
{{DEFAULTSORT:Borel Measure}}
 
 


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Borel Measure]]
[[Category:Created On 03/07/2023]]
[[Category:Collapse templates|Borel Measure]]
[[Category:Created On 03/07/2023|Borel Measure]]
[[Category:Lua-based templates|Borel Measure]]
[[Category:Machine Translated Page|Borel Measure]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|Borel Measure]]
[[Category:Pages with script errors|Borel Measure]]
[[Category:Sidebars with styles needing conversion|Borel Measure]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready|Borel Measure]]
[[Category:Templates generating microformats|Borel Measure]]
[[Category:Templates that add a tracking category|Borel Measure]]
[[Category:Templates that are not mobile friendly|Borel Measure]]
[[Category:Templates that generate short descriptions|Borel Measure]]
[[Category:Templates using TemplateData|Borel Measure]]
[[Category:Webarchive template wayback links]]
[[Category:Wikipedia metatemplates|Borel Measure]]
[[Category:उपाय (माप सिद्धांत)|Borel Measure]]

Latest revision as of 12:01, 28 July 2023

गणित में, विशेष रूप से माप सिद्धांत में, एक सांस्थितिक समष्टि पर एक बोरेल माप एक माप होती है जो सभी विवृत समुच्चयों पर (और इसलिए सभी बोरेल समुच्चयों पर) परिभाषित होती है।[1] कुछ लेखकों को माप पर अतिरिक्त प्रतिबंधों की आवश्यकता होती है, जैसा कि नीचे वर्णित है।

औपचारिक परिभाषा

मान लीजिए कि एक स्थानीय रूप से सघन हॉसडॉर्फ समष्टि है, और सबसे छोटा σ-बीजगणित है जिसमें के विवृत समुच्चय सम्मिलित हैं, तथा इसे बोरेल समुच्चय के σ-बीजगणित के रूप में जाना जाता है। बोरेल माप बोरेल समुच्चय के σ-बीजगणित पर परिभाषित कोई भी माप होती है।[2] कुछ लेखकों की अतिरिक्त आवश्यकता है कि स्थानीय रूप से परिमित है, जिसका अर्थ है कि प्रत्येक सघन समुच्चय के लिए होता है।. यदि एक बोरेल माप आंतरिक नियमित और बाहरी नियमित दोनों है, तो इसे नियमित बोरेल माप कहा जाता है। अगर आंतरिक नियमित और बाहरी नियमित व स्थानीय रूप से परिमित माप दोनों है तो इसे रेडॉन माप कहा जाता है।

वास्तविक रेखा पर

अपनी सामान्य सांस्थिति के साथ वास्तविक पंक्ति एक स्थानीय रूप से सघन हॉसडॉर्फ़ समष्टि है, इसलिए हम इस पर बोरेल माप को परिभाषित कर सकते हैं। इस स्थिति में सबसे छोटा σ-बीजगणित है जिसमें के विवृत अंतराल सम्मिलित हैं। जबकि कई बोरेल माप μ हो सकते हैं, उस बोरेल माप के विकल्प को जो प्रत्येक अर्ध विवृत अंतराल के लिए निर्दिष्ट करता है ,कभी-कभी पर "वही" बोरेल माप कहलाता है। यह माप लेब्सेग माप के बोरेल σ-बीजगणित के लिए प्रतिबंध प्रमाणित होता है, जो एक पूर्ण माप है और लेब्सग्यू σ-बीजगणित पर परिभाषित किया गया है। लेब्सग्यू σ-बीजगणित वास्तव में बोरेल σ-बीजगणित का समापन है जिसका अर्थ है कि यह सबसे छोटा σ-बीजगणित है जिसमें सभी बोरेल समुच्चय सम्मिलित हैं और इसे पूर्ण माप से सुसज्जित किया जा सकता है। इसको अलावा, बोरेल माप और लेबेस्ग माप बोरेल समुच्चय (अर्थात, प्रत्येक बोरेल मापने योग्य समुच्चय के लिए , जहां ऊपर वर्णित बोरेल माप है)

उत्पाद समष्टि

यदि X और Y द्वितीय-गणनीय हॉसडॉर्फ़ संस्थितिक समष्टि हैं, तो उनके उत्पाद के बोरेल उपसमुच्चय का समुच्चय X और Y के बोरेल उपसमुच्चय के समुच्चय के उत्पाद के समान होता है।[3] अर्थात् बोरेल प्रकार्यक

द्वितीय-गणनीय हॉसडॉर्फ समष्टि की श्रेणी से लेकर मापने योग्य समष्टि की श्रेणी तक परिमित उत्पादों को संरक्षित करता है।

अनुप्रयोग

लेब्सग्यू-स्टिल्टजेस समाकलन

लेब्सग्यू-स्टिल्टजेस समाकलन एक सामान्य लेब्सग समाकलन है जो एक अवकल के संबंध में होता है जिसे लेबेस्ग-स्टील्ट्ज माप के रूप में जाना जाता है, जो वास्तविक रेखा पर परिबद्ध भिन्नता के किसी भी फलन से जुड़ा हो सकता है। लेब्सग्यू-स्टिल्टजेस माप एक नियमित बोरेल माप है जो इसके विपरीत वास्तविक रेखा पर प्रत्येक नियमित बोरेल माप के प्रकार की होती है।[4]

लाप्लास परिवर्तन

एक परिमित बोरेल माप μ के लाप्लास परिवर्तन को वास्तविक रेखा पर लेबेस्ग अवकल[5]

के द्वारा परिभाषित किया जा सकता है। एक महत्वपूर्ण विशेष स्थिति वह है जहां μ एक प्रायिकता माप है और अधिक विशेष रूप से, डिराक डेल्टा फलन है। परिचालन कलन में किसी माप के लाप्लास परिवर्तन को ऐसे माना जाता है जैसे मानो माप किसी वितरण फलन f से आया हो। उस स्थिति में संभावित भ्रम से बचने के लिए व्यक्ति प्राय:

लिखता है जहां 0− की निचली सीमा

के लिए आशुलिपि (शॉर्टहैंड) अंकन है। यह सीमा बताती है कि 0 पर स्थित कोई भी बिंदु द्रव्यमान पूर्ण प्रकार से लाप्लास रूपांतरण द्वारा अधिकृत किया जाता है। हालाँकि लेबेस्ग समाकलन के साथ ऐसी सीमा आवश्यक नहीं है कि यह लाप्लास-स्टिल्टजेस परिवर्तन के संबंध में अधिक स्वाभाविक रूप से प्रकट होता है।

हॉसडॉर्फ आयाम और फ्रॉस्टमैन्स लेम्मा

एक बोरेल माप μ को एक मापीय समष्टि X पर इस प्रकार दिया गया है कि μ(X) > 0 और μ(B(x, r)) ≤ rs कुछ स्थिरांक s > 0 के लिए और X में प्रत्येक बॉल B(x, r) के लिए धारण करते हैं, जिससे हॉसडॉर्फ आयाम डिमहॉस(X) ≥ s प्राप्त होता है। फ्रॉस्टमैन लेम्मा द्वारा एक आंशिक प्रतिक्रिया प्रदान की गई है,[6]

लेम्मा, मान लीजिए A Rn का एक बोरेल उपसमुच्चय है और मान लीजिए s > 0 है। तो निम्नलिखित समतुल्य हैं-

  • Hs(A) > 0, जहां Hs,s-आयामी हॉसडॉर्फ माप को दर्शाता है
  • एक (अहस्ताक्षरित) बोरेल माप μ है जो μ(A) > 0 को संतुष्ट करता है और इस प्रकार
सभी x ∈ Rn और r > 0 के लिए मान्य है।

क्रैमर-वॉल्ड प्रमेय

माप सिद्धांत में क्रैमर-वॉल्ड प्रमेय का कथन है कि पर एक बोरेल प्रायिकता माप विशिष्ट रूप से इसके एक-आयामी अनुमानों की समग्रता से निर्धारित होता है। [7] इसका उपयोग संयुक्त अभिसरण परिणामों को सिद्ध करने की एक विधि के रूप में किया जाता है। प्रमेय का नाम हेराल्ड क्रैमर और हरमन ओले एंड्रियास वोल्ड के नाम पर रखा गया है।

संदर्भ

  1. D. H. Fremlin, 2000. Measure Theory Archived 2010-11-01 at the Wayback Machine. Torres Fremlin.
  2. Alan J. Weir (1974). सामान्य एकीकरण और माप. Cambridge University Press. pp. 158–184. ISBN 0-521-29715-X.
  3. Vladimir I. Bogachev. Measure Theory, Volume 1. Springer Science & Business Media, Jan 15, 2007
  4. Halmos, Paul R. (1974), Measure Theory, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90088-9
  5. Feller 1971, §XIII.1
  6. Rogers, C. A. (1998). Hausdorff measures. Cambridge Mathematical Library (Third ed.). Cambridge: Cambridge University Press. pp. xxx+195. ISBN 0-521-62491-6.
  7. K. Stromberg, 1994. Probability Theory for Analysts. Chapman and Hall.


अग्रिम पठन


बाहरी संबंध