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

Latest revision as of 20:02, 9 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.

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

चयन अनुरूप

संबंधपरक बीजगणित में चयन (संबंधपरक बीजगणित) कभी-कभी SQL के चयन के उपयोग के साथ भ्रम से बचने के लिए प्रतिबंध कहा जाता है एकात्मक संचालन है जिसे लिखा गया है $\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}}$ <अवधि वर्ग = text HTML> s|_Ui = t|_Uiप्रत्येक समुच्चय के लिए $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$ द्विआधारी संबंधों के लिए।ये मामले शेफ (गणित) की योजना में उपयुक्त नहीं होते हैं।

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

किसी फलन या द्विआधारी संबंता है $A$ ध का कार्यक्षेत्र विरोधी प्रतिबंध या कार्यक्षेत्र घटाव $R$ (कार्यक्षेत्र के साथ $E$ और कोकार्यक्षेत्र $F$ ) समुच्चय द्वारा $A$ रूप में परिभाषित किया जा सकता है $(E\setminus A)\triangleleft R$ के सभी तत्वों को हटा देता है $A$ कार्यक्षेत्र से $E.$ इसे कभी-कभी निरूपित किया जा ⩤ $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|}_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>
 == प्रतिबंधों के गुण ==
-* किसी समारोह को प्रतिबंधित करना <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>
@@ Line 35: / Line 35: @@
 === उलटा कार्य ===
-{{main|Inverse function}}
+{{main|प्रतिलोम फलन}}
-किसी फलन का व्युत्क्रम होने के लिए, उसे अंतःक्षेपी फलन| -से- होना चाहिए। यदि कोई समारोह <math>f</math> -से- नहीं है, इसका आंशिक व्युत्क्रम परिभाषित करना संभव हो सकता है <math>f</math> कार्यक्षेत्र को प्रतिबंधित करके। उदाहरण के लिए, समारोह
+किसी फलन का व्युत्क्रम होने के लिए उसे अंतःक्षेपी फलन से होना चाहिए। यदि कोई फलन <math>f</math> नहीं है, तो इसका आंशिक व्युत्क्रम परिभाषित करना संभव हो सकता है <math>f</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>(-\infty, 0],</math> तो व्युत्क्रम के वर्गमूल का ऋणात्मक है <math>y.</math>) वैकल्पिक रूप से, यदि हम प्रतिलोम को बहुमूल्यवान फलन होने देते हैं तो प्रांत को प्रतिबंधित करने की कोई आवश्यकता नहीं है।
+यदि हम इसके अतिरिक्त कार्यक्षेत्र तक सीमित हैं <math>(-\infty, 0],</math> तो व्युत्क्रम के वर्गमूल का ऋणात्मक है <math>y.</math>) वैकल्पिक रूप से, यदि हम प्रतिलोम को बहुमूल्यवान फलन होने देते हैं तो प्रांत को प्रतिबंधित करने की कोई आवश्यकता नहीं है।
-=== चयन ऑपरेटर ===
+=== चयन अनुरूप ===
-{{main|Selection (relational algebra)}}
+{{main|चयन (संबंधपरक बीजगणित)}}
-[[संबंधपरक बीजगणित]] में, [[चयन (संबंधपरक बीजगणित)]] (कभी-कभी [[एसक्यूएल]] के चयन के उपयोग के साथ भ्रम से बचने के लिए प्रतिबंध कहा जाता है) [[एकात्मक ऑपरेशन|ात्मक ऑपरेशन]] है जिसे लिखा गया है
+[[संबंधपरक बीजगणित]] में [[चयन (संबंधपरक बीजगणित)]] कभी-कभी [[SQL]] के चयन के उपयोग के साथ भ्रम से बचने के लिए प्रतिबंध कहा जाता है [[एकात्मक ऑपरेशन|एकात्मक संचालन]] है जिसे लिखा गया है
-<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>R</math> [[संबंध (डेटाबेस)]] है।
@@ Line 53: / Line 54: @@
 चयन <math>\sigma_{a \theta b}(R)</math> उन सभी टुपल्स का चयन करता है <math>R</math> जिसके लिए <math>\theta</math> के बीच रखता है <math>a</math> और यह <math>b</math> गुण।
-चयन <math>\sigma_{a \theta v}(R)</math> उन सभी टुपल्स का चयन करता है <math>R</math> जिसके लिए <math>\theta</math> के बीच रखता है <math>a</math> विशेषता और मूल्य <math>v.</math>
+चयन <math>\sigma_{a \theta v}(R)</math> उन सभी टुपल्स का चयन करता है <math>R</math> जिसके लिए <math>\theta</math> के बीच रखता है <math>a</math> विशेषता और मूल्य <math>v.</math>इस प्रकार चयन अनुरूप संपूर्ण डेटाबेस के उप-समूचय तक सीमित रहता है।
-इस प्रकार, चयन ऑपरेटर संपूर्ण डेटाबेस के सबसेट तक सीमित रहता है।
 === पेस्टिंग लेम्मा ===
-{{main|Pasting lemma}}
+{{main|पेस्टिंग लेम्मा}}
-पेस्टिंग लेम्मा [[टोपोलॉजी]] में परिणाम है जो किसी समारोह की निरंतरता को सबसेट के प्रतिबंधों की निरंतरता से संबंधित करता है।
+पेस्टिंग लेम्मा सांस्थिति में परिणाम है जो किसी फलन की निरंतरता को उप-समूचय के प्रतिबंधों की निरंतरता से संबंधित करता है।
-होने देना <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|शीफ सिद्धांत}}
-[[शीफ सिद्धांत]] कार्यों के अलावा वस्तुओं पर प्रतिबंधों को सामान्यीकृत करने का तरीका प्रदान करता है।
+[[शीफ सिद्धांत]] कार्यों के अतिरिक्त वस्तुओं पर प्रतिबंधों को सामान्यीकृत करने का विधि प्रदान करता है।
-शीफ थ्योरी में, कोई ऑब्जेक्ट असाइन करता है <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><अवधि वर्ग = 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>
 ऐसी सभी वस्तुओं के संग्रह को पुलिया कहते हैं। यदि केवल पहले दो गुण संतुष्ट होते हैं, तो यह प्री-शेफ है।
 == वाम- और दाएँ-प्रतिबंध ==
-अधिक सामान्यतः, प्रतिबंध (या कार्यक्षेत्र प्रतिबंध या वाम-प्रतिबंध) <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}}
 == विरोधी प्रतिबंध ==
-किसी समारोह या बाइनरी संबंध का कार्यक्षेत्र विरोधी प्रतिबंध (या कार्यक्षेत्र घटाव)। <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>A</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>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>
 == यह भी देखें ==
-* {{annotated link|Constraint (mathematics)|Constraint}}
+* {{annotated link|Constraints (mathematics)|प्रतिबंध}}
-* {{annotated link|Deformation retract}}
+* {{annotated link|विरूपण वापस लेना}}
-* {{annotated link|Local property}}
+* {{annotated link|स्थानीय गुण}}
-* {{section link|Function (mathematics)|Restriction and extension}}
+* {{section link|फलन (गणित)|प्रतिबंध और विस्तार}}
-* {{section link|Binary relation|Restriction}}
+* {{section link|द्विआधारी संबंध|प्रतिबंध}}
-* {{section link|Relational algebra|Selection (σ)}}
+* {{section link|संबंधपरक बीजगणित|चयन (σ)}}
@@ Line 101: / Line 101: @@
 {{DEFAULTSORT:Restriction (Mathematics)}}
-[[Category: शेफ सिद्धांत]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page|Restriction (Mathematics)]]
-[[Category:Created On 03/02/2023]]
+[[Category:Created On 03/02/2023|Restriction (Mathematics)]]
+[[Category:Lua-based templates|Restriction (Mathematics)]]
+[[Category:Machine Translated Page|Restriction (Mathematics)]]
+[[Category:Pages with script errors|Restriction (Mathematics)]]
+[[Category:Short description with empty Wikidata description|Restriction (Mathematics)]]
+[[Category:Templates Vigyan Ready|Restriction (Mathematics)]]
+[[Category:Templates that add a tracking category|Restriction (Mathematics)]]
+[[Category:Templates that generate short descriptions|Restriction (Mathematics)]]
+[[Category:Templates using TemplateData|Restriction (Mathematics)]]
+[[Category:शेफ सिद्धांत|Restriction (Mathematics)]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 20:02, 9 February 2023

Contents