आपतन बीजगणित (इन्सिडेन्स अलजेब्रा): Difference between revisions
No edit summary |
No edit summary |
||
Line 6: | Line 6: | ||
परिमित होता है। | परिमित होता है। | ||
घटना बीजगणित के सदस्य [[फ़ंक्शन (गणित)]] s ''f'' हैं जो प्रत्येक [[खाली सेट| | घटना बीजगणित के सदस्य [[फ़ंक्शन (गणित)|फलन (गणित)]] s ''f'' हैं जो प्रत्येक [[खाली सेट|रिक्त समुच्चय]] अंतराल [''a, b''] को अदिश ''f''(''a'', ''b) निर्दिष्ट करते हैं ''), जो ''अदिश के वलय (गणित)'' से लिया गया है, जो एकता के साथ क्रमविनिमेय वलय है। इस अंतर्निहित समुच्चय पर कोई योग और अदिश गुणन को बिंदुवार परिभाषित करता है, और घटना बीजगणित में गुणन | ||
:<math>(f*g)(a, b)=\sum_{a\leq x\leq b}f(a, x)g(x, b) | :<math>(f*g)(a, b)=\sum_{a\leq x\leq b}f(a, x)g(x, b)</math> द्वारा परिभाषित [[कनवल्शन|संवलन]] है। | ||
एक घटना बीजगणित परिमित-आयामी है यदि और | एक घटना बीजगणित परिमित-आयामी है यदि और मात्र यदि अंतर्निहित स्थिति परिमित है। | ||
===संबंधित अवधारणाएँ=== | ===संबंधित अवधारणाएँ=== | ||
एक घटना बीजगणित समूह वलय के समान होता है; | एक घटना बीजगणित समूह वलय के समान होता है; वस्तुतः, समूह बीजगणित और घटना बीजगणित दोनों [[श्रेणी बीजगणित]] की विशेष स्थिति हैं, जिन्हें समान रूप से परिभाषित किया गया है; [[समूह (गणित)]] और आंशिक रूप से क्रमबद्ध समुच्चय विशेष प्रकार की [[श्रेणी (गणित)]] है। | ||
==== | ==== उच्च-त्रिकोणीय आव्यूह ==== | ||
किसी | किसी भी {{mvar|n}}-अवयव समुच्चय {{mvar|S}} पर आंशिक क्रम ≤ की स्थिति पर विचार करें । हम {{mvar|S}} की गणना {{math|''s''<sub>1</sub>, …, ''s<sub>n</sub>''}} के रूप में करते हैं, और इस प्रकार से कि गणना {{mvar|S}} पर क्रम ≤ के साथ संगत है, अर्थात, {{math|''s<sub>i</sub>'' ≤ ''s<sub>j</sub>''}} का तात्पर्य {{math|''i'' ≤ ''j''}} है, जो सदैव संभव है। | ||
फिर, फलन | फिर, उपरोक्त फलन {{mvar|f}}, अंतराल से अदिश तक, को [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] {{math|''A<sub>ij</sub>''}} के रूप में सोचा जा सकता है , जहाँ {{math|1=''A<sub>ij</sub>'' = ''f''(''s<sub>i</sub>'', ''s<sub>j</sub>'')}} जब भी {{math|''i'' ≤ ''j''}}, और अन्यथा {{math|1=''A<sub>ij</sub>'' = 0}} होता है। चूँकि हमने {{mvar|S}} को आव्यूहों के सूचकांकों पर सामान्य क्रम के अनुरूप व्यवस्थित किया है, वे ≤ के अंतर्गत {{mvar|S}} में अतुलनीय अवयवों द्वारा निर्धारित निर्धारित शून्य-प्रतिरूप के साथ [[ऊपरी-त्रिकोणीय मैट्रिक्स|उच्च-त्रिकोणीय आव्यूह]] के रूप में दिखाई देंगे। | ||
≤ की घटना बीजगणित तब इस निर्धारित शून्य- | ≤ की घटना बीजगणित तब इस निर्धारित शून्य-प्रतिरूप और यादृच्छिक (संभवतः शून्य सहित) अदिश प्रविष्टियों के साथ उच्च-त्रिकोणीय आव्यूह के बीजगणित के लिए [[ समरूपी |समरूपी]] है, संचालन सामान्य [[मैट्रिक्स जोड़|आव्यूह योग]], सोपानी और [[मैट्रिक्स गुणन|आव्यूह गुणन]] के साथ होता है।<ref>{{Cite journal|last1=Kolegov|first1=N. A.|last2=Markova|first2=O. V.|date=August 2019|title=परिमित क्षेत्रों पर मैट्रिक्स घटना बीजगणित के जेनरेटर की प्रणाली|url=http://link.springer.com/10.1007/s10958-019-04396-6|journal=Journal of Mathematical Sciences|language=en|volume=240|issue=6|pages=783–798|doi=10.1007/s10958-019-04396-6|s2cid=198443199 |issn=1072-3374}}</ref> | ||
==विशेष | ==विशेष अवयव== | ||
घटना बीजगणित का गुणक | घटना बीजगणित का गुणक तत्समक अवयव [[ क्रोनकर डेल्टा |क्रोनकर डेल्टा]] है, जिसे | ||
:<math>\delta(a, b) = \begin{cases} | :<math>\delta(a, b) = \begin{cases} | ||
1 & \text{if } a=b, \\ | 1 & \text{if } a=b, \\ | ||
0 & \text{if } a \ne b | 0 & \text{if } a \ne b | ||
\end{cases}</math> | \end{cases}</math> द्वारा परिभाषित किया गया है। | ||
एक घटना बीजगणित का जीटा | एक घटना बीजगणित का जीटा फलन प्रत्येक गैर-रिक्त अंतराल [''a,'' b] के लिए स्थिर फलन ''ζ''(a, b) = 1 है। ''ζ'' से गुणा करना [[अभिन्न]] के समान है। | ||
कोई यह दिखा सकता है कि घटना बीजगणित में (ऊपर परिभाषित | कोई यह दिखा सकता है कि घटना बीजगणित में (ऊपर परिभाषित संवलन के संबंध में) [[इकाई (रिंग सिद्धांत)|इकाई (वलय सिद्धांत)]] है। (सामान्यतः, घटना बीजगणित का सदस्य ''h'' व्युत्क्रमणीय होता है यदि और मात्र यदि ''h''(''x'', ''x'') प्रत्येक ''x'' के लिए व्युत्क्रमणीय हो।) जीटा फलन का गुणात्मक व्युत्क्रम मोबियस फलन ''μ''(''a,'' b) है; ''μ''(''a, b'') का प्रत्येक मान आधार वलय में 1 का अभिन्न गुणज है। | ||
मोबियस | मोबियस फलन को निम्नलिखित संबंध द्वारा आगमनात्मक रूप से भी परिभाषित किया जा सकता है: | ||
:<math>\mu(x,y) = \begin{cases} | :<math>\mu(x,y) = \begin{cases} | ||
{}\qquad 1 & \text{if } x = y\\[6pt] | {}\qquad 1 & \text{if } x = y\\[6pt] | ||
Line 39: | Line 39: | ||
μ से गुणा करना व्युत्पन्न के समान है, और इसे मोबियस व्युत्क्रम कहा जाता है। | μ से गुणा करना व्युत्पन्न के समान है, और इसे मोबियस व्युत्क्रम कहा जाता है। | ||
जीटा फलन का वर्ग अंतराल में अवयवों की संख्या देता है: | |||
<math display="block">\zeta^2(x,y) = \sum_{z\in [x,y]} \zeta(x,z)\,\zeta(z,y) = \sum_{z\in [x,y]} 1 = \#[x,y].</math> | <math display="block">\zeta^2(x,y) = \sum_{z\in [x,y]} \zeta(x,z)\,\zeta(z,y) = \sum_{z\in [x,y]} 1 = \#[x,y].</math> | ||
==उदाहरण== | ==उदाहरण== | ||
;विभाज्यता द्वारा क्रमित धनात्मक पूर्णांक | ;विभाज्यता द्वारा क्रमित धनात्मक पूर्णांक | ||
:अंतराल [1, '' | :अंतराल [1, ''n''] के लिए घटना बीजगणित से जुड़ा संवलन [[डिरिचलेट कनवल्शन|डिरिचलेट संवलन]] बन जाता है, इसलिए मोबियस फलन ''μ''(''a,'' b) = ''μ''( है ''b/''a), जहां दूसरा ''μ'' उत्कृष्ट मोबियस फलन है जिसे 19वीं शताब्दी में संख्या सिद्धांत में प्रस्तुत किया गया था। | ||
;कुछ समुच्चय | ;कुछ समुच्चय E के परिमित उपसमुच्चय, समाविष्ट द्वारा क्रमबद्ध | ||
:मोबियस | :जब भी S और T, S ⊆ T के साथ E के परिमित उपसमुच्चय होते हैं, तो मोबियस फलन<math display="block">\mu(S,T)=(-1)^{\left|T\setminus S\right|}</math> | ||
: | :होता है और मोबियस व्युत्क्रम को [[समावेशन-बहिष्करण का सिद्धांत|समाविष्ट-बहिष्करण का सिद्धांत]] कहा जाता है। | ||
:ज्यामितीय रूप से, यह [[ अतिविम |अतिविम]] है: <math>2^E = \{0,1\}^E.</math> | :ज्यामितीय रूप से, यह [[ अतिविम |अतिविम]] है: <math>2^E = \{0,1\}^E.</math> | ||
;प्राकृतिक संख्याएँ अपने सामान्य क्रम के साथ | ;प्राकृतिक संख्याएँ अपने सामान्य क्रम के साथ | ||
:मोबियस | :मोबियस फलन<math display="block">\mu(x,y) = \begin{cases} | ||
1& \text{if }y=x, \\ | 1& \text{if }y=x, \\ | ||
-1 & \text{if }y = x+1, \\ | -1 & \text{if }y = x+1, \\ | ||
0 & \text{if }y>x+1, | 0 & \text{if }y>x+1, | ||
\end{cases} | \end{cases} | ||
</math> और मोबियस व्युत्क्रम को (पीछे की ओर) [[अंतर ऑपरेटर]] कहा जाता है। | </math>है और मोबियस व्युत्क्रम को (पीछे की ओर) [[अंतर ऑपरेटर|अंतर संक्रियक]] कहा जाता है। | ||
:ज्यामितीय रूप से, यह पृथक [[संख्या रेखा]] से मेल खाता है। | :ज्यामितीय रूप से, यह पृथक [[संख्या रेखा]] से मेल खाता है। | ||
:घटना बीजगणित में फलनों का संकेंद्रण [[औपचारिक शक्ति श्रृंखला]] के गुणन से मेल खाता है: नीचे | :घटना बीजगणित में फलनों का संकेंद्रण [[औपचारिक शक्ति श्रृंखला|औपचारिक घात श्रृंखला]] के गुणन से मेल खाता है: नीचे समानीत आपतन बीजगणित की चर्चा देखें। मोबियस फलन औपचारिक घात श्रृंखला 1 −t के गुणांकों के अनुक्रम (1, −1, 0, 0, 0, ...) से मेल खाता है, और जीटा फलन औपचारिक घात श्रृंखला <math>(1 - t)^{-1} = 1 + t + t^2 + t^3 + \cdots</math> के गुणांकों (1, 1, 1) के अनुक्रम से मेल खाता है, जो व्युत्क्रम है। इस घटना बीजगणित में डेल्टा फलन समान रूप से औपचारिक घात श्रृंखला 1 से मेल खाता है। | ||
;कुछ [[मल्टीसेट| | ;कुछ [[मल्टीसेट|बहुसमुच्चय]] E के परिमित उप-बहुसमुच्चय, समाविष्ट द्वारा क्रमबद्ध | ||
:उपरोक्त तीन उदाहरणों को | :उपरोक्त तीन उदाहरणों को E के बहुसमुच्चय E और परिमित उप-बहुसमुच्चय ''S'' और ''T'' पर विचार करके एकीकृत और सामान्यीकृत किया जा सकता है। मोबियस फलन | ||
:<math display="block"> \mu(S,T) = \begin{cases} | |||
0 & \text{if } T \setminus S \text{ is a proper multiset (has repeated elements)}\\ | 0 & \text{if } T \setminus S \text{ is a proper multiset (has repeated elements)}\\ | ||
(-1)^{\left|T \setminus S\right|} & \text{if } T\setminus S \text{ is a set (has no repeated elements)} | (-1)^{\left|T \setminus S\right|} & \text{if } T\setminus S \text{ is a set (has no repeated elements)} | ||
\end{cases}</math> | \end{cases}</math> है। | ||
:यह बहुलता के साथ [[अभाज्य संख्या]] | :यह बहुलता के साथ [[अभाज्य संख्या]] [[भाजक|विभाजक]] के बहुसमुच्चय के अनुरूप धनात्मक [[पूर्णांक]] द्वारा विभाज्यता द्वारा क्रमित धनात्मक पूर्णांकों को सामान्यीकृत करता है, उदाहरण के लिए, 12 बहुसमुच्चय <math>\{ 2, 2, 3 \}</math> से मेल खाता है। | ||
:यह [[प्राकृतिक संख्या]]ओं को उनके सामान्य क्रम के साथ अंतर्निहित | :यह [[प्राकृतिक संख्या]]ओं को उनके सामान्य क्रम के साथ अंतर्निहित अवयव के बहुसमुच्चय और उस संख्या के बराबर गणनांक के अनुरूप प्राकृतिक संख्या द्वारा सामान्यीकृत करता है, उदाहरण के लिए, 3 बहुसमुच्चय <math>\{ 1, 1, 1 \}</math> से मेल खाता है। | ||
;परिमित | ;परिमित p-समूह ''जी'' के उपसमूह, समाविष्ट द्वारा क्रमबद्ध | ||
:मोबियस | :यदि <math>H_1</math> <math>H_2</math> और <math>H_2/H_1 \cong (\Z/p\Z)^k</math> का [[सामान्य उपसमूह]] है तो मोबियस फलन <math display="block">\mu_G(H_1,H_2) = (-1)^{k} p^{\binom{k}{2}}</math> है और अन्यथा यह 0 है। | ||
;[[एक सेट का विभाजन|एक समुच्चय का विभाजन]] | ;[[एक सेट का विभाजन|एक समुच्चय का विभाजन]] | ||
:किसी परिमित समुच्चय के सभी विभाजनों के समुच्चय को σ ≤ τ कहकर आंशिक रूप से क्रमबद्ध करें यदि σ, τ से अधिक | :किसी परिमित समुच्चय के सभी विभाजनों के समुच्चय को σ ≤ τ कहकर आंशिक रूप से क्रमबद्ध करें यदि σ, τ से अधिक स्पष्ट विभाजन है। विशेष रूप से, मान लीजिए कि τ में ''t'' कक्ष हैं जो क्रमशः σ के ''s<sub>1</sub>, ..., s<sub>t</sub>'' स्पष्ट कक्ष में विभाजित होते हैं, जिसमें कुल s = s है<sub>1</sub> +···· + S<sub>''t''</sub> कक्ष होते हैं। तब मोबियस फलन है: <math display="block">\mu(\sigma,\tau) = | ||
(-1)^{s-t}(s_1{-}1)! \dots (s_t{-}1)!</math> | (-1)^{s-t}(s_1{-}1)! \dots (s_t{-}1)!</math> | ||
==यूलर विशेषता== | ==यूलर विशेषता== | ||
{{Further| | {{Further|यूलर विशेषता}} | ||
एक | |||
एक क्रमित समुच्चय परिबद्ध होता है यदि इसमें सबसे छोटे और सबसे बड़े अवयव हों, जिन्हें हम क्रमशः 0 और 1 कहते हैं (अदिश वलय के 0 और 1 के साथ भ्रमित न हों)। परिबद्ध परिमित स्थिति की '[[यूलर विशेषता]]' μ(0,1) है। इस शब्दावली का कारण निम्नलिखित है: यदि P में 0 और 1 है, तो μ(0,1) सरल मिश्रित के समानीत यूलर विशेषता है, जिसके शीर्ष P \ {0, 1} में श्रृंखलाएं हैं। इसे फिलिप हॉल के प्रमेय का उपयोग करके दिखाया जा सकता है, जो μ(0,1) के मान को लंबाई i की श्रृंखलाओं की संख्या से संबंधित करता है। | |||
== | ==समानीत घटना बीजगणित== | ||
समानीत घटना बीजगणित में ऐसे फलन सम्मिलित होते हैं जो किन्हीं दो अंतरालों के लिए समान मान निर्दिष्ट करते हैं जो उचित अर्थ में समतुल्य होते हैं, सामान्यतः क्रमित समुच्चय के रूप में क्रम समरूपता का अर्थ होता है। यह घटना बीजगणित का उपबीजगणित है, और इसमें स्पष्ट रूप से घटना बीजगणित के तत्समक अवयव और जीटा फलन सम्मिलित हैं। कम आपतन बीजगणित का कोई भी अवयव जो बड़े आपतन बीजगणित में व्युत्क्रम होता है, कम आपतन बीजगणित में उसका व्युत्क्रम होता है। इस प्रकार मोबियस फलन भी समानीत घटना बीजगणित में है। | |||
[[जनरेटिंग फ़ंक्शन]] के विभिन्न | [[जनरेटिंग फ़ंक्शन|जनरेटिंग फलन]] के विभिन्न वलयों का प्राकृतिक निर्माण देने के लिए डौबिललेट, रोटा और स्टेनली द्वारा समानीत घटना वाले बीजगणित की शुरुआत की गई थी।<ref>Peter Doubilet, Gian-Carlo Rota and Richard Stanley: ''On the Foundations of Combinatorics (VI): The Idea of Generating Function'', Berkeley Symposium on Math. Statist. and Prob., Proc. Sixth Berkeley Symposium on Math. Statist. and Prob., Vol. 2 (Univ. of Calif. Press, 1972), 267-318, [http://projecteuclid.org/euclid.bsmsp/1200514223 available online in open access]</ref> | ||
=== प्राकृतिक संख्याएँ और सामान्य जनक फलन === | === प्राकृतिक संख्याएँ और सामान्य जनक फलन === | ||
क्रमित समुच्चय के लिए <math>(\mathbb{N},\leq),</math> | क्रमित समुच्चय के लिए <math>(\mathbb{N},\leq),</math> समानीत आपतन बीजगणित में फलन सम्मिलित होते हैं <math>f(a,b)</math> अनुवाद के अंतर्गत अपरिवर्तनीय, <math>f(a+k,b+k) = f(a,b)</math> सभी के लिए <math>k \ge 0,</math> ताकि आइसोमोर्फिक अंतराल [ए+के, बी+के] और [a, b] पर समान मान हो। मान लीजिए t फलन को t(a, a+1) = 1 और t(a, b) = 0 से निरूपित करता है अन्यथा, अंतराल के समरूपता वर्गों पर प्रकार का अपरिवर्तनीय डेल्टा फलन। घटना बीजगणित में इसकी घातयां अन्य अपरिवर्तनीय डेल्टा फलन T हैं<sup>n</sup>(a, a+n) = 1 और t<sup>n</sup>(x, y) = 0 अन्यथा। ये कम आपतन बीजगणित के लिए [[आधार (रैखिक बीजगणित)]] बनाते हैं, और हम किसी भी अपरिवर्तनीय फलन को इस प्रकार लिख सकते हैं <math>\textstyle f = \sum_{n\ge 0} f(0,n)t^n</math>. यह संकेतन समानीत घटना बीजगणित और औपचारिक घात श्रृंखला की अंगूठी के बीच समरूपता को स्पष्ट करता है <math>R[[t]]</math> अदिश R के ऊपर, जिसे सामान्य जनक फलनों का वलय भी कहा जाता है। हम जीटा फलन को इस प्रकार लिख सकते हैं <math>\zeta=1+t+t^2+\cdots = \tfrac1{1-t},</math> मोबियस फलन का व्युत्क्रम <math>\mu=1-t.</math> | ||
=== सबसमुच्चय क्रमित समुच्चय और घातीय जनरेटिंग | === सबसमुच्चय क्रमित समुच्चय और घातीय जनरेटिंग फलन === | ||
परिमित उपसमुच्चय के बूलियन स्थिति के लिए <math>S\subset\{1,2,3,\ldots\}</math> | परिमित उपसमुच्चय के बूलियन स्थिति के लिए <math>S\subset\{1,2,3,\ldots\}</math> सम्मिलित करने का क्रम दिया गया <math>S\subset T</math>, समानीत घटना बीजगणित में अपरिवर्तनीय फलन सम्मिलित हैं <math>f(S,T),</math> समरूपी अंतरालों [S,T] और [S′,T ′] पर |T\S| के साथ समान मान रखने के लिए परिभाषित किया गया है। = |T '\S'|. फिर, मान लीजिए t |T\S| के लिए t(S,T) = 1 के साथ अपरिवर्तनीय डेल्टा फलन को दर्शाता है। = 1 और t(S,T) = 0 अन्यथा। इसकी घातयाँ हैं: | ||
<math display="block">t^n(S,T) =\, \sum t(T_0,T_1)\,t(T_1,T_2) \dots t(T_{n-1},T_n) | <math display="block">t^n(S,T) =\, \sum t(T_0,T_1)\,t(T_1,T_2) \dots t(T_{n-1},T_n) | ||
= \left\{ \begin{array}{cl} n! & \text{if}\,\, |T{\setminus}S| = n\\ | = \left\{ \begin{array}{cl} n! & \text{if}\,\, |T{\setminus}S| = n\\ | ||
0 & \text{otherwise,}\end{array}\right.</math> जहां योग सभी श्रृंखलाओं से अधिक है <math>S = T_0\subset T_1\subset\cdots\subset T_n=T,</math> और | 0 & \text{otherwise,}\end{array}\right.</math> जहां योग सभी श्रृंखलाओं से अधिक है <math>S = T_0\subset T_1\subset\cdots\subset T_n=T,</math> और मात्र गैर-शून्य शब्द संतृप्त श्रृंखलाओं के लिए होते हैं <math>|T_{i}{\setminus}T_{i-1}| = 1;</math> चूँकि ये n के क्रमपरिवर्तन के अनुरूप हैं, हमें अद्वितीय गैर-शून्य मान n! मिलता है। इस प्रकार, अपरिवर्तनीय डेल्टा फलन विभाजित घातयां हैं <math>\tfrac{t^n}{n!},</math> और हम किसी भी अपरिवर्तनीय फलन को इस प्रकार लिख सकते हैं <math>\textstyle f = \sum_{n\geq0} f(\emptyset,[n])\frac{t^n}{n!},</math> जहां [n] = {1, . . . , n}। यह समानीत घटना बीजगणित और घातीय उत्पन्न करने वाले फलनों की अंगूठी के बीच प्राकृतिक समरूपता देता है। जीटा फलन है <math>\textstyle \zeta = \sum_{n\geq 0}\frac{t^n}{n!} = \exp(t), | ||
</math> मोबियस | </math> मोबियस फलन के साथ: | ||
<math display="block">\mu = \frac1{\zeta} = \exp(-t) = \sum_{n\geq 0} (-1)^n \frac{t^n}{n!}.</math> | <math display="block">\mu = \frac1{\zeta} = \exp(-t) = \sum_{n\geq 0} (-1)^n \frac{t^n}{n!}.</math> | ||
दरअसल, औपचारिक | दरअसल, औपचारिक घात श्रृंखला के साथ यह गणना यह साबित करती है <math>\mu(S,T)=(-1)^{|T{\setminus}S|}.</math> उपसमुच्चय या लेबल वाली वस्तुओं को सम्मिलित करने वाले कई संयुक्त गिनती अनुक्रमों की व्याख्या समानीत घटना बीजगणित और घातीय उत्पन्न करने वाले फलनों का उपयोग करके घातीय सूत्र के संदर्भ में की जा सकती है। | ||
=== विभाजक क्रमित समुच्चय और डिरिचलेट श्रृंखला === | === विभाजक क्रमित समुच्चय और डिरिचलेट श्रृंखला === | ||
विभाज्यता द्वारा निरूपित धनात्मक पूर्णांकों के | विभाज्यता द्वारा निरूपित धनात्मक पूर्णांकों के क्रमित समुच्चय डी पर विचार करें <math>a\,|\,b.</math> समानीत आपतन बीजगणित में फलन सम्मिलित होते हैं <math>f(a,b)</math> जो गुणन के अंतर्गत अपरिवर्तनीय हैं: <math>f(ka,kb) = f(a,b)</math> सभी के लिए <math>k\ge 1.</math> (अंतराल की यह गुणात्मक तुल्यता क्रमित समुच्चय समरूपता की तुलना में बहुत मजबूत संबंध है; उदाहरण के लिए, अभाज्य संख्या p के लिए, दो-अवयव अंतराल [1,p] सभी असमान हैं।) अपरिवर्तनीय फलन के लिए, एफ(a,b) मात्र पर निर्भर करता है b/a, इसलिए प्राकृतिक आधार में अपरिवर्तनीय डेल्टा फलन सम्मिलित होते हैं <math>\delta_n</math> द्वारा परिभाषित <math>\delta_n(a,b) = 1</math> यदि b/a = n और 0 अन्यथा; तो कोई भी अपरिवर्तनीय फलन लिखा जा सकता है <math>\textstyle f = \sum_{n\geq 0} f(1,n)\, \delta_n.</math> | ||
दो अपरिवर्तनीय डेल्टा फ़ंक्शंस का उत्पाद है: | दो अपरिवर्तनीय डेल्टा फ़ंक्शंस का उत्पाद है: | ||
:<math>(\delta_n \delta_m)(a,b) = \sum_{a|c|b} \delta_n(a,c)\,\delta_m(c,b) = \delta_{nm}(a,b),</math> | :<math>(\delta_n \delta_m)(a,b) = \sum_{a|c|b} \delta_n(a,c)\,\delta_m(c,b) = \delta_{nm}(a,b),</math> | ||
चूँकि एकमात्र गैर-शून्य पद c = na और b = mc = nma से आता है। इस प्रकार, हम समानीत घटना बीजगणित से औपचारिक [[डिरिचलेट श्रृंखला]] की अंगूठी तक समरूपता प्राप्त करते हैं <math>\delta_n</math> को <math>n^{-s}\!,</math> ताकि f के अनुरूप हो <math display="inline">\sum_{n\geq 1} \frac{f(1,n)}{n^s}.</math> | चूँकि एकमात्र गैर-शून्य पद c = na और b = mc = nma से आता है। इस प्रकार, हम समानीत घटना बीजगणित से औपचारिक [[डिरिचलेट श्रृंखला]] की अंगूठी तक समरूपता प्राप्त करते हैं <math>\delta_n</math> को <math>n^{-s}\!,</math> ताकि f के अनुरूप हो <math display="inline">\sum_{n\geq 1} \frac{f(1,n)}{n^s}.</math> | ||
घटना बीजगणित जीटा | घटना बीजगणित जीटा फलन ζ<sub>''D''</sub>(a,b) = 1 उत्कृष्ट [[रीमैन ज़ेटा फ़ंक्शन|रीमैन जीटा फलन]] से मेल खाता है <math>\zeta(s)=\textstyle \sum_{n\geq 1}\frac{1}{n^s},</math> पारस्परिक होना <math display="inline">\frac{1}{\zeta(s)} = \sum_{n\geq 1}\frac{\mu(n)}{n^s},</math> जहाँ <math>\mu(n)=\mu_D(1,n)</math> संख्या सिद्धांत का उत्कृष्ट मोबियस फलन है। कई अन्य [[अंकगणितीय कार्य|अंकगणितीय फलन]] समानीत घटना बीजगणित के भीतर स्वाभाविक रूप से उत्पन्न होते हैं, और समकक्ष रूप से डिरिचलेट श्रृंखला के संदर्भ में। उदाहरण के लिए, विभाजक फलन <math>\sigma_0(n)</math> जीटा फलन का वर्ग है, <math>\sigma_0(n) = \zeta^2\!(1,n),</math> उपरोक्त परिणाम का विशेष मामला <math>\zeta^2\!(x,y)</math> अंतराल [x,y] में अवयवों की संख्या देता है; बराबर, <math display="inline">\zeta(s)^2 = \sum_{n\geq 1} \frac{\sigma_0(n)}{n^s}.</math> | ||
विभाजक क्रमित समुच्चय की उत्पाद संरचना इसके मोबियस | विभाजक क्रमित समुच्चय की उत्पाद संरचना इसके मोबियस फलन की गणना की सुविधा प्रदान करती है। अंकगणित के मौलिक प्रमेय का तात्पर्य है कि डी अनंत कार्टेशियन उत्पाद के लिए आइसोमोर्फिक है <math>\N\times\N \times \dots</math>, समन्वयवार तुलना द्वारा दिए गए क्रम के साथ: <math>n = p_1^{e_1}p_2^{e_2}\dots</math>, जहाँ <math>p_k</math> क है<sup>वें</sup> अभाज्य, इसके घातांक के अनुक्रम से मेल खाता है <math>(e_1,e_2,\dots).</math> अब डी का मोबियस फलन कारक पोज़ेट्स के लिए मोबियस फलन का उत्पाद है, जो ऊपर गणना की गई है, जो उत्कृष्ट सूत्र देता है: | ||
:<math>\mu(n) = \mu_D(1,n) = \prod_{k\geq 1}\mu_{\N}(0,e_k) | :<math>\mu(n) = \mu_D(1,n) = \prod_{k\geq 1}\mu_{\N}(0,e_k) | ||
\,=\,\left\{\begin{array}{cl}(-1)^d & \text{for } n \text{ squarefree with } d \text{ prime factors}\\ | \,=\,\left\{\begin{array}{cl}(-1)^d & \text{for } n \text{ squarefree with } d \text{ prime factors}\\ | ||
0 & \text{otherwise.} | 0 & \text{otherwise.} | ||
\end{array}\right.</math> | \end{array}\right.</math> | ||
उत्पाद संरचना | उत्पाद संरचना जीटा फलन के लिए उत्कृष्ट [[यूलर उत्पाद]] की भी व्याख्या करती है। डी का जीटा फलन कारकों के जीटा फलन के कार्टेशियन उत्पाद से मेल खाता है, जिसकी गणना ऊपर की गई है <math display="inline">\frac{1}{1-t},</math> ताकि <math display="inline">\zeta_D \cong \prod_{k\geq 1}\!\frac{1}{1-t},</math> जहां दाहिनी ओर कार्टेशियन उत्पाद है। समरूपता को लागू करना जो k में t भेजता है<sup>वें</sup>कारक को <math>p_k^{-s}</math>, हम सामान्य यूलर उत्पाद प्राप्त करते हैं। | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 113: | Line 115: | ||
*{{Citation|last=Rota|first=Gian-Carlo|title=On the Foundations of Combinatorial Theory I: Theory of Möbius Functions|volume=2|issue=4|pages=340–368|year=1964|journal=Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete|doi=10.1007/BF00531932|s2cid=121334025|doi-access=free}} | *{{Citation|last=Rota|first=Gian-Carlo|title=On the Foundations of Combinatorial Theory I: Theory of Möbius Functions|volume=2|issue=4|pages=340–368|year=1964|journal=Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete|doi=10.1007/BF00531932|s2cid=121334025|doi-access=free}} | ||
* नाथन जैकबसन| | * नाथन जैकबसन|n. जैकबसन, मूल बीजगणित। आई, डब्ल्यू. एच. फ्रीमैन एंड कंपनी, 1974। क्रमित समुच्चय्स पर मोबियस फ़ंक्शंस के उपचार के लिए अनुभाग 8.6 देखें | ||
{{Reflist}} | {{Reflist}} |
Revision as of 22:38, 6 July 2023
क्रम सिद्धांत में, गणित का क्षेत्र, घटना बीजगणित सहयोगी बीजगणित है, जिसे प्रत्येक स्थानीय रूप से परिमित आंशिक रूप से क्रमित समुच्चय और एकता के साथ क्रमविनिमेय वलय के लिए परिभाषित किया गया है। उप-बीजगणित जिसे समानीत घटना बीजगणित कहा जाता है, साहचर्य और संख्या सिद्धांत में उपयोग किए जाने वाले विभिन्न प्रकार के उत्पन्न करने वाले फलनों का प्राकृतिक निर्माण देता है।
परिभाषा
स्थानीय रूप से परिमित स्थिति वह है जिसमें प्रत्येक आंशिक रूप से क्रमित समुच्चय संवृत अंतराल
- [a, b] = {x : a ≤ x ≤ b}
परिमित होता है।
घटना बीजगणित के सदस्य फलन (गणित) s f हैं जो प्रत्येक रिक्त समुच्चय अंतराल [a, b] को अदिश f(a, b) निर्दिष्ट करते हैं ), जो अदिश के वलय (गणित) से लिया गया है, जो एकता के साथ क्रमविनिमेय वलय है। इस अंतर्निहित समुच्चय पर कोई योग और अदिश गुणन को बिंदुवार परिभाषित करता है, और घटना बीजगणित में गुणन
- द्वारा परिभाषित संवलन है।
एक घटना बीजगणित परिमित-आयामी है यदि और मात्र यदि अंतर्निहित स्थिति परिमित है।
संबंधित अवधारणाएँ
एक घटना बीजगणित समूह वलय के समान होता है; वस्तुतः, समूह बीजगणित और घटना बीजगणित दोनों श्रेणी बीजगणित की विशेष स्थिति हैं, जिन्हें समान रूप से परिभाषित किया गया है; समूह (गणित) और आंशिक रूप से क्रमबद्ध समुच्चय विशेष प्रकार की श्रेणी (गणित) है।
उच्च-त्रिकोणीय आव्यूह
किसी भी n-अवयव समुच्चय S पर आंशिक क्रम ≤ की स्थिति पर विचार करें । हम S की गणना s1, …, sn के रूप में करते हैं, और इस प्रकार से कि गणना S पर क्रम ≤ के साथ संगत है, अर्थात, si ≤ sj का तात्पर्य i ≤ j है, जो सदैव संभव है।
फिर, उपरोक्त फलन f, अंतराल से अदिश तक, को आव्यूह (गणित) Aij के रूप में सोचा जा सकता है , जहाँ Aij = f(si, sj) जब भी i ≤ j, और अन्यथा Aij = 0 होता है। चूँकि हमने S को आव्यूहों के सूचकांकों पर सामान्य क्रम के अनुरूप व्यवस्थित किया है, वे ≤ के अंतर्गत S में अतुलनीय अवयवों द्वारा निर्धारित निर्धारित शून्य-प्रतिरूप के साथ उच्च-त्रिकोणीय आव्यूह के रूप में दिखाई देंगे।
≤ की घटना बीजगणित तब इस निर्धारित शून्य-प्रतिरूप और यादृच्छिक (संभवतः शून्य सहित) अदिश प्रविष्टियों के साथ उच्च-त्रिकोणीय आव्यूह के बीजगणित के लिए समरूपी है, संचालन सामान्य आव्यूह योग, सोपानी और आव्यूह गुणन के साथ होता है।[1]
विशेष अवयव
घटना बीजगणित का गुणक तत्समक अवयव क्रोनकर डेल्टा है, जिसे
- द्वारा परिभाषित किया गया है।
एक घटना बीजगणित का जीटा फलन प्रत्येक गैर-रिक्त अंतराल [a, b] के लिए स्थिर फलन ζ(a, b) = 1 है। ζ से गुणा करना अभिन्न के समान है।
कोई यह दिखा सकता है कि घटना बीजगणित में (ऊपर परिभाषित संवलन के संबंध में) इकाई (वलय सिद्धांत) है। (सामान्यतः, घटना बीजगणित का सदस्य h व्युत्क्रमणीय होता है यदि और मात्र यदि h(x, x) प्रत्येक x के लिए व्युत्क्रमणीय हो।) जीटा फलन का गुणात्मक व्युत्क्रम मोबियस फलन μ(a, b) है; μ(a, b) का प्रत्येक मान आधार वलय में 1 का अभिन्न गुणज है।
मोबियस फलन को निम्नलिखित संबंध द्वारा आगमनात्मक रूप से भी परिभाषित किया जा सकता है:
μ से गुणा करना व्युत्पन्न के समान है, और इसे मोबियस व्युत्क्रम कहा जाता है।
जीटा फलन का वर्ग अंतराल में अवयवों की संख्या देता है:
उदाहरण
- विभाज्यता द्वारा क्रमित धनात्मक पूर्णांक
- अंतराल [1, n] के लिए घटना बीजगणित से जुड़ा संवलन डिरिचलेट संवलन बन जाता है, इसलिए मोबियस फलन μ(a, b) = μ( है b/a), जहां दूसरा μ उत्कृष्ट मोबियस फलन है जिसे 19वीं शताब्दी में संख्या सिद्धांत में प्रस्तुत किया गया था।
- कुछ समुच्चय E के परिमित उपसमुच्चय, समाविष्ट द्वारा क्रमबद्ध
- जब भी S और T, S ⊆ T के साथ E के परिमित उपसमुच्चय होते हैं, तो मोबियस फलन
- होता है और मोबियस व्युत्क्रम को समाविष्ट-बहिष्करण का सिद्धांत कहा जाता है।
- ज्यामितीय रूप से, यह अतिविम है:
- प्राकृतिक संख्याएँ अपने सामान्य क्रम के साथ
- मोबियस फलनहै और मोबियस व्युत्क्रम को (पीछे की ओर) अंतर संक्रियक कहा जाता है।
- ज्यामितीय रूप से, यह पृथक संख्या रेखा से मेल खाता है।
- घटना बीजगणित में फलनों का संकेंद्रण औपचारिक घात श्रृंखला के गुणन से मेल खाता है: नीचे समानीत आपतन बीजगणित की चर्चा देखें। मोबियस फलन औपचारिक घात श्रृंखला 1 −t के गुणांकों के अनुक्रम (1, −1, 0, 0, 0, ...) से मेल खाता है, और जीटा फलन औपचारिक घात श्रृंखला के गुणांकों (1, 1, 1) के अनुक्रम से मेल खाता है, जो व्युत्क्रम है। इस घटना बीजगणित में डेल्टा फलन समान रूप से औपचारिक घात श्रृंखला 1 से मेल खाता है।
- कुछ बहुसमुच्चय E के परिमित उप-बहुसमुच्चय, समाविष्ट द्वारा क्रमबद्ध
- उपरोक्त तीन उदाहरणों को E के बहुसमुच्चय E और परिमित उप-बहुसमुच्चय S और T पर विचार करके एकीकृत और सामान्यीकृत किया जा सकता है। मोबियस फलन
- है।
- यह बहुलता के साथ अभाज्य संख्या विभाजक के बहुसमुच्चय के अनुरूप धनात्मक पूर्णांक द्वारा विभाज्यता द्वारा क्रमित धनात्मक पूर्णांकों को सामान्यीकृत करता है, उदाहरण के लिए, 12 बहुसमुच्चय से मेल खाता है।
- यह प्राकृतिक संख्याओं को उनके सामान्य क्रम के साथ अंतर्निहित अवयव के बहुसमुच्चय और उस संख्या के बराबर गणनांक के अनुरूप प्राकृतिक संख्या द्वारा सामान्यीकृत करता है, उदाहरण के लिए, 3 बहुसमुच्चय से मेल खाता है।
- परिमित p-समूह जी के उपसमूह, समाविष्ट द्वारा क्रमबद्ध
- यदि और का सामान्य उपसमूह है तो मोबियस फलन है और अन्यथा यह 0 है।
- एक समुच्चय का विभाजन
- किसी परिमित समुच्चय के सभी विभाजनों के समुच्चय को σ ≤ τ कहकर आंशिक रूप से क्रमबद्ध करें यदि σ, τ से अधिक स्पष्ट विभाजन है। विशेष रूप से, मान लीजिए कि τ में t कक्ष हैं जो क्रमशः σ के s1, ..., st स्पष्ट कक्ष में विभाजित होते हैं, जिसमें कुल s = s है1 +···· + St कक्ष होते हैं। तब मोबियस फलन है:
यूलर विशेषता
एक क्रमित समुच्चय परिबद्ध होता है यदि इसमें सबसे छोटे और सबसे बड़े अवयव हों, जिन्हें हम क्रमशः 0 और 1 कहते हैं (अदिश वलय के 0 और 1 के साथ भ्रमित न हों)। परिबद्ध परिमित स्थिति की 'यूलर विशेषता' μ(0,1) है। इस शब्दावली का कारण निम्नलिखित है: यदि P में 0 और 1 है, तो μ(0,1) सरल मिश्रित के समानीत यूलर विशेषता है, जिसके शीर्ष P \ {0, 1} में श्रृंखलाएं हैं। इसे फिलिप हॉल के प्रमेय का उपयोग करके दिखाया जा सकता है, जो μ(0,1) के मान को लंबाई i की श्रृंखलाओं की संख्या से संबंधित करता है।
समानीत घटना बीजगणित
समानीत घटना बीजगणित में ऐसे फलन सम्मिलित होते हैं जो किन्हीं दो अंतरालों के लिए समान मान निर्दिष्ट करते हैं जो उचित अर्थ में समतुल्य होते हैं, सामान्यतः क्रमित समुच्चय के रूप में क्रम समरूपता का अर्थ होता है। यह घटना बीजगणित का उपबीजगणित है, और इसमें स्पष्ट रूप से घटना बीजगणित के तत्समक अवयव और जीटा फलन सम्मिलित हैं। कम आपतन बीजगणित का कोई भी अवयव जो बड़े आपतन बीजगणित में व्युत्क्रम होता है, कम आपतन बीजगणित में उसका व्युत्क्रम होता है। इस प्रकार मोबियस फलन भी समानीत घटना बीजगणित में है।
जनरेटिंग फलन के विभिन्न वलयों का प्राकृतिक निर्माण देने के लिए डौबिललेट, रोटा और स्टेनली द्वारा समानीत घटना वाले बीजगणित की शुरुआत की गई थी।[2]
प्राकृतिक संख्याएँ और सामान्य जनक फलन
क्रमित समुच्चय के लिए समानीत आपतन बीजगणित में फलन सम्मिलित होते हैं अनुवाद के अंतर्गत अपरिवर्तनीय, सभी के लिए ताकि आइसोमोर्फिक अंतराल [ए+के, बी+के] और [a, b] पर समान मान हो। मान लीजिए t फलन को t(a, a+1) = 1 और t(a, b) = 0 से निरूपित करता है अन्यथा, अंतराल के समरूपता वर्गों पर प्रकार का अपरिवर्तनीय डेल्टा फलन। घटना बीजगणित में इसकी घातयां अन्य अपरिवर्तनीय डेल्टा फलन T हैंn(a, a+n) = 1 और tn(x, y) = 0 अन्यथा। ये कम आपतन बीजगणित के लिए आधार (रैखिक बीजगणित) बनाते हैं, और हम किसी भी अपरिवर्तनीय फलन को इस प्रकार लिख सकते हैं . यह संकेतन समानीत घटना बीजगणित और औपचारिक घात श्रृंखला की अंगूठी के बीच समरूपता को स्पष्ट करता है अदिश R के ऊपर, जिसे सामान्य जनक फलनों का वलय भी कहा जाता है। हम जीटा फलन को इस प्रकार लिख सकते हैं मोबियस फलन का व्युत्क्रम
सबसमुच्चय क्रमित समुच्चय और घातीय जनरेटिंग फलन
परिमित उपसमुच्चय के बूलियन स्थिति के लिए सम्मिलित करने का क्रम दिया गया , समानीत घटना बीजगणित में अपरिवर्तनीय फलन सम्मिलित हैं समरूपी अंतरालों [S,T] और [S′,T ′] पर |T\S| के साथ समान मान रखने के लिए परिभाषित किया गया है। = |T '\S'|. फिर, मान लीजिए t |T\S| के लिए t(S,T) = 1 के साथ अपरिवर्तनीय डेल्टा फलन को दर्शाता है। = 1 और t(S,T) = 0 अन्यथा। इसकी घातयाँ हैं:
विभाजक क्रमित समुच्चय और डिरिचलेट श्रृंखला
विभाज्यता द्वारा निरूपित धनात्मक पूर्णांकों के क्रमित समुच्चय डी पर विचार करें समानीत आपतन बीजगणित में फलन सम्मिलित होते हैं जो गुणन के अंतर्गत अपरिवर्तनीय हैं: सभी के लिए (अंतराल की यह गुणात्मक तुल्यता क्रमित समुच्चय समरूपता की तुलना में बहुत मजबूत संबंध है; उदाहरण के लिए, अभाज्य संख्या p के लिए, दो-अवयव अंतराल [1,p] सभी असमान हैं।) अपरिवर्तनीय फलन के लिए, एफ(a,b) मात्र पर निर्भर करता है b/a, इसलिए प्राकृतिक आधार में अपरिवर्तनीय डेल्टा फलन सम्मिलित होते हैं द्वारा परिभाषित यदि b/a = n और 0 अन्यथा; तो कोई भी अपरिवर्तनीय फलन लिखा जा सकता है दो अपरिवर्तनीय डेल्टा फ़ंक्शंस का उत्पाद है:
चूँकि एकमात्र गैर-शून्य पद c = na और b = mc = nma से आता है। इस प्रकार, हम समानीत घटना बीजगणित से औपचारिक डिरिचलेट श्रृंखला की अंगूठी तक समरूपता प्राप्त करते हैं को ताकि f के अनुरूप हो घटना बीजगणित जीटा फलन ζD(a,b) = 1 उत्कृष्ट रीमैन जीटा फलन से मेल खाता है पारस्परिक होना जहाँ संख्या सिद्धांत का उत्कृष्ट मोबियस फलन है। कई अन्य अंकगणितीय फलन समानीत घटना बीजगणित के भीतर स्वाभाविक रूप से उत्पन्न होते हैं, और समकक्ष रूप से डिरिचलेट श्रृंखला के संदर्भ में। उदाहरण के लिए, विभाजक फलन जीटा फलन का वर्ग है, उपरोक्त परिणाम का विशेष मामला अंतराल [x,y] में अवयवों की संख्या देता है; बराबर, विभाजक क्रमित समुच्चय की उत्पाद संरचना इसके मोबियस फलन की गणना की सुविधा प्रदान करती है। अंकगणित के मौलिक प्रमेय का तात्पर्य है कि डी अनंत कार्टेशियन उत्पाद के लिए आइसोमोर्फिक है , समन्वयवार तुलना द्वारा दिए गए क्रम के साथ: , जहाँ क हैवें अभाज्य, इसके घातांक के अनुक्रम से मेल खाता है अब डी का मोबियस फलन कारक पोज़ेट्स के लिए मोबियस फलन का उत्पाद है, जो ऊपर गणना की गई है, जो उत्कृष्ट सूत्र देता है:
उत्पाद संरचना जीटा फलन के लिए उत्कृष्ट यूलर उत्पाद की भी व्याख्या करती है। डी का जीटा फलन कारकों के जीटा फलन के कार्टेशियन उत्पाद से मेल खाता है, जिसकी गणना ऊपर की गई है ताकि जहां दाहिनी ओर कार्टेशियन उत्पाद है। समरूपता को लागू करना जो k में t भेजता हैवेंकारक को , हम सामान्य यूलर उत्पाद प्राप्त करते हैं।
यह भी देखें
साहित्य
1964 में शुरू होने वाले जियान-कार्लो रोटा के कई पेपरों में और बाद के कई कॉम्बिनेटरिक्स द्वारा स्थानीय रूप से परिमित पोज़ेट्स के घटना बीजगणित का इलाज किया गया था। रोटा का 1964 का पेपर था:
- Rota, Gian-Carlo (1964), "On the Foundations of Combinatorial Theory I: Theory of Möbius Functions", Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete, 2 (4): 340–368, doi:10.1007/BF00531932, S2CID 121334025
- नाथन जैकबसन|n. जैकबसन, मूल बीजगणित। आई, डब्ल्यू. एच. फ्रीमैन एंड कंपनी, 1974। क्रमित समुच्चय्स पर मोबियस फ़ंक्शंस के उपचार के लिए अनुभाग 8.6 देखें
- ↑ Kolegov, N. A.; Markova, O. V. (August 2019). "परिमित क्षेत्रों पर मैट्रिक्स घटना बीजगणित के जेनरेटर की प्रणाली". Journal of Mathematical Sciences (in English). 240 (6): 783–798. doi:10.1007/s10958-019-04396-6. ISSN 1072-3374. S2CID 198443199.
- ↑ Peter Doubilet, Gian-Carlo Rota and Richard Stanley: On the Foundations of Combinatorics (VI): The Idea of Generating Function, Berkeley Symposium on Math. Statist. and Prob., Proc. Sixth Berkeley Symposium on Math. Statist. and Prob., Vol. 2 (Univ. of Calif. Press, 1972), 267-318, available online in open access
अग्रिम पठन
- Spiegel, Eugene; O'Donnell, Christopher J. (1997), Incidence algebras, Pure and Applied Mathematics, vol. 206, Marcel Dekker, ISBN 0-8247-0036-8