पुनरावृत्त बाइनरी ऑपरेशन: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Repeated application of an operation to a sequence}} गणित में, पुनरावर्तित बाइनरी ऑपरेशन...")
 
No edit summary
 
(9 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|Repeated application of an operation to a sequence}}
{{short description|Repeated application of an operation to a sequence}}
गणित में, पुनरावर्तित [[बाइनरी ऑपरेशन]] एक [[सेट (गणित)]] ''S'' पर एक बाइनरी ऑपरेशन का विस्तार है, जो बार-बार आवेदन के माध्यम से ''S'' के तत्वों के परिमित [[अनुक्रम]]ों पर एक फ़ंक्शन (गणित) तक होता है।<ref name=IBO1>{{cite book|title=कामकाजी गणितज्ञ के लिए श्रेणियाँ|author= Saunders MacLane |page=142 |location=New York |publisher= Springer-Verlag |date= 1971 |isbn=0387900357}}</ref> सामान्य उदाहरणों में संकलन संक्रिया में जोड़ संक्रिया का विस्तार, और गुणन संक्रिया का [[उत्पाद (गणित)]] संक्रिया तक विस्तार शामिल है। अन्य संचालन, उदाहरण के लिए, सेट-थ्योरिटिक ऑपरेशंस [[ संघ (सेट सिद्धांत) ]] और [[ चौराहा (सेट सिद्धांत) ]] भी अक्सर दोहराए जाते हैं, लेकिन पुनरावृत्तियों को अलग-अलग नाम नहीं दिए जाते हैं। प्रिंट में, [[योग]] और उत्पाद विशेष प्रतीकों द्वारा दर्शाए जाते हैं; लेकिन अन्य पुनरावृत्त ऑपरेटरों को अक्सर साधारण बाइनरी ऑपरेटर के प्रतीक के बड़े वेरिएंट द्वारा दर्शाया जाता है। इस प्रकार, ऊपर वर्णित चार परिचालनों के पुनरावृत्तियों को निरूपित किया गया है
गणित में, पुनरावर्तित [[बाइनरी ऑपरेशन|बाइनरी संचालन]] एक [[सेट (गणित)|समुच्चय (गणित)]] ''S'' पर बाइनरी संचालन का विस्तार है | जो बार-बार अनुप्रयोग के माध्यम से ''S'' के तत्वों के परिमित [[अनुक्रम]] पर फलन (गणित) तक होता है।<ref name=IBO1>{{cite book|title=कामकाजी गणितज्ञ के लिए श्रेणियाँ|author= Saunders MacLane |page=142 |location=New York |publisher= Springer-Verlag |date= 1971 |isbn=0387900357}}</ref> सामान्य उदाहरणों में संकलन संक्रिया में जोड़ संक्रिया का विस्तार, और गुणन संक्रिया का [[उत्पाद (गणित)]] संक्रिया तक विस्तार सम्मिलित है। अन्य संचालन, उदाहरण के लिए, समुच्चय-थ्योरिटिक संचालन [[ संघ (सेट सिद्धांत) |संघ (समुच्चय सिद्धांत)]] और [[ चौराहा (सेट सिद्धांत) |प्रतिच्छेदन (समुच्चय सिद्धांत)]] भी अधिकांशतः दोहराए जाते हैं | किन्तु पुनरावृत्तियों को अलग-अलग नाम नहीं दिए जाते हैं। प्रिंट में, [[योग]] और उत्पाद विशेष प्रतीकों द्वारा दर्शाए जाते हैं | किन्तु अन्य पुनरावृत्त संचालको को अधिकांशतः साधारण बाइनरी संचालक के प्रतीक के बड़े वेरिएंट द्वारा दर्शाया जाता है। इस प्रकार, ऊपर वर्णित चार परिचालनों के पुनरावृत्तियों को निरूपित किया गया है |
:<math>\sum,\ \prod,\ \bigcup,</math> और <math>\bigcap</math>, क्रमश।
:<math>\sum,\ \prod,\ \bigcup,</math> और <math>\bigcap</math>, क्रमशः


अधिक आम तौर पर, बाइनरी फ़ंक्शन का पुनरावृत्ति आमतौर पर स्लैश द्वारा दर्शाया जाता है: पुनरावृत्ति <math>f</math> अनुक्रम के ऊपर <math>(a_{1}, a_{2} \ldots, a_{n})</math> द्वारा निरूपित किया जाता है <math>f / (a_{1}, a_{2} \ldots, a_{n})</math>, बर्ड-मीर्टेंस औपचारिकता में फोल्ड (उच्च-क्रम फ़ंक्शन) के लिए संकेतन के बाद।
अधिक सामान्यतः, बाइनरी फलन का पुनरावृत्ति सामान्यतः स्लैश द्वारा दर्शाया जाता है | पुनरावृत्ति <math>f</math> अनुक्रम के ऊपर <math>(a_{1}, a_{2} \ldots, a_{n})</math> द्वारा निरूपित किया जाता है | <math>f / (a_{1}, a_{2} \ldots, a_{n})</math>, बर्ड-मीर्टेंस औपचारिकता में फोल्ड (उच्च-क्रम फलन) के लिए संकेतन के बाद किया जाता है।


सामान्य तौर पर, परिमित अनुक्रमों पर संचालित करने के लिए बाइनरी ऑपरेशन का विस्तार करने का एक से अधिक तरीका है, यह इस बात पर निर्भर करता है कि क्या ऑपरेटर साहचर्य है, और क्या ऑपरेटर के पास [[पहचान तत्व]] हैं।
सामान्यतः, परिमित अनुक्रमों पर संचालित करने के लिए बाइनरी संचालन का विस्तार करने का एक से अधिक विधि है | यह इस तथ्य पर निर्भर करता है कि क्या संचालक साहचर्य है, और क्या संचालक के पास [[पहचान तत्व]] हैं।


== परिभाषा ==
== परिभाषा ==


ए द्वारा निरूपित करें<sub>''j'',''k''</sub>, साथ {{nowrap|''j'' ≥ 0}} और {{nowrap|''k'' ≥ ''j''}}, लंबाई का परिमित क्रम {{nowrap|''k''&thinsp;−&thinsp;''j''}सदस्यों के साथ एस के तत्वों का } (<sub>i</sub>), के लिए {{nowrap|''j'' ''i'' &lt; ''k''}}. ध्यान दें कि अगर {{nowrap|1=''k'' = ''j''}}, अनुक्रम खाली है।
{{nowrap|''j'' ≥ 0}} और {{nowrap|''k'' ≥ ''j''}}, के साथ {{nowrap|''j'' ≤ ''i'' &lt; ''k''}} के लिए सदस्यों (a<sub>i</sub>) के साथ S के तत्वों की लंबाई {{nowrap|1=''k'' = ''j''}} के परिमित अनुक्रम को a<sub>''j'',''k''</sub> से निरूपित करें। ध्यान दें कि यदि {{nowrap|1=''k'' = ''j''}} अनुक्रम खाली है।


के लिए {{nowrap|''f'' : ''S'' × ''S''}}, एक नया फ़ंक्शन F परिभाषित करें<sub>''l''</sub> एस के तत्वों के परिमित गैर-खाली अनुक्रमों पर, जहां
f के लिए: {{nowrap|''f'' : ''S'' × ''S''}} के तत्वों के परिमित गैररिक्त अनुक्रमों पर एक नया फलन F<sub>''l''</sub> परिभाषित करता है |
<math display="block">F_l(\mathbf{a}_{0,k})= \begin{cases}
<math display="block">F_l(\mathbf{a}_{0,k})= \begin{cases}
a_0, &k=1\\
a_0, &k=1\\
Line 21: Line 21:
f(a_0, F_r(\mathbf{a}_{1,k})), &k>1.
f(a_0, F_r(\mathbf{a}_{1,k})), &k>1.
\end{cases}</math>
\end{cases}</math>
यदि f की अद्वितीय बाईं पहचान e है, तो F की परिभाषा<sub>''l''</sub> एफ के मूल्य को परिभाषित करके खाली अनुक्रमों पर काम करने के लिए संशोधित किया जा सकता है<sub>''l''</sub> एक खाली अनुक्रम पर होना (लंबाई 1 के अनुक्रम पर पिछला आधार मामला बेमानी हो जाता है)। इसी तरह, एफ<sub>''r''</sub> यदि f के पास विशिष्ट अधिकार पहचान है, तो खाली अनुक्रमों पर काम करने के लिए संशोधित किया जा सकता है।
यदि f की अद्वितीय बाईं पहचान e है, तो F<sub>''l''</sub> की परिभाषा F<sub>''l''</sub> के मूल्य को परिभाषित करके खाली अनुक्रमों पर काम करने के लिए संशोधित किया जा सकता है | खाली अनुक्रम पर e होना (लंबाई 1 के अनुक्रम पर पिछला आधार स्थिति हो जाती है)। इसी तरह, F<sub>''r''</sub> यदि f के पास विशिष्ट अधिकार पहचान है, तो खाली अनुक्रमों पर काम करने के लिए संशोधित किया जा सकता है।


यदि f साहचर्य है, तो F<sub>''l''</sub> एफ के बराबर<sub>''r''</sub>, और हम बस एफ लिख सकते हैं। इसके अलावा, यदि कोई पहचान तत्व ई मौजूद है, तो यह अद्वितीय है (मोनॉयड देखें)।
यदि f साहचर्य है, तो F<sub>''l''</sub> F<sub>''r''</sub> के समान, और हम बस F लिख सकते हैं। इसके अतिरिक्त, यदि कोई पहचान तत्व e उपस्थित है, तो यह अद्वितीय है (मोनॉयड देखें)।


यदि f क्रम[[विनिमेय]] और साहचर्य है, तो F किसी भी गैर-खाली परिमित [[ multiset ]] पर इसे मल्टीसेट की मनमानी गणना पर लागू करके संचालित कर सकता है। यदि इसके अलावा f में एक पहचान तत्व e है, तो इसे खाली मल्टीसेट पर F के मान के रूप में परिभाषित किया जाता है। यदि f idempotent है, तो उपरोक्त परिभाषाओं को [[परिमित सेट]]ों तक बढ़ाया जा सकता है।
यदि f क्रम[[विनिमेय]] और साहचर्य है, तो F किसी भी गैर-खाली परिमित [[ multiset |मल्टीसेट]] पर इसे मल्टीसेट की अच्चानुसार गणना पर प्रयुक्त करके संचालित कर सकता है। यदि इसके अतिरिक्त f में पहचान तत्व e है, तो इसे खाली मल्टीसेट पर F के मान के रूप में परिभाषित किया जाता है। यदि f व्यर्थ है, तो उपरोक्त परिभाषाओं को [[परिमित सेट|परिमित समुच्चय]] तक बढ़ाया जा सकता है।


यदि S भी एक मेट्रिक (गणित) या अधिक सामान्यतः [[टोपोलॉजी]] से लैस है जो [[हॉसडॉर्फ स्पेस]] है, ताकि एक [[अनुक्रम की सीमा]] की अवधारणा को S में परिभाषित किया जा सके, तो S में एक गणनीय अनुक्रम पर एक [[अनंतता]] पुनरावृति को ठीक उसी समय परिभाषित किया जाता है जब परिमित पुनरावृत्तियों का संगत क्रम अभिसरण करता है। इस प्रकार, उदाहरण के लिए, यदि <sub>0</sub>, <sub>1</sub>, <sub>2</sub>, <sub>3</sub>, … [[वास्तविक संख्या]]ओं का अनंत क्रम है, फिर अनंत गुणनफल<math display="inline">\prod_{i=0}^\infty a_i</math> परिभाषित है, और के बराबर है <math display="inline">\lim\limits_{n\to\infty}\prod_{i=0}^na_i,</math> अगर और केवल अगर वह सीमा मौजूद है।
यदि S भी आव्यूह (गणित) या अधिक सामान्यतः [[टोपोलॉजी]] से लैस है | जो [[हॉसडॉर्फ स्पेस]] है | जिससे [[अनुक्रम की सीमा]] की अवधारणा को S में परिभाषित किया जा सके, तो S में गणनीय अनुक्रम पर [[अनंतता]] पुनरावृति को ठीक उसी समय परिभाषित किया जाता है | जब परिमित पुनरावृत्तियों का संगत क्रम अभिसरण करता है। इस प्रकार, उदाहरण के लिए, यदि ''a''<sub>0</sub>, ''a''<sub>1</sub>, ''a''<sub>2</sub>, ''a''<sub>3</sub>,, … [[वास्तविक संख्या]]ओं का अनंत क्रम है | फिर अनंत गुणनफल <math display="inline">\prod_{i=0}^\infty a_i</math> परिभाषित है, और <math display="inline">\lim\limits_{n\to\infty}\prod_{i=0}^na_i,</math> के समान है | यदि और केवल यदि वह सीमा उपस्थित है।


== गैर-सहयोगी बाइनरी ऑपरेशन ==
== गैर-सहयोगी बाइनरी संचालन ==
मैग्मा (बीजगणित) द्वारा सामान्य, गैर-सहयोगी बाइनरी ऑपरेशन दिया जाता है। गैर-सहयोगी बाइनरी ऑपरेशन पर पुनरावृति के कार्य को [[बाइनरी ट्री]] के रूप में दर्शाया जा सकता है।
मैग्मा (बीजगणित) द्वारा सामान्य, गैर-सहयोगी बाइनरी संचालन दिया जाता है। गैर-सहयोगी बाइनरी संचालन पर पुनरावृति के कार्य को [[बाइनरी ट्री]] के रूप में दर्शाया जा सकता है।


== नोटेशन ==
== टिप्पणी ==


पुनरावृत्त बाइनरी ऑपरेशंस का उपयोग एक ऑपरेशन का प्रतिनिधित्व करने के लिए किया जाता है जिसे कुछ बाधाओं के अधीन सेट पर दोहराया जाएगा। आमतौर पर प्रतिबंध की निचली सीमा प्रतीक के नीचे लिखी जाती है, और ऊपरी सीमा प्रतीक के ऊपर लिखी जाती है, हालांकि उन्हें कॉम्पैक्ट नोटेशन में सुपरस्क्रिप्ट और सबस्क्रिप्ट के रूप में भी लिखा जा सकता है। इंटरपोलेशन निचले से ऊपरी बाउंड तक सकारात्मक [[पूर्णांक]] पर किया जाता है, सेट का उत्पादन करने के लिए जिसे इंडेक्स में प्रतिस्थापित किया जाएगा (नीचे i के रूप में दर्शाया गया है){{space|hair}}) बार-बार संचालन के लिए।
पुनरावृत्त बाइनरी संचालन का उपयोग संचालन का प्रतिनिधित्व करने के लिए किया जाता है | जिसे कुछ बाधाओं के अधीन समुच्चय पर दोहराया जाएगा। सामान्यतः प्रतिबंध की निचली सीमा प्रतीक के नीचे लिखी जाती है, और ऊपरी सीमा प्रतीक के ऊपर लिखी जाती है | चूँकि उन्हें कॉम्पैक्ट टिप्पणी में सुपरस्क्रिप्ट और सबस्क्रिप्ट के रूप में भी लिखा जा सकता है। इंटरपोलेशन निचले से ऊपरी बाउंड तक सकारात्मक [[पूर्णांक]] पर किया जाता है | समुच्चय का उत्पादन करने के लिए जिसे संकेत में प्रतिस्थापित किया जाएगा (नीचे i के रूप में दर्शाया गया है)) बार-बार संचालन के लिए।


सामान्य संकेतन में बड़ा सिग्मा (सारांश) और बड़ा पाई (उत्पाद (गणित)) अंकन शामिल हैं।
सामान्य संकेतन में बड़ा सिग्मा (सारांश) और बड़ा पाई (उत्पाद (गणित)) अंकन सम्मिलित हैं।


<math display="block">\sum_{i=0}^{n-1} i = 0+1+2+ \dots + (n-1)</math>
<math display="block">\sum_{i=0}^{n-1} i = 0+1+2+ \dots + (n-1)</math><math display="block">\prod_{i=0}^{n-1} i = 0 \times 1 \times 2 \times \dots \times (n-1)</math>
<math display="block">\prod_{i=0}^{n-1} i = 0 \times 1 \times 2 \times \dots \times (n-1)</math>
स्पष्ट रूप से निर्दिष्ट करने के लिए स्पष्ट रूप से निर्दिष्ट करने के लिए समुच्चय सदस्यता या अन्य तार्किक बाधाओं को निर्दिष्ट करना संभव है | समुच्चय के कौन से तत्वों का उपयोग किया जाएगा |
स्पष्ट रूप से निर्दिष्ट करने के लिए स्पष्ट रूप से निर्दिष्ट करने के लिए सेट सदस्यता या अन्य तार्किक बाधाओं को निर्दिष्ट करना संभव है, सेट के कौन से तत्वों का उपयोग किया जाएगा:


<math display="block">\sum_{x \in S} x = x_1 + x_2 + x_3 + \dots + x_n</math>
<math display="block">\sum_{x \in S} x = x_1 + x_2 + x_3 + \dots + x_n</math>
एकाधिक शर्तों को या तो एक [[तार्किक और]] या अलग से जोड़ा जा सकता है:
एकाधिक शर्तों को या तो [[तार्किक और]] या अलग से जोड़ा जा सकता है |


<math display="block">\sum_{(i \in 2\N) \wedge (i \leq n)} i = \sum_{\stackrel{i \in 2\N}{i \leq n }} i = 0 + 2 + 4 + \dots + n</math>
<math display="block">\sum_{(i \in 2\N) \wedge (i \leq n)} i = \sum_{\stackrel{i \in 2\N}{i \leq n }} i = 0 + 2 + 4 + \dots + n</math>
कम आम तौर पर, कोई भी [[बाइनरी ऑपरेटर]] जैसे [[एकमात्र]] {{nowrap|(<math>\oplus</math>)}} या [[ संघ स्थापित करें ]] {{nowrap|(<math>\cup</math>)}} का भी प्रयोग किया जा सकता है।<ref>{{cite web |last1=Weisstein |first1=Eric W.|title=मिलन|url=http://mathworld.wolfram.com/Union.html |website=mathworld.wolfram.com |publisher=Wolfram Mathworld |access-date=30 January 2018 |language=en}}</ref> उदाहरण के लिए, यदि S तार्किक तर्कवाक्यों का एक समुच्चय है:
कम सामान्यतः, कोई भी [[बाइनरी ऑपरेटर|बाइनरी संचालक]] जैसे [[एकमात्र]] {{nowrap|(<math>\oplus</math>)}} या [[ संघ स्थापित करें |संघ स्थापित करें]] {{nowrap|(<math>\cup</math>)}} का भी प्रयोग किया जा सकता है।<ref>{{cite web |last1=Weisstein |first1=Eric W.|title=मिलन|url=http://mathworld.wolfram.com/Union.html |website=mathworld.wolfram.com |publisher=Wolfram Mathworld |access-date=30 January 2018 |language=en}}</ref> उदाहरण के लिए, यदि S तार्किक तर्कवाक्यों का समुच्चय है |


<math display="block">\bigwedge_{p \in S} p = p_1 \wedge p_2 \wedge \dots \wedge p_N</math>
<math display="block">\bigwedge_{p \in S} p = p_1 \wedge p_2 \wedge \dots \wedge p_N</math>
जो सत्य है यदि S के सभी अवयव सत्य हैं।
जो सत्य है | यदि S के सभी अवयव सत्य हैं।


== यह भी देखें ==
== यह भी देखें ==
* जारी अंश
* निरंतर भिन्न
* गुना (उच्च क्रम समारोह)
* फोल्ड (उच्च क्रम फलन)
*अनंत उत्पाद
*अनंत उत्पाद
*अनंत श्रंखला
*अनंत श्रंखला
Line 62: Line 61:


==बाहरी संबंध==
==बाहरी संबंध==
* [https://web.archive.org/web/20071009181156/http://www.short-fuze.co.uk/~eddy/math/associate.html Bulk action] <!-- archived from the original -->
* [https://web.archive.org/web/20071009181156/http://www.short-fuze.co.uk/~eddy/math/associate.html Bulk action]
* [http://wotug.ukc.ac.uk/parallel/acronyms/hpccgloss/P.html#parallel%20prefix Parallel prefix operation] {{Webarchive|url=https://web.archive.org/web/20130603182033/http://wotug.ukc.ac.uk/parallel/acronyms/hpccgloss/P.html#parallel%20prefix |date=2013-06-03 }}
* [http://wotug.ukc.ac.uk/parallel/acronyms/hpccgloss/P.html#parallel%20prefix Parallel prefix operation] {{Webarchive|url=https://web.archive.org/web/20130603182033/http://wotug.ukc.ac.uk/parallel/acronyms/hpccgloss/P.html#parallel%20prefix |date=2013-06-03 }}
* [http://www.cs.cornell.edu/Info/People/sfa/Nuprl/iterated_binops/Xiter_via_intseg_remark_INTRO.html Nuprl iterated binary operations][[Category: बाइनरी ऑपरेशंस]]  
* [http://www.cs.cornell.edu/Info/People/sfa/Nuprl/iterated_binops/Xiter_via_intseg_remark_INTRO.html Nuprl iterated binary operations]


 
[[Category:CS1 English-language sources (en)]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 13/05/2023]]
[[Category:Created On 13/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Webarchive template wayback links]]
[[Category:बाइनरी ऑपरेशंस]]

Latest revision as of 10:37, 30 May 2023

गणित में, पुनरावर्तित बाइनरी संचालन एक समुच्चय (गणित) S पर बाइनरी संचालन का विस्तार है | जो बार-बार अनुप्रयोग के माध्यम से S के तत्वों के परिमित अनुक्रम पर फलन (गणित) तक होता है।[1] सामान्य उदाहरणों में संकलन संक्रिया में जोड़ संक्रिया का विस्तार, और गुणन संक्रिया का उत्पाद (गणित) संक्रिया तक विस्तार सम्मिलित है। अन्य संचालन, उदाहरण के लिए, समुच्चय-थ्योरिटिक संचालन संघ (समुच्चय सिद्धांत) और प्रतिच्छेदन (समुच्चय सिद्धांत) भी अधिकांशतः दोहराए जाते हैं | किन्तु पुनरावृत्तियों को अलग-अलग नाम नहीं दिए जाते हैं। प्रिंट में, योग और उत्पाद विशेष प्रतीकों द्वारा दर्शाए जाते हैं | किन्तु अन्य पुनरावृत्त संचालको को अधिकांशतः साधारण बाइनरी संचालक के प्रतीक के बड़े वेरिएंट द्वारा दर्शाया जाता है। इस प्रकार, ऊपर वर्णित चार परिचालनों के पुनरावृत्तियों को निरूपित किया गया है |

और , क्रमशः

अधिक सामान्यतः, बाइनरी फलन का पुनरावृत्ति सामान्यतः स्लैश द्वारा दर्शाया जाता है | पुनरावृत्ति अनुक्रम के ऊपर द्वारा निरूपित किया जाता है | , बर्ड-मीर्टेंस औपचारिकता में फोल्ड (उच्च-क्रम फलन) के लिए संकेतन के बाद किया जाता है।

सामान्यतः, परिमित अनुक्रमों पर संचालित करने के लिए बाइनरी संचालन का विस्तार करने का एक से अधिक विधि है | यह इस तथ्य पर निर्भर करता है कि क्या संचालक साहचर्य है, और क्या संचालक के पास पहचान तत्व हैं।

परिभाषा

j ≥ 0 और kj, के साथ ji < k के लिए सदस्यों (ai) के साथ S के तत्वों की लंबाई k = j के परिमित अनुक्रम को aj,k से निरूपित करें। ध्यान दें कि यदि k = j अनुक्रम खाली है।

f के लिए: f : S × S के तत्वों के परिमित गैररिक्त अनुक्रमों पर एक नया फलन Fl परिभाषित करता है |

इसी प्रकार परिभाषित करें
यदि f की अद्वितीय बाईं पहचान e है, तो Fl की परिभाषा Fl के मूल्य को परिभाषित करके खाली अनुक्रमों पर काम करने के लिए संशोधित किया जा सकता है | खाली अनुक्रम पर e होना (लंबाई 1 के अनुक्रम पर पिछला आधार स्थिति हो जाती है)। इसी तरह, Fr यदि f के पास विशिष्ट अधिकार पहचान है, तो खाली अनुक्रमों पर काम करने के लिए संशोधित किया जा सकता है।

यदि f साहचर्य है, तो Fl Fr के समान, और हम बस F लिख सकते हैं। इसके अतिरिक्त, यदि कोई पहचान तत्व e उपस्थित है, तो यह अद्वितीय है (मोनॉयड देखें)।

यदि f क्रमविनिमेय और साहचर्य है, तो F किसी भी गैर-खाली परिमित मल्टीसेट पर इसे मल्टीसेट की अच्चानुसार गणना पर प्रयुक्त करके संचालित कर सकता है। यदि इसके अतिरिक्त f में पहचान तत्व e है, तो इसे खाली मल्टीसेट पर F के मान के रूप में परिभाषित किया जाता है। यदि f व्यर्थ है, तो उपरोक्त परिभाषाओं को परिमित समुच्चय तक बढ़ाया जा सकता है।

यदि S भी आव्यूह (गणित) या अधिक सामान्यतः टोपोलॉजी से लैस है | जो हॉसडॉर्फ स्पेस है | जिससे अनुक्रम की सीमा की अवधारणा को S में परिभाषित किया जा सके, तो S में गणनीय अनुक्रम पर अनंतता पुनरावृति को ठीक उसी समय परिभाषित किया जाता है | जब परिमित पुनरावृत्तियों का संगत क्रम अभिसरण करता है। इस प्रकार, उदाहरण के लिए, यदि a0, a1, a2, a3,, … वास्तविक संख्याओं का अनंत क्रम है | फिर अनंत गुणनफल परिभाषित है, और के समान है | यदि और केवल यदि वह सीमा उपस्थित है।

गैर-सहयोगी बाइनरी संचालन

मैग्मा (बीजगणित) द्वारा सामान्य, गैर-सहयोगी बाइनरी संचालन दिया जाता है। गैर-सहयोगी बाइनरी संचालन पर पुनरावृति के कार्य को बाइनरी ट्री के रूप में दर्शाया जा सकता है।

टिप्पणी

पुनरावृत्त बाइनरी संचालन का उपयोग संचालन का प्रतिनिधित्व करने के लिए किया जाता है | जिसे कुछ बाधाओं के अधीन समुच्चय पर दोहराया जाएगा। सामान्यतः प्रतिबंध की निचली सीमा प्रतीक के नीचे लिखी जाती है, और ऊपरी सीमा प्रतीक के ऊपर लिखी जाती है | चूँकि उन्हें कॉम्पैक्ट टिप्पणी में सुपरस्क्रिप्ट और सबस्क्रिप्ट के रूप में भी लिखा जा सकता है। इंटरपोलेशन निचले से ऊपरी बाउंड तक सकारात्मक पूर्णांक पर किया जाता है | समुच्चय का उत्पादन करने के लिए जिसे संकेत में प्रतिस्थापित किया जाएगा (नीचे i के रूप में दर्शाया गया है)) बार-बार संचालन के लिए।

सामान्य संकेतन में बड़ा सिग्मा (सारांश) और बड़ा पाई (उत्पाद (गणित)) अंकन सम्मिलित हैं।

स्पष्ट रूप से निर्दिष्ट करने के लिए स्पष्ट रूप से निर्दिष्ट करने के लिए समुच्चय सदस्यता या अन्य तार्किक बाधाओं को निर्दिष्ट करना संभव है | समुच्चय के कौन से तत्वों का उपयोग किया जाएगा |

एकाधिक शर्तों को या तो तार्किक और या अलग से जोड़ा जा सकता है |

कम सामान्यतः, कोई भी बाइनरी संचालक जैसे एकमात्र () या संघ स्थापित करें () का भी प्रयोग किया जा सकता है।[2] उदाहरण के लिए, यदि S तार्किक तर्कवाक्यों का समुच्चय है |

जो सत्य है | यदि S के सभी अवयव सत्य हैं।

यह भी देखें

  • निरंतर भिन्न
  • फोल्ड (उच्च क्रम फलन)
  • अनंत उत्पाद
  • अनंत श्रंखला

संदर्भ

  1. Saunders MacLane (1971). कामकाजी गणितज्ञ के लिए श्रेणियाँ. New York: Springer-Verlag. p. 142. ISBN 0387900357.
  2. Weisstein, Eric W. "मिलन". mathworld.wolfram.com (in English). Wolfram Mathworld. Retrieved 30 January 2018.


बाहरी संबंध