युग्मन फलन: Difference between revisions
m (Deepak moved page युग्मन कार्य to युग्मन फलन without leaving a redirect) |
No edit summary |
||
| (7 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
गणित में, '''युग्मन फलन''' दो [[प्राकृतिक संख्या]]ओं को विशिष्ट रूप से एक प्राकृतिक संख्या में कूटबद्ध करने की एक प्रक्रिया है।<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" /> | |||
==परिभाषा== | ==परिभाषा== | ||
युग्मन फलन एक आक्षेप है | युग्मन फलन एक आक्षेप है | ||
:<math>\pi:\mathbb{N} \times \mathbb{N} \to \mathbb{N}.</math><ref name=":0" /> | :<math>\pi:\mathbb{N} \times \mathbb{N} \to \mathbb{N}. | ||
</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> | ||
हॉपक्रॉफ्ट और | == हॉपक्रॉफ्ट और उलमैन युग्मन फलन == | ||
हॉपक्रॉफ्ट और उलमैन (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> को बाहर करने के लिए समिष्टांतरित कर दिया गया है। | |||
== कैंटर युग्मन | == कैंटर युग्मन फलन == | ||
[[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> | ||
द्वारा परिभाषित | द्वारा परिभाषित | ||
:<math>\pi(k_1,k_2) := \frac{1}{2}(k_1 + k_2)(k_1 + k_2 + 1)+k_2</math><ref name=":0" /> | :<math>\pi(k_1,k_2) := \frac{1}{2}(k_1 + k_2)(k_1 + k_2 + 1)+k_2</math><ref name=":0" /> | ||
जहाँ <math>k_1, k_2\in\{0, 1, 2, 3, \dots\}</math>.<ref name=":0" /> | |||
इसे इस प्रकार भी व्यक्त किया जा सकता है <math>Pair[x, y] := \frac{x^2 + x + 2xy + 3y + y^2}{2}</math>.<ref name=":2" /> | इसे इस प्रकार भी व्यक्त किया जा सकता है <math>Pair[x, y] := \frac{x^2 + x + 2xy + 3y + y^2}{2}</math>.<ref name=":2">{{Cite web|last=Szudzik|first=Matthew|year=2006|title=एक सुंदर जोड़ी बनाने का कार्य|url=http://szudzik.com/ElegantPairing.pdf|url-status=live|archive-url=https://web.archive.org/web/20111125104326/http://szudzik.com/ElegantPairing.pdf|archive-date=25 November 2011|access-date=16 August 2021|website=szudzik.com}}</ref> | ||
यह पूरी तरह से मोनोटोनिक w.r.t. भी है। प्रत्येक तर्क, अर्थात् सभी के लिए <math>k_1, k_1', k_2, k_2' \in \mathbb{N}</math>, | यह पूरी तरह से मोनोटोनिक w.r.t. भी है। प्रत्येक तर्क, अर्थात् सभी के लिए <math>k_1, k_1', k_2, k_2' \in \mathbb{N}</math>, यदि <math>k_1 < k_{1}'</math>, तब <math>\pi(k_1, k_2) < \pi(k_1', k_2)</math>; इसी प्रकार, यदि <math>k_2 < k_{2}'</math>, तब <math>\pi(k_1, k_2) < \pi(k_1, k_2')</math> है | ||
यह कथन कि यह एकमात्र द्विघात युग्मन फलन है, फ़ुएटर- | यह कथन कि यह एकमात्र द्विघात युग्मन फलन है, फ़ुएटर-पोलिया प्रमेय के रूप में जाना जाता है।<ref name=":0" /> क्या यह एकमात्र बहुपद युग्मन फलन है, यह अभी भी एक विवर्त प्रश्न है। जब हम युग्मन फलन को {{math|''k''<sub>1</sub>}} और {{math|''k''<sub>2</sub>}} पर प्रयुक्त करते हैं तो हम अधिकांशतः परिणामी संख्या को {{math|⟨''k''<sub>1</sub>, ''k''<sub>2</sub>⟩}} के रूप में दर्शाते हैं। | ||
इस परिभाषा को आगमनात्मक रूप से सामान्यीकृत किया जा सकता है | इस परिभाषा को आगमनात्मक रूप से सामान्यीकृत किया जा सकता है | ||
:<math>\pi^{(n)}:\mathbb{N}^n \to \mathbb{N}</math> | :<math>\pi^{(n)}:\mathbb{N}^n \to \mathbb{N}</math> | ||
जैसा <math>n > 2</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^{(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>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> | ||
और इसलिए यह कार्य है {{math|''π(x, y)''}} | और इसलिए यह कार्य है {{math|''π(x, y)''}} विपरीत है. गणना में कुछ मध्यवर्ती मानों को परिभाषित करना सहायक होता है और इसलिए फलन {{math|''π(x, y)''}} विपरीत है। गणना में कुछ मध्यवर्ती मानों को परिभाषित करना सहायक होता है: | ||
:<math> w = x + y \!</math> | :<math> w = x + y \!</math> | ||
:<math> t = \frac{1}{2}w(w + 1) = \frac{w^2 + w}{2} </math> | :<math> t = \frac{1}{2}w(w + 1) = \frac{w^2 + w}{2} </math> | ||
:<math> z = t + y \!</math> | :<math> z = t + y \!</math> | ||
जहाँ t, w की त्रिभुज संख्या है। यदि हम द्विघात समीकरण को हल करते हैं | |||
:<math> w^2 + w - 2t = 0 \!</math> | :<math> w^2 + w - 2t = 0 \!</math> | ||
के | 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 56: | Line 53: | ||
और इस तरह | और इस तरह | ||
:<math> w = \left\lfloor \frac{\sqrt{8z + 1} - 1}{2} \right\rfloor. </math> | :<math> w = \left\lfloor \frac{\sqrt{8z + 1} - 1}{2} \right\rfloor. </math> | ||
जहां {{math|⌊ ⌋}} फ़्लोर फलन है। तो z से x और y की गणना करने के लिए, हम यह करते हैं: | |||
तो गणना करने के लिए | |||
:<math> w = \left\lfloor \frac{\sqrt{8z + 1} - 1}{2} \right\rfloor </math> | :<math> w = \left\lfloor \frac{\sqrt{8z + 1} - 1}{2} \right\rfloor </math> | ||
:<math> t = \frac{w^2 + w}{2} </math> | :<math> t = \frac{w^2 + w}{2} </math> | ||
:<math> y = z - t \!</math> | :<math> y = z - t \!</math> | ||
:<math> x = w - y. \!</math> | :<math> x = w - y. \!</math> | ||
चूंकि कैंटर युग्मन [[इंजेक्शन समारोह]] | चूंकि कैंटर युग्मन [[इंजेक्शन समारोह|इंजेक्शन फलन]] विपरीत है, इसलिए इसे [[विशेषण फलन]] या एक-से-एक और विशेषण फलन होना चाहिए।<ref name=":2" /> | ||
=== उदाहरण === | === उदाहरण === | ||
{{math|''π''(47, 32)}} की गणना करना : | |||
:{{math|47 + 32 {{=}} 79}}, | :{{math|47 + 32 {{=}} 79}}, | ||
:{{math|79 + 1 {{=}} 80}}, | :{{math|79 + 1 {{=}} 80}}, | ||
| Line 74: | Line 70: | ||
इसलिए {{math|''π''(47, 32) {{=}} 3192}}. | इसलिए {{math|''π''(47, 32) {{=}} 3192}}. | ||
खोजने के लिए {{math|''x''}} और {{math|''y''}} ऐसा है कि {{math|''π''(''x'', ''y'') {{=}} 1432}}: | |||
:{{math|8 × 1432 {{=}} 11456}}, | :{{math|8 × 1432 {{=}} 11456}}, | ||
:{{math|11456 + 1 {{=}} 11457}}, | :{{math|11456 + 1 {{=}} 11457}}, | ||
| Line 89: | Line 85: | ||
इसलिए {{math|''y'' {{=}} 1}}; | इसलिए {{math|''y'' {{=}} 1}}; | ||
:{{math|53 − 1 {{=}} 52}}, | :{{math|53 − 1 {{=}} 52}}, | ||
इसलिए {{math|''x'' {{=}} 52}}; इस प्रकार {{math|''π''(52, 1) {{=}} 1432}}. | इसलिए {{math|''x'' {{=}} 52}}; इस प्रकार {{math|''π''(52, 1) {{=}} 1432}}. | ||
=== व्युत्पत्ति === | === व्युत्पत्ति === | ||
[[File:Diagonal argument.svg|thumb|right|170px|कैंटर के युग्मन | [[File:Diagonal argument.svg|thumb|right|170px|कैंटर के युग्मन फलन के समान सिद्धांतों से एक विकर्ण रूप से वृद्धिशील स्नैकिंग फलन का उपयोग अधिकांशतः तर्कसंगत संख्याओं की गणना को प्रदर्शित करने के लिए किया जाता है।]]कैंटर के युग्मन फलन का ग्राफिकल आकार एक विकर्ण प्रगति अनंत अनुक्रमों और [[गणनीयता]] के साथ काम करने में एक मानक चाल है।{{efn|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|date=August 2021}}}} इस विकर्ण-आकार वाले फलन के बीजगणितीय नियम बहुपदों की एक श्रृंखला के लिए इसकी वैधता को सत्यापित कर सकते हैं, जिनमें से [[प्रेरण की विधि]] का उपयोग करके एक द्विघात सबसे सरल हो जाएगा। वास्तव में, इसी तकनीक का पालन विमान की गणना के लिए किसी भी प्रकार की योजनाओं के लिए किसी भी अन्य फलन को प्रयास करने और प्राप्त करने के लिए भी किया जा सकता है। | ||
एक | एक युग्म फलन को सामान्यतः आगमनात्मक रूप से परिभाषित किया जा सकता है - अर्थात, {{math|''n''}}वाँ युग्म दिया गया है, {{math|(''n''+1)}}वाँ युग्म क्या है? कैंटर का कार्य जिस तरह से विमान में विकर्ण रूप से आगे बढ़ता है उसे इस प्रकार व्यक्त किया जा सकता है | ||
:<math>\pi(x,y)+1 = \pi(x-1,y+1)</math>. | :<math>\pi(x,y)+1 = \pi(x-1,y+1)</math>. | ||
फलन को यह भी परिभाषित करना होगा कि जब यह पहले चतुर्थांश की सीमाओं से टकराता है तो क्या करना है - कैंटर का युग्मन फलन अपनी विकर्ण प्रगति को एक कदम आगे या बीजगणितीय रूप से फिर से प्रारंभ करने के लिए 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}}. | ||
मान लें कि एक द्विघात 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>. | ||
{{math|''f'' {{=}} 0}} और: प्राप्त करने के लिए हमारी प्रारंभिक और सीमा नियमो को अंकित करें: | |||
:<math>bk^2+ek+1 = a(k+1)^2+d(k+1)</math>, | :<math>bk^2+ek+1 = a(k+1)^2+d(k+1)</math>, | ||
इसलिए हम प्राप्त करने के लिए अपने {{math|''k''}} शब्दों का मिलान कर सकते हैं | |||
:{{math|''b'' {{=}} ''a''}} | :{{math|''b'' {{=}} ''a''}} | ||
:{{math|''d'' {{=}} 1-''a''}} | :{{math|''d'' {{=}} 1-''a''}} | ||
:{{math|''e'' {{=}} 1+''a''}}. | :{{math|''e'' {{=}} 1+''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'' {{=}} {{sfrac|1|2}} {{=}} ''b'' {{=}} ''d''}} | :{{math|''a'' {{=}} {{sfrac|1|2}} {{=}} ''b'' {{=}} ''d''}} | ||
:{{math|''c'' {{=}} 1}} | :{{math|''c'' {{=}} 1}} | ||
| Line 129: | Line 125: | ||
&= \frac{1}{2}(x+y)(x+y+1) + y, | &= \frac{1}{2}(x+y)(x+y+1) + y, | ||
\end{align}</math> | \end{align}</math> | ||
कैंटर युग्मन | कैंटर युग्मन फलन है, और हमने व्युत्पत्ति के माध्यम से यह भी प्रदर्शित किया कि यह प्रेरण की सभी नियमो को पूरा करता है। | ||
== अन्य युग्मन कार्य == | == अन्य युग्मन कार्य == | ||
प्रोग्राम <math>P_2(x, y):= 2^x(2y + 1) - 1</math> एक युग्मन फलन है. | |||
1990 में, रेगन ने पहला ज्ञात युग्मन | 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 में, पिजन ने [[बिट-इंटरलीविंग]] पर आधारित एक पेयरिंग फलन का प्रस्ताव रखा था जिसे पुनरावर्ती रूप से इस प्रकार परिभाषित किया गया है: | ||
:<math>\langle i,j\rangle_{P}=\begin{cases} | :<math>\langle i,j\rangle_{P}=\begin{cases} | ||
| Line 142: | Line 138: | ||
\langle\lfloor i/2\rfloor,\lfloor j/2\rfloor\rangle_{P}:i_0:j_0&\text{otherwise,} | \langle\lfloor i/2\rfloor,\lfloor j/2\rfloor\rangle_{P}:i_0:j_0&\text{otherwise,} | ||
\end{cases}</math> | \end{cases}</math> | ||
जहाँ <math>i_0</math> और <math>j_0</math> क्रमशः i और j के न्यूनतम महत्वपूर्ण बिट हैं।<ref name=":0" /> | |||
2006 में, सुडज़िक ने अभिव्यक्ति द्वारा परिभाषित एक अधिक सुंदर युग्मन | 2006 में, सुडज़िक ने अभिव्यक्ति द्वारा परिभाषित एक अधिक सुंदर युग्मन फलन का प्रस्ताव रखा जाता है: | ||
:<math>\operatorname{ElegantPair}[x, y] := \begin{cases} | :<math>\operatorname{ElegantPair}[x, y] := \begin{cases} | ||
y^2 + x&\text{if}\ x\neq\max\{x, y\},\\ | y^2 + x&\text{if}\ x\neq\max\{x, y\},\\ | ||
| Line 157: | 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 | ||
यह विधि | |||
|last=Thomas | |last=Thomas | ||
|first=Jech | |first=Jech | ||
| Line 167: | Line 162: | ||
|publisher=Springer-Verlag | |publisher=Springer-Verlag | ||
|page=30 | |page=30 | ||
|isbn=3-540-44085-2}}</ref> | |isbn=3-540-44085-2}}</ref> जेडएफसी में किसी भी अनंत कार्डिनल <math>\kappa</math> के लिए <math>\kappa^2=\kappa</math> स्थापित करने के लिए उपयोग किया जाता है। <math>\kappa\times\kappa</math> पर द्विआधारी संबंध परिभाषित करें | ||
:<math>(\alpha,\beta)\preccurlyeq(\gamma,\delta) \text{ if either } \begin{cases} | :<math>(\alpha,\beta)\preccurlyeq(\gamma,\delta) \text{ if either } \begin{cases} | ||
(\alpha,\beta) = (\gamma,\delta),\\[4pt] | (\alpha,\beta) = (\gamma,\delta),\\[4pt] | ||
| Line 176: | Line 169: | ||
\max(\alpha,\beta) = \max(\gamma,\delta)\ \text{and}\ \alpha=\gamma\ \text{and}\ \beta<\delta. | \max(\alpha,\beta) = \max(\gamma,\delta)\ \text{and}\ \alpha=\gamma\ \text{and}\ \beta<\delta. | ||
\end{cases}</math> | \end{cases}</math> | ||
<math>\preccurlyeq</math> | फिर <math>\preccurlyeq</math> को एक सुव्यवस्थित रूप में दिखाया जाता है जैसे कि प्रत्येक तत्व में <math>{}<\kappa</math> पूर्ववर्ती होते हैं, जिसका अर्थ है कि <math>\kappa^2=\kappa</math> इससे यह निष्कर्ष निकलता है कि <math>(\N\times\N,\preccurlyeq)</math>, <math>(\N,\leqslant)</math> का समरूपी है और उपरोक्त युग्म फलन बढ़ते क्रम में पूर्णांक युग्मों की गणना से अधिक कुछ नहीं है। (टॉक भी देखें: पसंद के बारे में टार्स्की का प्रमेय या विपरीत का प्रमाण है।) | ||
यह | |||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
{{notelist}} | {{notelist}} | ||
==संदर्भ== | ==संदर्भ== | ||
{{reflist}} | {{reflist}} | ||
[[Category: | [[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]
परिभाषा
युग्मन फलन एक आक्षेप है
अधिक सामान्यतः, समुच्चय A पर एक युग्मन फलन एक ऐसा फलन होता है जो A से तत्वों की प्रत्येक जोड़ी को A के तत्व में मैप करता है, जैसे कि A के तत्वों के किसी भी दो जोड़े A के विभिन्न तत्वों या से A तक एक आक्षेप से जुड़े होते हैं।[2]
हॉपक्रॉफ्ट और उलमैन युग्मन फलन
हॉपक्रॉफ्ट और उलमैन (1979) निम्नलिखित युग्मन फलन को परिभाषित करते हैं: , जहां [1] यह नीचे दिए गए कैंटर पेयरिंग फलन के समान है, जिसे 0 (अथार्त , , ,, और को बाहर करने के लिए समिष्टांतरित कर दिया गया है।
कैंटर युग्मन फलन
कैंटर पेयरिंग फलन एक मौलिक पुनरावर्ती फलन पेयरिंग फलन है
द्वारा परिभाषित
जहाँ .[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] जेडएफसी में किसी भी अनंत कार्डिनल के लिए स्थापित करने के लिए उपयोग किया जाता है। पर द्विआधारी संबंध परिभाषित करें
फिर को एक सुव्यवस्थित रूप में दिखाया जाता है जैसे कि प्रत्येक तत्व में पूर्ववर्ती होते हैं, जिसका अर्थ है कि इससे यह निष्कर्ष निकलता है कि , का समरूपी है और उपरोक्त युग्म फलन बढ़ते क्रम में पूर्णांक युग्मों की गणना से अधिक कुछ नहीं है। (टॉक भी देखें: पसंद के बारे में टार्स्की का प्रमेय या विपरीत का प्रमाण है।)
टिप्पणियाँ
- ↑ 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.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.
- ↑ Szudzik, Matthew P. (2017-06-01). "रोसेनबर्ग-स्ट्रॉन्ग पेयरिंग फंक्शन". arXiv:1706.04129 [cs.DM].
- ↑ 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.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.
- ↑ 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.