प्रतिबंध (गणित): Difference between revisions

Revision as of 15:23, 7 February 2023

कार्यक्रम

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$ कार्य है^[1]

{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$ वह भी रेखीय मानचित्र है क्रमशः, सतत कार्य, आदि।

उदाहरण

अन्तःक्षेपण समारोह का प्रतिबंध | अ-अन्तःक्षेपण समारोह $f:\mathbb {R} \to \mathbb {R} ,\ x\mapsto x^{2}$ कार्यक्षेत्र के लिए $\mathbb {R} _{+}=[0,\infty )$ अन्तःक्षेपण है $f:\mathbb {R} _{+}\to \mathbb {R} ,\ x\mapsto x^{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.$ ^[2]
सतत कार्य का प्रतिबंध निरंतर है।^[3]^[4]

अनुप्रयोग

उलटा कार्य

किसी फलन का व्युत्क्रम होने के लिए, उसे अंतःक्षेपी फलन| -से- होना चाहिए। यदि कोई समारोह $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.

) वैकल्पिक रूप से, यदि हम प्रतिलोम को बहुमूल्यवान फलन होने देते हैं तो प्रांत को प्रतिबंधित करने की कोई आवश्यकता नहीं है।

चयन ऑपरेटर

संबंधपरक बीजगणित में, चयन (संबंधपरक बीजगणित) (कभी-कभी एसक्यूएल के चयन के उपयोग के साथ भ्रम से बचने के लिए प्रतिबंध कहा जाता है) ात्मक ऑपरेशन है जिसे लिखा गया है $\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.$ इस प्रकार, चयन ऑपरेटर संपूर्ण डेटाबेस के उप-समूचय तक सीमित रहता है।

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

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

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

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

शीश

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

शीफ थ्योरी में, कोई ऑब्जेक्ट असाइन करता है $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}}$ <अवधि वर्ग = टेक्सएचटीएमएल> एस |_{U_i</ उप> = टी | उप> यू_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$ द्विआधारी संबंधों के लिए। ये मामले शेफ (गणित) की योजना में फिट नहीं होते हैं।^{[clarification needed]}

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

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

यह भी देखें

संदर्भ

↑ 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)

[Stoll-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)

[1]

[2]

[3]

[4]

[5]

@@ Line 1: / Line 1: @@
 {{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>
 <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</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> वह भी रेखीय मानचित्र है क्रमशः, सतत कार्य, आदि।
+समारोह <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>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>
@@ Line 27: / Line 27: @@
 * किसी समारोह को प्रतिबंधित करना <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>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>
@@ Line 45: / Line 45: @@
 {{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>\theta</math> सेट में [[बाइनरी ऑपरेशन]] है <math>\{<, \leq, =, \neq, \geq, >\},</math>
+* <math>\theta</math> समुच्चय में [[बाइनरी ऑपरेशन]] है <math>\{<, \leq, =, \neq, \geq, >\},</math>
 * <math>v</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>
-इस प्रकार, चयन ऑपरेटर संपूर्ण डेटाबेस के सबसेट तक सीमित रहता है।
+इस प्रकार, चयन ऑपरेटर संपूर्ण डेटाबेस के उप-समूचय तक सीमित रहता है।
 === पेस्टिंग लेम्मा ===
 {{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> निरंतर है।
-यह परिणाम टोपोलॉजिकल स्पेस के बंद (या खुले) सबसेट पर परिभाषित दो निरंतर कार्यों को लेने और नया बनाने की अनुमति देता है।
+यह परिणाम टोपोलॉजिकल स्पेस के बंद (या खुले) उप-समूचय पर परिभाषित दो निरंतर कार्यों को लेने और नया बनाने की अनुमति देता है।
 === शीश ===
@@ Line 68: / Line 68: @@
 [[शीफ सिद्धांत]] कार्यों के अलावा वस्तुओं पर प्रतिबंधों को सामान्यीकृत करने का तरीका प्रदान करता है।
-शीफ थ्योरी में, कोई ऑब्जेक्ट असाइन करता है <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>
 ऐसी सभी वस्तुओं के संग्रह को पुलिया कहते हैं। यदि केवल पहले दो गुण संतुष्ट होते हैं, तो यह प्री-शेफ है।
@@ Line 83: / Line 83: @@
 == विरोधी प्रतिबंध ==
-किसी समारोह या बाइनरी संबंध का कार्यक्षेत्र विरोधी प्रतिबंध (या कार्यक्षेत्र घटाव)। <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>

Anonymous

Search

प्रतिबंध (गणित): Difference between revisions

Namespaces

More

Page actions

Revision as of 15:23, 7 February 2023

Contents