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

Revision as of 17:14, 21 December 2022

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

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

क्रमित युग्मों को 2-टुपल्स, या अनुक्रम (कभी-कभी, कंप्यूटर विज्ञान के संदर्भ में सूचियाँ) भी कहा जाता है जिनकी लंबाई 2 होती है। अदिशों के क्रमित युग्मों को कभी-कभी 2-आयामी सदिश कहा जाता है।

(तकनीकी रूप से, यह शब्दावली का अनुचित उपयोग है क्योंकि क्रमित युग्मों को सदिश स्थल का तत्व नहीं होना चाहिए।) क्रमित युग्मों की प्रविष्टियां अन्य क्रमित युग्म हो सकते हैं, जो क्रमित एन -ट्यूपल्स (n वस्तुओं की क्रमबद्ध सूचियां) की पुनरावर्ती परिभाषा को सक्षम करते हैं। उदाहरण के लिए, क्रमित ट्रिपल (a, b, c) को (a, (b,c)) के रूप में परिभाषित किया जा सकता है, अर्थात, एक युग्म दूसरे में स्थिर है।

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

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

सामान्यता

माना $(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)$ संकेत चिन्ह का उपयोग अन्य उद्देश्यों के लिए किया जा सकता है, विशेष रूप से वास्तविक संख्या रेखा पर खुले अंतराल को दर्शाने के रूप में ऐसी स्थितियों में, संदर्भ प्रायः यह स्पष्ट कर देगा कि कौन सा अर्थ अभीष्ट है।^[1]^[2] अतिरिक्त स्पष्टीकरण के लिए, क्रमित युग्मों को भिन्न संकेत चिन्ह द्वारा दर्शाया जा सकता है ${\textstyle \langle a,b\rangle }$ , परंतु इस संकेत चिन्ह के अन्य उपयोग भी हैं।

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

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

कुछ परिचयात्मक गणित की पाठ्यपुस्तकों में क्रमबद्ध युग्म की एक अनौपचारिक (या सहज) परिभाषा दी गई है,

जैसे किन्हीं भी दो वस्तुओं के लिए $a$ तथा $b$ के लिए, क्रमित युग्म $(a, b)$ उस क्रम में दो वस्तुओं $a$ तथा $b$ को निर्दिष्ट करने वाला संकेत चिन्ह है।^[3]

इसके बाद प्रायः दो तत्वों के एक सेट की तुलना की जाती है, यह संकेत करते हुए कि एक सेट में $a$ तथा $b$ अलग होना चाहिए, लेकिन एक क्रमित युग्मों में वे समान हो सकते हैं और जबकि एक सेट के तत्वों को सूचीबद्ध करने का क्रम मायने नहीं रखता है, क्रमित युग्मों में अलग-अलग प्रविष्टियों के क्रम को बदलने से क्रमित युग्म बदल जाती है।

यह "परिभाषा" असंतोषजनक है क्योंकि यह केवल वर्णनात्मक है और आदेश की सहज समझ पर आधारित है। हालांकि, जैसा कि कभी-कभी बताया गया है, इस विवरण पर भरोसा करने से कोई नुकसान नहीं होगा और लगभग हर कोई इस तरीके से क्रमित युग्मों के बारे में सोचता है।^[4]

अधिक संतोषजनक दृष्टिकोण यह देखना है कि गणित में क्रमित युग्मों की भूमिका को समझने के लिए ऊपर दिए गए क्रमित युग्मों के चारित्रिक गुणों की आवश्यकता है। इसलिए क्रमित युग्म को एक आदिम धारणा के रूप में लिया जा सकता है, जिसका संबद्ध अभिगृहीत अभिलाक्षणिक गुण है। यह निकोलस बॉरबाकी द्वारा लिया गया दृष्टिकोण था। यह 1954 में प्रकाशित अपने सेट का सिद्धांत में एन.बॉरबाकी समूह द्वारा लिया गया। हालांकि, इस दृष्टिकोण में इसकी कमियां भी हैं क्योंकि क्रमित युग्मों के अस्तित्व और उनकी विशिष्ट संपत्ति दोनों को स्वयंसिद्ध रूप से ग्रहण किया जाना चाहिए।^[3]

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

समुच्चय सिद्धान्त का उपयोग करते हुए क्रमित युग्म को परिभाषित करना

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

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

नॉर्बर्ट वीनर ने 1914 में क्रमित युग्मों की पहली समुच्चय सैद्धांतिक परिभाषा प्रस्तावित की^[7]

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

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

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

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

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

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

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

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

1921 में काज़िमिर्ज़ कुराटोव्स्की ने क्रमित युग्मों (a, b) अब स्वीकृत परिभाषा की पेशकश की^[9]^[10]

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

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

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

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

@@ Line 104: / Line 104: @@
 (''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>. इसलिए, ''b = d'' एंड ''a = c''.
+''If''. If (''a, b'')<sub>रिवर्स</sub> = (''c, d'')<sub>रिवर्स</sub>, (''b, a'')<sub>K</sub> = (''d, c'')<sub>K</sub> इसलिए, ''b = d'' और ''a = c''.
-''Only if''. If ''a = c'' एंड ''b = d''<nowiki>, then {{</nowiki>''b''}, {''a, b''<nowiki>}} = {{</nowiki>''d''}, {''c, d''<nowiki>}}. Thus (</nowiki>''a, b'')<sub>रिवर्स</sub> = (''c, d'')<sub>रिवर्स</sub>.
+''यदि'' ''a = c'' और ''b = d''<nowiki>, तो {{</nowiki>''b''}, {''a, b''<nowiki>}} = {{</nowiki>''d''}, {''c, d''<nowiki>}} इस प्रकार (</nowiki>''a, b'')<sub>रिवर्स</sub> = (''c, d'')<sub>रिवर्स</sub>.
-'''Short:'''
+'''संक्षेप में'''
-''If'': If ''a = c'' एंड ''b = d'', then {''a'', {''a, b''<nowiki>}} = {</nowiki>''c'', {''c, d''<nowiki>}}. Thus (</nowiki>''a, b'')<sub>short</sub> = (''c, d'')<sub>short</sub>.
+यदि ''a = c'' और ''b = d'', तो {''a'', {''a, b''<nowiki>}} = {</nowiki>''c'', {''c, d''<nowiki>}} इस प्रकार (</nowiki>''a, b'')<sub>छोटा</sub> = (''c, d'')<sub>छोटा</sub>.
-''Only if'': Suppose {''a'', {''a, b''<nowiki>}} = {</nowiki>''c'', {''c, d''<nowiki>}}. फिर a बाएँ h और पक्ष में है, और इस प्रकार दाएँ हाथ पक्ष में है। क्योंकि समान समुच्चय में समान अवयव होते हैं, a = c या a = {c, d} में से एक मामला होना चाहिए.</nowiki>
+''केवल यदि'' मान लीजिए {''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, b'' } = ''c'' तो ''c'' { ''c, d'' } = ''a'' में है और ''a'' ''c'' में है, और यह संयोजन नियमितता के सिद्धांत का खंडन करता है, क्योंकि { ''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 = c'' धारण करना चाहिए।
 दोबारा, हम देखते हैं कि { ''a, b'' } = ''c'' या { ''a, b'' } = { ''c, d'' }।
-:: विकल्प { ''a, b'' } = ''c'' और ''a = c'' का अर्थ है कि ''c'', ''c'' का एक तत्व है, जो नियमितता का विरोध करता है।
+:विकल्प { ''a, b'' } = ''c'' और ''a = c'' का अर्थ है कि ''c'', ''c'' का एक तत्व है, जो नियमितता का विरोध करता है।
-:: तो हमारे पास ''a = c'' और { ''a, b'' } = { ''c, d'' }, और इसलिए: { ''b'' } = { ''a, b'' } \ { ''a'' } = { ''c, d'' } \ { ''c'' } = { ''d'' }, तो ''b'' = d ।
+:तो हमारे पास ''a = c'' और { ''a, b'' } = { ''c, d'' }, और इसलिए { ''b'' } = { ''a, b'' } \ { ''a'' } = { ''c, d'' } \ { ''c'' } = { ''d'' }, तो ''b''     = d ।
-=== Quine–Rosser definition ===
+=== कुइन–रोसेर का परिभाषा ===
-[[:hi:जे। बार्कले रोसेर|रोसेर]] (1953) <ref>[[J. Barkley Rosser]], 1953. ''Logic for Mathematicians''. McGraw–Hill.</ref> ने [[:hi:विलार्ड वैन ऑरमन क्वीन|क्विन]] के कारण आदेशित जोड़ी की परिभाषा को नियोजित किया जिसके लिए [[:hi:प्राकृतिक संख्या|प्राकृतिक संख्याओं]] की पूर्व परिभाषा की आवश्यकता होती है। होने देना <math>\N</math> प्राकृतिक संख्याओं का समुच्चय बनें और पहले परिभाषित करें
+[[:hi:जे। बार्कले रोसेर|रोसेर]] (1953) <ref>[[J. Barkley Rosser]], 1953. ''Logic for Mathematicians''. McGraw–Hill.</ref> ने [[:hi:विलार्ड वैन ऑरमन क्वीन|क्विन]] के कारण आदेशित जोड़ी की परिभाषा को नियोजित किया जिसके लिए [[:hi:प्राकृतिक संख्या|प्राकृतिक संख्याओं]] की पूर्व परिभाषा की आवश्यकता होती है। मान लीजिए कि <math>\N</math> प्राकृतिक संख्याओं का समुच्चय है और पहले परिभाषित करें
 <math>\sigma(x) := \begin{cases}
@@ Line 132: / Line 131: @@
      \end{cases}</math>
-:
+'''फ़ंक्शन''' अपने तर्क को बढ़ाता है यदि यह एक प्राकृतिक संख्या है और इसे '''अन्यथा''' '''छोड़ देता है''' संख्या 0 के कार्यात्मक मान के रूप में प्रकट नहीं होती है। जैसा कि नहीं चलने वाले तत्वों का समूह है
-: फ़ंक्शन अपने तर्क को बढ़ाता है यदि यह एक प्राकृतिक संख्या है और इसे अन्यथा छोड़ देता है; संख्या 0 के कार्यात्मक मान के रूप में प्रकट नहीं होती है। जैसा कि नहीं चलने वाले तत्वों का समूह है
-: <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) := \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>

Anonymous

Search

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

Namespaces

More

Page actions