शून्य समुच्चय

For बिना तत्वों वाला सेट, see खाली सेट.

For किसी फ़ंक्शन के शून्य का सेट, see शून्य सेट.

$\mathbb {R} ^{2}$सिएर्पिंस्की त्रिभुज रूपांतर में एक नुल बिंदु समुच्चय का एक उदाहरण है।

गणितीय विश्लेषण में, एक शून्य समुच्चय $N\subset \mathbb {R}$ एक मापने योग्य समुच्चय है जिसका माप शून्य है। इसे एक समुच्चय के रूप में वर्णित किया जा सकता है जो इच्छानुसार से छोटी कुल लंबाई के अंतराल (गणित) के एक गणनीय संघ के माध्यम से कवर (टोपोलॉजी) हो सकता है।

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

अधिक सामान्य रूप से, दिए गए माप स्थान $M=(X,\Sigma ,\mu )$ एक शून्य समुच्चय उस समुच्चय को कहा जाता है जिसके लिए$S\in \Sigma$ ऐसा है कि $\mu (S)=0$. होता है।

उदाहरण

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

कैंटर समुच्चय एक अगणित नुल समुच्चय का एक उदाहरण है।

परिभाषा

यदि $A$ वास्तविक रेखा $\mathbb {R}$ के एक सबसेट है जिसके लिए

$$\forall \varepsilon >0,\ \exists \left\{U_{n}\right\}_{n}:U_{n}=(a_{n},b_{n})\subset \mathbb {R} :\quad A\subset \bigcup _{n=1}^{\infty }U_{n}\ {\textrm {and}}\ \sum _{n=1}^{\infty }\left|U_{n}\right|<\varepsilon \,,$$

जहां U_n अंतराल (गणित) हैं और |U| की लंबाई है U, तो A एक शून्य समुच्चय है, शून्य-सामग्री के समुच्चय के रूप में भी जाना जाता है।

गणितीय विश्लेषण की शब्दावली में, इस परिभाषा के लिए आवश्यक है कि इसके खुले आवरणों का एक क्रम हो A जिसके लिए कवर की लंबाई के अनुक्रम की सीमा शून्य है।

गुण

रिक्त समुच्चय सदैव शून्य समुच्चय होता है। अधिक सामान्यतः, अशक्त सेटों का कोई भी गणनीय संघ (सेट सिद्धांत) शून्य होता है। किसी भी शून्य समुच्चय के उपसमुच्चय अपने आप में शून्य समुच्चय होता है।सभी तथ्यों के साथ, यह बात साबित करती है कि एक्स के m-शून्य[[[Category:Wikipedia articles needing clarification from December 2020]] समुच्चय X पर एक सिग्मा-आदर्श बनाते हैं। इसी प्रकार, मापने योग्य m-शून्य समुच्चय औसत अंकिते के समुच्चय के सिग्मा-बीजगणित का सिग्मा-आदर्श बनाते हैं। इस प्रकार, अशक्त समुच्चय की व्याख्या नगण्य समुच्चय के रूप में की जा सकती है, जो अधिकतर हर जगह की धारणा को परिभाषित करता है।

लेबेस्ग उपाय

यूक्लिडियन अंतरिक्ष के सबसेट के लिए लंबाई, क्षेत्र या मात्रा निर्दिष्ट करने का मानक प्रणाली लेबेस्गु माप है।

$\mathbb {R}$ का एक उपसमुच्चय N का लेबेस्ग माप शून्य है और इसे एक शून्य समुच्चय माना जाता है $\mathbb {R}$ यदि और एकमात्र यदि:

किसी भी धनात्मक संख्या ε को देखते हुए, अस्तित्वगत मात्रा का ठहराव एक अनुक्रम {I_n} अंतराल (गणित) में $\mathbb {R}$ ऐसा है कि एन के मिलन में निहित है {I_n} और संघ की कुल लंबाई ε से कम है।

इस स्थिति को सामान्यीकृत किया जा सकता है $\mathbb {R} ^{n}$, अंतरालों के अतिरिक्त n-क्यूब (ज्यामिति) का उपयोग करना। वास्तव में, किसी भी कई गुना पर विचार करने के लिए विचार किया जा सकता है, के होने पर भी वहां कोई लेबेस्गु उपाय न हो।

उदाहरण के लिए:

• इसके संबंध में $\mathbb {R} ^{n}$, सभी सिंगलटन (गणित) शून्य हैं, और इसलिए सभी गणनीय समुच्चय शून्य हैं। विशेष रूप से, परिमेय संख्याओं का समुच्चय Q, में सघन (टोपोलॉजी) होने के अतिरिक्त एक रिक्त समुच्चय है $\mathbb {R}$.
• कैंटर समुच्चय का मानक निर्माण शून्य बेशुमार समुच्चय का एक उदाहरण है $\mathbb {R}$; चूँकि अन्य निर्माण संभव हैं जो कैंटर को किसी भी उपाय को निर्धारित करते हैं।
• के सभी उपसमुच्चय $\mathbb {R} ^{n}$ जिसका आयाम n से छोटा है, में अशक्त लेबेस्ग माप है $\mathbb {R} ^{n}$. उदाहरण के लिए सीधी रेखाएँ या वृत्त अशक्त समुच्चय हैं $\mathbb {R} ^{2}$.
• सार्ड्स लेम्मा: एक सुचारू कार्य के महत्वपूर्ण मूल्यों के समुच्चय का माप शून्य है।

यदि λ के लिए लेबेस्गु माप है $\mathbb {R}$ और π के लिए लेबेस्ग माप है $\mathbb {R} ^{2}$, फिर उत्पाद माप $\lambda \times \lambda =\pi$. अशक्त समुच्चयों के संदर्भ में, निम्नलिखित तुल्यता को फ़ुबिनी के प्रमेय की शैली दी गई है: * के लिए $A\subset \mathbb {R} ^{2}$ और $A_{x}=\{y:(x,y)\in A\},$

$$\pi (A)=0\iff \lambda \left(\left\{x:\lambda \left(A_{x}\right)>0\right\}\right)=0.$$

उपयोग

नल सेट लेबेस्ग इंटीग्रल की परिभाषा में एक महत्वपूर्ण भूमिका निभाते हैं: यदि फ़ंक्शंस है f और g नुल सेट को छोड़कर बराबर होते हैं, तो f इंटीग्रेबल है यदि और केवल यदि g है, इंटीग्रेबल है, और उनका इंटीग्रल भी बराबर होता है। इससे एलपी स्पेस की औपचारिक परिभाषा को भी समझने में मदद मिलती है, जिसमें फ़ंक्शंस के एक्विवलेंस क्लासों का सेट बनाया जाता है जो केवल नल सेटों पर अलग-अलग होते हैं।

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

कैंटर समुच्चय का एक उपसमुच्चय जो बोरेल मापने योग्य नहीं है

बोरेल माप पूर्ण नहीं है। एक सरल निर्माण यह है कि मानक कैंटर सेट K, शुरू करें, जो बंद है इसलिए बोरेल मापनीय है, और जिसका माप शून्य है, और K का एक उपसेट F ढूंढें जो बोरेल मापनीय नहीं है। (क्योंकि लेबेग माप पूर्ण है, इसलिए यह F लेबेग मापनीय है।)

सबसे पहले, हमें जानना होगा कि सकारात्मक माप के प्रत्येक समुच्चय में गैर-मापने योग्य उपसमुच्चय होता है। f कैंटर फ़ंक्शन होती है, जो K^c,पर स्थानांतरित एक स्थिर फ़ंक्शन है, और [0, 1] पर एकतांत बढ़ती है, जिसमें f(0) = 0 और f(1) = 1. होता है। स्पष्ट है कि f(K^c) गणनीय होगा, क्योंकि यह K^c के प्रत्येक घटक में एक बिंदु शामिल करता है। इसलिए f(K^c) का माप शून्य होगा, इसलिए f(K) का माप एक होगा। हमें एक सख्त मोनोटोनिक फ़ंक्शन की आवश्यकता है, इसलिए g(x) = f(x) + xका विवेचन करें। g(x) सख्ती से मोनोटोनिक और निरंतर है, यह होमियोमोर्फिज्म है। आगे, g(K) का माप एक है। होने देना E ⊂ g(K) गैर-मापने योग्य हो, और चलो F = g⁻¹(E). क्योंकि g इंजेक्शन है, हमारे पास वह है F ⊂ K, इसलिए F एक शून्य समुच्चय है। चूंकि, यदि यह बोरेल औसत अंकिते का था, तो g(F) बोरेल मापने योग्य भी होगा (यहां हम इस तथ्य का उपयोग करते हैं कि निरंतर कार्य के माध्यम से समुच्चय किए गए बोरेल की छवि (गणित) मापने योग्य है; g(F) = (g⁻¹)⁻¹(F) निरंतर कार्य के माध्यम से F की पूर्वछवि है h = g⁻¹।) इसलिए, F एक अशक्त, किन्तु गैर-बोरेल औसत अंकिते का समुच्चय है।

हार नल

एक [[वियोज्य स्थान|वियोज्य स्थान (X, +)]] में बनच स्थान , समूह संचालन किसी भी सबसेट को स्थानांतरित करता है A ⊂ X अनुवाद करने के लिए A + x किसी के लिए x ∈ X. जब कोई संभाव्यता माप होती है μ के बोरेल सबसेट के σ-बीजगणित पर X, ऐसा कि सभी के लिए x, μ(A + x) = 0, तब A उसका शून्य समुच्चय है।

यह शब्द अनुवाद के उपायों के अशक्त व्युत्क्रम को संदर्भित करता है, इसे हार माप के साथ मिले पूर्ण व्युत्क्रम के साथ जोड़ता है।

टोपोलॉजिकल समूहों के कुछ बीजगणितीय गुणों को सबसेट के आकार और हार नल समुच्चय से संबंधित किया गया है।

पोलिश समूहों में हार नल समुच्चय का उपयोग यह दिखाने के लिए किया गया है कि जब A अल्प समुच्चय नहीं है A⁻¹A में पहचान तत्व का एक खुला पड़ोस होता है। इस संपत्ति का नाम ह्यूगो स्टीनहॉस के नाम पर रखा गया है क्योंकि यह स्टीनहॉस प्रमेय का निष्कर्ष है।

यह भी देखें

• कैंटर फ़ंक्शन
• उपाय (गणित)
• खाली सेट
• कुछ नहीं

अग्रिम पठन

• Capinski, Marek; Kopp, Ekkehard (2005). Measure, Integral and Probability. Springer. p. 16. ISBN 978-1-85233-781-0.
• Jones, Frank (1993). Lebesgue Integration on Euclidean Spaces. Jones & Bartlett. p. 107. ISBN 978-0-86720-203-8.
• Oxtoby, John C. (1971). Measure and Category. Springer-Verlag. p. 3. ISBN 978-0-387-05349-3.