सुपरिभाषित अभिव्यंजना: Difference between revisions

Latest revision as of 17:22, 13 September 2023

गणित में, सुपरिभाषित व्यंजक या स्पष्ट व्यंजक एक गणितीय व्यंजक है जिसकी परिभाषा इसे अद्वितीय व्याख्या या मूल्य प्रदान करती है। अन्यथा, व्यंज अच्छी तरह से सुपरिभाषित है, अपूर्ण रूप से अभिव्यंजक या अस्पष्ट नहीं कहा जाता है।^[1] फलन अच्छी तरह से परिभाषित होता है तो निविष्ट के मूल्य को बदले बिना निविष्ट का प्रतिरूप बदल दिया जाता है तो यह वही परिणाम देता है। उदाहरण के लिए, यदि $f$ वास्तविक संख्या को निविष्ट (इनपुट) के रूप में लेता है, और यदि $f(0.5)$ बराबर नहीं करते $f(1/2)$ तब $f$ अच्छी तरह परिभाषित नहीं है (और इस प्रकार कोई फलन नहीं है)।^[2] अच्छी तरह से परिभाषित निबंधन का उपयोग यह इंगित करने के लिए भी किया जा सकता है कि एक तार्किक व्यंजक स्पष्ट या असंदिग्ध है।।

फलन जो सुपरिभाषित नहीं है परन्तु वह ऐसे फलन के समान नहीं है जो अपरिभाषित (गणित) है। उदाहरण के लिए, यदि $f(x)={\frac {1}{x}}$ , भले ही $f(0)$ अपरिभाषित होने का अर्थ यह नहीं है कि यदि फलन सुपरिभाषित नहीं है - लेकिन केवल यह कि 0 किसी फलन के प्रभावक्षेत्र में नहीं है $f$ .

उदाहरण

$A_{0},A_{1}$ समुच्चय हो, तो $A=A_{0}\cup A_{1}$ और इसको परिभाषित करें $f:A\rightarrow \{0,1\}$ जैसा $f(a)=0$ यदि $a\in A_{0}$ और $f(a)=1$ यदि $a\in A_{1}$ .

तब $f$ यदि अच्छी तरह परिभाषित है तो $A_{0}\cap A_{1}=\emptyset \!$ . उदाहरण के लिए, यदि $A_{0}:=\{2,4\}$ और $A_{1}:=\{3,5\}$ , तब $f(a)$ अच्छी तरह से परिभाषित और मॉडुलो ऑपरेशन के बराबर होगा $\operatorname {mod} (a,2)$ .

हालांकि, यदि $A_{0}\cap A_{1}\neq \emptyset$ , तब $f$ अच्छी तरह से परिभाषित नहीं किया जाएगा क्योंकि $f(a)$ के लिए अस्पष्ट है $a\in A_{0}\cap A_{1}$ . उदाहरण के लिए, यदि $A_{0}:=\{2\}$ और $A_{1}:=\{2\}$ , तब $f(2)$ 0 और 1 दोनों होना चाहिए, जो इसे अस्पष्ट बनाता है। नतीजतन, बाद वाला $f$ अच्छी तरह से परिभाषित नहीं है और इस प्रकार यह कार्य करता नहीं है।

परिभाषा की प्रत्याशा के रूप में परिभाषा

चारों ओर उद्धरण चिह्नों से बचने के लिए पिछले सरल उदाहरण में परिभाषित करें, की परिभाषा $f$ दो सरल तार्किक चरणों में तोड़ा जा सकता है:

द्विआधारी संबंध की परिभाषा: उदाहरण में
$f:={\bigl \{}(a,i)\mid i\in \{0,1\}\wedge a\in A_{i}{\bigr \}},$
(जो अभी तक कार्टेशियन उत्पाद $A\times \{0,1\}$ का एक निश्चित उपसमुच्चय है।)
अभिकथन: द्विआधारी संबंध $f$ फलन है; उदाहरण में
$f:A\rightarrow \{0,1\}.$

जबकि चरण 1 में परिभाषा किसी भी परिभाषा की स्वतंत्रता के साथ तैयार की गई है और निश्चित रूप से प्रभावी है, चरण 2 में अभिकथन को सिद्ध करना होगा। वह है, $f$ एक फलन है यदि और केवल यदि $A_{0}\cap A_{1}=\emptyset$ , किस स्थिति में $f$ – फलन के रूप में – अच्छी तरह से परिभाषित किया गया है। वहीं दूसरी ओर यदि $A_{0}\cap A_{1}\neq \emptyset$ , फिर एक के लिए $a\in A_{0}\cap A_{1}$ , हमारे पास वह होगा $(a,0)\in f$ और $(a,1)\in f$ , जो बाइनरी संबंध बनाता है $f$ कार्यात्मक नहीं (जैसा कि बाइनरी संबंध # विशेष प्रकार के बाइनरी संबंधों में परिभाषित किया गया है) और इस प्रकार एक फलन के रूप में अच्छी तरह परिभाषित नहीं है। बोलचाल की भाषा में, फलन $f$ बिंदु पर अस्पष्ट भी कहा जाता है $a$ (हालांकि परिभाषा के अनुसार कभी भी अस्पष्ट कार्य नहीं होता है), और मूल परिभाषा व्यर्थ है। इन सूक्ष्म तार्किक समस्याओं के तथापि, इस तरह की परिभाषाओं के लिए शब्द परिभाषा (एपोस्ट्रोफ के बिना) का अनुमान लगाना काफी सामान्य है - तीन कारणों से:

यह टू-स्टेप एप्रोच का आसान शॉर्टहैंड प्रदान करता है।
प्रासंगिक गणितीय तर्क (यानी, चरण 2) दोनों स्थिति में समान है।
गणितीय ग्रंथों में, दावा 100% तक सत्य है।

प्रतिनिधि की स्वतंत्रता

किसी फलन की अच्छी तरह से परिभाषित होने का प्रश्न शास्त्रीय रूप से उठता है जब किसी फलन के परिभाषित समीकरण केवल तर्कों को संदर्भित नहीं करता है, लेकिन (यह भी) प्रतिनिधि (गणित) के रूप में कार्य करने वाले तर्कों के तत्वों को संदर्भित करता है। यह कभी-कभी अपरिहार्य होता है जब तर्क सहसमुच्चय होते हैं और समीकरण सहसमुच्चय प्रतिनिधियों को संदर्भित करता है। फलन एप्लिकेशन का नतीजा तब प्रतिनिधि की पसंद पर निर्भर नहीं होना चाहिए।

तर्क के साथ कार्य

उदाहरण के लिए, निम्नलिखित फलन पर विचार करें

{\begin{matrix}f:&\mathbb {Z} /8\mathbb {Z} &\to &\mathbb {Z} /4\mathbb {Z} \\&{\overline {n}}_{8}&\mapsto &{\overline {n}}_{4},\end{matrix}}

कहाँ $n\in \mathbb {Z} ,m\in \{4,8\}$ और $\mathbb {Z} /m\mathbb {Z}$ मॉड्यूलर अंकगणित हैं और ${\overline {n}}_{m}$ n mod m के मॉड्यूलर अंकगणित # सर्वांगसमता वर्ग को दर्शाता है।

ध्यान दें: ${\overline {n}}_{4}$ तत्व का संदर्भ है $n\in {\overline {n}}_{8}$ , और ${\overline {n}}_{8}$ का तर्क है $f$ .

फलन $f$ अच्छी तरह से परिभाषित है, क्योंकि

n\equiv n'{\bmod {8}}\;\Leftrightarrow \;8{\text{ divides }}(n-n')\Rightarrow \;4{\text{ divides }}(n-n')\;\Leftrightarrow \;n\equiv n'{\bmod {4}}.

काउंटर उदाहरण के रूप में, विपरीत परिभाषा

{\begin{matrix}g:&\mathbb {Z} /4\mathbb {Z} &\to &\mathbb {Z} /8\mathbb {Z} \\&{\overline {n}}_{4}&\mapsto &{\overline {n}}_{8},\end{matrix}}

अच्छी तरह से परिभाषित कार्य नहीं करता है, क्योंकि उदा। ${\overline {1}}_{4}$ के बराबर होती है ${\overline {5}}_{4}$ में $\mathbb {Z} /4\mathbb {Z}$ , लेकिन पहले द्वारा मैप किया जाएगा $g$ को ${\overline {1}}_{8}$ , जबकि दूसरे को मैप किया जाएगा ${\overline {5}}_{8}$ , और ${\overline {1}}_{8}$ और ${\overline {5}}_{8}$ में असमान हैं $\mathbb {Z} /8\mathbb {Z}$ .

संचालन

विशेष रूप से, अच्छी तरह से परिभाषित शब्द कोसमुच्चय्स पर (बाइनरी) ऑपरेशन (गणित) के संबंध में प्रयोग किया जाता है। इस मामले में कोई ऑपरेशन को दो चर के कार्य के रूप में देख सकता है और अच्छी तरह से परिभाषित होने की संपत्ति एक फलन के समान है। उदाहरण के लिए, पूर्णांक मॉडुलो पर जोड़ कुछ n को पूर्णांक योग के संदर्भ में स्वाभाविक रूप से परिभाषित किया जा सकता है।

[a]\oplus [b]=[a+b]

तथ्य यह है कि यह अच्छी तरह से परिभाषित है इस तथ्य से कि हम किसी भी प्रतिनिधि को लिख सकते हैं $[a]$ जैसा $a+kn$ , कहाँ $k$ एक पूर्णांक है। इसलिए,

[a]\oplus [b]=[a+kn]\oplus [b]=[(a+kn)+b]=[(a+b)+kn]=[a+b];

और इसी तरह के किसी भी प्रतिनिधि के लिए $[b]$ , जिससे बना रहा है $[a+b]$ प्रतिनिधि की पसंद के बावजूद वही।

अच्छी तरह से परिभाषित अंकन

वास्तविक संख्या के लिए, उत्पाद $a\times b\times c$ असंदिग्ध है क्योंकि $(a\times b)\times c=a\times (b\times c)$ (और इसलिए संकेतन को अच्छी तरह से परिभाषित कहा जाता है)।^[1]गुणन की साहचर्यता के रूप में भी जानी जाने वाली यह संपत्ति गारंटी देती है कि परिणाम गुणन के क्रम पर निर्भर नहीं करता है, ताकि अनुक्रम के एक विनिर्देश को छोड़ा जा सके।

दूसरी ओर घटाव संक्रिया साहचर्य नहीं है। हालाँकि, एक सम्मेलन है कि $a-b-c$ के लिए आशुलिपि है $(a-b)-c$ , इस प्रकार यह अच्छी तरह से परिभाषित है।

विभाजन (गणित) भी असहयोगी है। हालाँकि, के मामले में $a/b/c$ , कोष्ठक परिपाटी इतनी अच्छी तरह से स्थापित नहीं हैं, इसलिए इस व्यंजक को अक्सर खराब परिभाषित माना जाता है।

कार्यों के विपरीत, अतिरिक्त परिभाषाओं के माध्यम से नोटेशनल अस्पष्टताओं को कम या ज्यादा आसानी से दूर किया जा सकता है (उदाहरण के लिए, ऑपरेटर प्राथमिकता के नियम, ऑपरेटर की सहयोगीता)। उदाहरण के लिए, प्रोग्रामिंग भाषा सी (प्रोग्रामिंग भाषा) ऑपरेटर में - घटाव के लिए बाएँ-से-दाएँ-सहयोगी है, जिसका अर्थ है कि a-b-c परिभाषित किया जाता है (a-b)-c, और ऑपरेटर = असाइनमेंट के लिए दाएँ-से-बाएँ-सहयोगी है, जिसका अर्थ है कि a=b=c परिभाषित किया जाता है a=(b=c).^[3] प्रोग्रामिंग लैंग्वेज APL (प्रोग्रामिंग लैंग्वेज) में केवल एक नियम है: APL (प्रोग्रामिंग लैंग्वेज) #Design - लेकिन कोष्ठक पहले।

शब्द के अन्य उपयोग

आंशिक अंतर समीकरण के समाधान को अच्छी तरह से परिभाषित कहा जाता है यदि यह सीमा शर्तों द्वारा निरंतर तरीके से निर्धारित किया जाता है क्योंकि सीमा की स्थिति बदल जाती है।^[1]

यह भी देखें

तुल्यता संबंध § तुल्यता संबंध के तहत अच्छी तरह से परिभाषित
परिभाषावाद
अस्तित्व
अद्वितीयता
विशिष्टता मात्रा का ठहराव
अपरिभाषित (गणित)
अच्छी तरह से गठित सूत्र

संदर्भ

↑ ^1.0 ^1.1 ^1.2 Weisstein, Eric W. "Well-Defined". From MathWorld – A Wolfram Web Resource. Retrieved 2 January 2013.
↑ Joseph J. Rotman, The Theory of Groups: an Introduction, p. 287 "... a function is "single-valued," or, as we prefer to say ... a function is well defined.", Allyn and Bacon, 1965.
↑ "Operator Precedence and Associativity in C". GeeksforGeeks (in English). 2014-02-07. Retrieved 2019-10-18.

स्रोत

समसामयिक सार बीजगणित, जोसेफ ए गैलियन, 6वां संस्करण, हॉफलिन मिफ्लिन, 2006, ISBN 0-618-51471-6.
बीजगणित: अध्याय 0, पाओलो अलफी, ISBN 978-0821847817. पृष्ठ 16।
सार बीजगणित, डमिट और फूटे, तीसरा संस्करण, ISBN 978-0471433347. पृष्ठ 1।

[MathWorld-1] 1.0 ^1.1 ^1.2 Weisstein, Eric W. "Well-Defined". From MathWorld – A Wolfram Web Resource. Retrieved 2 January 2013.

[2] Joseph J. Rotman, The Theory of Groups: an Introduction, p. 287 "... a function is "single-valued," or, as we prefer to say ... a function is well defined.", Allyn and Bacon, 1965.

[3] "Operator Precedence and Associativity in C". GeeksforGeeks (in English). 2014-02-07. Retrieved 2019-10-18.

[1]

[2]

[3]

@@ Line 1: / Line 1: @@
 {{Short description|Expression whose definition assigns it a unique interpretation}}
-{{Other uses|Definition (disambiguation)}}
+गणित में, '''सुपरिभाषित व्यंजक''' या स्पष्ट व्यंजक एक [[अभिव्यक्ति (गणित)|गणितीय व्यंजक]] है जिसकी परिभाषा इसे अद्वितीय व्याख्या या मूल्य प्रदान करती है। अन्यथा, व्यंज अच्छी तरह से सुपरिभाषित है, अपूर्ण रूप से अभिव्यंजक या अस्पष्ट नहीं कहा जाता है।<ref name="MathWorld">{{cite web | last = Weisstein | first = Eric W. | title = Well-Defined | publisher = From MathWorld – A Wolfram Web Resource | url=http://mathworld.wolfram.com/Well-Defined.html | access-date = 2 January 2013 }}</ref> फलन अच्छी तरह से परिभाषित होता है तो निविष्ट के मूल्य को बदले बिना निविष्ट का प्रतिरूप बदल दिया जाता है तो यह वही परिणाम देता है। उदाहरण के लिए, यदि <math>f</math> वास्तविक संख्या को निविष्ट (इनपुट) के रूप में लेता है, और यदि <math>f(0.5)</math> बराबर नहीं करते <math>f(1/2)</math> तब <math>f</math> अच्छी तरह परिभाषित नहीं है (और इस प्रकार कोई फलन नहीं है)।<ref>Joseph J. Rotman, ''The Theory of Groups: an Introduction'', p.&nbsp;287 "... a function is "single-valued," or, as we prefer to say ... a function is ''well defined''.", Allyn and Bacon, 1965.</ref> अच्छी तरह से परिभाषित निबंधन  का उपयोग यह इंगित करने के लिए भी किया जा सकता है कि एक तार्किक व्यंजक स्पष्ट या असंदिग्ध है।।
-गणित में, एक अच्छी तरह से परिभाषित अभिव्यक्ति या स्पष्ट अभिव्यक्ति एक [[अभिव्यक्ति (गणित)]] है जिसकी परिभाषा इसे एक अद्वितीय व्याख्या या मूल्य प्रदान करती है। अन्यथा, अभिव्यक्ति को 'अच्छी तरह से परिभाषित नहीं', बीमार परिभाषित कहा जाता है<!--boldface per WP:R#PLA-->या ''अस्पष्ट''।<ref name="MathWorld">{{cite web | last = Weisstein | first = Eric W. | title = Well-Defined | publisher = From MathWorld – A Wolfram Web Resource | url=http://mathworld.wolfram.com/Well-Defined.html | access-date = 2 January 2013 }}</ref> एक फ़ंक्शन अच्छी तरह से परिभाषित होता है यदि इनपुट के मूल्य को बदले बिना इनपुट का प्रतिनिधित्व बदल दिया जाता है तो यह वही परिणाम देता है। उदाहरण के लिए, अगर <math>f</math> वास्तविक संख्या को इनपुट के रूप में लेता है, और यदि <math>f(0.5)</math> बराबर नहीं करते <math>f(1/2)</math> तब <math>f</math> अच्छी तरह परिभाषित नहीं है (और इस प्रकार कोई फ़ंक्शन नहीं है)।<ref>Joseph J. Rotman, ''The Theory of Groups: an Introduction'', p.&nbsp;287 "... a function is "single-valued," or, as we prefer to say ... a function is ''well defined''.", Allyn and Bacon, 1965.</ref> अच्छी तरह से परिभाषित शब्द का उपयोग यह इंगित करने के लिए भी किया जा सकता है कि एक तार्किक अभिव्यक्ति असंदिग्ध या असंदिग्ध है।
-एक फ़ंक्शन जो अच्छी तरह से परिभाषित नहीं है वह एक ऐसे फ़ंक्शन के समान नहीं है जो [[अपरिभाषित (गणित)]] है। उदाहरण के लिए, यदि <math>f(x)=\frac{1}{x}</math>, भले ही <math>f(0)</math> अपरिभाषित होने का मतलब यह नहीं है कि फ़ंक्शन अच्छी तरह से परिभाषित नहीं है - लेकिन केवल यह कि 0 किसी फ़ंक्शन के डोमेन में नहीं है <math>f</math>.
+फलन जो सुपरिभाषित नहीं है परन्तु वह ऐसे फलन के समान नहीं है जो [[अपरिभाषित (गणित)]] है। उदाहरण के लिए, यदि <math>f(x)=\frac{1}{x}</math>, भले ही <math>f(0)</math> अपरिभाषित होने का अर्थ यह नहीं है कि यदि फलन सुपरिभाषित नहीं है - लेकिन केवल यह कि 0 किसी फलन के प्रभावक्षेत्र में नहीं है <math>f</math>.
 == उदाहरण ==
-होने देना <math>A_0,A_1</math> सेट हो, चलो <math>A = A_0 \cup A_1</math> और परिभाषित करें <math>f: A \rightarrow \{0,1\}</math> जैसा <math>f(a)=0</math> अगर <math>a \in A_0</math> और <math>f(a)=1</math> अगर <math>a \in A_1</math>.
+<math>A_0,A_1</math> समुच्चय हो, तो <math>A = A_0 \cup A_1</math> और इसको परिभाषित करें <math>f: A \rightarrow \{0,1\}</math> जैसा <math>f(a)=0</math> यदि <math>a \in A_0</math> और <math>f(a)=1</math> यदि <math>a \in A_1</math>.
-तब <math>f</math> अगर अच्छी तरह परिभाषित है <math>A_0 \cap A_1 = \emptyset\!</math>. उदाहरण के लिए, यदि <math>A_0:=\{2,4\}</math> और <math>A_1:=\{3,5\}</math>, तब <math>f(a)</math> अच्छी तरह से परिभाषित और मॉडुलो ऑपरेशन के बराबर होगा<math>\operatorname{mod}(a,2)</math>.
-हालांकि, यदि <math>A_0 \cap A_1 \neq \emptyset</math>, तब <math>f</math> अच्छी तरह से परिभाषित नहीं किया जाएगा क्योंकि <math>f(a)</math> के लिए अस्पष्ट है <math>a \in A_0 \cap A_1</math>. उदाहरण के लिए, यदि <math>A_0:=\{2\}</math> और <math>A_1:=\{2\}</math>, तब <math>f(2)</math> 0 और 1 दोनों होना चाहिए, जो इसे अस्पष्ट बनाता है। नतीजतन, बाद वाला<math>f</math>अच्छी तरह से परिभाषित नहीं है और इस प्रकार यह एक कार्य नहीं है।
+तब <math>f</math> यदि अच्छी तरह परिभाषित है तो <math>A_0 \cap A_1 = \emptyset\!</math>. उदाहरण के लिए, यदि <math>A_0:=\{2,4\}</math> और <math>A_1:=\{3,5\}</math>, तब <math>f(a)</math> अच्छी तरह से परिभाषित और मॉडुलो ऑपरेशन के बराबर होगा<math>\operatorname{mod}(a,2)</math>.
+हालांकि, यदि <math>A_0 \cap A_1 \neq \emptyset</math>, तब <math>f</math> अच्छी तरह से परिभाषित नहीं किया जाएगा क्योंकि <math>f(a)</math> के लिए अस्पष्ट है <math>a \in A_0 \cap A_1</math>. उदाहरण के लिए, यदि <math>A_0:=\{2\}</math> और <math>A_1:=\{2\}</math>, तब <math>f(2)</math> 0 और 1 दोनों होना चाहिए, जो इसे अस्पष्ट बनाता है। नतीजतन, बाद वाला<math>f</math>अच्छी तरह से परिभाषित नहीं है और इस प्रकार यह कार्य करता नहीं है।
 == परिभाषा की प्रत्याशा के रूप में परिभाषा ==
 चारों ओर उद्धरण चिह्नों से बचने के लिए पिछले सरल उदाहरण में परिभाषित करें, की परिभाषा <math>f</math> दो सरल तार्किक चरणों में तोड़ा जा सकता है:
 {{ordered list
-| ''The definition'' of the [[binary relation]]: In the example
+|[[द्विआधारी संबंध]] की ''परिभाषा'': उदाहरण में
 :<math>f := \bigl\{(a,i) \mid i \in \{0,1\} \wedge a \in A_i \bigr\}, </math>
-(which so far is nothing but a certain subset of the [[Cartesian product]] <math>A \times \{0,1\}</math>.)
+(जो अभी तक [[कार्टेशियन उत्पाद]] <math>A \times \{0,1\}</math> का एक निश्चित उपसमुच्चय है।)|
-| ''The assertion'': The binary relation <math>f</math> is a function; in the example
+''अभिकथन'': द्विआधारी संबंध <math>f</math> फलन है; उदाहरण में
 :<math>f: A \rightarrow \{0,1\}.</math>
 }}
-जबकि चरण 1 में परिभाषा किसी भी परिभाषा की स्वतंत्रता के साथ तैयार की गई है और निश्चित रूप से प्रभावी है (इसे अच्छी तरह से परिभाषित करने की आवश्यकता के बिना), चरण 2 में अभिकथन को सिद्ध करना होगा। वह है, <math>f</math> एक समारोह है अगर और केवल अगर <math>A_0 \cap A_1 = \emptyset</math>, किस स्थिति में <math>f</math> – एक समारोह के रूप में – अच्छी तरह से परिभाषित किया गया है।
-वहीं दूसरी ओर अगर <math>A_0 \cap A_1 \neq \emptyset</math>, फिर एक के लिए <math>a \in A_0 \cap A_1</math>, हमारे पास वह होगा <math>(a,0) \in f</math> और <math>(a,1) \in f</math>, जो बाइनरी संबंध बनाता है <math>f</math> कार्यात्मक नहीं (जैसा कि बाइनरी संबंध # विशेष प्रकार के बाइनरी संबंधों में परिभाषित किया गया है) और इस प्रकार एक फ़ंक्शन के रूप में अच्छी तरह परिभाषित नहीं है। बोलचाल की भाषा में, समारोह <math>f</math> बिंदु पर अस्पष्ट भी कहा जाता है <math>a</math> (हालांकि परिभाषा के अनुसार कभी भी अस्पष्ट कार्य नहीं होता है), और मूल परिभाषा व्यर्थ है।
-इन सूक्ष्म तार्किक समस्याओं के बावजूद, इस तरह की परिभाषाओं के लिए शब्द परिभाषा (एपोस्ट्रोफ के बिना) का अनुमान लगाना काफी सामान्य है - तीन कारणों से:
+जबकि चरण 1 में परिभाषा किसी भी परिभाषा की स्वतंत्रता के साथ तैयार की गई है और निश्चित रूप से प्रभावी है, चरण 2 में अभिकथन को सिद्ध करना होगा। वह है, <math>f</math> एक फलन है यदि और केवल यदि <math>A_0 \cap A_1 = \emptyset</math>, किस स्थिति में <math>f</math> – फलन के रूप में – अच्छी तरह से परिभाषित किया गया है।
+वहीं दूसरी ओर यदि <math>A_0 \cap A_1 \neq \emptyset</math>, फिर एक के लिए <math>a \in A_0 \cap A_1</math>, हमारे पास वह होगा <math>(a,0) \in f</math> और <math>(a,1) \in f</math>, जो बाइनरी संबंध बनाता है <math>f</math> कार्यात्मक नहीं (जैसा कि बाइनरी संबंध # विशेष प्रकार के बाइनरी संबंधों में परिभाषित किया गया है) और इस प्रकार एक फलन के रूप में अच्छी तरह परिभाषित नहीं है। बोलचाल की भाषा में, फलन <math>f</math> बिंदु पर अस्पष्ट भी कहा जाता है <math>a</math> (हालांकि परिभाषा के अनुसार कभी भी अस्पष्ट कार्य नहीं होता है), और मूल परिभाषा व्यर्थ है।
+इन सूक्ष्म तार्किक समस्याओं के तथापि, इस तरह की परिभाषाओं के लिए शब्द परिभाषा (एपोस्ट्रोफ के बिना) का अनुमान लगाना काफी सामान्य है - तीन कारणों से:
 # यह टू-स्टेप एप्रोच का आसान शॉर्टहैंड प्रदान करता है।
-# प्रासंगिक गणितीय तर्क (यानी, चरण 2) दोनों मामलों में समान है।
+# प्रासंगिक गणितीय तर्क (यानी, चरण 2) दोनों स्थिति में समान है।
 # गणितीय ग्रंथों में, दावा 100% तक सत्य है।
 ==प्रतिनिधि की स्वतंत्रता==
-किसी फ़ंक्शन की अच्छी तरह से परिभाषित होने का प्रश्न शास्त्रीय रूप से उठता है जब किसी फ़ंक्शन के परिभाषित समीकरण केवल तर्कों को संदर्भित नहीं करता है, लेकिन (यह भी) [[प्रतिनिधि (गणित)]] के रूप में कार्य करने वाले तर्कों के तत्वों को संदर्भित करता है। यह कभी-कभी अपरिहार्य होता है जब तर्क सहसमुच्चय होते हैं और समीकरण सहसमुच्चय प्रतिनिधियों को संदर्भित करता है। फ़ंक्शन एप्लिकेशन का नतीजा तब प्रतिनिधि की पसंद पर निर्भर नहीं होना चाहिए।
+किसी फलन की अच्छी तरह से परिभाषित होने का प्रश्न शास्त्रीय रूप से उठता है जब किसी फलन के परिभाषित समीकरण केवल तर्कों को संदर्भित नहीं करता है, लेकिन (यह भी) [[प्रतिनिधि (गणित)]] के रूप में कार्य करने वाले तर्कों के तत्वों को संदर्भित करता है। यह कभी-कभी अपरिहार्य होता है जब तर्क सहसमुच्चय होते हैं और समीकरण सहसमुच्चय प्रतिनिधियों को संदर्भित करता है। फलन एप्लिकेशन का नतीजा तब प्रतिनिधि की पसंद पर निर्भर नहीं होना चाहिए।
-=== एक तर्क के साथ कार्य ===
+=== तर्क के साथ कार्य ===
-उदाहरण के लिए, निम्नलिखित फ़ंक्शन पर विचार करें
+उदाहरण के लिए, निम्नलिखित फलन पर विचार करें
 :<math>
 \begin{matrix}
@@ Line 45: / Line 46: @@
 ध्यान दें: <math>\overline{n}_4</math> तत्व का संदर्भ है <math>n \in \overline{n}_8</math>, और <math>\overline{n}_8</math> का तर्क है<math>f</math>.
-कार्यक्रम<math>f</math>अच्छी तरह से परिभाषित है, क्योंकि
+फलन<math>f</math>अच्छी तरह से परिभाषित है, क्योंकि
 :<math>n \equiv n' \bmod 8 \; \Leftrightarrow \; 8 \text{ divides } (n-n') \Rightarrow \; 4 \text{ divides } (n-n') \; \Leftrightarrow \; n \equiv n' \bmod 4.</math>
-एक काउंटर उदाहरण के रूप में, विपरीत परिभाषा
+काउंटर उदाहरण के रूप में, विपरीत परिभाषा
 :<math>
@@ Line 55: / Line 56: @@
      & \overline{n}_4 & \mapsto & \overline{n}_8,
 \end{matrix}</math>
-एक अच्छी तरह से परिभाषित कार्य नहीं करता है, क्योंकि उदा। <math>\overline{1}_4</math> के बराबर होती है <math>\overline{5}_4</math> में <math>\Z/4\Z</math>, लेकिन पहले द्वारा मैप किया जाएगा <math>g</math> को <math>\overline{1}_8</math>, जबकि दूसरे को मैप किया जाएगा <math>\overline{5}_8</math>, और <math>\overline{1}_8</math> और <math>\overline{5}_8</math> में असमान हैं <math>\Z/8\Z</math>.
+अच्छी तरह से परिभाषित कार्य नहीं करता है, क्योंकि उदा। <math>\overline{1}_4</math> के बराबर होती है <math>\overline{5}_4</math> में <math>\Z/4\Z</math>, लेकिन पहले द्वारा मैप किया जाएगा <math>g</math> को <math>\overline{1}_8</math>, जबकि दूसरे को मैप किया जाएगा <math>\overline{5}_8</math>, और <math>\overline{1}_8</math> और <math>\overline{5}_8</math> में असमान हैं <math>\Z/8\Z</math>.
 === संचालन ===
-विशेष रूप से, अच्छी तरह से परिभाषित शब्द कोसेट्स पर (बाइनरी) ऑपरेशन (गणित) के संबंध में प्रयोग किया जाता है। इस मामले में कोई ऑपरेशन को दो चर के कार्य के रूप में देख सकता है और अच्छी तरह से परिभाषित होने की संपत्ति एक समारोह के समान है। उदाहरण के लिए, पूर्णांक मॉडुलो पर जोड़ कुछ n को पूर्णांक योग के संदर्भ में स्वाभाविक रूप से परिभाषित किया जा सकता है।
+विशेष रूप से, अच्छी तरह से परिभाषित शब्द कोसमुच्चय्स पर (बाइनरी) ऑपरेशन (गणित) के संबंध में प्रयोग किया जाता है। इस मामले में कोई ऑपरेशन को दो चर के कार्य के रूप में देख सकता है और अच्छी तरह से परिभाषित होने की संपत्ति एक फलन के समान है। उदाहरण के लिए, पूर्णांक मॉडुलो पर जोड़ कुछ n को पूर्णांक योग के संदर्भ में स्वाभाविक रूप से परिभाषित किया जा सकता है।
 :<math>[a]\oplus[b] = [a+b]</math>
 तथ्य यह है कि यह अच्छी तरह से परिभाषित है इस तथ्य से कि हम किसी भी प्रतिनिधि को लिख सकते हैं <math>[a]</math> जैसा <math>a+kn</math>, कहाँ <math>k</math> एक पूर्णांक है। इसलिए,
@@ Line 70: / Line 71: @@
 दूसरी ओर [[घटाव]] संक्रिया साहचर्य नहीं है। हालाँकि, एक सम्मेलन है कि <math>a-b-c</math> के लिए आशुलिपि है <math>(a-b)-c</math>, इस प्रकार यह अच्छी तरह से परिभाषित है।
-विभाजन (गणित) भी असहयोगी है। हालाँकि, के मामले में <math>a/b/c</math>, कोष्ठक परिपाटी इतनी अच्छी तरह से स्थापित नहीं हैं, इसलिए इस अभिव्यक्ति को अक्सर खराब परिभाषित माना जाता है।
+विभाजन (गणित) भी असहयोगी है। हालाँकि, के मामले में <math>a/b/c</math>, कोष्ठक परिपाटी इतनी अच्छी तरह से स्थापित नहीं हैं, इसलिए इस व्यंजक को अक्सर खराब परिभाषित माना जाता है।
 कार्यों के विपरीत, अतिरिक्त परिभाषाओं के माध्यम से नोटेशनल अस्पष्टताओं को कम या ज्यादा आसानी से दूर किया जा सकता है (उदाहरण के लिए, ऑपरेटर प्राथमिकता के नियम, ऑपरेटर की सहयोगीता)। उदाहरण के लिए, प्रोग्रामिंग भाषा [[सी (प्रोग्रामिंग भाषा)]] ऑपरेटर में <code>-</code> घटाव के लिए बाएँ-से-दाएँ-सहयोगी है, जिसका अर्थ है कि <code>a-b-c</code> परिभाषित किया जाता है <code>(a-b)-c</code>, और ऑपरेटर <code>=</code> असाइनमेंट के लिए दाएँ-से-बाएँ-सहयोगी है, जिसका अर्थ है कि <code>a=b=c</code> परिभाषित किया जाता है <code>a=(b=c)</code>.<ref>{{Cite web|url=https://www.geeksforgeeks.org/operator-precedence-and-associativity-in-c/|title=Operator Precedence and Associativity in C|date=2014-02-07|website=GeeksforGeeks|language=en-US|access-date=2019-10-18}}</ref> प्रोग्रामिंग लैंग्वेज APL (प्रोग्रामिंग लैंग्वेज) में केवल एक नियम है: APL (प्रोग्रामिंग लैंग्वेज) #Design - लेकिन कोष्ठक पहले।
 == शब्द के अन्य उपयोग ==
-एक आंशिक अंतर समीकरण के समाधान को अच्छी तरह से परिभाषित कहा जाता है यदि यह सीमा शर्तों द्वारा निरंतर तरीके से निर्धारित किया जाता है क्योंकि सीमा की स्थिति बदल जाती है।<ref name="MathWorld" />
+आंशिक अंतर समीकरण के समाधान को अच्छी तरह से परिभाषित कहा जाता है यदि यह सीमा शर्तों द्वारा निरंतर तरीके से निर्धारित किया जाता है क्योंकि सीमा की स्थिति बदल जाती है।<ref name="MathWorld" />
 == यह भी देखें ==
-* {{multi-section link|Equivalence relation|Well-definedness under an equivalence relation}}
+* {{multi-section link|तुल्यता संबंध|तुल्यता संबंध के तहत अच्छी तरह से परिभाषित}}
 * [[परिभाषावाद]]
 * [[अस्तित्व]]
 * अद्वितीयता
-* [[[[विशिष्टता]] मात्रा का ठहराव]]
+* [[विशिष्टता]] मात्रा का ठहराव
 * अपरिभाषित (गणित)
 * [[अच्छी तरह से गठित सूत्र]]
 ==संदर्भ==
 ===टिप्पणियाँ===
 {{Reflist}}
 === स्रोत ===
 * समसामयिक सार बीजगणित, जोसेफ ए गैलियन, 6वां संस्करण, हॉफलिन मिफ्लिन, 2006, {{isbn|0-618-51471-6}}.
@@ Line 102: / Line 95: @@
 {{DEFAULTSORT:well defined}}
-श्रेणी:परिभाषा
-श्रेणी:गणितीय शब्दावली
-[[Category: Machine Translated Page]]
+[[Category:CS1 English-language sources (en)]]
-[[Category:Created On 03/02/2023]]
+[[Category:Created On 03/02/2023|well defined]]
+[[Category:Lua-based templates|well defined]]
+[[Category:Machine Translated Page|well defined]]
+[[Category:Pages with script errors|well defined]]
+[[Category:Short description with empty Wikidata description|well defined]]
+[[Category:Templates Vigyan Ready|well defined]]
+[[Category:Templates that add a tracking category|well defined]]
+[[Category:Templates that generate short descriptions|well defined]]
+[[Category:Templates using TemplateData|well defined]]

Anonymous

Search

सुपरिभाषित अभिव्यंजना: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 17:22, 13 September 2023

Contents

उदाहरण

परिभाषा की प्रत्याशा के रूप में परिभाषा