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

From Vigyanwiki
No edit summary
No edit summary
 
(23 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}}
{{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>
 


[[लेब्सग्यू-स्टिल्टजेस समाकलन]] एक सामान्य [[लेब्सग इंटीग्रल|लेब्सग समाकलन]] है जो एक अवकल के संबंध में होता है जिसे लेबेस्ग-स्टील्ट्ज माप के रूप में जाना जाता है, जो वास्तविक रेखा पर [[परिबद्ध भिन्नता]] के किसी भी फलन से जुड़ा हो सकता है। लेब्सग्यू-स्टिल्टजेस माप एक [[नियमित बोरेल माप]] है जो इसके विपरीत वास्तविक रेखा पर प्रत्येक [[नियमित बोरेल माप]] के प्रकार की होती है।<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 45: Line 42:
|    pages = xxx+195
|    pages = xxx+195
|        isbn = 0-521-62491-6
|        isbn = 0-521-62491-6
}}</ref>लेम्मा: मान लीजिए ''ए'' आर का एक [[बोरेल मापने योग्य]] उपसमुच्चय है<sup>n</sup> और चलो s > 0. फिर निम्नलिखित समतुल्य हैं-
}}</ref>
*एच<sup>s</sup>(A) > 0, जहां H<sup>s</sup>s-आयामी [[हॉसडॉर्फ माप|संहतीकरण माप]] को दर्शाता है
 
*एक अहस्ताक्षरित बोरेल माप μ है जो μ(A) > 0 को संतुष्ट करता है जो इस प्रकार है-
लेम्मा, मान लीजिए A R<sup>n</sup> का एक [[बोरेल मापने योग्य|बोरेल]] उपसमुच्चय है और मान लीजिए s > 0 है। तो निम्नलिखित समतुल्य हैं-
::<math>\mu(B(x,r))\le r^s</math> :सभी x ∈ 'R' के लिए मान्य<sup>n</sup> और r > 0.।
*H<sup>s</sup>(A) > 0, जहां H<sup>s</sup>,s-आयामी [[हॉसडॉर्फ माप]] को दर्शाता है
*एक (अहस्ताक्षरित) बोरेल माप μ है जो μ(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 72: 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] अर्थात् बोरेल प्रकार्यक

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

अनुप्रयोग

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

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

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

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

Main article: लाप्लास परिवर्तन

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

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

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

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

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

Main articles: हॉसडॉर्फ आयाम and फ्रॉस्टमैन्स लेम्मा

एक बोरेल माप μ को एक मापीय समष्टि 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 के लिए मान्य है।

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

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

माप सिद्धांत में क्रैमर-वॉल्ड प्रमेय का कथन है कि पर एक बोरेल प्रायिकता माप विशिष्ट रूप से इसके एक-आयामी अनुमानों की समग्रता से निर्धारित होता है। [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.


अग्रिम पठन


बाहरी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=बोरेल_माप&oldid=229079’