प्रतिबंध (गणित): Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Function with a smaller domain}} | {{Short description|Function with a smaller domain}} | ||
[[File:Inverse square graph.svg|thumb|कार्यक्रम <math>x^2</math> कार्यक्षेत्र के साथ <math>\mathbb{R}</math> कोई उलटा कार्य नहीं है। | [[File:Inverse square graph.svg|thumb|कार्यक्रम <math>x^2</math> कार्यक्षेत्र के साथ <math>\mathbb{R}</math> कोई उलटा कार्य नहीं है। यदि हम प्रतिबंधित करते हैं <math>x^2</math> अ-ऋणात्मक [[वास्तविक संख्या]]ओं के लिए, तो इसका व्युत्क्रम फलन होता है, जिसे का [[वर्गमूल]] कहा जाता है <math>x.</math>]]गणित में, समारोह का प्रतिबंध (गणित) <math>f</math> नया कार्य है, निरूपित <math>f\vert_A</math> या <math>f {\restriction_A},</math> किसी समारोह का छोटा कार्यक्षेत्र चुनकर प्राप्त किया गया <math>A</math> मूल समारोह के लिए <math>f.</math> कार्यक्रम <math>f</math> फिर विस्तार कहा जाता है <math>f\vert_A.</math> | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
होने देना <math>f : E \to F</math> [[सेट (गणित)]] से कार्य बनें <math>E</math> | होने देना <math>f : E \to F</math> [[सेट (गणित)|समुच्चय (गणित)]] से कार्य बनें <math>E</math> समुच्चय के लिए <math>F.</math> यदि समुच्चय <math>A</math> का उपसमुच्चय है <math>E,</math> फिर का प्रतिबंध<math>f</math> को<math>A</math> कार्य है<ref name="Stoll"> | ||
{{Cite book|last=Stoll|first=Robert|title=Sets, Logic and Axiomatic Theories|publisher=W. H. Freeman and Company|date=1974|location=San Francisco|pages=[36]|edition=2nd|isbn=0-7167-0457-9|url=https://archive.org/details/setslogicaxiomat0000stol/page/5}}</ref> | {{Cite book|last=Stoll|first=Robert|title=Sets, Logic and Axiomatic Theories|publisher=W. H. Freeman and Company|date=1974|location=San Francisco|pages=[36]|edition=2nd|isbn=0-7167-0457-9|url=https://archive.org/details/setslogicaxiomat0000stol/page/5}}</ref> | ||
<math display=block>{f|}_A : A \to F</math> | <math display=block>{f|}_A : A \to F</math> | ||
द्वारा दिए गए <math>{f|}_A(x) = f(x)</math> के लिए <math>x \in A.</math> अनौपचारिक रूप से, का प्रतिबंध <math>f</math> को <math>A</math> के समान कार्य है <math>f,</math> किन्तु केवल परिभाषित किया गया है <math>A</math>. | द्वारा दिए गए <math>{f|}_A(x) = f(x)</math> के लिए <math>x \in A.</math> अनौपचारिक रूप से, का प्रतिबंध <math>f</math> को <math>A</math> के समान कार्य है <math>f,</math> किन्तु केवल परिभाषित किया गया है <math>A</math>. | ||
यदि समारोह <math>f</math> [[संबंध (गणित)]] के रूप में माना जाता है <math>(x,f(x))</math> | यदि समारोह <math>f</math> [[संबंध (गणित)]] के रूप में माना जाता है <math>(x,f(x))</math> कार्तीय उत्पाद पर <math>E \times F,</math> प्रतिबंध <math>f</math> को <math>A</math> किसी समारोह के ग्राफ़ द्वारा प्रदर्शित किया जा सकता है {{nowrap|<math>G({f|}_A) = \{ (x,f(x))\in G(f) : x\in A \} = G(f)\cap (A\times F),</math>}} जहां जोड़े <math>(x,f(x))</math> ग्राफ में आदेशित जोड़े का प्रतिनिधित्व करें <math>G.</math> | ||
=== | === विस्तार === | ||
समारोह <math>F</math> कहा जाता है। | समारोह <math>F</math> कहा जाता है। दूसरे समारोह का <math>f</math> यदि जब भी <math>x</math> के अधिकार क्षेत्र में है <math>f</math> तब <math>x</math> के क्षेत्र में भी है <math>F</math> और <math>f(x) = F(x).</math> अर्थात यदि <math>\operatorname{domain} f \subseteq \operatorname{domain} F</math> और <math>F\big\vert_{\operatorname{domain} f} = f.</math> समारोह का रेखीय विस्तार | क्रमशः, सतत विस्तार, आदि समारोह के <math>f</math> का विस्तार है <math>f</math> वह भी रेखीय मानचित्र है क्रमशः, सतत कार्य, आदि। | ||
== उदाहरण == | == उदाहरण == | ||
# [[इंजेक्शन समारोह]] का प्रतिबंध | | # [[इंजेक्शन समारोह|अन्तःक्षेपण समारोह]] का प्रतिबंध | अ-अन्तःक्षेपण समारोह<math>f: \mathbb{R} \to \mathbb{R}, \ x \mapsto x^2</math> कार्यक्षेत्र के लिए <math>\mathbb{R}_{+} = [0,\infty)</math> अन्तःक्षेपण है<math>f:\mathbb{R}_+ \to \mathbb{R}, \ x \mapsto x^2.</math> | ||
# [[कारख़ाने का]] समारोह [[गामा समारोह]] का सकारात्मक पूर्णांकों तक प्रतिबंध है, जिसमें तर्क द्वारा स्थानांतरित किया गया है | # [[कारख़ाने का]] समारोह [[गामा समारोह]] का सकारात्मक पूर्णांकों तक प्रतिबंध है, जिसमें तर्क द्वारा स्थानांतरित किया गया है <math>{\Gamma|}_{\mathbb{Z}^+}\!(n) = (n-1)!</math> | ||
| Line 27: | Line 27: | ||
* किसी समारोह को प्रतिबंधित करना <math>f:X\rightarrow Y</math> इसके पूरे कार्यक्षेत्र के लिए <math>X</math> मूल कार्य को वापस देता है, अर्थात <math>f|_X = f.</math> | * किसी समारोह को प्रतिबंधित करना <math>f:X\rightarrow Y</math> इसके पूरे कार्यक्षेत्र के लिए <math>X</math> मूल कार्य को वापस देता है, अर्थात <math>f|_X = f.</math> | ||
* किसी समारोह को दो बार प्रतिबंधित करना उसे बार प्रतिबंधित करने के समान है, अर्थात यदि <math>A \subseteq B \subseteq \operatorname{dom} f,</math> तब <math>\left(f|_B\right)|_A = f|_A.</math> | * किसी समारोह को दो बार प्रतिबंधित करना उसे बार प्रतिबंधित करने के समान है, अर्थात यदि <math>A \subseteq B \subseteq \operatorname{dom} f,</math> तब <math>\left(f|_B\right)|_A = f|_A.</math> | ||
* | * समुच्चय पर [[पहचान समारोह]] का प्रतिबंध <math>X</math> उपसमुच्चय के लिए <math>A</math> का <math>X</math> से केवल समावेशन मानचित्र है <math>A</math> में <math>X.</math><ref>{{cite book|author-link=Paul Halmos|last=Halmos|first=Paul|title=[[Naive Set Theory (book)|Naive Set Theory]]|location=Princeton, NJ|publisher=D. Van Nostrand|year=1960}} Reprinted by Springer-Verlag, New York, 1974. {{isbn|0-387-90092-6}} (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011. {{isbn|978-1-61427-131-4}} (Paperback edition).</ref> | ||
* सतत कार्य का प्रतिबंध निरंतर है।<ref>{{cite book|last=Munkres|first=James R.|title=टोपोलॉजी|edition=2nd|location=Upper Saddle River|publisher=Prentice Hall|year=2000|isbn=0-13-181629-2}}</ref><ref>{{cite book|last=Adams|first=Colin Conrad|first2=Robert David|last2=Franzosa|title=Introduction to Topology: Pure and Applied|publisher=Pearson Prentice Hall|year=2008|isbn=978-0-13-184869-6}}</ref> | * सतत कार्य का प्रतिबंध निरंतर है।<ref>{{cite book|last=Munkres|first=James R.|title=टोपोलॉजी|edition=2nd|location=Upper Saddle River|publisher=Prentice Hall|year=2000|isbn=0-13-181629-2}}</ref><ref>{{cite book|last=Adams|first=Colin Conrad|first2=Robert David|last2=Franzosa|title=Introduction to Topology: Pure and Applied|publisher=Pearson Prentice Hall|year=2008|isbn=978-0-13-184869-6}}</ref> | ||
| Line 45: | Line 45: | ||
{{main|Selection (relational algebra)}} | {{main|Selection (relational algebra)}} | ||
[[संबंधपरक बीजगणित]] में, [[चयन (संबंधपरक बीजगणित)]] (कभी-कभी [[एसक्यूएल]] के चयन के उपयोग के साथ भ्रम से बचने के लिए प्रतिबंध कहा जाता है) [[एकात्मक ऑपरेशन|ात्मक ऑपरेशन]] है जिसे लिखा गया है | [[संबंधपरक बीजगणित]] में, [[चयन (संबंधपरक बीजगणित)]] (कभी-कभी [[एसक्यूएल]] के चयन के उपयोग के साथ भ्रम से बचने के लिए प्रतिबंध कहा जाता है) [[एकात्मक ऑपरेशन|ात्मक ऑपरेशन]] है जिसे लिखा गया है | ||
<math>\sigma_{a \theta b}(R)</math> या <math>\sigma_{a \theta v}(R)</math> कहाँ | <math>\sigma_{a \theta b}(R)</math> या <math>\sigma_{a \theta v}(R)</math> कहाँ | ||
* <math>a</math> और <math>b</math> विशेषता नाम हैं, | * <math>a</math> और <math>b</math> विशेषता नाम हैं, | ||
* <math>\theta</math> | * <math>\theta</math> समुच्चय में [[बाइनरी ऑपरेशन]] है <math>\{<, \leq, =, \neq, \geq, >\},</math> | ||
* <math>v</math> मान स्थिरांक है, | * <math>v</math> मान स्थिरांक है, | ||
* <math>R</math> [[संबंध (डेटाबेस)]] है। | * <math>R</math> [[संबंध (डेटाबेस)]] है। | ||
| Line 54: | Line 54: | ||
चयन <math>\sigma_{a \theta v}(R)</math> उन सभी टुपल्स का चयन करता है <math>R</math> जिसके लिए <math>\theta</math> के बीच रखता है <math>a</math> विशेषता और मूल्य <math>v.</math> | चयन <math>\sigma_{a \theta v}(R)</math> उन सभी टुपल्स का चयन करता है <math>R</math> जिसके लिए <math>\theta</math> के बीच रखता है <math>a</math> विशेषता और मूल्य <math>v.</math> | ||
इस प्रकार, चयन ऑपरेटर संपूर्ण डेटाबेस के | इस प्रकार, चयन ऑपरेटर संपूर्ण डेटाबेस के उप-समूचय तक सीमित रहता है। | ||
=== पेस्टिंग लेम्मा === | === पेस्टिंग लेम्मा === | ||
{{main|Pasting lemma}} | {{main|Pasting lemma}} | ||
पेस्टिंग लेम्मा [[टोपोलॉजी]] में परिणाम है जो किसी समारोह की निरंतरता को | पेस्टिंग लेम्मा [[टोपोलॉजी]] में परिणाम है जो किसी समारोह की निरंतरता को उप-समूचय के प्रतिबंधों की निरंतरता से संबंधित करता है। | ||
होने देना <math>X,Y</math> टोपोलॉजिकल स्पेस के दो बंद उपसमुच्चय (या दो खुले उपसमुच्चय) हों <math>A</math> ऐसा है कि <math>A = X \cup Y,</math> और जाने <math>B</math> टोपोलॉजिकल स्पेस भी हो। | होने देना <math>X,Y</math> टोपोलॉजिकल स्पेस के दो बंद उपसमुच्चय (या दो खुले उपसमुच्चय) हों <math>A</math> ऐसा है कि <math>A = X \cup Y,</math> और जाने <math>B</math> टोपोलॉजिकल स्पेस भी हो। यदि <math>f: A \to B</math> दोनों के लिए प्रतिबंधित होने पर निरंतर है <math>X</math> और <math>Y,</math> तब <math>f</math> निरंतर है। | ||
यह परिणाम टोपोलॉजिकल स्पेस के बंद (या खुले) | यह परिणाम टोपोलॉजिकल स्पेस के बंद (या खुले) उप-समूचय पर परिभाषित दो निरंतर कार्यों को लेने और नया बनाने की अनुमति देता है। | ||
=== शीश === | === शीश === | ||
| Line 68: | Line 68: | ||
[[शीफ सिद्धांत]] कार्यों के अलावा वस्तुओं पर प्रतिबंधों को सामान्यीकृत करने का तरीका प्रदान करता है। | [[शीफ सिद्धांत]] कार्यों के अलावा वस्तुओं पर प्रतिबंधों को सामान्यीकृत करने का तरीका प्रदान करता है। | ||
शीफ थ्योरी में, कोई ऑब्जेक्ट असाइन करता है <math>F(U)</math> प्रत्येक खुले | शीफ थ्योरी में, कोई ऑब्जेक्ट असाइन करता है <math>F(U)</math> प्रत्येक खुले समुच्चय के लिए [[श्रेणी (श्रेणी सिद्धांत)]] में <math>U</math> [[टोपोलॉजिकल स्पेस]], और यह आवश्यक है कि ऑब्जेक्ट कुछ शर्तों को पूरा करें। सबसे महत्वपूर्ण शर्त यह है कि नेस्टेड ओपन समुच्चय से जुड़ी वस्तुओं की हर जोड़ी के बीच प्रतिबंध आकारिकी है; वह है, यदि <math>V\subseteq U,</math> फिर रूपवाद है <math>\operatorname{res}_{V,U} : F(U) \to F(V)</math> निम्नलिखित गुणों को संतुष्ट करना, जो किसी समारोह के प्रतिबंध की नकल करने के लिए डिज़ाइन किए गए हैं | ||
* हर खुले | * हर खुले समुच्चय के लिए <math>U</math> का <math>X,</math> प्रतिबंध रूपवाद <math>\operatorname{res}_{U,U} : F(U) \to F(U)</math> पहचान रूपवाद चालू है <math>F(U).</math> | ||
* | * यदि हमारे पास तीन खुले समुच्चय हैं <math>W \subseteq V \subseteq U,</math> फिर फंक्शन रचना <math>\operatorname{res}_{W,V} \circ \operatorname{res}_{V,U} = \operatorname{res}_{W,U}.</math> | ||
* (इलाका) | * (इलाका) यदि <math>\left(U_i\right)</math> खुले समुच्चय का खुला [[आवरण (टोपोलॉजी)]] है <math>U,</math> और यदि <math>s, t \in F(U)</math> ऐसे हैं <math>s\big\vert_{U_i} = t\big\vert_{U_i}</math><अवधि वर्ग = टेक्सएचटीएमएल> एस |<sub>''U''<sub>''i''</sub></ उप> = टी | उप> यू<sub>''i''</sub></sub> प</span>्रत्येक समुच्चय के लिए <math>U_i</math> आवरण का, तब <math>s = t</math>; और | ||
* (ग्लूइंग) | * (ग्लूइंग) यदि <math>\left(U_i\right)</math> खुले समुच्चय का खुला आवरण है <math>U,</math> और यदि प्रत्येक के लिए <math>i</math> अनुभाग <math>x_i \in F\left(U_i\right)</math> ऐसा दिया जाता है कि प्रत्येक जोड़ी के लिए <math>U_i, U_j</math> कवरिंग के प्रतिबंध समुच्चय करता है <math>s_i</math> और <math>s_j</math> ओवरलैप पर सहमत <math>s_i\big\vert_{U_i \cap U_j} = s_j\big\vert_{U_i \cap U_j},</math> फिर खंड है <math>s \in F(U)</math> ऐसा है कि <math>s\big\vert_{U_i} = s_i</math> प्रत्येक के लिए <math>i.</math> | ||
ऐसी सभी वस्तुओं के संग्रह को पुलिया कहते हैं। यदि केवल पहले दो गुण संतुष्ट होते हैं, तो यह प्री-शेफ है। | ऐसी सभी वस्तुओं के संग्रह को पुलिया कहते हैं। यदि केवल पहले दो गुण संतुष्ट होते हैं, तो यह प्री-शेफ है। | ||
| Line 83: | Line 83: | ||
== विरोधी प्रतिबंध == | == विरोधी प्रतिबंध == | ||
किसी समारोह या बाइनरी संबंध का कार्यक्षेत्र विरोधी प्रतिबंध (या कार्यक्षेत्र घटाव)। <math>R</math> (कार्यक्षेत्र के साथ <math>E</math> और कोकार्यक्षेत्र <math>F</math>) | किसी समारोह या बाइनरी संबंध का कार्यक्षेत्र विरोधी प्रतिबंध (या कार्यक्षेत्र घटाव)। <math>R</math> (कार्यक्षेत्र के साथ <math>E</math> और कोकार्यक्षेत्र <math>F</math>) समुच्चय द्वारा <math>A</math> रूप में परिभाषित किया जा सकता है <math>(E \setminus A) \triangleleft R</math>; के सभी तत्वों को हटा देता है <math>A</math> कार्यक्षेत्र से <math>E.</math> इसे कभी-कभी निरूपित किया जाता है <math>A</math> ⩤ <math>R.</math><ref>Dunne, S. and Stoddart, Bill ''Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5–7, 2006, Revised Selected ... Computer Science and General Issues)''. Springer (2006)</ref> इसी तरह, किसी समारोह या बाइनरी रिलेशन की श्रेणी विरोधी प्रतिबंध (या श्रेणी घटाव)। <math>R</math> समुच्चय द्वारा <math>B</math> परिभाषित किया जाता है <math>R \triangleright (F \setminus B)</math>; के सभी तत्वों को हटा देता है <math>B</math> कोकार्यक्षेत्र से <math>F.</math> इसे कभी-कभी निरूपित किया जाता है <math>R</math> ⩥ <math>B.</math> | ||
Revision as of 15:23, 7 February 2023
कार्यक्रम कार्यक्षेत्र के साथ कोई उलटा कार्य नहीं है। यदि हम प्रतिबंधित करते हैं अ-ऋणात्मक वास्तविक संख्याओं के लिए, तो इसका व्युत्क्रम फलन होता है, जिसे का वर्गमूल कहा जाता है
गणित में, समारोह का प्रतिबंध (गणित) नया कार्य है, निरूपित या किसी समारोह का छोटा कार्यक्षेत्र चुनकर प्राप्त किया गया मूल समारोह के लिए कार्यक्रम फिर विस्तार कहा जाता है
औपचारिक परिभाषा
होने देना समुच्चय (गणित) से कार्य बनें समुच्चय के लिए यदि समुच्चय का उपसमुच्चय है फिर का प्रतिबंध को कार्य है[1]
द्वारा दिए गए के लिए अनौपचारिक रूप से, का प्रतिबंध को के समान कार्य है किन्तु केवल परिभाषित किया गया है .
यदि समारोह संबंध (गणित) के रूप में माना जाता है कार्तीय उत्पाद पर प्रतिबंध