क्रमित युग्म: Difference between revisions

[[File:Ellipse in coordinate system with semi-axes labelled.svg|thumb|300px|[[विश्लेषणात्मक ज्यामिति]] [[यूक्लिडियन विमान]] में प्रत्येक बिंदु को एक आदेशित जोड़ी से जोड़ती है। लाल दीर्घवृत्त सभी युग्मों (x, y) के समुच्चय से जुड़ा है जैसे कि {{sfrac|''x''²|4}}+य²=1.]]गणित में, [[क्रम|क्रमित]] युग्म (''a'', ''b'') वस्तुओं का युग्म है। जिस क्रम में वस्तुएं दिखाई देती हैं वह महत्वपूर्ण है क्रमित युग्म (''a'', ''b'') क्रमित युग्म (''b'', ''a'') से भिन्न है जब तक' '<nowiki/>''a''<nowiki/>' = '''b''<nowiki/>' न हो। (इसके विपरीत, अव्यवस्थित युग्म {''a'', ''b''} अव्यवस्थित युग्म {''b'', ''a''} के बराबर होती है।)

{{math|(''a'', ''b'')}} संकेतन का उपयोग अन्य उद्देश्यों के लिए किया जा सकता है, विशेष रूप से [[वास्तविक संख्या रेखा]] पर खुले अंतराल को दर्शाने के रूप में। ऐसी स्थितियों में, संदर्भ प्रायः यह स्पष्ट कर देगा कि कौन सा अर्थ अभीष्ट है।<ref>{{citation|first=Steven R.|last=Lay|title=Analysis / With an Introduction to Proof|edition=4th|publisher=Pearson / Prentice Hall|isbn=978-0-13-148101-5|year=2005|page=50}}</ref><ref>{{citation|first=Keith|last=Devlin|title=Sets, Functions and Logic / An Introduction to Abstract Mathematics|edition=3rd|publisher=Chapman & Hall / CRC|year=2004|isbn=978-1-58488-449-1|page=79}}</ref> अतिरिक्त स्पष्टीकरण के लिए, क्रमित युग्मों को भिन्न अंकन द्वारा दर्शाया जा सकता है <math display="inline"> \langle a,b\rangle</math>, परंतु इस अंकन के अन्य उपयोग भी हैं।

युग्म p के बाएँ और दाएँ प्रक्षेपण को प्रायः क्रमशः  {{pi}}₁(पी) और {{pi}}₂(पी), या  {{pi}}_''ℓ''(पी) और {{pi}}_''r''(पी), द्वारा निरूपित किया जाता है क्रमशः ऐसे संदर्भों में जहां मनमाने ढंग से एन-टुपल्स पर विचार किया जाता है, {{pi}}{{su|p=''n''|b=''i''}}(टी) एन-ट्यूपल टी के आई-वें घटक के लिए एक सामान्य संकेत है।

जैसे किन्हीं भी दो वस्तुओं के लिए {{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}} अलग होना चाहिए, लेकिन एक क्रमित युग्मों में वे समान हो सकते हैं और जबकि एक सेट के तत्वों को सूचीबद्ध करने का क्रम मायने नहीं रखता है, क्रमित युग्मों में अलग-अलग प्रविष्टियों के क्रम को बदलने से क्रमित युग्म बदल जाती है।

अधिक संतोषजनक दृष्टिकोण यह देखना है कि गणित में क्रमित युग्मों की भूमिका को समझने के लिए ऊपर दिए गए क्रमित युग्मों के चारित्रिक गुणों की आवश्यकता है। इसलिए क्रमित युग्म को एक [[आदिम धारणा]] के रूप में लिया जा सकता है, जिसका संबद्ध अभिगृहीत अभिलाक्षणिक गुण है। यह निकोलस बॉरबाकी द्वारा लिया गया दृष्टिकोण था। यह 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).

</ref> क्रमित युग्मों की कई सेट-सैद्धांतिक परिभाषाएँ नीचे दी गई हैं (यह भी देखें <ref>{{Cite web|last=Dipert|first=Randall|title=क्रमबद्ध जोड़े के सेट-सैद्धांतिक प्रतिनिधित्व और संबंधों के तर्क के लिए उनकी पर्याप्तता।|url=https://www.academia.edu/|url-status=live}}</ref>).

[[नॉर्बर्ट वीनर]] ने 1914 में क्रमित युग्मों की पहली सेट सैद्धांतिक परिभाषा प्रस्तावित की<ref>Wiener's paper "A Simplification of the logic of relations" is reprinted, together with a valuable commentary on pages 224ff in van Heijenoort, Jean (1967), ''From Frege to Gödel: A Source Book in Mathematical Logic, 1979–1931'', Harvard University Press, Cambridge MA, {{isbn|0-674-32449-8}} (pbk.). van Heijenoort states the simplification this way: "By giving a definition of the ordered pair of two elements in terms of class operations, the note reduced the theory of relations to that of classes".</ref>

उन्होंने देखा कि इस परिभाषा ने [[गणितीय सिद्धांत]] के [[प्रकार सिद्धांत]] को सेट के रूप में परिभाषित करना संभव बना दिया।  गणितीय सिद्धांत ने आदिम धारणा के रूप में , और इसलिए सभी अर्थों का [[संबंध (गणित)]] लिया था।

<nowiki>वीनर ने प्रकार सिद्धांत के साथ परिभाषा को संगत बनाने के लिए {बी} के बजाय {{</nowiki>''b''<nowiki>}} का इस्तेमाल किया, जहां वर्ग में सभी तत्व समान "प्रकार" के होने चाहिए। एक अतिरिक्त सेट के भीतर </nowiki>'''नेस्टेड''', बी के साथ,इसका प्रकार <math>\{\{a\}, \emptyset\}</math>'s  के बराबर है।

<math>(\forall Y_1,Y_2\in p:Y_1\ne Y_2\rarr (x\notin Y_1 \lor x \notin Y_2))</math> तुच्छ रूप से सत्य है, क्योंकि  ''Y''₁ ≠ ''Y''₂ ऐसा कभी नहीं होता।

यह है कि हम एक युग्म के पहले समन्वय को कैसे निकाल सकते हैं ('''इटरेटेड बाइनरी ऑपरेशन # नोटेशन | इटरेटेड-ऑपरेशन नोटेशन फॉर इंटरसेक्शन (सेट थ्योरी) # आर्बिट्रेरी इंटरसेक्शन और यूनियन (सेट थ्योरी) # आर्बिट्रेरी यूनियनों का उपयोग करके):'''

क्रमित युग्म की उपर्युक्त कुराटोव्स्की परिभाषा "पर्याप्त" है क्योंकि यह उन चारित्रिक गुणधर्मों को संतुष्ट करती है जो एक क्रमित युग्म को संतुष्ट करना चाहिए, अर्थात वह <math>(a,b) = (x,y) \leftrightarrow (a=x) \land (b=y)</math>. विशेष रूप से, यह पर्याप्त रूप से 'आदेश' को व्यक्त करता है <math>(a,b) = (b,a)</math> तब तक गलत है जब तक <math>b = a</math>. समान या कम जटिलता की अन्य परिभाषाएँ हैं, जो समान रूप से पर्याप्त हैं

विपरीत परिभाषा केवल कुराटोस्की परिभाषा का एक निरर्थक संस्करण है, और इस तरह कोई स्वतंत्र हित नहीं है। परिभाषा को छोटा कहा जाता है क्योंकि इसमें [[ब्रेसिज़ (विराम चिह्न)]] के तीन जोड़े के बजाय दो की आवश्यकता होती है। यह साबित करने के लिए कि विशिष्ट संपत्ति को छोटा संतुष्ट करता है, नियमितता के ज़र्मेलो-फ्रेंकेल सेट सिद्धांत की आवश्यकता होती है।<ref>Tourlakis, George (2003) ''Lectures in Logic and Set Theory. Vol. 2: Set Theory''. Cambridge Univ. Press. Proposition III.10.1.</ref><nowiki> इसके अलावा, यदि कोई प्राकृतिक संख्याओं के वॉन न्यूमैन के प्राकृतिक संख्याओं के सेट-सैद्धांतिक निर्माण का उपयोग करता है, तो 2 को सेट {0, 1} = {0, {0}} के रूप में परिभाषित किया जाता है, जो जोड़ी (0, 0)</nowiki>_लघु  से अप्रभेद्य है। फिर भी छोटी युग्म का एक और नुकसान यह तथ्य है कि भले ही ''ए'' और ''बी'' एक ही प्रकार के हों, छोटी युग्म के तत्व नहीं हैं। (हालांकि, यदि ''a'' = ''b'' तो लघु संस्करण में कार्डिनलिटी 2 बनी रहती है, जो कि किसी भी "युग्म" से उम्मीद की जा सकती है, जिसमें  "'''क्रमित युग्म'''" भी शामिल है।

साबित करें: (ए, बी) = (सी, डी) [[अगर और केवल अगर]] ए = सी और बी = डी।

'कुरातोवस्की':<br>

यदि। यदि ए = सी और बी = डी, तो {{''a''}, {''a, b''}} = {{''c''}, {''c, d''}}. इस प्रकार (ए, बी)_K = (सी, डी)_K.

केवल। दो मामले: ए = बी, और ए ≠ बी।

अगर ए = बी:

:(ए, बी)_K = {{''a''}, {''a, b''}} = {{''a''}, {''a, a''}} = <nowiki>{{</nowiki>''a''}}.

:{{''c''}, {''c, d''}} = (सी, डी)_K = (ए, बी)_K = <nowiki>{{</nowiki>''a''}}.

: इस प्रकार {सी} = {सी, डी} = {ए}, जिसका अर्थ है ए = सी और ए = डी। परिकल्पना से, ए = बी। इसलिए बी = डी।

यदि a ≠ b, तो (a, b)_K = (सी, डी)_K तात्पर्य {{''a''}, {''a, b''}} = {{''c''}, {''c, d''}}.

: मान लीजिए {सी, डी} = {ए}। तब सी = डी = ए, और इसलिए {{''c''}, {''c, d''}} = {{''a''}, {''a, a''}} = {{''a''}, {''a''}} = <nowiki>{{</nowiki>''a''}}. परन्तु फिर {{''a''}, {''a, b''}} <nowiki> के बराबर भी होगा{{</nowiki>''a''}}, ताकि b = a जो a ≠ b के विपरीत हो।

: मान लीजिए {सी} = {ए, बी}। तब a = b = c, जो a ≠ b का भी विरोध करता है।

: इसलिए {c} = {a}, ताकि c = a और {c, d} = {a, b} हो।

: यदि d = a सत्य थे, तो {c, d} = {a, a} = {a} ≠ {a, b}, एक विरोधाभास। इस प्रकार d = b स्थिति है, ताकि a = c और b = d हो।

'रिवर्स':<br>

(ए, बी)_reverse = {{''b''}, {''a, b''}} = {{''b''}, {''b, a''}} = (बी, ए)_K.

यदि। अगर (ए, बी)_reverse = (सी, डी)_reverse,

(बी ० ए)_K = (डी, सी)_K. इसलिए, बी = डी और ए = सी।

केवल। यदि ए = सी और बी = डी, तो {{''b''}, {''a, b''}} = {{''d''}, {''c, d''}}.

इस प्रकार (ए, बी)_reverse = (सी, डी)_reverse.

छोटा:<ref>For a formal [[Metamath]] proof of the adequacy of '''short''', see [http://us.metamath.org/mpegif/opthreg.html here (opthreg).] Also see Tourlakis (2003), Proposition III.10.1.</ref>

यदि: यदि a = c और b = d, तो {a, {a, b}} = {c, {c, d}}। इस प्रकार (ए, बी)_short = (सी, डी)_short.

तब a बाएं हाथ की ओर है, और इस प्रकार दाहिने हाथ की ओर है।

क्योंकि समान समुच्चय में समान अवयव होते हैं, a = c या a = {c, d} में से कोई एक मामला होना चाहिए।

: यदि a = {c, d}, तो उपरोक्त समान तर्क के अनुसार, {a, b} दाहिने हाथ की ओर है, इसलिए {a, b} = c या {a, b} = {c, d}।

: विकल्प {ए, बी} = सी और ए = सी का तात्पर्य है कि सी नियमितता के विपरीत, सी का एक तत्व है।

: तो हमारे पास a = c और {a, b} = {c, d}, और इसलिए: {b} = {a, b} \ {a} = {c, d} \ {c} = {d} , तो बी = डी।

===क्विन-रॉसर परिभाषा ===

जे. बार्कले रोसेर (1953)<ref>[[J. Barkley Rosser]], 1953. ''Logic for Mathematicians''. McGraw–Hill.</ref> [[विलार्ड वैन ऑरमन क्वीन]] के कारण आदेशित जोड़ी की एक परिभाषा नियोजित की गई जिसके लिए [[प्राकृतिक संख्या]]ओं की पूर्व परिभाषा की आवश्यकता होती है। होने देना <math>\N</math> प्राकृतिक संख्याओं का समुच्चय बनें और पहले परिभाषित करें