गणनीय समुच्चय
गणित में, समुच्चय (गणित) गणनीय है यदि परिमित समुच्चय है या इसे प्राकृतिक संख्याओं के समुच्चय के साथ पत्राचार में बनाया जा सकता है।[lower-alpha 1] समान रूप से, समुच्चय गणनीय होता है यदि उसमें से प्राकृतिक संख्याओं में कोई विशेषण फलन उपस्थित हो; इसका आशय यह है कि समुच्चय में प्रत्येक तत्व अद्वितीय प्राकृतिक संख्या से जुड़ा हो सकता है, या समुच्चय के तत्वों को समय में गिना जा सकता है, चूँकि तत्वों की अनंत संख्या के कारण गिनती कभी अंत नहीं हो सकती है।
अधिक तकनीकी शब्दों में, गणनीय विकल्प के सिद्धांत को मानते हुए, समुच्चय गणनीय है यदि इसकी प्रमुखता (समुच्चय के तत्वों की संख्या) प्राकृतिक संख्याओं से अधिक नहीं है। गणनीय समुच्चय जो परिमित नहीं है, 'गणनीय अनंत' कहा जाता है।
इस अवधारणा का श्रेय जॉर्ज कैंटर को दिया जाता है, जिन्होंने अनगिनत समुच्चय के अस्तित्व को सिद्ध किया, ऐसे समुच्चय जो गिनने योग्य नहीं हैं; उदाहरण के लिए वास्तविक संख्याओं का समुच्चय आदि।
शब्दावली पर नोट
यद्यपि यहां परिभाषित गणनीय और गणनीय अनंत शब्द अधिक सामान्य हैं, किन्तु शब्दावली सार्वभौमिक नहीं है।[1] वैकल्पिक शैली में गणनीय का उपयोग उस अर्थ के लिए किया जाता है जिसे यहां गणनीय रूप से अनंत कहा जाता है, और अधिक से अधिक गणनीय का उपयोग उस अर्थ के लिए किया जाता है जिसे यहां गणनीय कहा जाता है।[2][3] अस्पष्टता से बचने के लिए, व्यक्ति अपने आप को अधिकतम गणनीय और गणनीय अनंत शब्दों तक सीमित कर सकता है, चूँकि संक्षेपण के संबंध में यह दोनों संसारो में सबसे अनुपयुक्त है।[citation needed] पाठक को राय दी जाती है कि साहित्य में गणनीय शब्द का सामना करते समय उपयोग में आने वाली परिभाषा का परिक्षण करें।
गिनती योग्य शर्तें[4] और संख्यात्मक[5][6] का भी उपयोग किया जा सकता है, दाहरण के लिए क्रमशः गणनीय और गणनीय अनंत का विचार करते हुए I[7] किन्तु चूँकि परिभाषाएँ भिन्न-भिन्न होती हैं, इसलिए पाठक को पुनः उपयोग में आने वाली परिभाषा का परिक्षण करने की राय दी जाती है।[8]
परिभाषा
समुच्चय गणनीय है यदि:
- इसकी प्रमुखता से कम या (एलेफ़-नल) के समान है, प्राकृतिक संख्याओं के समुच्चय की प्रमुखता हैI[9]
- की से अन्तःक्षेपण फलन उपस्थित है I[10][11]
- रिक्त है या वहां से कोई विशेषण फलन उपस्थित है I [11] से के मध्य विशेषण मानचित्रण और का उपसमुच्चय उपस्थित है I[12]
- या तो परिमित समुच्चय () है, या गणनीय रूप से अनंत समुच्चय है।[5] ये सभी परिभाषाएँ समतुल्य हैं।
समुच्चय गणनीय रूप से अनंत समुच्चय है यदि:
- इसकी प्रमुखता बिलकुल है [9]
- विशेषण और विशेषण (और इसलिए आक्षेप) के मध्य और मानचित्रण है।
- के साथ वन-टू-वन पत्राचार है।[13]
- के तत्व को अनंत क्रम , में व्यवस्थित किया जा सकता है, जहां से भिन्न है के लिए और प्रत्येक तत्व सूचीबद्ध है।[14][15]
समुच्चय अपरिमित है यदि वह गणनीय नहीं है, अर्थात उसकी प्रमुखता इससे अधिक है।[9]
इतिहास
1874 में, जॉर्ज कैंटर के प्रथम समुच्चय सिद्धांत लेख में, कैंटर ने सिद्ध किया कि वास्तविक संख्याओं का समुच्चय अपरिमित है, इस प्रकार सभी अपरिमित समुच्चय गणनीय नहीं हैं।[16] 1878 में, उन्होंने कार्डिनैलिटी को परिभाषित करने और तुलना करने के लिए अनेक पत्राचार का उपयोग किया।[17] 1883 में, उन्होंने अपनी अनंत क्रमसूचक संख्या के साथ प्राकृतिक संख्याओं का विस्तार किया, और भिन्न-भिन्न अपरिमित कार्डिनलिटी वाले अपरिमित समुच्चयों का उत्पादन करने के लिए क्रमसूचकों के समुच्चय का उपयोग किया।[18]
परिचय
समुच्चय (गणित) तत्वों का संग्रह होता है, और इसे कई प्रकारो से वर्णित किया जा सकता है। इसके सभी तत्वों को सूचीबद्ध करना है; उदाहरण के लिए, पूर्णांक 3, 4 और 5 से युक्त समुच्चय को प्रदर्शित किया जा सकता है, जिसे रोस्टर फॉर्म कहा जाता है।[19] चूँकि, यह केवल छोटे समुच्चयों के लिए प्रभावी है; बड़े समुच्चयों के लिए, यह समय लेने वाला और त्रुटि-प्रवण होगा। प्रत्येक तत्व को सूचीबद्ध करने के अतिरिक्त, कभी-कभी किसी समुच्चय में प्रारंभिक तत्व और अंतिम तत्व के मध्य कई तत्वों को प्रदर्शित करने के लिए दीर्घवृत्त (...) का उपयोग किया जाता है, यदि लेखक का मानना है कि पाठक सरलता से अनुमान लगा सकता है कि ... क्या दर्शाता है; उदाहरण के लिए, संभवतः 1 से 100 तक पूर्णांकों के समुच्चय को प्रदर्शित करता है। चूँकि, इस विषय में भी, सभी तत्वों को सूचीबद्ध करना अभी भी संभव है, क्योंकि समुच्चय में तत्वों की संख्या सीमित है। यदि हम समुच्चय के तत्वों को 1, 2, इत्यादि तक क्रमांकित करते हैं, तो यह हमें आकार के समुच्चय की सामान्य परिभाषा देता है I
कुछ समुच्चय अपरिमितत हैं; इन समुच्चयों में इससे भी अधिक तत्व है I जहाँ कोई पूर्णांक है जिसे निर्दिष्ट किया जा सकता है। ( निर्दिष्ट पूर्णांक कितना बड़ा है, जैसे , अपरिमितत समुच्चय तत्व से अधिक है।) उदाहरण के लिए, प्राकृतिक संख्याओं का समुच्चय, द्वारा निरूपित हैं,[lower-alpha 1] अपरिमितत रूप से कई तत्व हैं, और हम इसका आकार देने के लिए किसी प्राकृतिक संख्या का उपयोग नहीं कर सकते हैं। समुच्चयों को भिन्न-भिन्न वर्गों में विभाजित करना स्वाभाविक लग सकता है: एक तत्व वाले सभी समुच्चयों को साथ रखें; सभी समुच्चय जिनमें दो तत्व साथ हैं; अंत में, सभी अपरिमितत समुच्चयों को साथ रखें और उन्हें समान आकार का मानें। यह दृश्य अनगिनत अपरिमितत समुच्चयों के लिए अच्छा काम करता है और जॉर्ज कैंटर के काम से पूर्व यह प्रचलित धारणा थी। उदाहरण के लिए, अपरिमित रूप से अनेक विषम पूर्णांक, अपरिमित रूप से अनेक सम पूर्णांक और कुल मिलाकर अपरिमित रूप से अनेक पूर्णांक होते हैं। हम इन सभी समुच्चयों को समान आकार का मान सकते हैं क्योंकि हम तत्वों को इस प्रकार व्यवस्थित कर सकते हैं कि, प्रत्येक पूर्णांक के लिए, भिन्न सम पूर्णांक हो:
जॉर्ज कैंटर ने दिखाया कि सभी अपरिमित समुच्चय गणनीय रूप से अपरिमित नहीं हैं। उदाहरण के लिए, वास्तविक संख्याओं को प्राकृतिक संख्याओं (गैर-नकारात्मक पूर्णांक) के साथ अनेक पत्राचार में नहीं रखा जा सकता है। वास्तविक संख्याओं के समुच्चय में प्राकृतिक संख्याओं के समुच्चय की तुलना में अधिक प्रमुखता होती है और इसे अपरिमित कहा जाता है।
औपचारिक अवलोकन
परिभाषा के अनुसार, समुच्चय यदि मध्य में कोई आपत्ति उपस्थित है तो और प्राकृतिक संख्याओं का उपसमुच्चय गणनीय है I उदाहरण के लिए, पत्राचार को परिभाषित करें
जहाँ तक अपरिमित समुच्चयों का विषय है, समुच्चय यदि मध्य में कोई आपत्ति है, तो और सभी गणनीय रूप से अपरिमित है I उदाहरण के लिए, समुच्चय पर विचार करें I धनात्मक पूर्णांकों का समुच्चय, और , सम पूर्णांकों का समुच्चय है। हम प्राकृतिक संख्याओं पर आपत्ति प्रदर्शित करके यह दिखा सकते हैं कि ये समुच्चय गणनीय रूप से अपरिमित हैं। इसे असाइनमेंट और ,का उपयोग करके प्राप्त किया जा सकता:-
Theorem — गणनीय समुच्चय का उपसमुच्चय गणनीय होता है.[20]
प्राकृतिक संख्याओं के सभी क्रमित युग्मों का समुच्चय (प्राकृतिक संख्याओं के दो समुच्चयों का कार्तीय गुणनफल, यह अनगिनत रूप से अपरिमित है, जैसा कि चित्र में दिखाए गए पथ का अनुसरण करके देखा जा सकता है:

परिणामी मानचित्र (गणित) इस प्रकार आगे बढ़ता है:
त्रिकोणीय मानचित्रण पुनरावर्तन का यह रूप सामान्यीकृत होता है I -प्राकृतिक संख्याओं का समूह, अर्थात्, जहाँ और के प्रथम दो तत्वों को मैप करके, प्राकृतिक संख्याएँ हैं I प्राकृतिक संख्या में ट्यूपल करें। उदाहरण के लिए, के रूप में लिखा जा सकता है, तब 5 तक मानचित्र के लिए मानचित्र , तब 39 तक मैप करता है। चूंकि अलग 2-टुपल, वह जोड़ी है जैसे , अलग प्राकृतिक संख्या के लिए मैप, तत्व द्वारा दो एन-टुपल्स के मध्य का अंतर यह सुनिश्चित करने के लिए पर्याप्त है कि एन-टुपल्स को भिन्न-भिन्न प्राकृतिक संख्याओं के लिए मैप किया जा रहा है। समुच्चय से इंजेक्शन -प्राकृतिक संख्याओं के समुच्चय के ट्यूपल्स सिद्ध है, - कार्टेशियन के समुच्चय के लिए उत्पाद द्वारा परिमित रूप से कई भिन्न-भिन्न समुच्चयों से बने टुपल्स, प्रत्येक टुपल में प्रत्येक तत्व का प्राकृतिक संख्या के साथ पत्राचार होता है, इसलिए प्रत्येक टुपल को प्राकृतिक संख्याओं में लिखा जा सकता है, पुनः प्रमेय को सिद्ध करने के लिए उसी तर्क को प्रस्तावित किया जाता है।
Theorem — कार्तीय गुणन परिमित रूप से अनेक गणनीय समुच्चय गणनीय हैं.[21][lower-alpha 2]
सभी पूर्णांकों का समुच्चय और सभी परिमेय संख्याओं का समुच्चय सहज रूप से इससे कहीं अधिक बड़ा लग सकता है, स्वरूप धोखा देने वाले हो सकते हैं। यदि जोड़ी को अशिष्ट भिन्न (भिन्न के रूप में) के अंश और हर के रूप में माना जाता है I जहाँ और पूर्णांक हैं), तो प्रत्येक धनात्मक भिन्न के लिए, हम उसके अनुरूप विशिष्ट प्राकृत संख्या प्राप्त कर सकते हैं। इस प्रतिनिधित्व में प्रत्येक प्राकृतिक संख्या के पश्चात् से प्राकृतिक संख्याएँ भी सम्मिलित हैं I यह भी का अंश है, तो हम यह निष्कर्ष निकाल सकते हैं कि उतनी ही धनात्मक परिमेय संख्याएँ हैं जितनी धनात्मक पूर्णांक हैं। यह सभी परिमेय संख्याओं के लिए भी सत्य है, जैसा कि नीचे देखा जा सकता है।
Theorem — (सभी पूर्णांकों का समुच्चय) और (सभी परिमेय संख्याओं का समुच्चय) गणनीय हैं [lower-alpha 3]
इसी प्रकार, बीजगणितीय संख्याओं का समुच्चय गणनीय होता है।[23][lower-alpha 4]
कभी-कभी अधिक मैपिंग उपयोगी होती है: समुच्चय गणनीय के रूप में दिखाया जाना, दूसरे समुच्चय में मैप (इंजेक्शन) करना है I , तब गणनीय सिद्ध होता है यदि प्राकृतिक संख्याओं के समुच्चय पर मैप किया जाता है। उदाहरण के लिए, सकारात्मक परिमेय संख्याओं के समुच्चय को प्राकृतिक संख्या जोड़े (2-टुपल्स) के समुच्चय पर सरलता से मैप किया जा सकता है, क्योंकि के लिए मानचित्र , चूँकि प्राकृतिक संख्या युग्मों का समुच्चय प्राकृतिक संख्याओं के समुच्चय के लिए मैप (वास्तव में एक-से-एक पत्राचार या आक्षेप) है, जैसा कि ऊपर दिखाया गया है, सकारात्मक तर्कसंगत संख्या समुच्चय गणनीय सिद्ध होता है।
Theorem — कोई भी परिमित संघ गणनीय समुच्चय गणनीय है I[24][25][lower-alpha 5]
यह जानने की दूरदर्शिता के साथ कि अनगिनत समुच्चय हैं, हम आश्चर्यचकित हो सकते हैं कि क्या इस अंतिम परिणाम को और आगे बढ़ाया जा सकता है या नहीं। इसका उत्तर हाँ और नहीं है, हम इसे बढ़ा सकते हैं, लेकिन ऐसा करने के लिए हमें नया सिद्धांत मानने की आवश्यकता है।
Theorem — (यह मानते हुए गणनीय विकल्प का सिद्धांत) गणनीय अनेक गणनीय समुच्चयों का मिलन गणनीय होता है I[lower-alpha 6]
उदाहरण के लिए, गणनीय समुच्चय दिए गए हैं, हम प्रत्येक समुच्चय के प्रत्येक तत्व को टुपल निर्दिष्ट करते हैं, फिर हम ऊपर देखे गए त्रिकोणीय गणना के प्रकार का उपयोग करके प्रत्येक टुपल को सूचकांक निर्दिष्ट करते हैं:
Theorem — सभी परिमित लंबाई का समुच्चय अनुक्रम प्राकृत संख्याओं की गिनती गणनीय है।
यह समुच्चय लंबाई-1 अनुक्रम, लंबाई-2 अनुक्रम, लंबाई-3 अनुक्रमों का संघ है, जिनमें से प्रत्येक गणनीय समुच्चय (परिमित कार्टेशियन उत्पाद) है। तो हम गणनीय समुच्चयों के गणनीय संघ के सम्बन्ध में बात कर रहे हैं, जो पूर्व प्रमेय के अनुसार गणनीय है।
Theorem — सबका समुच्चय परिमित और उप-समुच्चय प्राकृतिक संख्याएँ गणनीय हैं।
किसी भी परिमित उपसमुच्चय के तत्वों को परिमित अनुक्रम में क्रमबद्ध किया जा सकता है। वहाँ केवल गिनती के कई परिमित अनुक्रम हैं, इसलिए वहाँ भी केवल गिनती के कई परिमित उपसमुच्चय हैं।
Theorem — माना and समुच्चय हो
- यदि फलन अन्तःक्षेपण है और तो गणनीय है गणनीय है I
- यदि फलन विशेषणात्मक है और तो गणनीय है गणनीय है I
ये अन्तःक्षेपण/विशेषण फलन के रूप में गणनीय समुच्चय की परिभाषाओं का अनुसरण करते हैं।[lower-alpha 7]
कैंटर का प्रमेय इस विषय पर जोर देता है, कि यदि समुच्चय है और इसका सत्ता स्थापित है, सभी उपसमुच्चय का समुच्चय है, तो कोई विशेषण फलन को नहीं है, कैंटर के प्रमेय लेख में प्रमाण दिया गया है। इसके तत्काल परिणाम और उपरोक्त मूल प्रमेय के रूप में हमारे निकट है:
Proposition — समुच्चय गणनीय नहीं है; अर्थात् यह है अपरिमित.
इस परिणाम के विस्तार के लिए कैंटर का विकर्ण तर्क देखें।
वास्तविक संख्याओं का समुच्चय अगणनीय है,[lower-alpha 8] और प्राकृतिक संख्याओं के सभी अपरिमित अनुक्रमों का समुच्चय भी ऐसा ही है।
समुच्चय सिद्धांत का न्यूनतम मॉडल गणनीय है
यदि कोई समुच्चय है, जो जेडएफसी समुच्चय सिद्धांत का मानक मॉडल (आंतरिक मॉडल देखें) है, तो न्यूनतम मानक मॉडल है (ब्रह्मांड का निर्माण देखें)। लोवेनहेम-स्कोलेम प्रमेय का उपयोग यह दिखाने के लिए किया जा सकता है कि यह न्यूनतम मॉडल गणनीय है। तथ्य यह है कि अपरिमित की धारणा इस मॉडल में भी समझ में आती है, और विशेष रूप से इस मॉडल एम में ऐसे तत्व सम्मिलित हैं:
- M का उपसमुच्चय, इसलिए गणनीय,
- लेकिन एम की दृष्टि से सम्मिलित,
समुच्चय सिद्धांत के प्रारम्भिक दिनों में इसे विरोधाभास के रूप में देखा गया था, अधिक जानकारी के लिए स्कोलेम का विरोधाभास देखें।
न्यूनतम मानक मॉडल में सभी बीजगणितीय संख्याएँ और सभी प्रभावी रूप से गणना योग्य पारलौकिक संख्याएँ, साथ ही कई अन्य प्रकार की संख्याएँ सम्मिलित हैं।
कुल ऑर्डर
गणनीय समुच्चय विभिन्न प्रकारो से कुल क्रम के हो सकते हैं, उदाहरण के लिए:
- अच्छी तरह से आदेश (क्रमिक संख्या भी देखें):
- प्राकृतिक संख्याओं का सामान्य क्रम (0, 1, 2, 3, 4, 5,...)
- क्रम में पूर्णांक (0, 1, 2, 3, ...; −1, −2, −3, ...)
- अन्य (अच्छे ऑर्डर नहीं):
- पूर्णांकों का सामान्य क्रम (..., −3, −2, −1, 0, 1, 2, 3, ...)
- तर्कसंगत संख्याओं का सामान्य क्रम (स्पष्ट रूप से क्रमबद्ध सूची के रूप में नहीं लिखा जा सकता!)
यहां सुक्रम के दोनों उदाहरणों में, किसी भी उपसमुच्चय में न्यूनतम तत्व होता है; और गैर-अच्छी प्रकार से आदेश के दोनों उदाहरणों में, कुछ उपसमुच्चय में कम से कम तत्व नहीं है। यह मुख्य परिभाषा है जो यह निर्धारित करती है कि क्या कुल ऑर्डर भी अच्छा ऑर्डर है।
यह भी देखें
- अलेफ़ संख्या
- गिनती
- हिल्बर्ट का ग्रैंड होटल का विरोधाभास
- अपरिमित समुच्चय
टिप्पणियाँ
- ↑ Jump up to: 1.0 1.1 Since there is an obvious bijection between and , it makes no difference whether one considers 0 a natural number or not. In any case, this article follows ISO 31-11 and the standard convention in mathematical logic, which takes 0 as a natural number.
- ↑ Proof: Observe that is countable as a consequence of the definition because the function given by is injective.[22] It then follows that the Cartesian product of any two countable sets is countable, because if and are two countable sets there are surjections and . So is a surjection from the countable set to the set and the Corollary implies is countable. This result generalizes to the Cartesian product of any finite collection of countable sets and the proof follows by induction on the number of sets in the collection.
- ↑ Proof: पूर्णांक फलन के कारण गणनीय हैं given by if गैर-नकारात्मक है और यदि ऋणात्मक है,विशेषण फलन है। तर्कसंगत संख्याएँ are countable because the function given by is a surjection from the countable set to the rationals .
- ↑ Proof: Per definition, every algebraic number (including complex numbers) is a root of a polynomial with integer coefficients. Given an algebraic number , let be a polynomial with integer coefficients such that is the -th root of the polynomial, where the roots are sorted by absolute value from small to big, then sorted by argument from small to big. We can define an injection (i. e. one-to-one) function given by , where is the -th prime.
- ↑ Proof: If is a countable set for each in , then for each there is a surjective function and hence the function
given by is a surjection. Since is countable, the union is countable.
- ↑ Proof: As in the finite case, but and we use the axiom of countable choice to pick for each in a surjection from the non-empty collection of surjections from to .[26] Note that since we are considering the surjection , rather than an injection, there is no requirement that the sets be disjoint.
- ↑ Proof: For (1) observe that if is countable there is an injective function . Then if is injective the composition is injective, so is countable. For (2) observe that if is countable, either is empty or there is a surjective function . Then if is surjective, either and are both empty, or the composition is surjective. In either case is countable.
- ↑ See Cantor's first uncountability proof, and also Finite intersection property#Applications for a topological proof.
उद्धरण
- ↑ Manetti, Marco (19 June 2015). टोपोलॉजी (in English). Springer. p. 26. ISBN 978-3-319-16958-3.
- ↑ Rudin 1976, Chapter 2
- ↑ Tao 2016, p. 181
- ↑ Kamke 1950, p. 2
- ↑ Jump up to: 5.0 5.1 Lang 1993, §2 of Chapter I
- ↑ Apostol 1969, p. 23, Chapter 1.14
- ↑ Thierry, Vialar (4 April 2017). गणित की पुस्तिका (in English). BoD - Books on Demand. p. 24. ISBN 978-2-9551990-1-5.
- ↑ Mukherjee, Subir Kumar (2009). वास्तविक विश्लेषण में पहला कोर्स (in English). Academic Publishers. p. 22. ISBN 978-81-89781-90-3.
- ↑ Jump up to: 9.0 9.1 9.2 Yaqub, Aladdin M. (24 October 2014). मेटालॉजिक का एक परिचय (in English). Broadview Press. ISBN 978-1-4604-0244-3.
- ↑ Singh, Tej Bahadur (17 May 2019). टोपोलॉजी का परिचय (in English). Springer. p. 422. ISBN 978-981-13-6954-4.
- ↑ Jump up to: 11.0 11.1 Katzourakis, Nikolaos; Varvaruca, Eugen (2 January 2018). आधुनिक विश्लेषण का एक उदाहरणात्मक परिचय (in English). CRC Press. ISBN 978-1-351-76532-9.
- ↑ Halmos 1960, p. 91
- ↑ Kamke 1950, p. 2
- ↑ Dlab, Vlastimil; Williams, Kenneth S. (9 June 2020). Invitation To Algebra: A Resource Compendium For Teachers, Advanced Undergraduate Students And Graduate Students In Mathematics (in English). World Scientific. p. 8. ISBN 978-981-12-1999-3.
- ↑ Tao 2016, p. 182
- ↑ Stillwell, John C. (2010), Roads to Infinity: The Mathematics of Truth and Proof, CRC Press, p. 10, ISBN 9781439865507,
Cantor's discovery of uncountable sets in 1874 was one of the most unexpected events in the history of mathematics. Before 1874, infinity was not even considered a legitimate mathematical subject by most people, so the need to distinguish between countable and uncountable infinities could not have been imagined.
- ↑ Cantor 1878, p. 242.
- ↑ Ferreirós 2007, pp. 268, 272–273.
- ↑ "What Are Sets and Roster Form?". expii. 2021-05-09. Archived from the original on 2020-09-18.
- ↑ Halmos 1960, p. 91
- ↑ Halmos 1960, p. 92
- ↑ Avelsgaard 1990, p. 182
- ↑ Kamke 1950, pp. 3–4
- ↑ Avelsgaard 1990, p. 180
- ↑ Fletcher & Patty 1988, p. 187
- ↑ Hrbacek, Karel; Jech, Thomas (22 June 1999). Introduction to Set Theory, Third Edition, Revised and Expanded (in English). CRC Press. p. 141. ISBN 978-0-8247-7915-3.
संदर्भ
- Apostol, Tom M. (June 1969), Multi-Variable Calculus and Linear Algebra with Applications, Calculus, vol. 2 (2nd ed.), New York: John Wiley + Sons, ISBN 978-0-471-00007-5
- Avelsgaard, Carol (1990), Foundations for Advanced Mathematics, Scott, Foresman and Company, ISBN 0-673-38152-8
- Cantor, Georg (1878), "Ein Beitrag zur Mannigfaltigkeitslehre", Journal für die Reine und Angewandte Mathematik, 1878 (84): 242–248, doi:10.1515/crelle-1878-18788413, S2CID 123695365
- Ferreirós, José (2007), Labyrinth of Thought: A History of Set Theory and Its Role in Mathematical Thought (2nd revised ed.), Birkhäuser, ISBN 978-3-7643-8349-7
- Fletcher, Peter; Patty, C. Wayne (1988), Foundations of Higher Mathematics, Boston: PWS-KENT Publishing Company, ISBN 0-87150-164-3
- Halmos, Paul R. (1960), Naive Set Theory, D. Van Nostrand Company, Inc Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011. ISBN 978-1-61427-131-4 (Paperback edition).
- Kamke, Erich (1950), Theory of Sets, Dover series in mathematics and physics, New York: Dover, ISBN 978-0486601410
- Lang, Serge (1993), Real and Functional Analysis, Berlin, New York: Springer-Verlag, ISBN 0-387-94001-4
- Rudin, Walter (1976), Principles of Mathematical Analysis, New York: McGraw-Hill, ISBN 0-07-054235-X
- Tao, Terence (2016). "Infinite sets". Analysis I. Texts and Readings in Mathematics (in English). Vol. 37 (Third ed.). Singapore: Springer. pp. 181–210. doi:10.1007/978-981-10-1789-6_8. ISBN 978-981-10-1789-6.
