उत्पाद माप: Difference between revisions

From Vigyanwiki
Line 1: Line 1:
गणित में, दो मापने योग्य रिक्त स्थान और उन पर माप दिए जाने पर, कोई उत्पाद [[मापने योग्य स्थान]] और उस स्थान पर '''उत्पाद माप''' प्राप्त कर सकता है। संकल्पनात्मक रूप से, यह [[सेट (गणित)|सेट]] के कार्टेशियन उत्पाद और दो टोपोलॉजिकल रिक्त स्थान के [[उत्पाद टोपोलॉजी]] को परिभाषित करने के समान होता है, अतिरिक्त इसके कि उत्पाद माप के लिए कई प्राकृतिक विकल्प हो सकते है।
गणित में, दो मापने योग्य रिक्त स्थान और उन पर माप दिए जाने पर, कोई उत्पाद [[मापने योग्य स्थान]] और उस स्थान पर '''उत्पाद माप''' प्राप्त कर सकता है। संकल्पनात्मक रूप से, यह [[सेट (गणित)|समुच्चय]] के कार्टेशियन उत्पाद और दो टोपोलॉजिकल रिक्त स्थान के [[उत्पाद टोपोलॉजी]] को परिभाषित करने के समान होता है, अतिरिक्त इसके कि उत्पाद माप के लिए कई प्राकृतिक विकल्प हो सकते है।


मान लेते है <math>(X_1, \Sigma_1)</math> और <math>(X_2, \Sigma_2)</math> दो मापने योग्य स्थान है, अर्थात, <math>\Sigma_1</math> और <math>\Sigma_2</math> [[सिग्मा बीजगणित]] प्रारंभ है <math>X_1</math> और <math>X_2</math> क्रमशः, और  <math>\mu_1</math> और <math>\mu_2</math> इन स्थानों पर उपाय करता है। इनके द्वारा निरूपित करता है <math>\Sigma_1 \otimes \Sigma_2</math> कार्टेशियन उत्पाद पर सिग्मा बीजगणित <math>X_1 \times X_2</math> प्रपत्र के [[सबसेट]] द्वारा उत्पन्न है <math>B_1 \times B_2</math>, जहाँ <math>B_1 \in \Sigma_1</math> और <math>B_2 \in \Sigma_2.</math> इस सिग्मा बीजगणित को उत्पाद स्थान पर टेंसर-उत्पाद σ-बीजगणित कहा जाता है।
मान लेते है <math>(X_1, \Sigma_1)</math> और <math>(X_2, \Sigma_2)</math> दो मापने योग्य स्थान है, अर्थात, <math>\Sigma_1</math> और <math>\Sigma_2</math> [[सिग्मा बीजगणित]] प्रारंभ है <math>X_1</math> और <math>X_2</math> क्रमशः, और  <math>\mu_1</math> और <math>\mu_2</math> इन स्थानों पर उपाय करता है। इनके द्वारा निरूपित करता है <math>\Sigma_1 \otimes \Sigma_2</math> कार्टेशियन उत्पाद पर सिग्मा बीजगणित <math>X_1 \times X_2</math> प्रपत्र के [[सबसेट|सबसमुच्चय]] द्वारा उत्पन्न है <math>B_1 \times B_2</math>, जहाँ <math>B_1 \in \Sigma_1</math> और <math>B_2 \in \Sigma_2.</math> इस सिग्मा बीजगणित को उत्पाद स्थान पर टेंसर-उत्पाद σ-बीजगणित कहा जाता है।


एक उत्पाद उपाय <math>\mu_1 \times \mu_2</math> (द्वारा भी दर्शाया गया है <math>\mu_1 \otimes \mu_2</math> कई लेखकों द्वारा) मापने योग्य स्थान पर एक उपाय के रूप में परिभाषित किया गया है <math>(X_1 \times X_2, \Sigma_1 \otimes \Sigma_2)</math> संपत्ति को संतुष्ट करता है
एक उत्पाद उपाय <math>\mu_1 \times \mu_2</math> (द्वारा भी दर्शाया गया है <math>\mu_1 \otimes \mu_2</math> कई लेखकों द्वारा) मापने योग्य स्थान पर एक उपाय के रूप में परिभाषित किया गया है <math>(X_1 \times X_2, \Sigma_1 \otimes \Sigma_2)</math> संपत्ति को संतुष्ट करता है
Line 12: Line 12:
गुणन के उपायों में, जिनमें से कुछ अनंत होते है, हम उत्पाद को शून्य के रूप में परिभाषित करते है यदि कोई कारक शून्य होता है।
गुणन के उपायों में, जिनमें से कुछ अनंत होते है, हम उत्पाद को शून्य के रूप में परिभाषित करते है यदि कोई कारक शून्य होता है।


वास्तव में, जब रिक्त स्थान होते है <math>\sigma</math>-परिमित, उत्पाद माप विशिष्ट रूप से परिभाषित किया जाता है, और प्रत्येक मापने योग्य सेट E के लिए,
वास्तव में, जब रिक्त स्थान होते है <math>\sigma</math>-परिमित, उत्पाद माप विशिष्ट रूप से परिभाषित किया जाता है, और प्रत्येक मापने योग्य समुच्चय E के लिए,


:<math>(\mu_1 \times \mu_2)(E) = \int_{X_2} \mu_1(E^y)\,d\mu_2(y) = \int_{X_1} \mu_2(E_{x})\,d\mu_1(x),</math>
:<math>(\mu_1 \times \mu_2)(E) = \int_{X_2} \mu_1(E^y)\,d\mu_2(y) = \int_{X_1} \mu_2(E_{x})\,d\mu_1(x),</math>
जहाँ <math>E_x = \{y \in X_2 | (x, y) \in E\}</math> और <math>E^y = \{x \in X_1 | (x, y) \in E\}</math>, जो दोनों मापने योग्य सेट होते है।
जहाँ <math>E_x = \{y \in X_2 | (x, y) \in E\}</math> और <math>E^y = \{x \in X_1 | (x, y) \in E\}</math>, जो दोनों मापने योग्य समुच्चय होते है।


इस उपाय के अस्तित्व की गारंटी हैन-कोल्मोगोरोव प्रमेय द्वारा दी गई है। उत्पाद माप की विशिष्टता की गारंटी केवल तभी दी जाती है जब दोनों <math>(X_1, \Sigma_1, \mu_1)</math> और <math>(X_2, \Sigma_2, \mu_2)</math> σ-परिमित होते है।
इस उपाय के अस्तित्व की गारंटी हैन-कोल्मोगोरोव प्रमेय द्वारा दी गई है। उत्पाद माप की विशिष्टता की गारंटी केवल तभी दी जाती है जब दोनों <math>(X_1, \Sigma_1, \mu_1)</math> और <math>(X_2, \Sigma_2, \mu_2)</math> σ-परिमित होते है।
Line 27: Line 27:
== उदाहरण ==
== उदाहरण ==


*दो माप स्थानों को देखते हुए, हमेशा एक अद्वितीय अधिकतम उत्पाद माप μ<sub>max</sub> होता है उनके उत्पाद पर, इस संपत्ति के साथ यदि μ<sub>max</sub>(A) कुछ मापने योग्य सेट A के लिए परिमित होता है, फिर μ<sub>max</sub>(A) = μ (A) किसी भी उत्पाद उपाय μ के लिए होता है। विशेष रूप से किसी भी मापने योग्य सेट पर इसका मूल्य कम से कम किसी अन्य उत्पाद माप का होता है। यह कैराथियोडोरी विस्तार प्रमेय द्वारा निर्मित माप होता है।
*दो माप स्थानों को देखते हुए, हमेशा एक अद्वितीय अधिकतम उत्पाद माप μ<sub>max</sub> होता है उनके उत्पाद पर, इस संपत्ति के साथ यदि μ<sub>max</sub>(A) कुछ मापने योग्य समुच्चय A के लिए परिमित होता है, फिर μ<sub>max</sub>(A) = μ (A) किसी भी उत्पाद उपाय μ के लिए होता है। विशेष रूप से किसी भी मापने योग्य समुच्चय पर इसका मूल्य कम से कम किसी अन्य उत्पाद माप का होता है। यह कैराथियोडोरी विस्तार प्रमेय द्वारा निर्मित माप होता है।
*कभी-कभी  
*कभी-कभी μ<sub>min</sub>, given by μ<sub>min</sub>(''S'') = sup''A''⊂''S'', μ<sub>max</sub>(''A'') परिमित μ<sub>max</sub>(''A'') द्वारा दिया गया एक अद्वितीय न्यूनतम उत्पाद माप  भी होता है, जहां A और S को मापने योग्य माना जाता है।
*यहां एक उदाहरण दिया गया है जहां एक उत्पाद के एक से अधिक उत्पाद माप होते है गुणनफल X×Y लिया जाता है, जहां X लेबेस्गु माप के साथ इकाई अंतराल होता है, और Y गणना माप के साथ इकाई अंतराल होता है और सभी सेट मापने योग्य होते है। तब न्यूनतम उत्पाद माप के लिए एक सेट का माप उसके क्षैतिज वर्गों के उपायों का योग होता है, जबकि अधिकतम उत्पाद माप के लिए एक सेट में माप अनंत होता है जब तक कि यह प्रपत्र A के सेटों की एक गणनीय संख्या के मिलन में निहित नही होता है। जहां या तो A के पास लेबेस्ग का माप 0 होता है या B एक बिंदु होती है। इस स्थिति में माप परिमित या अनंत हो सकती है। विशेष रूप से, न्यूनतम उत्पाद माप के लिए विकर्ण का माप 0 होता है और अधिकतम उत्पाद माप के लिए माप अनंत होती है।
*यहां एक उदाहरण दिया गया है जहां एक उत्पाद के एक से अधिक उत्पाद माप होते है गुणनफल X×Y लिया जाता है, जहां X लेबेस्गु माप के साथ इकाई अंतराल होता है, और Y गणना माप के साथ इकाई अंतराल होता है और सभी समुच्चय मापने योग्य होते है। तब न्यूनतम उत्पाद माप के लिए एक समुच्चय का माप उसके क्षैतिज वर्गों के उपायों का योग होता है, जबकि अधिकतम उत्पाद माप के लिए एक समुच्चय में माप अनंत होता है जब तक कि यह प्रपत्र A के समुच्चयों की एक गणनीय संख्या के मिलन में निहित नही होता है। जहां या तो A के पास लेबेस्ग का माप 0 होता है या B एक बिंदु होती है। इस स्थिति में माप परिमित या अनंत हो सकती है। विशेष रूप से, न्यूनतम उत्पाद माप के लिए विकर्ण का माप 0 होता है और अधिकतम उत्पाद माप के लिए माप अनंत होती है।


== यह भी देखें ==
== यह भी देखें ==
Line 38: Line 38:
* {{cite book|last=Loève|first=Michel|authorlink=Michel Loève|title=Probability Theory vol. I |edition=4th |publisher=Springer |year=1977 |isbn=0-387-90210-4 |chapter=8.2. Product measures and iterated integrals |pages=135&ndash;137 |ref=loe1978}}
* {{cite book|last=Loève|first=Michel|authorlink=Michel Loève|title=Probability Theory vol. I |edition=4th |publisher=Springer |year=1977 |isbn=0-387-90210-4 |chapter=8.2. Product measures and iterated integrals |pages=135&ndash;137 |ref=loe1978}}
* {{cite book |last=Halmos |first=Paul |authorlink=Paul Halmos |title=Measure theory |publisher=Springer |year=1974 |isbn=0-387-90088-8 |chapter=35. Product measures |pages=[https://archive.org/details/measuretheory00halm/page/143 143&ndash;145] |ref=loe1978 |url-access=registration |url=https://archive.org/details/measuretheory00halm/page/143 }}
* {{cite book |last=Halmos |first=Paul |authorlink=Paul Halmos |title=Measure theory |publisher=Springer |year=1974 |isbn=0-387-90088-8 |chapter=35. Product measures |pages=[https://archive.org/details/measuretheory00halm/page/143 143&ndash;145] |ref=loe1978 |url-access=registration |url=https://archive.org/details/measuretheory00halm/page/143 }}
{{PlanetMath attribution|id=952|title=Product measure}}


[[Category: उपाय (माप सिद्धांत)]] [[Category: समाकलन गणित]]  
[[Category: उपाय (माप सिद्धांत)]] [[Category: समाकलन गणित]]  

Revision as of 12:52, 5 June 2023

गणित में, दो मापने योग्य रिक्त स्थान और उन पर माप दिए जाने पर, कोई उत्पाद मापने योग्य स्थान और उस स्थान पर उत्पाद माप प्राप्त कर सकता है। संकल्पनात्मक रूप से, यह समुच्चय के कार्टेशियन उत्पाद और दो टोपोलॉजिकल रिक्त स्थान के उत्पाद टोपोलॉजी को परिभाषित करने के समान होता है, अतिरिक्त इसके कि उत्पाद माप के लिए कई प्राकृतिक विकल्प हो सकते है।

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

एक उत्पाद उपाय (द्वारा भी दर्शाया गया है कई लेखकों द्वारा) मापने योग्य स्थान पर एक उपाय के रूप में परिभाषित किया गया है संपत्ति को संतुष्ट करता है

सभी के लिए

.

गुणन के उपायों में, जिनमें से कुछ अनंत होते है, हम उत्पाद को शून्य के रूप में परिभाषित करते है यदि कोई कारक शून्य होता है।

वास्तव में, जब रिक्त स्थान होते है -परिमित, उत्पाद माप विशिष्ट रूप से परिभाषित किया जाता है, और प्रत्येक मापने योग्य समुच्चय E के लिए,

जहाँ और , जो दोनों मापने योग्य समुच्चय होते है।

इस उपाय के अस्तित्व की गारंटी हैन-कोल्मोगोरोव प्रमेय द्वारा दी गई है। उत्पाद माप की विशिष्टता की गारंटी केवल तभी दी जाती है जब दोनों और σ-परिमित होते है।

यूक्लिडियन स्थान Rn पर बोरेल मापता है वास्तविक रेखा 'R' पर बोरेल उपायों की n प्रतियों के उत्पाद के रूप में प्राप्त किया जाता है।

यदि उत्पाद स्थान के दो कारक पूर्ण माप होते है, तो उसका उत्पाद स्थान नहीं हो सकता है। परिणाम स्वरूप, बोरेल माप को लेबेसेग माप में विस्तारित करने के लिए, या उत्पाद स्थान पर लेबेसेग माप देने के लिए दो लेबेसेग उपायों के उत्पाद का विस्तार करने के लिए पूर्णता प्रक्रिया की आवश्यकता होती है।

दो उपायों के उत्पाद के गठन के विपरीत निर्माण विघटन प्रमेय होते है, जो कुछ अर्थों में उपायों के निकट में दिए गए माप को विभाजित करता है जिसे मूल माप देने के लिए एकीकृत किया जाता है।

उदाहरण

  • दो माप स्थानों को देखते हुए, हमेशा एक अद्वितीय अधिकतम उत्पाद माप μmax होता है उनके उत्पाद पर, इस संपत्ति के साथ यदि μmax(A) कुछ मापने योग्य समुच्चय A के लिए परिमित होता है, फिर μmax(A) = μ (A) किसी भी उत्पाद उपाय μ के लिए होता है। विशेष रूप से किसी भी मापने योग्य समुच्चय पर इसका मूल्य कम से कम किसी अन्य उत्पाद माप का होता है। यह कैराथियोडोरी विस्तार प्रमेय द्वारा निर्मित माप होता है।
  • कभी-कभी μmin, given by μmin(S) = supAS, μmax(A) परिमित μmax(A) द्वारा दिया गया एक अद्वितीय न्यूनतम उत्पाद माप भी होता है, जहां A और S को मापने योग्य माना जाता है।
  • यहां एक उदाहरण दिया गया है जहां एक उत्पाद के एक से अधिक उत्पाद माप होते है गुणनफल X×Y लिया जाता है, जहां X लेबेस्गु माप के साथ इकाई अंतराल होता है, और Y गणना माप के साथ इकाई अंतराल होता है और सभी समुच्चय मापने योग्य होते है। तब न्यूनतम उत्पाद माप के लिए एक समुच्चय का माप उसके क्षैतिज वर्गों के उपायों का योग होता है, जबकि अधिकतम उत्पाद माप के लिए एक समुच्चय में माप अनंत होता है जब तक कि यह प्रपत्र A के समुच्चयों की एक गणनीय संख्या के मिलन में निहित नही होता है। जहां या तो A के पास लेबेस्ग का माप 0 होता है या B एक बिंदु होती है। इस स्थिति में माप परिमित या अनंत हो सकती है। विशेष रूप से, न्यूनतम उत्पाद माप के लिए विकर्ण का माप 0 होता है और अधिकतम उत्पाद माप के लिए माप अनंत होती है।

यह भी देखें

  • फ़ुबिनी की प्रमेय

संदर्भ

  • Loève, Michel (1977). "8.2. Product measures and iterated integrals". Probability Theory vol. I (4th ed.). Springer. pp. 135–137. ISBN 0-387-90210-4.
  • Halmos, Paul (1974). "35. Product measures". Measure theory. Springer. pp. 143–145. ISBN 0-387-90088-8.