युग्मन फलन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
Fगणित में, युग्मन फलन दो [[प्राकृतिक संख्या]]ओं को विशिष्ट रूप से एक प्राकृतिक संख्या में कूटबद्ध करने की एक प्रक्रिया है।<ref name=":0">{{mathworld|urlname=PairingFunction|author=Steven Pigeon|title=Pairing function|access-date=16 August 2021}}</ref>
गणित में, '''युग्मन फलन''' दो [[प्राकृतिक संख्या]]ओं को विशिष्ट रूप से एक प्राकृतिक संख्या में कूटबद्ध करने की एक प्रक्रिया है।<ref name=":0">{{mathworld|urlname=PairingFunction|author=Steven Pigeon|title=Pairing function|access-date=16 August 2021}}</ref>
 
किसी भी '''युग्मन फलन''' का उपयोग सेट सिद्धांत में यह सिद्ध करने के लिए किया जा सकता है कि [[पूर्णांक]] और [[तर्कसंगत संख्या]]ओं में प्राकृतिक संख्याओं के समान ही [[ प्रमुखता |प्रमुखता]] होती है।<ref name=":0" />
 
 


किसी भी '''युग्मन फलन''' का उपयोग समुच्चय सिद्धांत में यह सिद्ध करने के लिए किया जा सकता है कि [[पूर्णांक]] और [[तर्कसंगत संख्या]]ओं में प्राकृतिक संख्याओं के समान ही [[ प्रमुखता |प्रमुखता]] होती है।<ref name=":0" />
==परिभाषा==
==परिभाषा==
युग्मन फलन एक आक्षेप है
युग्मन फलन एक आक्षेप है
Line 12: Line 9:
                                                                                                                                               </math><ref name=":0" />
                                                                                                                                               </math><ref name=":0" />


अधिक सामान्यतः, सेट A पर एक युग्मन फलन एक ऐसा फलन होता है जो A से तत्वों की प्रत्येक जोड़ी को A के तत्व में मैप करता है, जैसे कि A के तत्वों के किसी भी दो जोड़े A के विभिन्न तत्वों या <math>A^2</math> से A तक एक आक्षेप से जुड़े होते हैं।<ref>{{cite arXiv|last=Szudzik|first=Matthew P.|date=2017-06-01|title=रोसेनबर्ग-स्ट्रॉन्ग पेयरिंग फंक्शन|class=cs.DM|eprint=1706.04129}}</ref>
अधिक सामान्यतः, समुच्चय A पर एक युग्मन फलन एक ऐसा फलन होता है जो A से तत्वों की प्रत्येक जोड़ी को A के तत्व में मैप करता है, जैसे कि A के तत्वों के किसी भी दो जोड़े A के विभिन्न तत्वों या <math>A^2</math> से A तक एक आक्षेप से जुड़े होते हैं।<ref>{{cite arXiv|last=Szudzik|first=Matthew P.|date=2017-06-01|title=रोसेनबर्ग-स्ट्रॉन्ग पेयरिंग फंक्शन|class=cs.DM|eprint=1706.04129}}</ref>
 
 
== हॉपक्रॉफ्ट और उलमैन युग्मन फलन ==
== हॉपक्रॉफ्ट और उलमैन युग्मन फलन ==
हॉपक्रॉफ्ट और उलमैन (1979) निम्नलिखित युग्मन फलन को परिभाषित करते हैं: <math>\langle i, j\rangle := \frac{1}{2}(i+j-2)(i+j-1) + i                                                                                                                                                                                                                         
हॉपक्रॉफ्ट और उलमैन (1979) निम्नलिखित युग्मन फलन को परिभाषित करते हैं: <math>\langle i, j\rangle := \frac{1}{2}(i+j-2)(i+j-1) + i                                                                                                                                                                                                                         
                                                                                                                                                                                      
                                                                                                                                                                                      
                                                                                                                                             </math>, जहां <math>i, j\in\{1, 2, 3, \dots \}</math><ref name=":0" /> यह नीचे दिए गए कैंटर पेयरिंग फलन के समान है, जिसे 0 (अथार्त , <math>i=k_2+1</math>, <math>j=k_1+1</math>,, और <math>\langle i, j\rangle - 1 = \pi(k_2,k_1)</math> को बाहर करने के लिए स्थानांतरित कर दिया गया है।
                                                                                                                                             </math>, जहां <math>i, j\in\{1, 2, 3, \dots \}</math><ref name=":0" /> यह नीचे दिए गए कैंटर पेयरिंग फलन के समान है, जिसे 0 (अथार्त , <math>i=k_2+1</math>, <math>j=k_1+1</math>,, और <math>\langle i, j\rangle - 1 = \pi(k_2,k_1)</math> को बाहर करने के लिए समिष्टांतरित कर दिया गया है।


== कैंटर युग्मन फलन ==
== कैंटर युग्मन फलन ==
[[File:Cantor's Pairing Function.svg|alt=A plot of the Cantor pairing function|thumb|कैंटर युग्मन फलन प्राकृतिक संख्याओं के प्रत्येक जोड़े को एक प्राकृतिक संख्या निर्दिष्ट करता है]]
[[File:Cantor's Pairing Function.svg|alt=A plot of the Cantor pairing function|thumb|कैंटर युग्मन फलन प्राकृतिक संख्याओं के प्रत्येक जोड़े को एक प्राकृतिक संख्या निर्दिष्ट करता है]]
[[File:Cantor's Pairing Function Plot.svg|alt=A graph of the Cantor pairing function|thumb|कैंटर युग्मन फलन का ग्राफ़]]कैंटर पेयरिंग फलन एक आदिम पुनरावर्ती फलन पेयरिंग फलन है
[[File:Cantor's Pairing Function Plot.svg|alt=A graph of the Cantor pairing function|thumb|कैंटर युग्मन फलन का ग्राफ़]]कैंटर पेयरिंग फलन एक मौलिक पुनरावर्ती फलन पेयरिंग फलन है
:<math>\pi:\mathbb{N} \times \mathbb{N} \to \mathbb{N}</math>
:<math>\pi:\mathbb{N} \times \mathbb{N} \to \mathbb{N}</math>
द्वारा परिभाषित
द्वारा परिभाषित
Line 39: Line 34:
:<math>\pi^{(n)}(k_1, \ldots, k_{n-1}, k_n) := \pi ( \pi^{(n-1)}(k_1, \ldots, k_{n-1}) , k_n)</math>
:<math>\pi^{(n)}(k_1, \ldots, k_{n-1}, k_n) := \pi ( \pi^{(n-1)}(k_1, \ldots, k_{n-1}) , k_n)</math>
एक जोड़ी के लिए ऊपर परिभाषित आधार स्थिति के साथ: <math>\pi^{(2)}(k_1,k_2) := \pi(k_1,k_2).</math><ref name=":0" />
एक जोड़ी के लिए ऊपर परिभाषित आधार स्थिति के साथ: <math>\pi^{(2)}(k_1,k_2) := \pi(k_1,k_2).</math><ref name=":0" />
=== कैंटर युग्मन फलन को व्युत्क्रम ===
=== कैंटर युग्मन फलन को व्युत्क्रम ===
होने देना <math>z \in \mathbb{N}</math> एक इच्छित प्राकृतिक संख्या हो. हम दिखाएंगे कि अद्वितीय मान उपस्थित हैं <math>x, y \in \mathbb{N}</math> ऐसा है कि
माना <math>z \in \mathbb{N}</math> एक इच्छित प्राकृतिक संख्या हो. हम दिखाएंगे कि अद्वितीय मान उपस्थित हैं <math>x, y \in \mathbb{N}</math> ऐसा है कि


:<math> z = \pi(x, y) = \frac{(x + y + 1)(x + y)}{2} + y </math>
:<math> z = \pi(x, y) = \frac{(x + y + 1)(x + y)}{2} + y </math>
Line 54: Line 46:
t के फलन के रूप में w के लिए, हमें मिलता है
t के फलन के रूप में w के लिए, हमें मिलता है
:<math> w = \frac{\sqrt{8t + 1} - 1}{2} </math>
:<math> w = \frac{\sqrt{8t + 1} - 1}{2} </math>
जो एक सख्ती से बढ़ने वाला और निरंतर कार्य है जब {{math|''t''}} गैर-नकारात्मक वास्तविक है। तब से
जो एक सख्ती से बढ़ने वाला और निरंतर कार्य है जब {{math|''t''}} गैर-ऋणात्मक वास्तविक है। तब से


:<math> t \leq z = t + y < t + (w + 1) =  \frac{(w + 1)^2 + (w + 1)}{2} </math>
:<math> t \leq z = t + y < t + (w + 1) =  \frac{(w + 1)^2 + (w + 1)}{2} </math>
Line 70: Line 62:
=== उदाहरण ===
=== उदाहरण ===


की गणना करना {{math|''π''(47, 32)}}:
{{math|''π''(47, 32)}} की गणना करना :
:{{math|47 + 32 {{=}} 79}},
:{{math|47 + 32 {{=}} 79}},
:{{math|79 + 1 {{=}} 80}},
:{{math|79 + 1 {{=}} 80}},
Line 101: Line 93:
:<math>\pi(x,y)+1 = \pi(x-1,y+1)</math>.
:<math>\pi(x,y)+1 = \pi(x-1,y+1)</math>.


फलन को यह भी परिभाषित करना होगा कि जब यह पहले चतुर्थांश की सीमाओं से टकराता है तो क्या करना है - कैंटर का युग्मन फलन अपनी विकर्ण प्रगति को एक कदम आगे या बीजगणितीय रूप से फिर से प्रारंभ करने के लिए x-अक्ष पर वापस रीसेट हो जाता है:
फलन को यह भी परिभाषित करना होगा कि जब यह पहले चतुर्थांश की सीमाओं से टकराता है तो क्या करना है - कैंटर का युग्मन फलन अपनी विकर्ण प्रगति को एक कदम आगे या बीजगणितीय रूप से फिर से प्रारंभ करने के लिए x-अक्ष पर वापस रीसमुच्चय हो जाता है:
:<math>\pi(0,k)+1 = \pi(k+1,0)</math>.
:<math>\pi(0,k)+1 = \pi(k+1,0)</math>.


इसके अतिरिक्त हमें प्रारंभिक बिंदु को परिभाषित करने की आवश्यकता है हमारी प्रेरण विधि में प्रारंभिक चरण क्या होगा: {{math|''π''(0, 0) {{=}} 0}}.
इसके अतिरिक्त हमें प्रारंभिक बिंदु को परिभाषित करने की आवश्यकता है हमारी प्रेरण विधि में प्रारंभिक चरण क्या होगा: {{math|''π''(0, 0) {{=}} 0}}.


मान लें कि एक द्विघात 2-आयामी बहुपद है जो इन स्थितियों में फिट हो सकता है (यदि ऐसा नहीं होता, तो कोई उच्च-डिग्री बहुपद को प्रयाश करके दोहरा सकता है)। सामान्य रूप तो यह है
मान लें कि एक द्विघात 2-आयामी बहुपद है जो इन स्थितियों में फिट हो सकता है (यदि ऐसा नहीं होता, तो कोई उच्च-डिग्री बहुपद को प्रयास करके दोहरा सकता है)। सामान्य रूप तो यह है
:<math>\pi(x,y) = ax^2+by^2+cxy+dx+ey+f</math>.
:<math>\pi(x,y) = ax^2+by^2+cxy+dx+ey+f</math>.


Line 117: Line 109:
:{{math|''e'' {{=}} 1+''a''}}.
:{{math|''e'' {{=}} 1+''a''}}.


इसलिए c को छोड़कर प्रत्येक पैरामीटर को a के संदर्भ में लिखा जा सकता है, और हमारे पास एक अंतिम समीकरण है, हमारा विकर्ण चरण, जो उन्हें संबंधित करेगा:
इसलिए c को छोड़कर प्रत्येक मापदंड को a के संदर्भ में लिखा जा सकता है, और हमारे पास एक अंतिम समीकरण है, हमारा विकर्ण चरण, जो उन्हें संबंधित करेगा:
:<math>\begin{align}
:<math>\begin{align}
   \pi(x,y)+1 &= a(x^2+y^2) + cxy + (1-a)x + (1+a)y + 1 \\
   \pi(x,y)+1 &= a(x^2+y^2) + cxy + (1-a)x + (1+a)y + 1 \\
     &= a((x-1)^2+(y+1)^2) + c(x-1)(y+1) + (1-a)(x-1) + (1+a)(y+1).
     &= a((x-1)^2+(y+1)^2) + c(x-1)(y+1) + (1-a)(x-1) + (1+a)(y+1).
   \end{align}</math>
   \end{align}</math>
{{math|''a''}} और {{math|''c''}}, के लिए निश्चित मान प्राप्त करने के लिए शब्दों का फिर से विस्तार करें और मिलान करें और इस प्रकार सभी पैरामीटर:
{{math|''a''}} और {{math|''c''}}, के लिए निश्चित मान प्राप्त करने के लिए शब्दों का फिर से विस्तार करें और मिलान करें और इस प्रकार सभी मापदंड:
:{{math|''a'' {{=}} {{sfrac|1|2}} {{=}} ''b'' {{=}} ''d''}}
:{{math|''a'' {{=}} {{sfrac|1|2}} {{=}} ''b'' {{=}} ''d''}}
:{{math|''c'' {{=}} 1}}
:{{math|''c'' {{=}} 1}}
Line 136: Line 128:


== अन्य युग्मन कार्य ==
== अन्य युग्मन कार्य ==
कार्यक्रम <math>P_2(x, y):= 2^x(2y + 1) - 1</math> एक युग्मन फलन है.
प्रोग्राम <math>P_2(x, y):= 2^x(2y + 1) - 1</math> एक युग्मन फलन है.


1990 में, रेगन ने पहला ज्ञात युग्मन फलन प्रस्तावित किया जो [[रैखिक समय]] में और स्थिर स्थान के साथ गणना योग्य है (जैसा कि पहले से ज्ञात उदाहरण केवल रैखिक समय में गणना की जा सकती है यदि गुणन बहुत अधिक हो सकता है, जो संदिग्ध है)।<ref name=":3">{{Cite journal|date=1992-12-01|title=न्यूनतम-जटिलता युग्मन कार्य|journal=Journal of Computer and System Sciences|language=en|volume=45|issue=3|pages=285–295|doi=10.1016/0022-0000(92)90027-G|issn=0022-0000|doi-access=free|last1=Regan|first1=Kenneth W.}}</ref> वास्तव में, इस युग्मन फलन और इसके व्युत्क्रम दोनों की गणना वास्तविक समय में चलने वाले परिमित-अवस्था ट्रांसड्यूसर के साथ की जा सकती है।<ref name=":3" /> उसी पेपर में, लेखक ने दो और मोनोटोन युग्मन फलन प्रस्तावित किए जो रैखिक समय में और लॉगरिदमिक स्थान के साथ [[ऑनलाइन एल्गोरिदम]] हो सकते हैं; पहले की गणना शून्य स्थान के साथ ऑफ़लाइन भी की जा सकती है।<ref name=":3" />
1990 में, रेगन ने पहला ज्ञात युग्मन फलन प्रस्तावित किया जो [[रैखिक समय]] में और स्थिर समिष्ट के साथ गणना योग्य है (जैसा कि पहले से ज्ञात उदाहरण केवल रैखिक समय में गणना की जा सकती है यदि गुणन बहुत अधिक हो सकता है, जो संदिग्ध है)।<ref name=":3">{{Cite journal|date=1992-12-01|title=न्यूनतम-जटिलता युग्मन कार्य|journal=Journal of Computer and System Sciences|language=en|volume=45|issue=3|pages=285–295|doi=10.1016/0022-0000(92)90027-G|issn=0022-0000|doi-access=free|last1=Regan|first1=Kenneth W.}}</ref> वास्तव में, इस युग्मन फलन और इसके व्युत्क्रम दोनों की गणना वास्तविक समय में चलने वाले परिमित-अवस्था ट्रांसड्यूसर के साथ की जा सकती है।<ref name=":3" /> उसी पेपर में, लेखक ने दो और मोनोटोन युग्मन फलन प्रस्तावित किए जो रैखिक समय में और लॉगरिदमिक समिष्ट के साथ [[ऑनलाइन एल्गोरिदम]] हो सकते हैं; पहले की गणना शून्य समिष्ट के साथ ऑफ़लाइन भी की जा सकती है।<ref name=":3" />


2001 में, पिजन ने [[बिट-इंटरलीविंग]] पर आधारित एक पेयरिंग फलन का प्रस्ताव रखा था जिसे पुनरावर्ती रूप से इस प्रकार परिभाषित किया गया है:
2001 में, पिजन ने [[बिट-इंटरलीविंग]] पर आधारित एक पेयरिंग फलन का प्रस्ताव रखा था जिसे पुनरावर्ती रूप से इस प्रकार परिभाषित किया गया है:
Line 161: Line 153:
& \text{if }z - \lfloor\sqrt{z}\rfloor^2\geq\lfloor\sqrt{z}\rfloor.
& \text{if }z - \lfloor\sqrt{z}\rfloor^2\geq\lfloor\sqrt{z}\rfloor.
\end{cases}</math>
\end{cases}</math>
(गुणात्मक रूप से, यह वर्गों के किनारों के साथ जोड़े को निरंतर संख्याएं प्रदान करता है।) यह युग्मन फलन गहराई के आधार पर एसके कॉम्बिनेटर कैलकुलस अभिव्यक्ति का आदेश देता है।<ref name=":2" /> यह विधि विचार के <math>\N</math> के लिए मात्र अनुप्रयोग है, जो सेट थ्योरी पर अधिकांश पाठ्यपुस्तकों में पाया जाता है,<ref>See for instance {{cite book
(गुणात्मक रूप से, यह वर्गों के किनारों के साथ जोड़े को निरंतर संख्याएं प्रदान करता है।) यह युग्मन फलन गहराई के आधार पर एसके कॉम्बिनेटर कैलकुलस अभिव्यक्ति का आदेश देता है।<ref name=":2" /> यह विधि विचार के <math>\N</math> के लिए मात्र अनुप्रयोग है, जो समुच्चय थ्योरी पर अधिकांश पाठ्यपुस्तकों में पाया जाता है,<ref>See for instance {{cite book
|last=Thomas
|last=Thomas
|first=Jech
|first=Jech
Line 181: Line 173:
==टिप्पणियाँ==
==टिप्पणियाँ==
{{notelist}}
{{notelist}}
==संदर्भ==
==संदर्भ==
{{reflist}}
{{reflist}}
[[Category: समुच्चय सिद्धान्त]] [[Category: जॉर्ज कैंटर]] [[Category: फ़ंक्शंस और मैपिंग]]


[[Category: Machine Translated Page]]
[[Category:All articles with unsourced statements]]
[[Category:Articles with unsourced statements from August 2021]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 07/07/2023]]
[[Category:Created On 07/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:जॉर्ज कैंटर]]
[[Category:फ़ंक्शंस और मैपिंग]]
[[Category:समुच्चय सिद्धान्त]]

Latest revision as of 14:37, 28 July 2023

गणित में, युग्मन फलन दो प्राकृतिक संख्याओं को विशिष्ट रूप से एक प्राकृतिक संख्या में कूटबद्ध करने की एक प्रक्रिया है।[1]

किसी भी युग्मन फलन का उपयोग समुच्चय सिद्धांत में यह सिद्ध करने के लिए किया जा सकता है कि पूर्णांक और तर्कसंगत संख्याओं में प्राकृतिक संख्याओं के समान ही प्रमुखता होती है।[1]

परिभाषा

युग्मन फलन एक आक्षेप है

[1]

अधिक सामान्यतः, समुच्चय A पर एक युग्मन फलन एक ऐसा फलन होता है जो A से तत्वों की प्रत्येक जोड़ी को A के तत्व में मैप करता है, जैसे कि A के तत्वों के किसी भी दो जोड़े A के विभिन्न तत्वों या से A तक एक आक्षेप से जुड़े होते हैं।[2]

हॉपक्रॉफ्ट और उलमैन युग्मन फलन

हॉपक्रॉफ्ट और उलमैन (1979) निम्नलिखित युग्मन फलन को परिभाषित करते हैं: , जहां [1] यह नीचे दिए गए कैंटर पेयरिंग फलन के समान है, जिसे 0 (अथार्त , , ,, और को बाहर करने के लिए समिष्टांतरित कर दिया गया है।

कैंटर युग्मन फलन

A plot of the Cantor pairing function
कैंटर युग्मन फलन प्राकृतिक संख्याओं के प्रत्येक जोड़े को एक प्राकृतिक संख्या निर्दिष्ट करता है
A graph of the Cantor pairing function
कैंटर युग्मन फलन का ग्राफ़

कैंटर पेयरिंग फलन एक मौलिक पुनरावर्ती फलन पेयरिंग फलन है

द्वारा परिभाषित

[1]

जहाँ .[1]

इसे इस प्रकार भी व्यक्त किया जा सकता है .[3]

यह पूरी तरह से मोनोटोनिक w.r.t. भी है। प्रत्येक तर्क, अर्थात् सभी के लिए , यदि , तब ; इसी प्रकार, यदि , तब है

यह कथन कि यह एकमात्र द्विघात युग्मन फलन है, फ़ुएटर-पोलिया प्रमेय के रूप में जाना जाता है।[1] क्या यह एकमात्र बहुपद युग्मन फलन है, यह अभी भी एक विवर्त प्रश्न है। जब हम युग्मन फलन को k1 और k2 पर प्रयुक्त करते हैं तो हम अधिकांशतः परिणामी संख्या को k1, k2 के रूप में दर्शाते हैं।

इस परिभाषा को आगमनात्मक रूप से सामान्यीकृत किया जा सकता है

जैसा के लिए

एक जोड़ी के लिए ऊपर परिभाषित आधार स्थिति के साथ: [1]

कैंटर युग्मन फलन को व्युत्क्रम

माना एक इच्छित प्राकृतिक संख्या हो. हम दिखाएंगे कि अद्वितीय मान उपस्थित हैं ऐसा है कि

और इसलिए यह कार्य है π(x, y) विपरीत है. गणना में कुछ मध्यवर्ती मानों को परिभाषित करना सहायक होता है और इसलिए फलन π(x, y) विपरीत है। गणना में कुछ मध्यवर्ती मानों को परिभाषित करना सहायक होता है:

जहाँ t, w की त्रिभुज संख्या है। यदि हम द्विघात समीकरण को हल करते हैं

t के फलन के रूप में w के लिए, हमें मिलता है

जो एक सख्ती से बढ़ने वाला और निरंतर कार्य है जब t गैर-ऋणात्मक वास्तविक है। तब से

हमें वह मिल गया

और इस तरह

जहां ⌊ ⌋ फ़्लोर फलन है। तो z से x और y की गणना करने के लिए, हम यह करते हैं:

चूंकि कैंटर युग्मन इंजेक्शन फलन विपरीत है, इसलिए इसे विशेषण फलन या एक-से-एक और विशेषण फलन होना चाहिए।[3]

उदाहरण

π(47, 32) की गणना करना :

47 + 32 = 79,
79 + 1 = 80,
79 × 80 = 6320,
6320 ÷ 2 = 3160,
3160 + 32 = 3192,

इसलिए π(47, 32) = 3192.

खोजने के लिए x और y ऐसा है कि π(x, y) = 1432:

8 × 1432 = 11456,
11456 + 1 = 11457,
11457 = 107.037,
107.037 − 1 = 106.037,
106.037 ÷ 2 = 53.019,
⌊53.019⌋ = 53,

इसलिए w = 53;

53 + 1 = 54,
53 × 54 = 2862,
2862 ÷ 2 = 1431,

इसलिए t = 1431;

1432 − 1431 = 1,

इसलिए y = 1;

53 − 1 = 52,

इसलिए x = 52; इस प्रकार π(52, 1) = 1432.

व्युत्पत्ति

कैंटर के युग्मन फलन के समान सिद्धांतों से एक विकर्ण रूप से वृद्धिशील स्नैकिंग फलन का उपयोग अधिकांशतः तर्कसंगत संख्याओं की गणना को प्रदर्शित करने के लिए किया जाता है।

कैंटर के युग्मन फलन का ग्राफिकल आकार एक विकर्ण प्रगति अनंत अनुक्रमों और गणनीयता के साथ काम करने में एक मानक चाल है।[lower-alpha 1] इस विकर्ण-आकार वाले फलन के बीजगणितीय नियम बहुपदों की एक श्रृंखला के लिए इसकी वैधता को सत्यापित कर सकते हैं, जिनमें से प्रेरण की विधि का उपयोग करके एक द्विघात सबसे सरल हो जाएगा। वास्तव में, इसी तकनीक का पालन विमान की गणना के लिए किसी भी प्रकार की योजनाओं के लिए किसी भी अन्य फलन को प्रयास करने और प्राप्त करने के लिए भी किया जा सकता है।

एक युग्म फलन को सामान्यतः आगमनात्मक रूप से परिभाषित किया जा सकता है - अर्थात, nवाँ युग्म दिया गया है, (n+1)वाँ युग्म क्या है? कैंटर का कार्य जिस तरह से विमान में विकर्ण रूप से आगे बढ़ता है उसे इस प्रकार व्यक्त किया जा सकता है

.

फलन को यह भी परिभाषित करना होगा कि जब यह पहले चतुर्थांश की सीमाओं से टकराता है तो क्या करना है - कैंटर का युग्मन फलन अपनी विकर्ण प्रगति को एक कदम आगे या बीजगणितीय रूप से फिर से प्रारंभ करने के लिए x-अक्ष पर वापस रीसमुच्चय हो जाता है:

.

इसके अतिरिक्त हमें प्रारंभिक बिंदु को परिभाषित करने की आवश्यकता है हमारी प्रेरण विधि में प्रारंभिक चरण क्या होगा: π(0, 0) = 0.

मान लें कि एक द्विघात 2-आयामी बहुपद है जो इन स्थितियों में फिट हो सकता है (यदि ऐसा नहीं होता, तो कोई उच्च-डिग्री बहुपद को प्रयास करके दोहरा सकता है)। सामान्य रूप तो यह है

.

f = 0 और: प्राप्त करने के लिए हमारी प्रारंभिक और सीमा नियमो को अंकित करें:

,

इसलिए हम प्राप्त करने के लिए अपने k शब्दों का मिलान कर सकते हैं

b = a
d = 1-a
e = 1+a.

इसलिए c को छोड़कर प्रत्येक मापदंड को a के संदर्भ में लिखा जा सकता है, और हमारे पास एक अंतिम समीकरण है, हमारा विकर्ण चरण, जो उन्हें संबंधित करेगा:

a और c, के लिए निश्चित मान प्राप्त करने के लिए शब्दों का फिर से विस्तार करें और मिलान करें और इस प्रकार सभी मापदंड:

a = 1/2 = b = d
c = 1
e = 3/2
f = 0.

इसलिए

कैंटर युग्मन फलन है, और हमने व्युत्पत्ति के माध्यम से यह भी प्रदर्शित किया कि यह प्रेरण की सभी नियमो को पूरा करता है।

अन्य युग्मन कार्य

प्रोग्राम एक युग्मन फलन है.

1990 में, रेगन ने पहला ज्ञात युग्मन फलन प्रस्तावित किया जो रैखिक समय में और स्थिर समिष्ट के साथ गणना योग्य है (जैसा कि पहले से ज्ञात उदाहरण केवल रैखिक समय में गणना की जा सकती है यदि गुणन बहुत अधिक हो सकता है, जो संदिग्ध है)।[4] वास्तव में, इस युग्मन फलन और इसके व्युत्क्रम दोनों की गणना वास्तविक समय में चलने वाले परिमित-अवस्था ट्रांसड्यूसर के साथ की जा सकती है।[4] उसी पेपर में, लेखक ने दो और मोनोटोन युग्मन फलन प्रस्तावित किए जो रैखिक समय में और लॉगरिदमिक समिष्ट के साथ ऑनलाइन एल्गोरिदम हो सकते हैं; पहले की गणना शून्य समिष्ट के साथ ऑफ़लाइन भी की जा सकती है।[4]

2001 में, पिजन ने बिट-इंटरलीविंग पर आधारित एक पेयरिंग फलन का प्रस्ताव रखा था जिसे पुनरावर्ती रूप से इस प्रकार परिभाषित किया गया है:

जहाँ और क्रमशः i और j के न्यूनतम महत्वपूर्ण बिट हैं।[1]

2006 में, सुडज़िक ने अभिव्यक्ति द्वारा परिभाषित एक अधिक सुंदर युग्मन फलन का प्रस्ताव रखा जाता है:

जिसे अभिव्यक्ति का उपयोग करके अयुग्मित किया जा सकता है:

(गुणात्मक रूप से, यह वर्गों के किनारों के साथ जोड़े को निरंतर संख्याएं प्रदान करता है।) यह युग्मन फलन गहराई के आधार पर एसके कॉम्बिनेटर कैलकुलस अभिव्यक्ति का आदेश देता है।[3] यह विधि विचार के के लिए मात्र अनुप्रयोग है, जो समुच्चय थ्योरी पर अधिकांश पाठ्यपुस्तकों में पाया जाता है,[5] जेडएफसी में किसी भी अनंत कार्डिनल के लिए स्थापित करने के लिए उपयोग किया जाता है। पर द्विआधारी संबंध परिभाषित करें

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

टिप्पणियाँ

  1. The term "diagonal argument" is sometimes used to refer to this type of enumeration, but it is not directly related to Cantor's diagonal argument.[citation needed]

संदर्भ

  1. 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 Steven Pigeon. "Pairing function". MathWorld. Retrieved 16 August 2021.
  2. Szudzik, Matthew P. (2017-06-01). "रोसेनबर्ग-स्ट्रॉन्ग पेयरिंग फंक्शन". arXiv:1706.04129 [cs.DM].
  3. 3.0 3.1 3.2 Szudzik, Matthew (2006). "एक सुंदर जोड़ी बनाने का कार्य" (PDF). szudzik.com. Archived (PDF) from the original on 25 November 2011. Retrieved 16 August 2021.
  4. 4.0 4.1 4.2 Regan, Kenneth W. (1992-12-01). "न्यूनतम-जटिलता युग्मन कार्य". Journal of Computer and System Sciences (in English). 45 (3): 285–295. doi:10.1016/0022-0000(92)90027-G. ISSN 0022-0000.
  5. See for instance Thomas, Jech (2006). Set theory: the third millennium edition. Springer Monographs in Mathematics. Springer-Verlag. p. 30. doi:10.1007/3-540-44761-X. ISBN 3-540-44085-2.