प्रतिबंध (गणित): Difference between revisions
No edit summary |
No edit summary |
||
Line 71: | Line 71: | ||
* प्रत्येक खुले समुच्चय के लिए <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><अवधि वर्ग = | * यदि <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><अवधि वर्ग = text HTML> ''s''|<sub>''Ui''</sub> = ''t''|<sub>''Ui''</sub>प्रत्येक समुच्चय के लिए <math>U_i</math> आव</span>रण का, तब <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> | ||
ऐसी सभी वस्तुओं के संग्रह को पुलिया कहते हैं। यदि केवल पहले दो गुण संतुष्ट होते हैं, तो यह प्री-शेफ है। | ऐसी सभी वस्तुओं के संग्रह को पुलिया कहते हैं। यदि केवल पहले दो गुण संतुष्ट होते हैं, तो यह प्री-शेफ है। |
Revision as of 16:09, 8 February 2023
गणित में फलन का प्रतिबंध (गणित) नया कार्य है, निरूपित या किसी फलन का छोटा कार्यक्षेत्र चुनकर प्राप्त किया गया मूल फलन के लिए फलन विस्तार कहा जाता है
औपचारिक परिभाषा
समुच्चय (गणित) से कार्य बनें समुच्चय के लिए यदि समुच्चय का उपसमुच्चय है फिर का प्रतिबंध को कार्य है[1]
यदि फलन संबंध (गणित) के रूप में माना जाता है कार्तीय उत्पाद पर प्रतिबंध को किसी फलन के ग्राफ़ द्वारा प्रदर्शित किया जा सकता है जहां जोड़े ग्राफ में आदेशित जोड़े का प्रतिनिधित्व करें
विस्तार
फलन विस्तार कहा जाता है। दूसरे फलन का यदि जब भी के अधिकार क्षेत्र में है तब के क्षेत्र में भी है और अर्थात यदि और फलन का रेखीय विस्तार | क्रमशः, सतत विस्तार, आदि फलन के का विस्तार है वह भी रेखीय मानचित्र है।
उदाहरण
- अन्तःक्षेपण फलन का प्रतिबंध | अ-अन्तःक्षेपण फलन कार्यक्षेत्र के लिए अन्तःक्षेपण है
- कारख़ाने का फलन गामा फलन का सकारात्मक पूर्णांकों तक प्रतिबंध है, जिसमें तर्क द्वारा स्थानांतरित किया गया है
प्रतिबंधों के गुण
- किसी फलन को प्रतिबंधित करना इसके पूरे कार्यक्षेत्र के लिए मूल कार्य को वापस देता है, अर्थात
- किसी फलन को दो बार प्रतिबंधित करना उसे बार प्रतिबंधित करने के समान है, अर्थात यदि तब
- समुच्चय पर तत्समक फलन का प्रतिबंध उपसमुच्चय के लिए का से केवल समावेशन मानचित्र है में [2]
- सतत कार्य का प्रतिबंध निरंतर है।[3][4]
अनुप्रयोग
उलटा कार्य
किसी फलन का व्युत्क्रम होने के लिए उसे अंतःक्षेपी फलन से होना चाहिए। यदि कोई फलन नहीं है, तो इसका आंशिक व्युत्क्रम परिभाषित करना संभव हो सकता है कार्यक्षेत्र को प्रतिबंधित करके। उदाहरण के लिए, फलन
चयन अनुरूप
संबंधपरक बीजगणित में चयन (संबंधपरक बीजगणित) कभी-कभी SQL के चयन के उपयोग के साथ भ्रम से बचने के लिए प्रतिबंध कहा जाता है एकात्मक संचालन है जिसे लिखा गया है या जहाँ
- और विशेष नाम हैं,
- समुच्चय में द्वि-आधारी संक्रिया है
- मान स्थिरांक है,
- संबंध (डेटाबेस) है।
चयन उन सभी टुपल्स का चयन करता है जिसके लिए के बीच रखता है और यह गुण।
चयन उन सभी टुपल्स का चयन करता है जिसके लिए के बीच रखता है विशेषता और मूल्य इस प्रकार चयन अनुरूप संपूर्ण डेटाबेस के उप-समूचय तक सीमित रहता है।
पेस्टिंग लेम्मा
पेस्टिंग लेम्मा सांस्थिति में परिणाम है जो किसी फलन की निरंतरता को उप-समूचय के प्रतिबंधों की निरंतरता से संबंधित करता है।
सांस्थिति स्थान के दो बंद उपसमुच्चय या दो खुले उपसमुच्चय हों ऐसा है कि और सांस्थिति स्थान भी हो। यदि दोनों के लिए प्रतिबंधित होने पर निरंतर है और तब निरंतर है।
यह परिणाम टोपोलॉजिकल स्पेस के बंद (या खुले) उप-समूचय पर परिभाषित दो निरंतर कार्यों को लेने और नया बनाने की अनुमति देता है।
शीश
शीफ सिद्धांत कार्यों के अतिरिक्त वस्तुओं पर प्रतिबंधों को सामान्यीकृत करने का विधि प्रदान करता है।
शीफ थ्योरी में, कोई विषय असाइन करता है प्रत्येक खुले समुच्चय के लिए श्रेणी (श्रेणी सिद्धांत) में सांस्थिति स्थान और यह आवश्यक है कि विषय कुछ अवस्था को पूरा करें। सबसे महत्वपूर्ण अवस्था यह है कि स्थिर खुले समुच्चय से जुड़ी वस्तुओं की प्रत्येक जोड़ी के बीच प्रतिबंध आकारिकी है , यदि फिर रूपवाद है निम्नलिखित गुणों को संतुष्ट करना, जो किसी फलन के प्रतिबंध की नकल करने के लिए संयोजन किए गए हैं
- प्रत्येक खुले समुच्चय के लिए का प्रतिबंध रूपवाद परिचय रूपवाद चालू है
- यदि हमारे पास तीन खुले समुच्चय हैं फिर रचना
- यदि खुले समुच्चय का खुला आवरण (सांस्थिति) है और यदि ऐसे हैं <अवधि वर्ग = text HTML> s|Ui = t|Uiप्रत्येक समुच्चय के लिए आवरण का, तब और
- यदि खुले समुच्चय का खुला आवरण है और यदि प्रत्येक के लिए अनुभाग ऐसा दिया जाता है कि प्रत्येक जोड़ी के लिए आवरण के प्रतिबंध समुच्चय करता है और अधिव्यापन पर सहमत फिर खंड है ऐसा है कि प्रत्येक के लिए
ऐसी सभी वस्तुओं के संग्रह को पुलिया कहते हैं। यदि केवल पहले दो गुण संतुष्ट होते हैं, तो यह प्री-शेफ है।
वाम- और दाएँ-प्रतिबंध
अधिक सामान्यतः, प्रतिबंध (या कार्यक्षेत्र प्रतिबंध या वाम-प्रतिबंध) द्विआधारी संबंध का बीच में और कार्यक्षेत्र वाले संबंध के रूप में परिभाषित किया जा सकता है को कार्यक्षेत्र और ग्राफ इसी तरह, कोई सही-प्रतिबंध या सीमा प्रतिबंध को परिभाषित कर सकता है उपरोक्त, कोई भी प्रतिबंध को परिभाषित कर सकता है-आर्य संबंध, साथ ही उपसमुच्चय को संबंधों के रूप में समझा जाता है, जैसे कि कार्तीय उत्पाद के संबंध द्विआधारी संबंधों के लिए।ये मामले शेफ (गणित) की योजना में उपयुक्त नहीं होते हैं।
विरोधी प्रतिबंध
किसी फलन या बाइनरी संबंध का कार्यक्षेत्र विरोधी प्रतिबंध या कार्यक्षेत्र घटाव (कार्यक्षेत्र के साथ और कोकार्यक्षेत्र ) समुच्चय द्वारा रूप में परिभाषित किया जा सकता है के सभी तत्वों को हटा देता है कार्यक्षेत्र से इसे कभी-कभी निरूपित किया जाता है ⩤ [5] इसी तरह, किसी फलन या बाइनरी संबंध की श्रेणी विरोधी प्रतिबंध या श्रेणी घटाव। समुच्चय द्वारा परिभाषित किया जाता है के सभी तत्वों को हटा देता है कोकार्यक्षेत्र से इसे कभी-कभी निरूपित किया जाता है ⩥
यह भी देखें
- प्रतिबंध
- विरूपण वापस लेना
- स्थानीय गुण
- फलन (गणित) § प्रतिबंध और विस्तार
- द्विआधारी संबंध § प्रतिबंध
- संबंधपरक बीजगणित § चयन (σ)
संदर्भ
- ↑ 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)