वर्ग-मुक्त पूर्णांक: Difference between revisions
No edit summary |
No edit summary |
||
| (9 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
{{Short description|Number without repeated prime factors}} | {{Short description|Number without repeated prime factors}} | ||
[[File:Composite number Cuisenaire rods 10.svg|thumb|10 वर्ग-मुक्त है, क्योंकि इसके 1 से बड़े भाजक 2, 5 और 10 हैं, जिनमें से कोई भी वर्ग नहीं है (पहले कुछ वर्ग 1, 4, 9 और 16 हैं)]] | [[File:Composite number Cuisenaire rods 10.svg|thumb|10 वर्ग-मुक्त है, क्योंकि इसके 1 से बड़े भाजक 2, 5 और 10 हैं, जिनमें से कोई भी वर्ग नहीं है (पहले कुछ वर्ग 1, 4, 9 और 16 हैं)]] | ||
[[File:squarefree_numbers_sieve.svg|thumb|√120 तक अभाज्य संख्याओं के वर्गों के गुणजों को हटाने के बाद 120 तक के वर्ग-मुक्त पूर्णांक शेष रह जाते हैं]]गणित में, एक '''वर्ग-मुक्त पूर्णांक''' (या '''वर्गमुक्त पूर्णांक''') | [[File:squarefree_numbers_sieve.svg|thumb|√120 तक अभाज्य संख्याओं के वर्गों के गुणजों को हटाने के बाद 120 तक के वर्ग-मुक्त पूर्णांक शेष रह जाते हैं]]गणित में, एक '''वर्ग-मुक्त पूर्णांक''' (या '''वर्गमुक्त पूर्णांक''') पूर्णांक होता है जो 1 के अलावा किसी भी वर्ग संख्या से विभाज्य नहीं होता है। यानी, इसके अभाज्य गुणनखंड में इसमें दिखाई देने वाले प्रत्येक अभाज्य के लिए बिल्कुल एक कारक होता है। उदाहरण के लिए, 10 = 2 ⋅ 5 वर्ग-मुक्त है, लेकिन 18 = 2 ⋅ 3 ⋅ 3 नहीं है, क्योंकि 18, 9 = 32 से विभाज्य है। सबसे छोटी धनात्मक वर्ग-मुक्त संख्याएँ हैं | ||
1, 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, 17, 19, 21, 22, 23, 26, 29, 30, 31, 33, 34, 35, 37, 38, 39, ...(ओईआईएस में अनुक्रम A005117) | 1, 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, 17, 19, 21, 22, 23, 26, 29, 30, 31, 33, 34, 35, 37, 38, 39, ...(ओईआईएस में अनुक्रम A005117) | ||
| Line 11: | Line 11: | ||
जहां <math>q_i</math> एक से भिन्न वर्ग-मुक्त पूर्णांक होते हैं जो युग्मानूसार [[जोड़ीवार सहअभाज्य|सहअभाज्य]] होते हैं। इसे {{mvar|n}} का वर्ग-मुक्त गुणनखंडन कहा जाता है। | जहां <math>q_i</math> एक से भिन्न वर्ग-मुक्त पूर्णांक होते हैं जो युग्मानूसार [[जोड़ीवार सहअभाज्य|सहअभाज्य]] होते हैं। इसे {{mvar|n}} का वर्ग-मुक्त गुणनखंडन कहा जाता है। | ||
वर्ग-मुक्त गुणनखण्ड बनाने के लिए, आइए<math display="block">n=\prod_{j=1}^h p_j^{e_j}</math><math>n</math> का अभाज्य गुणनखंडन हो, जहां <math>p_j</math> विशिष्ट [[अभाज्य संख्या]]एँ हैं। फिर वर्ग-मुक्त गुणनखंड के गुणनखंडों को इस प्रकार परिभाषित किया जाता है<math display="block">q_i=\prod_{j: e_j=i}p_j.</math> | वर्ग-मुक्त गुणनखण्ड बनाने के लिए, आइए<math display="block">n=\prod_{j=1}^h p_j^{e_j}</math><math>n</math> का अभाज्य गुणनखंडन हो, जहां <math>p_j</math> विशिष्ट [[अभाज्य संख्या]]एँ हैं। फिर वर्ग-मुक्त गुणनखंड के गुणनखंडों को इस प्रकार परिभाषित किया जाता है<math display="block">q_i=\prod_{j: e_j=i}p_j.</math>पूर्णांक वर्ग-मुक्त होता है यदि और केवल यदि सभी <math>i > 1</math> के लिए <math>q_i=1</math> हो। एक से बड़ा पूर्णांक दूसरे पूर्णांक की <math>k</math> घात है यदि और केवल यदि <math>k</math> सभी i का भाजक है जैसे कि <math>q_i\neq 1.</math>। | ||
पूर्णांकों के [[वर्ग-मुक्त गुणनखंडन]] का उपयोग इस तथ्य से सीमित है कि इसकी गणना अभाज्य गुणनखंडन की गणना जितनी ही कठिन है। अधिक सटीक रूप से, वर्ग-मुक्त गुणनखंड की गणना के लिए प्रत्येक ज्ञात [[कलन विधि]] अभाज्य गुणनखंड की भी गणना करता है। यह बहुपदों के | पूर्णांकों के [[वर्ग-मुक्त गुणनखंडन]] का उपयोग इस तथ्य से सीमित है कि इसकी गणना अभाज्य गुणनखंडन की गणना जितनी ही कठिन है। अधिक सटीक रूप से, वर्ग-मुक्त गुणनखंड की गणना के लिए प्रत्येक ज्ञात [[कलन विधि]] अभाज्य गुणनखंड की भी गणना करता है। यह बहुपदों के स्तिथि में एक उल्लेखनीय अंतर है जिसके लिए समान परिभाषाएँ दी जा सकती हैं, लेकिन, इस स्तिथि में, पूर्ण गुणनखंड की तुलना में वर्ग-मुक्त गुणनखंड की गणना करना न केवल आसान है, लेकिन यह सभी मानक गुणनखंडन एल्गोरिदम का पहला चरण है। | ||
==पूर्णांकों के वर्ग-मुक्त गुणनखंड== | ==पूर्णांकों के वर्ग-मुक्त गुणनखंड== | ||
किसी पूर्णांक का मूलांक उसका सबसे बड़ा वर्ग-मुक्त गुणनखंड होता है, अर्थात <math>\textstyle \prod_{i=1}^k q_i</math> पूर्ववर्ती | किसी पूर्णांक का मूलांक उसका सबसे बड़ा वर्ग-मुक्त गुणनखंड होता है, अर्थात <math>\textstyle \prod_{i=1}^k q_i</math>पूर्ववर्ती खंड के अंकन के साथ। पूर्णांक वर्ग-मुक्त होता है यदि और केवल तभी जब वह उसके मूलांक के बराबर हो। | ||
प्रत्येक धनात्मक पूर्णांक <math>n</math> | प्रत्येक धनात्मक पूर्णांक <math>n</math> को अद्वितीय विधि से एक घातीय संख्या के गुणन के रूप में दर्शाया जा सकता है (यह एक ऐसा पूर्णांक है जो प्रत्येक अभाज्य गुणनखंड के वर्ग से विभाज्य है) और वर्ग-मुक्त पूर्णांक, जो सहअभाज्य हैं। इस गुणनखंड में, वर्ग-मुक्त गुणनखंड <math>q_1,</math> है और घातीय संख्या <math>\textstyle \prod_{i=2}^k q_i^i.</math> है। | ||
<math>n</math> का वर्ग-मुक्त भाग <math>q_1,</math> है, जो सबसे बड़ा वर्ग-मुक्त भाजक है <math>n</math> का <math>k</math>, जो कि <math>n/k</math> के साथ सहअभाज्य है। किसी पूर्णांक का वर्ग-मुक्त भाग सबसे बड़े वर्ग-मुक्त विभाजक से अल्प हो सकता है, जो कि <math>\textstyle \prod_{i=1}^k q_i.</math> है। | |||
<math | |||
<math | |||
वर्ग-मुक्त | |||
किसी भी याच्छिक रूप से धनात्मक पूर्णांक <math>n</math> को एक वर्ग और वर्ग-मुक्त पूर्णांक के गुणनफल के रूप में अद्वितीय विधि से दर्शाया जा सकता है: | |||
इनमें से किसी भी वर्ग-मुक्त कारक की गणना के लिए कोई | <math display="block"> n=m^2 k</math> | ||
इस गुणनखंडन में, <math>m</math>, <math>n</math> का सबसे बड़ा भाजक है, इस प्रकार कि <math>m^2</math>, <math>n</math> का भाजक है। | |||
संक्षेप में, तीन वर्ग-मुक्त कारक हैं जो स्वाभाविक रूप से हर पूर्णांक के साथ जुड़े होते हैं: वर्ग-मुक्त भाग, उपरोक्त कारक <math>k</math>, और सबसे बड़ा वर्ग-मुक्त कारक। प्रत्येक अगले का एक गुणनखंड है। सभी को अभाज्य गुणनखंडन या वर्ग-मुक्त गुणनखंडन से आसानी से घटाया जाता है। यदि | |||
<math display="block">n=\prod_{i=1}^h p_i^{e_i}=\prod_{i=1}^k q_i^i</math> | |||
<math>n</math> का अभाज्य गुणनखंडन और वर्ग-मुक्त गुणनखंडन हैं, जहां <math>p_1, \ldots, p_h</math>अलग-अलग अभाज्य संख्याएं हैं, तो वर्ग-मुक्त भाग है। | |||
<math display="block">\prod_{e_i=1} p_i =q_1,</math> | |||
वर्ग-मुक्त कारक जैसे भागफल एक वर्ग है | |||
<math display="block">\prod_{e_i \text{ odd}} p_i=\prod_{i \text{ odd}} q_i,</math> | |||
और सबसे बड़ा वर्ग-मुक्त गुणनखंड है | |||
<math display="block">\prod_{i=1}^h p_i=\prod_{i=1}^k q_i.</math> | |||
उदाहरण के लिए, यदि <math>n=75600=2^4\cdot 3^3\cdot 5^2\cdot 7,</math> तो 1 के पास <math>q_1=7,\; q_2=5,\;q_3=3,\;q_4=2.</math> है। वर्ग-रहित भाग {{math|7}} है, वर्ग-मुक्त गुणनखंड ऐसा है कि भागफल एक वर्ग है {{math|1=3 ⋅ 7 = 21}} है, और सबसे बड़ा वर्ग-मुक्त गुणनखंड {{math|1=2 ⋅ 3 ⋅ 5 ⋅ 7 = 210}} है। | |||
इनमें से किसी भी वर्ग-मुक्त कारक की गणना करने के लिए कोई एल्गोरिथ्म ज्ञात नहीं है जो पूर्ण अभाज्य गुणनखंड की गणना करने से तेज़ हो। विशेष रूप से, किसी पूर्णांक के वर्ग-मुक्त भाग की गणना करने के लिए, या यहां तक कि यह निर्धारित करने के लिए कि कोई पूर्णांक वर्ग-मुक्त है या नहीं, कोई ज्ञात बहुपद-समय एल्गोरिथ्म नहीं है।<ref>{{cite conference | |||
| last1 = Adleman | first1 = Leonard M. | | last1 = Adleman | first1 = Leonard M. | ||
| last2 = McCurley | first2 = Kevin S. | | last2 = McCurley | first2 = Kevin S. | ||
| Line 48: | Line 54: | ||
| title = Algorithmic Number Theory, First International Symposium, ANTS-I, Ithaca, NY, USA, May 6–9, 1994, Proceedings | | title = Algorithmic Number Theory, First International Symposium, ANTS-I, Ithaca, NY, USA, May 6–9, 1994, Proceedings | ||
| volume = 877 | | volume = 877 | ||
| year = 1994}}</ref> इसके विपरीत, बहुपद-समय एल्गोरिदम को | | year = 1994}}</ref> इसके विपरीत, बहुपद-समय एल्गोरिदम को प्रारंभिक परीक्षण के लिए जाना जाता है।<ref>{{Cite journal|last1=Agrawal|first1=Manindra|last2=Kayal|first2=Neeraj|last3=Saxena|first3=Nitin|date=1 September 2004|title=PRIMES P में है|journal=Annals of Mathematics|language=en-US|volume=160|issue=2|pages=781–793|doi=10.4007/annals.2004.160.781|doi-access=free|issn=0003-486X|mr=2123939|zbl=1071.11070|url=https://www.cse.iitk.ac.in/users/manindra/algebra/primality_original.pdf}}</ref> यह पूर्णांकों के अंकगणित और [[अविभाज्य बहुपद|अविभाज्य]] बहुपदों के अंकगणित के बीच एक बड़ा अंतर है, क्योंकि बहुपद-समय एल्गोरिदम को बहुपदों के वर्ग-मुक्त गुणनखंडन के लिए जाना जाता है (संक्षेप में, एक बहुपद का सबसे बड़ा वर्ग-मुक्त गुणनखंड इसका भागफल है) बहुपद और उसके [[औपचारिक व्युत्पन्न]] के सबसे बड़े सामान्य विभाजक द्वारा)।<ref>{{cite thesis |last=Richards |first=Chelsea |title=परिमित क्षेत्रों पर वर्ग-मुक्त बहुपदों के गुणनखंडन के लिए एल्गोरिदम|type=Master's thesis |publisher=Simon Fraser University |location=Canada |year=2009 |url=http://www.cecm.sfu.ca/CAG/theses/chelsea.pdf}}</ref> | ||
==समतुल्य लक्षण== | ==समतुल्य लक्षण== | ||
धनात्मक पूर्णांक <math>n</math> वर्ग-मुक्त है यदि और केवल तभी जब <math>n</math> के अभाज्य गुणनखंडन में, एक से बड़े घातांक के साथ कोई अभाज्य गुणनखंड नहीं होता है। इसे बताने का दूसरा तरीका यह है कि <math>n</math> के प्रत्येक अभाज्य कारक <math>p</math> के लिए, अभाज्य <math>p</math>, <math>n/p</math> को समान रूप से विभाजित नहीं करता है। इसके अलावा, <math>n</math> वर्ग-मुक्त है यदि और केवल यदि प्रत्येक गुणनखंड <math>n=ab</math> में, गुणनखंड <math>a</math> और <math>b</math> सहअभाज्य हैं। इस परिभाषा का तात्कालिक परिणाम यह है कि सभी अभाज्य संख्याएँ वर्ग-मुक्त हैं। | |||
धनात्मक पूर्णांक <math>n</math> वर्ग-मुक्त होता है यदि और केवल यदि क्रम <math>n</math> के सभी [[एबेलियन समूह]] आइसोमोर्फिक हों, जो कि मामला है यदि और केवल यदि ऐसा कोई समूह चक्रीय है। यह अंतिम रूप से उत्पन्न एबेलियन समूहों के वर्गीकरण से आता है। | |||
पूर्णांक <math>n</math> वर्ग-मुक्त है यदि और केवल तभी जब [[कारक वलय]] <math>\mathbb{Z}/n\mathbb{Z}</math> (मॉड्यूलर अंकगणित देखें) विस्तार का गुणनफल है। यह [[चीनी शेषफल प्रमेय]] और इस तथ्य से अनुसरण करता है कि <math>\mathbb{Z}/k\mathbb{Z}</math> के रूप की वलय विस्तार है यदि और केवल यदि <math>k</math> अभाज्य है। | |||
प्रत्येक | प्रत्येक धनात्मक पूर्णांक के लिए <math>n</math>, के सभी धनात्मक विभाजकों का समुच्चय <math>n</math> यदि हम भाजक को क्रम संबंध के रूप में उपयोग करते हैं तो आंशिक रूप से क्रमित समुच्चय बन जाता है। आंशिक रूप से ऑर्डर किया गया यह समुच्चय हमेशा एक [[वितरणात्मक जाली]] होता है। यह एक [[बूलियन बीजगणित (संरचना)]] है यदि और केवल यदि <math>n</math> वर्ग-मुक्त है। | ||
धनात्मक पूर्णांक <math>n</math> वर्ग-मुक्त है यदि और केवल यदि <math>\mu(n)\ne 0</math>, जहाँ <math>\mu</math> मोबियस फलन को दर्शाता है। | |||
==डिरिचलेट श्रृंखला== | ==डिरिचलेट श्रृंखला== | ||
मोबियस फ़ंक्शन का | मोबियस फ़ंक्शन का निरपेक्ष मान वर्ग-मुक्त पूर्णांकों के लिए संकेतक फ़ंक्शन है अर्थात्, {{math|{{mabs|''μ''(''n'')}}}} यदि {{mvar|n}} वर्ग-मुक्त है, तो 1 के बराबर है, और यदि नहीं है, तो 0 के बराबर है। इस सूचक फलन की [[डिरिचलेट श्रृंखला]] है। | ||
:<math>\sum_{n=1}^{\infty}\frac{|\mu(n)|}{n^{s}} = \frac{\zeta(s)}{\zeta(2s)},</math> | :<math>\sum_{n=1}^{\infty}\frac{|\mu(n)|}{n^{s}} = \frac{\zeta(s)}{\zeta(2s)},</math> | ||
जहाँ {{math|''ζ''(''s'')}} [[रीमैन ज़ेटा फ़ंक्शन|रीमैन ज़ेटा फलन]] है। यह [[यूलर उत्पाद|यूलर गुणनफल]] से अनुसरण करता है। | |||
:<math> \frac{\zeta(s)}{\zeta(2s) } =\prod_p \frac{(1-p^{-2s})}{(1-p^{-s})}=\prod_p (1+p^{-s}), </math> | :<math> \frac{\zeta(s)}{\zeta(2s) } =\prod_p \frac{(1-p^{-2s})}{(1-p^{-s})}=\prod_p (1+p^{-s}), </math> | ||
जहां | जहां गुणनफलों को अभाज्य संख्याओं पर लिया जाता है। | ||
==वितरण== | ==वितरण== | ||
मान | मान लें कि Q(x) 1 और x के बीच वर्ग-मुक्त पूर्णांकों की संख्या को दर्शाता है (ओईआईएस: A013928 सूचकांक को 1 से स्थानांतरित करता है)। बड़े ''n'' के लिए, ''n'' से कम 3/4 धनात्मक पूर्णांक 4 से विभाज्य नहीं हैं, इनमें से 8/9 संख्याएँ 9 से विभाज्य नहीं हैं, इत्यादि। क्योंकि ये अनुपात [[गुणक फलन]] को संतुष्ट करते हैं (यह चीनी शेषफल प्रमेय से अनुसरण करता है), हम सन्निकटन प्राप्त करते हैं: | ||
:<math>\begin{align}Q(x) &\approx x\prod_{p\ \text{prime}} \left(1-\frac{1}{p^2}\right) = x\prod_{p\ \text{prime}} \frac{1}{(1-\frac{1}{p^2})^{-1}}\\ | :<math>\begin{align}Q(x) &\approx x\prod_{p\ \text{prime}} \left(1-\frac{1}{p^2}\right) = x\prod_{p\ \text{prime}} \frac{1}{(1-\frac{1}{p^2})^{-1}}\\ | ||
&\approx x\prod_{p\ \text{prime}} \frac{1}{1+\frac{1}{p^2}+\frac{1}{p^4}+\cdots} = \frac{x}{\sum_{k=1}^\infty \frac{1}{k^2}} = \frac{x}{\zeta(2)} = \frac{6x}{\pi^2}.\end{align}</math> | &\approx x\prod_{p\ \text{prime}} \frac{1}{1+\frac{1}{p^2}+\frac{1}{p^4}+\cdots} = \frac{x}{\sum_{k=1}^\infty \frac{1}{k^2}} = \frac{x}{\zeta(2)} = \frac{6x}{\pi^2}.\end{align}</math> | ||
अनुमान प्राप्त करने के लिए इस तर्क को | अनुमान प्राप्त करने के लिए इस तर्क को अपूर्ण बनाया जा सकता है (बड़े O अंकन का उपयोग करके) | ||
:<math>Q(x) = \frac{6x}{\pi^2} + O\left(\sqrt{x}\right).</math> | :<math>Q(x) = \frac{6x}{\pi^2} + O\left(\sqrt{x}\right).</math> | ||
''प्रमाण का रेखाचित्र:'' ऊपर दिया गया लक्षण वर्णन देता है। | |||
:<math>Q(x)=\sum_{n\leq x} \sum_{d^2\mid n} \mu(d)=\sum_{d\leq x} \mu(d)\sum_{n\leq x, d^2\mid n}1=\sum_{d\leq x} \mu(d)\left\lfloor\frac{x}{d^2}\right\rfloor;</math> | :<math>Q(x)=\sum_{n\leq x} \sum_{d^2\mid n} \mu(d)=\sum_{d\leq x} \mu(d)\sum_{n\leq x, d^2\mid n}1=\sum_{d\leq x} \mu(d)\left\lfloor\frac{x}{d^2}\right\rfloor;</math> | ||
यह देखते हुए कि अंतिम सारांश शून्य है <math>d>\sqrt{x}</math>, इसका परिणाम यह होता | यह देखते हुए कि अंतिम सारांश शून्य है <math>d>\sqrt{x}</math>, इसका परिणाम यह होता है। | ||
:<math>\begin{align}Q(x)&=\sum_{d\leq\sqrt{x}} \mu(d)\left\lfloor\frac{x}{d^2}\right\rfloor | :<math>\begin{align}Q(x)&=\sum_{d\leq\sqrt{x}} \mu(d)\left\lfloor\frac{x}{d^2}\right\rfloor | ||
=\sum_{d\leq\sqrt{x}} \frac{x\mu(d)}{d^2}+O\left(\sum_{d\leq\sqrt{x}} 1\right) | =\sum_{d\leq\sqrt{x}} \frac{x\mu(d)}{d^2}+O\left(\sum_{d\leq\sqrt{x}} 1\right) | ||
| Line 86: | Line 90: | ||
=\frac{x}{\zeta(2)}+O(\sqrt{x}). | =\frac{x}{\zeta(2)}+O(\sqrt{x}). | ||
\end{align}</math> | \end{align}</math> | ||
रीमैन ज़ेटा फ़ंक्शन के सबसे बड़े ज्ञात शून्य-मुक्त क्षेत्र का | रीमैन ज़ेटा फ़ंक्शन के सबसे बड़े ज्ञात शून्य-मुक्त क्षेत्र का उपयोग करके [[अर्नोल्ड वालफिज़]] द्वारा सन्निकटन में सुधार किया गया था।<ref>{{cite book |last1=Walfisz |first1=A. |title=आधुनिक संख्या सिद्धांत में वेइल का घातीय योग|date=1963 |publisher=[[VEB Deutscher Verlag der Wissenschaften]] |location=Berlin}}</ref> | ||
:<math>Q(x) = \frac{6x}{\pi^2} + O\left(x^{1/2}\exp\left(-c\frac{(\log x)^{3/5}}{(\log\log x)^{1/5}}\right)\right),</math> | :<math>Q(x) = \frac{6x}{\pi^2} + O\left(x^{1/2}\exp\left(-c\frac{(\log x)^{3/5}}{(\log\log x)^{1/5}}\right)\right),</math> | ||
कुछ | कुछ धनात्मक स्थिरांक {{math|''c''}} के लिए। | ||
[[रीमैन परिकल्पना]] के तहत, त्रुटि शब्द को कम किया जा सकता | [[रीमैन परिकल्पना]] के तहत, त्रुटि शब्द को कम किया जा सकता है।<ref>Jia, Chao Hua. "The distribution of square-free numbers", ''Science in China Series A: Mathematics'' '''36''':2 (1993), pp. 154–169. Cited in Pappalardi 2003, [http://www.mat.uniroma3.it/users/pappa/papers/allahabad2003.pdf A Survey on ''k''-freeness]; also see Kaneenika Sinha, "[http://www.math.ualberta.ca/~kansinha/maxnrevfinal.pdf Average orders of certain arithmetical functions]", ''Journal of the Ramanujan Mathematical Society'' '''21''':3 (2006), pp. 267–277.</ref> | ||
:<math>Q(x) = \frac{x}{\zeta(2)} + O\left(x^{17/54+\varepsilon}\right) = \frac{6}{\pi^2}x + O\left(x^{17/54+\varepsilon}\right).</math> | :<math>Q(x) = \frac{x}{\zeta(2)} + O\left(x^{17/54+\varepsilon}\right) = \frac{6}{\pi^2}x + O\left(x^{17/54+\varepsilon}\right).</math> | ||
हाल ही में (2015) त्रुटि शब्द को और भी कम कर दिया गया | हाल ही में (2015) त्रुटि शब्द को और भी कम कर दिया गया है।<ref>{{cite journal |last1=Liu |first1=H.-Q. |title=वर्गमुक्त संख्याओं के वितरण पर|journal=Journal of Number Theory |date=2016 |volume=159 |pages=202–222|doi=10.1016/j.jnt.2015.07.013 |doi-access=free }}</ref> | ||
:<math>Q(x) = \frac{6}{\pi^2}x + O\left(x^{11/35+\varepsilon}\right).</math> | :<math>Q(x) = \frac{6}{\pi^2}x + O\left(x^{11/35+\varepsilon}\right).</math> | ||
इसलिए वर्ग-मुक्त संख्याओं का स्पर्शोन्मुख/[[प्राकृतिक घनत्व]] | इसलिए वर्ग-मुक्त संख्याओं का स्पर्शोन्मुख / [[प्राकृतिक घनत्व]] है। | ||
:<math>\lim_{x\to\infty} \frac{Q(x)}{x} = \frac{6}{\pi^2}\approx 0.6079</math> | :<math>\lim_{x\to\infty} \frac{Q(x)}{x} = \frac{6}{\pi^2}\approx 0.6079</math> | ||
इसलिए 3/5 से अधिक पूर्णांक वर्ग-मुक्त हैं। | इसलिए 3/5 से अधिक पूर्णांक वर्ग-मुक्त हैं। | ||
इसी तरह, यदि Q(x,n) 1 और x के बीच n-मुक्त पूर्णांकों की संख्या को दर्शाता है (उदाहरण के लिए 3-मुक्त पूर्णांक घन-मुक्त पूर्णांक हैं), तो कोई | इसी तरह, यदि Q(x,n) 1 और x के बीच n-मुक्त पूर्णांकों की संख्या को दर्शाता है (उदाहरण के लिए 3-मुक्त पूर्णांक घन-मुक्त पूर्णांक हैं), तो कोई प्रदर्शित कर सकता है: <ref>{{cite journal | first1 = E. H. | last1 = Linfoot | author-link1 = Edward Linfoot | first2 = C. J. A. | last2 = Evelyn | title = संख्याओं के योगात्मक सिद्धांत में एक समस्या पर| journal = Mathematische Zeitschrift | date = 1929 | volume = 30 | pages = 443–448 | doi = 10.1007/BF01187781 | s2cid = 120604049 | url = https://gdz.sub.uni-goettingen.de/id/PPN266833020_0030?tify={%22pages%22:[437],%22view%22:%22info%22} }}</ref> | ||
:<math>Q(x,n) = \frac{x}{\sum_{k=1}^\infty \frac{1}{k^n}} + O\left(\sqrt[n]{x}\right) = \frac{x}{\zeta(n)} + O\left(\sqrt[n]{x}\right).</math> | :<math>Q(x,n) = \frac{x}{\sum_{k=1}^\infty \frac{1}{k^n}} + O\left(\sqrt[n]{x}\right) = \frac{x}{\zeta(n)} + O\left(\sqrt[n]{x}\right).</math> | ||
चूँकि 4 के गुणज का वर्ग गुणनखंड 4=2 | चूँकि 4 के गुणज का वर्ग गुणनखंड 4=2<sup>2</sup> होना चाहिए, इसलिए ऐसा नहीं हो सकता कि चार लगातार पूर्णांक सभी वर्ग-मुक्त हों। दूसरी ओर, अनंत संख्या में पूर्णांक ''n'' उपस्थित हैं जिनके लिए 4''n'' +1, 4''n'' +2, 4''n'' +3 सभी वर्ग-मुक्त हैं। अन्यथा, यह देखते हुए कि 4''n'' और 4''n'' +1, 4''n'' +2, 4''n'' +3 में से कम से कम एक चार पर्याप्त रूप से बड़े ''n'' के लिए गैर-वर्ग-मुक्त हो सकते हैं, सभी धनात्मक पूर्णांकों का आधा भाग घटाकर परिमित पूर्णांकों को गैर-वर्ग-मुक्त होना चाहिए और इसलिए: | ||
:<math>Q(x) \leq \frac{x}{2}+C</math> कुछ स्थिरांक C के लिए, | :<math>Q(x) \leq \frac{x}{2}+C</math> कुछ स्थिरांक C के लिए, | ||
उपरोक्त स्पर्शोन्मुख अनुमान | उपरोक्त स्पर्शोन्मुख अनुमान <math>Q(x)</math> के विपरीत . | ||
एकपक्षीय लंबाई के लगातार गैर-वर्ग-मुक्त पूर्णांकों के अनुक्रम उपस्थित हैं। वास्तव में, यदि n एक समकालिक सर्वांगसमता को संतुष्ट करता है। | |||
:<math>n\equiv -i\pmod{p_i^2} \qquad (i=1, 2, \ldots, l)</math> | :<math>n\equiv -i\pmod{p_i^2} \qquad (i=1, 2, \ldots, l)</math> | ||
अलग-अलग अभाज्य संख्याओं के लिए <math>p_1, p_2, \ldots, p_l</math>, फिर प्रत्येक <math>n+i</math> p | अलग-अलग अभाज्य संख्याओं के लिए <math>p_1, p_2, \ldots, p_l</math>, फिर प्रत्येक <math>n+i</math> ''p<sub>i</sub>'' <sup>2</sup> से विभाज्य है।<ref>{{cite book | last1= Parent | first1=D. P. |title=संख्या सिद्धांत में अभ्यास| publisher=[[Springer-Verlag]] New York | isbn=978-1-4757-5194-9 | url=https://www.springer.com/book/9780387960630 | doi=10.1007/978-1-4757-5194-9 | year=1984| series=Problem Books in Mathematics }}</ref> दूसरी ओर, उपर्युक्त अनुमान <math>Q(x) = 6x/\pi^2 + O\left(\sqrt{x}\right)</math> का तात्पर्य यह है कि, कुछ स्थिरांक c के लिए, x और धनात्मक x के लिए <math>x+c\sqrt{x}</math> के बीच हमेशा एक वर्ग-मुक्त पूर्णांक उपस्थित होता है। इसके अलावा, एक प्राथमिक तर्क हमें <math>x+c\sqrt{x}</math> को <math>x+cx^{1/5}\log x.</math><ref>{{cite journal | ||
| last1 = Filaseta | first1 = Michael | | last1 = Filaseta | first1 = Michael | ||
| last2 = Trifonov | first2 = Ognian | | last2 = Trifonov | first2 = Ognian | ||
| Line 118: | Line 123: | ||
| title = On gaps between squarefree numbers. II | | title = On gaps between squarefree numbers. II | ||
| volume = 45 | | volume = 45 | ||
| year = 1992}}</ref> | | year = 1992}}</ref> से प्रतिस्थापित करने की अनुमति देता है। ABC अनुमान <math>x+x^{o(1)}</math> की अनुमति देगा। | ||
===Q(x) की तालिका, {{Sfrac|6|π<sup>2</sup>}}x, और R(x) === | ===Q(x) की तालिका, {{Sfrac|6|π<sup>2</sup>}}x, और R(x) === | ||
तालिका दिखाती है कि कैसे <math> Q(x)</math> और <math>\frac{6}{\pi^2}x</math> 10 की घात पर तुलना करें। | तालिका दिखाती है कि कैसे <math> Q(x)</math> और <math>\frac{6}{\pi^2}x</math> 10 की घात पर तुलना करें। | ||
<math> R(x) = Q(x) -\frac{6}{\pi^2}x </math> , | <math> R(x) = Q(x) -\frac{6}{\pi^2}x </math> , <math> \Delta(x) </math> के रूप में भी दर्शाया गया है । | ||
:{| class="wikitable" style="text-align: right" | :{| class="wikitable" style="text-align: right" | ||
| Line 209: | Line 212: | ||
|- | |- | ||
|} | |} | ||
<math> | जैसे-जैसे <math> x </math> अनंत की ओर बढ़ता है, <math> R(x) </math> अपना चिह्न अनंत बार बदलता है।<ref>{{cite journal |last1=Minoru |first1=Tanaka |title=वर्गमुक्त संख्याओं के वितरण से संबंधित प्रयोग|journal=Proceedings of the Japan Academy, Series A, Mathematical Sciences |year=1979 |volume=55 |issue=3 |doi=10.3792/pjaa.55.101 |s2cid=121862978 |url=https://projecteuclid.org/euclid.pja/1195517398|doi-access=free }}</ref> | ||
<math> R(x) </math>का निरपेक्ष मान <math> x </math> की तुलना में आश्चर्यजनक रूप से अल्प है। | |||
==बाइनरी संख्याओं के रूप में एन्कोडिंग== | ==बाइनरी संख्याओं के रूप में एन्कोडिंग== | ||
| Line 219: | Line 223: | ||
:<math>\sum_{n=0}^\infty {a_n}\cdot 2^n .</math> | :<math>\sum_{n=0}^\infty {a_n}\cdot 2^n .</math> | ||
वर्ग-मुक्त संख्या 42 में गुणनखंडन है {{nowrap|2 × 3 × 7}}, या | वर्ग-मुक्त संख्या 42 में गुणनखंडन है {{nowrap|2 × 3 × 7}}, या अनंत गुणनफल के रूप में {{nowrap|2<sup>1</sup> · 3<sup>1</sup> · 5<sup>0</sup> · 7<sup>1</sup> · 11<sup>0</sup> · 13<sup>0</sup> ···}} इस प्रकार संख्या 42 को बाइनरी अनुक्रम के रूप में एन्कोड किया जा सकता है <code>...001011</code> या 11 दशमलव. (बाइनरी अंक अनंत गुणनफल में क्रम से व्युत्क्रम होते हैं।) | ||
चूंकि प्रत्येक संख्या का अभाज्य गुणनखंडन अद्वितीय है, इसलिए वर्ग-मुक्त पूर्णांकों का प्रत्येक बाइनरी एन्कोडिंग भी अद्वितीय है। | चूंकि प्रत्येक संख्या का अभाज्य गुणनखंडन अद्वितीय है, इसलिए वर्ग-मुक्त पूर्णांकों का प्रत्येक बाइनरी एन्कोडिंग भी अद्वितीय है। | ||
इसका | इसका विपरीत भी सत्य है। चूँकि प्रत्येक धनात्मक पूर्णांक में अद्वितीय द्विआधारी प्रतिनिधित्व होता है, इसलिए इस एन्कोडिंग को उलटना संभव है ताकि उन्हें अद्वितीय वर्ग-मुक्त पूर्णांक में डिकोड किया जा सके। | ||
पुनः, उदाहरण के लिए, यदि हम संख्या 42 से प्रारम्भ करते हैं, इस बार केवल धनात्मक पूर्णांक के रूप में, तो हमारे पास इसका द्विआधारी प्रतिनिधित्व <code>101010</code> है। यह {{nowrap|2<sup>0</sup> · 3<sup>1</sup> · 5<sup>0</sup> · 7<sup>1</sup> · 11<sup>0</sup> · 13<sup>1</sup> {{=}} 3 × 7 × 13 {{=}} 273.}} है। | |||
इस प्रकार वर्गमुक्त संख्याओं की | इस प्रकार वर्गमुक्त संख्याओं की द्विआधारी एन्कोडिंग गैर-ऋणात्मक पूर्णांकों और धनात्मक वर्गमुक्त पूर्णांकों के सेट के बीच आक्षेप का वर्णन करती है। | ||
(पूर्णांक अनुक्रमों के ऑन-लाइन विश्वकोश में अनुक्रम OEIS:A019565, OEIS:A048672 और OEIS:A064273 देखें।) | (पूर्णांक अनुक्रमों के ऑन-लाइन विश्वकोश में अनुक्रम OEIS:A019565, OEIS:A048672 और OEIS:A064273 देखें।) | ||
| Line 235: | Line 239: | ||
: <math>{2n \choose n}</math> | : <math>{2n \choose n}</math> | ||
n > 4 के लिए कभी भी वर्गमुक्त नहीं होता है। | n > 4 के लिए कभी भी वर्गमुक्त नहीं होता है। इसे 1985 में एंड्रास सरकोज़ी द्वारा सभी पर्याप्त बड़े पूर्णांकों के लिए सिद्ध किया गया था,<ref>{{cite journal | ||
| last = Sárközy | first = A. | author-link = András Sárközy | | last = Sárközy | first = A. | author-link = András Sárközy | ||
| doi = 10.1016/0022-314X(85)90017-4 | doi-access=free | | doi = 10.1016/0022-314X(85)90017-4 | doi-access=free | ||
| Line 244: | Line 248: | ||
| title = On divisors of binomial coefficients. I | | title = On divisors of binomial coefficients. I | ||
| volume = 20 | | volume = 20 | ||
| year = 1985}}</ref> और सभी पूर्णांकों के लिए | | year = 1985}}</ref> और सभी पूर्णांकों > 4 के लिए 1996 में ओलिवियर रामरे और [[एंड्रयू ग्रानविले]] द्वारा सिद्ध किया गया था।<ref>{{cite journal | ||
| last1=Ramaré | first1=Olivier | last2=Granville | first2=Andrew | | last1=Ramaré | first1=Olivier | last2=Granville | first2=Andrew | ||
| title=Explicit bounds on exponential sums and the scarcity of squarefree binomial coefficients | | title=Explicit bounds on exponential sums and the scarcity of squarefree binomial coefficients | ||
| Line 253: | Line 257: | ||
| pages=73–107 | | pages=73–107 | ||
| doi=10.1112/S0025579300011608}}</ref> | | doi=10.1112/S0025579300011608}}</ref> | ||
==वर्गा मुक्त कोर== | |||
आइए हम "''t-free''" को धनात्मक पूर्णांक कहें जिसके विभाजक में कोई t घात न हो। विशेष रूप से, 2-मुक्त पूर्णांक वर्ग-मुक्त पूर्णांक हैं। | |||
गुणक फलन <math>\mathrm{core}_t(n)</math> प्रत्येक धनात्मक पूर्णांक n को उसके सबसे बड़े भाजक द्वारा n के भागफल में मैप करता है जो कि t घात है। वह है, | |||
: <math>\mathrm{core}_t(p^e) = p^{e\bmod t}.</math> | |||
पूर्णांक <math>\mathrm{core}_t(n)</math> ''t''-free है, और प्रत्येक टी-मुक्त पूर्णांक को फलन <math>\mathrm{core}_t.</math>द्वारा स्वयं मैप किया जाता है। | |||
अनुक्रम का [[डिरिचलेट जनरेटिंग फ़ंक्शन|डिरिचलेट जनरेटिंग फलन]] <math>\left(\mathrm{core}_t(n) \right)_{n\in \N}</math> है। | |||
अनुक्रम का [[डिरिचलेट जनरेटिंग फ़ंक्शन]] <math>\left(\mathrm{core}_t(n) \right)_{n\in \N}</math> | |||
: <math>\sum_{n\ge 1}\frac{\mathrm{core}_t(n)}{n^s} | : <math>\sum_{n\ge 1}\frac{\mathrm{core}_t(n)}{n^s} | ||
= \frac{\zeta(ts)\zeta(s-1)}{\zeta(ts-t)}</math>. | = \frac{\zeta(ts)\zeta(s-1)}{\zeta(ts-t)}</math>. | ||
यह | == यह भी देखें == | ||
{{OEIS2C|A007913}} (''t''=2), {{OEIS2C|A050985}} (''t''=3) और {{OEIS2C|A053165}} ((''t''=4) | |||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
<references/> | <references/> | ||
== संदर्भ == | == संदर्भ == | ||
*{{cite book | last1=Shapiro | first1=Harold N. |title=Introduction to the theory of numbers | publisher=[[Oxford University Press]] Dover Publications | isbn=978-0-486-46669-9 | year=1983}} | *{{cite book | last1=Shapiro | first1=Harold N. |title=Introduction to the theory of numbers | publisher=[[Oxford University Press]] Dover Publications | isbn=978-0-486-46669-9 | year=1983}} | ||
| Line 290: | Line 292: | ||
{{Use dmy dates|date=September 2019}} | {{Use dmy dates|date=September 2019}} | ||
{{DEFAULTSORT:Square-Free Integer}} | {{DEFAULTSORT:Square-Free Integer}} | ||
[[Category: | [[Category:CS1 English-language sources (en)]] | ||
[[Category:Created On 23/06/2023]] | [[Category:Collapse templates|Square-Free Integer]] | ||
[[Category:Created On 23/06/2023|Square-Free Integer]] | |||
[[Category:Lua-based templates|Square-Free Integer]] | |||
[[Category:Machine Translated Page|Square-Free Integer]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists|Square-Free Integer]] | |||
[[Category:Pages with script errors|Square-Free Integer]] | |||
[[Category:Sidebars with styles needing conversion|Square-Free Integer]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi|Square-Free Integer]] | |||
[[Category:Templates Vigyan Ready|Square-Free Integer]] | |||
[[Category:Templates generating microformats|Square-Free Integer]] | |||
[[Category:Templates that add a tracking category|Square-Free Integer]] | |||
[[Category:Templates that are not mobile friendly|Square-Free Integer]] | |||
[[Category:Templates that generate short descriptions|Square-Free Integer]] | |||
[[Category:Templates using TemplateData|Square-Free Integer]] | |||
[[Category:Use dmy dates from September 2019|Square-Free Integer]] | |||
[[Category:Wikipedia metatemplates|Square-Free Integer]] | |||
[[Category:पूर्णांक क्रम|Square-Free Integer]] | |||
[[Category:संख्या सिद्धांत|Square-Free Integer]] | |||
Latest revision as of 21:35, 11 July 2023
गणित में, एक वर्ग-मुक्त पूर्णांक (या वर्गमुक्त पूर्णांक) पूर्णांक होता है जो 1 के अलावा किसी भी वर्ग संख्या से विभाज्य नहीं होता है। यानी, इसके अभाज्य गुणनखंड में इसमें दिखाई देने वाले प्रत्येक अभाज्य के लिए बिल्कुल एक कारक होता है। उदाहरण के लिए, 10 = 2 ⋅ 5 वर्ग-मुक्त है, लेकिन 18 = 2 ⋅ 3 ⋅ 3 नहीं है, क्योंकि 18, 9 = 32 से विभाज्य है। सबसे छोटी धनात्मक वर्ग-मुक्त संख्याएँ हैं
1, 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, 17, 19, 21, 22, 23, 26, 29, 30, 31, 33, 34, 35, 37, 38, 39, ...(ओईआईएस में अनुक्रम A005117)
वर्ग-मुक्त गुणनखंडन
प्रत्येक धनात्मक पूर्णांक को एक अद्वितीय विधि से गुणनखंडित किया जा सकता है
जहां एक से भिन्न वर्ग-मुक्त पूर्णांक होते हैं जो युग्मानूसार सहअभाज्य होते हैं। इसे n का वर्ग-मुक्त गुणनखंडन कहा जाता है।
वर्ग-मुक्त गुणनखण्ड बनाने के लिए, आइए
पूर्णांकों के वर्ग-मुक्त गुणनखंडन का उपयोग इस तथ्य से सीमित है कि इसकी गणना अभाज्य गुणनखंडन की गणना जितनी ही कठिन है। अधिक सटीक रूप से, वर्ग-मुक्त गुणनखंड की गणना के लिए प्रत्येक ज्ञात कलन विधि अभाज्य गुणनखंड की भी गणना करता है। यह बहुपदों के स्तिथि में एक उल्लेखनीय अंतर है जिसके लिए समान परिभाषाएँ दी जा सकती हैं, लेकिन, इस स्तिथि में, पूर्ण गुणनखंड की तुलना में वर्ग-मुक्त गुणनखंड की गणना करना न केवल आसान है, लेकिन यह सभी मानक गुणनखंडन एल्गोरिदम का पहला चरण है।
पूर्णांकों के वर्ग-मुक्त गुणनखंड
किसी पूर्णांक का मूलांक उसका सबसे बड़ा वर्ग-मुक्त गुणनखंड होता है, अर्थात पूर्ववर्ती खंड के अंकन के साथ। पूर्णांक वर्ग-मुक्त होता है यदि और केवल तभी जब वह उसके मूलांक के बराबर हो।
प्रत्येक धनात्मक पूर्णांक को अद्वितीय विधि से एक घातीय संख्या के गुणन के रूप में दर्शाया जा सकता है (यह एक ऐसा पूर्णांक है जो प्रत्येक अभाज्य गुणनखंड के वर्ग से विभाज्य है) और वर्ग-मुक्त पूर्णांक, जो सहअभाज्य हैं। इस गुणनखंड में, वर्ग-मुक्त गुणनखंड है और घातीय संख्या है।
का वर्ग-मुक्त भाग है, जो सबसे बड़ा वर्ग-मुक्त भाजक है का , जो कि के साथ सहअभाज्य है। किसी पूर्णांक का वर्ग-मुक्त भाग सबसे बड़े वर्ग-मुक्त विभाजक से अल्प हो सकता है, जो कि है।
किसी भी याच्छिक रूप से धनात्मक पूर्णांक को एक वर्ग और वर्ग-मुक्त पूर्णांक के गुणनफल के रूप में अद्वितीय विधि से दर्शाया जा सकता है:
इस गुणनखंडन में, , का सबसे बड़ा भाजक है, इस प्रकार कि , का भाजक है।
संक्षेप में, तीन वर्ग-मुक्त कारक हैं जो स्वाभाविक रूप से हर पूर्णांक के साथ जुड़े होते हैं: वर्ग-मुक्त भाग, उपरोक्त कारक , और सबसे बड़ा वर्ग-मुक्त कारक। प्रत्येक अगले का एक गुणनखंड है। सभी को अभाज्य गुणनखंडन या वर्ग-मुक्त गुणनखंडन से आसानी से घटाया जाता है। यदि
का अभाज्य गुणनखंडन और वर्ग-मुक्त गुणनखंडन हैं, जहां अलग-अलग अभाज्य संख्याएं हैं, तो वर्ग-मुक्त भाग है।
वर्ग-मुक्त कारक जैसे भागफल एक वर्ग है
इनमें से किसी भी वर्ग-मुक्त कारक की गणना करने के लिए कोई एल्गोरिथ्म ज्ञात नहीं है जो पूर्ण अभाज्य गुणनखंड की गणना करने से तेज़ हो। विशेष रूप से, किसी पूर्णांक के वर्ग-मुक्त भाग की गणना करने के लिए, या यहां तक कि यह निर्धारित करने के लिए कि कोई पूर्णांक वर्ग-मुक्त है या नहीं, कोई ज्ञात बहुपद-समय एल्गोरिथ्म नहीं है।[1] इसके विपरीत, बहुपद-समय एल्गोरिदम को प्रारंभिक परीक्षण के लिए जाना जाता है।[2] यह पूर्णांकों के अंकगणित और अविभाज्य बहुपदों के अंकगणित के बीच एक बड़ा अंतर है, क्योंकि बहुपद-समय एल्गोरिदम को बहुपदों के वर्ग-मुक्त गुणनखंडन के लिए जाना जाता है (संक्षेप में, एक बहुपद का सबसे बड़ा वर्ग-मुक्त गुणनखंड इसका भागफल है) बहुपद और उसके औपचारिक व्युत्पन्न के सबसे बड़े सामान्य विभाजक द्वारा)।[3]
समतुल्य लक्षण
धनात्मक पूर्णांक वर्ग-मुक्त है यदि और केवल तभी जब के अभाज्य गुणनखंडन में, एक से बड़े घातांक के साथ कोई अभाज्य गुणनखंड नहीं होता है। इसे बताने का दूसरा तरीका यह है कि के प्रत्येक अभाज्य कारक के लिए, अभाज्य , को समान रूप से विभाजित नहीं करता है। इसके अलावा, वर्ग-मुक्त है यदि और केवल यदि प्रत्येक गुणनखंड में, गुणनखंड और सहअभाज्य हैं। इस परिभाषा का तात्कालिक परिणाम यह है कि सभी अभाज्य संख्याएँ वर्ग-मुक्त हैं।
धनात्मक पूर्णांक वर्ग-मुक्त होता है यदि और केवल यदि क्रम के सभी एबेलियन समूह आइसोमोर्फिक हों, जो कि मामला है यदि और केवल यदि ऐसा कोई समूह चक्रीय है। यह अंतिम रूप से उत्पन्न एबेलियन समूहों के वर्गीकरण से आता है।
पूर्णांक वर्ग-मुक्त है यदि और केवल तभी जब कारक वलय (मॉड्यूलर अंकगणित देखें) विस्तार का गुणनफल है। यह चीनी शेषफल प्रमेय और इस तथ्य से अनुसरण करता है कि के रूप की वलय विस्तार है यदि और केवल यदि अभाज्य है।
प्रत्येक धनात्मक पूर्णांक के लिए , के सभी धनात्मक विभाजकों का समुच्चय यदि हम भाजक को क्रम संबंध के रूप में उपयोग करते हैं तो आंशिक रूप से क्रमित समुच्चय बन जाता है। आंशिक रूप से ऑर्डर किया गया यह समुच्चय हमेशा एक वितरणात्मक जाली होता है। यह एक बूलियन बीजगणित (संरचना) है यदि और केवल यदि वर्ग-मुक्त है।
धनात्मक पूर्णांक वर्ग-मुक्त है यदि और केवल यदि , जहाँ मोबियस फलन को दर्शाता है।
डिरिचलेट श्रृंखला
मोबियस फ़ंक्शन का निरपेक्ष मान वर्ग-मुक्त पूर्णांकों के लिए संकेतक फ़ंक्शन है अर्थात्, |μ(n)| यदि n वर्ग-मुक्त है, तो 1 के बराबर है, और यदि नहीं है, तो 0 के बराबर है। इस सूचक फलन की डिरिचलेट श्रृंखला है।
जहाँ ζ(s) रीमैन ज़ेटा फलन है। यह यूलर गुणनफल से अनुसरण करता है।
जहां गुणनफलों को अभाज्य संख्याओं पर लिया जाता है।
वितरण
मान लें कि Q(x) 1 और x के बीच वर्ग-मुक्त पूर्णांकों की संख्या को दर्शाता है (ओईआईएस: A013928 सूचकांक को 1 से स्थानांतरित करता है)। बड़े n के लिए, n से कम 3/4 धनात्मक पूर्णांक 4 से विभाज्य नहीं हैं, इनमें से 8/9 संख्याएँ 9 से विभाज्य नहीं हैं, इत्यादि। क्योंकि ये अनुपात गुणक फलन को संतुष्ट करते हैं (यह चीनी शेषफल प्रमेय से अनुसरण करता है), हम सन्निकटन प्राप्त करते हैं:
अनुमान प्राप्त करने के लिए इस तर्क को अपूर्ण बनाया जा सकता है (बड़े O अंकन का उपयोग करके)
प्रमाण का रेखाचित्र: ऊपर दिया गया लक्षण वर्णन देता है।
यह देखते हुए कि अंतिम सारांश शून्य है , इसका परिणाम यह होता है।
रीमैन ज़ेटा फ़ंक्शन के सबसे बड़े ज्ञात शून्य-मुक्त क्षेत्र का उपयोग करके अर्नोल्ड वालफिज़ द्वारा सन्निकटन में सुधार किया गया था।[4]
कुछ धनात्मक स्थिरांक c के लिए।
रीमैन परिकल्पना के तहत, त्रुटि शब्द को कम किया जा सकता है।[5]
हाल ही में (2015) त्रुटि शब्द को और भी कम कर दिया गया है।[6]
इसलिए वर्ग-मुक्त संख्याओं का स्पर्शोन्मुख / प्राकृतिक घनत्व है।
इसलिए 3/5 से अधिक पूर्णांक वर्ग-मुक्त हैं।
इसी तरह, यदि Q(x,n) 1 और x के बीच n-मुक्त पूर्णांकों की संख्या को दर्शाता है (उदाहरण के लिए 3-मुक्त पूर्णांक घन-मुक्त पूर्णांक हैं), तो कोई प्रदर्शित कर सकता है: [7]
चूँकि 4 के गुणज का वर्ग गुणनखंड 4=22 होना चाहिए, इसलिए ऐसा नहीं हो सकता कि चार लगातार पूर्णांक सभी वर्ग-मुक्त हों। दूसरी ओर, अनंत संख्या में पूर्णांक n उपस्थित हैं जिनके लिए 4n +1, 4n +2, 4n +3 सभी वर्ग-मुक्त हैं। अन्यथा, यह देखते हुए कि 4n और 4n +1, 4n +2, 4n +3 में से कम से कम एक चार पर्याप्त रूप से बड़े n के लिए गैर-वर्ग-मुक्त हो सकते हैं, सभी धनात्मक पूर्णांकों का आधा भाग घटाकर परिमित पूर्णांकों को गैर-वर्ग-मुक्त होना चाहिए और इसलिए:
- कुछ स्थिरांक C के लिए,
उपरोक्त स्पर्शोन्मुख अनुमान के विपरीत .
एकपक्षीय लंबाई के लगातार गैर-वर्ग-मुक्त पूर्णांकों के अनुक्रम उपस्थित हैं। वास्तव में, यदि n एक समकालिक सर्वांगसमता को संतुष्ट करता है।
अलग-अलग अभाज्य संख्याओं के लिए , फिर प्रत्येक pi 2 से विभाज्य है।[8] दूसरी ओर, उपर्युक्त अनुमान का तात्पर्य यह है कि, कुछ स्थिरांक c के लिए, x और धनात्मक x के लिए के बीच हमेशा एक वर्ग-मुक्त पूर्णांक उपस्थित होता है। इसके अलावा, एक प्राथमिक तर्क हमें को [9] से प्रतिस्थापित करने की अनुमति देता है। ABC अनुमान की अनुमति देगा।
Q(x) की तालिका, 6/π2x, और R(x)
तालिका दिखाती है कि कैसे और 10 की घात पर तुलना करें।
, के रूप में भी दर्शाया गया है ।
10 7 6.1 0.9 102 61 60.8 0.2 103 608 607.9 0.1 104 6,083 6,079.3 3.7 105 60,794 60,792.7 1.3 106 607,926 607,927.1 - 1.3 107 6,079,291 6,079,271.0 20.0 108 60,792,694 60,792,710.2 - 16.2 109 607,927,124 607,927,101.9 22.1 1010 6,079,270,942 6,079,271,018.5 - 76.5 1011 60,792,710,280 60,792,710,185.4 94.6 1012 607,927,102,274 607,927,101,854.0 420.0 1013 6,079,271,018,294 6,079,271,018,540.3 - 246.3 1014 60,792,710,185,947 60,792,710,185,402.7 544.3 1015 607,927,101,854,103 607,927,101,854,027.0 76.0
जैसे-जैसे अनंत की ओर बढ़ता है, अपना चिह्न अनंत बार बदलता है।[10]
का निरपेक्ष मान की तुलना में आश्चर्यजनक रूप से अल्प है।
बाइनरी संख्याओं के रूप में एन्कोडिंग
यदि हम एक वर्ग-मुक्त संख्या को अनंत गुणनफल के रूप में निरूपित करते हैं
तो हम उन्हें ले सकते हैं और उन्हें एन्कोडिंग के साथ बाइनरी संख्या में बिट्स के रूप में उपयोग करें
वर्ग-मुक्त संख्या 42 में गुणनखंडन है 2 × 3 × 7, या अनंत गुणनफल के रूप में 21 · 31 · 50 · 71 · 110 · 130 ··· इस प्रकार संख्या 42 को बाइनरी अनुक्रम के रूप में एन्कोड किया जा सकता है ...001011 या 11 दशमलव. (बाइनरी अंक अनंत गुणनफल में क्रम से व्युत्क्रम होते हैं।)
चूंकि प्रत्येक संख्या का अभाज्य गुणनखंडन अद्वितीय है, इसलिए वर्ग-मुक्त पूर्णांकों का प्रत्येक बाइनरी एन्कोडिंग भी अद्वितीय है।
इसका विपरीत भी सत्य है। चूँकि प्रत्येक धनात्मक पूर्णांक में अद्वितीय द्विआधारी प्रतिनिधित्व होता है, इसलिए इस एन्कोडिंग को उलटना संभव है ताकि उन्हें अद्वितीय वर्ग-मुक्त पूर्णांक में डिकोड किया जा सके।
पुनः, उदाहरण के लिए, यदि हम संख्या 42 से प्रारम्भ करते हैं, इस बार केवल धनात्मक पूर्णांक के रूप में, तो हमारे पास इसका द्विआधारी प्रतिनिधित्व 101010 है। यह 20 · 31 · 50 · 71 · 110 · 131 = 3 × 7 × 13 = 273. है।
इस प्रकार वर्गमुक्त संख्याओं की द्विआधारी एन्कोडिंग गैर-ऋणात्मक पूर्णांकों और धनात्मक वर्गमुक्त पूर्णांकों के सेट के बीच आक्षेप का वर्णन करती है।
(पूर्णांक अनुक्रमों के ऑन-लाइन विश्वकोश में अनुक्रम OEIS:A019565, OEIS:A048672 और OEIS:A064273 देखें।)
एर्डो का वर्गमुक्त अनुमान
n > 4 के लिए कभी भी वर्गमुक्त नहीं होता है। इसे 1985 में एंड्रास सरकोज़ी द्वारा सभी पर्याप्त बड़े पूर्णांकों के लिए सिद्ध किया गया था,[11] और सभी पूर्णांकों > 4 के लिए 1996 में ओलिवियर रामरे और एंड्रयू ग्रानविले द्वारा सिद्ध किया गया था।[12]
वर्गा मुक्त कोर
आइए हम "t-free" को धनात्मक पूर्णांक कहें जिसके विभाजक में कोई t घात न हो। विशेष रूप से, 2-मुक्त पूर्णांक वर्ग-मुक्त पूर्णांक हैं।
गुणक फलन प्रत्येक धनात्मक पूर्णांक n को उसके सबसे बड़े भाजक द्वारा n के भागफल में मैप करता है जो कि t घात है। वह है,
पूर्णांक t-free है, और प्रत्येक टी-मुक्त पूर्णांक को फलन द्वारा स्वयं मैप किया जाता है।
अनुक्रम का डिरिचलेट जनरेटिंग फलन है।
- .
यह भी देखें
OEIS: A007913 (t=2), OEIS: A050985 (t=3) और OEIS: A053165 ((t=4)
टिप्पणियाँ
- ↑ Adleman, Leonard M.; McCurley, Kevin S. (1994). "Open problems in number theoretic complexity, II". In Adleman, Leonard M.; Huang, Ming-Deh A. (eds.). Algorithmic Number Theory, First International Symposium, ANTS-I, Ithaca, NY, USA, May 6–9, 1994, Proceedings. Lecture Notes in Computer Science. Vol. 877. Springer. pp. 291–322. doi:10.1007/3-540-58691-1_70.
- ↑ Agrawal, Manindra; Kayal, Neeraj; Saxena, Nitin (1 September 2004). "PRIMES P में है" (PDF). Annals of Mathematics (in English). 160 (2): 781–793. doi:10.4007/annals.2004.160.781. ISSN 0003-486X. MR 2123939. Zbl 1071.11070.
- ↑ Richards, Chelsea (2009). परिमित क्षेत्रों पर वर्ग-मुक्त बहुपदों के गुणनखंडन के लिए एल्गोरिदम (PDF) (Master's thesis). Canada: Simon Fraser University.
- ↑ Walfisz, A. (1963). आधुनिक संख्या सिद्धांत में वेइल का घातीय योग. Berlin: VEB Deutscher Verlag der Wissenschaften.
- ↑ Jia, Chao Hua. "The distribution of square-free numbers", Science in China Series A: Mathematics 36:2 (1993), pp. 154–169. Cited in Pappalardi 2003, A Survey on k-freeness; also see Kaneenika Sinha, "Average orders of certain arithmetical functions", Journal of the Ramanujan Mathematical Society 21:3 (2006), pp. 267–277.
- ↑ Liu, H.-Q. (2016). "वर्गमुक्त संख्याओं के वितरण पर". Journal of Number Theory. 159: 202–222. doi:10.1016/j.jnt.2015.07.013.
- ↑ Linfoot, E. H.; Evelyn, C. J. A. (1929). "संख्याओं के योगात्मक सिद्धांत में एक समस्या पर". Mathematische Zeitschrift. 30: 443–448. doi:10.1007/BF01187781. S2CID 120604049.
- ↑ Parent, D. P. (1984). संख्या सिद्धांत में अभ्यास. Problem Books in Mathematics. Springer-Verlag New York. doi:10.1007/978-1-4757-5194-9. ISBN 978-1-4757-5194-9.
- ↑ Filaseta, Michael; Trifonov, Ognian (1992). "On gaps between squarefree numbers. II". Journal of the London Mathematical Society. Second Series. 45 (2): 215–221. doi:10.1112/jlms/s2-45.2.215. MR 1171549.
- ↑ Minoru, Tanaka (1979). "वर्गमुक्त संख्याओं के वितरण से संबंधित प्रयोग". Proceedings of the Japan Academy, Series A, Mathematical Sciences. 55 (3). doi:10.3792/pjaa.55.101. S2CID 121862978.
- ↑ Sárközy, A. (1985). "On divisors of binomial coefficients. I". Journal of Number Theory. 20 (1): 70–80. doi:10.1016/0022-314X(85)90017-4. MR 0777971.
- ↑ Ramaré, Olivier; Granville, Andrew (1996). "Explicit bounds on exponential sums and the scarcity of squarefree binomial coefficients". Mathematika. 43 (1): 73–107. doi:10.1112/S0025579300011608.
संदर्भ
- Shapiro, Harold N. (1983). Introduction to the theory of numbers. Oxford University Press Dover Publications. ISBN 978-0-486-46669-9.
- Granville, Andrew; Ramaré, Olivier (1996). "Explicit bounds on exponential sums and the scarcity of squarefree binomial coefficients". Mathematika. 43: 73–107. CiteSeerX 10.1.1.55.8. doi:10.1112/S0025579300011608. MR 1401709. Zbl 0868.11009.
- Guy, Richard K. (2004). Unsolved problems in number theory (3rd ed.). Springer-Verlag. ISBN 978-0-387-20860-2. Zbl 1058.11001.
- "OEIS Wiki". Retrieved 24 September 2021.