प्रतिबंध (गणित): Difference between revisions
No edit summary |
No edit summary |
||
| Line 8: | Line 8: | ||
{{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>{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> का विस्तार है <math>f</math> वह भी रेखीय मानचित्र है क्रमशः, सतत कार्य, आदि। | |||
== उदाहरण == | == उदाहरण == | ||
| Line 28: | 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> | ||
| Line 37: | Line 36: | ||
{{main|Inverse function}} | {{main|Inverse function}} | ||
किसी फलन का व्युत्क्रम होने के लिए, उसे अंतःक्षेपी फलन| | किसी फलन का व्युत्क्रम होने के लिए, उसे अंतःक्षेपी फलन| -से- होना चाहिए। यदि कोई समारोह <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>\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>) वैकल्पिक रूप से, यदि हम प्रतिलोम को बहुमूल्यवान फलन होने देते हैं तो प्रांत को प्रतिबंधित करने की कोई आवश्यकता नहीं है। | ||
Revision as of 14:47, 7 February 2023
गणित में, समारोह का प्रतिबंध (गणित) नया कार्य है, निरूपित या किसी समारोह का छोटा कार्यक्षेत्र चुनकर प्राप्त किया गया मूल समारोह के लिए कार्यक्रम फिर विस्तार कहा जाता है
औपचारिक परिभाषा
होने देना सेट (गणित) से कार्य बनें सेट के लिए अगर सेट का उपसमुच्चय है फिर का प्रतिबंध को कार्य है[1]
यदि समारोह संबंध (गणित) के रूप में माना जाता है कार्टेशियन उत्पाद पर फिर का प्रतिबंध को किसी समारोह के ग्राफ़ द्वारा प्रदर्शित किया जा सकता है जहां जोड़े ग्राफ में आदेशित जोड़े का प्रतिनिधित्व करें
्सटेंशन
समारोह कहा जाता है। extension दूसरे समारोह का अगर जब भी के अधिकार क्षेत्र में है तब के क्षेत्र में भी है और यानी अगर और समारोह का रेखीय विस्तार | क्रमशः, सतत विस्तार, आदि समारोह के का विस्तार है वह भी रेखीय मानचित्र है क्रमशः, सतत कार्य, आदि।
उदाहरण
- इंजेक्शन समारोह का प्रतिबंध | गैर-इंजेक्शन समारोह कार्यक्षेत्र के लिए इंजेक्शन है
- कारख़ाने का समारोह गामा समारोह का सकारात्मक पूर्णांकों तक प्रतिबंध है, जिसमें तर्क द्वारा स्थानांतरित किया गया है:
प्रतिबंधों के गुण
- किसी समारोह को प्रतिबंधित करना इसके पूरे कार्यक्षेत्र के लिए मूल कार्य को वापस देता है, अर्थात
- किसी समारोह को दो बार प्रतिबंधित करना उसे बार प्रतिबंधित करने के समान है, अर्थात यदि तब
- सेट पर पहचान समारोह का प्रतिबंध उपसमुच्चय के लिए का से केवल समावेशन मानचित्र है में [2]
- सतत कार्य का प्रतिबंध निरंतर है।[3][4]
अनुप्रयोग
उलटा कार्य
किसी फलन का व्युत्क्रम होने के लिए, उसे अंतःक्षेपी फलन| -से- होना चाहिए। यदि कोई समारोह -से- नहीं है, इसका आंशिक व्युत्क्रम परिभाषित करना संभव हो सकता है कार्यक्षेत्र को प्रतिबंधित करके। उदाहरण के लिए, समारोह
चयन ऑपरेटर
संबंधपरक बीजगणित में, चयन (संबंधपरक बीजगणित) (कभी-कभी एसक्यूएल के चयन के उपयोग के साथ भ्रम से बचने के लिए प्रतिबंध कहा जाता है) ात्मक ऑपरेशन है जिसे लिखा गया है या कहाँ:
- और विशेषता नाम हैं,
- सेट में बाइनरी ऑपरेशन है
- मान स्थिरांक है,
- संबंध (डेटाबेस) है।
चयन उन सभी टुपल्स का चयन करता है जिसके लिए के बीच रखता है और यह गुण।
चयन उन सभी टुपल्स का चयन करता है जिसके लिए के बीच रखता है विशेषता और मूल्य इस प्रकार, चयन ऑपरेटर संपूर्ण डेटाबेस के सबसेट तक सीमित रहता है।
पेस्टिंग लेम्मा
पेस्टिंग लेम्मा टोपोलॉजी में परिणाम है जो किसी समारोह की निरंतरता को सबसेट के प्रतिबंधों की निरंतरता से संबंधित करता है।
होने देना टोपोलॉजिकल स्पेस के दो बंद उपसमुच्चय (या दो खुले उपसमुच्चय) हों ऐसा है कि और जाने टोपोलॉजिकल स्पेस भी हो। अगर दोनों के लिए प्रतिबंधित होने पर निरंतर है और तब निरंतर है।
यह परिणाम टोपोलॉजिकल स्पेस के बंद (या खुले) सबसेट पर परिभाषित दो निरंतर कार्यों को लेने और नया बनाने की अनुमति देता है।
शीश
शीफ सिद्धांत कार्यों के अलावा वस्तुओं पर प्रतिबंधों को सामान्यीकृत करने का तरीका प्रदान करता है।
शीफ थ्योरी में, कोई ऑब्जेक्ट असाइन करता है प्रत्येक खुले सेट के लिए श्रेणी (श्रेणी सिद्धांत) में टोपोलॉजिकल स्पेस, और यह आवश्यक है कि ऑब्जेक्ट कुछ शर्तों को पूरा करें। सबसे महत्वपूर्ण शर्त यह है कि नेस्टेड ओपन सेट से जुड़ी वस्तुओं की हर जोड़ी के बीच प्रतिबंध आकारिकी है; वह है, अगर फिर रूपवाद है निम्नलिखित गुणों को संतुष्ट करना, जो किसी समारोह के प्रतिबंध की नकल करने के लिए डिज़ाइन किए गए हैं:
- हर खुले सेट के लिए का प्रतिबंध रूपवाद पहचान रूपवाद चालू है
- अगर हमारे पास तीन खुले सेट हैं फिर फंक्शन रचना
- (इलाका) अगर खुले सेट का खुला आवरण (टोपोलॉजी) है और अगर ऐसे हैं <अवधि वर्ग = टेक्सएचटीएमएल> एस |Ui</ उप> = टी | उप> यूi प्रत्येक सेट के लिए आवरण का, तब ; और
- (ग्लूइंग) अगर खुले सेट का खुला आवरण है और यदि प्रत्येक के लिए अनुभाग ऐसा दिया जाता है कि प्रत्येक जोड़ी के लिए कवरिंग के प्रतिबंध सेट करता है और ओवरलैप पर सहमत: फिर खंड है ऐसा है कि प्रत्येक के लिए
ऐसी सभी वस्तुओं के संग्रह को पुलिया कहते हैं। यदि केवल पहले दो गुण संतुष्ट होते हैं, तो यह प्री-शेफ है।
वाम- और दाएँ-प्रतिबंध
अधिक सामान्यतः, प्रतिबंध (या कार्यक्षेत्र प्रतिबंध या वाम-प्रतिबंध) द्विआधारी संबंध का बीच में और कार्यक्षेत्र वाले संबंध के रूप में परिभाषित किया जा सकता है कोकार्यक्षेत्र और ग्राफ इसी तरह, कोई सही-प्रतिबंध या सीमा प्रतिबंध को परिभाषित कर सकता है दरअसल, कोई भी प्रतिबंध को परिभाषित कर सकता है-आर्य संबंध, साथ ही उपसमुच्चय को संबंधों के रूप में समझा जाता है, जैसे कि कार्तीय उत्पाद के संबंध द्विआधारी संबंधों के लिए। ये मामले शेफ (गणित) की योजना में फिट नहीं होते हैं।[clarification needed]
विरोधी प्रतिबंध
किसी समारोह या बाइनरी संबंध का कार्यक्षेत्र विरोधी प्रतिबंध (या कार्यक्षेत्र घटाव)। (कार्यक्षेत्र के साथ और कोकार्यक्षेत्र ) सेट द्वारा रूप में परिभाषित किया जा सकता है ; के सभी तत्वों को हटा देता है कार्यक्षेत्र से इसे कभी-कभी निरूपित किया जाता है ⩤ [5] इसी तरह, किसी समारोह या बाइनरी रिलेशन की श्रेणी विरोधी प्रतिबंध (या श्रेणी घटाव)। सेट द्वारा परिभाषित किया जाता है ; के सभी तत्वों को हटा देता है कोकार्यक्षेत्र से इसे कभी-कभी निरूपित किया जाता है ⩥
यह भी देखें
- Constraint
- Deformation retract
- Local property
- Function (mathematics) § Restriction and extension
- Binary relation § Restriction
- Relational algebra § Selection (σ)
संदर्भ
- ↑ Stoll, Robert (1974). Sets, Logic and Axiomatic Theories (2nd ed.). San Francisco: W. H. Freeman and Company. pp. [36]. ISBN 0-7167-0457-9.
- ↑ 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).
- ↑ Munkres, James R. (2000). टोपोलॉजी (2nd ed.). Upper Saddle River: Prentice Hall. ISBN 0-13-181629-2.
- ↑ Adams, Colin Conrad; Franzosa, Robert David (2008). Introduction to Topology: Pure and Applied. Pearson Prentice Hall. ISBN 978-0-13-184869-6.
- ↑ 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)
