क्रमित युग्म

विश्लेषणात्मक ज्यामिति यूक्लिडियन विमान में प्रत्येक बिंदु को एक आदेशित जोड़ी से जोड़ती है। लाल दीर्घवृत्त सभी युग्मों (x, y) के समुच्चय से जुड़ा है जैसे कि x²/4+य²=1.

गणित में, क्रमित युग्म (ए, बी) वस्तुओं का युग्म है। जिस क्रम में वस्तुएं दिखाई देती हैं वह महत्वपूर्ण है क्रमित युग्म (ए, बी) क्रमित युग्म (बी, ए) से भिन्न है जब तक' 'ए' = 'बी' न हो। (इसके विपरीत, अव्यवस्थित युग्म {ए, बी} अव्यवस्थित युग्म {बी, ए} के बराबर होती है।)

क्रमित युग्मों को 2-टुपल्स, या अनुक्रम (कभी-कभी, कंप्यूटर विज्ञान के संदर्भ में सूचियाँ) 2 लंबाई भी कहा जाता है। अदिशों के क्रमित युग्मों को कभी-कभी 2-आयामी सदिश (गणित और भौतिकी) कहा जाता है। (तकनीकी रूप से, यह शब्दावली का दुरुपयोग है क्योंकि ऑर्डर किए गए युग्मों को सदिश स्थल का तत्व नहीं होना चाहिए।)ऑर्डर किए गए युग्मों की प्रविष्टियां अन्य ऑर्डर किए गए युग्म हो सकते हैं, जो ऑर्डर किए गए एन -ट्यूपल्स (n ऑब्जेक्ट्स की ऑर्डर की गई सूचियां) की रिकर्सिव परिभाषा को सक्षम करते हैं। उदाहरण के लिए, आदेशित ट्रिपल (ए, बी, सी) को (ए, (बी,सी)) के रूप में परिभाषित किया जा सकता है। , अर्थात, एक जोड़ी के रूप में दूसरे में नेस्टेड।

आदेशित युग्म (a, b) में, वस्तु a को पहली प्रवेश कहा जाता है, और वस्तु b को युग्म की दूसरी प्रवेश कहलाती है। वैकल्पिक रूप से, वस्तुओं को पहले और दूसरे घटक, पहले और दूसरे निर्देशांक, या आदेशित जोड़ी के बाएं और दाएं अनुमान कहा जाता है।

कार्तीय गुणनफल और द्विआधारी संबंध (और इसलिए फलन (गणित)) क्रमित युग्मों के रूप में परिभाषित किए गए हैं, cf. चित्र।

सामान्यता

होने देना $(a_{1},b_{1})$ तथा $(a_{2},b_{2})$ जोड़े का आदेश दिया जाए। फिर आदेशित जोड़ी की विशेषता (या परिभाषित) संपत्ति है:

$(a_{1},b_{1})=(a_{2},b_{2}){\text{ if and only if }}a_{1}=a_{2}{\text{ and }}b_{1}=b_{2}.$

सभी क्रमित युग्मों का समुच्चय (गणित) जिसकी पहली प्रविष्टि किसी समुच्चय A में है और जिसकी दूसरी प्रविष्टि किसी समुच्चय B में है, A और B का कार्तीय गुणन कहलाता है, और A × B लिखा जाता है। समुच्चय A और B के बीच एक द्विआधारी संबंध A × B का उपसमुच्चय है। (a, b) }} संकेतन का उपयोग अन्य उद्देश्यों के लिए किया जा सकता है, विशेष रूप से वास्तविक संख्या रेखा पर खुले अंतराल को दर्शाने के रूप में। ऐसी स्थितियों में, संदर्भ आमतौर पर यह स्पष्ट कर देगा कि कौन सा अर्थ अभिप्रेत है। अतिरिक्त स्पष्टीकरण के लिए, आदेशित जोड़ी को वेरिएंट नोटेशन द्वारा दर्शाया जा सकता है ${\textstyle \langle a,b\rangle }$, लेकिन इस अंकन के अन्य उपयोग भी हैं।

<स्पैन आईडी = प्रोजेक्शन> एक जोड़ी p के बाएँ और दाएँ प्रक्षेपण को आमतौर पर द्वारा निरूपित किया जाता है π₁(पी) और π₂(पी), या द्वारा π_ℓ(पी) और π_r(पी), क्रमशः। ऐसे संदर्भों में जहां मनमाने ढंग से एन-टुपल्स पर विचार किया जाता है, πⁿ
_i(टी) एन-ट्यूपल टी के आई-वें घटक के लिए एक आम संकेत है।

अनौपचारिक और औपचारिक परिभाषाएँ

कुछ परिचयात्मक गणित की पाठ्यपुस्तकों में क्रमबद्ध युग्म की एक अनौपचारिक (या सहज) परिभाषा दी गई है, जैसे <ब्लॉककोट> किन्हीं दो वस्तुओं के लिए a तथा b, आदेशित जोड़ी (a, b) दो वस्तुओं को निर्दिष्ट करने वाला एक अंकन है a तथा b, उस क्रम में। </ब्लॉककोट> इसके बाद आमतौर पर दो तत्वों के एक सेट की तुलना की जाती है; यह इंगित करते हुए कि एक सेट में a तथा b अलग होना चाहिए, लेकिन एक आदेशित जोड़ी में वे समान हो सकते हैं और जबकि एक सेट के तत्वों को सूचीबद्ध करने का क्रम मायने नहीं रखता है, एक आदेशित जोड़ी में अलग-अलग प्रविष्टियों के क्रम को बदलने से क्रमित जोड़ी बदल जाती है।

यह परिभाषा असंतोषजनक है क्योंकि यह केवल वर्णनात्मक है और आदेश की सहज समझ पर आधारित है। हालांकि, जैसा कि कभी-कभी बताया गया है, इस विवरण पर भरोसा करने से कोई नुकसान नहीं होगा और लगभग हर कोई इस तरीके से आदेशित जोड़े के बारे में सोचता है। एक अधिक संतोषजनक दृष्टिकोण यह देखना है कि गणित में क्रमित युग्मों की भूमिका को समझने के लिए ऊपर दिए गए क्रमित युग्मों के चारित्रिक गुणों की आवश्यकता है। इसलिए आदेशित जोड़ी को एक आदिम धारणा के रूप में लिया जा सकता है, जिसका संबद्ध अभिगृहीत अभिलाक्षणिक गुण है। यह निकोलस बॉरबाकी द्वारा लिया गया दृष्टिकोण था | एन। 1954 में प्रकाशित अपने थ्योरी ऑफ सेट्स में बोरबाकी समूह। हालांकि, इस दृष्टिकोण में इसकी कमियां भी हैं क्योंकि आदेशित जोड़े के अस्तित्व और उनकी विशिष्ट संपत्ति दोनों को स्वयंसिद्ध माना जाना चाहिए।

आदेशित जोड़े से सख्ती से निपटने का एक और तरीका उन्हें सेट सिद्धांत के संदर्भ में औपचारिक रूप से परिभाषित करना है। यह कई तरीकों से किया जा सकता है और इसका लाभ यह है कि सेट सिद्धांत को परिभाषित करने वाले स्वयंसिद्धों से अस्तित्व और विशिष्ट संपत्ति को सिद्ध किया जा सकता है। इस परिभाषा के सबसे उद्धृत संस्करणों में से एक कुराटोव्स्की (नीचे देखें) के कारण है और उनकी परिभाषा का उपयोग 1970 में प्रकाशित बॉरबाकी के थ्योरी ऑफ़ सेट्स के दूसरे संस्करण में किया गया था। यहां तक ​​कि उन गणितीय पाठ्यपुस्तकों में भी जो आदेशित जोड़े की अनौपचारिक परिभाषा देती हैं एक अभ्यास में कुराटोस्की की औपचारिक परिभाषा का उल्लेख कीजिए।

== समुच्चय सिद्धान्त == का उपयोग करके ऑर्डर किए गए जोड़े को परिभाषित करना

यदि कोई इस बात से सहमत है कि सेट सिद्धांत गणित की एक आकर्षक नींव है, तो सभी गणितीय वस्तुओं को किसी प्रकार के सेट (गणित) के रूप में परिभाषित किया जाना चाहिए। इसलिए यदि क्रमित युग्म आदिम के रूप में नहीं लिया जाता है, तो इसे समुच्चय के रूप में परिभाषित किया जाना चाहिए। आदेशित जोड़ी की कई सेट-सैद्धांतिक परिभाषाएँ नीचे दी गई हैं (यह भी देखें ).

वीनर की परिभाषा

नॉर्बर्ट वीनर ने 1914 में आदेशित जोड़ी की पहली सेट सैद्धांतिक परिभाषा प्रस्तावित की:

$\left(a,b\right):=\left\{\left\{\left\{a\right\},\,\emptyset \right\},\,\left\{\left\{b\right\}\right\}\right\}.$

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

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

हौसडॉर्फ की परिभाषा

लगभग उसी समय वीनर (1914) के रूप में, फेलिक्स हॉसडॉर्फ ने अपनी परिभाषा प्रस्तावित की:

$(a,b):=\left\{\{a,1\},\{b,2\}\right\}$

जहाँ 1 और 2 a और b से भिन्न दो अलग-अलग वस्तुएँ हैं।

कुराटोस्की की परिभाषा

1921 में काज़िमिर्ज़ कुराटोव्स्की ने अब स्वीकृत परिभाषा की पेशकश की आदेशित जोड़ी की (ए, बी):

$(a,\ b)_{K}\;:=\ \{\{a\},\ \{a,\ b\}\}.$

ध्यान दें कि इस परिभाषा का उपयोग तब भी किया जाता है जब पहले और दूसरे निर्देशांक समान हों:

$(x,\ x)_{K}=\{\{x\},\{x,\ x\}\}=\{\{x\},\ \{x\}\}=\{\{x\}\}$

कुछ क्रमित युग्म p को देखते हुए, गुण x, p का पहला निर्देशांक है, इस प्रकार तैयार किया जा सकता है:

$\forall Y\in p:x\in Y.$

संपत्ति x p का दूसरा निर्देशांक है जिसे इस प्रकार तैयार किया जा सकता है:

$(\exists Y\in p:x\in Y)\land (\forall Y_{1},Y_{2}\in p:Y_{1}\neq Y_{2}\rightarrow (x\notin Y_{1}\lor x\notin Y_{2})).$

इस मामले में कि बाएँ और दाएँ निर्देशांक समान हैं, दाएँ संयोजन $(\forall Y_{1},Y_{2}\in p:Y_{1}\neq Y_{2}\rightarrow (x\notin Y_{1}\lor x\notin Y_{2}))$ तुच्छ रूप से सत्य है, क्योंकि Y₁ ≠ और₂ ऐसा कभी नहीं होता।

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

$\pi _{1}(p)=\bigcup \bigcap p.$

इस प्रकार दूसरा निर्देशांक निकाला जा सकता है:

$\pi _{2}(p)=\bigcup \left\{\left.x\in \bigcup p\,\right|\,\bigcup p\neq \bigcap p\rightarrow x\notin \bigcap p\right\}.$

प्रकार

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

• $(a,b)_{\text{reverse}}:=\{\{b\},\{a,b\}\};$
• $(a,b)_{\text{short}}:=\{a,\{a,b\}\};$
• $(a,b)_{\text{01}}:=\{\{0,a\},\{1,b\}\}.$

विपरीत परिभाषा केवल कुराटोस्की परिभाषा का एक तुच्छ संस्करण है, और इस तरह कोई स्वतंत्र हित नहीं है। परिभाषा को छोटा कहा जाता है क्योंकि इसमें ब्रेसिज़ (विराम चिह्न) के तीन जोड़े के बजाय दो की आवश्यकता होती है। यह साबित करने के लिए कि विशिष्ट संपत्ति को छोटा संतुष्ट करता है, नियमितता के ज़र्मेलो-फ्रेंकेल सेट सिद्धांत सिद्धांत की आवश्यकता होती है। इसके अलावा, यदि कोई वॉन न्यूमैन ऑर्डिनल | वॉन न्यूमैन के प्राकृतिक संख्याओं के सेट-थ्योरिटिक निर्माण का उपयोग करता है, तो 2 को सेट {0, 1} = {0, {0}} के रूप में परिभाषित किया जाता है, जो जोड़ी (0, 0)_short. फिर भी छोटी जोड़ी का एक और नुकसान यह तथ्य है कि भले ही ए और बी एक ही प्रकार के हों, छोटी जोड़ी के तत्व नहीं हैं। (हालांकि, यदि a = b तो लघु संस्करण में कार्डिनलिटी 2 बनी रहती है, जो कि किसी भी जोड़ी से उम्मीद की जा सकती है, जिसमें कोई भी आदेशित जोड़ी शामिल है।

सिद्ध करना कि परिभाषाएँ विशेषता गुण को संतुष्ट करती हैं

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

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

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

अगर ए = बी:

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

{{c}, {c, d}} = (सी, डी)_K = (ए, बी)_K = {{a}}.

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

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

मान लीजिए {सी, डी} = {ए}। तब सी = डी = ए, और इसलिए {{c}, {c, d}} = {{a}, {a, a}} = {{a}, {a}} = {{a}}. परन्तु फिर {{a}, {a, b}} के बराबर भी होगा{{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 हो।

'रिवर्स':
(ए, बी)_reverse = {{b}, {a, b}} = {{b}, {b, a}} = (बी, ए)_K.

यदि। अगर (ए, बी)_reverse = (सी, डी)_reverse, (बी ० ए)_K = (डी, सी)_K. इसलिए, बी = डी और ए = सी।

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

छोटा: यदि: यदि 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 = c और {a, b} = {c, d}, और इसलिए: {b} = {a, b} \ {a} = {c, d} \ {c} = {d} , तो बी = डी।

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

जे. बार्कले रोसेर (1953) विलार्ड वैन ऑरमन क्वीन के कारण आदेशित जोड़ी की एक परिभाषा नियोजित की गई जिसके लिए प्राकृतिक संख्याओं की पूर्व परिभाषा की आवश्यकता होती है। होने देना $\mathbb {N}$ प्राकृतिक संख्याओं का समुच्चय बनें और पहले परिभाषित करें

$\sigma (x):={\begin{cases}x,&{\text{if }}x\not \in \mathbb {N} ,\\x+1,&{\text{if }}x\in \mathbb {N} .\end{cases}}$

कार्यक्रम $\sigma$ यदि यह एक प्राकृतिक संख्या है और इसे अन्यथा छोड़ देता है तो इसके तर्क को बढ़ा देता है; संख्या 0 के कार्यात्मक मान के रूप में प्रकट नहीं होता है $\sigma$. जैसा $x\smallsetminus \mathbb {N}$ के तत्वों का समुच्चय है $x$ अंदर नही $\mathbb {N}$ पुरानी शैली का

$\varphi (x):=\sigma [x]=\{\sigma (\alpha )\mid \alpha \in x\}=(x\smallsetminus \mathbb {N} )\cup \{n+1:n\in (x\cap \mathbb {N} )\}.$

यह छवि (गणित) # एक सेट के सबसेट की छवि है $x$ नीचे $\sigma$, छवि (गणित)#अन्य शब्दावली द्वारा $\sigma ''x$ भी। आवेदन समारोह $\varphi$ एक सेट x में बस इसमें प्रत्येक प्राकृतिक संख्या में वृद्धि होती है। विशेष रूप से, $\varphi (x)$ में कभी भी 0 नहीं होता है, ताकि किसी भी सेट x और y के लिए,

$\varphi (x)\neq \{0\}\cup \varphi (y).$

आगे परिभाषित करें

$\psi (x):=\sigma [x]\cup \{0\}=\varphi (x)\cup \{0\}.$

इस के द्वारा, $\psi (x)$ में हमेशा संख्या 0 होती है।

अंत में, आदेशित जोड़ी (ए, बी) को अलग संघ के रूप में परिभाषित करें

$(A,B):=\varphi [A]\cup \psi [B]=\{\varphi (a):a\in A\}\cup \{\varphi (b)\cup \{0\}:b\in B\}.$

(जो है $\varphi ''A\cup \psi ''B$ वैकल्पिक संकेतन में)।

जोड़ी के सभी तत्वों को निकालना जिसमें 0 नहीं है और पूर्ववत करना $\varphi$ पैदावार ए। इसी तरह, बी को उस जोड़ी के तत्वों से पुनर्प्राप्त किया जा सकता है जिसमें 0 होता है। उदाहरण के लिए, जोड़ी $(\{\{a,0\},\{b,c,1\}\},\{\{d,2\},\{e,f,3\}\})$ के रूप में एन्कोड किया गया है $\{\{a,1\},\{b,c,2\},\{d,3,0\},\{e,f,4,0\}\}$ बशर्ते $a,b,c,d,e,f\notin \mathbb {N}$.

टाइप थ्योरी में और उसके परिणाम में जैसे स्वयंसिद्ध सेट थ्योरी नई नींव, क्वीन-रॉसर जोड़ी के अनुमानों के समान ही है और इसलिए इसे टाइप-लेवल ऑर्डरेड जोड़ी कहा जाता है। इसलिए इस परिभाषा में एक फ़ंक्शन (गणित) को सक्षम करने का लाभ है, जिसे आदेशित जोड़े के एक सेट के रूप में परिभाषित किया गया है, इसके तर्कों के प्रकार से केवल 1 उच्च प्रकार है। यह परिभाषा तभी काम करती है जब प्राकृतिक संख्याओं का समुच्चय अनंत हो। न्यू फ़ाउंडेशन में ऐसा होता है, लेकिन टाइप थ्योरी या न्यू फ़ाउंडेशन में नहीं। जे। बार्कले रोसेर ने दिखाया कि इस तरह के एक प्रकार-स्तरीय आदेशित जोड़ी (या यहां तक ​​​​कि 1 आदेशित जोड़ी द्वारा टाइप-रेज़िंग) का अस्तित्व अनंत के स्वयंसिद्ध का अर्थ है। क्विनियन सेट सिद्धांतों के संदर्भ में आदेशित जोड़ी की व्यापक चर्चा के लिए, होम्स (1998) देखें।

कैंटर–फ्रीज परिभाषा

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

$(x,y)=\{R:xRy\}.$

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

मोर्स परिभाषा

मोर्स-केली सेट सिद्धांत उचित वर्गों का मुफ्त उपयोग करता है। एंथोनी मोर्स ने आदेशित जोड़ी को परिभाषित किया ताकि इसके अनुमान उचित वर्ग और साथ ही सेट हो सकें। (कुरातोव्स्की की परिभाषा इसकी अनुमति नहीं देती है।) उन्होंने सबसे पहले आदेशित युग्मों को परिभाषित किया जिनके प्रक्षेपण कुराटोस्की के तरीके से निर्धारित किए गए हैं। उन्होंने फिर जोड़ी को फिर से परिभाषित किया

$(x,y)=(\{0\}\times s(x))\cup (\{1\}\times s(y))$

जहां घटक कार्टेशियन उत्पाद सेट के कुराटोस्की जोड़े हैं और जहां

$s(x)=\{\emptyset \}\cup \{\{t\}\mid t\in x\}$

यह संभावित युग्मों को प्रस्तुत करता है जिनके प्रक्षेपण उचित वर्ग हैं। उपरोक्त क्विन-रॉसर परिभाषा भी उचित वर्गों को अनुमानों के रूप में स्वीकार करती है। इसी प्रकार ट्रिपल को 3-ट्यूपल के रूप में निम्नानुसार परिभाषित किया गया है:

$(x,y,z)=(\{0\}\times s(x))\cup (\{1\}\times s(y))\cup (\{2\}\times s(z))$

सिंगलटन सेट का उपयोग $s(x)$ जिसमें एक डाला हुआ खाली सेट है, टुपल्स को विशिष्टता की संपत्ति रखने की अनुमति देता है कि यदि a एक n-tuple है और b एक m-tuple है और a = b है तो n = m। आदेशित त्रिक जो क्रमित जोड़े के रूप में परिभाषित हैं, उनके पास क्रमित जोड़े के संबंध में यह संपत्ति नहीं है।

स्वयंसिद्ध परिभाषा

ऑर्डर किए गए जोड़े को Zermelo-Fraenkel सेट थ्योरी (ZF) में केवल ZF में एक नया फंक्शन सिंबल जोड़कर स्वयंसिद्ध रूप से पेश किया जा सकता है। $f$ arity 2 (यह आमतौर पर छोड़ दिया जाता है) और एक परिभाषित स्वयंसिद्ध के लिए $f$:

$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}.$

यह परिभाषा स्वीकार्य है क्योंकि ZF का यह विस्तार एक रूढ़िवादी विस्तार है। परिभाषा तथाकथित आकस्मिक प्रमेयों जैसे (a,a) = से बचने में मदद करती है{{a}}, {a} ∈ (a,b), यदि Kuratowski की परिभाषा (a,b) = {{a}, {a,b}} का प्रयोग किया गया।

श्रेणी सिद्धांत

सेट उत्पाद एक्स के लिए कम्यूटेटिव आरेख₁×X₂.

एक श्रेणी-सैद्धांतिक उत्पाद (श्रेणी सिद्धांत) सेट की एक श्रेणी में ए × बी आदेशित जोड़े के सेट का प्रतिनिधित्व करता है, जिसमें पहला तत्व ए से आता है और दूसरा बी से आता है। इस संदर्भ में ऊपर की विशेषता संपत्ति का एक परिणाम है उत्पाद की सार्वभौमिक संपत्ति और तथ्य यह है कि एक सेट एक्स के तत्वों को 1 (एक तत्व सेट) से एक्स तक आकारिकी के साथ पहचाना जा सकता है। जबकि विभिन्न वस्तुओं में सार्वभौमिक संपत्ति हो सकती है, वे सभी स्वाभाविक रूप से आइसोमोर्फिक हैं।

यह भी देखें

• कार्तीय गुणन
• टार्स्की-ग्रोथेंडिक सेट थ्योरी
• ट्रायबुलेक, आंद्रेज, 1989, टार्स्की-ग्रोथेंडीक सेट थ्योरी, जर्नल ऑफ़ फॉर्मलाइज्ड मैथमेटिक्स (परिभाषा Def5 ऑर्डर किए गए जोड़े की { { x) ,y}, {x}})

इस पेज में लापता आंतरिक लिंक की सूची

• अंडाकार
• अक्रमित जोड़ी
• अंक शास्त्र
• समारोह (गणित)
• पुनरावर्ती परिभाषा
• सबसेट
• सेट (गणित)
• खुला अंतराल
• गणित की नींव
• इकट्ठा
• नियमितता का स्वयंसिद्ध
• अनंत का स्वयंसिद्ध
• क्रमविनिमेय आरेख
• सेट की श्रेणी