समुच्चय सिद्धांत
समुच्चय सिद्धांत वस्तुओं के संग्रह का अध्ययन करता है और आधुनिक गणित की मानक नींव के रूप में कार्य करता है, जिसमें अनिवार्य रूप से प्रत्येक गणितीय वस्तु को एक समुच्चय के रूप में दर्शाया जा सकता है और प्रत्येक प्रमेय को सिद्धांतों की एक छोटी सूची से प्राप्त किया जा सकता है।
Definition
समुच्चय सिद्धांत समुच्चयों का गणितीय अध्ययन है, जो वस्तुओं के सुपरिभाषित संग्रह हैं, साथ ही सदस्यता संबंध के साथ, जिसे गणित के लिए एक समान आधार प्रदान करने और अनंत की धारणाओं का विश्लेषण करने के लिए स्वयंसिद्ध रूप से विकसित किया गया है।
Scope
यह क्षेत्र समुच्चयों के स्वयंसिद्ध विकास (मुख्यतः ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत, चयन के सिद्धांत के साथ), क्रमसूचक और गणन संख्याओं और उनके अंकगणित का सिद्धांत, रचनात्मक ब्रह्मांड और आंतरिक मॉडल, स्वतंत्रता परिणामों को सिद्ध करने के लिए बलपूर्वक विधि, और मानक सिद्धांतों का विस्तार करने वाले बड़े गणन सिद्धांतों का पदानुक्रम शामिल करता है। यह समुच्चय सिद्धांत की मूलभूत भूमिका और एक स्वायत्त गणितीय अनुशासन के रूप में इसके विकास दोनों को समाहित करता है।
Sub-topics
Core questions
- साधारण गणित विकसित करने के लिए कौन से सिद्धांत पर्याप्त हैं, और उनके परिणाम क्या हैं?
- अनंत समुच्चयों के आकार की तुलना और गणना कैसे की जाती है?
- कौन से कथन मानक सिद्धांतों से स्वतंत्र हैं, और स्वतंत्रता कैसे स्थापित की जाती है?
- अनंत के कौन से मजबूत सिद्धांत मौजूद हैं, और वे समुच्चय सिद्धांत के सिद्ध होने योग्य परिणामों का विस्तार कैसे करते हैं?
Key theories
- चयन के साथ ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत (ZFC)
- एक प्रथम-क्रम स्वयंसिद्ध प्रणाली जिसके सिद्धांत (विस्तारशीलता, युग्मन, संघ, घात समुच्चय, अनंत, पृथक्करण, प्रतिस्थापन, नींव, और चयन) मानक नींव प्रदान करते हैं जिसमें गणित को औपचारिक रूप दिया जाता है।
- निरंतरता परिकल्पना की स्वतंत्रता
- गोडेल ने दिखाया कि निरंतरता परिकल्पना रचनात्मक ब्रह्मांड के माध्यम से ZFC के साथ सुसंगत है और कोहेन ने दिखाया कि इसका निषेध भी बलपूर्वक के माध्यम से सुसंगत है, इसलिए परिकल्पना मानक सिद्धांतों से स्वतंत्र है।
- क्रमसूचक और गणन का सिद्धांत
- क्रमसूचक गणना को ट्रांसफिनिट में विहित सुव्यवस्थित समुच्चयों के रूप में सामान्यीकृत करते हैं, जबकि गणन आकार को मापते हैं; साथ में वे संचयी पदानुक्रम और ट्रांसफिनिट पुनरावर्तन को व्यवस्थित करते हैं।
Clinical relevance
समुच्चय सिद्धांत गणित की सामान्य मूलभूत भाषा प्रदान करता है: इसके सिद्धांत संख्या प्रणालियों के निर्माण को रेखांकित करते हैं, अनंत का इसका सिद्धांत विश्लेषण और टोपोलॉजी को आकार देता है, और इसके स्वतंत्रता परिणाम यह स्पष्ट करते हैं कि मानक सिद्धांत क्या तय कर सकते हैं इसकी सीमाएं क्या हैं।
History
समुच्चय सिद्धांत कैंटर की उन्नीसवीं सदी की खोज के साथ शुरू हुआ कि अनंत समुच्चय विभिन्न आकारों में आते हैं। रसेल जैसे विरोधाभासों ने बीसवीं सदी की शुरुआत में ज़र्मेलो और फ्रेंकेल के स्वयंसिद्ध प्रणालियों को प्रेरित किया। गोडेल का रचनात्मक ब्रह्मांड (1938) और कोहेन का बलपूर्वक आविष्कार (1963) निरंतरता परिकल्पना और चयन के सिद्धांत की संगति और स्वतंत्रता को हल किया, और बड़े गणन और नियतिवाद के बाद के अध्ययन ने समुच्चय सिद्धांत को एक गहरे स्वायत्त क्षेत्र में बदल दिया।
Key figures
- Georg Cantor
- Ernst Zermelo
- Abraham Fraenkel
- Kurt Goedel
- Paul Cohen
Related topics
Seminal works
- jech2003
- kunen2011
- cohen1963
Frequently asked questions
- समुच्चय सिद्धांत को गणित की नींव क्यों माना जाता है?
- लगभग हर गणितीय वस्तु जैसे संख्याएँ, फलन और स्थान को एक समुच्चय के रूप में एन्कोड किया जा सकता है, और सामान्य प्रमेयों को ZFC सिद्धांतों से प्राप्त किया जा सकता है, इसलिए समुच्चय सिद्धांत एक एकल औपचारिक प्रणाली प्रदान करता है जिसमें गणित किया जा सकता है।
- निरंतरता परिकल्पना के स्वतंत्र होने का क्या अर्थ है?
- इसका अर्थ है कि न तो निरंतरता परिकल्पना और न ही इसका निषेध ZFC सिद्धांतों से सिद्ध किया जा सकता है, इसलिए सिद्धांत निरंतरता के आकार को अनिर्धारित छोड़ देते हैं; यह गोडेल और कोहेन के परिणामों के संयोजन से स्थापित किया गया था।