सूचक फलन: Difference between revisions

From Vigyanwiki
No edit summary
 
(26 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Mathematical function characterizing set membership}}
{{Short description|Mathematical function characterizing set membership}}
{{About|the 0-1 indicator function|the 0-infinity indicator function|characteristic function (convex analysis)}}
{{More footnotes|date=December 2009}}
{{Use American English|date = March 2019}}
{{Use American English|date = March 2019}}


[[Image:Indicator function illustration.png|right|thumb|एक सूचक फ़ंक्शन का त्रि-आयामी प्लॉट, एक वर्गाकार द्वि-आयामी डोमेन (सेट) पर दिखाया गया है {{mvar|X}}): उठा हुआ भाग उन द्वि-आयामी बिंदुओं को ओवरले करता है जो संकेतित उपसमुच्चय के सदस्य हैं ({{mvar|A}}).]]गणित में एक संकेतन फलन या किसी समूह के [[सबसेट|उपसमुच्चय]] का एक ऐसा फलन होता है जो उपसमुच्चय के तत्वों को आलेखित करता है और अन्य सभी तत्वों को शून्य पर मानचित्र करता है अर्थात यदि {{mvar|A}} किसी समुच्चय का उपसमुच्चय है {{mvar|X}}तब <math>\mathbf{1}_{A}(x)=1</math> अगर <math>x\in A,</math> और <math>\mathbf{1}_{A}(x)=0</math>  जहॉं <math>\mathbf{1}_A</math> सूचक फलन के लिए एक सामान्य संकेतन व अन्य सामान्य संकेतन <math>I_A,</math> और <math>\chi_A.</math>है
[[Image:Indicator function illustration.png|right|thumb|एक सूचक फ़ंक्शन का त्रि-आयामी प्लॉट, एक वर्गाकार द्वि-आयामी डोमेन (सेट) पर दिखाया गया है {{mvar|X}}): उठा हुआ भाग उन द्वि-आयामी बिंदुओं को ओवरले करता है जो संकेतित उपसमुच्चय के सदस्य हैं ({{mvar|A}}).]]गणित में एक '''सूचक फलन''' या किसी समूह के [[सबसेट|उपसमुच्चय]] का एक ऐसा फलन होता है जो उपसमुच्चय के तत्वों को एक में और अन्य सभी तत्वों को शून्य पर दिखाता है अर्थात यदि {{mvar|A}} किसी समुच्चय {{mvar|X}} का उपसमुच्चय है तब <math>\mathbf{1}_{A}(x)=1</math> अगर <math>x\in A,</math> और <math>\mathbf{1}_{A}(x)=0</math>  जहॉं <math>\mathbf{1}_A</math> सूचक फलन के लिए एक सामान्य सूचक व अन्य सामान्य सूचक <math>I_A,</math> और <math>\chi_A.</math>है
इसका सूचक कार्य {{mvar|A}} से संबंधित संपत्ति का [[इवरसन ब्रैकेट|संकेतक]] {{mvar|A}} है जो इस प्रकार है-
{{mvar|A}} का सूचक कार्य {{mvar|A}} से संबंधित सम्पत्ति का इवरसन कोष्ठक है, जो इस प्रकार है-
:<math>\mathbf{1}_{A}(x)=[x\in A].</math>
:<math>\mathbf{1}_{A}(x)=[x\in A].</math>
उदाहरण के लिए [[डिरिचलेट फ़ंक्शन|डिरिचलेट]] फलन [[वास्तविक संख्या]]ओं के उपसमुच्चय के रूप में [[तर्कसंगत संख्या]]ओं का संकेतक फलन है।
उदाहरण के लिए, [[डिरिचलेट फ़ंक्शन|डिरिचलेट]] फलन [[वास्तविक संख्या]]ओं के उपसमूह के रूप में [[तर्कसंगत संख्या]]ओं का संकेतक फलन है।


The function <math>\mathbf{1}_A</math> is sometimes denoted {{mvar|I<sub>A</sub>}}, {{mvar|&chi;<sub>A</sub>}}, {{mvar|K<sub>A</sub>}}, or even just {{mvar|A}}.{{efn|name=χαρακτήρ|The [[Greek alphabet|Greek letter]] {{mvar|&chi;}} appears because it is the initial letter of the Greek word {{lang|grc|χαρακτήρ}}, which is the ultimate origin of the word ''characteristic''.}}{{efn|The set of all indicator functions on {{mvar|X}} can be identified with <math>\mathcal{P}(X),</math> the [[power set]] of {{mvar|X}}. Consequently, both sets are sometimes denoted by <math>2^X.</math> This is a special case (<math>Y = \{0,1\} = 2</math>) of the notation <math>Y^X</math> for the set of all functions <math>f:X \to Y.</math>}}
==परिभाषा==
==परिभाषा==
किसी उपसमुच्चय का सूचक कार्य {{mvar|A}} एक समूह का {{mvar|X}} एक समारोह है
उपसमुच्चय X उपसमुच्चय A का सूचक फलन एक फलन है।


<math display=block>\mathbf{1}_A \colon X \to \{ 0, 1 \} </math>
<math display=block>\mathbf{1}_A \colon X \to \{ 0, 1 \} </math>
Line 21: Line 20:
\end{cases}
\end{cases}
</math>
</math>
इवरसन समतुल्य अंकन प्रदान करता है तथा <math>[x\in A]</math> या {{nowrap|{{math|⟦''x'' ∈ ''A''⟧}},}} के समष्टि पर उपयोग किया जाता है <math>\mathbf{1}_{A}(x)\,.</math> <math>\mathbf{1}_A</math> कभी-कभी फलन इस प्रकार निरूपित किया जाता है जैसे {{mvar|I<sub>A</sub>}}, {{mvar|&chi;<sub>A</sub>}}, {{mvar|K<sub>A</sub>}},
इवरसन कोष्ठक समतुल्य अंकन प्रदान करता है <math>[x\in A]</math> या {{nowrap|{{math|⟦''x'' ∈ ''A''⟧}},}} के समष्टि पर उपयोग किया जायेगा कभी-कभी इसे {{mvar|I<sub>A</sub>}}, {{mvar|&chi;<sub>A</sub>}}, {{mvar|K<sub>A</sub>}},यहाँ तक कि A से दर्शाया जाता है। 


==संकेतन में शब्दावली==
==सूचक में शब्दावली==
संकेतन <math>\chi_A</math> इसका उपयोग [[उत्तल विश्लेषण]] में विशेष फलन विश्लेषण को दर्शाने के लिए किया जाता है जिसे संकेतन फलन की मानक परिभाषा के गुणक व्युत्क्रम का उपयोग करके परिभाषित किया जाता है।
सूचक <math>\chi_A</math> इसका उपयोग [[उत्तल विश्लेषण]] में विशेष फलन विश्लेषण को दर्शाने के लिए किया जाता है, जिसे सूचक फलन की मानक परिभाषा के व्युत्क्रम का उपयोग करके परिभाषित किया जाता है।


सांख्यिकी में एक संबंधित अवधारणा एक [[डमी वैरिएबल (सांख्यिकी)|वास्तविक परिवर्तन शील सांख्यिकी]] की है इसे वास्तविक परिवर्तन शील के साथ भ्रमित नहीं किया जाना चाहिए क्योंकि यह शब्द अधिकतर गणित में उपयोग किया जाता है जिसे [[मुक्त चर और बाध्य चर]] भी कहा जाता है
सांख्यिकी में एक संबंधित अवधारणा एक [[डमी वैरिएबल (सांख्यिकी)|वास्तविक परिवर्तन शील सांख्यिकी]] की है (इसे डमी चर के साथ भ्रमित नहीं किया जाना चाहिए क्योंकि यह शब्द अधिकतर गणित में उपयोग किया जाता है जिसे [[मुक्त चर और बाध्य चर|मुक्त चर और बाध्य]] सिद्धांत कहा जाता है)


विशेषत फलन संभावना सिद्धांत शब्द का असंबंधित अर्थ है इस कारण से [[संभाव्यवादियों की सूची]] यहां परिभाषित है जो फलन के लिए संकेतन  शब्द का उपयोग करती है जबकि अन्य क्षेत्रों में गणितज्ञ ''फलन'' शब्द का उपयोग करने की अधिक संभावना रखते हैं {{efn|name=χαρακτήρ}} उस फसन का वर्णन करने के लिए जो किसी समूह में सदस्यता को इंगित करता है
विशेषत फलन शब्द का संभाव्यता सिद्धांत में एक असंबंधित अर्थ है इस कारण से संभाव्यवादियों की सूची यहां परिभाषित है जो फलन के लिए सूचक शब्द का उपयोग विशेष रूप से करते हैं, जबकि अन्य क्षेत्रों में गणितज्ञ ''फलन'' शब्द का उपयोग करने की अधिक संभावना रखते हैं {{efn|name=χαρακτήρ}} उस फलन का वर्णन करने के लिए जो किसी समूह में सदस्यता को दर्शाता है


धुंधला [[फजी लॉजिक|तर्क]] और अनेक-मूल्यवान तर्क आधुनिक मूल्यवान तर्क में विधेय संभाव्यता वितरण के विशिष्ट कार्य संभावना सिद्धांत हैं अर्थात् विधेय के  सत्य/गलत मूल्यांकन को सत्य की घात के रूप में व्याख्या की गई मात्रा से बदल दिया जाता है।
धुंधला [[फजी लॉजिक|तर्क]] और आधुनिक बहुमूल्य तर्क में विधेय संभाव्यता वितरण के विशिष्ट कार्य हैं अर्थात् ,विधेय के  सत्य/गलत मूल्यांकन को सत्य की घात के रूप में व्याख्या की गई मात्रा से बदल दिया जाता है।


==बुनियादी गुण==
==बुनियादी गुण==
किसी उपसमुच्चय का सूचक या चारित्रिक कार्य गणित  {{mvar|A}} कुछ समूह का {{mvar|X}} [[मानचित्र (गणित)|मानचित्र गणित]] के तत्व {{mvar|X}} किसी फलन की सीमा तक <math>\{0,1\}</math> है
कुछ समूह X के उपसमुच्चय A का संकेतक या विशेष फलन, {{mvar|X}} के तत्वों को श्रेणी में प्रदर्शित करता है  


यह मानचित्रण केवल तभी धनात्मक होता है जब {{mvar|A}}  एक गैर-रिक्त उचित उपसमुच्चय हो तथा  {{mvar|X}}. अगर <math>A \equiv X,</math> तब <math>\mathbf{1}_A=1.</math> इसी तरह के तर्क से यदि <math>A\equiv\emptyset</math> तब  <math>\mathbf{1}_A=0.</math>निम्नलिखित बिंदु गुणन का प्रतिनिधित्व करता है तो <math>1\cdot1 = 1,</math> <math>1\cdot0 = 0,</math> आदि + और − जोड़ और घटाव का प्रतिनिधित्व करते हैं तथा इसमें <math>\cap </math>और<math>\cup </math>क्रमशः प्रतिच्छेदन और मिलन बिन्दु हैं
यह मानचित्रण केवल तभी विशेषणात्मक होता है जब, A X का एक गैर-रिक्त उपसमुच्चय हो तथा  {{mvar|X}}. अगर <math>A \equiv X,</math> तब <math>\mathbf{1}_A=1.</math> इसी तरह के तर्क से यदि <math>A\equiv\emptyset</math> तब  <math>\mathbf{1}_A=0.</math>निम्नलिखित बिंदु गुणन का प्रतिनिधित्व करता है तो <math>1\cdot1 = 1,</math> <math>1\cdot0 = 0,</math> आदि + और − जोड़ और घटाव का प्रतिनिधित्व करते हैं तथा इसमें <math>\cap </math>और<math>\cup </math>क्रमशः प्रतिच्छेदन और मिलन बिन्दु हैं


अगर <math>A</math> और <math>B</math> के दो उपसमुच्चय हैं <math>X,</math> तब
अगर <math>A</math> और <math>B</math> के दो उपसमुच्चय हैं <math>X,</math> तब
Line 42: Line 41:
\mathbf{1}_{A\cup B} = \max\{{\mathbf{1}_A,\mathbf{1}_B}\} = \mathbf{1}_A + \mathbf{1}_B - \mathbf{1}_A \cdot\mathbf{1}_B,
\mathbf{1}_{A\cup B} = \max\{{\mathbf{1}_A,\mathbf{1}_B}\} = \mathbf{1}_A + \mathbf{1}_B - \mathbf{1}_A \cdot\mathbf{1}_B,
\end{align}</math>
\end{align}</math>
और इसके [[पूरक (सेट सिद्धांत)|पूरक समूह सिद्धांत]] का सूचक कार्य <math>A</math> अर्थात <math>A^C</math> है जो इस प्रकार है-
और इसके [[पूरक (सेट सिद्धांत)|पूरक समूह सिद्धांत]] का सूचक कार्य <math>A</math> अर्थात् <math>A^C</math> है जो इस प्रकार है-
<math display=block>\mathbf{1}_{A^\complement} = 1-\mathbf{1}_A.</math>
<math display=block>\mathbf{1}_{A^\complement} = 1-\mathbf{1}_A.</math>
सामान्यतः मान लीजिए <math>A_1, \dotsc, A_n</math> के उपसमुच्चय का संग्रह है {{mvar|X}}. किसी संख्या के लिए <math>x \in X:</math>
सामान्यतः मान लीजिए <math>A_1, \dotsc, A_n</math> के उपसमुच्चय का संग्रह है {{mvar|X}}. किसी संख्या के लिए <math>x \in X:</math>


<math display=block> \prod_{k \in I} ( 1 - \mathbf{1}_{A_k}(x))</math>
<math display=block> \prod_{k \in I} ( 1 - \mathbf{1}_{A_k}(x))</math>
यह स्पष्ट रूप से का एक उत्पाद है {{math|1}} इस उत्पाद का मान ठीक उन्हीं पर है जहाँ <math>x \in X</math> जो किसी भी समूह से संबंधित नहीं है <math>A_k</math> और 0 है वह इस प्रकार है
यह स्पष्ट रूप से A एक उत्पाद है {{math|1}} इस उत्पाद का मान ठीक उन्हीं पर है जहाँ <math>x \in X</math> जो किसी भी समूह से संबंधित नहीं है <math>A_k</math> और 0 है वह इस प्रकार है


<math display=block> \prod_{k \in I} ( 1 - \mathbf{1}_{A_k}) = \mathbf{1}_{X - \bigcup_{k} A_k} = 1 - \mathbf{1}_{\bigcup_{k} A_k}.</math>
<math display=block> \prod_{k \in I} ( 1 - \mathbf{1}_{A_k}) = \mathbf{1}_{X - \bigcup_{k} A_k} = 1 - \mathbf{1}_{\bigcup_{k} A_k}.</math>
Line 55: Line 54:
जब <math>|F|</math> की [[प्रमुखता]] है {{mvar|F}} यह समावेश-बहिष्करण के सिद्धांत का एक रूप है
जब <math>|F|</math> की [[प्रमुखता]] है {{mvar|F}} यह समावेश-बहिष्करण के सिद्धांत का एक रूप है


जैसा कि पिछले उदाहरण में बताया गया है कि संकेतन फलन [[साहचर्य]] में उपयोगी संकेतन उपकरण है इसमें अंकन का उपयोग अन्य स्थानों पर किया जाता है उदाहरण के लिए संभाव्यता सिद्धांत में यदि {{mvar|X}} संभाव्यता माप के साथ एक [[संभाव्यता स्थान]] है <math>\operatorname{P}</math> और {{mvar|A}} तो फिर एक [[माप (गणित)|माप गणित]] है <math>\mathbf{1}_A</math> एक यादृच्छिक चर बन जाता है जिसका अपेक्षित मान संभावना के बराबर होता है जैसे {{mvar|A}}:
जैसा कि पिछले उदाहरण में बताया गया है कि सूचक फलन [[साहचर्य]] में उपयोगी सूचक उपकरण है इसमें अंकन का उपयोग अन्य स्थानों पर किया जाता है उदाहरण के लिए संभाव्यता सिद्धांत में यदि {{mvar|X}} संभाव्यता माप के साथ एक [[संभाव्यता स्थान]] है <math>\operatorname{P}</math> और {{mvar|A}} तो फिर एक [[माप (गणित)|माप गणित]] है <math>\mathbf{1}_A</math> एक यादृच्छिक चर बन जाता है जिसका अपेक्षित मान संभावना के बराबर होता है जैसे {{mvar|A}}:


<math display=block>\operatorname{E}(\mathbf{1}_A)= \int_{X} \mathbf{1}_A(x)\,d\operatorname{P} = \int_{A} d\operatorname{P} = \operatorname{P}(A).</math>
<math display=block>\operatorname{E}(\mathbf{1}_A)= \int_{X} \mathbf{1}_A(x)\,d\operatorname{P} = \int_{A} d\operatorname{P} = \operatorname{P}(A).</math>
इस पहचान का उपयोग मार्कोव की असमानता के सरल प्रमाण में किया जाता है
इस पहचान का उपयोग मार्कोव की असमानता के सरल प्रमाण में किया जाता है


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


==माध्य, प्रसरण और सहप्रसरण==
==माध्य, प्रसरण और सहप्रसरण==
एक संभाव्यता स्थान दिया गया है <math>\textstyle (\Omega, \mathcal F, \operatorname{P})</math> साथ <math>A \in \mathcal F,</math> सूचक यादृच्छिक चर <math>\mathbf{1}_A \colon \Omega \rightarrow \mathbb{R}</math> द्वारा परिभाषित किया गया है <math>\mathbf{1}_A (\omega) = 1 </math> अगर <math> \omega \in A,</math> अन्यथा <math>\mathbf{1}_A (\omega) = 0.</math>
एक संभाव्यता स्थान दिया गया है <math>\textstyle (\Omega, \mathcal F, \operatorname{P})</math> साथ <math>A \in \mathcal F,</math> सूचक यादृच्छिक चर <math>\mathbf{1}_A \colon \Omega \rightarrow \mathbb{R}</math> द्वारा परिभाषित किया गया है <math>\mathbf{1}_A (\omega) = 1 </math> अगर <math> \omega \in A,</math> अन्यथा <math>\mathbf{1}_A (\omega) = 0.</math>
;[[अर्थ]]: <math>\operatorname{E}(\mathbf{1}_A (\omega)) = \operatorname{P}(A) </math> मौलिक पुल भी कहा जाता है
;[[अर्थ]]: <math>\operatorname{E}(\mathbf{1}_A (\omega)) = \operatorname{P}(A) </math> मौलिक मुक्त भी कहा जाता है


;विचरण: <math>\operatorname{Var}(\mathbf{1}_A (\omega)) = \operatorname{P}(A)(1 - \operatorname{P}(A)) </math>
;विचरण: <math>\operatorname{Var}(\mathbf{1}_A (\omega)) = \operatorname{P}(A)(1 - \operatorname{P}(A)) </math>
Line 71: Line 70:


==पुनरावर्तन सिद्धांत में अभिलक्षणिक कार्य और क्लेन का प्रतिनिधित्व कार्य==
==पुनरावर्तन सिद्धांत में अभिलक्षणिक कार्य और क्लेन का प्रतिनिधित्व कार्य==
कर्ट गोडेल ने अपने 1934 के पेपर में औपचारिक गणितीय प्रणालियों के अनिर्णीत प्रस्तावों पर प्रतिनिधित्व फलन का वर्णन किया जिसमें तार्किक उलटा इंगित करता है <ref name=Martin-1965>{{cite book |pages=41–74 |editor-link=Martin Davis (mathematician) |editor-first=Martin |editor-last=Davis |year=1965 |title=अनिर्णीत|publisher=Raven Press Books |place=New York, NY}}</ref>{{rp|page=42}}
कर्ट गोडेल ने अपने 1934 के पेपर में औपचारिक गणितीय प्रणालियों के प्रस्तावों पर प्रतिनिधित्व फलन का वर्णन किया जिसमें तार्किक उलटा इंगित करता है <ref name=Martin-1965>{{cite book |pages=41–74 |editor-link=Martin Davis (mathematician) |editor-first=Martin |editor-last=Davis |year=1965 |title=अनिर्णीत|publisher=Raven Press Books |place=New York, NY}}</ref>
 
{{blockquote}}


प्रत्येक वर्ग या संबंध आर के अनुरूप एक प्रतिनिधित्व करने वाला कार्य होगा  
प्रत्येक वर्ग या संबंध आर के अनुरूप एक प्रतिनिधित्व करने वाला कार्य होगा  


[[स्टीफन क्लेन]] एक फलन के रूप में [[आदिम पुनरावर्ती कार्य]] के संदर्भ में समान परिभाषा प्रस्तुत करते हैं {{mvar|φ}} एक विधेय का {{mvar|P}} मान ग्रहण करता है {{math|0}} यदि विधेय सत्य है और {{math|1}} यदि विधेय गलत है तो <ref name="Kleene1952">{{cite book |last=Kleene |first=Stephen |author-link=Stephen Kleene |year=1971 |orig-year=1952 |title=मेटामैथेमेटिक्स का परिचय|page=227 |publisher=Wolters-Noordhoff Publishing and North Holland Publishing Company |location=Netherlands |edition=Sixth reprint, with corrections}}</ref>उदाहरण के लिए विशिष्ट कार्यों का उत्पाद <math>\phi_1 * \phi_2 * \cdots * \phi_n = 0</math> जब भी कोई एक फलन के बराबर होता है तो {{math|0}} यह तार्किक OR: IF की भूमिका निभाता है <math>\phi_1 = 0</math> या <math>\phi_2 = 0</math> या या <math>\phi_n = 0</math> फिर उनका उत्पाद है {{math|0}}. आधुनिक पाठ को जो प्रतिनिधित्व करने वाले फलन के तार्किक व्युत्क्रम के रूप में दिखाई देता है जबकि यह प्रतिनिधित्व करने वाला फलन {{math|0}} है जब फलन {{mvar|R}} सत्य या संतुष्ट है तो कुल के तार्किक कार्यों OR, AND, और IMPLY की परिभाषा में उपयोगी भूमिका निभाता है <ref name="Kleene1952" />{{rp|228}} परिबद्ध-<ref name="Kleene1952" />{{rp|228}} और असीमित-<ref name="Kleene1952" />{{rp|279 ff}} चालक [[ऑपरेटर में|में]] और CASE फलन है।<ref name="Kleene1952" />{{rp|229}}
स्टीफन क्लेन एक फलन के रूप में [[आदिम पुनरावर्ती कार्य]] के संदर्भ में समान परिभाषा प्रस्तुत करते हैं {{mvar|φ}} एक विधेय का {{mvar|P}} मान ग्रहण करता है {{math|0}} यदि विधेय सत्य है और {{math|1}} यदि विधेय गलत है तो <ref name="Kleene1952">{{cite book |last=Kleene |first=Stephen |author-link=Stephen Kleene |year=1971 |orig-year=1952 |title=मेटामैथेमेटिक्स का परिचय|page=227 |publisher=Wolters-Noordhoff Publishing and North Holland Publishing Company |location=Netherlands |edition=Sixth reprint, with corrections}}</ref>उदाहरण के लिए विशिष्ट कार्यों का उत्पाद <math>\phi_1 * \phi_2 * \cdots * \phi_n = 0</math> जब भी कोई एक फलन के बराबर होता है तो {{math|0}} यह तार्किक OR: IF की भूमिका निभाता है <math>\phi_1 = 0</math> या <math>\phi_2 = 0</math> या या <math>\phi_n = 0</math> फिर उनका उत्पाद है {{math|0}}. आधुनिक पाठ को जो प्रतिनिधित्व करने वाले फलन के तार्किक व्युत्क्रम के रूप में दिखाई देता है जबकि यह प्रतिनिधित्व करने वाला फलन {{math|0}} है जब फलन {{mvar|R}} सत्य या संतुष्ट है तो कुल के तार्किक कार्यों OR, AND और IMPLY की परिभाषा में उपयोगी भूमिका निभाता है <ref name="Kleene1952" /> परिबद्ध- और असीमित- चालक में और CASE फलन है।


==उपसमुच्चय समूह सिद्धांत में फलन==
==उपसमुच्चय समूह सिद्धांत में फलन==
शास्त्रीय गणित में समूह के विशिष्ट कार्य मान लेते हैं इसमें {{math|1}} सदस्य या {{math|0}} गैर-सदस्य उपसमुच्चय समूह सिद्धांत में वास्तविक इकाई अंतराल में मान लेने के लिए विशिष्ट कार्यों को सामान्यीकृत किया जाता है तथा {{closed-closed|0, 1}}या अधिक सामान्यतः कुछ [[सार्वभौमिक बीजगणित]] या [[संरचना (गणितीय तर्क)|संरचना गणितीय तर्क]] में अधिकतर कम से कम [[आंशिक रूप से ऑर्डर किया गया सेट|आंशिक रूप से आदेशित किया गया समूह]] होना आवश्यक है ऐसे सामान्यीकृत विशिष्ट कार्यों को अधिकतर फलन गणित कहा जाता है और संबंधित समूहों को उपसमुच्चय समूह कहा जाता है उपसमुच्चय समूह कई वास्तविक दुनिया [[विधेय (गणित)|विधेय गणित]] जैसे लंबा, गर्म आदि में देखी गई सदस्यता की घात में क्रमिक परिवर्तन प्राप्त करते हैं।
शास्त्रीय गणित में समूह के विशिष्ट कार्य मान लेते हैं इसमें {{math|1}} सदस्य या {{math|0}} गैर-सदस्य उपसमुच्चय समूह सिद्धांत में वास्तविक इकाई अंतराल में मान लेने के लिए विशिष्ट कार्यों को सामान्यीकृत किया जाता है तथा {{closed-closed|0, 1}}या अधिक सामान्यतः कुछ [[सार्वभौमिक बीजगणित]] या [[संरचना (गणितीय तर्क)|संरचना गणितीय तर्क]] में अधिकतर कम से कम [[आंशिक रूप से ऑर्डर किया गया सेट|आंशिक रूप से आदेशित किया गया समूह]] होना आवश्यक है ऐसे सामान्यीकृत विशिष्ट कार्यों को अधिकतर फलन गणित कहा जाता है और संबंधित समूहों को उपसमुच्चय समूह कहा जाता है उपसमुच्चय समूह कई वास्तविक दुनिया विधेय गणित जैसे लंबा, गर्म आदि में देखी गई सदस्यता की घात में क्रमिक परिवर्तन प्राप्त करते हैं।


==सूचक फलन के व्युत्पन्न==
==सूचक फलन के व्युत्पन्न==
{{Main|Laplacian of the indicator}}
एक विशेष सूचक फलन [[हेविसाइड स्टेप फ़ंक्शन|हेविसाइड फलन]] है
एक विशेष संकेतक फलन [[हेविसाइड स्टेप फ़ंक्शन|हेविसाइड कदम फलन]] है
<math display="block">H(x) := \mathbf{1}_{x > 0}</math>
<math display="block">H(x) := \mathbf{1}_{x > 0}</math>
हेविसाइड फलन का [[वितरणात्मक व्युत्पन्न]] [[डिराक डेल्टा फ़ंक्शन|डिराक डेल्टा फलन]] के बराबर है  
हेविसाइड फलन का वितरणात्मक व्युत्पन्न [[डिराक डेल्टा फ़ंक्शन|डिराक डेल्टा फलन]] के बराबर है  
<math display=block>\frac{d H(x)}{dx}=\delta(x)</math>
<math display=block>\frac{d H(x)}{dx}=\delta(x)</math>
और इसी तरह का वितरणात्मक व्युत्पन्न <math display="block">G(x) := \mathbf{1}_{x < 0}</math> है
और इसी तरह का वितरणात्मक व्युत्पन्न <math display="block">G(x) := \mathbf{1}_{x < 0}</math> है
<math display=block>\frac{d G(x)}{dx}=-\delta(x)</math>
<math display=block>\frac{d G(x)}{dx}=-\delta(x)</math>
इस प्रकार हेविसाइड फलन के व्युत्पन्न को धनात्मक अर्ध-रेखा द्वारा दिए गए डोमेन की सीमा पर आवश्यक सामान्य व्युत्पन्न के रूप में देखा जा सकता है उच्च आयामों में व्युत्पन्न स्वाभाविक रूप से आंतरिक सामान्य व्युत्पन्न के लिए सामान्यीकृत होता है जबकि हेविसाइड चरण फलन स्वाभाविक रूप से कुछ डोमेन के संकेतन फलन के लिए समान्यीकृत होता है जबकि {{mvar|D}} की सतह को {{mvar|D}} द्वारा निरूपित किया जाता है तथा S में आगे बढ़ते हुए यह निष्कर्ष निकाला जाता है कि सूचक डिराक सतह डेल्टा फलन का एक सतह डेल्टा है या नहीं जिसे इस चिन्ह द्वारा दर्शाया जाता है <math>\delta_S(\mathbf{x})</math>:
इस प्रकार हेविसाइड फलन के व्युत्पन्न को धनात्मक अर्ध-रेखा द्वारा दिए गए डोमेन की सीमा पर आवश्यक सामान्य व्युत्पन्न के रूप में देखा जा सकता है उच्च आयामों में व्युत्पन्न स्वाभाविक रूप से आंतरिक सामान्य व्युत्पन्न के लिए सामान्यीकृत होता है जबकि हेविसाइड चरण फलन स्वाभाविक रूप से कुछ डोमेन के सूचक फलन के लिए समान्यीकृत होता है जबकि {{mvar|D}} की सतह को {{mvar|D}} द्वारा निरूपित किया जाता है तथा S में आगे बढ़ते हुए यह निष्कर्ष निकाला जाता है कि सूचक डिराक सतह डेल्टा फलन का एक सतह डेल्टा है या नहीं जिसे इस चिन्ह द्वारा दर्शाया जाता है <math>\delta_S(\mathbf{x})</math>
<math display=block>\delta_S(\mathbf{x}) = -\mathbf{n}_x \cdot \nabla_x\mathbf{1}_{\mathbf{x}\in D}</math>
<math display=block>\delta_S(\mathbf{x}) = -\mathbf{n}_x \cdot \nabla_x\mathbf{1}_{\mathbf{x}\in D}</math>
कहाँ {{mvar|n}} सतह का बाहरी [[सामान्य (ज्यामिति)|सामान्य ज्यामिति]] है {{mvar|S}} इस सतह डेल्टा फलन में निम्नलिखित गुण हैं <ref>{{cite journal |last=Lange |first=Rutger-Jan |year=2012 |title=संभावित सिद्धांत, पथ इंटीग्रल और संकेतक का लाप्लासियन|journal=Journal of High Energy Physics |volume=2012 |issue=11 |pages=29–30 |arxiv=1302.0864 |bibcode=2012JHEP...11..032L |doi=10.1007/JHEP11(2012)032|s2cid=56188533 }}</ref>
जहॉं {{mvar|n}} सतह S का बाहरी [[सामान्य (ज्यामिति)|सामान्य ज्यामिति]] है {{mvar|S}} इस सतह डेल्टा फलन में निम्नलिखित गुण हैं <ref>{{cite journal |last=Lange |first=Rutger-Jan |year=2012 |title=संभावित सिद्धांत, पथ इंटीग्रल और संकेतक का लाप्लासियन|journal=Journal of High Energy Physics |volume=2012 |issue=11 |pages=29–30 |arxiv=1302.0864 |bibcode=2012JHEP...11..032L |doi=10.1007/JHEP11(2012)032|s2cid=56188533 }}</ref>
<math display=block>-\int_{\R^n}f(\mathbf{x})\,\mathbf{n}_x\cdot\nabla_x\mathbf{1}_{\mathbf{x}\in D}\;d^{n}\mathbf{x} = \oint_{S}\,f(\mathbf{\beta})\;d^{n-1}\mathbf{\beta}.</math>
<math display=block>-\int_{\R^n}f(\mathbf{x})\,\mathbf{n}_x\cdot\nabla_x\mathbf{1}_{\mathbf{x}\in D}\;d^{n}\mathbf{x} = \oint_{S}\,f(\mathbf{\beta})\;d^{n-1}\mathbf{\beta}.</math>
फलन समूह  {{mvar|f}}  के बराबर है यह इस प्रकार है कि सूचक डिराक सतह डेल्टा फलन का लाप्लासियन सतह क्षेत्र के संख्यात्मक मान से एकीकृत होता है।  
फलन समूह  {{mvar|f}}  के बराबर है यह इस प्रकार है कि सूचक डिराक सतह डेल्टा फलन का लाप्लासियन सतह क्षेत्र के संख्यात्मक मान से एकीकृत होता है।  
==यह भी देखें==
{{समारोह}}
* डिराक माप।
* सूचक का रंग।
* डिराक डेल्टा।
* विस्तार विधेय तर्क।
* मुक्त चर और बाध्य चर।
* हेविसाइड फलन।
* पहचान फलन।
* इवरसन कोष्ठक।
* डेल्टा एक फलन पहचान के लिए एक संकेतन के रूप में देखा जा सकता है।
* मैकाले कोष्ठक।
* बहुरंग समूह।
*
* सदस्यता फलन।
* सरल कार्य।
* वास्तविक परिवर्तन सांख्यिकी।
*
* सांख्यिकीय वर्गीकरण।
* शून्य-एक हानि फलन।
==टिप्पणियाँ==
{{notelist|1}}
==संदर्भ==
==संदर्भ==
{{reflist|25em}}
{{reflist|25em}}
Line 131: Line 96:


==स्रोत==
==स्रोत==
{{refbegin|30em}}
{{Reflist|group=lower-alpha}}
* {{cite book |last=Folland |first=G.B. |title=वास्तविक विश्लेषण: आधुनिक तकनीकें और उनके अनुप्रयोग|publisher=John Wiley & Sons, Inc. |year=1999 |isbn=978-0-471-31716-6 |edition=Second}}
* {{cite book |last1=Cormen |first1=Thomas H. |title=एल्गोरिदम का परिचय|title-link=एल्गोरिदम का परिचय|last2=Leiserson |first2=Charles E. |last3=Rivest |first3=Ronald L. |last4=Stein |first4=Clifford |publisher=MIT Press and McGraw-Hill |year=2001 |isbn=978-0-262-03293-3 |edition=Second |pages=[https://archive.org/details/introductiontoal00corm_691/page/n116 94]–99 |chapter=Section 5.2: Indicator random variables |author-link=Thomas H. Cormen |author-link2=Charles E. Leiserson |author-link3=Ronald L. Rivest |author-link4=Clifford Stein}}
* {{cite book |editor-last=Davis |editor-first=Martin |editor-link=Martin Davis (mathematician) |year=1965 |title=अनिर्णीत|publisher=Raven Press Books |place=New York, NY}}
* {{cite book |last=Kleene |first=Stephen |author-link=Stephen Kleene |year=1971 |orig-year=1952 |title=मेटामैथेमेटिक्स का परिचय|publisher=Wolters-Noordhoff Publishing and North Holland Publishing Company |location=Netherlands |edition=Sixth reprint, with corrections}}
* {{Cite book |last1=Boolos |first1=George |title=कम्प्यूटेबिलिटी और तर्क|last2=Burgess |first2=John P. |last3=Jeffrey |first3=Richard C. |publisher=Cambridge University Press |year=2002 |isbn=978-0-521-00758-0 |location=Cambridge UK |author-link=George Boolos |author-link2=John P. Burgess |author-link3=Richard C. Jeffrey}}
*{{cite q | Q25938993 |last1=Zadeh |first1=L.A. | author-link1 = Lotfi A. Zadeh | | journal = [[Information and Computation|Information and Control]] | doi-access = free }}
* {{cite journal |last=Goguen |first=Joseph |author-link=Joseph Goguen |year=1967 |title=''एल''-फजी सेट|journal=Journal of Mathematical Analysis and Applications |volume=18 |issue=1 |pages=145–174 |doi=10.1016/0022-247X(67)90189-8 |hdl-access=free |hdl=10338.dmlcz/103980}}
{{refend}}
 
श्रेणी:माप सिद्धांत
श्रेणी:अभिन्न कलन
श्रेणी:वास्तविक विश्लेषण
श्रेणी:गणितीय तर्क
श्रेणी:सेट सिद्धांत में बुनियादी अवधारणाएँ
श्रेणी:संभावना सिद्धांत
श्रेणी:कार्यों के प्रकार
 


[[Category: Machine Translated Page]]
[[Category:All Wikipedia articles written in American English]]
[[Category:Articles containing Ancient Greek (to 1453)-language text]]
[[Category:Articles with invalid date parameter in template]]
[[Category:Created On 03/07/2023]]
[[Category:Created On 03/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with reference errors]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Template documentation pages|Short description/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Use American English from March 2019]]

Latest revision as of 09:48, 2 August 2023

एक सूचक फ़ंक्शन का त्रि-आयामी प्लॉट, एक वर्गाकार द्वि-आयामी डोमेन (सेट) पर दिखाया गया है X): उठा हुआ भाग उन द्वि-आयामी बिंदुओं को ओवरले करता है जो संकेतित उपसमुच्चय के सदस्य हैं (A).

गणित में एक सूचक फलन या किसी समूह के उपसमुच्चय का एक ऐसा फलन होता है जो उपसमुच्चय के तत्वों को एक में और अन्य सभी तत्वों को शून्य पर दिखाता है अर्थात यदि A किसी समुच्चय X का उपसमुच्चय है तब अगर और जहॉं सूचक फलन के लिए एक सामान्य सूचक व अन्य सामान्य सूचक और है

A का सूचक कार्य A से संबंधित सम्पत्ति का इवरसन कोष्ठक है, जो इस प्रकार है-

उदाहरण के लिए, डिरिचलेट फलन वास्तविक संख्याओं के उपसमूह के रूप में तर्कसंगत संख्याओं का संकेतक फलन है।

The function is sometimes denoted IA, χA, KA, or even just A.[lower-alpha 1][lower-alpha 2]

परिभाषा

उपसमुच्चय X उपसमुच्चय A का सूचक फलन एक फलन है।

के रूप में परिभाषित

इवरसन कोष्ठक समतुल्य अंकन प्रदान करता है या xA, के समष्टि पर उपयोग किया जायेगा कभी-कभी इसे IA, χA, KA,यहाँ तक कि A से दर्शाया जाता है।

सूचक में शब्दावली

सूचक इसका उपयोग उत्तल विश्लेषण में विशेष फलन विश्लेषण को दर्शाने के लिए किया जाता है, जिसे सूचक फलन की मानक परिभाषा के व्युत्क्रम का उपयोग करके परिभाषित किया जाता है।

सांख्यिकी में एक संबंधित अवधारणा एक वास्तविक परिवर्तन शील सांख्यिकी की है (इसे डमी चर के साथ भ्रमित नहीं किया जाना चाहिए क्योंकि यह शब्द अधिकतर गणित में उपयोग किया जाता है जिसे मुक्त चर और बाध्य सिद्धांत कहा जाता है)

विशेषत फलन शब्द का संभाव्यता सिद्धांत में एक असंबंधित अर्थ है इस कारण से संभाव्यवादियों की सूची यहां परिभाषित है जो फलन के लिए सूचक शब्द का उपयोग विशेष रूप से करते हैं, जबकि अन्य क्षेत्रों में गणितज्ञ फलन शब्द का उपयोग करने की अधिक संभावना रखते हैं [lower-alpha 1] उस फलन का वर्णन करने के लिए जो किसी समूह में सदस्यता को दर्शाता है

धुंधला तर्क और आधुनिक बहुमूल्य तर्क में विधेय संभाव्यता वितरण के विशिष्ट कार्य हैं अर्थात् ,विधेय के सत्य/गलत मूल्यांकन को सत्य की घात के रूप में व्याख्या की गई मात्रा से बदल दिया जाता है।

बुनियादी गुण

कुछ समूह X के उपसमुच्चय A का संकेतक या विशेष फलन, X के तत्वों को श्रेणी में प्रदर्शित करता है

यह मानचित्रण केवल तभी विशेषणात्मक होता है जब, A X का एक गैर-रिक्त उपसमुच्चय हो तथा X. अगर तब इसी तरह के तर्क से यदि तब निम्नलिखित बिंदु गुणन का प्रतिनिधित्व करता है तो आदि + और − जोड़ और घटाव का प्रतिनिधित्व करते हैं तथा इसमें औरक्रमशः प्रतिच्छेदन और मिलन बिन्दु हैं

अगर और के दो उपसमुच्चय हैं तब

और इसके पूरक समूह सिद्धांत का सूचक कार्य अर्थात् है जो इस प्रकार है-
सामान्यतः मान लीजिए के उपसमुच्चय का संग्रह है X. किसी संख्या के लिए

यह स्पष्ट रूप से A एक उत्पाद है 1 इस उत्पाद का मान ठीक उन्हीं पर है जहाँ जो किसी भी समूह से संबंधित नहीं है और 0 है वह इस प्रकार है

बायीं ओर उत्पाद का विस्तार करते हुए

जब की प्रमुखता है F यह समावेश-बहिष्करण के सिद्धांत का एक रूप है

जैसा कि पिछले उदाहरण में बताया गया है कि सूचक फलन साहचर्य में उपयोगी सूचक उपकरण है इसमें अंकन का उपयोग अन्य स्थानों पर किया जाता है उदाहरण के लिए संभाव्यता सिद्धांत में यदि X संभाव्यता माप के साथ एक संभाव्यता स्थान है और A तो फिर एक माप गणित है एक यादृच्छिक चर बन जाता है जिसका अपेक्षित मान संभावना के बराबर होता है जैसे A:

इस पहचान का उपयोग मार्कोव की असमानता के सरल प्रमाण में किया जाता है

कई स्थानों में जैसे कि आदेशित सिद्धांत, सूचक फलन के व्युत्क्रम को परिभाषित किया जा सकता है इसे अधिकतर सामान्यीकृत फलन कहा जाता है प्राथमिक संख्या सिद्धांत मोबियस फलन में सूचक व्युत्क्रम के सामान्यीकरण के रूप में शास्त्रीय पुनरावर्तन सिद्धांत में व्युत्क्रम के उपयोग के बारे में नीचे पैराग्राफ में दिया गया है।

माध्य, प्रसरण और सहप्रसरण

एक संभाव्यता स्थान दिया गया है साथ सूचक यादृच्छिक चर द्वारा परिभाषित किया गया है अगर अन्यथा

अर्थ
मौलिक मुक्त भी कहा जाता है
विचरण
सहप्रसरण


पुनरावर्तन सिद्धांत में अभिलक्षणिक कार्य और क्लेन का प्रतिनिधित्व कार्य

कर्ट गोडेल ने अपने 1934 के पेपर में औपचारिक गणितीय प्रणालियों के प्रस्तावों पर प्रतिनिधित्व फलन का वर्णन किया जिसमें तार्किक उलटा इंगित करता है [1]

प्रत्येक वर्ग या संबंध आर के अनुरूप एक प्रतिनिधित्व करने वाला कार्य होगा

स्टीफन क्लेन एक फलन के रूप में आदिम पुनरावर्ती कार्य के संदर्भ में समान परिभाषा प्रस्तुत करते हैं φ एक विधेय का P मान ग्रहण करता है 0 यदि विधेय सत्य है और 1 यदि विधेय गलत है तो [2]उदाहरण के लिए विशिष्ट कार्यों का उत्पाद जब भी कोई एक फलन के बराबर होता है तो 0 यह तार्किक OR: IF की भूमिका निभाता है या या या फिर उनका उत्पाद है 0. आधुनिक पाठ को जो प्रतिनिधित्व करने वाले फलन के तार्किक व्युत्क्रम के रूप में दिखाई देता है जबकि यह प्रतिनिधित्व करने वाला फलन 0 है जब फलन R सत्य या संतुष्ट है तो कुल के तार्किक कार्यों OR, AND और IMPLY की परिभाषा में उपयोगी भूमिका निभाता है [2] परिबद्ध- और असीमित- चालक में और CASE फलन है।

उपसमुच्चय समूह सिद्धांत में फलन

शास्त्रीय गणित में समूह के विशिष्ट कार्य मान लेते हैं इसमें 1 सदस्य या 0 गैर-सदस्य उपसमुच्चय समूह सिद्धांत में वास्तविक इकाई अंतराल में मान लेने के लिए विशिष्ट कार्यों को सामान्यीकृत किया जाता है तथा [0, 1]या अधिक सामान्यतः कुछ सार्वभौमिक बीजगणित या संरचना गणितीय तर्क में अधिकतर कम से कम आंशिक रूप से आदेशित किया गया समूह होना आवश्यक है ऐसे सामान्यीकृत विशिष्ट कार्यों को अधिकतर फलन गणित कहा जाता है और संबंधित समूहों को उपसमुच्चय समूह कहा जाता है उपसमुच्चय समूह कई वास्तविक दुनिया विधेय गणित जैसे लंबा, गर्म आदि में देखी गई सदस्यता की घात में क्रमिक परिवर्तन प्राप्त करते हैं।

सूचक फलन के व्युत्पन्न

एक विशेष सूचक फलन हेविसाइड फलन है

हेविसाइड फलन का वितरणात्मक व्युत्पन्न डिराक डेल्टा फलन के बराबर है
और इसी तरह का वितरणात्मक व्युत्पन्न
है
इस प्रकार हेविसाइड फलन के व्युत्पन्न को धनात्मक अर्ध-रेखा द्वारा दिए गए डोमेन की सीमा पर आवश्यक सामान्य व्युत्पन्न के रूप में देखा जा सकता है उच्च आयामों में व्युत्पन्न स्वाभाविक रूप से आंतरिक सामान्य व्युत्पन्न के लिए सामान्यीकृत होता है जबकि हेविसाइड चरण फलन स्वाभाविक रूप से कुछ डोमेन के सूचक फलन के लिए समान्यीकृत होता है जबकि D की सतह को D द्वारा निरूपित किया जाता है तथा S में आगे बढ़ते हुए यह निष्कर्ष निकाला जाता है कि सूचक डिराक सतह डेल्टा फलन का एक सतह डेल्टा है या नहीं जिसे इस चिन्ह द्वारा दर्शाया जाता है
जहॉं n सतह S का बाहरी सामान्य ज्यामिति है S इस सतह डेल्टा फलन में निम्नलिखित गुण हैं [3]
फलन समूह f के बराबर है यह इस प्रकार है कि सूचक डिराक सतह डेल्टा फलन का लाप्लासियन सतह क्षेत्र के संख्यात्मक मान से एकीकृत होता है।

संदर्भ

  1. Davis, Martin, ed. (1965). अनिर्णीत. New York, NY: Raven Press Books. pp. 41–74.
  2. 2.0 2.1 Kleene, Stephen (1971) [1952]. मेटामैथेमेटिक्स का परिचय (Sixth reprint, with corrections ed.). Netherlands: Wolters-Noordhoff Publishing and North Holland Publishing Company. p. 227.
  3. Lange, Rutger-Jan (2012). "संभावित सिद्धांत, पथ इंटीग्रल और संकेतक का लाप्लासियन". Journal of High Energy Physics. 2012 (11): 29–30. arXiv:1302.0864. Bibcode:2012JHEP...11..032L. doi:10.1007/JHEP11(2012)032. S2CID 56188533.


स्रोत

  1. 1.0 1.1 The Greek letter χ appears because it is the initial letter of the Greek word χαρακτήρ, which is the ultimate origin of the word characteristic.
  2. The set of all indicator functions on X can be identified with the power set of X. Consequently, both sets are sometimes denoted by This is a special case () of the notation for the set of all functions