पूर्णांक अनुक्रम: Difference between revisions
(पूर्ण संख्या) |
|||
Line 54: | Line 54: | ||
== संगणनीय और निश्चित अनुक्रम == | == संगणनीय और निश्चित अनुक्रम == | ||
पूर्णांक अनुक्रम एक [[पुनरावर्तन सिद्धांत]] अनुक्रम है यदि कोई एल्गोरिथ्म | पूर्णांक अनुक्रम एक [[पुनरावर्तन सिद्धांत]] अनुक्रम है यदि कोई एल्गोरिथ्म उपलब्ध है, जो ''n ''दिया गया है, ''a<sub>n</sub> सभी n > 0 के लिए'' गणना करता है। [[गणनीय]] पूर्णांक अनुक्रमों का सेट गणनीय है। सभी पूर्णांक अनुक्रमों का सेट [[बेशुमार]] है ([[प्रमुखता]] [[बेथ एक]] के बराबर है), और इसलिए सभी पूर्णांक अनुक्रम गणना योग्य नहीं हैं। | ||
यद्यपि कुछ पूर्णांक अनुक्रमों की परिभाषाएं हैं, यह परिभाषित करने का कोई व्यवस्थित तरीका नहीं है कि एक पूर्णांक अनुक्रम के लिए ब्रह्मांड में या किसी भी पूर्ण (मॉडल स्वतंत्र) अर्थ में निश्चित होने का क्या अर्थ है। | यद्यपि कुछ पूर्णांक अनुक्रमों की परिभाषाएं हैं, यह परिभाषित करने का कोई व्यवस्थित तरीका नहीं है कि एक पूर्णांक अनुक्रम के लिए ब्रह्मांड में या किसी भी पूर्ण (मॉडल स्वतंत्र) अर्थ में निश्चित होने का क्या अर्थ है। | ||
मान लीजिए समुच्चय M, जेडएफसी समुच्चय सिद्धांत का एक [[सकर्मक मॉडल]] है। M की परिवर्तनशीलता का अर्थ है कि M के अंदर पूर्णांक और पूर्णांक अनुक्रम वास्तव में पूर्णांक और पूर्णांक के अनुक्रम हैं। एक पूर्णांक अनुक्रम 'M के सापेक्ष एक परिभाषित सेट अनुक्रम' है, यदि सेट सिद्धांत की भाषा में कुछ सूत्र P (x) | मान लीजिए समुच्चय M, जेडएफसी समुच्चय सिद्धांत का एक [[सकर्मक मॉडल]] है। M की परिवर्तनशीलता का अर्थ है कि M के अंदर पूर्णांक और पूर्णांक अनुक्रम वास्तव में पूर्णांक और पूर्णांक के अनुक्रम हैं। एक पूर्णांक अनुक्रम 'M के सापेक्ष एक परिभाषित सेट अनुक्रम' है, यदि सेट सिद्धांत की भाषा में कुछ सूत्र P (x) उपलब्ध है, जिसमें एक मुक्त चर और कोई पैरामीटर नहीं है, जो उस पूर्णांक अनुक्रम के लिए M में सत्य है और M में असत्य है। अन्य सभी पूर्णांक अनुक्रमों के लिए। ऐसे प्रत्येक M में, निश्चित पूर्णांक अनुक्रम होते हैं जो गणना योग्य नहीं होते हैं, जैसे कि ऐसे अनुक्रम जो गणना योग्य सेट के [[ ट्यूरिंग कूदो ]] को एन्कोड करते हैं। | ||
जेडएफसी के कुछ सकर्मक मॉडल M के लिए, M में पूर्णांकों का प्रत्येक क्रम M के सापेक्ष निश्चित है; दूसरों के लिए, केवल कुछ पूर्णांक क्रम हैं (हैम्किन्स एट अल। 2013)। M में परिभाषित करने का कोई व्यवस्थित तरीका नहीं है कि M के सापेक्ष परिभाषित अनुक्रमों का सेट और वह सेट कुछ ऐसे M में | जेडएफसी के कुछ सकर्मक मॉडल M के लिए, M में पूर्णांकों का प्रत्येक क्रम M के सापेक्ष निश्चित है; दूसरों के लिए, केवल कुछ पूर्णांक क्रम हैं (हैम्किन्स एट अल। 2013)। M में परिभाषित करने का कोई व्यवस्थित तरीका नहीं है कि M के सापेक्ष परिभाषित अनुक्रमों का सेट और वह सेट कुछ ऐसे M में उपलब्ध भी नहीं हो सकता है। इसी तरह, सूत्रों के सेट से नक्शा जो M में पूर्णांक अनुक्रमों को पूर्णांक अनुक्रमों को परिभाषित करता है परिभाषित M में परिभाषित नहीं है और M में उपलब्ध नहीं हो सकता है। हालांकि, किसी भी मॉडल में इस तरह के एक निश्चित मानचित्र के अधिकारी हैं, मॉडल में कुछ पूर्णांक अनुक्रम मॉडल के सापेक्ष निश्चित नहीं होंगे (हैम्किन्स एट अल। 2013)। | ||
यदि M में सभी पूर्णांक अनुक्रम सम्मिलित हैं, तो M में निश्चित पूर्णांक अनुक्रमों का सेट M में | यदि M में सभी पूर्णांक अनुक्रम सम्मिलित हैं, तो M में निश्चित पूर्णांक अनुक्रमों का सेट M में उपलब्ध होगा और M में गणना योग्य और गणना योग्य होगा। | ||
== पूरा अनुक्र == | == पूरा अनुक्र == |
Revision as of 13:05, 26 May 2023
गणित में, पूर्णांक अनुक्रम, पूर्णांकों का अनुक्रम (अर्थात, एक क्रमित सूची) होता है।
पूर्णांक अनुक्रम को स्पष्ट रूप से इसके 'n' वें पद के लिए एक सूत्र देने के द्वारा निर्दिष्ट किया जा सकता है, या इसके शब्दों के बीच एक संबंध देने के द्वारा निहित है। उदाहरण के लिए, अनुक्रम 0, 1, 1, 2, 3, 5, 8, 13, ... (फाइबोनैचि संख्या) 0 और 1 के साथ प्रारम्भ करके बनाया जाता है और फिर अगले एक को प्राप्त करने के लिए किसी भी दो लगातार शब्दों को जोड़ दिया जाता है: एक निहित विवरण। अनुक्रम 0, 3, 8, 15, ... सूत्र n2 − 1 के अनुसार बनाया गया है: एक स्पष्ट परिभाषा है।
वैकल्पिक रूप से, एक पूर्णांक अनुक्रम को एक संपत्ति द्वारा परिभाषित किया जा सकता है जो अनुक्रम के इकाई के पास होता है और अन्य पूर्णांकों के पास नहीं होता है। उदाहरण के लिए, हम यह निर्धारित कर सकते हैं कि दिए गई पूर्णांक एक पूर्ण संख्या है, भले ही हमारे पास nth पूर्ण संख्या के लिए कोई सूत्र नहीं है।
उदाहरण
पूर्णांक अनुक्रम जिनका अपना नाम है उनमें सम्मिलित हैं:
- प्रचुर मात्रा में संख्या
- बॉम-स्वीट सीक्वेंस
- बेल नंबर
- द्विपद गुणांक
- कारमाइकल नंबर
- कैटलन संख्या
- समग्र संख्या
- कम संख्या
- यूलर संख्या
- सम और विषम संख्याएँ
- क्रमगुणित संख्याएँ
- फाइबोनैचि संख्याएँ
- फाइबोनैचि शब्द
- संख्याओं का अंकन करें
- गोलोम्ब अनुक्रम
- हैप्पी नंबर
- अत्यधिक मिश्रित संख्याएँ
- अत्यधिक कुल संख्या
- होम प्राइम
- सुपरपरफेक्ट नंबर
- जुगलर अनुक्रम
- कोलाकोस्की अनुक्रम
- लकी नंबर
- लुकास संख्या
- मोट्ज़किन संख्या
- प्राकृतिक संख्या
- पडोवन अनुक्रम
- [[अभाज्य संख्या]]
- पूर्ण संख्या
- प्राइम नंबर
- स्यूडोप्राइम नंबर
- रेकामैन का क्रम
- नियमित पेपरफोल्डिंग अनुक्रम
- रुडिन-शापिरो अनुक्रम
- सेमिपरफेक्ट नंबर
- सेमिप्राइम नंबर
- अति उत्तम अंक
- थू-मोर्स अनुक्रम
- उलम संख्या
- अजीब नंबर
- वोल्स्टनहोल्मे नंबर
संगणनीय और निश्चित अनुक्रम
पूर्णांक अनुक्रम एक पुनरावर्तन सिद्धांत अनुक्रम है यदि कोई एल्गोरिथ्म उपलब्ध है, जो n दिया गया है, an सभी n > 0 के लिए गणना करता है। गणनीय पूर्णांक अनुक्रमों का सेट गणनीय है। सभी पूर्णांक अनुक्रमों का सेट बेशुमार है (प्रमुखता बेथ एक के बराबर है), और इसलिए सभी पूर्णांक अनुक्रम गणना योग्य नहीं हैं।
यद्यपि कुछ पूर्णांक अनुक्रमों की परिभाषाएं हैं, यह परिभाषित करने का कोई व्यवस्थित तरीका नहीं है कि एक पूर्णांक अनुक्रम के लिए ब्रह्मांड में या किसी भी पूर्ण (मॉडल स्वतंत्र) अर्थ में निश्चित होने का क्या अर्थ है।
मान लीजिए समुच्चय M, जेडएफसी समुच्चय सिद्धांत का एक सकर्मक मॉडल है। M की परिवर्तनशीलता का अर्थ है कि M के अंदर पूर्णांक और पूर्णांक अनुक्रम वास्तव में पूर्णांक और पूर्णांक के अनुक्रम हैं। एक पूर्णांक अनुक्रम 'M के सापेक्ष एक परिभाषित सेट अनुक्रम' है, यदि सेट सिद्धांत की भाषा में कुछ सूत्र P (x) उपलब्ध है, जिसमें एक मुक्त चर और कोई पैरामीटर नहीं है, जो उस पूर्णांक अनुक्रम के लिए M में सत्य है और M में असत्य है। अन्य सभी पूर्णांक अनुक्रमों के लिए। ऐसे प्रत्येक M में, निश्चित पूर्णांक अनुक्रम होते हैं जो गणना योग्य नहीं होते हैं, जैसे कि ऐसे अनुक्रम जो गणना योग्य सेट के ट्यूरिंग कूदो को एन्कोड करते हैं।
जेडएफसी के कुछ सकर्मक मॉडल M के लिए, M में पूर्णांकों का प्रत्येक क्रम M के सापेक्ष निश्चित है; दूसरों के लिए, केवल कुछ पूर्णांक क्रम हैं (हैम्किन्स एट अल। 2013)। M में परिभाषित करने का कोई व्यवस्थित तरीका नहीं है कि M के सापेक्ष परिभाषित अनुक्रमों का सेट और वह सेट कुछ ऐसे M में उपलब्ध भी नहीं हो सकता है। इसी तरह, सूत्रों के सेट से नक्शा जो M में पूर्णांक अनुक्रमों को पूर्णांक अनुक्रमों को परिभाषित करता है परिभाषित M में परिभाषित नहीं है और M में उपलब्ध नहीं हो सकता है। हालांकि, किसी भी मॉडल में इस तरह के एक निश्चित मानचित्र के अधिकारी हैं, मॉडल में कुछ पूर्णांक अनुक्रम मॉडल के सापेक्ष निश्चित नहीं होंगे (हैम्किन्स एट अल। 2013)।
यदि M में सभी पूर्णांक अनुक्रम सम्मिलित हैं, तो M में निश्चित पूर्णांक अनुक्रमों का सेट M में उपलब्ध होगा और M में गणना योग्य और गणना योग्य होगा।
पूरा अनुक्र
धनात्मक पूर्णांक के अनुक्रम को एक पूर्ण अनुक्रम कहा जाता है यदि प्रत्येक धनात्मक पूर्णांक को अनुक्रम में मानों के योग के रूप में व्यक्त किया जा सकता है, प्रत्येक मान का अधिकतम एक बार प्रयोग किया जाता है
यह भी देखें
संदर्भ
- Hamkins, Joel David; Linetsky, David; Reitz, Jonas (2013), "Pointwise Definable Models of Set Theory", Journal of Symbolic Logic, 78 (1): 139–156, arXiv:1105.4597, doi:10.2178/jsl.7801090, S2CID 43689192.
बाहरी संबंध
- Journal of Integer Sequences. Articles are freely available online.