वंशानुगत रूप से परिमित सेट: Difference between revisions

Latest revision as of 13:17, 24 March 2023

गणित और समुच्चय सिद्धांत में वंशानुगत रूप से परिमित समुच्चय को परिभाषित किया जाता है, जिनके सभी तत्व वंशानुगत रूप से परिमित समुच्चय माने जाते हैं। इस प्रकार दूसरे शब्दों में यह समुच्चय मुख्य रूप से स्वयं से ही परिमित अवस्था में परिभाषित रहते हैं, और इसके पुनरावर्ती रूप से रिक्त समुच्चय तक सभी तत्व परिमित समुच्चय कहलाते हैं।

औपचारिक परिभाषा

चूंकि अच्छी तरह से स्थापित होने के कारण पुनरावर्ती की परिभाषा या अच्छी तरह से स्थापित आनुवंशिक रूप से परिमित समुच्चय को इस प्रकार उदाहरण से प्रदर्शित किया जा सकता है:

आधार स्थिति: रिक्त समुच्चय वंशानुगत परिमित समुच्चय है।

पुनरावर्ती नियम: यदि a₁,...,a_k वंशानुगत रूप से परिमित हैं, तो ऐसा है {a₁,...,a_k}.

और केवल ऐसे समुच्चय जो इन दो नियमों के परिमित संख्या में अनुप्रयोगों द्वारा बनाए जा सकते हैं, वे आनुवंशिक रूप से परिमित कहलाते हैं।

समुच्चय $\{\{\},\{\{\{\}\}\}\}$ ऐसे आनुवंशिक रूप से परिमित समुच्चय के लिए उदाहरण है और ऐसा ही रिक्त समुच्चय $\emptyset =\{\}$ भी है, दूसरी ओर, समु्च्चय $\{7,{\mathbb {N} },\pi \}$ या $\{3,\{{\mathbb {N} }\}\}$ परिमित समुच्चय के उदाहरण हैं जो आनुवंशिक रूप से परिमित नहीं हैं। उदाहरण के लिए, पहला आनुवंशिक रूप से परिमित नहीं हो सकता क्योंकि इसमें तत्व के रूप में कम से कम अनंत समुच्चय होता है, जब ${\mathbb {N} }=\{0,1,2,\dots \}$ का मान संलग्न रहता हैं।

चर्चा

वंशानुगत रूप से परिमित समुच्चय के वर्ग को $H_{\aleph _{0}}$ के द्वारा निरूपित किया जाता है, जिसका अर्थ है कि प्रत्येक सदस्य की कार्डिनैलिटी $\aleph _{0}$ इससे छोटी है, (अनुरूप रूप से, वंशानुगत रूप से गणनीय समु्च्चयों के वर्ग को $H_{\aleph _{1}}$ के द्वारा निरूपित किया जाता है।)

इसे $V_{\omega }$ द्वारा भी निरूपित किया जा सकता है, जो वॉन न्यूमैन ब्रह्मांड का चौथा चरण $\omega$ द्वारा दर्शाता है ।^[1] इस कक्षा में $H_{\aleph _{0}}$ गणनीय समुच्चय होते हैं।

एकरमैन कोडिंग

1937 में, विल्हेम एकरमैन ने प्राकृतिक संख्याओं के रूप में आनुवंशिक रूप से परिमित समु्च्चयों के एन्कोडिंग का प्रारंभ किया हैं।^[2]^[3]^[4] यह फंक्शन $f:V_{\omega }\to \omega$ द्वारा परिभाषित किया गया है, निम्नलिखित पुनरावर्ती परिभाषा द्वारा दिए गए प्रत्येक आनुवंशिक रूप से परिमित समुच्चय को प्राकृतिक संख्या में मैप करता है:

f(a)=\sum _{b\in a}2^{f(b)}

उदाहरण के लिए, रिक्त समुच्चय $\varnothing$ इसमें कोई सदस्य नहीं है, और इसलिए इसे रिक्त योग, अर्ताथ शून्य संख्या में मैप किया गया है। दूसरी ओर, विशिष्ट सदस्यों वाला समुच्चय $a,b,c,\dots$ पर मैप किया जाता है $2^{f(a)}+2^{f(b)}+2^{f(c)}+\ldots$ .

इसका विलोम $f$ द्वारा प्रदर्शित होता हैं, जो प्राकृत संख्याओं को समुच्चयों में वापस मैप करता है,

f^{-1}(i)=\{f^{-1}(j)\mid j\in \omega ,{\text{BIT}}(i,j)=1\}

जहाँ बीआईटी, बीआईटी विधेय को दर्शाता है।

एकरमैन कोडिंग का उपयोग प्राकृतिक संख्याओं में परिमित समुच्चय सिद्धांत के मॉडल के निर्माण के लिए किया जा सकता है। इस प्रकार ज्यादा ठीक प्रकार से इसे व्यक्त करने पर $(\mathbb {N} ,{\text{BIT}}^{\top })$ (कहाँ ${\text{BIT}}^{\top }$ बीआईटी का विलोम संबंध है) मॉडल ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत अनंत के स्वयंसिद्ध के बिना किया जाता हैं।

प्रतिनिधित्व

समुच्चय के इस वर्ग को समुच्चय का प्रतिनिधित्व करने के लिए आवश्यक ब्रैकेट जोड़े की संख्या से स्वाभाविक रूप से रैंक किया गया है:

$\{\}$ (अर्थात। $\emptyset$ , न्यूमैन क्रमसूचक 0 )
$\{\{\}\}$ (अर्थात। $\{\emptyset \}$ या $\{0\}$ , न्यूमैन क्रमसूचक 1 )
$\{\{\{\}\}\}$
$\{\{\{\{\}\}\}\}$ और फिर भी $\{\{\},\{\{\}\}\}$ (अर्थात। $\{0,1\}$ , न्यूमैन क्रमसूचक 2),
$\{\{\{\{\{\}\}\}\}\}$ , $\{\{\{\},\{\{\}\}\}\}$ साथ ही $\{\{\},\{\{\{\}\}\}\}$ ,
... समुच्चय का प्रतिनिधित्व किया $6$ ब्रैकेट जोड़े, उदाहरण के लिए- $\{\{\{\{\{\{\}\}\}\}\}\}$ . ऐसे छह समुच्चय हैं
... समुच्चय का प्रतिनिधित्व किया $7$ ब्रैकेट जोड़े, उदाहरण के लिए- $\{\{\{\{\{\{\{\}\}\}\}\}\}\}$ . ऐसे बारह समुच्चय हैं
... समुच्चय का प्रतिनिधित्व किया $8$ ब्रैकेट जोड़े, उदाहरण के लिए- $\{\{\{\{\{\{\{\{\}\}\}\}\}\}\}\}$ या $\{\{\},\{\{\}\},\{\{\},\{\{\}\}\}\}$ (अर्थात। $\{0,1,2\}$ , न्यूमैन क्रमसूचक 3 )
... इत्यादि।

इस प्रकार, समुच्चय की संख्या के साथ $n$ ब्रैकेट जोड़े जाते हैं^[5] उदाहरण के लिए- $1,1,1,2,3,6,12,25,52,113,247,548,1226,2770,6299,14426,\dots$

स्वयंसिद्धीकरण

परिमित समुच्चय के सिद्धांत

समुच्चय $\emptyset$ निरूपित पहले वॉन न्यूमैन क्रमिक संख्या $0$ का भी प्रतिनिधित्व करता है, और वास्तव में सभी परिमित वॉन न्यूमैन अध्यादेश $H_{\aleph _{0}}$ के अंदर हैं, और इस प्रकार प्राकृतिक संख्याओं का प्रतिनिधित्व करने वाले समु्च्चयों की श्रेणी, अर्ताथ इसमें प्राकृतिक संख्याओं के समुच्चय-सैद्धांतिक परिभाषा के मानक मॉडल में प्रत्येक तत्व सम्मिलित है।

रॉबिन्सन अंकगणित की व्याख्या पहले से ही सामान्य समुच्चय सिद्धांत में की जा सकती है, बहुत छोटा उप-सिद्धांत जर्मेलो समुच्चय सिद्धांत|का $Z^{-}$ विस्तार के स्वयंसिद्ध, रिक्त समुच्चय और सामान्य समुच्चय सिद्धांत द्वारा दिए गए स्वयंसिद्धों के साथ की जाती हैं।

वास्तव में, $H_{\aleph _{0}}$ इन स्वयंसिद्ध को सम्मिलित करने वाला रचनात्मक समुच्चय सिद्धांत है और उदाहरण के लिए एप्सिलॉन प्रेरण और प्रतिस्थापन का अभिगृहीत किया जाता है।

उनके मॉडल तब ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों से युक्त स्वयंसिद्धों को भी पूरा करते हैं। ज़र्मेलो-फ्रेंकेल के स्वयंसिद्ध सिद्धांत अनंत के स्वयंसिद्ध के बिना समुच्चय करते हैं।

इस संदर्भ में, अनन्तता के अभिगृहीत के निषेध को जोड़ा जा सकता है, इस प्रकार यह सिद्ध किया जाता है कि अनन्तता का अभिगृहीत समुच्चय सिद्धांत के अन्य अभिगृहीतों का परिणाम नहीं है।

जेडएफ

~V_{4}~

कोष्ठक (गणित)#समुच्चयों और समूहों के स्थान पर वृत्तों द्वारा दर्शाया गया है

आनुवंशिक रूप से परिमित समुच्चय वॉन न्यूमैन ब्रह्मांड का उपवर्ग है। यहाँ सभी अच्छी तरह से स्थापित आनुवंशिक रूप से परिमित समु्च्चयों के वर्ग को V_ω द्वारा दर्शाया गया है, यहाँ ध्यान दें कि यह भी इस संदर्भ में समुच्चय है।

यदि हम ℘(S) द्वारा S₀ का अधिकृत स्थापित और इसे V द्वारा निरूपित करते हैं। रिक्त समुच्चय, फिर V_ω द्वारा क्रमशः प्राप्त किया जा सकते हैं इस प्रकार V₁ = ℘ (V₀), I₂ = ℘ (V₁),..., I_k = ℘ (V_k−1),... इत्यादि।

इस प्रकार, V_ω के रूप में व्यक्त किया जा सकता है, जहाँ $V_{\omega }=\bigcup _{k=0}^{\infty }V_{k}$ और इसके सभी तत्व परिमित हैं।

हम फिर से देखते हैं, कि आनुवंशिक रूप से परिमित समु्च्चयों की संख्या केवल गिने-चुने हैं: V_nकिसी परिमित n के लिए परिमित है, इसकी प्रमुखता है 2ⁿ⁻¹ (टेट्रेशन देखें), और इस प्रकार गणनीय रूप से कई परिमित समुच्चयों का संयोजन गणनीय रहता हैं।

समतुल्य रूप से, समुच्चय आनुवंशिक रूप से परिमित होता है यदि और केवल यदि इसका सकर्मक समुच्चय परिमित है।

ग्राफ मॉडल

कक्षा $H_{\aleph _{0}}$ ट्री (ग्राफ सिद्धांत) के वर्ग के साथ सटीक पत्राचार में देखा जा सकता है इस प्रकार ट्री रूट समरूपता के बिना (अर्ताथ केवल ग्राफ ऑटोमोर्फिज्म ही पहचान है):

रूट वर्टेक्स शीर्ष स्तर के ब्रैकेट $\{\dots \}$ से मेल खाता है और प्रत्येक शीर्ष (ग्राफ सिद्धांत) तत्व (एक अन्य समुच्चय) की ओर ले जाता है जो अपने आप में रूट वर्टेक्स के रूप में कार्य कर सकता है। इस ग्राफ का कोई ऑटोमोर्फिज्म सम्मिलित नहीं है, इस तथ्य के अनुरूप कि समान शाखाओं की पहचान की जाती है (उदाहरण के लिए $\{t,t,s\}=\{t,s\}$ , आकार के दो सबग्राफ के क्रमचय $t$ को पृथक करते है)।

यह ग्राफ मॉडल डेटा प्रकारों के रूप में अनंतता के बिना जेडएफ के कार्यान्वयन को सक्षम बनाता है और इस प्रकार अभिव्यंजक प्रकार के सिद्धांत में समुच्चय सिद्धांत की व्याख्या करता है।

ZF के लिए ग्राफ़ मॉडल सिद्धांत सम्मिलित हैं और ज़र्मेलो समुच्चय सिद्धांत से भिन्न सिद्धांत भी निर्धारित करते हैं, जैसे कि एस्जेल की एंटी-फाउंडेशन स्वयंसिद्ध या बुरी तरह से स्थापित सिद्धांतों के साथ ऐसे मॉडलों में अधिक जटिल धार संरचना को प्रदर्शित करती हैं।

ग्राफ़ सिद्धांत में, ग्राफ़ जिसका शिखर आनुवंशिक रूप से परिमित समु्च्चयों के अनुरूप होता है और किनारे समुच्चय सदस्यता के अनुरूप होते हैं, वह राडो ग्राफ या यादृच्छिक ग्राफ़ कहलाता हैं।

यह भी देखें

वंशानुगत समुच्चय
वंशानुगत रूप से गणनीय समुच्चय
वंशानुगत संपत्ति
ट्री (ग्राफ थ्योरी) ट्री रूट सिद्धांत
रचनात्मक समुच्चय सिद्धांत
परिमित समुच्चय

संदर्भ

↑ "वंशानुगत रूप से परिमित सेट". nLab. nLab. January 2023. Retrieved January 28, 2023. The set of all (well-founded) hereditarily finite sets (which is infinite, and not hereditarily finite itself) is written $V_{\omega }$ to show its place in the von Neumann hierarchy of pure sets.
↑ Ackermann, Wilhelm (1937). "सामान्य सेट सिद्धांत की संगति". Mathematische Annalen. 114: 305–315. doi:10.1007/bf01594179. S2CID 120576556. Retrieved 2012-01-09.
↑ Kirby, Laurence (2009). "Finitary Set Theory". Notre Dame Journal of Formal Logic. 50 (3): 227–244. doi:10.1215/00294527-2009-009.
↑ Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. (2017). "3.3: The Ackermann encoding of hereditarily finite sets". On Sets and Graphs: Perspectives on Logic and Combinatorics. Springer. pp. 70–71. doi:10.1007/978-3-319-54981-1. ISBN 978-3-319-54980-4. MR 3558535.
↑ "A004111 - Oeis".

[1] "वंशानुगत रूप से परिमित सेट". nLab. nLab. January 2023. Retrieved January 28, 2023. The set of all (well-founded) hereditarily finite sets (which is infinite, and not hereditarily finite itself) is written $V_{\omega }$ to show its place in the von Neumann hierarchy of pure sets.

[ackermann-2] Ackermann, Wilhelm (1937). "सामान्य सेट सिद्धांत की संगति". Mathematische Annalen. 114: 305–315. doi:10.1007/bf01594179. S2CID 120576556. Retrieved 2012-01-09.

[3] Kirby, Laurence (2009). "Finitary Set Theory". Notre Dame Journal of Formal Logic. 50 (3): 227–244. doi:10.1215/00294527-2009-009.

[4] Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. (2017). "3.3: The Ackermann encoding of hereditarily finite sets". On Sets and Graphs: Perspectives on Logic and Combinatorics. Springer. pp. 70–71. doi:10.1007/978-3-319-54981-1. ISBN 978-3-319-54980-4. MR 3558535.

[5] "A004111 - Oeis".

[1]

[2]

[3]

[4]

[5]

@@ Line 1: / Line 1: @@
 {{Short description|Finite sets whose elements are all hereditarily finite sets}}
-गणित और समुच्चय सिद्धांत में, आनुवंशिक रूप से परिमित समुच्चय को परिमित समुच्चय के रूप में परिभाषित किया जाता है, जिनके तत्व सभी अनुवांशिक रूप से परिमित समुच्चय होते हैं। दूसरे शब्दों में, समुच्चय स्वयं परिमित है, और इसके सभी तत्व परिमित समुच्चय हैं, पुनरावर्ती रूप से खाली समुच्चय तक।
+गणित और समुच्चय सिद्धांत में '''वंशानुगत रूप से परिमित समुच्चय''' को परिभाषित किया जाता है, जिनके सभी तत्व वंशानुगत रूप से परिमित समुच्चय माने जाते हैं। इस प्रकार दूसरे शब्दों में यह समुच्चय मुख्य रूप से स्वयं से ही परिमित अवस्था में परिभाषित रहते हैं, और इसके पुनरावर्ती रूप से रिक्त समुच्चय तक सभी तत्व परिमित समुच्चय कहलाते हैं।
 == औपचारिक परिभाषा ==
-[[अच्छी तरह से स्थापित]] होने की एक [[पुनरावर्ती]] परिभाषा | अच्छी तरह से स्थापित आनुवंशिक रूप से परिमित सेट इस प्रकार है:
+चूंकि [[अच्छी तरह से स्थापित]] होने के कारण [[पुनरावर्ती]] की परिभाषा या अच्छी तरह से स्थापित आनुवंशिक रूप से परिमित समुच्चय को इस प्रकार उदाहरण से प्रदर्शित किया जा सकता है:
-: बेस केस: खाली सेट एक वंशानुगत परिमित सेट है।
+: आधार स्थिति: रिक्त समुच्चय वंशानुगत परिमित समुच्चय है।
-: पुनरावर्ती नियम: यदि a<sub>1</sub>,...,ए<sub>''k''</sub> वंशानुगत रूप से परिमित हैं, तो ऐसा है {ए<sub>1</sub>,...,ए<sub>''k''</sub>}.
+: पुनरावर्ती नियम: यदि a<sub>1</sub>,...,a<sub>''k''</sub> वंशानुगत रूप से परिमित हैं, तो ऐसा है {a<sub>1</sub>,...,a<sub>''k''</sub>}.
-और केवल ऐसे समुच्चय जो इन दो नियमों के परिमित संख्या में अनुप्रयोगों द्वारा बनाए जा सकते हैं, आनुवंशिक रूप से परिमित हैं।
+और केवल ऐसे समुच्चय जो इन दो नियमों के परिमित संख्या में अनुप्रयोगों द्वारा बनाए जा सकते हैं, वे आनुवंशिक रूप से परिमित कहलाते हैं।
-सेट <math>\{\{\},\{\{\{\}\}\}\}</math> ऐसे आनुवंशिक रूप से परिमित समुच्चय के लिए एक उदाहरण है और ऐसा ही रिक्त समुच्चय भी है <math>\emptyset=\{\}</math>.
+समुच्चय <math>\{\{\},\{\{\{\}\}\}\}</math> ऐसे आनुवंशिक रूप से परिमित समुच्चय के लिए उदाहरण है और ऐसा ही रिक्त समुच्चय <math>\emptyset=\{\}</math> भी है, दूसरी ओर, समु्च्चय <math>\{7, {\mathbb N}, \pi\}</math> या <math>\{3, \{{\mathbb N}\}\}</math> परिमित समुच्चय के उदाहरण हैं जो आनुवंशिक रूप से परिमित नहीं हैं। उदाहरण के लिए, पहला आनुवंशिक रूप से परिमित नहीं हो सकता क्योंकि इसमें तत्व के रूप में कम से कम अनंत समुच्चय होता है, जब <math>{\mathbb N} = \{0,1,2,\dots\}</math> का मान संलग्न रहता हैं।
-दूसरी ओर, सेट्स <math>\{7, {\mathbb N}, \pi\}</math> या <math>\{3, \{{\mathbb N}\}\}</math> परिमित समुच्चय के उदाहरण हैं जो आनुवंशिक रूप से परिमित नहीं हैं। उदाहरण के लिए, पहला आनुवंशिक रूप से परिमित नहीं हो सकता क्योंकि इसमें एक तत्व के रूप में कम से कम एक अनंत सेट होता है, जब <math>{\mathbb N} = \{0,1,2,\dots\}</math>.
 == चर्चा ==
-वंशानुगत रूप से परिमित समुच्चयों के वर्ग को किसके द्वारा निरूपित किया जाता है <math>H_{\aleph_0}</math>, जिसका अर्थ है कि प्रत्येक सदस्य की कार्डिनैलिटी इससे छोटी है <math>\aleph_0</math>. (अनुरूप रूप से, वंशानुगत रूप से गणनीय सेटों के वर्ग को इसके द्वारा निरूपित किया जाता है <math>H_{\aleph_1}</math>.)
+'''वंशानुगत रूप से परिमित समुच्चय''' के वर्ग को <math>H_{\aleph_0}</math> के द्वारा निरूपित किया जाता है, जिसका अर्थ है कि प्रत्येक सदस्य की कार्डिनैलिटी <math>\aleph_0</math> इससे छोटी है, (अनुरूप रूप से, वंशानुगत रूप से गणनीय समु्च्चयों के वर्ग को <math>H_{\aleph_1}</math> के द्वारा निरूपित किया जाता है।)
-द्वारा भी निरूपित किया जा सकता है <math>V_\omega</math>, जो दर्शाता है <math>\omega</math>वॉन न्यूमैन ब्रह्मांड का चौथा चरण।<ref>{{cite web |url=https://ncatlab.org/nlab/show/hereditarily+finite+set |title=वंशानुगत रूप से परिमित सेट|author-link=nLab |date=January 2023 |website=nLab |publisher=nLab |access-date=January 28, 2023 |quote=The set of all (well-founded) hereditarily finite sets (which is infinite, and not hereditarily finite itself) is written <math>V_\omega</math> to show its place in the von Neumann hierarchy of pure sets.}}</ref>
+इसे <math>V_\omega</math> द्वारा भी निरूपित किया जा सकता है, जो वॉन न्यूमैन ब्रह्मांड का चौथा चरण <math>\omega</math> द्वारा दर्शाता है ।<ref>{{cite web |url=https://ncatlab.org/nlab/show/hereditarily+finite+set |title=वंशानुगत रूप से परिमित सेट|author-link=nLab |date=January 2023 |website=nLab |publisher=nLab |access-date=January 28, 2023 |quote=The set of all (well-founded) hereditarily finite sets (which is infinite, and not hereditarily finite itself) is written <math>V_\omega</math> to show its place in the von Neumann hierarchy of pure sets.}}</ref> इस कक्षा में <math>H_{\aleph_0}</math> गणनीय समुच्चय होते हैं।
-कक्षा <math>H_{\aleph_0}</math> गणनीय समुच्चय है।
 === एकरमैन कोडिंग ===
-में, [[विल्हेम एकरमैन]] ने प्राकृतिक संख्याओं के रूप में आनुवंशिक रूप से परिमित सेटों के एक एन्कोडिंग की शुरुआत की।<ref name=ackermann>{{cite journal|
+में, [[विल्हेम एकरमैन]] ने प्राकृतिक संख्याओं के रूप में आनुवंशिक रूप से परिमित समु्च्चयों के एन्कोडिंग का प्रारंभ किया हैं।<ref name=ackermann>{{cite journal|
 last=Ackermann|first=Wilhelm| title=सामान्य सेट सिद्धांत की संगति|
 journal=[[Mathematische Annalen]]|
@@ Line 30: / Line 28: @@
 journal=Notre Dame Journal of Formal Logic|
 year=2009|volume=50|issue=3|pages=227–244|doi=10.1215/00294527-2009-009
-|doi-access=free}}</ref><ref>{{cite book | last1 = Omodeo | first1 = Eugenio G. | last2 = Policriti | first2 = Alberto | last3 = Tomescu | first3 = Alexandru I. | contribution = 3.3: The Ackermann encoding of hereditarily finite sets | doi = 10.1007/978-3-319-54981-1 | isbn = 978-3-319-54980-4 | mr = 3558535 | pages = 70–71 | publisher = Springer | title = On Sets and Graphs: Perspectives on Logic and Combinatorics | year = 2017}}</ref>
+|doi-access=free}}</ref><ref>{{cite book | last1 = Omodeo | first1 = Eugenio G. | last2 = Policriti | first2 = Alberto | last3 = Tomescu | first3 = Alexandru I. | contribution = 3.3: The Ackermann encoding of hereditarily finite sets | doi = 10.1007/978-3-319-54981-1 | isbn = 978-3-319-54980-4 | mr = 3558535 | pages = 70–71 | publisher = Springer | title = On Sets and Graphs: Perspectives on Logic and Combinatorics | year = 2017}}</ref> यह फंक्शन <math>f : V_\omega \to \omega</math> द्वारा परिभाषित किया गया है, निम्नलिखित पुनरावर्ती परिभाषा द्वारा दिए गए प्रत्येक आनुवंशिक रूप से परिमित समुच्चय को प्राकृतिक संख्या में मैप करता है:
-यह एक समारोह द्वारा परिभाषित किया गया है <math>f : V_\omega \to \omega</math> निम्नलिखित पुनरावर्ती परिभाषा द्वारा दिए गए प्रत्येक आनुवंशिक रूप से परिमित सेट को एक प्राकृतिक संख्या में मैप करता है:
 :<math>f(a) = \sum_{b \in a} 2^{f(b)}</math>
-उदाहरण के लिए, [[खाली सेट]] <math>\varnothing</math> इसमें कोई सदस्य नहीं है, और इसलिए इसे [[खाली योग]], यानी [[शून्य]] संख्या में मैप किया गया है। दूसरी ओर, विशिष्ट सदस्यों वाला एक सेट <math>a, b, c, \dots</math> पर मैप किया जाता है <math>2^{f(a)} + 2^{f(b)} + 2^{f(c)} + \ldots</math>.
+उदाहरण के लिए, [[खाली सेट|रिक्त समुच्चय]] <math>\varnothing</math> इसमें कोई सदस्य नहीं है, और इसलिए इसे [[खाली योग|रिक्त योग]], अर्ताथ [[शून्य]] संख्या में मैप किया गया है। दूसरी ओर, विशिष्ट सदस्यों वाला समुच्चय <math>a, b, c, \dots</math> पर मैप किया जाता है <math>2^{f(a)} + 2^{f(b)} + 2^{f(c)} + \ldots</math>.
-का विलोम <math>f</math>, जो प्राकृत संख्याओं को समुच्चयों में वापस मैप करता है, है
+इसका विलोम <math>f</math> द्वारा प्रदर्शित होता हैं, जो प्राकृत संख्याओं को समुच्चयों में वापस मैप करता है,
 :<math>f^{-1}(i) = \{f^{-1}(j) \mid j \in \omega, \text{BIT}(i, j) = 1\}</math>
-जहाँ BIT, BIT विधेय को दर्शाता है।
+जहाँ बीआईटी, बीआईटी विधेय को दर्शाता है।
-एकरमैन कोडिंग का उपयोग प्राकृतिक संख्याओं में परिमित समुच्चय सिद्धांत के एक मॉडल के निर्माण के लिए किया जा सकता है। ज्यादा ठीक, <math>(\mathbb{N}, \text{BIT}^\top)</math> (कहाँ <math>\text{BIT}^\top</math> BIT का विलोम संबंध है) मॉडल ज़र्मेलो-फ्रेंकेल सेट सिद्धांत अनंत के स्वयंसिद्ध के बिना।
+[[एकरमैन कोडिंग]] का उपयोग प्राकृतिक संख्याओं में [[परिमित समुच्चय]] सिद्धांत के मॉडल के निर्माण के लिए किया जा सकता है। इस प्रकार ज्यादा ठीक प्रकार से इसे व्यक्त करने पर <math>(\mathbb{N}, \text{BIT}^\top)</math> (कहाँ <math>\text{BIT}^\top</math> बीआईटी का विलोम संबंध है) मॉडल ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत अनंत के स्वयंसिद्ध के बिना किया जाता हैं।
 === प्रतिनिधित्व ===
-सेट के इस वर्ग को सेट का प्रतिनिधित्व करने के लिए आवश्यक ब्रैकेट जोड़े की संख्या से स्वाभाविक रूप से रैंक किया गया है:
+समुच्चय के इस वर्ग को समुच्चय का प्रतिनिधित्व करने के लिए आवश्यक ब्रैकेट जोड़े की संख्या से स्वाभाविक रूप से रैंक किया गया है:
 :* <math>\{\}</math> (अर्थात। <math>\emptyset</math>, न्यूमैन क्रमसूचक 0 )
@@ Line 49: / Line 46: @@
 :* <math>\{\{\{\{\}\}\}\}</math> और फिर भी <math>\{\{\},\{\{\}\}\}</math> (अर्थात। <math>\{0,1\}</math>, न्यूमैन क्रमसूचक 2),
 :* <math>\{\{\{\{\{\}\}\}\}\}</math>, <math>\{\{\{\},\{\{\}\}\}\}</math> साथ ही <math>\{\{\},\{\{\{\}\}\}\}</math>,
-:* ... सेट का प्रतिनिधित्व किया <math>6</math> ब्रैकेट जोड़े, उदा। <math>\{\{\{\{\{\{\}\}\}\}\}\}</math>. ऐसे छह सेट हैं
+:* ... समुच्चय का प्रतिनिधित्व किया <math>6</math> ब्रैकेट जोड़े, उदाहरण के लिए- <math>\{\{\{\{\{\{\}\}\}\}\}\}</math>. ऐसे छह समुच्चय हैं
-:* ... सेट का प्रतिनिधित्व किया <math>7</math> ब्रैकेट जोड़े, उदा। <math>\{\{\{\{\{\{\{\}\}\}\}\}\}\}</math>. ऐसे बारह सेट हैं
+:* ... समुच्चय का प्रतिनिधित्व किया <math>7</math> ब्रैकेट जोड़े, उदाहरण के लिए- <math>\{\{\{\{\{\{\{\}\}\}\}\}\}\}</math>. ऐसे बारह समुच्चय हैं
-:* ... सेट का प्रतिनिधित्व किया <math>8</math> ब्रैकेट जोड़े, उदा। <math>\{\{\{\{\{\{\{\{\}\}\}\}\}\}\}\}</math> या <math>\{\{\}, \{\{\}\}, \{\{\},\{\{\}\}\}\}</math> (अर्थात। <math>\{0,1,2\}</math>, न्यूमैन क्रमसूचक 3 )
+:* ... समुच्चय का प्रतिनिधित्व किया <math>8</math> ब्रैकेट जोड़े, उदाहरण के लिए- <math>\{\{\{\{\{\{\{\{\}\}\}\}\}\}\}\}</math> या <math>\{\{\}, \{\{\}\}, \{\{\},\{\{\}\}\}\}</math> (अर्थात। <math>\{0,1,2\}</math>, न्यूमैन क्रमसूचक 3 )
-:* ... वगैरह।
+:* ... इत्यादि।
-इस प्रकार, सेट की संख्या के साथ <math>n</math> ब्रैकेट जोड़े हैं<ref>{{Cite web|url=https://oeis.org/A004111|title=A004111 - Oeis}}</ref> <math>1, 1, 1, 2, 3, 6, 12, 25, 52, 113, 247, 548, 1226, 2770, 6299, 14426, \dots</math>
+इस प्रकार, समुच्चय की संख्या के साथ <math>n</math> ब्रैकेट जोड़े जाते हैं<ref>{{Cite web|url=https://oeis.org/A004111|title=A004111 - Oeis}}</ref> उदाहरण के लिए- <math>1, 1, 1, 2, 3, 6, 12, 25, 52, 113, 247, 548, 1226, 2770, 6299, 14426, \dots</math>
+== स्वयंसिद्धीकरण ==
+=== परिमित समुच्चय के सिद्धांत ===
+समुच्चय <math>\emptyset</math> निरूपित पहले वॉन न्यूमैन क्रमिक संख्या <math>0</math> का भी प्रतिनिधित्व करता है, और वास्तव में सभी परिमित वॉन न्यूमैन अध्यादेश <math>H_{\aleph_0}</math>के अंदर हैं, और इस प्रकार प्राकृतिक संख्याओं का प्रतिनिधित्व करने वाले समु्च्चयों की श्रेणी, अर्ताथ इसमें प्राकृतिक संख्याओं के समुच्चय-सैद्धांतिक परिभाषा के मानक मॉडल में प्रत्येक तत्व सम्मिलित है।
-== स्वयंसिद्धीकरण ==
+[[रॉबिन्सन अंकगणित]] की व्याख्या पहले से ही सामान्य समुच्चय सिद्धांत में की जा सकती है, बहुत छोटा उप-सिद्धांत जर्मेलो समुच्चय सिद्धांत|का <math>Z^-</math>विस्तार के स्वयंसिद्ध, रिक्त समुच्चय और सामान्य समुच्चय सिद्धांत द्वारा दिए गए स्वयंसिद्धों के साथ की जाती हैं।
-=== परिमित सेट के सिद्धांत ===
+वास्तव में, <math>H_{\aleph_0}</math> इन [[स्वयंसिद्ध]] को सम्मिलित करने वाला [[रचनात्मक सेट सिद्धांत|रचनात्मक समुच्चय सिद्धांत]] है और उदाहरण के लिए [[एप्सिलॉन प्रेरण]] और प्रतिस्थापन का अभिगृहीत किया जाता है।
-सेट <math>\emptyset</math> निरूपित पहले वॉन न्यूमैन क्रमिक संख्या का भी प्रतिनिधित्व करता है <math>0</math>.
-और वास्तव में सभी परिमित वॉन न्यूमैन अध्यादेश अंदर हैं <math>H_{\aleph_0}</math> और इस प्रकार प्राकृतिक संख्याओं का प्रतिनिधित्व करने वाले सेटों की श्रेणी, यानी इसमें प्राकृतिक संख्याओं के सेट-सैद्धांतिक परिभाषा के मानक मॉडल में प्रत्येक तत्व शामिल है।
-[[रॉबिन्सन अंकगणित]] की व्याख्या पहले से ही सामान्य समुच्चय सिद्धांत में की जा सकती है, बहुत छोटा उप-सिद्धांत जर्मेलो समुच्चय सिद्धांत|का <math>Z^-</math>विस्तार के स्वयंसिद्ध, खाली सेट और सामान्य सेट सिद्धांत द्वारा दिए गए स्वयंसिद्धों के साथ।
-वास्तव में, <math>H_{\aleph_0}</math> इन [[स्वयंसिद्ध]] को शामिल करने वाला एक [[रचनात्मक सेट सिद्धांत]] है और उदा। [[एप्सिलॉन प्रेरण]] और प्रतिस्थापन का अभिगृहीत।
+उनके मॉडल तब ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों से युक्त स्वयंसिद्धों को भी पूरा करते हैं। ज़र्मेलो-फ्रेंकेल के स्वयंसिद्ध सिद्धांत अनंत के स्वयंसिद्ध के बिना समुच्चय करते हैं।
-उनके मॉडल तब ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों से युक्त स्वयंसिद्धों को भी पूरा करते हैं | ज़र्मेलो-फ्रेंकेल के स्वयंसिद्ध सिद्धांत अनंत के स्वयंसिद्ध के बिना सेट करते हैं।
 इस संदर्भ में, अनन्तता के अभिगृहीत के निषेध को जोड़ा जा सकता है, इस प्रकार यह सिद्ध किया जाता है कि अनन्तता का अभिगृहीत समुच्चय सिद्धांत के अन्य अभिगृहीतों का परिणाम नहीं है।
 === जेडएफ ===
-[[File:Nested_set_V4.svg|thumb|400px|<math>~V_4~</math> कोष्ठक (गणित)#समुच्चयों और समूहों के स्थान पर वृत्तों द्वारा दर्शाया गया है&nbsp;&nbsp;&nbsp;&nbsp;[[File:Loupe light.svg|15px|लिंक = http://upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Nested_set_V4.svg/1600px-Nested_set_V4.svg.png]]]]आनुवंशिक रूप से परिमित सेट वॉन न्यूमैन ब्रह्मांड का एक उपवर्ग है। यहाँ, सभी अच्छी तरह से स्थापित आनुवंशिक रूप से परिमित सेटों के वर्ग को V दर्शाया गया है<sub>ω</sub>. ध्यान दें कि यह भी इस संदर्भ में एक सेट है।
+[[File:Nested_set_V4.svg|thumb|400px|<math>~V_4~</math> कोष्ठक (गणित)#समुच्चयों और समूहों के स्थान पर वृत्तों द्वारा दर्शाया गया है&nbsp;&nbsp;&nbsp;&nbsp;[[File:Loupe light.svg|15px|लिंक = http://upload.wikimedia.org/wikipedia/commons/thumb/1/1b/Nested_set_V4.svg/1600px-Nested_set_V4.svg.png]]]]आनुवंशिक रूप से परिमित समुच्चय वॉन न्यूमैन ब्रह्मांड का उपवर्ग है। यहाँ सभी अच्छी तरह से स्थापित आनुवंशिक रूप से परिमित समु्च्चयों के वर्ग को V<sub>ω</sub> द्वारा दर्शाया गया है, यहाँ ध्यान दें कि यह भी इस संदर्भ में समुच्चय है।
-यदि हम ℘(S) द्वारा S का [[ सत्ता स्थापित ]] और V द्वारा निरूपित करते हैं<sub>0</sub> खाली सेट, फिर वी<sub>ω</sub> लगाकर प्राप्त किया जा सकता है
+यदि हम ℘(S) द्वारा S<sub>0</sub> का [[ सत्ता स्थापित |अधिकृत स्थापित]] और इसे V द्वारा निरूपित करते हैं। रिक्त समुच्चय, फिर V<sub>ω</sub> द्वारा क्रमशः प्राप्त किया जा सकते हैं इस प्रकार V<sub>1</sub> = ℘ (V<sub>0</sub>), I<sub>2</sub> = ℘ (V<sub>1</sub>),..., I<sub>''k''</sub> = ℘ (V<sub>''k''&minus;1</sub>),... इत्यादि।
-वी<sub>1</sub> = ℘ (वी<sub>0</sub>), में<sub>2</sub> = ℘ (वी<sub>1</sub>),..., में<sub>''k''</sub> = ℘ (वी<sub>''k''&minus;1</sub>),... और इसी तरह।
-इस प्रकार, वी<sub>ω</sub> के रूप में व्यक्त किया जा सकता है <math> V_\omega = \bigcup_{k=0}^\infty V_k</math> और इसके सभी तत्व परिमित हैं।
+इस प्रकार, V<sub>ω</sub> के रूप में व्यक्त किया जा सकता है, जहाँ <math> V_\omega = \bigcup_{k=0}^\infty V_k</math> और इसके सभी तत्व परिमित हैं।
-हम फिर से देखते हैं, कि आनुवंशिक रूप से परिमित सेटों की संख्या केवल गिने-चुने हैं: वी<sub>n</sub>किसी परिमित n के लिए परिमित है, इसकी [[प्रमुखता]] है <sup>n−1</sup>2 ([[टेट्रेशन]] देखें),
+हम फिर से देखते हैं, कि आनुवंशिक रूप से परिमित समु्च्चयों की संख्या केवल गिने-चुने हैं: V<sub>n</sub>किसी परिमित n के लिए परिमित है, इसकी [[प्रमुखता]] है 2<sup>n−1</sup> ([[टेट्रेशन]] देखें), और इस प्रकार गणनीय रूप से कई परिमित समुच्चयों का संयोजन गणनीय रहता हैं।
-और गणनीय रूप से कई परिमित समुच्चयों का मिलन गणनीय है।
-समतुल्य रूप से, एक सेट आनुवंशिक रूप से परिमित होता है यदि और केवल यदि इसका [[सकर्मक सेट]] परिमित है।
+समतुल्य रूप से, समुच्चय आनुवंशिक रूप से परिमित होता है यदि और केवल यदि इसका [[सकर्मक सेट|सकर्मक समुच्चय]] परिमित है।
 == ग्राफ मॉडल ==
-कक्षा <math>H_{\aleph_0}</math> पेड़ (ग्राफ सिद्धांत) के एक वर्ग के साथ सटीक पत्राचार में देखा जा सकता है # जड़ें पेड़, अर्थात् गैर-तुच्छ समरूपता के बिना (यानी केवल [[ग्राफ ऑटोमोर्फिज्म]] ही पहचान है):
+कक्षा <math>H_{\aleph_0}</math> ट्री (ग्राफ सिद्धांत) के वर्ग के साथ सटीक पत्राचार में देखा जा सकता है इस प्रकार ट्री रूट समरूपता के बिना (अर्ताथ केवल [[ग्राफ ऑटोमोर्फिज्म]] ही पहचान है):
-रूट वर्टेक्स शीर्ष स्तर के ब्रैकेट से मेल खाता है <math>\{\dots\}</math> और प्रत्येक [[ शीर्ष (ग्राफ सिद्धांत) ]] एक तत्व (एक अन्य ऐसा सेट) की ओर ले जाता है जो अपने आप में रूट वर्टेक्स के रूप में कार्य कर सकता है। इस ग्राफ का कोई ऑटोमोर्फिज्म मौजूद नहीं है, इस तथ्य के अनुरूप कि समान शाखाओं की पहचान की जाती है (उदा। <math>\{t,t,s\}=\{t,s\}</math>, आकार के दो सबग्राफ के क्रमचय को तुच्छ बनाना <math>t</math>).
-यह ग्राफ मॉडल डेटा प्रकारों के रूप में अनंतता के बिना जेडएफ के कार्यान्वयन को सक्षम बनाता है और इस प्रकार अभिव्यंजक प्रकार के सिद्धांत में सेट सिद्धांत की व्याख्या करता है।
+रूट वर्टेक्स शीर्ष स्तर के ब्रैकेट <math>\{\dots\}</math> से मेल खाता है और प्रत्येक [[ शीर्ष (ग्राफ सिद्धांत) |शीर्ष (ग्राफ सिद्धांत)]] तत्व (एक अन्य समुच्चय) की ओर ले जाता है जो अपने आप में रूट वर्टेक्स के रूप में कार्य कर सकता है। इस ग्राफ का कोई ऑटोमोर्फिज्म सम्मिलित नहीं है, इस तथ्य के अनुरूप कि समान शाखाओं की पहचान की जाती है (उदाहरण के लिए <math>\{t,t,s\}=\{t,s\}</math>, आकार के दो सबग्राफ के क्रमचय <math>t</math> को पृथक करते है)।
+यह ग्राफ मॉडल डेटा प्रकारों के रूप में अनंतता के बिना जेडएफ के कार्यान्वयन को सक्षम बनाता है और इस प्रकार अभिव्यंजक प्रकार के सिद्धांत में समुच्चय सिद्धांत की व्याख्या करता है।
-ZF के लिए ग्राफ़ [[मॉडल सिद्धांत]] मौजूद हैं और ज़र्मेलो सेट सिद्धांत से भिन्न सिद्धांत भी निर्धारित करते हैं, जैसे कि Aczel की एंटी-फाउंडेशन स्वयंसिद्ध|गैर-अच्छी तरह से स्थापित सिद्धांत। ऐसे मॉडलों में अधिक जटिल धार संरचना होती है।
+ZF के लिए ग्राफ़ [[मॉडल सिद्धांत]] सम्मिलित हैं और ज़र्मेलो समुच्चय सिद्धांत से भिन्न सिद्धांत भी निर्धारित करते हैं, जैसे कि एस्जेल की एंटी-फाउंडेशन स्वयंसिद्ध या बुरी तरह से स्थापित सिद्धांतों के साथ ऐसे मॉडलों में अधिक जटिल धार संरचना को प्रदर्शित करती हैं।
-ग्राफ़ सिद्धांत में, ग्राफ़ जिसका शिखर आनुवंशिक रूप से परिमित सेटों के अनुरूप होता है और किनारे सेट सदस्यता के अनुरूप होते हैं, वह [[राडो ग्राफ]]़ या यादृच्छिक ग्राफ़ है।
+ग्राफ़ सिद्धांत में, ग्राफ़ जिसका शिखर आनुवंशिक रूप से परिमित समु्च्चयों के अनुरूप होता है और किनारे समुच्चय सदस्यता के अनुरूप होते हैं, वह [[राडो ग्राफ]] या यादृच्छिक ग्राफ़ कहलाता हैं।
 == यह भी देखें ==
-* [[वंशानुगत सेट]]
+* [[वंशानुगत सेट|वंशानुगत समुच्चय]]
-* [[वंशानुगत रूप से गणनीय सेट]]
+* [[वंशानुगत रूप से गणनीय सेट|वंशानुगत रूप से गणनीय समुच्चय]]
 *[[वंशानुगत संपत्ति]]
-*ट्री (ग्राफ थ्योरी)#जड़ वाला पेड़
+*ट्री (ग्राफ थ्योरी) ट्री रूट सिद्धांत
-* रचनात्मक सेट सिद्धांत
+* रचनात्मक समुच्चय सिद्धांत
-*परिमित सेट
+*परिमित समुच्चय
 ==संदर्भ==
@@ Line 102: / Line 98: @@
 {{Set theory}}
-[[Category: समुच्चय सिद्धान्त]]
-[[Category: Machine Translated Page]]
+[[Category:Collapse templates]]
 [[Category:Created On 28/02/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with script errors]]
+[[Category:Short description with empty Wikidata description]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Translated in Hindi]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Wikipedia metatemplates]]
+[[Category:समुच्चय सिद्धान्त]]

v t e समुच्चय सिद्धान्त
अवलोकन	सेट (गणित)
स्वयंसिद्ध	adjunction पसंद गणना योग्य आश्रित ग्लोबल निर्माण (v = l) निर्धारण एक्सटेंशनलिटी अनंत आकार की सीमा जोड़ी पावर सेट नियमितता संघ मार्टिन का स्वयंसिद्ध स्वयंसिद्ध स्कीमा प्रतिस्थापन विनिर्देश
संचालन	कार्तीय गुणन पूरक (यानी सेट अंतर) डे मॉर्गन के कानून असंतुष्ट संघ पहचान चौराहा सत्ता स्थापित सममित अंतर संघ
Concepts Methods	लगभग कार्डिनैलिटी कार्डिनल नंबर ( बड़ा) वर्ग रचनात्मक ब्रह्मांड सातत्य परिकल्पना विकर्ण तर्क तत्व क्रमित युग्म ट्यूपल परिवार फोर्सिंग एक-से-एक पत्राचार क्रमसूचक संख्या सेट-बिल्डर नोटेशन ट्रांसफिनाइट इंडक्शन वेन आरेख
सेट प्रकार	अनाकार काउंट करने योग्य खाली परिमित ( वंशानुगत रूप से) फ़िल्टर आधार सबबेस अल्ट्राफिल्टर फजी अनंत पुनरावर्ती सिंगलटन सबसेट⧼dot-separator⧽सुपरसेट सकर्मक बेशुमार यूनिवर्सल
सिद्धांतों	वैकल्पिक स्वयंसिद्ध भोला कैंटर का प्रमेय* Zermelo** सामान्य* प्रिंसिपिया मैथमेटिक '** नई नींव* Zermelo -fraenkel न्यूमैन से - बर्नेज़ - गोडेल* मोर्स -केली क्रिपे-प्लेटेक टार्स्की -ग्रोथेन्डीक
Paradoxes Problems	रसेल का विरोधाभास सुस्लिन की समस्या Burali-Forti विरोधाभास
सिद्धांतकार सेट	अब्राहम फ्रेंकेल बर्ट्रेंड रसेल अर्नस्ट ज़रमेलो जॉर्ज कैंटर जॉन वॉन न्यूमैन कर्ट गोडेल पॉल बर्नस पॉल कोहेन रिचर्ड डेडेकिंड थॉमस जेक थोरलफ स्कोलेम विलार्ड क्वीन लोरेंज हैलबिसेन

Anonymous

Search

वंशानुगत रूप से परिमित सेट: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 13:17, 24 March 2023

Contents

औपचारिक परिभाषा