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

For बिना किसी अवयव वाला समुच्चय, see रिक्त समुच्चय.

For किसी फलन के शून्य का समुच्चय, see शून्य समुच्चय.

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

गणितीय विश्लेषण में, शून्य समुच्चय वास्तविक संख्याओं का लेबेस्ग्यू् मापनीय समुच्चय होता है जिसमें लेबेस्ग्यू् का माप शून्य होता है। इसे समुच्चय के रूप में चित्रित किया जा सकता है जिसे यादृच्छिक रूप से छोटी कुल लंबाई के अंतराल (गणित) के गणनीय संघ द्वारा आच्छादित (टोपोलॉजी) किया जा सकता है।

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

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

उदाहरण

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

इस प्रकार से कैंटर समुच्चय अगणनीय शून्य समुच्चय का उदाहरण है।

परिभाषा

अतः मान लीजिए $A$ वास्तविक रेखा $\mathbb {R}$ का उपसमुच्चय है जैसे कि प्रत्येक $\varepsilon >0$ के लिए, विवृत अंतरालों का एक अनुक्रम $U_{1},U_{2},\ldots$ स्थित होता है (जहां अंतराल $U_{n}=(a_{n},b_{n})\subseteq \mathbb {R}$ की लंबाई $\operatorname {length} (U_{n})=b_{n}-a_{n}$) है जैसे कि

$$A\subseteq \bigcup _{n=1}^{\infty }U_{n}\ ~{\textrm {and}}~\ \sum _{n=1}^{\infty }\operatorname {length} (U_{n})<\varepsilon \,,$$

तो $A$ शून्य समुच्चय है, जिसे शून्य-विवरण के समुच्चय के रूप में भी जाना जाता है।

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

गुण

अतः रिक्त समुच्चय सदैव शून्य समुच्चय होता है। अधिक सामान्यतः, अशक्त समुच्चयों का कोई भी गणनीय संघ (समुच्चय सिद्धांत) अशक्त होता है। शून्य समुच्चय का कोई भी उपसमुच्चय स्वयं शून्य समुच्चय होता है। इस प्रकार से साथ में, ये तथ्य दर्शाते हैं कि $X$ के $m$-शून्य समुच्चय $X$ पर सिग्मा-आदर्श बनाते हैं। इसी प्रकार, मापनीय $m$-शून्य समुच्चय मापनीय समुच्चयों के सिग्मा-बीजगणित का सिग्मा-आदर्श बनाते हैं। इस प्रकार, शून्य समुच्चय की व्याख्या नगण्य समुच्चय के रूप में की जा सकती है, जो लगभग प्रत्येक समष्टिकी धारणा को परिभाषित करता है।

लेबेस्ग्यू माप

इस प्रकार से लेबेस्ग्यू माप यूक्लिडियन समष्टि के उपसमुच्चय को लंबाई, क्षेत्र या आयतन निर्दिष्ट करने की मानक विधि है।

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

कोई भी धनात्मक संख्या $\varepsilon$ को देखते हुए $\mathbb {R}$ में अंतरालों अस्तित्वगत परिमाणीकरण का क्रम $I_{1},I_{2},\ldots$ होता है, जैसे कि $N$, $I_{1},I_{2},\ldots$ के मिलान में समाहित होता है और मिलन की कुल लंबाई $\varepsilon$ से कम होती है।

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

इस प्रकार से उदाहरण के लिए:

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

यदि $\lambda$, $\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$ पूर्णांक है, यदि और मात्र यदि