लेबेस्ग माप

माप सिद्धांत में, गणित की एक शाखा, फ्रांस के गणितज्ञ हेनरी लेबेस्ग के नाम पर लेबेस्ग माप, n-आयामी यूक्लिडियन अंतरिक्ष के सबसेट के लिए माप निर्दिष्ट करने की मानक विधि है। n = 1, 2, या 3 के लिए, यह लंबाई, क्षेत्रफल, या आयतन के मानक माप के साथ मेल खाता है। सामान्यतः, इसे n-आयामी आयतन, n-आयतन, या केवल आयतन भी कहा जाता है। इसका उपयोग पूरे वास्तविक विश्लेषण, विशेष रूप से लेबेस्ग एकीकरण को परिभाषित करने में किया जाता है। ऐसे समुच्चय जिन्हें लेबेस्ग माप निर्दिष्ट किया जा सकता है, लेबेस्ग-मापने योग्य कहलाते हैं; लेबेस्ग-मापने योग्य समुच्चय A का माप यहाँ λ(A) द्वारा दर्शाया गया है।

हेनरी लेबेस्ग ने इस माप का वर्णन वर्ष 1901 में किया, उसके बाद अगले वर्ष लेबेस्ग इंटीग्रल के अपने विवरण के द्वारा वर्णन किया गया। दोनों को 1902 में उनके शोध प्रबंध के हिस्से के रूप में प्रकाशित किया गया था।

परिभाषा
किसी भी अंतराल के लिए (गणित) $$I = [a,b]$$, या $$I = (a, b)$$, समुच्चय $$\mathbb{R}$$ की वास्तविक संख्याओं में, माना $$\ell(I)= b - a$$ इसकी लंबाई को निरूपित करें। किसी उपसमुच्चय के लिए $$E\subseteq\mathbb{R}$$, लेबेस्ग की बाहरी माप $$\lambda^{\!*\!}(E)$$ को इन्फिनमम के रूप में परिभाषित किया गया है:
 * $$\lambda^{\!*\!}(E) = \inf \left\{\sum_{k=1}^\infty \ell(I_k) : {(I_k)_{k \in \mathbb N}} \text{ is a sequence of open intervals with } E\subset \bigcup_{k=1}^\infty I_k\right\}.$$

उपरोक्त परिभाषा को निम्नानुसार उच्च आयामों के लिए सामान्यीकृत किया जा सकता है। किसी भी आयताकार घनाभ के लिए $$C$$ जो एक खुले अंतराल $$C=I_1\times\cdots\times I_n$$ का, माना गुणा है, माना$$\operatorname{vol}(C)=\ell(I_1)\times\cdots\times \ell(I_n)$$ इसकी मात्रा को निरूपित करता है। किसी उपसमुच्चय $$E\subseteq\mathbb{R^n}$$ के लिए,
 * $$\lambda^{\!*\!}(E) = \inf \left\{\sum_{k=1}^\infty \operatorname{vol}(C_k) : {(C_k)_{k \in \mathbb N}} \text{ is a sequence of products of open intervals with } E\subset \bigcup_{k=1}^\infty C_k\right\}.$$

कुछ समुच्चय $$E$$ कैराथियोडोरी कसौटी पर खरे उतरते हैं, जो प्रत्येक $$ A\subseteq \mathbb{R}$$ के लिए यह आवश्यक है:
 * $$\lambda^{\!*\!}(A) = \lambda^{\!*\!}(A \cap E) + \lambda^{\!*\!}(A \cap E^c).$$

ऐसे सभी $$E$$ का समुच्चय σ-बीजगणित बनाता है। ऐसे किसी भी $$E$$ के लिए, इसके लेबेस्ग माप को इसके लेबेस्ग बाहरी माप के रूप में परिभाषित किया गया है: $$\lambda(E) = \lambda^{\!*\!}(E)$$.

एक समुच्चय $$E$$ जो कैराथियोडोरी कसौटी पर खरा नहीं उतरता है वह लेबेस्ग-मापने योग्य नहीं है। जेडएफसी सिद्ध करता है कि गैर-मापने योग्य समुच्चय उपस्थित हैं; उदाहरण विटाली समुच्चय है।

अंतर्ज्ञान
परिभाषा के पहले भाग में कहा गया है कि सबसेट $$E$$ खुले अंतराल के समुच्चय द्वारा कवरेज द्वारा वास्तविक संख्याओं को इसके बाहरी माप में घटा दिया जाता है। अंतराल के इन समुच्चयों में से प्रत्येक अर्थ में $$I$$, $$E$$ को कवर करता है, चूंकि इन अंतरालों के मिलन में $$E$$ सम्मिलित होता है। किसी भी कवरिंग अंतराल समुच्चय की कुल लंबाई के माप को $$E$$ अधिक अनुमानित कर सकती है, क्योंकि $$E$$ अंतरालों के मिलन का एक उपसमुच्चय है, और इसलिए अंतरालों में वे बिंदु सम्मिलित हो सकते हैं जो $$E$$ के अंदर नहीं हैं। लेबेस्ग बाहरी माप निम्नतम और उच्चतम के रूप में उभर कर आता है। ऐसे सभी संभावित समुच्चयों में से लंबाई की सबसे निचली सीमा (इन्फिनिमम) सहज रूप से, यह उन अंतराल समुच्चयों की कुल लंबाई है जो $$E$$ को सबसे अधिक कसकर फिट करते हैं और ओवरलैप नहीं करते हैं।

यह लेबेस्ग बाहरी माप की विशेषता है। क्या यह बाहरी माप लेबेस्ग माप में उचित अनुवाद करता है, यह एक अतिरिक्त नियम पर निर्भर करता है। $$A$$ उपसमुच्चय लेकर इस स्थिति का परीक्षण किया जाता है, वास्तविक संख्याओं $$E$$ का उपयोग करके $$A$$ को दो भागों में विभाजित करने के साधन के रूप: $$A$$ का हिस्सा जो $$E$$ के साथ प्रतिच्छेद करता है और $$A$$ का शेष भाग जो $$E$$ में नहीं है। इन समुच्चयों का अंतर $$A$$ और $$E$$ है। ये विभाजन $$A$$ बाहरी माप के अधीन हैं। यदि संभव हो तो वास्तविक संख्याओं के ऐसे सभी उपसमुच्चयों के लिए, $$E$$ द्वारा काटे गए $$A$$ के विभाजन में बाहरी माप हैं, जिनका योग $$A$$ का बाहरी माप है, तो $$E$$ का बाहरी लेबेस्ग्यू माप इसका लेबेस्ग माप देता है। सहजता से, इस स्थिति का अर्थ है कि समुच्चय $$E$$ में कुछ विचित्र गुण नहीं होने चाहिए जो दूसरे समुच्चय के माप में विसंगति का कारण बनते हैं, जब उस समुच्चय को क्लिप करने के लिए एक मास्क के रूप में $$E$$ का उपयोग किया जाता है, जो समुच्चय के अस्तित्व पर संकेत देता है जिसके लिए लेबेस्ग्यू बाहरी माप लेबेस्ग माप नहीं देता है। (इस तरह के समुच्चय, वास्तव में, लेबेस्ग-मापने योग्य नहीं हैं।)

उदाहरण

 * कोई बंद अंतराल {{nowrap|[ a, b]}वास्तविक संख्याओं का } लेबेस्ग-मापने योग्य है, और इसका लेबेस्ग माप लंबाई है b &minus; a. खुला अंतराल (a, b) का एक ही माप है, क्योंकि दो समुच्चयों के बीच समुच्चय अंतर में केवल अंतिम बिंदु a और b होते हैं, जिनमें से प्रत्येक का माप शून्य होता है।
 * अंतराल का कोई कार्टेशियन उत्पाद [a, b] और [c, d] लेबेस्ग-measurable है, और इसका लेबेस्ग माप है (b &minus; a)(d &minus; c), संगत आयत का क्षेत्रफल।
 * इसके अलावा, हर बोरेल समुच्चय लेबेस्ग-मापने योग्य है। हालांकि, लेबेस्ग-मापने योग्य समुच्चय हैं जो बोरेल समुच्चय नहीं हैं।
 * वास्तविक संख्याओं के किसी भी गणनीय समुच्चय का लेबेस्ग माप 0 है। विशेष रूप से, बीजगणितीय संख्याओं के समुच्चय का लेबेस्ग माप 0 है, भले ही समुच्चय R में Dense समुच्चय है।
 * कैंटर समुच्चय और लिउविल संख्या का समुच्चय बेशुमार समुच्चयों के उदाहरण हैं जिनमें लेबेस्ग माप 0 है।
 * यदि नियतत्व का स्वयंसिद्ध सिद्धांत मान्य है तो वास्तविक के सभी समुच्चय लेबेस्ग-मापने योग्य हैं। हालांकि निर्धारण पसंद के स्वयंसिद्ध के साथ संगत नहीं है।
 * विटाली समुच्चय उन समुच्चयों के उदाहरण हैं जो लेबेस्ग माप के संबंध में गैर-मापने योग्य समुच्चय हैं। उनका अस्तित्व पसंद के स्वयंसिद्ध पर निर्भर करता है।
 * ओस्गुड वक्र सकारात्मक संख्या लेबेस्ग माप के साथ सरल समतल वक्र हैं (इसे पीनो वक्र निर्माण के छोटे बदलाव से प्राप्त किया जा सकता है)। ड्रैगन वक्र एक और असामान्य उदाहरण है।
 * कोई भी लाइन $$\mathbb{R}^n$$, के लिए $$n \geq 2$$, एक शून्य लेबेस्ग माप है। सामान्य तौर पर, प्रत्येक उचित hyperplane के परिवेश स्थान में एक शून्य लेबेस्ग माप होता है।

गुण
आर पर लेबेस्ग माप के निम्नलिखित गुण हैं:


 * 1) यदि A अंतराल I का कार्टेशियन उत्पाद है1 × मैं2 × ⋯ × मैंn, तो A लेबेस्ग-measurable and है $$\lambda (A)=|I_1|\cdot |I_2|\cdots |I_n|.$$
 * 2) यदि A गणनीय असंयुक्त लेबेस्ग-मापने योग्य समुच्चयों का एक असंयुक्त संघ है, तो A स्वयं लेबेस्ग-मापने योग्य है और λ(A) सम्मिलित मापन योग्य समुच्चयों के मापों के योग (या अनंत श्रृंखला) के बराबर है।
 * 3) यदि A लेबेस्ग-मापने योग्य है, तो इसका पूरक (सेट सिद्धांत) भी है।
 * 4) λ(A) ≥ 0 प्रत्येक लेबेस्ग-मापने योग्य समुच्चय A के लिए।
 * 5) यदि A और B लेबेस्ग-मापने योग्य हैं और A, B का उपसमुच्चय है, तो λ(A) ≤ λ(B). (2. का परिणाम)
 * 6) लेबेस्ग-measurable समुच्चय के काउंटेबल संघ (सेट सिद्धांत) और चौराहा (सेट सिद्धांत) लेबेस्ग-measurable हैं। (2 और 3 का परिणाम नहीं है, क्योंकि समुच्चय का एक परिवार जो पूरक और असंबद्ध गणनीय यूनियनों के तहत बंद है, को गणनीय यूनियनों के तहत बंद करने की आवश्यकता नहीं है: $$\{\emptyset, \{1,2,3,4\}, \{1,2\}, \{3,4\}, \{1,3\}, \{2,4\}\}$$.)
 * 7) यदि A 'R' का एक खुला समुच्चय या बंद समुच्चय सबसेट हैn (या यहां तक ​​कि बोरेल समुच्चय, मीट्रिक स्थान देखें), तो A लेबेस्ग-मापने योग्य है।
 * 8) यदि ए एक लेबेस्ग-मापने योग्य समुच्चय है, तो यह लेबेस्ग माप के अर्थ में लगभग खुला और लगभग बंद है।
 * 9) एक लेबेस्ग-मापने योग्य समुच्चय को एक खुले समुच्चय और एक निहित बंद समुच्चय के बीच निचोड़ा जा सकता है। इस संपत्ति का उपयोग लेबेस्ग मापनीयता की वैकल्पिक परिभाषा के रूप में किया गया है। ज्यादा ठीक, $$E\subset \mathbb{R}$$ लेबेस्ग-मापने योग्य है अगर और केवल अगर सबके लिए $$\varepsilon>0$$ वहाँ एक खुला समुच्चय उपस्थित है $$G$$ और एक बंद समुच्चय $$F$$ ऐसा है कि $$F\subset E\subset G$$ और $$\lambda(G\setminus F)<\varepsilon$$.
 * 10) एक लेबेस्ग-मापने योग्य समुच्चय को युक्त Gδ समुच्चय के बीच निचोड़ा जा सकता है|Gδ समुच्चय और एक निहित Fσ समुच्चय | एफσ. यानी, अगर A लेबेस्ग-measurable है तो Gδ समुच्चय उपस्थित है | Gδ समुच्चय G और एक Fσ समुच्चय|FσF ऐसा कि G ⊇ A ⊇ F और λ(G \ A) = λ(A \ F) = 0।
 * 11) लेबेस्ग माप स्थानीय रूप से परिमित माप और आंतरिक नियमित माप दोनों है, और इसलिए यह एक रेडॉन माप है।
 * 12) लेबेस्ग माप गैर-खाली खुले समुच्चयों पर सख्ती से सकारात्मक माप है, और इसलिए इसका समर्थन (माप सिद्धांत) संपूर्ण 'R' हैएन.
 * 13) यदि A λ(A) = 0 (एक अशक्त समुच्चय) के साथ एक लेबेस्ग-मापने योग्य समुच्चय है, तो A का प्रत्येक उपसमुच्चय भी एक अशक्त समुच्चय है। ए फोर्टियोरी, ए का प्रत्येक उपसमुच्चय औसत दर्जे का है।
 * 14) यदि A लेबेस्ग-मापने योग्य है और x 'R' का एक तत्व हैn, तो A + x = {a + x : a ∈ A} द्वारा परिभाषित x द्वारा A का अनुवाद भी लेबेस्ग-मापने योग्य है और A के समान माप है।
 * 15) यदि ए लेबेस्ग-मापने योग्य है और $$\delta>0$$, फिर का फैलाव $$A$$ द्वारा $$\delta$$द्वारा परिभाषित $$\delta A=\{\delta x:x\in A\}$$ लेबेस्ग-measurable भी है और इसका माप है $$\delta^{n}\lambda\,(A).$$
 * 16) अधिक आम तौर पर, यदि टी एक रैखिक परिवर्तन है और ए 'आर' का मापनीय उपसमुच्चय हैn, तो T(A) भी लेबेस्ग-measurable है और इसका माप है $$\left|\det(T)\right| \lambda(A)$$.

उपरोक्त सभी को संक्षेप में संक्षेप में प्रस्तुत किया जा सकता है (हालांकि पिछले दो दावे गैर-तुच्छ रूप से निम्नलिखित से जुड़े हुए हैं):


 * लेबेस्ग-measurable समुच्चय एक sigma-algebra|σ-बीजगणित बनाते हैं जिसमें अंतराल के सभी उत्पाद होते हैं, और λ अद्वितीय पूर्ण माप अनुवाद संबंधी व्युत्क्रम है। अनुवाद-अपरिवर्तनीय माप (गणित) उस σ-बीजगणित पर $$\lambda([0,1]\times [0, 1]\times \cdots \times [0, 1])=1.$$

लेबेस्ग माप में सिग्मा-परिमित माप|σ-परिमित होने का गुण भी है।

अशक्त समुच्चय
R का एक उपसमुच्चयn एक रिक्त समुच्चय है, यदि प्रत्येक ε > 0 के लिए, इसे n अंतरालों के गिने-चुने कई उत्पादों से कवर किया जा सकता है, जिनकी कुल मात्रा अधिकतम ε है। सभी गणनीय समुच्चय अशक्त समुच्चय होते हैं।

यदि 'R' का उपसमुच्चयn का हौसडॉर्फ आयाम n से कम है तो यह n-आयामी लेबेस्ग माप के संबंध में एक शून्य समुच्चय है। यहाँ हॉसडॉर्फ आयाम 'आर' पर यूक्लिडियन मीट्रिक के सापेक्ष हैn (या इसके समतुल्य कोई मीट्रिक रूडोल्फ लिपशिट्ज)। दूसरी ओर, एक समुच्चय में एन से कम टोपोलॉजिकल आयाम हो सकता है और सकारात्मक एन-आयामी लेबेस्ग माप हो सकता है। इसका एक उदाहरण स्मिथ-वोल्तेरा-कैंटर समुच्चय है, जिसका सामयिक आयाम 0 है, फिर भी सकारात्मक 1-आयामी लेबेस्ग माप है।

यह दिखाने के लिए कि दिया गया समुच्चय A लेबेस्ग-मापने योग्य है, सामान्यतः एक अच्छे समुच्चय B को खोजने का प्रयास किया जाता है जो A से केवल एक शून्य समुच्चय से भिन्न होता है (इस अर्थ में कि सममित अंतर (A − B) ∪ (B − A) ) एक शून्य समुच्चय है) और फिर दिखाएं कि खुले या बंद समुच्चयों से काउंटेबल यूनियनों और चौराहों का उपयोग करके बी उत्पन्न किया जा सकता है।

लेबेस्ग माप का निर्माण
लेबेस्ग माप का आधुनिक निर्माण कैराथोडोरी के विस्तार प्रमेय का एक अनुप्रयोग है। यह निम्नानुसार आगे बढ़ता है।

हल करना n &isin; N. आर में एक बॉक्सn फॉर्म का एक समुच्चय है
 * $$B=\prod_{i=1}^n [a_i,b_i] \, ,$$

कहाँ bi &ge; ai, और यहां उत्पाद प्रतीक कार्टेशियन उत्पाद का प्रतिनिधित्व करता है। इस बॉक्स की मात्रा को परिभाषित किया गया है
 * $$\operatorname{vol}(B)=\prod_{i=1}^n (b_i-a_i) \, .$$

'R' के किसी उपसमुच्चय A के लिएn, हम इसके बाहरी माप λ*(A) को निम्न द्वारा परिभाषित कर सकते हैं:


 * $$\lambda^*(A) = \inf \left\{\sum_{B\in \mathcal{C}}\operatorname{vol}(B) : \mathcal{C}\text{ is a countable collection of boxes whose union covers }A\right\} .$$

फिर हम समुच्चय A को लेबेस्ग-मापने योग्य के रूप में परिभाषित करते हैं यदि 'R' के प्रत्येक उपसमुच्चय S के लिएएन,
 * $$\lambda^*(S) = \lambda^*(S \cap A) + \lambda^*(S \setminus A) \, .$$

ये लेबेस्ग-measurable समुच्चय एक σ-algebra|σ-algebra बनाते हैं, और लेबेस्ग माप द्वारा परिभाषित किया गया है किसी भी लेबेस्ग-मापने योग्य समुच्चय ए के लिए।

सेट का अस्तित्व जो लेबेस्ग-मापने योग्य नहीं हैं, पसंद के समुच्चय-सैद्धांतिक सिद्धांत का परिणाम है, जो समुच्चय सिद्धांत के लिए स्वयंसिद्धों के कई पारंपरिक प्रणालियों से स्वतंत्र है। विटाली समुच्चय, जो स्वयंसिद्ध से अनुसरण करता है, कहता है कि 'आर' के उपसमुच्चय उपस्थित हैं जो लेबेस्ग-मापने योग्य नहीं हैं। पसंद के स्वयंसिद्ध को मानते हुए, कई आश्चर्यजनक गुणों के साथ गैर-मापने योग्य समुच्चय प्रदर्शित किए गए हैं, जैसे कि बनच-टार्स्की विरोधाभास।

1970 में, रॉबर्ट एम. सोलोवे ने दिखाया कि पसंद के स्वयंसिद्ध के अभाव में ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के ढांचे के भीतर लेबेस्ग-मापने योग्य नहीं होने वाले समुच्चय का अस्तित्व सिद्ध नहीं होता है (सोलोवे का मॉडल देखें)।

अन्य मापों से संबंध
बोरेल माप उन समुच्चयों पर लेबेस्ग माप से सहमत है जिसके लिए इसे परिभाषित किया गया है; हालांकि, बोरल माप योग्य समुच्चयों की तुलना में कई अधिक लेबेस्ग-मापने योग्य समुच्चय हैं। बोरेल माप अनुवाद-अपरिवर्तनीय है, लेकिन पूर्ण माप नहीं है।

हार माप को किसी भी स्थानीय रूप से कॉम्पैक्ट समूह पर परिभाषित किया जा सकता है और यह लेबेस्ग माप (आरn जोड़ के साथ एक स्थानीय रूप से कॉम्पैक्ट समूह है)।

हॉसडॉर्फ माप, लेबेस्ग माप का एक सामान्यीकरण है जो 'आर' के सबसेट को मापने के लिए उपयोगी है।n से कम आयामों का n, जैसे कि सबमेनिफोल्ड, उदाहरण के लिए, 'R' में सतहें या वक्र3 और भग्न समुच्चय। हॉसडॉर्फ माप को हॉसडॉर्फ आयाम की धारणा से भ्रमित नहीं होना चाहिए।

यह दिखाया जा सकता है कि कोई अनंत-आयामी लेबेस्ग माप नहीं है | लेबेस्ग माप का कोई अनंत-आयामी एनालॉग नहीं है।

यह भी देखें

 * लेबेस्ग का घनत्व प्रमेय
 * लिउविल संख्याएं और माप
 * गैर-मापने योग्य समुच्चय
 * विटाली समुच्चय