प्रतिबंध (गणित): 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> कोई उलटा कार्य नहीं है। अगर हम प्रतिबंधित करते हैं <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>
[[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.</math> अगर एक सेट <math>A</math> का उपसमुच्चय है <math>E,</math> फिर का प्रतिबंध<math>f</math> को<math>A</math> कार्य है<ref name="Stoll">
होने देना <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>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>(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> एक कहा जाता है{{visible anchor|Extension of a function|text=extension}}दूसरे समारोह का <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> कहा जाता है{{visible anchor|Extension of a function|text=extension}}दूसरे समारोह का <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>
एक समारोह का एक रेखीय विस्तार |{{visible anchor|linear extension}}(क्रमशः, सतत विस्तार|{{visible anchor|continuous extension}}, आदि) एक समारोह के <math>f</math> का विस्तार है <math>f</math> वह भी एक रेखीय नक्शा है (क्रमशः, एक सतत कार्य, आदि)।
एक समारोह का रेखीय विस्तार |{{visible anchor|linear extension}}(क्रमशः, सतत विस्तार|{{visible anchor|continuous extension}}, आदि) समारोह के <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>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>
# [[कारख़ाने का]] समारोह [[गामा समारोह]] का सकारात्मक पूर्णांकों तक प्रतिबंध है, जिसमें तर्क द्वारा स्थानांतरित किया गया है: <math>{\Gamma|}_{\mathbb{Z}^+}\!(n) = (n-1)!</math>




== प्रतिबंधों के गुण ==
== प्रतिबंधों के गुण ==


* किसी फ़ंक्शन को प्रतिबंधित करना <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>
* एक सेट पर [[पहचान समारोह]] का प्रतिबंध <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 37: Line 37:


{{main|Inverse function}}
{{main|Inverse function}}
किसी फलन का व्युत्क्रम होने के लिए, उसे अंतःक्षेपी फलन|एक-से-एक होना चाहिए। यदि कोई समारोह <math>f</math> एक-से-एक नहीं है, इसका आंशिक व्युत्क्रम परिभाषित करना संभव हो सकता है <math>f</math> डोमेन को प्रतिबंधित करके। उदाहरण के लिए, समारोह
किसी फलन का व्युत्क्रम होने के लिए, उसे अंतःक्षेपी फलन|एक-से-एक होना चाहिए। यदि कोई समारोह <math>f</math> -से-एक नहीं है, इसका आंशिक व्युत्क्रम परिभाषित करना संभव हो सकता है <math>f</math> कार्यक्षेत्र को प्रतिबंधित करके। उदाहरण के लिए, समारोह
<math display=block>f(x) = x^2</math>
<math display=block>f(x) = x^2</math>
समग्र रूप से परिभाषित <math>\R</math> तब से एक-से-एक नहीं है <math>x^2 = (-x)^2</math> किसी के लिए <math>x \in \R.</math> हालाँकि, यदि हम डोमेन तक सीमित हैं तो फ़ंक्शन एक-से-एक हो जाता है <math>\R_{\geq 0} = [0, \infty),</math> किस स्थिति में
समग्र रूप से परिभाषित <math>\R</math> तब से -से-एक नहीं है <math>x^2 = (-x)^2</math> किसी के लिए <math>x \in \R.</math> हालाँकि, यदि हम कार्यक्षेत्र तक सीमित हैं तो समारोह -से-एक हो जाता है <math>\R_{\geq 0} = [0, \infty),</math> किस स्थिति में
<math display=block>f^{-1}(y) = \sqrt{y} .</math>
<math display=block>f^{-1}(y) = \sqrt{y} .</math>
(यदि हम इसके बजाय डोमेन तक सीमित हैं <math>(-\infty, 0],</math> तो व्युत्क्रम के वर्गमूल का ऋणात्मक है <math>y.</math>) वैकल्पिक रूप से, यदि हम प्रतिलोम को एक बहुमूल्यवान फलन होने देते हैं तो प्रांत को प्रतिबंधित करने की कोई आवश्यकता नहीं है।
(यदि हम इसके बजाय कार्यक्षेत्र तक सीमित हैं <math>(-\infty, 0],</math> तो व्युत्क्रम के वर्गमूल का ऋणात्मक है <math>y.</math>) वैकल्पिक रूप से, यदि हम प्रतिलोम को बहुमूल्यवान फलन होने देते हैं तो प्रांत को प्रतिबंधित करने की कोई आवश्यकता नहीं है।


=== चयन ऑपरेटर ===
=== चयन ऑपरेटर ===
{{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>\{<, \leq, =, \neq, \geq, >\},</math>
* <math>\theta</math> सेट में [[बाइनरी ऑपरेशन]] है <math>\{<, \leq, =, \neq, \geq, >\},</math>
* <math>v</math> एक मान स्थिरांक है,
* <math>v</math> मान स्थिरांक है,
* <math>R</math> एक [[संबंध (डेटाबेस)]] है।
* <math>R</math> [[संबंध (डेटाबेस)]] है।


चयन <math>\sigma_{a \theta b}(R)</math> उन सभी टुपल्स का चयन करता है <math>R</math> जिसके लिए <math>\theta</math> के बीच रखता है <math>a</math> और यह <math>b</math> गुण।
चयन <math>\sigma_{a \theta b}(R)</math> उन सभी टुपल्स का चयन करता है <math>R</math> जिसके लिए <math>\theta</math> के बीच रखता है <math>a</math> और यह <math>b</math> गुण।
Line 59: Line 59:
=== पेस्टिंग लेम्मा ===
=== पेस्टिंग लेम्मा ===
{{main|Pasting lemma}}
{{main|Pasting lemma}}
पेस्टिंग लेम्मा [[टोपोलॉजी]] में एक परिणाम है जो किसी फ़ंक्शन की निरंतरता को सबसेट के प्रतिबंधों की निरंतरता से संबंधित करता है।
पेस्टिंग लेम्मा [[टोपोलॉजी]] में परिणाम है जो किसी समारोह की निरंतरता को सबसेट के प्रतिबंधों की निरंतरता से संबंधित करता है।


होने देना <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> निरंतर है।
होने देना <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> निरंतर है।


यह परिणाम एक टोपोलॉजिकल स्पेस के बंद (या खुले) सबसेट पर परिभाषित दो निरंतर कार्यों को लेने और एक नया बनाने की अनुमति देता है।
यह परिणाम टोपोलॉजिकल स्पेस के बंद (या खुले) सबसेट पर परिभाषित दो निरंतर कार्यों को लेने और नया बनाने की अनुमति देता है।


=== शीश ===
=== शीश ===
{{main|Sheaf theory}}
{{main|Sheaf theory}}
[[शीफ सिद्धांत]] कार्यों के अलावा वस्तुओं पर प्रतिबंधों को सामान्यीकृत करने का एक तरीका प्रदान करता है।
[[शीफ सिद्धांत]] कार्यों के अलावा वस्तुओं पर प्रतिबंधों को सामान्यीकृत करने का तरीका प्रदान करता है।


शीफ थ्योरी में, कोई एक ऑब्जेक्ट असाइन करता है <math>F(U)</math> प्रत्येक खुले सेट के लिए एक [[श्रेणी (श्रेणी सिद्धांत)]] में <math>U</math> एक [[टोपोलॉजिकल स्पेस]], और यह आवश्यक है कि ऑब्जेक्ट कुछ शर्तों को पूरा करें। सबसे महत्वपूर्ण शर्त यह है कि नेस्टेड ओपन सेट से जुड़ी वस्तुओं की हर जोड़ी के बीच प्रतिबंध आकारिकी है; वह है, अगर <math>V\subseteq U,</math> फिर एक रूपवाद है <math>\operatorname{res}_{V,U} : F(U) \to F(V)</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>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>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>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>
* (ग्लूइंग) अगर <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>
ऐसी सभी वस्तुओं के संग्रह को पुलिया कहते हैं। यदि केवल पहले दो गुण संतुष्ट होते हैं, तो यह प्री-शेफ है।
ऐसी सभी वस्तुओं के संग्रह को पुलिया कहते हैं। यदि केवल पहले दो गुण संतुष्ट होते हैं, तो यह प्री-शेफ है।


== वाम- और दाएँ-प्रतिबंध ==
== वाम- और दाएँ-प्रतिबंध ==


अधिक सामान्यतः, प्रतिबंध (या डोमेन प्रतिबंध या वाम-प्रतिबंध) <math>A \triangleleft R</math> एक [[द्विआधारी संबंध]] का <math>R</math> बीच में <math>E</math> और <math>F</math> डोमेन वाले संबंध के रूप में परिभाषित किया जा सकता है <math>A,</math> कोडोमेन <math>F</math> और ग्राफ <math>G(A \triangleleft R) = \{(x, y) \in F(R) : x \in A\}.</math> इसी तरह, कोई सही-प्रतिबंध या सीमा प्रतिबंध को परिभाषित कर सकता है <math>R \triangleright B.</math> दरअसल, कोई भी प्रतिबंध को परिभाषित कर सकता है<math>n</math>-आर्य संबंध, साथ ही उपसमुच्चय को संबंधों के रूप में समझा जाता है, जैसे कि कार्तीय उत्पाद के संबंध <math>E \times F</math> द्विआधारी संबंधों के लिए।
अधिक सामान्यतः, प्रतिबंध (या कार्यक्षेत्र प्रतिबंध या वाम-प्रतिबंध) <math>A \triangleleft R</math> [[द्विआधारी संबंध]] का <math>R</math> बीच में <math>E</math> और <math>F</math> कार्यक्षेत्र वाले संबंध के रूप में परिभाषित किया जा सकता है <math>A,</math> कोकार्यक्षेत्र <math>F</math> और ग्राफ <math>G(A \triangleleft R) = \{(x, y) \in F(R) : x \in A\}.</math> इसी तरह, कोई सही-प्रतिबंध या सीमा प्रतिबंध को परिभाषित कर सकता है <math>R \triangleright B.</math> दरअसल, कोई भी प्रतिबंध को परिभाषित कर सकता है<math>n</math>-आर्य संबंध, साथ ही उपसमुच्चय को संबंधों के रूप में समझा जाता है, जैसे कि कार्तीय उत्पाद के संबंध <math>E \times F</math> द्विआधारी संबंधों के लिए।
ये मामले शेफ (गणित) की योजना में फिट नहीं होते हैं।{{clarify|date=July 2013}}
ये मामले शेफ (गणित) की योजना में फिट नहीं होते हैं।{{clarify|date=July 2013}}


Line 84: Line 84:
== विरोधी प्रतिबंध ==
== विरोधी प्रतिबंध ==


किसी फ़ंक्शन या बाइनरी संबंध का डोमेन विरोधी प्रतिबंध (या डोमेन घटाव)। <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>
किसी समारोह या बाइनरी संबंध का कार्यक्षेत्र विरोधी प्रतिबंध (या कार्यक्षेत्र घटाव)। <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 14:38, 7 February 2023

कार्यक्रम कार्यक्षेत्र के साथ कोई उलटा कार्य नहीं है। अगर हम प्रतिबंधित करते हैं गैर-ऋणात्मक वास्तविक संख्याओं के लिए, तो इसका व्युत्क्रम फलन होता है, जिसे का वर्गमूल कहा जाता है

गणित में, समारोह का प्रतिबंध (गणित) नया कार्य है, निरूपित या किसी समारोह का छोटा कार्यक्षेत्र चुनकर प्राप्त किया गया मूल समारोह के लिए कार्यक्रम फिर विस्तार कहा जाता है


औपचारिक परिभाषा

होने देना सेट (गणित) से कार्य बनें सेट के लिए अगर सेट का उपसमुच्चय है फिर का प्रतिबंध को कार्य है[1]

द्वारा दिए गए के लिए अनौपचारिक रूप से, का प्रतिबंध को के समान कार्य है लेकिन केवल परिभाषित किया गया है .

यदि समारोह संबंध (गणित) के रूप में माना जाता है कार्टेशियन उत्पाद पर फिर का प्रतिबंध को किसी समारोह के ग्राफ़ द्वारा प्रदर्शित किया जा सकता है जहां जोड़े ग्राफ में आदेशित जोड़े का प्रतिनिधित्व करें


एक्सटेंशन

एक समारोह कहा जाता हैextensionदूसरे समारोह का अगर जब भी के अधिकार क्षेत्र में है तब के दायरे में भी है और यानी अगर और एक समारोह का रेखीय विस्तार |linear extension(क्रमशः, सतत विस्तार|continuous extension, आदि) समारोह के का विस्तार है वह भी रेखीय नक्शा है (क्रमशः, सतत कार्य, आदि)।

उदाहरण

  1. इंजेक्शन समारोह का प्रतिबंध | गैर-इंजेक्शन समारोह कार्यक्षेत्र के लिए इंजेक्शन है
  2. कारख़ाने का समारोह गामा समारोह का सकारात्मक पूर्णांकों तक प्रतिबंध है, जिसमें तर्क द्वारा स्थानांतरित किया गया है:


प्रतिबंधों के गुण

  • किसी समारोह को प्रतिबंधित करना इसके पूरे कार्यक्षेत्र के लिए मूल कार्य को वापस देता है, अर्थात
  • किसी समारोह को दो बार प्रतिबंधित करना उसे बार प्रतिबंधित करने के समान है, अर्थात यदि तब
  • एक सेट पर पहचान समारोह का प्रतिबंध उपसमुच्चय के लिए का से केवल समावेशन मानचित्र है में [2]
  • एक सतत कार्य का प्रतिबंध निरंतर है।[3][4]


अनुप्रयोग

उलटा कार्य

Main article: Inverse function

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

समग्र रूप से परिभाषित तब से -से-एक नहीं है किसी के लिए हालाँकि, यदि हम कार्यक्षेत्र तक सीमित हैं तो समारोह -से-एक हो जाता है किस स्थिति में
(यदि हम इसके बजाय कार्यक्षेत्र तक सीमित हैं तो व्युत्क्रम के वर्गमूल का ऋणात्मक है ) वैकल्पिक रूप से, यदि हम प्रतिलोम को बहुमूल्यवान फलन होने देते हैं तो प्रांत को प्रतिबंधित करने की कोई आवश्यकता नहीं है।

चयन ऑपरेटर

Main article: Selection (relational algebra)

संबंधपरक बीजगणित में, चयन (संबंधपरक बीजगणित) (कभी-कभी एसक्यूएल के चयन के उपयोग के साथ भ्रम से बचने के लिए प्रतिबंध कहा जाता है) ात्मक ऑपरेशन है जिसे लिखा गया है या कहाँ:

चयन उन सभी टुपल्स का चयन करता है जिसके लिए के बीच रखता है और यह गुण।

चयन उन सभी टुपल्स का चयन करता है जिसके लिए के बीच रखता है विशेषता और मूल्य इस प्रकार, चयन ऑपरेटर संपूर्ण डेटाबेस के सबसेट तक सीमित रहता है।

पेस्टिंग लेम्मा

Main article: Pasting lemma

पेस्टिंग लेम्मा टोपोलॉजी में परिणाम है जो किसी समारोह की निरंतरता को सबसेट के प्रतिबंधों की निरंतरता से संबंधित करता है।

होने देना टोपोलॉजिकल स्पेस के दो बंद उपसमुच्चय (या दो खुले उपसमुच्चय) हों ऐसा है कि और जाने टोपोलॉजिकल स्पेस भी हो। अगर दोनों के लिए प्रतिबंधित होने पर निरंतर है और तब निरंतर है।

यह परिणाम टोपोलॉजिकल स्पेस के बंद (या खुले) सबसेट पर परिभाषित दो निरंतर कार्यों को लेने और नया बनाने की अनुमति देता है।

शीश

Main article: Sheaf theory

शीफ सिद्धांत कार्यों के अलावा वस्तुओं पर प्रतिबंधों को सामान्यीकृत करने का तरीका प्रदान करता है।

शीफ थ्योरी में, कोई ऑब्जेक्ट असाइन करता है प्रत्येक खुले सेट के लिए श्रेणी (श्रेणी सिद्धांत) में टोपोलॉजिकल स्पेस, और यह आवश्यक है कि ऑब्जेक्ट कुछ शर्तों को पूरा करें। सबसे महत्वपूर्ण शर्त यह है कि नेस्टेड ओपन सेट से जुड़ी वस्तुओं की हर जोड़ी के बीच प्रतिबंध आकारिकी है; वह है, अगर फिर रूपवाद है निम्नलिखित गुणों को संतुष्ट करना, जो किसी समारोह के प्रतिबंध की नकल करने के लिए डिज़ाइन किए गए हैं:

  • हर खुले सेट के लिए का प्रतिबंध रूपवाद पहचान रूपवाद चालू है
  • अगर हमारे पास तीन खुले सेट हैं फिर फंक्शन रचना
  • (इलाका) अगर खुले सेट का खुला आवरण (टोपोलॉजी) है और अगर ऐसे हैं <अवधि वर्ग = टेक्सएचटीएमएल> एस |Ui</ उप> = टी | उप> यूi प्रत्येक सेट के लिए आवरण का, तब ; और
  • (ग्लूइंग) अगर खुले सेट का खुला आवरण है और यदि प्रत्येक के लिए अनुभाग ऐसा दिया जाता है कि प्रत्येक जोड़ी के लिए कवरिंग के प्रतिबंध सेट करता है और ओवरलैप पर सहमत: फिर खंड है ऐसा है कि प्रत्येक के लिए

ऐसी सभी वस्तुओं के संग्रह को पुलिया कहते हैं। यदि केवल पहले दो गुण संतुष्ट होते हैं, तो यह प्री-शेफ है।

वाम- और दाएँ-प्रतिबंध

अधिक सामान्यतः, प्रतिबंध (या कार्यक्षेत्र प्रतिबंध या वाम-प्रतिबंध) द्विआधारी संबंध का बीच में और कार्यक्षेत्र वाले संबंध के रूप में परिभाषित किया जा सकता है कोकार्यक्षेत्र और ग्राफ इसी तरह, कोई सही-प्रतिबंध या सीमा प्रतिबंध को परिभाषित कर सकता है दरअसल, कोई भी प्रतिबंध को परिभाषित कर सकता है-आर्य संबंध, साथ ही उपसमुच्चय को संबंधों के रूप में समझा जाता है, जैसे कि कार्तीय उत्पाद के संबंध द्विआधारी संबंधों के लिए। ये मामले शेफ (गणित) की योजना में फिट नहीं होते हैं।[clarification needed]


विरोधी प्रतिबंध

किसी समारोह या बाइनरी संबंध का कार्यक्षेत्र विरोधी प्रतिबंध (या कार्यक्षेत्र घटाव)। (कार्यक्षेत्र के साथ और कोकार्यक्षेत्र ) सेट द्वारा रूप में परिभाषित किया जा सकता है ; के सभी तत्वों को हटा देता है कार्यक्षेत्र से इसे कभी-कभी निरूपित किया जाता है  ⩤ [5] इसी तरह, किसी समारोह या बाइनरी रिलेशन की श्रेणी विरोधी प्रतिबंध (या श्रेणी घटाव)। सेट द्वारा परिभाषित किया जाता है ; के सभी तत्वों को हटा देता है कोकार्यक्षेत्र से इसे कभी-कभी निरूपित किया जाता है  ⩥ 


यह भी देखें


संदर्भ

  1. ↑ Stoll, Robert (1974). Sets, Logic and Axiomatic Theories (2nd ed.). San Francisco: W. H. Freeman and Company. pp. [36]. ISBN 0-7167-0457-9.
  2. ↑ Halmos, Paul (1960). Naive Set Theory. Princeton, NJ: D. Van Nostrand. 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).
  3. ↑ Munkres, James R. (2000). टोपोलॉजी (2nd ed.). Upper Saddle River: Prentice Hall. ISBN 0-13-181629-2.
  4. ↑ Adams, Colin Conrad; Franzosa, Robert David (2008). Introduction to Topology: Pure and Applied. Pearson Prentice Hall. ISBN 978-0-13-184869-6.
  5. ↑ 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)
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=प्रतिबंध_(गणित)&oldid=83323’