प्रतिबंध (गणित)

कार्यक्रम $x^{2}$ कार्यक्षेत्र के साथ $\mathbb {R}$ कोई उलटा कार्य नहीं है। यदि हम प्रतिबंधित करते हैं $x^{2}$ अ-ऋणात्मक वास्तविक संख्याओं के लिए, तो इसका व्युत्क्रम फलन होता है, जिसे का वर्गमूल कहा जाता है $x.$

गणित में, समारोह का प्रतिबंध (गणित) $f$ नया कार्य है, निरूपित $f\vert _{A}$ या $f{\upharpoonright _{A}},$ किसी समारोह का छोटा कार्यक्षेत्र चुनकर प्राप्त किया गया $A$ मूल समारोह के लिए $f.$ कार्यक्रम $f$ फिर विस्तार कहा जाता है $f\vert _{A}.$

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

होने देना $f:E\to F$ समुच्चय (गणित) से कार्य बनें $E$ समुच्चय के लिए $F.$ यदि समुच्चय $A$ का उपसमुच्चय है $E,$ फिर का प्रतिबंध$f$ को$A$ कार्य है

$${f|}_{A}:A\to F$$

द्वारा दिए गए ${f|}_{A}(x)=f(x)$ के लिए $x\in A.$ अनौपचारिक रूप से, का प्रतिबंध $f$ को $A$ के समान कार्य है $f,$ किन्तु केवल परिभाषित किया गया है $A$.

यदि समारोह $f$ संबंध (गणित) के रूप में माना जाता है $(x,f(x))$ कार्तीय उत्पाद पर $E\times F,$ प्रतिबंध $f$ को $A$ किसी समारोह के ग्राफ़ द्वारा प्रदर्शित किया जा सकता है $G({f|}_{A})=\{(x,f(x))\in G(f):x\in A\}=G(f)\cap (A\times F),$ जहां जोड़े $(x,f(x))$ ग्राफ में आदेशित जोड़े का प्रतिनिधित्व करें $G.$

विस्तार

समारोह $F$ कहा जाता है। दूसरे समारोह का $f$ यदि जब भी $x$ के अधिकार क्षेत्र में है $f$ तब $x$ के क्षेत्र में भी है $F$ और $f(x)=F(x).$ अर्थात यदि $\operatorname {domain} f\subseteq \operatorname {domain} F$ और $F{\big \vert }_{\operatorname {domain} f}=f.$ समारोह का रेखीय विस्तार | क्रमशः, सतत विस्तार, आदि समारोह के $f$ का विस्तार है $f$ वह भी रेखीय मानचित्र है क्रमशः, सतत कार्य, आदि।

उदाहरण

1. अन्तःक्षेपण समारोह का प्रतिबंध | अ-अन्तःक्षेपण समारोह$f:\mathbb {R} \to \mathbb {R} ,\ x\mapsto x^{2}$ कार्यक्षेत्र के लिए $\mathbb {R} _{+}=[0,\infty )$ अन्तःक्षेपण है$f:\mathbb {R} _{+}\to \mathbb {R} ,\ x\mapsto x^{2}.$
2. कारख़ाने का समारोह गामा समारोह का सकारात्मक पूर्णांकों तक प्रतिबंध है, जिसमें तर्क द्वारा स्थानांतरित किया गया है ${\Gamma |}_{\mathbb {Z} ^{+}}\!(n)=(n-1)!$

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

• किसी समारोह को प्रतिबंधित करना $f:X\rightarrow Y$ इसके पूरे कार्यक्षेत्र के लिए $X$ मूल कार्य को वापस देता है, अर्थात $f|_{X}=f.$
• किसी समारोह को दो बार प्रतिबंधित करना उसे बार प्रतिबंधित करने के समान है, अर्थात यदि $A\subseteq B\subseteq \operatorname {dom} f,$ तब $\left(f|_{B}\right)|_{A}=f|_{A}.$
• समुच्चय पर पहचान समारोह का प्रतिबंध $X$ उपसमुच्चय के लिए $A$ का $X$ से केवल समावेशन मानचित्र है $A$ में $X.$
• सतत कार्य का प्रतिबंध निरंतर है।

अनुप्रयोग

उलटा कार्य

Main article: Inverse function

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

$$f(x)=x^{2}$$

समग्र रूप से परिभाषित $\mathbb {R}$ तब से -से- नहीं है $x^{2}=(-x)^{2}$ किसी के लिए $x\in \mathbb {R} .$ हालाँकि, यदि हम कार्यक्षेत्र तक सीमित हैं तो समारोह -से- हो जाता है $\mathbb {R} _{\geq 0}=[0,\infty ),$ किस स्थिति में

$$f^{-1}(y)={\sqrt {y}}.$$

(यदि हम इसके बजाय कार्यक्षेत्र तक सीमित हैं $(-\infty ,0],$ तो व्युत्क्रम के वर्गमूल का ऋणात्मक है $y.$) वैकल्पिक रूप से, यदि हम प्रतिलोम को बहुमूल्यवान फलन होने देते हैं तो प्रांत को प्रतिबंधित करने की कोई आवश्यकता नहीं है।

चयन ऑपरेटर

Main article: Selection (relational algebra)

संबंधपरक बीजगणित में, चयन (संबंधपरक बीजगणित) (कभी-कभी एसक्यूएल के चयन के उपयोग के साथ भ्रम से बचने के लिए प्रतिबंध कहा जाता है) ात्मक ऑपरेशन है जिसे लिखा गया है $\sigma _{a\theta b}(R)$ या $\sigma _{a\theta v}(R)$ कहाँ

• $a$ और $b$ विशेषता नाम हैं,
• $\theta$ समुच्चय में बाइनरी ऑपरेशन है $\{<,\leq ,=,\neq ,\geq ,>\},$
• $v$ मान स्थिरांक है,
• $R$ संबंध (डेटाबेस) है।

चयन $\sigma _{a\theta b}(R)$ उन सभी टुपल्स का चयन करता है $R$ जिसके लिए $\theta$ के बीच रखता है $a$ और यह $b$ गुण।

चयन $\sigma _{a\theta v}(R)$ उन सभी टुपल्स का चयन करता है $R$ जिसके लिए $\theta$ के बीच रखता है $a$ विशेषता और मूल्य $v.$ इस प्रकार, चयन ऑपरेटर संपूर्ण डेटाबेस के उप-समूचय तक सीमित रहता है।

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

Main article: Pasting lemma

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

होने देना $X,Y$ टोपोलॉजिकल स्पेस के दो बंद उपसमुच्चय (या दो खुले उपसमुच्चय) हों $A$ ऐसा है कि $A=X\cup Y,$ और जाने $B$ टोपोलॉजिकल स्पेस भी हो। यदि $f:A\to B$ दोनों के लिए प्रतिबंधित होने पर निरंतर है $X$ और $Y,$ तब $f$ निरंतर है।

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

शीश

Main article: Sheaf theory

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

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

• हर खुले समुच्चय के लिए $U$ का $X,$ प्रतिबंध रूपवाद $\operatorname {res} _{U,U}:F(U)\to F(U)$ पहचान रूपवाद चालू है $F(U).$
• यदि हमारे पास तीन खुले समुच्चय हैं $W\subseteq V\subseteq U,$ फिर फंक्शन रचना $\operatorname {res} _{W,V}\circ \operatorname {res} _{V,U}=\operatorname {res} _{W,U}.$
• (इलाका) यदि $\left(U_{i}\right)$ खुले समुच्चय का खुला आवरण (टोपोलॉजी) है $U,$ और यदि $s,t\in F(U)$ ऐसे हैं $s{\big \vert }_{U_{i}}=t{\big \vert }_{U_{i}}$<अवधि वर्ग = टेक्सएचटीएमएल> एस |_{Ui</ उप> = टी | उप> यूi} प्रत्येक समुच्चय के लिए $U_{i}$ आवरण का, तब $s=t$; और
• (ग्लूइंग) यदि $\left(U_{i}\right)$ खुले समुच्चय का खुला आवरण है $U,$ और यदि प्रत्येक के लिए $i$ अनुभाग $x_{i}\in F\left(U_{i}\right)$ ऐसा दिया जाता है कि प्रत्येक जोड़ी के लिए $U_{i},U_{j}$ कवरिंग के प्रतिबंध समुच्चय करता है $s_{i}$ और $s_{j}$ ओवरलैप पर सहमत $s_{i}{\big \vert }_{U_{i}\cap U_{j}}=s_{j}{\big \vert }_{U_{i}\cap U_{j}},$ फिर खंड है $s\in F(U)$ ऐसा है कि $s{\big \vert }_{U_{i}}=s_{i}$ प्रत्येक के लिए $i.$

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

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

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

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

किसी समारोह या बाइनरी संबंध का कार्यक्षेत्र विरोधी प्रतिबंध (या कार्यक्षेत्र घटाव)। $R$ (कार्यक्षेत्र के साथ $E$ और कोकार्यक्षेत्र $F$) समुच्चय द्वारा $A$ रूप में परिभाषित किया जा सकता है $(E\setminus A)\triangleleft R$; के सभी तत्वों को हटा देता है $A$ कार्यक्षेत्र से $E.$ इसे कभी-कभी निरूपित किया जाता है $A$ ⩤ $R.$ इसी तरह, किसी समारोह या बाइनरी रिलेशन की श्रेणी विरोधी प्रतिबंध (या श्रेणी घटाव)। $R$ समुच्चय द्वारा $B$ परिभाषित किया जाता है $R\triangleright (F\setminus B)$; के सभी तत्वों को हटा देता है $B$ कोकार्यक्षेत्र से $F.$ इसे कभी-कभी निरूपित किया जाता है $R$ ⩥ $B.$

यह भी देखें

• Constraint
• Deformation retract
• Local property
• Function (mathematics) § Restriction and extension
• Binary relation § Restriction
• Relational algebra § Selection (σ)