क्रमित युग्म: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (13 intermediate revisions by 5 users not shown) | |||
| Line 1: | Line 1: | ||
: | |||
{{short description|Pair of mathematical objects}} | {{short description|Pair of mathematical objects}} | ||
[[File:Ellipse in coordinate system with semi-axes labelled.svg|thumb|300px|[[विश्लेषणात्मक ज्यामिति]] [[यूक्लिडियन विमान]] में प्रत्येक बिंदु को एक | [[File:Ellipse in coordinate system with semi-axes labelled.svg|thumb|300px|[[विश्लेषणात्मक ज्यामिति]] [[यूक्लिडियन विमान]] में प्रत्येक बिंदु को एक क्रमित युग्मों से जोड़ती है। लाल दीर्घवृत्त सभी युग्मों (x, y) के समुच्चय से जुड़ा है जैसे कि {{sfrac|''x''<sup>2</sup>|4}}+y<sup>2</sup>=1.]]गणित में, [[क्रम|क्रमित]] युग्म (''a'', ''b'') वस्तुओं का युग्म है। जिस क्रम में वस्तुएं दिखाई देती हैं वह महत्वपूर्ण है क्रमित युग्म (''a'', ''b'') क्रमित युग्म (''b'', ''a'') से भिन्न है जब तक' '<nowiki/>''a''<nowiki/>' = '''b''<nowiki/>' न हो। (इसके विपरीत, अव्यवस्थित युग्म {''a'', ''b''} अव्यवस्थित युग्म {''b'', ''a''} के बराबर होती है।) | ||
क्रमित युग्मों को 2-टुपल्स, या अनुक्रम (कभी-कभी, कंप्यूटर विज्ञान के संदर्भ में सूचियाँ) भी कहा जाता है जिनकी लंबाई 2 होती है। [[अदिश (गणित)|अदिशों]] के क्रमित युग्मों को कभी-कभी 2-आयामी [[वेक्टर (गणित और भौतिकी)|सदिश]] कहा जाता है। | क्रमित युग्मों को 2-टुपल्स, या अनुक्रम (कभी-कभी, कंप्यूटर विज्ञान के संदर्भ में सूचियाँ) भी कहा जाता है जिनकी लंबाई 2 होती है। [[अदिश (गणित)|अदिशों]] के क्रमित युग्मों को कभी-कभी 2-आयामी [[वेक्टर (गणित और भौतिकी)|सदिश]] कहा जाता है। | ||
| Line 26: | Line 27: | ||
जैसे किन्हीं भी दो वस्तुओं के लिए {{mvar|a}} तथा {{mvar|b}} के लिए, क्रमित युग्म {{math|(''a'', ''b'')}} उस क्रम में दो वस्तुओं {{mvar|a}} तथा {{mvar|b}} को निर्दिष्ट करने वाला संकेत चिन्ह है।<ref name="Wolf">{{citation|first=Robert S.|last=Wolf|title=Proof, Logic, and Conjecture / The Mathematician's Toolbox|publisher=W. H. Freeman and Co.|year=1998|isbn=978-0-7167-3050-7|page=164}}</ref> | जैसे किन्हीं भी दो वस्तुओं के लिए {{mvar|a}} तथा {{mvar|b}} के लिए, क्रमित युग्म {{math|(''a'', ''b'')}} उस क्रम में दो वस्तुओं {{mvar|a}} तथा {{mvar|b}} को निर्दिष्ट करने वाला संकेत चिन्ह है।<ref name="Wolf">{{citation|first=Robert S.|last=Wolf|title=Proof, Logic, and Conjecture / The Mathematician's Toolbox|publisher=W. H. Freeman and Co.|year=1998|isbn=978-0-7167-3050-7|page=164}}</ref> | ||
इसके बाद प्रायः दो तत्वों के एक | इसके बाद प्रायः दो तत्वों के एक समुच्चय की तुलना की जाती है, यह संकेत करते हुए कि एक समुच्चय में {{mvar|a}} तथा {{mvar|b}} अलग होना चाहिए, लेकिन एक क्रमित युग्मों में वे समान हो सकते हैं और जबकि एक समुच्चय के तत्वों को सूचीबद्ध करने का क्रम मायने नहीं रखता है, क्रमित युग्मों में अलग-अलग प्रविष्टियों के क्रम को बदलने से क्रमित युग्म बदल जाती है। | ||
यह "परिभाषा" असंतोषजनक है क्योंकि यह केवल वर्णनात्मक है और आदेश की सहज समझ पर आधारित है। हालांकि, जैसा कि कभी-कभी बताया गया है, इस विवरण पर भरोसा करने से कोई नुकसान नहीं होगा और लगभग हर कोई इस तरीके से क्रमित युग्मों के बारे में सोचता है।<ref>{{citation|first1=Peter|last1=Fletcher|first2=C. Wayne|last2=Patty|title=Foundations of Higher Mathematics|publisher=PWS-Kent|year=1988|isbn=0-87150-164-3|page=80}}</ref> | यह "परिभाषा" असंतोषजनक है क्योंकि यह केवल वर्णनात्मक है और आदेश की सहज समझ पर आधारित है। हालांकि, जैसा कि कभी-कभी बताया गया है, इस विवरण पर भरोसा करने से कोई नुकसान नहीं होगा और लगभग हर कोई इस तरीके से क्रमित युग्मों के बारे में सोचता है।<ref>{{citation|first1=Peter|last1=Fletcher|first2=C. Wayne|last2=Patty|title=Foundations of Higher Mathematics|publisher=PWS-Kent|year=1988|isbn=0-87150-164-3|page=80}}</ref> | ||
अधिक संतोषजनक दृष्टिकोण यह देखना है कि गणित में क्रमित युग्मों की भूमिका को समझने के लिए ऊपर दिए गए क्रमित युग्मों के चारित्रिक गुणों की आवश्यकता है। इसलिए क्रमित युग्म को एक [[आदिम धारणा]] के रूप में लिया जा सकता है, जिसका संबद्ध अभिगृहीत अभिलाक्षणिक गुण है। यह निकोलस बॉरबाकी द्वारा लिया गया दृष्टिकोण था। यह 1954 में प्रकाशित अपने | अधिक संतोषजनक दृष्टिकोण यह देखना है कि गणित में क्रमित युग्मों की भूमिका को समझने के लिए ऊपर दिए गए क्रमित युग्मों के चारित्रिक गुणों की आवश्यकता है। इसलिए क्रमित युग्म को एक [[आदिम धारणा]] के रूप में लिया जा सकता है, जिसका संबद्ध अभिगृहीत अभिलाक्षणिक गुण है। यह निकोलस बॉरबाकी द्वारा लिया गया दृष्टिकोण था। यह 1954 में प्रकाशित अपने समुच्चय का सिद्धांत में एन.बॉरबाकी समूह द्वारा लिया गया। हालांकि, इस दृष्टिकोण में इसकी कमियां भी हैं क्योंकि क्रमित युग्मों के अस्तित्व और उनकी विशिष्ट संपत्ति दोनों को स्वयंसिद्ध रूप से ग्रहण किया जाना चाहिए।<ref name="Wolf" /> | ||
क्रमित युग्मों से सख्ती से व्यवहार का एक और तरीका उन्हें | क्रमित युग्मों से सख्ती से व्यवहार का एक और तरीका उन्हें समुच्चय सिद्धांत के संदर्भ में औपचारिक रूप से परिभाषित करना है। यह कई तरीकों से किया जा सकता है और इसका लाभ यह है कि समुच्चय सिद्धांत को परिभाषित करने वाले स्वयंसिद्धों से अस्तित्व और विशिष्ट संपत्ति को सिद्ध किया जा सकता है। इस परिभाषा के सबसे उद्धृत संस्करणों में से एक कुराटोव्स्की (नीचे देखें) के कारण है और उनकी परिभाषा का उपयोग 1970 में प्रकाशित बॉरबाकी के थ्योरी ऑफ़ सेट्स के दूसरे संस्करण में किया गया था। यहां तक कि उन गणितीय पाठ्यपुस्तकों में भी जो क्रमित युग्मों की अनौपचारिक परिभाषा देती हैं अभ्यास में कुराटोस्की की औपचारिक परिभाषा का उल्लेख कीजिए। | ||
== [[समुच्चय सिद्धान्त]] का उपयोग करते हुए क्रमित युग्म को परिभाषित करना == | == [[समुच्चय सिद्धान्त]] का उपयोग करते हुए क्रमित युग्म को परिभाषित करना == | ||
यदि कोई इस बात से सहमत है कि समुच्चय सिद्धांत गणित की एक आकर्षक नींव है, तो सभी गणितीय वस्तुओं को किसी प्रकार के | यदि कोई इस बात से सहमत है कि समुच्चय सिद्धांत गणित की एक आकर्षक नींव है, तो सभी गणितीय वस्तुओं को किसी प्रकार के समुच्चय (गणित) के रूप में परिभाषित किया जाना चाहिए। इसलिए यदि क्रमित युग्म प्राथमिक के रूप में नहीं लिया जाता है, तो इसे समुच्चय के रूप में परिभाषित किया जाना चाहिए।<ref>[[Willard van Orman Quine|Quine]] has argued that the set-theoretical implementations of the concept of the ordered pair is a paradigm for the clarification of philosophical ideas (see "[[Word and Object]]", section 53). | ||
The general notion of such definitions or implementations are discussed in Thomas Forster "Reasoning about theoretical entities". | The general notion of such definitions or implementations are discussed in Thomas Forster "Reasoning about theoretical entities". | ||
</ref> क्रमित युग्मों की कई समुच्चय-सैद्धांतिक परिभाषाएँ नीचे दी गई हैं (यह भी देखें <ref>{{Cite web|last=Dipert|first=Randall|title=क्रमबद्ध जोड़े के सेट-सैद्धांतिक प्रतिनिधित्व और संबंधों के तर्क के लिए उनकी पर्याप्तता।|url=https://www.academia.edu/|url-status=live}}</ref>). | </ref> क्रमित युग्मों की कई समुच्चय-सैद्धांतिक परिभाषाएँ नीचे दी गई हैं (यह भी देखें <ref>{{Cite web|last=Dipert|first=Randall|title=क्रमबद्ध जोड़े के सेट-सैद्धांतिक प्रतिनिधित्व और संबंधों के तर्क के लिए उनकी पर्याप्तता।|url=https://www.academia.edu/|url-status=live}}</ref>). | ||
| Line 104: | Line 105: | ||
(''a, b'')<sub>रिवर्स</sub><nowiki> = {{</nowiki>''b''}, {''a, b''<nowiki>}} = {{</nowiki>''b''}, {''b, a''<nowiki>}} = (</nowiki>''b, a'')<sub>K</sub>. | (''a, b'')<sub>रिवर्स</sub><nowiki> = {{</nowiki>''b''}, {''a, b''<nowiki>}} = {{</nowiki>''b''}, {''b, a''<nowiki>}} = (</nowiki>''b, a'')<sub>K</sub>. | ||
''If''. If (''a, b'')<sub>रिवर्स</sub> = (''c, d'')<sub>रिवर्स</sub>, (''b, a'')<sub>K</sub> = (''d, c'')<sub>K</sub> | ''If''. If (''a, b'')<sub>रिवर्स</sub> = (''c, d'')<sub>रिवर्स</sub>, (''b, a'')<sub>K</sub> = (''d, c'')<sub>K</sub> इसलिए, ''b = d'' और ''a = c''. | ||
'' | ''यदि'' ''a = c'' और ''b = d''<nowiki>, तो {{</nowiki>''b''}, {''a, b''<nowiki>}} = {{</nowiki>''d''}, {''c, d''<nowiki>}} इस प्रकार (</nowiki>''a, b'')<sub>रिवर्स</sub> = (''c, d'')<sub>रिवर्स</sub>. | ||
''' | '''संक्षेप में''' | ||
यदि ''a = c'' और ''b = d'', तो {''a'', {''a, b''<nowiki>}} = {</nowiki>''c'', {''c, d''<nowiki>}} इस प्रकार (</nowiki>''a, b'')<sub>छोटा</sub> = (''c, d'')<sub>छोटा</sub>. | |||
'' | ''केवल यदि'' मान लीजिए {''a'', {''a, b''<nowiki>}} = {</nowiki>''c'', {''c, d''<nowiki>}}. तब a बाएँ हाथ की ओर है, और इस प्रकार दाएँ हाथ में है। क्योंकि समान समुच्चय में समान अवयव होते हैं, a = c या a = {c, d} में से कोई एक स्थिति होना चाहिए</nowiki> | ||
: यदि ''a'' = { ''c, d'' }, तो उपरोक्त के समान तर्क से, { ''a, b'' } दाहिने हाथ की ओर है, इसलिए { ''a, b'' } = ''c'' या { ''a, b'' } = { ''c, d'' }। | : यदि ''a'' = { ''c, d'' }, तो उपरोक्त के समान तर्क से, { ''a, b'' } दाहिने हाथ की ओर है, इसलिए { ''a, b'' } = ''c'' या { ''a, b'' } = { ''c, d'' }। | ||
:: यदि { ''a, b'' } = ''c'' तो ''c'' { ''c, d'' } = ''a'' में है और ''a'' ''c'' में है, और यह संयोजन नियमितता के सिद्धांत | :: यदि { ''a, b'' } = ''c'' तो ''c'' { ''c, d'' } = ''a'' में है और ''a'' ''c'' में है, और यह संयोजन नियमितता के सिद्धांत के विपरीत है, क्योंकि { ''a, c'' } के संबंध में "तत्व" के तहत कोई न्यूनतम तत्व नहीं है। | ||
:: यदि { ''a, b'' } = { ''c, d'' }, तो ''a'' = { ''c, d'' } = { ''a'' '', b'' } से ''a'' का एक अवयव है, फिर से नियमितता का विरोध करता है। | :: यदि { ''a, b'' } = { ''c, d'' }, तो ''a'' = { ''c, d'' } = { ''a'' '', b'' } से ''a'' का एक अवयव है, फिर से नियमितता का विरोध करता है। इसलिए ''a = c'' धारण करना चाहिए | ||
दोबारा, हम देखते हैं कि { ''a, b'' } = ''c'' या { ''a, b'' } = { ''c, d'' }। | दोबारा, हम देखते हैं कि { ''a, b'' } = ''c'' या { ''a, b'' } = { ''c, d'' }। | ||
:विकल्प { ''a, b'' } = ''c'' और ''a = c'' का अर्थ है कि ''c'', ''c'' का एक तत्व है, जो नियमितता का विरोध करता है। | |||
:तो हमारे पास ''a = c'' और { ''a, b'' } = { ''c, d'' }, और इसलिए { ''b'' } = { ''a, b'' } \ { ''a'' } = { ''c, d'' } \ { ''c'' } = { ''d'' }, तो ''b'' = d । | |||
=== | === कुइन–रोसेर का परिभाषा === | ||
[[:hi:जे। बार्कले रोसेर|रोसेर]] (1953) <ref>[[J. Barkley Rosser]], 1953. ''Logic for Mathematicians''. McGraw–Hill.</ref> ने [[:hi:विलार्ड वैन ऑरमन क्वीन| | [[:hi:जे। बार्कले रोसेर|रोसेर]] (1953) <ref>[[J. Barkley Rosser]], 1953. ''Logic for Mathematicians''. McGraw–Hill.</ref> ने [[:hi:विलार्ड वैन ऑरमन क्वीन|कुइन]] के कारण आदेशित युग्म की परिभाषा को नियोजित किया जिसके लिए [[:hi:प्राकृतिक संख्या|प्राकृतिक संख्याओं]] की पूर्व परिभाषा की आवश्यकता होती है। मान लीजिए कि <math>\N</math> प्राकृतिक संख्याओं का समुच्चय है और पहले परिभाषित करें | ||
<math>\sigma(x) := \begin{cases} | <math>\sigma(x) := \begin{cases} | ||
| Line 132: | Line 132: | ||
\end{cases}</math> | \end{cases}</math> | ||
कार्यात्मक अपने तर्क को बढ़ाता है यदि यह एक प्राकृतिक संख्या है और इसे अन्यथा छोड़ देता है संख्या 0 के कार्यात्मक मान के σ रूप में प्रकट नहीं होती है। जैसा <math> {\displaystyle x\smallsetminus \mathbb {N} }{\displaystyle x\smallsetminus \mathbb {N} } </math> के तत्वों का समूह है जो <math>\N</math> में नहीं चलने वाले तत्वों का समूह है | |||
: <math>\varphi(x) := \sigma[x] = \{\sigma(\alpha)\mid\alpha \in x\} = (x \smallsetminus \N) \cup \{n+1 : n \in (x \cap \N) \}.</math> यह | : <math>\varphi(x) := \sigma[x] = \{\sigma(\alpha)\mid\alpha \in x\} = (x \smallsetminus \N) \cup \{n+1 : n \in (x \cap \N) \}.</math> | ||
:यह σ के तहत समुच्चय x की समुच्चय इमेज है, जिसे कभी-कभी σ″ x द्वारा भी दर्शाया जाता है। आवेदन समारोह φ समुच्चय x में इसमें प्रत्येक प्राकृतिक संख्या में वृद्धि होती है। विशेष रूप से, φ(एक्स) में कभी भी 0 नहीं होता है, ताकि किसी भी समुच्चय x और y के लिए, | |||
: <math>\varphi(x) \neq \{0\} \cup \varphi(y).</math> | : <math>\varphi(x) \neq \{0\} \cup \varphi(y).</math> | ||
आगे परिभाषित करें | आगे परिभाषित करें | ||
| Line 143: | Line 142: | ||
<math>\psi(x) := \sigma[x] \cup \{0\} = \varphi(x) \cup \{0\}.</math> | <math>\psi(x) := \sigma[x] \cup \{0\} = \varphi(x) \cup \{0\}.</math> | ||
इसके द्वारा, हमेशा संख्या 0 होती है। | इसके द्वारा, x में हमेशा संख्या 0 होती है। | ||
अंत में, | अंत में, क्रमित युग्म (A, B) को अलग संघ के रूप में परिभाषित किया जा सकता है | ||
<math>(A, B) := \varphi[A] \cup \psi[B] = \{\varphi(a) : a \in A\} \cup \{\varphi(b) \cup \{0\} : b \in B \}.</math> | <math>(A, B) := \varphi[A] \cup \psi[B] = \{\varphi(a) : a \in A\} \cup \{\varphi(b) \cup \{0\} : b \in B \}.</math> | ||
| Line 151: | Line 150: | ||
(जो वैकल्पिक <math>\varphi''A \cup \psi''B</math> संकेतन में है)। | (जो वैकल्पिक <math>\varphi''A \cup \psi''B</math> संकेतन में है)। | ||
युग्म के सभी तत्वों को निकालना जिसमें 0 नहीं है और φ को पूर्ववत करने से A मिलता है। इसी तरह युग्म के उन तत्वों से B को पुनर्प्राप्त किया जा सकता है जिनमें 0 होता है। | |||
उदाहरण के लिए <math>( \{\{a,0\},\{b,c,1\}\} , \{\{d,2\},\{e,f,3\}\} )</math>, | उदाहरण के लिए <math>( \{\{a,0\},\{b,c,1\}\} , \{\{d,2\},\{e,f,3\}\} )</math>, युग्म को दिए गए <math>\{\{a,1\},\{b,c,2\},\{d,3,0\},\{e,f,4,0\}\}</math> के अनुसार एन्कोड <math>a,b,c,d,e,f\notin \N</math> किया गया है। | ||
प्रकार के सिद्धांत में और उसके परिणाम में जैसे स्वयंसिद्ध समुच्चय सिद्धांत एनएफ, कुइन-रॉसर युग्म के अनुमानों के समान प्रकार है और इसलिए इसे "प्रकार-स्तर" में क्रमित की गई युग्म कहा जाता है। इसलिए इस परिभाषा में क्रमित युग्म के समुच्चय के रूप में परिभाषित फ़ंक्शन को सक्षम करने का लाभ है, इसके तर्कों के प्रकार से केवल 1 प्रकार अधिक है। यह परिभाषा तभी काम करती है जब प्राकृतिक संख्याओं का समुच्चय अनंत हो। एनएफ में यह मामला है, लेकिन प्रकार सिद्धांत या एनएफयू में नहीं। जे बार्कले रोसेर ने दिखाया कि इस तरह के प्रकार-स्तरीय क्रमित युग्म (या यहां तक कि "प्रकार-स्तर द्वारा 1" क्रमित युग्म) का अस्तित्व अनंत के स्वयंसिद्ध का अर्थ है। क्विनियन समुच्चय सिद्धांतों के संदर्भ में क्रमित युग्म की व्यापक चर्चा के लिए, होम्स (1998) देखें। | |||
=== कैंटर-फ्रीज परिभाषा === | === कैंटर-फ्रीज परिभाषा === | ||
समुच्चय सिद्धांत के विकास की प्रारम्भ में, विरोधाभासों की खोज से पहले, कैंटर ने दो सेटों की क्रमबद्ध जोड़ी को इन सेटों के बीच धारण करने वाले सभी संबंधों के वर्ग के रूप में परिभाषित करके फ्रीज का अनुसरण किया, यह मानते हुए कि संबंध की धारणा आदिम है | |||
<math>(x, y) = \{R : x R y \}.</math> | <math>(x, y) = \{R : x R y \}.</math> | ||
यह परिभाषा अधिकांश आधुनिक औपचारिक | यह परिभाषा अधिकांश आधुनिक औपचारिक समुच्चय सिद्धांतों में अस्वीकार्य है और समुच्चय के आधारभूत को परिभाषित करने के समान है, जो दिए गए समुच्चय के साथ सभी सेटों के वर्ग के रूप में है।<ref>{{cite book|last=Kanamori|first=Akihiro|url=http://math.bu.edu/people/aki/16.pdf|title=Set Theory From Cantor to Cohen|publisher=Elsevier BV|year=2007}} p. 22, footnote 59</ref> | ||
=== मोर्स परिभाषा === | === मोर्स परिभाषा === | ||
मोर्स-केली | मोर्स-केली समुच्चय सिद्धांत उचित वर्गों का मुफ्त उपयोग करता है।<ref>{{cite book|last=Morse|first=Anthony P.|url=https://archive.org/details/theoryofsets0000mors|title=A Theory of Sets|publisher=Academic Press|year=1965|url-access=registration}}</ref> मोर्स ने क्रमित युग्मो को परिभाषित किया ताकि इसके प्रक्षेपण उचित वर्ग और साथ ही समुच्चय हो सकें। (कुरातोव्स्की की परिभाषा इसकी अनुमति नहीं देती है।) उन्होंने सबसे पहले आदेशित युग्मों को परिभाषित किया जिनके प्रक्षेपण कुराटोस्की के तरीके से निर्धारित किए गए हैं। उन्होंने युग्मो को फिर से परिभाषित किया | ||
: <math> (x, y) = (\{0\} \times s(x)) \cup (\{1\} \times s(y))</math> | : <math> (x, y) = (\{0\} \times s(x)) \cup (\{1\} \times s(y))</math> | ||
: जहां घटक कार्टेशियन उत्पाद | :जहां घटक कार्टेशियन उत्पाद समुच्चय के कुराटोस्की युग्म हैं और जहां | ||
: <math> s(x) = \{\emptyset \} \cup \{\{t\} \mid t \in x\} </math> | : <math> s(x) = \{\emptyset \} \cup \{\{t\} \mid t \in x\} </math> | ||
यह संभावित युग्मों को प्रस्तुत करता है जिनके प्रक्षेपण उचित वर्ग हैं। उपरोक्त क्विन-रॉसर परिभाषा भी उचित वर्गों को अनुमानों के रूप में स्वीकार करती है। इसी प्रकार, ट्रिपल को 3-ट्यूपल के रूप में परिभाषित किया गया है: | यह संभावित युग्मों को प्रस्तुत करता है जिनके प्रक्षेपण उचित वर्ग हैं। उपरोक्त क्विन-रॉसर परिभाषा भी उचित वर्गों को अनुमानों के रूप में स्वीकार करती है। इसी प्रकार, ट्रिपल को 3-ट्यूपल के रूप में परिभाषित किया गया है: | ||
| Line 180: | Line 176: | ||
: | : | ||
सिंगलटन | सिंगलटन समुच्चय s (x) का उपयोग जिसमें एक रिक्त समुच्चय डाला गया है, टुपल्स को विशिष्टता संपत्ति रखने की अनुमति देता है कि यदि A एक N-टुपल है और B एक एम-ट्यूपल है और A = B फिर N = M। क्रमित त्रिक जो क्रमित युग्मों के रूप में परिभाषित हैं, उनके पास क्रमित युग्मों के संबंध में यह संपत्ति नहीं है। | ||
=== | === स्वयंसिद्ध परिभाषा === | ||
ज़र्मेलो-फ्रेंकेल | क्रमित युग्म को ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत (ZF) में ऑर्डर किए गए युग्म को केवल ZF में एरिटी 2 के नए फ़ंक्शन चिह्न f (यह प्रायः छोड़ा गया है) और <math>f</math> के लिए परिभाषित स्वयंसिद्ध जोड़कर स्वयंसिद्ध रूप से प्रस्तुत किया जा सकता है | ||
<math>{\displaystyle f(a_{1},b_{1})=f(a_{2},b_{2}){\text{ if and only if }}a_{1}=a_{2}{\text{ and }}b_{1}=b_{2}.} | |||
</math> | |||
यह परिभाषा स्वीकार्य है क्योंकि ZF का यह विस्तार | यह परिभाषा स्वीकार्य है क्योंकि ZF का यह विस्तार रूढ़िवादी विस्तार है। | ||
परिभाषा तथाकथित आकस्मिक प्रमेय जैसे (a,a) = <nowiki>{{a}}</nowiki><nowiki>, {a} ∈ (a,b) से बचने में मदद करती है, अगर कुराटोस्की की परिभाषा ( | परिभाषा तथाकथित आकस्मिक प्रमेय जैसे (a,a) = <nowiki>{{a}}</nowiki><nowiki>, {a} ∈ (a,b) से बचने में मदद करती है, अगर कुराटोस्की की परिभाषा (a, b) = {{a}, { a, b } } प्रयोग किया गया।</nowiki> | ||
== श्रेणी सिद्धांत == | == श्रेणी सिद्धांत == | ||
श्रेणी-सैद्धांतिक उत्पाद | [[File:CategoricalProduct-03.svg|thumb|समुच्चय उत्पाद X1×X2 के लिए क्रमविनिमेय आरेख।]] | ||
श्रेणी-सैद्धांतिक उत्पाद A × B समुच्चय की श्रेणी में आदेशित युग्म के समुच्चय का प्रतिनिधित्व करता है, जिसमें पहला तत्व A से आता है और दूसरा B से आता है। इस संदर्भ में ऊपर की विशेषता संपत्ति उत्पाद की सार्वभौमिक संपत्ति का परिणाम है। उत्पाद और तथ्य यह है कि समुच्चय X के तत्वों को 1 (एक तत्व समुच्चय) से X तक नियमवाद के साथ पहचाना जा सकता है। जबकि विभिन्न वस्तुओं में सार्वभौमिक संपत्ति हो सकती है, वे सभी स्वाभाविक रूप से समरूपी हैं। | |||
==संदर्भ== | ==संदर्भ== | ||
{{Reflist|30em}} | {{Reflist|30em}} | ||
| Line 217: | Line 196: | ||
{{Mathematical logic}} {{Set theory}} | {{Mathematical logic}} {{Set theory}} | ||
[[Category: | |||
[[Category:Articles with short description]] | |||
[[Category:CS1 français-language sources (fr)]] | |||
[[Category:CS1 maint]] | |||
[[Category:CS1 Ελληνικά-language sources (el)]] | |||
[[Category:Citation Style 1 templates|W]] | |||
[[Category:Collapse templates]] | |||
[[Category:Created On 26/11/2022]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages with empty portal template]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Portal-inline template with redlinked portals]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates based on the Citation/CS1 Lua module]] | |||
[[Category:Templates generating COinS|Cite web]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates used by AutoWikiBrowser|Cite web]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia fully protected templates|Cite web]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:आदेश सिद्धांत]] | [[Category:आदेश सिद्धांत]] | ||