निःशक्तता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Property of operations}}
{{Short description|Property of operations}}
{{For|बीजगणित में अवधारणाएँ|उदासीन (वलय सिद्धांत)|उदासीन आव्यूह}}
{{For|बीजगणित में अवधारणाएँ|निःशक्तता (वलय सिद्धांत)|निःशक्तता आव्यूह}}
[[File:On Off - Zał Wył (3086204137).jpg|thumb|ट्रेन के [[ गंतव्य चिह्न ]] कंट्रोल पैनल के ऑन/ऑफ बटन। ऑन बटन (हरा) को दबाना बेकार ऑपरेशन है, क्योंकि इसका एक ही प्रभाव होता है चाहे इसे एक बार या कई बार किया जाए। इसी प्रकार, ऑफ को दबाना बेवकूफी है।]]निःशक्तता ({{IPAc-en|UK|,|ɪ|d|ɛ|m|ˈ|p|əʊ|t|ən|s}},<ref>{{cite dictionary |title=आलस्य|dictionary=[[Oxford English Dictionary]] |url=http://www.oed.com/view/Entry/273873 |date=2010 |edition= 3rd|publisher=Oxford University Press }}</ref> {{IPAc-en|US|ˈ|aɪ|d|ə|m|-}})<ref>{{cite dictionary |title=बेकार|url=http://www.merriam-webster.com/dictionary/बेकार|dictionary=[[Merriam-Webster]] |url-status=live |archive-url=https://web.archive.org/web/20161019143953/http://www.merriam-webster.com/dictionary/बेकार|archive-date=2016-10-19 }}</ref> गणित और [[कंप्यूटर विज्ञान]] में कुछ ऑपरेशन (गणित) का गुण है जिससे उन्हें प्रारंभिक आवेदन से परे परिणाम को बदले बिना उन्हें कई बार प्रायुक्त किया जा सकता है। अमूर्त बीजगणित (विशेष रूप से, [[प्रोजेक्टर (रैखिक बीजगणित)]] और [[ बंद करने वाला ऑपरेटर | बंद करने वाला ऑपरेटरों]] के सिद्धांत में) और [[कार्यात्मक प्रोग्रामिंग]] (जिसमें यह संदर्भित पारदर्शिता की गुण से जुड़ा है) में कई स्थानों पर निष्क्रियता की अवधारणा उत्पन्न होती है।
[[File:On Off - Zał Wył (3086204137).jpg|thumb|ट्रेन के [[ गंतव्य चिह्न |गंतव्य चिह्न]] कंट्रोल पैनल के ऑन/ऑफ बटन। ऑन बटन (हरा) को दबाना बेकार ऑपरेशन है, क्योंकि इसका एक ही प्रभाव होता है चाहे इसे एक बार या कई बार किया जाए। इसी प्रकार, ऑफ को दबाना बेवकूफी है।]]निःशक्तता ({{IPAc-en|UK|,|ɪ|d|ɛ|m|ˈ|p|əʊ|t|ən|s}},<ref>{{cite dictionary |title=आलस्य|dictionary=[[Oxford English Dictionary]] |url=http://www.oed.com/view/Entry/273873 |date=2010 |edition= 3rd|publisher=Oxford University Press }}</ref> {{IPAc-en|US|ˈ|aɪ|d|ə|m|-}})<ref>{{cite dictionary |title=बेकार|url=http://www.merriam-webster.com/dictionary/बेकार|dictionary=[[Merriam-Webster]] |url-status=live |archive-url=https://web.archive.org/web/20161019143953/http://www.merriam-webster.com/dictionary/बेकार|archive-date=2016-10-19 }}</ref> गणित और [[कंप्यूटर विज्ञान]] में कुछ ऑपरेशन (गणित) का गुण है जिससे उन्हें प्रारंभिक आवेदन से परे परिणाम को बदले बिना उन्हें कई बार प्रायुक्त किया जा सकता है। अमूर्त बीजगणित (विशेष रूप से, [[प्रोजेक्टर (रैखिक बीजगणित)]] और [[ बंद करने वाला ऑपरेटर |बंद करने वाला ऑपरेटरों]] के सिद्धांत में) और [[कार्यात्मक प्रोग्रामिंग|फलनात्मक प्रोग्रामिंग]] (जिसमें यह संदर्भित पारदर्शिता की गुण से जुड़ा है) में कई स्थानों पर निष्क्रियता की अवधारणा उत्पन्न होती है।


यह शब्द 1870 में अमेरिकी गणितज्ञ [[बेंजामिन पीयर्स]] द्वारा प्रस्तुत किया गया था{{sfn|Polcino|Sehgal|2002|p=[https://books.google.is/books?id=7m9P9hM4pCQC&lpg=PA75&vq=Idempotence&pg=PA127#v=snippet&q=peirce&f=false 127]}} बीजगणित के तत्वों के संदर्भ में जो धनात्मक पूर्णांक शक्ति तक उठाए जाने पर अपरिवर्तित रहते हैं, और इसका शाब्दिक अर्थ (समान शक्ति होने की गुणवत्ता) से {{wikt-lang|la|idem}} + विक्त: सामर्थ्य (समान + शक्ति) है ।
यह शब्द 1870 में अमेरिकी गणितज्ञ [[बेंजामिन पीयर्स]] द्वारा प्रस्तुत किया गया था{{sfn|Polcino|Sehgal|2002|p=[https://books.google.is/books?id=7m9P9hM4pCQC&lpg=PA75&vq=Idempotence&pg=PA127#v=snippet&q=peirce&f=false 127]}} बीजगणित के तत्वों के संदर्भ में जो धनात्मक पूर्णांक शक्ति तक उठाए जाने पर अपरिवर्तित रहते हैं, और इसका शाब्दिक अर्थ (समान शक्ति होने की गुणवत्ता) से {{wikt-lang|la|idem}} + विक्त: सामर्थ्य (समान + शक्ति) है ।


== परिभाषा ==
== परिभाषा ==
बाइनरी ऑपरेटर <math>\cdot</math> से लैस सेट <math>S</math> का एक तत्व <math>x</math> <math>\cdot</math> के अनुसार निःशक्तता कहा गया है यदि<ref>{{cite book |last=Valenza |first=Robert |date=2012 |title=Linear Algebra: An Introduction to Abstract Mathematics |url=https://books.google.com/books?id=7x8MCAAAQBAJ |location=Berlin |publisher=Springer Science & Business Media |page=22 |isbn=9781461209010 |quote=An element ''s'' of a magma such that ''ss'' = ''s'' is called ''idempotent''.}}</ref><ref>{{cite book |last=Doneddu |first=Alfred |date=1976 |title=Polynômes et algèbre linéaire |url=https://books.google.com/books?id=5Ry7AAAAIAAJ |language=fr |location=Paris |publisher=Vuibert |page=180 |quote=Soit ''M'' un magma, noté multiplicativement. On nomme idempotent de ''M'' tout élément ''a'' de ''M'' tel que ''a''<sup>2</sup> = ''a''.}}</ref>
 
 
बाइनरी ऑपरेटर <math>\cdot</math> से लैस समुच्चय <math>S</math> का एक तत्व <math>x</math> <math>\cdot</math> के अनुसार निःशक्तता कहा गया है यदि<ref>{{cite book |last=Valenza |first=Robert |date=2012 |title=Linear Algebra: An Introduction to Abstract Mathematics |url=https://books.google.com/books?id=7x8MCAAAQBAJ |location=Berlin |publisher=Springer Science & Business Media |page=22 |isbn=9781461209010 |quote=An element ''s'' of a magma such that ''ss'' = ''s'' is called ''idempotent''.}}</ref><ref>{{cite book |last=Doneddu |first=Alfred |date=1976 |title=Polynômes et algèbre linéaire |url=https://books.google.com/books?id=5Ry7AAAAIAAJ |language=fr |location=Paris |publisher=Vuibert |page=180 |quote=Soit ''M'' un magma, noté multiplicativement. On nomme idempotent de ''M'' tout élément ''a'' de ''M'' tel que ''a''<sup>2</sup> = ''a''.}}</ref>
: {{nowrap|1=<math>x\cdot x=x</math>}}.
: {{nowrap|1=<math>x\cdot x=x</math>}}.
बाइनरी ऑपरेशन <math>\cdot</math> को निःशक्तता कहा जाता है यदि <ref>{{cite book | author=George Grätzer | title=सामान्य जाली सिद्धांत| url=https://archive.org/details/generallatticeth0000grat | url-access=registration | location=Basel | publisher=Birkhäuser | year=2003 }} Here: Sect.1.2, p.5.</ref><ref>{{cite book | author=Garrett Birkhoff | title=जाली सिद्धांत| location=Providence | publisher=Am. Math. Soc. | series=Colloquium Publications | volume=25 | year=1967 }}. Here: Sect.I.5, p.8.</ref>
बाइनरी ऑपरेशन <math>\cdot</math> को निःशक्तता कहा जाता है यदि <ref>{{cite book | author=George Grätzer | title=सामान्य जाली सिद्धांत| url=https://archive.org/details/generallatticeth0000grat | url-access=registration | location=Basel | publisher=Birkhäuser | year=2003 }} Here: Sect.1.2, p.5.</ref><ref>{{cite book | author=Garrett Birkhoff | title=जाली सिद्धांत| location=Providence | publisher=Am. Math. Soc. | series=Colloquium Publications | volume=25 | year=1967 }}. Here: Sect.I.5, p.8.</ref>
Line 12: Line 14:


== उदाहरण ==
== उदाहरण ==
* [[मोनोइड]] में <math>(\mathbb{N}, \times)</math> गुणन के साथ [[प्राकृतिक संख्या]]ओं में से केवल 0 और 1 ही निःशक्तताउदासीन हैं। वास्तव में, {{nowrap|1=<math>0\times 0 = 0</math>}} और {{nowrap|1=<math>1\times 1=1</math>}}.
* [[मोनोइड]] में <math>(\mathbb{N}, \times)</math> गुणन के साथ [[प्राकृतिक संख्या]]ओं में से केवल 0 और 1 ही निःशक्तता हैं। वास्तविक में, {{nowrap|1=<math>0\times 0 = 0</math>}} और {{nowrap|1=<math>1\times 1=1</math>}} होता हैं।.
* मोनोइड में <math>(\mathbb{N}, </math> +) जोड़ के साथ प्राकृतिक संख्याओं में, केवल 0 ही निःशक्तताउदासीन है। वास्तव में, {{nowrap|1=0 + 0 = 0}}.
* मोनोइड में <math>(\mathbb{N}, </math> +) जोड़ के साथ प्राकृतिक संख्याओं में, केवल 0 ही निःशक्तता है। वास्तविक में, {{nowrap|1=0 + 0 = 0}} होता हैं।
* मैग्मा (बीजगणित) में <math>(M, \cdot)</math>, [[पहचान तत्व]] <math>e</math> या [[शोषक तत्व]] <math>a</math>, यदि यह मौजूद है, तो यह निःशक्तताउदासीन है। वास्तव में, {{nowrap|1=<math>e\cdot e=e</math>}} और {{nowrap|1=<math>a\cdot a=a</math>}}.
* मैग्मा (बीजगणित) में <math>(M, \cdot)</math>, [[पहचान तत्व]] <math>e</math> या [[शोषक तत्व]] <math>a</math>, यदि यह मौजूद है, तो यह निःशक्तता है। वास्तविक में, {{nowrap|1=<math>e\cdot e=e</math>}} और {{nowrap|1=<math>a\cdot a=a</math>}} होता हैं।
* समूह में (गणित) <math>(G, \cdot)</math>, पहचान तत्व <math>e</math> मात्र निष्पाप तत्व है। दरअसल, यदि <math>x</math> का तत्व है <math>G</math> ऐसा है कि {{nowrap|1=<math>x\cdot x=x</math>}}, तब {{nowrap|1=<math>x\cdot x=x\cdot e</math>}} और अंत में <math>x=e</math> के व्युत्क्रम तत्व द्वारा बाईं ओर गुणा करके <math>x</math>.
* समूह में (गणित) <math>(G, \cdot)</math>, पहचान तत्व <math>e</math> मात्र निष्पाप तत्व है। वास्तविक में, यदि <math>x</math> का तत्व <math>G</math> है जैसे कि {{nowrap|1=<math>x\cdot x=x</math>}}, तब {{nowrap|1=<math>x\cdot x=x\cdot e</math>}} और अंत में <math>x=e</math> के बाईं ओर <math>x</math> के व्युत्क्रम तत्व से गुणा करना चाहिये।
* मोनोइड्स में <math>(\mathcal{P}(E), \cup)</math> और <math>(\mathcal{P}(E), \cap)</math> [[ सत्ता स्थापित ]] की <math>\mathcal{P}(E)</math> सेट का <math>E</math> संघ के साथ (सेट सिद्धांत) <math>\cup</math> और [[चौराहा (सेट सिद्धांत)]] <math>\cap</math> क्रमश, <math>\cup</math> और <math>\cap</math> निःशक्तता हैं। वास्तव में, {{nowrap|1=<math>x\cup x=x</math> for all <math>x\in \mathcal{P}(E)</math>}}, और {{nowrap|1=<math>x\cap x=x</math> for all <math>x\in \mathcal{P}(E)</math>}}.
* मोनोइड्स में <math>(\mathcal{P}(E), \cup)</math> और <math>(\mathcal{P}(E), \cap)</math> [[ सत्ता स्थापित |सत्ता स्थापित]] की <math>\mathcal{P}(E)</math> समुच्चय का <math>E</math> संघ के साथ (समुच्चय सिद्धांत) <math>\cup</math> और [[चौराहा (सेट सिद्धांत)|प्रतिच्छेद (समुच्चय सिद्धांत)]] <math>\cap</math> क्रमश, <math>\cup</math> और <math>\cap</math> निःशक्तता हैं। वास्तविक में, {{nowrap|1=<math>x\cup x=x</math> for all <math>x\in \mathcal{P}(E)</math>}}, और {{nowrap|1=<math>x\cap x=x</math> for all <math>x\in \mathcal{P}(E)</math>}} हैं।
* मोनोइड्स में <math>(\{0, 1\}, \vee)</math> और <math>(\{0, 1\}, \wedge)</math> तार्किक संयोजन के साथ [[बूलियन डोमेन]] का <math>\vee</math> और [[तार्किक संयोजन]] <math>\wedge</math> क्रमश, <math>\vee</math> और <math>\wedge</math> निःशक्तता हैं। वास्तव में, {{nowrap|1=<math>x\vee x=x</math> for all <math>x\in \{0, 1\}</math>}}, और {{nowrap|1=<math>x\wedge x=x</math> for all <math>x\in \{0, 1\}</math>}}.
* मोनोइड्स में <math>(\{0, 1\}, \vee)</math> और <math>(\{0, 1\}, \wedge)</math> तार्किक संयोजन के साथ [[बूलियन डोमेन]] का <math>\vee</math> और [[तार्किक संयोजन]] <math>\wedge</math> क्रमश, <math>\vee</math> और <math>\wedge</math> निःशक्तता हैं। वास्तविक में, {{nowrap|1=<math>x\vee x=x</math> for all <math>x\in \{0, 1\}</math>}}, और {{nowrap|1=<math>x\wedge x=x</math> for all <math>x\in \{0, 1\}</math>}} हैं।
* GCD डोमेन में (उदाहरण के लिए <math>\mathbb{Z}</math>), सबसे बड़े सामान्य विभाजक और कम से कम सामान्य गुणक की संक्रियाएँ निःशक्तताउदासीन होती हैं।
* जीसीडी डोमेन में (उदाहरण के लिए <math>\mathbb{Z}</math>), सबसे बड़े सामान्य विभाजक और कम से कम सामान्य गुणक की संक्रियाएँ निःशक्तता होती हैं।
* [[बूलियन रिंग]] में, गुणन निःशक्तताउदासीन होता है।
* [[बूलियन रिंग|बूलियन वलय]] में, गुणन निःशक्तता होता है।
* [[उष्णकटिबंधीय सेमिरिंग]] में, योग निःशक्तताउदासीन है।
* [[उष्णकटिबंधीय सेमिरिंग|उष्णकटिबंधीय अर्द्धवलय]] में, योग निःशक्तता है।
* मैट्रिक्स_रिंग में, idempotent मैट्रिक्स का निर्धारक या तो 0 या 1 है। यदि निर्धारक 1 है, तो मैट्रिक्स अनिवार्य रूप से पहचान मैट्रिक्स है।{{cn|date=November 2022}}
* आव्यूह_वलय में, निःशक्तता आव्यूह का निर्धारक या तो 0 या 1 है। यदि निर्धारक 1 है, तो आव्यूह अनिवार्य रूप से पहचान आव्यूह है।{{cn|date=November 2022}}


=== निःशक्तताउदासीन कार्य ===
=== निःशक्तता फलन ===
मोनॉइड में <math>(E^E, \circ)</math> सेट से कार्यों की <math>E</math> स्वयं के लिए (देखें Function_(गणित)#Set_exponentiation) फ़ंक्शन संरचना के साथ <math>\circ</math>, निःशक्तताउदासीन तत्व कार्य हैं {{nowrap|<math>f\colon E\to E</math>}} ऐसा है कि {{nowrap|1=<math>f\circ f = f</math>}},<ref>This is an equation between functions. Two functions are equal if their domains and ranges agree, and their output values agree on their whole domain.</ref> वह ऐसा है {{nowrap|1=<math>f(f(x))=f(x)</math> for all <math>x\in E</math>}} (दूसरे शब्दों में, छवि <math>f(x)</math> प्रत्येक तत्व का <math>x\in E</math> का [[निश्चित बिंदु (गणित)]] है <math>f</math>). उदाहरण के लिए:
मोनॉइड में <math>(E^E, \circ)</math> समुच्चय से फलनों की <math>E</math> स्वयं के लिए (देखें फलन_(गणित) समूह_घातांक) फलन संरचना के साथ <math>\circ</math>, निःशक्तता तत्व फलन {{nowrap|<math>f\colon E\to E</math>}} हैं, ऐसा है कि {{nowrap|1=<math>f\circ f = f</math>}},<ref>This is an equation between functions. Two functions are equal if their domains and ranges agree, and their output values agree on their whole domain.</ref> वह ऐसा {{nowrap|1=<math>f(f(x))=f(x)</math> for all <math>x\in E</math>}} (दूसरे शब्दों में, छवि <math>f(x)</math> प्रत्येक तत्व का <math>x\in E</math> का [[निश्चित बिंदु (गणित)]] है <math>f</math>) है। उदाहरण के लिए:
* [[निरपेक्ष मूल्य]] निःशक्तताउदासीन है। वास्तव में, {{nowrap|1=<math>\operatorname{abs}\circ \operatorname{abs}=\operatorname{abs}</math>}}, वह है {{nowrap|1=<math>\operatorname{abs}(\operatorname{abs}(x))=\operatorname{abs}(x)</math> for all <math>x</math>}};
* [[निरपेक्ष मूल्य]] निःशक्तता है। वास्तविक में, {{nowrap|1=<math>\operatorname{abs}\circ \operatorname{abs}=\operatorname{abs}</math>}}, वह है {{nowrap|1=<math>\operatorname{abs}(\operatorname{abs}(x))=\operatorname{abs}(x)</math> for all <math>x</math>}};
* निरंतर कार्य कार्य निःशक्तताउदासीन हैं;
* निरंतर फलन निःशक्तता हैं;
* पहचान कार्य निःशक्तताउदासीन है;
* पहचान फलन निःशक्तता है;
* [[फर्श और छत के कार्य]], फर्श और छत के कार्य और आंशिक भाग के कार्य निष्प्रभावी हैं;
* [[फर्श और छत के कार्य|फर्श और छत के फलन]], फर्श और छत के फलन और आंशिक भाग के फलन निष्प्रभावी हैं;
* किसी समूह के पावर सेट से समूह फ़ंक्शन का जनरेटिंग सेट बेवकूफ है;
* किसी समूह के पावर समुच्चय से समूह फलन का जनरेटिंग समुच्चय बेवकूफ है;
* [[वास्तविक संख्या]] पर affine स्थान के शक्ति सेट से उत्तल पतवार कार्य स्वयं के लिए निःशक्तताउदासीन है;
* [[वास्तविक संख्या|वास्तविकिक संख्या]] पर एफिन स्थान के शक्ति समुच्चय से उत्तल पतवार फलन स्वयं के लिए निःशक्तता है;
* [[टोपोलॉजिकल स्पेस]] के पावर सेट के [[क्लोजर (टोपोलॉजी)]] और [[इंटीरियर (टोपोलॉजी)]] कार्य स्वयं के लिए निःशक्तताउदासीन हैं;
* [[टोपोलॉजिकल स्पेस]] के पावर समुच्चय के [[क्लोजर (टोपोलॉजी)]] और [[इंटीरियर (टोपोलॉजी)]] फलन स्वयं के लिए निःशक्तता हैं;
* [[क्लेन स्टार]] और [[क्लीन प्लस]] मोनोइड के पावर सेट के स्वयं के कार्य हैं;
* [[क्लेन स्टार]] और [[क्लीन प्लस]] मोनोइड के पावर समुच्चय के स्वयं के फलन हैं;
* सदिश स्थान के निःशक्तताउदासीन [[एंडोमोर्फिज्म]] इसके प्रोजेक्शन (रैखिक बीजगणित) हैं।
* सदिश स्थान के निःशक्तता [[एंडोमोर्फिज्म]] इसके प्रोजेक्शन (रैखिक बीजगणित) हैं।


यदि सेट <math>E</math> है <math>n</math> तत्वों, हम इसे विभाजित कर सकते हैं <math>k</math> चुने गए निश्चित बिंदु और {{nowrap|<math>n-k</math>}} के तहत गैर निश्चित अंक <math>f</math>, और तब <math>k^{n-k}</math> विभिन्न idempotent कार्यों की संख्या है। इसलिए, सभी संभावित विभाजनों को ध्यान में रखते हुए,
यदि समुच्चय <math>E</math> है <math>n</math> तत्वों, हम इसे विभाजित कर सकते हैं <math>k</math> चुने गए निश्चित बिंदु और {{nowrap|<math>n-k</math>}} के प्रकार गैर निश्चित अंक <math>f</math>, और तब <math>k^{n-k}</math> विभिन्न निःशक्तता फलनों की संख्या है। इसलिए, सभी संभावित विभाजनों को ध्यान में रखते हुए,
: <math>\sum_{k=0}^n {n \choose k} k^{n-k}</math>
: <math>\sum_{k=0}^n {n \choose k} k^{n-k}</math>
सेट पर संभावित बेकार कार्यों की कुल संख्या है। n = 0, 1, 2, 3, 4, 5, 6, 7, 8, ... के लिए उपरोक्त योग द्वारा दिए गए idempotent फलनों की संख्या का [[पूर्णांक अनुक्रम]] 1, 1, 3, 10, 41 से प्रारंभ होता है , 196, 1057, 6322, 41393, ... {{OEIS|A000248}}.
समुच्चय पर संभावित बेकार फलनों की कुल संख्या है। n = 0, 1, 2, 3, 4, 5, 6, 7, 8, ... के लिए उपरोक्त योग द्वारा दिए गए निःशक्तता फलनों की संख्या का [[पूर्णांक अनुक्रम]] 1, 1, 3, 10, 41 से प्रारंभ होता है , 196, 1057, 6322, 41393, ... {{OEIS|A000248}}.


फ़ंक्शन रचना के तहत न तो निःशक्तताउदासीन होने की गुण और न ही होने की गुण को संरक्षित किया जाता है।<ref>If <math>f</math> and <math>g</math> commute under composition (i.e. if {{nowrap|1=<math>f\circ g=g\circ f</math>}}) then idempotency of both <math>f</math> and <math>g</math> implies that of {{nowrap|<math>f\circ g</math>}}, since {{nowrap|1=<math>(f\circ g)\circ (f\circ g)=f\circ (g\circ f)\circ g=f\circ (f\circ g)\circ g=(f\circ f)\circ (g\circ g)=f\circ g</math>}}, using the associativity of composition.</ref> पूर्व के लिए उदाहरण के रूप में, {{nowrap|1=<math>f(x)=x</math>}} [[मॉड्यूलर अंकगणित]] 3 और <math>g(x)=\max(x, 5)</math> दोनों निष्पाप हैं, लेकिन {{nowrap|<math>f\circ g</math>}} क्या नहीं है,<ref>e.g. <math>f(g(7))=f(7)=1</math>, but <math>f(g(1))=f(5)=2\neq 1</math></ref> यद्यपि {{nowrap|<math>g\circ f</math>}} होना होता है।<ref>also showing that commutation of <math>f</math> and <math>g</math> is not a [[necessary condition]] for idempotency preservation</ref> उत्तरार्द्ध के लिए उदाहरण के रूप में, निषेध कार्य <math>\neg</math> बूलियन डोमेन पर निःशक्तताउदासीन नहीं है, लेकिन {{nowrap|<math>\neg\circ\neg</math>}}<nowiki> है। इसी प्रकार, ात्मक निषेध {{nowrap|</nowiki><math>-(\cdot)</math>}वास्तविक संख्याओं का } निःशक्तताउदासीन नहीं है, लेकिन  {{nowrap|<math>-(\cdot)\circ -(\cdot)</math>}} है। दोनों ही स्थितियों में, रचना केवल पहचान कार्य है, जो कि निःशक्तताउदासीन है।
फलन रचना के तहत न तो निःशक्तता होने की गुण और न ही होने की गुण को संरक्षित किया जाता है।<ref>If <math>f</math> and <math>g</math> commute under composition (i.e. if {{nowrap|1=<math>f\circ g=g\circ f</math>}}) then idempotency of both <math>f</math> and <math>g</math> implies that of {{nowrap|<math>f\circ g</math>}}, since {{nowrap|1=<math>(f\circ g)\circ (f\circ g)=f\circ (g\circ f)\circ g=f\circ (f\circ g)\circ g=(f\circ f)\circ (g\circ g)=f\circ g</math>}}, using the associativity of composition.</ref> पूर्व के लिए उदाहरण के रूप में, {{nowrap|1=<math>f(x)=x</math>}} [[मॉड्यूलर अंकगणित]] 3 और <math>g(x)=\max(x, 5)</math> दोनों निष्पाप हैं, किन्तु {{nowrap|<math>f\circ g</math>}} क्या नहीं है,<ref>e.g. <math>f(g(7))=f(7)=1</math>, but <math>f(g(1))=f(5)=2\neq 1</math></ref> यद्यपि {{nowrap|<math>g\circ f</math>}} होना होता है।<ref>also showing that commutation of <math>f</math> and <math>g</math> is not a [[necessary condition]] for idempotency preservation</ref> उत्तरार्द्ध के लिए उदाहरण के रूप में, निषेध फलन <math>\neg</math> बूलियन डोमेन पर निःशक्तता नहीं है, किन्तु {{nowrap|<math>\neg\circ\neg</math>}}<nowiki> है। इसी प्रकार, एकात्मक निषेध {{nowrap|</nowiki><math>-(\cdot)</math>} वास्तविकिक संख्याओं का } निःशक्तता नहीं है, किन्तु {{nowrap|<math>-(\cdot)\circ -(\cdot)</math>}} है। दोनों ही स्थितियों में, रचना केवल पहचान फलन है, जो कि निःशक्तता है।


== कंप्यूटर विज्ञान का अर्थ ==
== कंप्यूटर विज्ञान का अर्थ ==
{{See also|संदर्भात्मक पारदर्शिता|पुनः प्रवेशी (उपनेमका)|स्थिर छँटाई|कमांड परिप्रश्न पृथक्करण}}
{{See also|संदर्भात्मक पारदर्शिता|पुनः प्रवेशी (उपनेमका)|स्थिर छँटाई|कमांड परिप्रश्न पृथक्करण}}


कंप्यूटर विज्ञान में, जिस संदर्भ में इसे प्रायुक्त किया गया है, उसके आधार पर शब्दहीनता का अलग अर्थ हो सकता है:
कंप्यूटर विज्ञान में, जिस संदर्भ में इसे प्रायुक्त किया गया है, उसके आधार पर शब्दहीनता का अलग अर्थ हो सकता है:
* [[अनिवार्य प्रोग्रामिंग]] में, [[ साइड इफेक्ट (कंप्यूटर विज्ञान) ]] के साथ [[सबरूटीन]] बेकार है यदि सबरूटीन को कई कॉल सिस्टम स्टेट पर सिंगल कॉल के समान प्रभाव डालते हैं, दूसरे शब्दों में यदि सिस्टम स्टेट स्पेस [[शुद्ध समारोह]] खुद से जुड़ा होता है सबरूटीन #परिभाषा में दिए गए गणितीय अर्थ में निःशक्तताउदासीन है;
* [[अनिवार्य प्रोग्रामिंग]] में, [[ साइड इफेक्ट (कंप्यूटर विज्ञान) |साइड इफेक्ट (कंप्यूटर विज्ञान)]] के साथ [[सबरूटीन]] बेकार है यदि सबरूटीन को कई कॉल प्रणाली स्टेट पर सिंगल कॉल के समान प्रभाव डालते हैं, दूसरे शब्दों में यदि प्रणाली स्टेट स्पेस [[शुद्ध समारोह]] खुद से जुड़ा होता है सबरूटीन #परिभाषा में दिए गए गणितीय अर्थ में निःशक्तता है;
* कार्यात्मक प्रोग्रामिंग में, शुद्ध कार्य idempotent है यदि यह #Definition में दिए गए गणितीय अर्थ में idempotent है।
* फलनात्मक प्रोग्रामिंग में, शुद्ध फलन निःशक्तता है यदि यह परिभाषा में दिए गए गणितीय अर्थ में निःशक्तता है।


यह कई स्थितियों में बहुत ही उपयोगी गुण है, क्योंकि इसका मतलब है कि ऑपरेशन को दोहराया जा सकता है या अनपेक्षित प्रभाव पैदा किए बिना जितनी बार आवश्यक हो, पुनः प्रयास किया जा सकता है। नॉन-इम्पोटेंट ऑपरेशंस के साथ, एल्गोरिथम को ट्रैक करना पड़ सकता है कि ऑपरेशन पहले से ही किया गया था या नहीं।
यह कई स्थितियों में बहुत ही उपयोगी गुण है, क्योंकि इसका अर्थ है कि ऑपरेशन को दोहराया जा सकता है या अनपेक्षित प्रभाव पैदा किए बिना जितनी बार आवश्यक हो, पुनः प्रयास किया जा सकता है। गैर-महत्वपूर्ण ऑपरेशंस के साथ, एल्गोरिथम को ट्रैक करना पड़ सकता है कि ऑपरेशन पहले से ही किया गया था या नहीं किया गया था।


=== कंप्यूटर विज्ञान के उदाहरण ===
=== कंप्यूटर विज्ञान के उदाहरण ===
[[डेटाबेस]] में ग्राहक के नाम और पते को देखने वाला फ़ंक्शन सामान्यतः बेकार होता है, क्योंकि इससे डेटाबेस में बदलाव नहीं होगा। इसी तरह, ग्राहक के पते को XYZ में बदलने का अनुरोध सामान्यतः निःशक्तताउदासीन होता है, क्योंकि अंतिम पता वही होगा चाहे कितनी बार अनुरोध सबमिट किया गया हो। हालाँकि, ऑर्डर देने के लिए ग्राहक का अनुरोध सामान्यतः निःशक्तताउदासीन नहीं होता है क्योंकि कई अनुरोधों के कारण कई ऑर्डर दिए जाते हैं। किसी विशेष आदेश को रद्द करने का अनुरोध बेकार है क्योंकि चाहे कितने भी अनुरोध किए जाएं, आदेश रद्द ही रहता है।
[[डेटाबेस]] में ग्राहक के नाम और पते को देखने वाला फलन सामान्यतः बेकार होता है, क्योंकि इससे डेटाबेस में बदलाव नहीं होगा। इसी प्रकार, ग्राहक के पते को XYZ में बदलने का अनुरोध सामान्यतः निःशक्तता होता है, क्योंकि अंतिम पता वही होगा चाहे कितनी बार अनुरोध प्रस्तुत किया गया हो। चूँकि, ऑर्डर देने के लिए ग्राहक का अनुरोध सामान्यतः निःशक्तता नहीं होता है क्योंकि कई अनुरोधों के कारण कई ऑर्डर दिए जाते हैं। किसी विशेष आदेश को रद्द करने का अनुरोध बेकार है क्योंकि चाहे कितने भी अनुरोध किए जाएं, आदेश रद्द ही रहता है।


idempotent सबरूटीन्स का क्रम जहां कम से कम सबरूटीन दूसरों से अलग है, हालांकि, जरूरी नहीं है कि यदि बाद में सबरूटीन अनुक्रम में मान बदलता है, जो पहले के सबरूटीन पर निर्भर करता है - अनुक्रमिक संरचना के तहत idempotence बंद नहीं है। उदाहरण के लिए, मान लीजिए कि चर का प्रारंभिक मान 3 है और सबरूटीन अनुक्रम है जो चर को पढ़ता है, फिर इसे 5 में बदल देता है, और फिर इसे फिर से पढ़ता है। अनुक्रम में प्रत्येक चरण निःशक्तताउदासीन है: चर को पढ़ने वाले दोनों चरणों का कोई दुष्प्रभाव नहीं होता है और चर को 5 में बदलने वाले चरण का हमेशा ही प्रभाव होगा चाहे इसे कितनी बार निष्पादित किया जाए। बहरहाल, पूरे अनुक्रम को बार निष्पादित करने से आउटपुट (3, 5) उत्पन्न होता है, लेकिन इसे दूसरी बार निष्पादित करने से आउटपुट (5, 5) उत्पन्न होता है, इसलिए यह क्रम बेकार नहीं है।<!-- {{Citation needed|date=December 2017}} please discuss this on talk page before reinstating -->
निःशक्तता सबरूटीन्स का क्रम जहां कम से कम सबरूटीन दूसरों से अलग है, हालांकि, जरूरी नहीं है कि यदि बाद में सबरूटीन अनुक्रम में मान बदलता है, जो पहले के सबरूटीन पर निर्भर करता है - अनुक्रमिक संरचना के तहत निःशक्तता बंद नहीं है। उदाहरण के लिए, मान लीजिए कि चर का प्रारंभिक मान 3 है और सबरूटीन अनुक्रम है जो चर को पढ़ता है, फिर इसे 5 में बदल देता है, और फिर इसे फिर से पढ़ता है। अनुक्रम में प्रत्येक चरण निःशक्तता है: चर को पढ़ने वाले दोनों चरणों का कोई दुष्प्रभाव नहीं होता है और चर को 5 में बदलने वाले चरण का हमेशा ही प्रभाव होगा चाहे इसे कितनी बार निष्पादित किया जाए। चूँकि, पूरे अनुक्रम को बार निष्पादित करने से आउटपुट (3, 5) उत्पन्न होता है, किन्तु इसे दूसरी बार निष्पादित करने से आउटपुट (5, 5) उत्पन्न होता है, इसलिए यह क्रम बेकार नहीं है।<syntaxhighlight lang=c>
<syntaxhighlight lang=c>
int x = 3;
int x = 3;
void read() { printf("%d\n", x); }
void read() { printf("%d\n", x); }
Line 66: Line 67:
}
}
</syntaxhighlight>
</syntaxhighlight>
[[ हाइपरटेक्स्ट परहस्त शिष्टाचार ]] (HTTP) में, निष्क्रियता और हाइपरटेक्स्ट ट्रांसफर प्रोटोकॉल#सेफ मेथड्स प्रमुख विशेषताएँ हैं जो हाइपरटेक्स्ट ट्रांसफर प्रोटोकॉल#रिक्वेस्ट विधियों को अलग करती हैं। प्रमुख HTTP विधियों में से, GET, PUT और DELETE को मानक के अनुसार आदर्श विधि से प्रायुक्त किया जाना चाहिए, लेकिन POST होने की आवश्यकता नहीं है।<ref name="httpStd-methods">IETF, [http://tools.ietf.org/html/rfc7231#section-4.2.2 Hypertext Transfer Protocol (HTTP/1.1): Semantics and Content] {{webarchive|url=https://web.archive.org/web/20140608213403/http://tools.ietf.org/html/rfc7231 |date=2014-06-08 }}.  See also [[Hypertext Transfer Protocol|HyperText Transfer Protocol]].</ref> संसाधन की स्थिति प्राप्त करें; PUT संसाधन की स्थिति को अद्यतन करता है; और DELETE संसाधन को हटा देता है। जैसा कि ऊपर दिए गए उदाहरण में है, डेटा पढ़ने का सामान्यतः कोई दुष्प्रभाव नहीं होता है, इसलिए यह इडेम्पोटेंट (वास्तव में विक्षनरी: न्यूलिपोटेंट) है। किसी दिए गए डेटा को अपडेट करना और हटाना प्रत्येक सामान्यतः बेकार होता है जब तक अनुरोध अद्वितीय रूप से संसाधन की पहचान करता है और केवल उस संसाधन को भविष्य में फिर से पहचानता है। अद्वितीय पहचानकर्ताओं के साथ PUT और DELETE क्रमशः मान या शून्य-मान के चर के असाइनमेंट के साधारण स्थिति को कम करते हैं, और उसी कारण से निष्क्रिय हैं; अंतिम परिणाम हमेशा प्रारंभिक निष्पादन के परिणाम के समान होता है, भले ही प्रतिक्रिया भिन्न हो।<ref>{{cite IETF|title=Hypertext Transfer Protocol (HTTP/1.1): Semantics and Content |rfc=7231 |section=4.2.2 |sectionname=Idempotent Methods |quote=It knows that repeating the request will have the same intended effect, even if the original request succeeded, though the response might differ.}}</ref>
[[ हाइपरटेक्स्ट परहस्त शिष्टाचार | हाइपरटेक्स्ट ट्रान्सफर प्रोटोकॉल]] (एचटीटीपी) में, निष्क्रियता और सुरक्षा प्रमुख विशेषताएँ हैं जो एचटीटीपी विधियों को अलग करती हैं। प्रमुख एचटीटीपी विधियों में से, GET, PUT और DELETE को मानक के अनुसार आदर्श विधि से प्रायुक्त किया जाना चाहिए, किन्तु पोस्ट होने की आवश्यकता नहीं है।<ref name="httpStd-methods">IETF, [http://tools.ietf.org/html/rfc7231#section-4.2.2 Hypertext Transfer Protocol (HTTP/1.1): Semantics and Content] {{webarchive|url=https://web.archive.org/web/20140608213403/http://tools.ietf.org/html/rfc7231 |date=2014-06-08 }}.  See also [[Hypertext Transfer Protocol|HyperText Transfer Protocol]].</ref> संसाधन की स्थिति प्राप्त करें; PUT संसाधन की स्थिति को अद्यतन करता है; और DELETE संसाधन को हटा देता है। जैसा कि ऊपर दिए गए उदाहरण में है, डेटा पढ़ने का सामान्यतः कोई दुष्प्रभाव नहीं होता है, इसलिए यह इडेम्पोटेंट (वास्तविक में विक्षनरी: न्यूलिपोटेंट) है। किसी दिए गए डेटा को अपडेट करना और हटाना प्रत्येक सामान्यतः बेकार होता है जब तक अनुरोध अद्वितीय रूप से संसाधन की पहचान करता है और केवल उस संसाधन को भविष्य में फिर से पहचानता है। अद्वितीय पहचानकर्ताओं के साथ PUT और DELETE क्रमशः मान या शून्य-मान के चर के असाइनमेंट के साधारण स्थिति को कम करते हैं, और उसी कारण से निष्क्रिय हैं; अंतिम परिणाम हमेशा प्रारंभिक निष्पादन के परिणाम के समान होता है, चाहे प्रतिक्रिया भिन्न हो।<ref>{{cite IETF|title=Hypertext Transfer Protocol (HTTP/1.1): Semantics and Content |rfc=7231 |section=4.2.2 |sectionname=Idempotent Methods |quote=It knows that repeating the request will have the same intended effect, even if the original request succeeded, though the response might differ.}}</ref>
भंडारण या विलोपन में विशिष्ट पहचान की आवश्यकता का उल्लंघन सामान्यतः निष्क्रियता के उल्लंघन का कारण बनता है। उदाहरण के लिए, किसी विशिष्ट पहचानकर्ता को निर्दिष्ट किए बिना सामग्री के दिए गए सेट को संग्रहीत करना या हटाना: POST अनुरोध, जिन्हें बेकार होने की आवश्यकता नहीं है, अक्सर अद्वितीय पहचानकर्ता नहीं होते हैं, इसलिए पहचानकर्ता का निर्माण प्राप्त करने वाले सिस्टम को सौंप दिया जाता है जो तब बनाता है संगत नया रिकॉर्ड। इसी तरह, गैर-विशिष्ट मानदंडों के साथ PUT और DELETE अनुरोधों के परिणामस्वरूप सिस्टम की स्थिति के आधार पर अलग-अलग परिणाम हो सकते हैं - उदाहरण के लिए, सबसे हालिया रिकॉर्ड को हटाने का अनुरोध। प्रत्येक स्थिति में, बाद के निष्पादन सिस्टम की स्थिति को और संशोधित करेंगे, इसलिए वे बेकार नहीं हैं।
 
भंडारण या विलोपन में विशिष्ट पहचान की आवश्यकता का उल्लंघन सामान्यतः निष्क्रियता के उल्लंघन का कारण बनता है। उदाहरण के लिए, किसी विशिष्ट पहचानकर्ता को निर्दिष्ट किए बिना सामग्री के दिए गए समुच्चय को संग्रहीत करना या हटाना: POST अनुरोध, जिन्हें बेकार होने की आवश्यकता नहीं है, अधिकांश अद्वितीय पहचानकर्ता नहीं होते हैं, इसलिए पहचानकर्ता का निर्माण प्राप्त करने वाले प्रणाली को सौंप दिया जाता है जो तब बनाता है संगत नया रिकॉर्ड। इसी प्रकार, गैर-विशिष्ट मानदंडों के साथ PUT और DELETE अनुरोधों के परिणामस्वरूप प्रणाली की स्थिति के आधार पर अलग-अलग परिणाम हो सकते हैं - उदाहरण के लिए, सबसे हालिया रिकॉर्ड को हटाने का अनुरोध। प्रत्येक स्थिति में, बाद के निष्पादन प्रणाली की स्थिति को और संशोधित करेंगे, इसलिए वे बेकार नहीं हैं।


[[इवेंट स्ट्रीम प्रोसेसिंग]] में, ही परिणाम उत्पन्न करने के लिए सिस्टम की क्षमता को संदर्भित करता है, भले ही  ही फ़ाइल, ईवेंट या संदेश से अधिक बार प्राप्त हो।
[[इवेंट स्ट्रीम प्रोसेसिंग]] में, ही परिणाम उत्पन्न करने के लिए प्रणाली की क्षमता को संदर्भित करता है, चाहे एक ही फ़ाइल, ईवेंट या संदेश एक से अधिक बार प्राप्त हो।


लोड-स्टोर आर्किटेक्चर में, निर्देश जो संभवत: [[पृष्ठ दोष]] का कारण बन सकते हैं, वे निःशक्तताउदासीन हैं। इसलिए यदि कोई पेज फॉल्ट होता है, तो [[ऑपरेटिंग सिस्टम]] पेज को डिस्क से लोड कर सकता है और फिर फॉल्ट इंस्ट्रक्शन को फिर से निष्पादित कर सकता है। ऐसे प्रोसेसर में जहां इस तरह के निर्देश बेकार नहीं होते हैं, पृष्ठ दोषों से निपटना कहीं अधिक जटिल होता है।<ref>
लोड-स्टोर आर्किटेक्चर में, निर्देश जो संभवत: [[पृष्ठ दोष]] का कारण बन सकते हैं, वे निःशक्तता हैं। इसलिए यदि कोई पेज फॉल्ट होता है, तो [[ऑपरेटिंग सिस्टम|ऑपरेटिंग प्रणाली]] पेज को डिस्क से लोड कर सकता है और फिर फॉल्ट निर्देश को फिर से निष्पादित कर सकता है। ऐसे प्रोसेसर में जहां इस प्रकार के निर्देश बेकार नहीं होते हैं, पृष्ठ दोषों से निपटना कहीं अधिक जटिल होता है।<ref>
[[John Ousterhout]].
[[John Ousterhout]].
[https://web.stanford.edu/~ouster/cgi-bin/cs140-spring14/lecture.php?topic=paging "Demand Paging"].
[https://web.stanford.edu/~ouster/cgi-bin/cs140-spring14/lecture.php?topic=paging "Demand Paging"].
Line 80: Line 82:
p. 10.
p. 10.
</ref>
</ref>
आउटपुट को सुधारते समय, [[android]]|प्रीटी-प्रिंटिंग के निष्क्रिय होने की उम्मीद है। दूसरे शब्दों में, यदि आउटपुट पहले से ही सुंदर है, तो सुंदर-प्रिंटर के लिए कुछ नहीं करना चाहिए।{{Citation needed|date=March 2017}}


[[ सेवा उन्मुख संरचना ]] (SOA) में, बहु-चरण ऑर्केस्ट्रेशन प्रक्रिया जो पूरी तरह से निष्क्रिय चरणों से बनी होती है, यदि उस प्रक्रिया का कोई भी भाग विफल हो जाता है, तो बिना साइड-इफेक्ट्स के फिर से चलाया जा सकता है।
आउटपुट को सुधारते समय, [[android|एंड्राइड]] प्रीटी-प्रिंटिंग के निष्क्रिय होने की विश्वाश है। दूसरे शब्दों में, यदि आउटपुट पहले से ही सुंदर है, तो सुंदर-प्रिंटर के लिए कुछ नहीं करना चाहिए।{{Citation needed|date=March 2017}}
 
[[ सेवा उन्मुख संरचना | सेवा उन्मुख संरचना]] (एसओए) में, बहु-चरण ऑर्केस्ट्रेशन प्रक्रिया जो पूरी प्रकार से निष्क्रिय चरणों से बनी होती है, यदि उस प्रक्रिया का कोई भी भाग विफल हो जाता है, तो बिना साइड-इफेक्ट्स के फिर से चलाया जा सकता है।


कई ऑपरेशन जो बेकार हैं, अक्सर बाधित होने पर प्रक्रिया को फिर से प्रारंभ करने के विधि होते हैं{{snd}} ऐसे विधि जो प्रारंभ से ही प्रारंभ करने की तुलना में बहुत तेजी से खत्म होते हैं। उदाहरण के लिए, फ़ाइल स्थानांतरण की अपलोड # पुन: प्रयोज्यता,
कई ऑपरेशन जो बेकार हैं, अधिकांश बाधित होने पर प्रक्रिया को फिर से प्रारंभ करने के विधि होते हैं{{snd}} यदि यह बाधित होता है जो प्रारंभ से ही प्रारंभ करने की तुलना में बहुत तेजी से समाप्त होता है। उदाहरण के लिए, फ़ाइल स्थानांतरण को फिर से प्रारंभ करना फाइल्स को, [[rsync|सिंक्रोनाइज़]], करना एक [[ सॉफ्टवेयर निर्माण |सॉफ्टवेयर निर्माण]] बनाना, एक एप्लिकेशन इंस्टॉल करना और [[ पैकेज प्रबंधक |पैकेज प्रबंधक]] के साथ इसकी सभी निर्भरताएँ, आदि।
[[rsync]], [[ सॉफ्टवेयर निर्माण ]] बनाना, एप्लिकेशन इंस्टॉल करना और [[ पैकेज प्रबंधक ]] के साथ इसकी सभी निर्भरताएँ, आदि।


== प्रायुक्त उदाहरण ==
== प्रायुक्त उदाहरण ==
[[File:Colección de hombres cruzando.JPG|thumb|विशिष्ट क्रॉसवॉक बटन आदर्श प्रणाली का उदाहरण है]]एप्लाइड उदाहरण जिनका सामना बहुत से लोग अपने दैनिक जीवन में कर सकते हैं उनमें [[ लिफ़्ट ]] कॉल बटन और [[क्रॉसवॉक बटन]] शामिल हैं।<ref>{{cite web |url=http://www.nclabor.com/elevator/geartrac.pdf |title=Geared Traction Passenger Elevator Specification Guide Information/Instructions |work=NC Department Of Labor, Elevator Bureau |year=2002 |archive-url=https://web.archive.org/web/20110523081716/http://www.nclabor.com/elevator/geartrac.pdf |archive-date=2011-05-23 |url-status=dead}} For example, this design specification includes detailed algorithm for when elevator cars will respond to subsequent calls for service</ref> जब तक अनुरोध संतुष्ट नहीं हो जाता, तब तक बटन का प्रारंभिक सक्रियण सिस्टम को अनुरोध करने वाली स्थिति में ले जाता है। प्रारंभिक सक्रियण और अनुरोध के संतुष्ट होने के बीच बटन के बाद के सक्रियण का कोई प्रभाव नहीं पड़ता है, जब तक कि सिस्टम सक्रियण की संख्या के आधार पर अनुरोध को पूरा करने के लिए समय को समायोजित करने के लिए डिज़ाइन नहीं किया गया हो।
[[File:Colección de hombres cruzando.JPG|thumb|विशिष्ट क्रॉसवॉक बटन आदर्श प्रणाली का उदाहरण है]]प्रायुक्त उदाहरण जिनका सामना बहुत से लोग अपने दैनिक जीवन में कर सकते हैं उनमें [[ लिफ़्ट |लिफ़्ट]] कॉल बटन और [[क्रॉसवॉक बटन]] सम्मिलित हैं।<ref>{{cite web |url=http://www.nclabor.com/elevator/geartrac.pdf |title=Geared Traction Passenger Elevator Specification Guide Information/Instructions |work=NC Department Of Labor, Elevator Bureau |year=2002 |archive-url=https://web.archive.org/web/20110523081716/http://www.nclabor.com/elevator/geartrac.pdf |archive-date=2011-05-23 |url-status=dead}} For example, this design specification includes detailed algorithm for when elevator cars will respond to subsequent calls for service</ref> जब तक अनुरोध संतुष्ट नहीं हो जाता, तब तक बटन का प्रारंभिक सक्रियण प्रणाली को अनुरोध करने वाली स्थिति में ले जाता है। प्रारंभिक सक्रियण और अनुरोध के संतुष्ट होने के बीच बटन के बाद के सक्रियण का कोई प्रभाव नहीं पड़ता है, जब तक कि प्रणाली सक्रियण की संख्या के आधार पर अनुरोध को पूरा करने के लिए समय को समायोजित करने के लिए डिज़ाइन नहीं किया गया हो।


== यह भी देखें ==
== यह भी देखें ==
* [[बायोआर्डर सेट]]
* [[बायोआर्डर सेट|बायोआर्डर समुच्चय]]
* क्लोजर ऑपरेटर
* क्लोजर ऑपरेटर
* निश्चित बिंदु (गणित)
* निश्चित बिंदु (गणित)
* कोड का प्रभावहीन
* कोड का प्रभावहीन
*[[बेमिसाल विश्लेषण]]
*[[बेमिसाल विश्लेषण]]
* इम्पोटेंट मैट्रिक्स
* इम्पोटेंट आव्यूह
* निस्पृह संबंध{{snd}} द्विआधारी संबंधों के लिए निःशक्तता का सामान्यीकरण
* निस्पृह संबंध{{snd}} द्विआधारी संबंधों के लिए निःशक्तता का सामान्यीकरण
* [[इन्वोल्यूशन (गणित)]]
* [[इन्वोल्यूशन (गणित)]]
* [[पुनरावृत्त समारोह]]
* [[पुनरावृत्त समारोह]]
* [[मैट्रिसेस की सूची]]
* [[मैट्रिसेस की सूची]]
* [[नपुंसक]]
* [[नपुंसक]]
* शुद्ध कार्य
* शुद्ध फलन
* संदर्भित पारदर्शिता
* संदर्भित पारदर्शिता


Line 113: Line 115:
{{Wikibooks}}
{{Wikibooks}}
{{Wikiversity | Portal:Computer Science}}
{{Wikiversity | Portal:Computer Science}}
* "[http://foldoc.org/idempotent idempotent]" at the [[Free On-line Dictionary of Computing]]
* "[http://foldoc.org/idempotent निःशक्तता]" at the [[Free On-line Dictionary of Computing]]
*{{citation
*{{citation
  |author=Goodearl, K. R.
  |author=Goodearl, K. R.
Line 156: Line 158:
* Peirce, Benjamin. [http://legacy-www.math.harvard.edu/history/peirce_algebra/ ''Linear Associative Algebra''] 1870.
* Peirce, Benjamin. [http://legacy-www.math.harvard.edu/history/peirce_algebra/ ''Linear Associative Algebra''] 1870.
* {{citation |author1=Polcino Milies |ref={{harvid|Polcino|Sehgal|2002}} |last2=Sehgal |first2=Sudarshan K. |first=César |title=An Introduction to Group Rings |series=Algebras and Applications |url=https://books.google.com/books?id=7m9P9hM4pCQC&q=Idempotence&pg=PA127 |volume=1 |publisher=Kluwer Academic Publishers |place= |year=2002 |pages=[https://books.google.is/books?id=7m9P9hM4pCQC&lpg=PA75&vq=Idempotence&pg=PA127#v=snippet&q=Idempotent&f=false 127] |isbn=978-1-4020-0238-0 |mr=1896125 |doi=}}
* {{citation |author1=Polcino Milies |ref={{harvid|Polcino|Sehgal|2002}} |last2=Sehgal |first2=Sudarshan K. |first=César |title=An Introduction to Group Rings |series=Algebras and Applications |url=https://books.google.com/books?id=7m9P9hM4pCQC&q=Idempotence&pg=PA127 |volume=1 |publisher=Kluwer Academic Publishers |place= |year=2002 |pages=[https://books.google.is/books?id=7m9P9hM4pCQC&lpg=PA75&vq=Idempotence&pg=PA127#v=snippet&q=Idempotent&f=false 127] |isbn=978-1-4020-0238-0 |mr=1896125 |doi=}}
[[Category: बाइनरी ऑपरेशंस के गुण]] [[Category: तत्वों के बीजगणितीय गुण]] [[Category: क्लोजर ऑपरेटर्स]] [[Category: गणितीय संबंध]] [[Category: सैद्धांतिक कंप्यूटर विज्ञान]]


[[Category: Machine Translated Page]]
[[Category:All articles with unsourced statements]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with unsourced statements from March 2017]]
[[Category:Articles with unsourced statements from November 2022]]
[[Category:CS1 français-language sources (fr)]]
[[Category:Created On 01/03/2023]]
[[Category:Created On 01/03/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[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:क्लोजर ऑपरेटर्स]]
[[Category:गणितीय संबंध]]
[[Category:तत्वों के बीजगणितीय गुण]]
[[Category:बाइनरी ऑपरेशंस के गुण]]
[[Category:सैद्धांतिक कंप्यूटर विज्ञान]]

Latest revision as of 07:29, 19 March 2023

Error creating thumbnail:
ट्रेन के गंतव्य चिह्न कंट्रोल पैनल के ऑन/ऑफ बटन। ऑन बटन (हरा) को दबाना बेकार ऑपरेशन है, क्योंकि इसका एक ही प्रभाव होता है चाहे इसे एक बार या कई बार किया जाए। इसी प्रकार, ऑफ को दबाना बेवकूफी है।

निःशक्तता (UK: /ˌɪdɛmˈptəns/,[1] US: /ˈdəm-/)[2] गणित और कंप्यूटर विज्ञान में कुछ ऑपरेशन (गणित) का गुण है जिससे उन्हें प्रारंभिक आवेदन से परे परिणाम को बदले बिना उन्हें कई बार प्रायुक्त किया जा सकता है। अमूर्त बीजगणित (विशेष रूप से, प्रोजेक्टर (रैखिक बीजगणित) और बंद करने वाला ऑपरेटरों के सिद्धांत में) और फलनात्मक प्रोग्रामिंग (जिसमें यह संदर्भित पारदर्शिता की गुण से जुड़ा है) में कई स्थानों पर निष्क्रियता की अवधारणा उत्पन्न होती है।

यह शब्द 1870 में अमेरिकी गणितज्ञ बेंजामिन पीयर्स द्वारा प्रस्तुत किया गया था[3] बीजगणित के तत्वों के संदर्भ में जो धनात्मक पूर्णांक शक्ति तक उठाए जाने पर अपरिवर्तित रहते हैं, और इसका शाब्दिक अर्थ (समान शक्ति होने की गुणवत्ता) से idem + विक्त: सामर्थ्य (समान + शक्ति) है ।

परिभाषा

बाइनरी ऑपरेटर से लैस समुच्चय का एक तत्व के अनुसार निःशक्तता कहा गया है यदि[4][5]

.

बाइनरी ऑपरेशन को निःशक्तता कहा जाता है यदि [6][7]

for all .

उदाहरण

  • मोनोइड में गुणन के साथ प्राकृतिक संख्याओं में से केवल 0 और 1 ही निःशक्तता हैं। वास्तविक में, और होता हैं।.
  • मोनोइड में +) जोड़ के साथ प्राकृतिक संख्याओं में, केवल 0 ही निःशक्तता है। वास्तविक में, 0 + 0 = 0 होता हैं।
  • मैग्मा (बीजगणित) में , पहचान तत्व या शोषक तत्व , यदि यह मौजूद है, तो यह निःशक्तता है। वास्तविक में, और होता हैं।
  • समूह में (गणित) , पहचान तत्व मात्र निष्पाप तत्व है। वास्तविक में, यदि का तत्व है जैसे कि , तब और अंत में के बाईं ओर के व्युत्क्रम तत्व से गुणा करना चाहिये।
  • मोनोइड्स में और सत्ता स्थापित की समुच्चय का संघ के साथ (समुच्चय सिद्धांत) और प्रतिच्छेद (समुच्चय सिद्धांत) क्रमश, और निःशक्तता हैं। वास्तविक में, for all , और for all हैं।
  • मोनोइड्स में और तार्किक संयोजन के साथ बूलियन डोमेन का और तार्किक संयोजन क्रमश, और निःशक्तता हैं। वास्तविक में, for all , और for all हैं।
  • जीसीडी डोमेन में (उदाहरण के लिए ), सबसे बड़े सामान्य विभाजक और कम से कम सामान्य गुणक की संक्रियाएँ निःशक्तता होती हैं।
  • बूलियन वलय में, गुणन निःशक्तता होता है।
  • उष्णकटिबंधीय अर्द्धवलय में, योग निःशक्तता है।
  • आव्यूह_वलय में, निःशक्तता आव्यूह का निर्धारक या तो 0 या 1 है। यदि निर्धारक 1 है, तो आव्यूह अनिवार्य रूप से पहचान आव्यूह है।[citation needed]

निःशक्तता फलन

मोनॉइड में समुच्चय से फलनों की स्वयं के लिए (देखें फलन_(गणित) समूह_घातांक) फलन संरचना के साथ , निःशक्तता तत्व फलन हैं, ऐसा है कि ,[8] वह ऐसा for all (दूसरे शब्दों में, छवि प्रत्येक तत्व का का निश्चित बिंदु (गणित) है ) है। उदाहरण के लिए:

यदि समुच्चय है तत्वों, हम इसे विभाजित कर सकते हैं चुने गए निश्चित बिंदु और के प्रकार गैर निश्चित अंक , और तब विभिन्न निःशक्तता फलनों की संख्या है। इसलिए, सभी संभावित विभाजनों को ध्यान में रखते हुए,

समुच्चय पर संभावित बेकार फलनों की कुल संख्या है। n = 0, 1, 2, 3, 4, 5, 6, 7, 8, ... के लिए उपरोक्त योग द्वारा दिए गए निःशक्तता फलनों की संख्या का पूर्णांक अनुक्रम 1, 1, 3, 10, 41 से प्रारंभ होता है , 196, 1057, 6322, 41393, ... (sequence A000248 in the OEIS).

फलन रचना के तहत न तो निःशक्तता होने की गुण और न ही होने की गुण को संरक्षित किया जाता है।[9] पूर्व के लिए उदाहरण के रूप में, मॉड्यूलर अंकगणित 3 और दोनों निष्पाप हैं, किन्तु क्या नहीं है,[10] यद्यपि होना होता है।[11] उत्तरार्द्ध के लिए उदाहरण के रूप में, निषेध फलन बूलियन डोमेन पर निःशक्तता नहीं है, किन्तु है। इसी प्रकार, एकात्मक निषेध {{nowrap|} वास्तविकिक संख्याओं का } निःशक्तता नहीं है, किन्तु है। दोनों ही स्थितियों में, रचना केवल पहचान फलन है, जो कि निःशक्तता है।

कंप्यूटर विज्ञान का अर्थ

कंप्यूटर विज्ञान में, जिस संदर्भ में इसे प्रायुक्त किया गया है, उसके आधार पर शब्दहीनता का अलग अर्थ हो सकता है:

  • अनिवार्य प्रोग्रामिंग में, साइड इफेक्ट (कंप्यूटर विज्ञान) के साथ सबरूटीन बेकार है यदि सबरूटीन को कई कॉल प्रणाली स्टेट पर सिंगल कॉल के समान प्रभाव डालते हैं, दूसरे शब्दों में यदि प्रणाली स्टेट स्पेस शुद्ध समारोह खुद से जुड़ा होता है सबरूटीन #परिभाषा में दिए गए गणितीय अर्थ में निःशक्तता है;
  • फलनात्मक प्रोग्रामिंग में, शुद्ध फलन निःशक्तता है यदि यह परिभाषा में दिए गए गणितीय अर्थ में निःशक्तता है।

यह कई स्थितियों में बहुत ही उपयोगी गुण है, क्योंकि इसका अर्थ है कि ऑपरेशन को दोहराया जा सकता है या अनपेक्षित प्रभाव पैदा किए बिना जितनी बार आवश्यक हो, पुनः प्रयास किया जा सकता है। गैर-महत्वपूर्ण ऑपरेशंस के साथ, एल्गोरिथम को ट्रैक करना पड़ सकता है कि ऑपरेशन पहले से ही किया गया था या नहीं किया गया था।

कंप्यूटर विज्ञान के उदाहरण

डेटाबेस में ग्राहक के नाम और पते को देखने वाला फलन सामान्यतः बेकार होता है, क्योंकि इससे डेटाबेस में बदलाव नहीं होगा। इसी प्रकार, ग्राहक के पते को XYZ में बदलने का अनुरोध सामान्यतः निःशक्तता होता है, क्योंकि अंतिम पता वही होगा चाहे कितनी बार अनुरोध प्रस्तुत किया गया हो। चूँकि, ऑर्डर देने के लिए ग्राहक का अनुरोध सामान्यतः निःशक्तता नहीं होता है क्योंकि कई अनुरोधों के कारण कई ऑर्डर दिए जाते हैं। किसी विशेष आदेश को रद्द करने का अनुरोध बेकार है क्योंकि चाहे कितने भी अनुरोध किए जाएं, आदेश रद्द ही रहता है।

निःशक्तता सबरूटीन्स का क्रम जहां कम से कम सबरूटीन दूसरों से अलग है, हालांकि, जरूरी नहीं है कि यदि बाद में सबरूटीन अनुक्रम में मान बदलता है, जो पहले के सबरूटीन पर निर्भर करता है - अनुक्रमिक संरचना के तहत निःशक्तता बंद नहीं है। उदाहरण के लिए, मान लीजिए कि चर का प्रारंभिक मान 3 है और सबरूटीन अनुक्रम है जो चर को पढ़ता है, फिर इसे 5 में बदल देता है, और फिर इसे फिर से पढ़ता है। अनुक्रम में प्रत्येक चरण निःशक्तता है: चर को पढ़ने वाले दोनों चरणों का कोई दुष्प्रभाव नहीं होता है और चर को 5 में बदलने वाले चरण का हमेशा ही प्रभाव होगा चाहे इसे कितनी बार निष्पादित किया जाए। चूँकि, पूरे अनुक्रम को बार निष्पादित करने से आउटपुट (3, 5) उत्पन्न होता है, किन्तु इसे दूसरी बार निष्पादित करने से आउटपुट (5, 5) उत्पन्न होता है, इसलिए यह क्रम बेकार नहीं है।

int x = 3;
void read() { printf("%d\n", x); }
void change() { x = 5; }
void sequence() { read(); change(); read(); }

int main() {
  sequence();  // prints "3\n5\n"
  sequence();  // prints "5\n5\n"
  return 0;
}

हाइपरटेक्स्ट ट्रान्सफर प्रोटोकॉल (एचटीटीपी) में, निष्क्रियता और सुरक्षा प्रमुख विशेषताएँ हैं जो एचटीटीपी विधियों को अलग करती हैं। प्रमुख एचटीटीपी विधियों में से, GET, PUT और DELETE को मानक के अनुसार आदर्श विधि से प्रायुक्त किया जाना चाहिए, किन्तु पोस्ट होने की आवश्यकता नहीं है।[12] संसाधन की स्थिति प्राप्त करें; PUT संसाधन की स्थिति को अद्यतन करता है; और DELETE संसाधन को हटा देता है। जैसा कि ऊपर दिए गए उदाहरण में है, डेटा पढ़ने का सामान्यतः कोई दुष्प्रभाव नहीं होता है, इसलिए यह इडेम्पोटेंट (वास्तविक में विक्षनरी: न्यूलिपोटेंट) है। किसी दिए गए डेटा को अपडेट करना और हटाना प्रत्येक सामान्यतः बेकार होता है जब तक अनुरोध अद्वितीय रूप से संसाधन की पहचान करता है और केवल उस संसाधन को भविष्य में फिर से पहचानता है। अद्वितीय पहचानकर्ताओं के साथ PUT और DELETE क्रमशः मान या शून्य-मान के चर के असाइनमेंट के साधारण स्थिति को कम करते हैं, और उसी कारण से निष्क्रिय हैं; अंतिम परिणाम हमेशा प्रारंभिक निष्पादन के परिणाम के समान होता है, चाहे प्रतिक्रिया भिन्न हो।[13]

भंडारण या विलोपन में विशिष्ट पहचान की आवश्यकता का उल्लंघन सामान्यतः निष्क्रियता के उल्लंघन का कारण बनता है। उदाहरण के लिए, किसी विशिष्ट पहचानकर्ता को निर्दिष्ट किए बिना सामग्री के दिए गए समुच्चय को संग्रहीत करना या हटाना: POST अनुरोध, जिन्हें बेकार होने की आवश्यकता नहीं है, अधिकांश अद्वितीय पहचानकर्ता नहीं होते हैं, इसलिए पहचानकर्ता का निर्माण प्राप्त करने वाले प्रणाली को सौंप दिया जाता है जो तब बनाता है संगत नया रिकॉर्ड। इसी प्रकार, गैर-विशिष्ट मानदंडों के साथ PUT और DELETE अनुरोधों के परिणामस्वरूप प्रणाली की स्थिति के आधार पर अलग-अलग परिणाम हो सकते हैं - उदाहरण के लिए, सबसे हालिया रिकॉर्ड को हटाने का अनुरोध। प्रत्येक स्थिति में, बाद के निष्पादन प्रणाली की स्थिति को और संशोधित करेंगे, इसलिए वे बेकार नहीं हैं।

इवेंट स्ट्रीम प्रोसेसिंग में, ही परिणाम उत्पन्न करने के लिए प्रणाली की क्षमता को संदर्भित करता है, चाहे एक ही फ़ाइल, ईवेंट या संदेश एक से अधिक बार प्राप्त हो।

लोड-स्टोर आर्किटेक्चर में, निर्देश जो संभवत: पृष्ठ दोष का कारण बन सकते हैं, वे निःशक्तता हैं। इसलिए यदि कोई पेज फॉल्ट होता है, तो ऑपरेटिंग प्रणाली पेज को डिस्क से लोड कर सकता है और फिर फॉल्ट निर्देश को फिर से निष्पादित कर सकता है। ऐसे प्रोसेसर में जहां इस प्रकार के निर्देश बेकार नहीं होते हैं, पृष्ठ दोषों से निपटना कहीं अधिक जटिल होता है।[14][15]

आउटपुट को सुधारते समय, एंड्राइड प्रीटी-प्रिंटिंग के निष्क्रिय होने की विश्वाश है। दूसरे शब्दों में, यदि आउटपुट पहले से ही सुंदर है, तो सुंदर-प्रिंटर के लिए कुछ नहीं करना चाहिए।[citation needed]

सेवा उन्मुख संरचना (एसओए) में, बहु-चरण ऑर्केस्ट्रेशन प्रक्रिया जो पूरी प्रकार से निष्क्रिय चरणों से बनी होती है, यदि उस प्रक्रिया का कोई भी भाग विफल हो जाता है, तो बिना साइड-इफेक्ट्स के फिर से चलाया जा सकता है।

कई ऑपरेशन जो बेकार हैं, अधिकांश बाधित होने पर प्रक्रिया को फिर से प्रारंभ करने के विधि होते हैं – यदि यह बाधित होता है जो प्रारंभ से ही प्रारंभ करने की तुलना में बहुत तेजी से समाप्त होता है। उदाहरण के लिए, फ़ाइल स्थानांतरण को फिर से प्रारंभ करना फाइल्स को, सिंक्रोनाइज़, करना एक सॉफ्टवेयर निर्माण बनाना, एक एप्लिकेशन इंस्टॉल करना और पैकेज प्रबंधक के साथ इसकी सभी निर्भरताएँ, आदि।

प्रायुक्त उदाहरण

File:Colección de hombres cruzando.JPG
विशिष्ट क्रॉसवॉक बटन आदर्श प्रणाली का उदाहरण है

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

यह भी देखें

संदर्भ

  1. "आलस्य". Oxford English Dictionary (3rd ed.). Oxford University Press. 2010.
  2. "बेकार". Merriam-Webster. Archived from the original on 2016-10-19.
  3. Polcino & Sehgal 2002, p. 127.
  4. Valenza, Robert (2012). Linear Algebra: An Introduction to Abstract Mathematics. Berlin: Springer Science & Business Media. p. 22. ISBN 9781461209010. An element s of a magma such that ss = s is called idempotent.
  5. Doneddu, Alfred (1976). Polynômes et algèbre linéaire (in français). Paris: Vuibert. p. 180. Soit M un magma, noté multiplicativement. On nomme idempotent de M tout élément a de M tel que a2 = a.
  6. George Grätzer (2003). सामान्य जाली सिद्धांत. Basel: Birkhäuser. Here: Sect.1.2, p.5.
  7. Garrett Birkhoff (1967). जाली सिद्धांत. Colloquium Publications. Vol. 25. Providence: Am. Math. Soc.. Here: Sect.I.5, p.8.
  8. This is an equation between functions. Two functions are equal if their domains and ranges agree, and their output values agree on their whole domain.
  9. If and commute under composition (i.e. if ) then idempotency of both and implies that of , since , using the associativity of composition.
  10. e.g. , but
  11. also showing that commutation of and is not a necessary condition for idempotency preservation
  12. IETF, Hypertext Transfer Protocol (HTTP/1.1): Semantics and Content Archived 2014-06-08 at the Wayback Machine. See also HyperText Transfer Protocol.
  13. "Idempotent Methods". Hypertext Transfer Protocol (HTTP/1.1): Semantics and Content. sec. 4.2.2. doi:10.17487/RFC7231. RFC 7231. It knows that repeating the request will have the same intended effect, even if the original request succeeded, though the response might differ.
  14. John Ousterhout. "Demand Paging".
  15. Marc A. de Kruijf. "Compiler construction of idempotent regions and applications in architecture design". 2012. p. 10.
  16. "Geared Traction Passenger Elevator Specification Guide Information/Instructions" (PDF). NC Department Of Labor, Elevator Bureau. 2002. Archived from the original (PDF) on 2011-05-23. For example, this design specification includes detailed algorithm for when elevator cars will respond to subsequent calls for service


अग्रिम पठन