View source for द्विअर्थी परिमेय

[[File:Dyadic rational.svg|thumb|upright=1.2|0 से 1|alt=यूनिट अंतराल में 1/128वें भाग में उपविभाजित परिमेय परिमेय]]गणित में, एक '''द्विअर्थी परिमेय''' या द्विआधारी परिमेय संख्या एक ऐसी संख्या है जिसे भिन्न के रूप में व्यक्त किया जा सकता है जिसका हर दो की घात है। उदाहरण के लिए, 1/2, 3/2, और 3/8 द्विअर्थी परिमेय संख्याएँ हैं, लेकिन 1/3 नहीं है। [[कंप्यूटर विज्ञान]] में ये संख्याएं महत्वपूर्ण हैं क्योंकि वे केवल वही हैं जिनके पास सीमित द्विआधारी प्रतिनिधित्व हैं। द्विअर्थी परिमेय में वजन और माप, संगीतमय समय हस्ताक्षर और प्रारंभिक गणित शिक्षा में भी अनुप्रयोग हैं। वे किसी भी [[वास्तविक संख्या]] का सही-सही अनुमान लगा सकते हैं।

किन्हीं दो द्विअर्थी परिमेय संख्याओं का योग, अंतर, या गुणनफल एक अन्य द्विअर्थी परिमेय संख्या है, जो एक साधारण सूत्र द्वारा दी गई है। हालाँकि, एक द्विअर्थी परिमेय संख्या का दूसरे द्वारा विभाजन हमेशा एक द्विअर्थी तर्कसंगत परिणाम नहीं देता है। गणितीय रूप से, इसका अर्थ यह है कि द्विअर्थी परिमेय संख्याएँ एक वलय बनाती हैं, जो पूर्णांकों के वलय और परिमेय संख्याओं के [[क्षेत्र (गणित)|क्षेत्र]] के बीच स्थित होती है। इस वलय को <math>\Z[\tfrac12]</math> निरूपित किया जा सकता है।

उन्नत गणित में, द्विअर्थी परिमेय संख्याएं द्विअर्थी सोलनॉइड, मिन्कोव्स्की के प्रश्न-चिह्न फ़ंक्शन, डौबेचीज़ वेवलेट्स, थॉम्पसन के समूह, प्रुफ़र 2-समूह, वास्तविक संख्या और फ़्यूज़िबल संख्याओं के निर्माण के लिए केंद्रीय हैं। ये संख्याएँ परिमेय संख्याओं के लिए क्रम-समरूपी होती हैं; वे 2-ऐडिक संख्याओं के साथ-साथ वास्तविकों की एक उपप्रणाली बनाते हैं, और 2-ऐडिक संख्याओं के आंशिक भागों का प्रतिनिधित्व कर सकते हैं। रिवर्स मैथमैटिक्स में [[गणितीय विश्लेषण]] को औपचारिक रूप देने के लिए प्राकृतिक संख्याओं से लेकर द्विअर्थी परिमेय तक के कार्यों का उपयोग किया गया है।

== अनुप्रयोग ==

=== माप में ===
{{CSS image crop|Image=Kitchen weights metric imperial.jpg|bSize=427|cWidth=256|oLeft=165|oTop=27|cHeight=256|Description={{अप्रैप|2 पौंड}} से 1/64 lb (1/4 ओजेड) तक [[पाउंड (द्रव्यमान)|पाउंड]] के डाईडिक अंशों को मापने वाले रसोई के वजन|Alt=रसोई के वजन के रूप में उपयोग की जाने वाली धातु डिस्क की तस्वीर}}
वजन और माप की कई पारंपरिक प्रणालियां बार-बार आधा करने के विचार पर आधारित होती हैं, जो इकाइयों की भिन्नात्मक मात्रा को मापते समय द्विअर्थी परिमेय बनाती हैं। [[इंच]] को सामान्यतः दशमलव उपखंड का उपयोग करने के बजाय डाईएडिक परिमेय में उपविभाजित किया जाता है।{{r|rudman}} [[गैलन]] का आधा गैलन, क्वार्ट, [[पिंट]] और [[ कप (इकाई) |कप]] में प्रथागत विभाजन भी डाईडिक है।{{r|barnes}} प्राचीन मिस्रवासी मापन में युग्मक परिमेय का उपयोग करते थे, जिसमें हर 64 तक होता था।{{r|curtis}} इसी तरह, [[सिंधु घाटी सभ्यता]] से वजन की प्रणालियाँ अधिकांश भाग के लिए बार-बार आधा करने पर आधारित हैं; मानव विज्ञानी हीथर एम.-एल मिलर लिखते हैं कि "आधा करना बीम संतुलन के साथ एक अपेक्षाकृत सरल संचालन है, यही कारण है कि इस समय की इतनी सारी भार प्रणालियां बाइनरी प्रणाली का उपयोग करती हैं।" {{r|miller}}

=== कंप्यूटिंग में ===
द्विअर्थी परिमेय एक प्रकार की भिन्नात्मक संख्या के रूप में कंप्यूटर विज्ञान के लिए केंद्रीय हैं जो कई कंप्यूटर सीधे हेरफेर कर सकते हैं।{{r|reswel}} विशेष रूप से, कंप्यूटर द्वारा उपयोग किए जाने वाले डेटा प्रकार के रूप में, अस्थायी बिंदु नंबरों को प्रायः दो की धनात्मक या ऋणात्मक घातों से गुणा किए गए पूर्णांक के रूप में परिभाषित किया जाता है। वे संख्याएँ जिन्हें अस्थायी बिंदु प्रारूप में सटीक रूप से दर्शाया जा सकता है, जैसे कि आईईईई अस्थायी बिंदु डेटाटाइप्स, को प्रतिनिधित्व योग्य संख्याएँ कहा जाता है। अधिकांश अस्थायी बिंदु अभ्यावेदन के लिए, प्रतिनिधित्व योग्य संख्याएँ द्विअर्थी परिमेय का एक सबसेट हैं।{{r|kirk-hwu}} नियत बिन्दु डेटाटाइप्स के लिए भी यही सच है, जो ज्यादातर स्थितियों में दो की घातों का भी उपयोग करता है।{{r|kneusel}} द्विअर्थी परिमेय के साथ कंप्यूटिंग की सादगी के कारण, उनका उपयोग [[अंतराल अंकगणित]] का उपयोग करते हुए सटीक वास्तविक कंप्यूटिंग के लिए भी किया जाता है,{{r|vdh}} और गणना योग्य संख्याओं के कुछ सैद्धांतिक मॉडलों के लिए केंद्रीय हैं।{{r|ko|zr|asz}}

एक निश्चित समय में, यादृच्छिक बिट्स से एक यादृच्छिक चर उत्पन्न करना केवल तभी संभव है जब चर के बहुत से परिणाम हों जिनकी संभावनाएँ सभी युग्मक परिमेय संख्याएँ हैं। ऐसे यादृच्छिक चरों के लिए जिनकी संभावनाएँ डाईडिक नहीं हैं, यह आवश्यक है कि या तो द्विअर्थी परिमेय द्वारा उनकी संभावनाओं का अनुमान लगाया जाए या यादृच्छिक पीढ़ी प्रक्रिया का उपयोग किया जाए जिसका समय स्वयं यादृच्छिक और असीमित है।{{r|jvv}}

=== संगीत में ===
{{Image frame|content=<score sound="1"> { \new PianoStaff << \new Staff \relative c'' { \set Staff.midiInstrument = #"violin" \clef treble \tempo 8 = 126 \time 3/16 r16 <d c a fis d>\f-! r16\fermata | \time 2/16 r <d c a fis d>-! \time 3/16 r <d c a fis d>8-! | r16 <d c a fis d>8-! | \time 2/8 <d c a fis>16-! <e c bes g>->-![ <cis b aes f>-! <c a fis ees>-!] } \new Staff \relative c { \set Staff.midiInstrument = #"violin" \clef bass \time 3/16 d,16-! <bes'' ees,>-! r\fermata | \time 2/16 <d,, d,>-! <bes'' ees,>-! | \time 3/16 d16-! <ees cis>8-! | r16 <ees cis>8-! | \time 2/8 d16\sf-! <ees cis>-!->[ <d c>-! <d c>-!] } >> } </score>|caption=[[इगोर स्ट्राविंस्की]] के ''[[द रीट ऑफ स्प्रिंग]]''<br/>से पांच बार समय के हस्ताक्षर दिखा रहे हैं {{संगीत|समय|3|16}}, {{संगीत|समय|2| 16}}, {{संगीत|समय|3|16}}, और {{संगीत|समय|2|8}}}}
पश्चिमी [[संगीत संकेतन]] में समय के हस्ताक्षर पारंपरिक रूप से अंशों के समान एक रूप में लिखे जाते हैं (उदाहरण के लिए: {{music|time|2|2}}, {{music|time|4|4}}, या {{music|time|6|8}}),{{r|jon-pea}} हालांकि संगीत कर्मचारियों की क्षैतिज रेखा जो ऊपर और नीचे की संख्या को अलग करती है, सामान्यतः अपने कर्मचारियों से अलग हस्ताक्षर लिखते समय छोड़ी जाती है। अंशों के रूप में वे सामान्यतः डाईडिक होते हैं,{{r|libbey}} हालांकि नॉन-डाइडिक टाइम सिग्नेचर भी उपयोग किए गए हैं।{{r|yanakiev}} अंश के रूप में व्याख्या किए गए हस्ताक्षर का संख्यात्मक मान, माप की लंबाई को संपूर्ण नोट के अंश के रूप में वर्णित करता है। इसका अंश प्रति माप बीट की संख्या का वर्णन करता है, और हर बीट की लंबाई का वर्णन करता है।{{r|jon-pea|libbey}}

===गणित शिक्षा में===
[[जीन पिअगेट|जीन पियागेट]] के काम के आधार पर एक भिन्न की अवधारणा के बचपन के विकास के सिद्धांतों में, आधा करने और बार-बार आधा करने से उत्पन्न होने वाली भिन्नात्मक संख्याएं विकसित होने वाले भिन्नों के प्रारंभिक रूपों में से हैं।{{r|hie-ton}} भिन्नों की अवधारणा के विकास के इस चरण को "एल्गोरिथमिक हॉल्विंग" कहा गया है।{{r|pot-saw}} इन संख्याओं का जोड़ और घटाव उन चरणों में किया जा सकता है जिनमें केवल पूर्णांकों को दोहराना, आधा करना, जोड़ना और घटाना सम्मिलित है। इसके विपरीत, अधिक सामान्य अंशों के जोड़ और घटाव में एक साधारण भाजक तक पहुंचने के लिए पूर्णांक गुणन और गुणन सम्मिलित होता है। इसलिए, अधिक सामान्य भिन्नों की तुलना में द्विअर्थी भिन्नों की गणना करना विद्यार्थियों के लिए आसान हो सकता है।{{r|wells}}

== परिभाषाएं और अंकगणित ==
द्विअंकीय संख्याएँ वे परिमेय संख्याएँ होती हैं जो एक पूर्णांक को दो की घात से विभाजित करने पर प्राप्त होती हैं।{{r|ko}} सरलतम शब्दों में एक परिमेय संख्या <math>p/q</math> एक द्विअर्थी परिमेय है जब <math>q</math> दो की एक घात है।{{r|uit-bar}} द्विअर्थी परिमेय को परिभाषित करने का एक अन्य समतुल्य तरीका यह है कि वे वास्तविक संख्याएं हैं जिनका एक समाप्ति बाइनरी प्रतिनिधित्व है।{{r|ko}}

निम्नलिखित सूत्रों के अनुसार, किन्हीं दो द्विअर्थी परिमेय संख्याओं का जोड़, [[घटाव]], और गुणा एक और द्विअर्थी परिमेय बनाता है:{{r|kreb-spit}}
: <math>\begin{align}
\frac{a}{2^b}+\frac{c}{2^d}&=\frac{2^{d - \min(b,d)}a + 2^{b - \min(b,d)}c} {2^{\max(b,d)} } \\[6px]
\frac{a}{2^b}-\frac{c}{2^d}&=\frac{2^{d - \min(b,d)}a - 2^{b - \min(b,d)}c} {2^{\max(b,d)} } \\[6px]
\frac{a}{2^b}\cdot \frac{c}{2^d} &= \frac{ a c}{2^{b+d}}
\end{align}</math>
हालांकि, एक डाइडिक परिमेय को दूसरे से विभाजित करने का परिणाम आवश्यक रूप से द्विअर्थी परिमेय नहीं होता है।{{r|oconnor}} उदाहरण के लिए, 1 और 3 दोनों द्विअर्थी परिमेय संख्याएँ हैं, परन्तु 1/3 नहीं है।

== अतिरिक्त गुण ==
[[File:Dyadic sqrt2 approximation.svg|thumb|2 के वर्गमूल के लिए द्विअर्थी परिमेय सन्निकटन (<math>\sqrt{2}\approx 1.4142</math>), के निकटतम छोटे पूर्णांक गुणज तक सन्निकटित करके पाया जाता है <math>1/2^i</math> के लिए <math>i=0,1,2,\dots</math> प्रत्येक सन्निकटन के ऊपर गुलाबी क्षेत्र की ऊँचाई इसकी त्रुटि है।]]
[[File:Bad dyadic approximation.svg|thumb|upright=1.2|असामान्य रूप से सटीक द्विअर्थी परिमेय सन्निकटनों के बिना वास्तविक संख्याएँ। लाल घेरे उन संख्याओं को घेरते हैं जो त्रुटि के भीतर अनुमानित हैं <math>\tfrac16/2^i</math> द्वारा <math>n/2^i</math>. फ्रैक्टल [[कैंटर सेट]] मंडलियों के बाहर सेट की गई संख्याओं के लिए, सभी द्विअर्थी परिमेय अनुमानों में बड़ी त्रुटियां हैं।]]प्रत्येक पूर्णांक, और प्रत्येक [[आधा पूर्णांक]], एक युग्मक परिमेय है।{{r|sabin}} वे दोनों दो की शक्ति से विभाजित एक पूर्णांक होने की परिभाषा को पूरा करते हैं: प्रत्येक पूर्णांक एक पूर्णांक है जिसे एक (दो की शून्य शक्ति) से विभाजित किया जाता है, और प्रत्येक आधा पूर्णांक दो से विभाजित पूर्णांक होता है।

प्रत्येक वास्तविक संख्या को द्विअर्थी परिमेय द्वारा अव्यवस्थिततः से निकटता से अनुमानित किया जा सकता है। विशेष रूप से, एक वास्तविक संख्या <math>x</math> के लिए, {{nowrap|<math display=inline>\lfloor 2^i x \rfloor / 2^i</math>,}} के रूप के द्विअर्थी परिमेय पर विचार करें, जहां <math>i</math> कोई पूर्णांक हो सकता है और ⌊ … ⌋ [[फर्श समारोह|फ्लोर फंक्शन]] को दर्शाता है जो इसके तर्क को एक पूर्णांक तक ले जाता है। ये संख्याएँ <math>1/2^i</math> की त्रुटि के भीतर नीचे से लगभग x का अनुमान लगाती हैं, जिसे अव्यवस्थिततः से बड़े होने के लिए <math>i</math> का चयन करके अव्यवस्थिततः से छोटा किया जा सकता है। वास्तविक संख्याओं के भग्न उपसमुच्चय के लिए, यह त्रुटि सीमा इष्टतम के एक स्थिर कारक के भीतर है: इन संख्याओं के लिए, निरंतर समय <math>1/2^i</math>से कम त्रुटि के साथ कोई सन्निकटन <math>n/2^i</math> नहीं है।<ref>More precisely, for small positive values of <math>\varepsilon</math>, the set of real numbers that have no approximation <math>n/2^i</math> with error smaller than a constant times <math>\varepsilon/2^i</math> forms a [[Cantor set]] whose [[Hausdorff dimension]], as a function of <math>\varepsilon</math>, goes to one as <math>\varepsilon</math> approaches zero. The illustration shows this set for <math>\varepsilon=\tfrac16</math>.</ref>{{r|nilsson}} सटीक द्विअर्थी सन्निकटन के अस्तित्व को यह कहकर व्यक्त किया जा सकता है कि वास्तविक रेखा में सभी द्विअर्थी परिमेय का सेट सघन है।{{r|sabin}} अधिक दृढ़ता से, यह सेट समान रूप से सघन है, इस अर्थ में कि भाजक 2 i के साथ युग्मक परिमेय [[वास्तविक रेखा]] पर समान रूप से स्थान पर हैं।{{r|ko}}

द्विअर्थी परिमेय संख्याएँ सटीक रूप से वे संख्याएँ होती हैं जिनमें परिमित द्विआधारी विस्तार होते हैं।{{r|ko}} उनके बाइनरी विस्तार अद्वितीय नहीं हैं; 0 (टर्मिनल 0s को अनदेखा करते हुए) के अलावा प्रत्येक डायडिक तर्कसंगत का एक परिमित और एक अनंत प्रतिनिधित्व है। उदाहरण के लिए, 0.11<sub>2</sub> = 0.10111...<sub>2</sub>, के लिए दो भिन्न प्रतिनिधित्व देता है।{{r|ko|kac}} द्विअर्थी परिमेय संख्याएं ही एकमात्र ऐसी संख्याएं हैं जिनके द्विआधारी विस्तार अद्वितीय नहीं हैं।{{r|ko}}

== उन्नत गणित में ==

=== बीजगणितीय संरचना ===
क्योंकि वे योग, घटाव और गुणन के तहत बंद हैं, लेकिन विभाजन नहीं, द्विअर्थी परिमेय एक वलय हैं, लेकिन एक क्षेत्र नहीं हैं।{{r|pollen}} द्विअर्थी परिमेय के वलय को <math>\Z[\tfrac12]</math> निरूपित किया जा सकता है, जिसका अर्थ है कि यह 1/2 तर्क पर पूर्णांक गुणांक वाले बहुपदों का मूल्यांकन करके उत्पन्न किया जा सकता है।{{r|bajnok}} एक वलय के रूप में, द्विअर्थी परिमेय परिमेय संख्याओं का एक उपवलय और पूर्णांकों का अधिवृक्क हैं।{{r|est-ohm}} बीजगणितीय रूप से, यह वलय दो की शक्तियों के समुच्चय के संबंध में पूर्णांकों का स्थानीयकरण है।{{r|lucy}}

वास्तविक संख्याओं का उपसमूह बनाने के साथ-साथ, द्विअंकीय परिमेय संख्याएँ 2-ऐडिक संख्याओं का एक उपसमूह बनाती हैं, संख्याओं की एक प्रणाली जिसे बाइनरी निरूपण से परिभाषित किया जा सकता है जो कि दाईं ओर परिमित है, बाइनरी बिंदु लेकिन बाईं ओर असीम रूप से दूर तक विस्तारित हो सकता है। 2-एडिक संख्याओं में सभी परिमेय संख्याएँ सम्मिलित होती हैं, न कि केवल द्विगुणित परिमेय संख्याएँ।  द्वैदिक परिमेय को 2-आदिक संख्याओं में एम्बेड करने से युग्मक परिमेय के अंकगणित में परिवर्तन नहीं होता है, लेकिन यह उन्हें वास्तविक संख्याओं के एक उपसमूह की तुलना में एक अलग सामयिक संरचना देता है। जैसा कि वे वास्तविक में करते हैं, द्विअर्थी परिमेय 2-एडिक संख्याओं का एक सघन पसमुच्चय बनाते हैं,{{r|manners}} और परिमित बाइनरी विस्तार के साथ 2-एडिक नंबरों का सेट हैं।  प्रत्येक 2-ऐडिक संख्या को 2-ऐडिक पूर्णांक और एक द्विअर्थी परिमेय के योग में विघटित किया जा सकता है; इस अर्थ में, द्विअंकीय परिमेय 2-ऐडिक संख्याओं के भिन्नात्मक भागों का प्रतिनिधित्व कर सकते हैं, लेकिन यह अपघटन अद्वितीय नहीं है।{{r|robert}}

द्विअर्थी परिमेय मॉडुलो 1 (पूर्णांकों द्वारा द्विअर्थी परिमेय संख्याओं का [[भागफल समूह]] <math>\Z[\tfrac12]/\Z</math>) का योग प्रुफर 2-समूह बनाता है।{{r|cor-guy-pit}}

=== द्विअर्थी सोलनॉइड ===
द्विअर्थी परिमेय के केवल जोड़ और घटाव के कार्यों को ध्यान में रखते हुए उन्हें एक योगात्मक [[एबेलियन समूह]] की संरचना देता है। [[पोंट्रीगिन द्वैत]] दोहरे समूहों का निर्माण करके एबेलियन समूहों को समझने की एक विधि है, जिनके तत्व मूल समूह के वर्ण हैं, समूह होमोमोर्फिज़्म को जटिल संख्याओं के गुणक समूह के लिए, दोहरे समूह संचालन के रूप में बिंदुवार गुणन के साथ। इस तरह से निर्मित योज्य द्विअर्थी परिमेय के दोहरे समूह को भी एक सामयिक समूह के रूप में देखा जा सकता है। इसे द्विअर्थी सोलनॉइड कहा जाता है, और वास्तविक संख्याओं और 2-एडीक संख्याओं के सामयिक उत्पाद के लिए आइसोमोर्फिक है, जो इस उत्पाद में द्विअर्थी परिमेय के विकर्ण एम्बेडिंग द्वारा उद्धृत है।{{r|manners}} यह एक [[प्रोटोरस]], एक परिनालिका और एक [[अविघटनीय सातत्य]] का उदाहरण है।{{r|nadler}}

=== विशिष्ट बिंदुओं के रूप में द्विअर्थी परिमेय के साथ कार्य ===
{{multiple image|total_width=480
|image1=Minkowski question mark.svg|caption1=[[मिन्कोव्स्की का प्रश्न-चिन्ह फलन]] परिमेय संख्याओं को युग्मक परिमेय में मैप करता है|alt1=प्रश्न चिह्न फ़ंक्शन का ग्राफ़
|image2=Daubechies4-functions.svg|caption2=[[डौबेचिस वेवलेट]], डायाडिक परिमेय पर गैर-सुचारु बिंदु दिखा रहा है|alt2=डोबेचीज के वेवलेट के स्केलिंग और वेवलेट फ़ंक्शंस का ग्राफ़
}}
क्योंकि वे वास्तविक संख्याओं के एक सघन उपसमुच्चय हैं, उनके संख्यात्मक क्रम के साथ, द्वैध परिमेय, एक [[सघन क्रम]] बनाते हैं। कैंटर के समरूपता प्रमेय द्वारा किन्हीं भी दो असीमित गणनीय सघन रेखीय क्रमों के साथ,{{r|bmmn}} द्विअर्थी परिमेय तर्कसंगत संख्याओं के क्रम-समरूपी होते हैं। इस मामले में, मिन्कोवस्की का प्रश्न-चिन्ह कार्य सभी परिमेय संख्याओं के समुच्चय और द्विअर्थी परिमेय संख्याओं के समुच्चय के बीच एक क्रम-संरक्षण आक्षेप प्रदान करता है।{{r|girgensohn}}

द्विअर्थी परिमेय बिंदु डौबेची वेवलेट्स के विश्लेषण में एक महत्वपूर्ण भूमिका निभाते हैं, बिंदुओं के सेट के रूप में जहां इन वेवलेट्स का स्केलिंग फ़ंक्शन गैर सुचारू है।{{r|pollen}} इसी तरह, द्विअर्थी परिमेय हेनोन मानचित्र के पैरामीटर स्थान में स्थिर और अस्थिर बिंदुओं के बीच की सीमा में असंततता को मापते हैं।{{r|cvi-gun-pro}}

यूनिट अंतराल से खुद तक टुकड़े-टुकड़े रैखिक होमोमोर्फिम्स का सेट जिसमें 2 ढलानों की शक्ति होती है और द्विअर्थी-तर्कसंगत विराम बिंदु फ़ंक्शन संरचना के संचालन के तहत एक समूह बनाते हैं। यह थॉम्पसन का समूह है, एक अनंत लेकिन सूक्ष्म रूप से प्रस्तुत सरल समूह का पहला ज्ञात उदाहरण।{{r|brin}} एक ही समूह को रूटेड बाइनरी ट्री पर एक क्रिया द्वारा भी दर्शाया जा सकता है, {{r|can-flo}} या यूनिट अंतराल के भीतर द्विअर्थी परिमेय पर एक क्रिया द्वारा भी दर्शाया जा सकता है।{{r|cor-guy-pit}}

=== अन्य संबंधित निर्माण ===
व्युत्क्रम गणित में, वास्तविक संख्याओं के निर्माण का एक तरीका उन्हें यूनरी नंबरों से डायडिक परिमेय तक के कार्यों के रूप में प्रस्तुत करना है, जहां तर्क <math>i</math> के लिए इन कार्यों में से एक का मान भाजक <math>2^i</math>के साथ एक डायडिक परिमेय है जो दी गई वास्तविक संख्या का अनुमान लगाता है। इस तरह से वास्तविक संख्याओं को परिभाषित करने से गणितीय विश्लेषण के कई बुनियादी परिणामों को "व्यवहार्य विश्लेषण" (बीटीएफए) कहे जाने वाले दूसरे क्रम के अंकगणित के सीमित सिद्धांत के भीतर सिद्ध किया जा सकता है।{{r|fer-fer}}

वास्तविक संख्याएं एक पुनरावृत्त निर्माण सिद्धांत द्वारा उत्पन्न होती हैं जो सभी परिमित डाइडिक परिमेय संख्याओं को उत्पन्न करके प्रारंभिक होती हैं और फिर अनंत, अतिसूक्ष्म और अन्य संख्याओं के नए और अजीब प्रकार बनाती हैं।{{r|conway}} यह संख्या प्रणाली मिश्रित खेल सिद्धांत के लिए मूलभूत है, और इस सिद्धांत में स्वाभाविक रूप से कुछ संयोजी खेलों के मूल्यों के समुच्चय के रूप में रंगारिक तर्कसंगतता उत्पन्न होती है।{{r|mauldon|flanigan|uit-bar}}

फ्यूसिबल नंबर डायडिक परिमेय का एक उपसमुच्चय है, ऑपरेशन <math>x,y\mapsto(x+y+1)/2</math> के तहत सेट <math>\{0\}</math>को बंद करना, जोड़े <math>x,y</math> के साथ प्रतिबंधित है <math>|x-y|<1</math>वे अच्छी तरह से क्रमित हैं, ऑर्डर प्रकार [[एप्सिलॉन संख्या (गणित)|एप्सिलॉन संख्या]] <math>\varepsilon_0</math> के बराबर है। प्रत्येक पूर्णांक <math>n</math> के लिए सबसे छोटी फ्यूज़िबल संख्या जो <math>n</math> से बड़ी है, का रूप <math>n+1/2^k</math> है। प्रत्येक <math>n</math> के लिए <math>k</math> के अस्तित्व को पियानों अंकगणित में सिद्ध नहीं किया जा सकता है,{{r|eri-niv-xu}} और <math>k</math>  <math>n</math> के कार्य के रूप में इतनी तेजी से बढ़ता है कि <math>n=3</math> के लिए यह (बड़ी संख्या के लिए नुथ के अप-एरो नोटेशन में) है  <math>2\uparrow^9 16</math> से पहले से ही बड़ा है।{{r|A188545}}

उरीसोहन के लेम्मा का सामान्य प्रमाण लेम्मा से अलग करने योग्य कार्य के निर्माण के लिए डाइडिक अंशों का उपयोग करता है।

== संदर्भ ==
{{reflist|refs=

<ref name=A188545>{{cite OEIS|A188545|mode=cs2}}</ref>

<ref name=asz>{{citation
 | last1 = Ambos-Spies | first1 = Klaus
 | last2 = Zheng | first2 = Xizhong
 | editor1-last = Manea | editor1-first = Florin
 | editor2-last = Martin | editor2-first = Barnaby
 | editor3-last = Paulusma | editor3-first = Daniël
 | editor4-last = Primiero | editor4-first = Giuseppe
 | contribution = On the differences and sums of strongly computably enumerable real numbers
 | doi = 10.1007/978-3-030-22996-2_27
 | mr = 3981892
 | pages = 310–322
 | publisher = Springer | location = Cham
 | series = Lecture Notes in Computer Science
 | title = Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
 | volume = 11558
 | year = 2019| s2cid = 195795492
 }}</ref>

<ref name=bajnok>{{citation
 | last = Bajnok | first = Béla
 | doi = 10.1007/978-1-4614-6636-9
 | location = New York
 | page = 186
 | publisher = Springer
 | title = An Invitation to Abstract Mathematics
 | series = Undergraduate Texts in Mathematics
 | year = 2013| isbn = 978-1-4614-6635-2
 }}</ref>

<ref name=barnes>{{citation
 | last = Barnes | first = John
 | doi = 10.1007/978-3-319-46831-0
 | publisher = Springer International Publishing
 | quote = Note that binary measures (2, 4, 8, 16) are very common indeed. This is particularly obvious with volumes. 
 | title = Nice Numbers
 | url = https://books.google.com/books?id=6l2XDQAAQBAJ&pg=PA10
 | year = 2016| isbn = 978-3-319-46830-3
 }}</ref>

<ref name=bmmn>{{citation
 | last1 = Bhattacharjee | first1 = Meenaxi
 | last2 = Macpherson | first2 = Dugald
 | last3 = Möller | first3 = Rögnvaldur G.
 | last4 = Neumann | first4 = Peter M. | author4-link = Peter M. Neumann
 | contribution = Rational numbers
 | doi = 10.1007/978-93-80250-91-5_9
 | isbn = 81-85931-13-5
 | mr = 1632579
 | pages = 77–86
 | publisher = Springer-Verlag | location = Berlin
 | series = Texts and Readings in Mathematics
 | title = Notes on Infinite Permutation Groups
 | volume = 12
 | year = 1997}}</ref>

<ref name=brin>{{citation
 | last = Brin | first = Matthew G.
 | arxiv = math/9705205
 | doi = 10.1112/S0024610799007905
 | issue = 2
 | journal = [[Journal of the London Mathematical Society]]
 | mr = 1724861
 | pages = 449–460
 | series = Second Series
 | title = The ubiquity of Thompson's group {{mvar|F}} in groups of piecewise linear homeomorphisms of the unit interval
 | volume = 60
 | year = 1999| s2cid = 14490692
 }}</ref>

<ref name=can-flo>{{citation
 | last1 = Cannon | first1 = J. W. | author1-link = James W. Cannon
 | last2 = Floyd | first2 = W. J. | author2-link = William Floyd (mathematician)
 | issue = 8
 | journal = [[Notices of the American Mathematical Society]]
 | mr = 2856142
 | pages = 1112–1113
 | title = What is … Thompson's group?
 | url = https://www.ams.org/notices/201108/rtx110801112p.pdf
 | volume = 58
 | year = 2011}}</ref>

<ref name=cor-guy-pit>{{citation
 | last1 = de Cornulier | first1 = Yves
 | last2 = Guyot | first2 = Luc
 | last3 = Pitsch | first3 = Wolfgang
 | arxiv = math/0511714
 | doi = 10.1016/j.jalgebra.2006.02.012
 | issue = 1
 | journal = [[Journal of Algebra]]
 | mr = 2278053
 | pages = 254–277
 | title = On the isolated points in the space of groups
 | url = https://www.normalesup.org/~cornulier/CoGuPi.pdf
 | volume = 307
 | year = 2007 | s2cid = 11566447
 }}</ref>

<ref name=cvi-gun-pro>{{citation
 | last1 = Cvitanović | first1 = Predrag
 | last2 = Gunaratne | first2 = Gemunu H.
 | last3 = Procaccia | first3 = Itamar
 | doi = 10.1103/PhysRevA.38.1503
 | issue = 3
 | journal = [[Physical Review A]]
 | mr = 970237
 | pages = 1503–1520
 | series = Third Series
 | title = Topological and metric properties of Hénon-type strange attractors
 | volume = 38
 | year = 1988| pmid = 9900529
 | bibcode = 1988PhRvA..38.1503C
 }}</ref>

<ref name=conway>{{citation
 | last = Conway | first = J. H. | author-link = John Horton Conway
 | edition = Second
 | isbn = 1-56881-127-6
 | mr = 1803095
 | publisher = A K Peters | location = Natick, Massachusetts
 | title = On Numbers and Games | title-link = On Numbers and Games
 | year = 2001}}; for the dyadic rationals, see "The numbers <math>\tfrac{1}{4}</math>, <math>\tfrac{3}{4}</math>, <math>1\,\tfrac{1}{2}</math>, <math>3</math>, and so on", pp. 10–12</ref>

<ref name=curtis>{{citation
  | title = Concept of the exponential law prior to 1900
  | last = Curtis | first = Lorenzo J.
  | journal = [[American Journal of Physics]]
  | year = 1978
  | volume = 46
  | issue = 9
  | pages = 896–906
  | doi = 10.1119/1.11512| bibcode = 1978AmJPh..46..896C }}</ref>

<ref name=est-ohm>In the notation of Estes and Ohm for rings that are both subrings of <math>\Q</math> and overrings of <math>\Z</math>, the dyadic rationals are the ring <math>\Z_{\{2\}}</math>. See section 7 of {{citation
 | last1 = Estes | first1 = Dennis
 | last2 = Ohm | first2 = Jack
 | doi = 10.1016/0021-8693(67)90075-0 | doi-access = free
 | journal = [[Journal of Algebra]]
 | mr = 217052
 | pages = 343–362
 | title = Stable range in commutative rings
 | url = https://core.ac.uk/download/pdf/82241374.pdf
 | volume = 7
 | year = 1967| issue = 3
 }}</ref>

<ref name=eri-niv-xu>{{citation
 | last1 = Erickson | first1 = Jeff
 | last2 = Nivasch | first2 = Gabriel
 | last3 = Xu | first3 = Junyan
 | arxiv = 2003.14342
 | contribution = Fusible numbers and Peano arithmetic
 | contribution-url = https://jeffe.cs.illinois.edu/pubs/fusible.html
 | date = June 2021
 | doi = 10.1109/lics52264.2021.9470703
 | pages = 1–13
 | publisher = IEEE
 | title = Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)| s2cid = 214727767
 }}</ref>

<ref name=fer-fer>{{citation
 | last1 = Fernandes | first1 = António M.
 | last2 = Ferreira | first2 = Fernando
 | contribution = Basic applications of weak König's lemma in feasible analysis
 | contribution-url = https://webpages.ciencias.ulisboa.pt/~fjferreira/basic.pdf
 | mr = 2185433
 | pages = 175–188
 | publisher = Association for Symbolic Logic | location = La Jolla, California
 | series = Lecture Notes in Logic
 | title = Reverse Mathematics 2001
 | volume = 21
 | year = 2005}}</ref>

<ref name=flanigan>{{citation
 | last = Flanigan | first = J. A.
 | doi = 10.1007/BF01771244
 | issue = 1
 | journal = International Journal of Game Theory
 | mr = 665515
 | pages = 21–25
 | title = A complete analysis of black-white Hackendot
 | volume = 11
 | year = 1982| s2cid = 119964871
 }}</ref>

<ref name=girgensohn>{{citation
 | last = Girgensohn | first = Roland
 | doi = 10.1006/jmaa.1996.0370 | doi-access = free
 | issue = 1
 | journal = [[Journal of Mathematical Analysis and Applications]]
 | mr = 1412484
 | pages = 127–141
 | title = Constructing singular functions via Farey fractions
 | volume = 203
 | year = 1996}}</ref>

<ref name=hie-ton>{{citation
 | last1 = Hiebert | first1 = James
 | last2 = Tonnessen | first2 = Lowell H.
 | date = November 1978
 | doi = 10.2307/748774
 | issue = 5
 | journal = [[Journal for Research in Mathematics Education]]
 | jstor = 748774
 | pages = 374–378
 | title = Development of the fraction concept in two physical contexts: an exploratory investigation
 | volume = 9}}</ref>

<ref name=jon-pea>{{citation
 | last1 = Jones | first1 = Shelly M. | author1-link = Shelly M. Jones
 | last2 = Pearson | first2 = Dunn
 | date = May 2013
 | doi = 10.1177/1048371313486478
 | issue = 1
 | journal = [[General Music Today]]
 | pages = 18–23
 | title = Music: highly engaged students connect music to math
 | volume = 27| s2cid = 220604326 }}</ref>

<ref name=jvv>{{citation
 | last1 = Jerrum | first1 = Mark R. | author1-link = Mark Jerrum
 | last2 = Valiant | first2 = Leslie G. | author2-link = Leslie Valiant
 | last3 = Vazirani | first3 = Vijay V. | author3-link = Vijay Vazirani
 | doi = 10.1016/0304-3975(86)90174-X | doi-access = free
 | issue = 2–3
 | journal = [[Theoretical Computer Science (journal)|Theoretical Computer Science]]
 | mr = 855970
 | pages = 169–188
 | title = Random generation of combinatorial structures from a uniform distribution
 | volume = 43
 | year = 1986}}</ref>

<ref name=kac>{{citation
 | last = Kac | first = Mark | author-link = Mark Kac
 | mr = 0110114
 | pages = 2–3
 | publisher = John Wiley & Sons for the Mathematical Association of America | location = New York
 | series = [[Carus Mathematical Monographs]]
 | title = Statistical Independence in Probability, Analysis and Number Theory
 | volume = 12
 | year = 1959}}</ref>

<ref name=kirk-hwu>{{citation
 | last1 = Kirk | first1 = David B. | author1-link = David Kirk (scientist)
 | last2 = Hwu | first2 = Wen-mei W. | author2-link = Wen-mei Hwu
 | contribution = 7.2 Representable numbers
 | contribution-url = https://books.google.com/books?id=E0Uaag8qicUC&pg=PA155
 | edition = 2nd
 | isbn = 978-0-12-391418-7
 | pages = 155–159
 | publisher = Morgan Kaufmann
 | title = Programming Massively Parallel Processors: A Hands-on Approach
 | year = 2013}}</ref>

<ref name=kneusel>{{citation
 | last = Kneusel | first = Ronald T.
 | contribution = Chapter 6: Fixed-point numbers
 | doi = 10.1007/978-3-319-50508-4_6
 | edition = 2nd
 | pages = 183–214
 | publisher = Springer International Publishing
 | title = Numbers and Computers
 | year = 2017}}</ref>

<ref name=ko>{{citation
 | last = Ko | first = Ker-I
 | doi = 10.1007/978-1-4684-6802-1
 | isbn = 0-8176-3586-6
 | location = Boston, Massachusetts
 | mr = 1137517
 | pages = 41–43
 | publisher = Birkhäuser Boston, Inc.
 | series = Progress in Theoretical Computer Science
 | title = Complexity Theory of Real Functions
 | url = https://books.google.com/books?id=QJnVBwAAQBAJ&pg=PA41
 | year = 1991| s2cid = 11758381
 }}</ref>

<ref name=kreb-spit>Equivalent formulas to these, written in the language of the [[Coq]] interactive theorem prover, are given by {{citation
 | last1 = Krebbers | first1 = Robbert
 | last2 = Spitters | first2 = Bas
 | arxiv = 1106.3448
 | doi = 10.2168/LMCS-9(1:1)2013
 | issue = 1
 | journal = [[Logical Methods in Computer Science]]
 | mr = 3029087
 | page = 1:01, 27
 | title = Type classes for efficient exact real arithmetic in Coq
 | volume = 9
 | year = 2013| s2cid = 218627153
 }}</ref>

<ref name=libbey>{{citation
 | last = Libbey | first = Theodore
 | contribution = Time signature
 | contribution-url = https://books.google.com/books?id=lE8R56pksxEC&pg=PA873
 | isbn = 978-0-7611-2072-8
 | page = 873
 | publisher = Workman Publishing
 | title = The NPR Listener's Encyclopedia of Classical Music
 | year = 2006}}</ref>

<ref name=lucy>{{citation
 | last = Lucyshyn-Wright | first = Rory B. B.
 | arxiv = 1603.03351
 | doi = 10.1007/s10485-017-9496-9
 | issue = 2
 | journal = Applied Categorical Structures
 | mr = 3770912
 | pages = 369–400
 | title = Convex spaces, affine spaces, and commutants for algebraic theories
 | volume = 26
 | year = 2018| s2cid = 3743682
 }}</ref>

<ref name=manners>{{citation
 | last = Manners | first = Freddie
 | arxiv = 1305.1514
 | doi = 10.1007/s00222-014-0571-7
 | issue = 1
 | journal = [[Inventiones Mathematicae]]
 | mr = 3402799
 | pages = 239–270
 | title = A solution to the pyjama problem
 | volume = 202
 | year = 2015| bibcode = 2015InMat.202..239M
 | s2cid = 119148680
 }}; see section 6.2.1, "A model case: <math>\widehat{\Z[1/2]}</math>", pp. 255–257.</ref>

<ref name=mauldon>{{citation
 | last = Mauldon | first = J. G.
 | doi = 10.2307/2320870
 | issue = 7
 | journal = [[The American Mathematical Monthly]]
 | jstor = 2320870
 | mr = 503877
 | pages = 575–578
 | title = Num, a variant of Nim with no first-player win
 | volume = 85
 | year = 1978}}</ref>

<ref name=miller>{{citation
 | last = Miller | first = Heather M.-L.
 | editor1-last = Abraham | editor1-first = Shinu Anna
 | editor2-last = Gullapalli | editor2-first = Praveena
 | editor3-last = Raczek | editor3-first = Teresa P.
 | editor4-last = Rizvi | editor4-first = Uzma Z. | editor4-link = Uzma Z. Rizvi
 | contribution = Weighty matters: evidence for unity and regional diversity from the Indus civilization weights
 | date = 2013
 | doi = 10.4324/9781315431857
 | isbn = 978-1-59874-686-0
 | pages = 161–177
 | publisher = Left Coast Press
 | title = Connections and Complexity: New Approaches to the Archaeology of South Asia}}; see in particular [https://books.google.com/books?id=ddRmDAAAQBAJ&pg=PA166 p. 166]</ref>

<ref name=nadler>{{citation
  | title = The indecomposability of the dyadic solenoid
  | jstor = 2319174
  | last = Nadler | first = S. B. Jr.
  | journal = [[The American Mathematical Monthly]]
  | year = 1973
  | volume = 80
  | issue = 6
  | pages = 677–679
  | doi = 10.2307/2319174}}</ref>

<ref name=nilsson>{{citation
 | last = Nilsson | first = Johan
 | doi = 10.1007/s11856-009-0042-9 | doi-access=free
 | journal = [[Israel Journal of Mathematics]]
 | mr = 2520103
 | pages = 93–110
 | title = On numbers badly approximable by dyadic rationals
 | volume = 171
 | year = 2009}}</ref>

<ref name=oconnor>{{citation
 | last = O'Connor | first = Russell
 | doi = 10.1017/S0960129506005871
 | issue = 1
 | journal = Mathematical Structures in Computer Science
 | mr = 2311089
 | pages = 129–159
 | title = A monadic, functional implementation of real numbers
 | volume = 17
 | year = 2007| s2cid = 221168970
 }}</ref>

<ref name=pollen>{{citation
 | last = Pollen | first = David
 | contribution = Daubechies' scaling function on [0,3]
 | mr = 1161245
 | pages = 3–13
 | publisher = Academic Press | location = Boston, Massachusetts
 | series = Wavelet Analysis and Its Applications
 | title = Wavelets
 | volume = 2
 | year = 1992}}</ref>

<ref name=pot-saw>{{citation
 | last1 = Pothier | first1 = Yvonne | author1-link = Yvonne Pothier
 | last2 = Sawada | first2 = Daiyo
 | date = November 1983
 | doi = 10.2307/748675
 | issue = 5
 | journal = [[Journal for Research in Mathematics Education]]
 | jstor = 748675
 | pages = 307–317
 | title = Partitioning: the emergence of rational number ideas in young children
 | volume = 14}}</ref>

<ref name=reswel>{{citation
 | last1 = Resnikoff | first1 = Howard L. | author1-link = Howard L. Resnikoff
 | last2 = Wells | first2 = Raymond O. Jr. | author2-link = Raymond O. Wells Jr.
 | contribution = 2.2.1: Digital computers and measurement
 | contribution-url = https://books.google.com/books?id=jrvkBwAAQBAJ&pg=PA17
 | doi = 10.1007/978-1-4612-0593-7
 | isbn = 0-387-98383-X
 | location = New York
 | mr = 1712468
 | pages = 17–18
 | publisher = Springer-Verlag
 | title = Wavelet Analysis: The Scalable Structure of Information
 | year = 1998}}</ref>

<ref name=robert>{{citation
 | last = Robert | first = Alain M. | author-link = Alain M. Robert
 | contribution = 5.4 Fractional and integral parts of <math>p</math>-adic numbers
 | doi = 10.1007/978-1-4757-3254-2
 | isbn = 0-387-98669-3
 | mr = 1760253
 | pages = 40–43
 | publisher = Springer-Verlag | location = New York
 | series = [[Graduate Texts in Mathematics]]
 | title = A Course in <math>p</math>-adic Analysis
 | volume = 198
 | year = 2000}}</ref>

<ref name=rudman>{{citation
 | last = Rudman | first = Peter S.
 | isbn = 978-1-61592-176-8
 | page = 148
 | publisher = Prometheus Books
 | title = How Mathematics Happened: The First 50,000 Years
 | url = https://books.google.com/books?id=BtcQq4RUfkUC&pg=PA148
 | year = 2009}}</ref>

<ref name=sabin>{{citation
 | last = Sabin | first = Malcolm
 | isbn = 9783642136481
 | page = 51
 | publisher = Springer
 | series = Geometry and Computing
 | title = Analysis and Design of Univariate Subdivision Schemes
 | url = https://books.google.com/books?id=18UC7d7h0LQC&pg=PA51
 | volume = 6
 | year = 2010}}</ref>

<ref name=uit-bar>{{citation
 | last1 = Uiterwijk | first1 = Jos W. H. M.
 | last2 = Barton | first2 = Michael
 | arxiv = 1506.03949
 | doi = 10.1016/j.tcs.2015.05.017
 | journal = [[Theoretical Computer Science (journal)|Theoretical Computer Science]]
 | mr = 3367582
 | pages = 72–86
 | title = New results for Domineering from combinatorial game theory endgame databases
 | volume = 592
 | year = 2015| s2cid = 5899577
 }}</ref>

<ref name=vdh>{{citation
 | last = van der Hoeven | first = Joris
 | doi = 10.1016/j.tcs.2005.09.060 | doi-access = free
 | issue = 1
 | journal = [[Theoretical Computer Science (journal)|Theoretical Computer Science]]
 | mr = 2201092
 | pages = 52–60
 | title = Computations with effective real numbers
 | volume = 351
 | year = 2006}}</ref>

<ref name=wells>{{citation
 | last = Wells | first = David Graham
 | isbn = 978-1-78326-755-2
 | pages = 32–33
 | publisher = World Scientific
 | title = Motivating Mathematics: Engaging Teachers And Engaged Students
 | url = https://books.google.com/books?id=suY7DQAAQBAJ&pg=PA32
 | year = 2015}}</ref>

<ref name=yanakiev>{{citation
 | last = Yanakiev | first = Ivan K.
 | editor-last = Bozhikova | editor-first = Milena
 | contribution = Mathematical devices in aid of music theory, composition, and performance
 | isbn = 978-1-5275-4758-2
 | pages = 35–62
 | publisher = Cambridge Scholars Publishing
 | title = Music between Ontology and Ideology
 | year = 2020}}; see in particular [https://books.google.com/books?id=dQbUDwAAQBAJ&pg=PA37 p. 37].</ref>

<ref name=zr>{{citation
 | last1 = Zheng | first1 = Xizhong
 | last2 = Rettinger | first2 = Robert
 | doi = 10.1002/malq.200310110
 | issue = 4–5
 | journal = Mathematical Logic Quarterly
 | mr = 2090389
 | pages = 431–442
 | title = Weak computability and representation of reals
 | volume = 50
 | year = 2004| s2cid = 15815720
 }}</ref>

}}{{Rational numbers}}
{{Ring theory sidebar}}

[[Category:Collapse templates]]
[[Category:Created On 18/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages using multiple image with auto scaled images]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:अंश (गणित)]]
[[Category:भिन्नात्मक संख्याएं]]
[[Category:रिंग थ्योरी]]
[[Category:संख्या सिद्धांत]]