सांस्थिति: आधार, रचनाएँ, संबद्धता, संहतता व पृथक्करण अभिगृहीत
1. सांस्थितियाँ, आधार व उपाधार
X पर सांस्थिति उपसमुच्चयों का ऐसा कुल है जिसमें ∅ व X हों, और जो स्वेच्छ सम्मिलनों व परिमित प्रतिच्छेदों के अंतर्गत संवृत हो। आधार 𝓑, X को ढँकने वाला ऐसा कुल है कि B₁, B₂ ∈ 𝓑 तथा x ∈ B₁ ∩ B₂ हेतु किसी B₃ ∈ 𝓑 में x ∈ B₃ ⊆ B₁ ∩ B₂; तब विवृत समुच्चय आधार-अवयवों के सम्मिलन हैं। X को ढँकने वाला कोई भी कुल 𝓢 उपाधार है: उसके परिमित प्रतिच्छेद आधार बनाते हैं। उदाहरण: X = {a, b, c} पर उपाधार {{a, b}, {b, c}}, ∅, {b}, {a, b}, {b, c}, X उत्पन्न करता है — पाँच विवृत समुच्चय।
| सांस्थिति | विवृत समुच्चय | रूपरेखा |
|---|---|---|
| विविक्त | प्रत्येक उपसमुच्चय | दूरीकरणीय; पूर्णतः असंबद्ध; संहत यदि और केवल यदि परिमित |
| अविविक्त | ∅ व ℝ | संबद्ध, संहत, T₁ नहीं |
| सहपरिमित | ∅ तथा परिमित समुच्चयों के पूरक | T₁, हाउसडॉर्फ़ नहीं; संबद्ध; प्रत्येक उपसमुच्चय संहत |
| निम्न-सीमा ℝℓ | [a, b) के सम्मिलन | सामान्य से सूक्ष्मतर; प्रसामान्य; प्रथम गणनीय, वियोज्य, लिंडेलॉफ़, द्वितीय गणनीय नहीं, दूरीकरणीय नहीं; पूर्णतः असंबद्ध |
2. उपसमष्टि, क्रम, गुणन, विभाग व दूरीक सांस्थितियाँ
- उपसमष्टि: A ⊆ X के विवृत समुच्चय U ∩ A हैं, U, X में विवृत। A = [0, 1] ∪ (2, 3] में समुच्चय [0, 1] विवृत (= A ∩ (−1, 3/2)) व संवृत है।
- रैखिकतः क्रमित समुच्चय पर क्रम सांस्थिति: विवृत अंतरालों व किरणों का आधार। ℝ पर यह सामान्य सांस्थिति है; ℤ पर विविक्त; शब्दकोशीय क्रम में [0, 1] × [0, 1] पर क्रम सांस्थिति गुणन सांस्थिति नहीं।
- Π Xₐ पर गुणन सांस्थिति: समुच्चयों πₐ⁻¹(U) से जनित, अतः आधारी विवृत समुच्चय केवल परिमित निर्देशांकों को सीमित करते हैं। यह वह स्थूलतम सांस्थिति है जिसमें प्रत्येक प्रक्षेप संतत हो, और गुणन में जाने वाला प्रतिचित्र संतत है यदि और केवल यदि प्रत्येक निर्देशांक हो। सभी निर्देशांकों को सीमित करने वाली पेटी सांस्थिति सूक्ष्मतर है और अनंत गुणनों हेतु भिन्न है।
- आच्छादन q: X → Y से विभाग सांस्थिति: V विवृत है यदि और केवल यदि q⁻¹(V) विवृत हो। 0 ∼ 1 सहित [0, 1] वृत्त S¹ है; सम्मुख भुजाओं को उसी दिशा में जोड़ा गया वर्ग टोरस है, एक युग्म उलटा हो तो क्लाइन बोतल।
- दूरीक सांस्थिति: विवृत गेंदों का आधार। दूरीकरणीय समष्टियाँ हाउसडॉर्फ़, प्रसामान्य व प्रथम गणनीय हैं, अतः इनमें से किसी में विफल समष्टि दूरीकरणीय नहीं।
3. संबद्धता व पथ-संबद्धता
X संबद्ध है यदि उसके केवल विवृत-संवृत उपसमुच्चय ∅ व X हों; पथ-संबद्ध यदि कोई भी दो बिंदु पथ से जुड़े हों। पथ-संबद्ध ⇒ संबद्ध; संबद्ध व स्थानीयतः पथ-संबद्ध (उदा. ℝⁿ का विवृत उपसमुच्चय) ⇒ पथ-संबद्ध। संतत प्रतिबिंब, संवरक, तथा उभयनिष्ठ बिंदु वाले संबद्ध समुच्चयों के सम्मिलन संबद्ध हैं, और संबद्ध समष्टियों के स्वेच्छ गुणन गुणन सांस्थिति में संबद्ध हैं। घटक अधिकतम संबद्ध उपसमुच्चय हैं; वे संवृत हैं और X को विभाजित करते हैं।
- अनंत समुच्चय पर सहपरिमित सांस्थिति संबद्ध है: दो अरिक्त विवृत समुच्चयों के पूरक परिमित हैं और वे अवश्य मिलते हैं।
- ℝℓ पूर्णतः असंबद्ध है: [a, ∞) विवृत है और संवृत भी, उसका पूरक (−∞, a) अंतरालों [a − n, a) का सम्मिलन होने से।
- {(x, y) : xy ≠ 0} के 4 घटक हैं, विवृत चतुर्थांश। GL₂(ℝ) के 2, det > 0 व det < 0, क्योंकि det उस पर संतत है व कभी 0 नहीं, और प्रत्येक चिह्न-वर्ग पथ-संबद्ध है।
4. संहतता, अनुक्रमिक व सीमा-बिंदु संहतता, टाइकोनॉफ़
X संहत है यदि प्रत्येक विवृत आवरण का परिमित उपावरण हो; अनुक्रमतः संहत यदि प्रत्येक अनुक्रम का अभिसारी उपानुक्रम हो; सीमा-बिंदु संहत यदि प्रत्येक अनंत उपसमुच्चय का सीमा बिंदु हो। संहत ⇒ सीमा-बिंदु संहत सदा; दूरीक समष्टियों हेतु तीनों समतुल्य हैं; सामान्यतः संहत व अनुक्रमतः संहत में से कोई दूसरे को नहीं दर्शाता।
| तथ्य | आवश्यक परिकल्पना | उसके बिना प्रति-उदाहरण |
|---|---|---|
| संहत उपसमुच्चय संवृत है | X हाउसडॉर्फ़ | सहपरिमित ℝ: [0, 1] संहत है और संवृत नहीं |
| संहत समष्टि का संवृत उपसमुच्चय संहत है | कोई नहीं | — |
| संहत समष्टि से संतत एकैकी आच्छादन समरूपता है | लक्ष्य हाउसडॉर्फ़ | ([0, 1], सामान्य) से ([0, 1], अविविक्त) तक तत्समक संहत समष्टि से संतत एकैकी आच्छादन है, समरूपता नहीं |
| संहत ⇔ संवृत व परिबद्ध | ℝⁿ के उपसमुच्चय (हाइने–बोरेल) | ℓ² की संवृत इकाई गेंद |
टाइकोनॉफ़ प्रमेय: संहत समष्टियों का स्वेच्छ गुणन गुणन सांस्थिति में संहत है (यह चयन अभिगृहीत के समतुल्य है)। अतः [0, 1]ℕ तथा {0, 1}ℕ (कैंटर समुच्चय) संहत हैं। पेटी सांस्थिति में [0, 1]ℕ संहत नहीं। ℝⁿ का एक-बिंदु संहतीकरण Sⁿ है।
5. गणनीयता व पृथक्करण अभिगृहीत; उरिसोन व टीट्ज़
| अभिगृहीत | अर्थ | संबंध |
|---|---|---|
| प्रथम गणनीय | प्रत्येक बिंदु पर गणनीय प्रतिवेश-आधार | प्रत्येक दूरीक समष्टि |
| द्वितीय गणनीय | गणनीय आधार | ⇒ प्रथम गणनीय, वियोज्य व लिंडेलॉफ़; दूरीक समष्टियों हेतु ⇔ वियोज्य ⇔ लिंडेलॉफ़ |
| वियोज्य | गणनीय सघन उपसमुच्चय | ℝℓ वियोज्य है (ℚ) परंतु द्वितीय गणनीय नहीं |
| लिंडेलॉफ़ | प्रत्येक विवृत आवरण का गणनीय उपावरण | ℝℓ लिंडेलॉफ़ है; ℝℓ × ℝℓ नहीं |
पृथक्करण अभिगृहीत। T₁: बिंदु संवृत हैं। T₂ (हाउसडॉर्फ़): भिन्न बिंदुओं के असंयुक्त प्रतिवेश हैं। नियमित (T₃): बिंदु तथा उसे न रखने वाले संवृत समुच्चय के असंयुक्त प्रतिवेश हैं, तथा T₁। प्रसामान्य (T₄): दो असंयुक्त संवृत समुच्चयों के असंयुक्त प्रतिवेश हैं, तथा T₁। T₄ ⇒ T₃ ⇒ T₂ ⇒ T₁, प्रत्येक निश्चित: ℝ पर सहपरिमित सांस्थिति T₁ है और हाउसडॉर्फ़ नहीं। दूरीक समष्टियाँ व संहत हाउसडॉर्फ़ समष्टियाँ प्रसामान्य हैं; ℝℓ प्रसामान्य है परंतु ℝℓ × ℝℓ नहीं।
- उरिसोन प्रमेयिका: X प्रसामान्य है यदि और केवल यदि किन्हीं असंयुक्त संवृत A, B हेतु संतत f: X → [0, 1] हो जिसके लिए A पर f = 0 व B पर f = 1। दूरीक समष्टि में f = d(x, A)/(d(x, A) + d(x, B)) यह सीधे करता है।
- टीट्ज़ विस्तार प्रमेय: यदि X प्रसामान्य हो और A ⊆ X संवृत, तो प्रत्येक संतत f: A → [a, b] (या → ℝ) का संतत F: X → [a, b] (या ℝ) तक विस्तार होता है। संवृतता अनिवार्य है: ℝ में (0, 1] पर sin(1/x) का ℝ तक कोई संतत विस्तार नहीं।
- उरिसोन दूरीकरण: प्रत्येक नियमित, द्वितीय गणनीय (T₁) समष्टि दूरीकरणीय है।
मुख्य बिंदु
- आधार सम्मिलनों से तथा उपाधार परिमित प्रतिच्छेदों फिर सम्मिलनों से विवृत समुच्चय बनाता है; विविक्त, अविविक्त, सहपरिमित व निम्न-सीमा सांस्थितियाँ कंठस्थ रखें।
- गुणन सांस्थिति परिमित निर्देशांक सीमित करती है; विभाग जोड़ते हैं: [0, 1]/0 ∼ 1, S¹ है तथा दोनों भुजा-युग्म जोड़ा गया वर्ग टोरस।
- पथ-संबद्ध ⇒ संबद्ध, विलोमतः नहीं; संबद्ध समष्टियों के गुणन संबद्ध हैं; सहपरिमित ℝ संबद्ध तथा ℝℓ पूर्णतः असंबद्ध है।
- हाउसडॉर्फ़ समष्टियों के संहत उपसमुच्चय संवृत हैं; संहत ⇒ सीमा-बिंदु संहत; टाइकोनॉफ़ संहत समष्टियों के गुणनों को संहत बनाता है।
- T₄ ⇒ T₃ ⇒ T₂ ⇒ T₁; दूरीक व संहत हाउसडॉर्फ़ समष्टियाँ प्रसामान्य हैं; उरिसोन संवृत समुच्चयों को फलनों से अलग करता है और टीट्ज़ संवृत समुच्चयों से फलनों का विस्तार करता है।
अभ्यास प्रश्न (16)
उत्तर खोलने से पहले प्रत्येक प्रश्न हल करें। हर व्याख्या सही विकल्प के साथ लुभावना गलत विकल्प भी बताती है, क्योंकि अंक वहीं जाते हैं।
दो अवयवों वाले समुच्चय पर भिन्न सांस्थितियों की संख्या ____ है।
संख्यात्मक उत्तर — मान टाइप करें।
उत्तर देखें
उत्तर: 4
{a, b} पर सांस्थिति में ∅ व X तथा ∪ व ∩ के अंतर्गत संवृत {a}, {b} का कोई चयन होता है: {∅, X}, {∅, {a}, X}, {∅, {b}, X}, तथा विविक्त। यह 4 है; केवल अंतिम हाउसडॉर्फ़ है।X = {a, b, c} पर उपाधार {{a, b}, {b, c}} से जनित सांस्थिति में विवृत समुच्चयों की संख्या ____ है।
संख्यात्मक उत्तर — मान टाइप करें।
उत्तर देखें
उत्तर: 5
उपाधार-अवयवों के परिमित प्रतिच्छेद आधार {a, b}, {b, c}, {a, b} ∩ {b, c} = {b} देते हैं, X सहित (रिक्त प्रतिच्छेद)। सम्मिलन तब ∅, {b}, {a, b}, {b, c}, X देते हैं — 5 विवृत समुच्चय। {a} व {c} विवृत नहीं।निम्नलिखित में से कौन-सी समष्टियाँ हाउसडॉर्फ़ हैं?
उत्तर देखें
उत्तर: B — प्रत्येक दूरीक समष्टि; C — [a, b) से जनित निम्न-सीमा सांस्थिति सहित ℝ
(1) नहीं: दो अरिक्त विवृत समुच्चयों के पूरक परिमित हैं और वे सदा मिलते हैं। (2) त्रिज्या d(x, y)/2 की गेंदें x व y को अलग करती हैं। (3) हाँ: यह सामान्य सांस्थिति से सूक्ष्मतर है, जो पहले से हाउसडॉर्फ़ है। (4) नहीं: किसी भी बिंदु का एकमात्र प्रतिवेश पूरा समुच्चय है।निम्न-सीमा सांस्थिति (आधार {[a, b) : a < b}) सहित ℝ में समुच्चय [0, 1) है
उत्तर देखें
उत्तर: A — विवृत व संवृत दोनों
[0, 1) आधार-अवयव है, अतः विवृत है। इसका पूरक (−∞, 0) ∪ [1, ∞) = ⋃[−n, 0) ∪ ⋃[1, n) आधार-अवयवों का सम्मिलन है, अतः विवृत है और [0, 1) संवृत। ऐसे विवृत-संवृत समुच्चय ही कारण हैं कि निम्न-सीमा रेखा पूर्णतः असंबद्ध है।X × Y पर गुणन सांस्थिति के मानक आधार में हैं
उत्तर देखें
उत्तर: A — X में विवृत U तथा Y में विवृत V सहित सभी समुच्चय U × V
विवृत आयत U × V परिमित प्रतिच्छेद के अंतर्गत संवृत हैं, (U₁ × V₁) ∩ (U₂ × V₂) = (U₁ ∩ U₂) × (V₁ ∩ V₂), और X × Y को ढँकते हैं, अतः आधार बनाते हैं; उनके सम्मिलन गुणन सांस्थिति हैं। केवल समुच्चय U × Y उपाधार का एक भाग ही बनाते हैं।सभी x, y हेतु (x, 0) ∼ (x, 1) तथा (0, y) ∼ (1, y) जोड़कर वर्ग [0, 1] × [0, 1] से प्राप्त विभाग समष्टि किसके समरूपी है
उत्तर देखें
उत्तर: A — टोरस S¹ × S¹
सम्मुख भुजाओं के एक युग्म को उसी दिशा में जोड़ने से बेलन S¹ × [0, 1] मिलता है; उसके दोनों सीमा-वृत्तों को, फिर उसी ढंग से, जोड़ने पर S¹ × S¹। एक युग्म को उलटने से क्लाइन बोतल मिलती है।संबद्धता के विषय में कौन-से कथन सत्य हैं?
उत्तर देखें
उत्तर: A — सहपरिमित सांस्थिति सहित ℝ संबद्ध है; C — संबद्ध समष्टियों का गुणन गुणन सांस्थिति में संबद्ध है
(1) कोई भी दो अरिक्त विवृत समुच्चय मिलते हैं (सहपरिमित पूरक), अतः कोई पृथक्करण नहीं। (2) [0, ∞) विवृत-संवृत है। (3) स्वेच्छ गुणनों हेतु लागू। (4) असत्य: ऊर्ध्वाधर खंड के बिंदु को sin(1/x) के आलेख से कोई पथ नहीं जोड़ता, यद्यपि वक्र संबद्ध है।{(x, y) ∈ ℝ² : xy ≠ 0} के संबद्ध घटकों की संख्या ____ है।
संख्यात्मक उत्तर — मान टाइप करें।
उत्तर देखें
उत्तर: 4
दोनों अक्ष हटाने पर चार विवृत चतुर्थांश बचते हैं। प्रत्येक उत्तल, अतः संबद्ध, है; तथा संतत फलन sign(x) व sign(y) घटकों पर अचर हैं, अतः भिन्न चतुर्थांशों के बिंदु भिन्न घटकों में हैं।ℝ⁴ की सांस्थिति सहित व्युत्क्रमणीय वास्तविक 2 × 2 आव्यूहों के समूह GL₂(ℝ) के पथ-घटकों की संख्या ____ है।
संख्यात्मक उत्तर — मान टाइप करें।
उत्तर देखें
उत्तर: 2
det, GL₂(ℝ) पर संतत व अशून्य है, अतः पथ के अनुदिश चिह्न नहीं बदल सकता: det > 0 व det < 0 अलग हैं। प्रत्येक पथ-संबद्ध है (धनात्मक सारणिक का कोई भी आव्यूह I तक विरूपित हो सकता है, उदा. ग्राम–श्मिट से घूर्णन तक)। अतः 2 हैं।निम्नलिखित में से कौन-सी समष्टियाँ संहत हैं?
उत्तर देखें
उत्तर: A — सहपरिमित सांस्थिति सहित ℝ; B — गुणन सांस्थिति सहित [0, 1]^{ℕ}
(1) आवरण का कोई भी एक विवृत समुच्चय केवल परिमित बिंदु छोड़ता है, जिनमें प्रत्येक एक और समुच्चय से ढँकता है। (2) टाइकोनॉफ़। (3) आवरण (1/n, 1] का कोई परिमित उपावरण नहीं। (4) एकल-बिंदु समुच्चय बिना परिमित उपावरण का विवृत आवरण बनाते हैं।सांस्थितिक समष्टियों हेतु कौन-से कथन सत्य हैं?
उत्तर देखें
उत्तर: A — हाउसडॉर्फ़ समष्टि का संहत उपसमुच्चय संवृत है; B — संहत समष्टि से हाउसडॉर्फ़ समष्टि पर संतत एकैकी आच्छादन समरूपता है; D — संहत समष्टि का संवृत उपसमुच्चय संहत है
(1) y ∉ K हेतु हाउसडॉर्फ़ता व संहतता K के परिमित प्रतिवेश तथा y का एक असंयुक्त प्रतिवेश देती हैं। (2) संवृत समुच्चय संहत, अतः संवृत, समुच्चयों पर जाते हैं, अतः व्युत्क्रम संतत है। (4) किसी भी आवरण में विवृत पूरक जोड़ें। (3) असत्य: ℝ पर सहपरिमित सांस्थिति में [0, 1] संहत है और संवृत नहीं।संहतता के रूपों के विषय में कौन-से कथन सत्य हैं?
उत्तर देखें
उत्तर: A — दूरीक समष्टि में संहत व अनुक्रमतः संहत समतुल्य हैं; B — प्रत्येक संहत समष्टि सीमा-बिंदु संहत है
(1) दूरीक प्रमेय है। (2) बिना सीमा बिंदु का अनंत समुच्चय संवृत व विविक्त है, अतः उसके बिंदुओं के ऐसे प्रतिवेश हैं जिनमें अन्य कोई बिंदु नहीं; पूरक सहित ये X को बिना परिमित उपावरण के ढँकते हैं। (3) विफल: ℕ × {0, 1}, ℕ विविक्त तथा {0, 1} अविविक्त सहित, सीमा-बिंदु संहत है परंतु विवृत समुच्चयों {n} × {0, 1} का कोई परिमित उपावरण नहीं। (4) ℤ ⊂ ℝ का कोई सीमा बिंदु नहीं।निम्न-सीमा रेखा ℝℓ (आधार {[a, b)}) हेतु कौन-से कथन सत्य हैं?
उत्तर देखें
उत्तर: A — यह प्रथम गणनीय है; B — यह वियोज्य है
(1) {[x, x + 1/n)}, x पर गणनीय प्रतिवेश-आधार है। (2) ℚ प्रत्येक [a, b) से मिलता है। (3) विफल: किसी भी आधार में प्रत्येक x हेतु [x, x + 1) के भीतर न्यूनतम x वाला समुच्चय होना चाहिए, जो अगणनीय भिन्न समुच्चय देता है। (4) विफल: वियोज्य दूरीक समष्टि द्वितीय गणनीय होती है।पृथक्करण अभिगृहीतों के विषय में कौन-से कथन सत्य हैं?
उत्तर देखें
उत्तर: A — प्रत्येक दूरीक समष्टि प्रसामान्य है; B — प्रत्येक संहत हाउसडॉर्फ़ समष्टि प्रसामान्य है; D — प्रत्येक नियमित द्वितीय गणनीय T₁ समष्टि दूरीकरणीय है
(1) U = {d(x, A) < d(x, B)} तथा V = {d(x, B) < d(x, A)} असंयुक्त संवृत A, B को अलग करते हैं। (2) संहतता बिंदु-पृथक्करण को दो बार समुच्चय-पृथक्करण में उन्नत करती है। (4) उरिसोन का दूरीकरण प्रमेय है। (3) विफल: ℝ पर सहपरिमित सांस्थिति T₁ है, हाउसडॉर्फ़ नहीं।उरिसोन प्रमेयिका कहती है कि T₁ समष्टि X प्रसामान्य है यदि और केवल यदि
उत्तर देखें
उत्तर: A — किन्हीं असंयुक्त संवृत समुच्चयों A व B हेतु संतत f: X → [0, 1] हो जिसके लिए A पर f = 0 तथा B पर f = 1
ऐसे f से f⁻¹[0, 1/2) तथा f⁻¹(1/2, 1], A व B के परितः असंयुक्त विवृत समुच्चय हैं, अतः फलनात्मक शर्त प्रसामान्यता देती है; प्रमेयिका विलोम है, विवृत समुच्चयों के द्विआधारी कुल से बनी। प्रसामान्य समष्टियों का दूरीकरणीय होना आवश्यक नहीं (ℝℓ), तथा परिबद्ध फलन संहतता-प्रकार के गुणों का अभिलक्षण करते हैं, प्रसामान्यता का नहीं।A = (0, 1] पर f(x) = sin(1/x) का ℝ तक कोई संतत विस्तार नहीं। यह टीट्ज़ विस्तार प्रमेय का विरोध नहीं करता क्योंकि
उत्तर देखें
उत्तर: A — A, ℝ का संवृत उपसमुच्चय नहीं
टीट्ज़ प्रसामान्य समष्टि के संवृत उपसमुच्चयों से संतत फलनों का विस्तार करता है। ℝ दूरीक, अतः प्रसामान्य, है; f, A पर संतत व 1 से परिबद्ध है। विफलता यह है कि 0, A के बाहर A का सीमा बिंदु है, जहाँ f दोलन करता है, अतः A संवृत नहीं।