Prove that the set of rational numbers ℚ is dense in ℝ but has measure zero.

Answer: परिमेय संख्याओं का समुच्चय Q\mathbb{Q} वास्तविक संख्याओं के समुच्चय R\mathbb{R} में सघन है और इसका माप शून्य है।

Step-by-step solution

Step 1: परिमेय संख्याओं का R\mathbb{R} में सघन होना सिद्ध करना

यह सिद्ध करने के लिए कि परिमेय संख्याओं का समुच्चय Q\mathbb{Q} वास्तविक संख्याओं के समुच्चय R\mathbb{R} में सघन है, हमें यह दिखाना होगा कि किन्हीं भी दो भिन्न वास्तविक संख्याओं xx और yy के बीच कम से कम एक परिमेय संख्या qq मौजूद होती है। हम आर्किमिडीज़ सिद्धांत का उपयोग करके इसे सिद्ध कर सकते हैं।

Step 2: आर्किमिडीज़ सिद्धांत का अनुप्रयोग

आर्किमिडीज़ सिद्धांत के अनुसार, किन्हीं भी दो धनात्मक वास्तविक संख्याओं aa और bb के लिए, एक प्राकृतिक संख्या nn मौजूद होती है जैसे कि na>bna > b । यहाँ, हम a=y−xa = y-x और b=1b = 1 लेते हैं। तो, एक प्राकृतिक संख्या nn मौजूद है जैसे कि n(y−x)>1n(y-x) > 1, जिसका अर्थ है y−x>1ny-x > \frac{1}{n} ।

Step 3: परिमेय संख्या qq का निर्माण

अब, हम एक पूर्णांक mm चुनते हैं जैसे कि m−1≤nx<mm-1 \le nx < m । यह पूर्णांक mm हमेशा मौजूद होता है क्योंकि nxnx एक वास्तविक संख्या है और पूर्णांकों के बीच स्थित है। इस असमानता को nn से विभाजित करने पर हमें m−1n≤x<mn\frac{m-1}{n} \le x < \frac{m}{n} मिलता है।

Step 4: परिमेय संख्या qq की पहचान

हमने दिखाया कि x<mnx < \frac{m}{n} । अब हमें यह दिखाना है कि mn<y\frac{m}{n} < y । हम जानते हैं कि m−1≤nxm-1 \le nx, इसलिए m≤nx+1m \le nx+1 । इसे nn से विभाजित करने पर mn≤x+1n\frac{m}{n} \le x + \frac{1}{n} । चूंकि y−x>1ny-x > \frac{1}{n}, इसका मतलब है x+1n<yx + \frac{1}{n} < y । इन दोनों को मिलाकर, हमें x<mn<yx < \frac{m}{n} < y मिलता है। चूंकि mn\frac{m}{n} एक परिमेय संख्या है (क्योंकि mm पूर्णांक है और nn प्राकृतिक संख्या है), हमने सिद्ध कर दिया कि Q\mathbb{Q} R\mathbb{R} में सघन है।

Step 5: परिमेय संख्याओं के समुच्चय का माप शून्य होना सिद्ध करना

परिमेय संख्याओं का समुच्चय Q\mathbb{Q} गणनीय है, जिसका अर्थ है कि हम इसे q1,q2,q3,…q_1, q_2, q_3, \dots के रूप में सूचीबद्ध कर सकते हैं। प्रत्येक परिमेय संख्या qiq_i को एक अंतराल (qi−ϵ2i+1,qi+ϵ2i+1)(q_i - \frac{\epsilon}{2^{i+1}}, q_i + \frac{\epsilon}{2^{i+1}}) से ढकें, जिसकी लंबाई ϵ2i\frac{\epsilon}{2^i} है।

Step 6: माप की गणना

इन अंतरालों के संघ का माप व्यक्तिगत अंतरालों के मापों के योग से कम या उसके बराबर होगा। यह एक ज्यामितीय श्रृंखला है जिसका योग ϵ\epsilon है। चूंकि ϵ\epsilon कोई भी धनात्मक संख्या हो सकती है, और हम इसे मनमाने ढंग से छोटा बना सकते हैं, इसका मतलब है कि परिमेय संख्याओं के समुच्चय का माप शून्य है।

Solve your own maths question free →