उत्पाद माप

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

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

एक उत्पाद उपाय $$\mu_1 \times \mu_2$$ (द्वारा भी दर्शाया गया है $$\mu_1 \otimes \mu_2$$ कई लेखकों द्वारा) मापने योग्य स्थान पर एक उपाय के रूप में परिभाषित किया गया है $$(X_1 \times X_2, \Sigma_1 \otimes \Sigma_2)$$ संपत्ति को संतुष्ट करना


 * $$ (\mu_1 \times \mu_2)(B_1 \times B_2) = \mu_1(B_1) \mu_2(B_2)$$

सभी के लिए


 * $$ B_1 \in \Sigma_1,\ B_2 \in \Sigma_2 $$.

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

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


 * $$(\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),$$

कहाँ $$E_x = \{y \in X_2 | (x, y) \in E\}$$ और $$E^y = \{x \in X_1 | (x, y) \in E\}$$, जो दोनों मापने योग्य सेट हैं।

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

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

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

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

उदाहरण

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

यह भी देखें

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