आंशिक कार्य: Difference between revisions
No edit summary |
No edit summary |
||
(5 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{distinguish|text=[[आंशिक अनुप्रयोग]] उनमें से कुछ को ठीक करके, कई चरों के एक फलन का}} | {{distinguish|text=[[आंशिक अनुप्रयोग]] उनमें से कुछ को ठीक करके, कई चरों के एक फलन का}} | ||
{{short description|Function whose actual domain of definition may be smaller than its apparent domain}} | {{short description|Function whose actual domain of definition may be smaller than its apparent domain}}गणित में, आंशिक कार्य {{mvar|f}} समुच्चय से (गणित) {{mvar|X}} समुच्चय के लिए {{mvar|Y}} [[सबसेट|सबसमुच्चय]] से फलन (गणित) है {{mvar|S}} का {{mvar|X}} (संभवतः संपूर्ण {{mvar|X}} स्वयं) को {{mvar|Y}}. उपसमुच्चय {{mvar|S}}, यानी, फलन का डोमेन {{mvar|f}} को कार्य के रूप में देखा जाता है, जिसे परिभाषा का डोमेन या प्राकृतिक डोमेन कहा जाता है {{mvar|f}}. अगर {{mvar|S}} बराबर है {{mvar|X}}, यानी अगर {{mvar|f}} में प्रत्येक तत्व पर परिभाषित किया गया है {{mvar|X}}, तब {{mvar|f}} को कुल कार्य कहा जाता है। | ||
{{ | |||
अधिक तकनीकी रूप से, आंशिक कार्य दो समुच्चय (गणित) पर [[द्विआधारी संबंध]] है जो पहले समुच्चय के प्रत्येक तत्व को दूसरे समुच्चय के तत्व ''अधिकतम'' से जोड़ता है; इस प्रकार यह द्विआधारी संबंध विशेष प्रकार के द्विआधारी संबंध हैं। यह पहले समुच्चय के प्रत्येक तत्व को दूसरे समुच्चय के तत्व बिल्कुल से संबद्ध करने की आवश्यकता नहीं होने के द्वारा (कुल) फलन (गणित) की अवधारणा को सामान्यीकृत करता है। | |||
आंशिक फलन का उपयोग अधिकांशतः तब किया जाता है जब इसकी परिभाषा का सटीक डोमेन ज्ञात नहीं होता है या निर्दिष्ट करना कठिन होता है। [[ गणना |गणना]] में यह स्थिति है, उदाहरण के लिए, दो कार्यों का भागफल आंशिक कार्य है जिसकी परिभाषा के डोमेन में भाजक के कार्य का शून्य नहीं हो सकता है। इस कारण से, कैलकुलस में, और अधिक सामान्यतः [[गणितीय विश्लेषण]] में, आंशिक फलन को सामान्यतः केवल a कहा जाता है {{em|फलन}} [[संगणनीयता सिद्धांत]] सिद्धांत में [[सामान्य पुनरावर्ती कार्य]] पूर्णांकों से पूर्णांकों का आंशिक कार्य है; यह तय करने के लिए कोई [[ कलन विधि |कलन विधि]] उपस्थित नहीं हो सकता है कि इस तरह का मनमाना कार्य वास्तव में कुल है या नहीं। | |||
जब फलन (गणित) एरो नोटेशन फलन के लिए उपयोग किया जाता है, आंशिक फलन <math>f</math> से <math>X</math> को <math>Y</math> कभी-कभी लिखा जाता है <math>f : X \rightharpoonup Y,</math> <math>f : X \nrightarrow Y,</math> या <math>f : X \hookrightarrow Y.</math> चुकीं, कोई सामान्य फलन नहीं है, और बाद के अंकन का उपयोग सामान्यतः सम्मिलित किए जाने वाले मानचित्रों या [[एम्बेडिंग]] के लिए किया जाता है। | |||
जब फलन (गणित) | |||
विशेष रूप से, आंशिक कार्य के लिए <math>f : X \rightharpoonup Y,</math> और कोई भी <math>x \in X,</math> एक के पास या तो है: | विशेष रूप से, आंशिक कार्य के लिए <math>f : X \rightharpoonup Y,</math> और कोई भी <math>x \in X,</math> एक के पास या तो है: | ||
* <math>f(x) = y \in Y</math> (यह | * <math>f(x) = y \in Y</math> (यह एकल तत्व है {{mvar|Y}}), या | ||
* <math>f(x)</math> अपरिभाषित है। | * <math>f(x)</math> अपरिभाषित है। | ||
उदाहरण के लिए, यदि <math>f</math> [[वर्गमूल]] फलन [[पूर्णांक]] | उदाहरण के लिए, यदि <math>f</math> [[वर्गमूल]] फलन [[पूर्णांक]] तक सीमित है। | ||
: <math>f : \Z \to \N,</math> द्वारा परिभाषित: | : <math>f : \Z \to \N,</math> द्वारा परिभाषित: | ||
: <math>f(n) = m</math> अगर और केवल अगर, <math>m^2 = n,</math> <math>m \in \N, n \in \Z,</math> | : <math>f(n) = m</math> अगर और केवल अगर, <math>m^2 = n,</math> <math>m \in \N, n \in \Z,</math> | ||
तब <math>f(n)</math> केवल अगर परिभाषित किया गया है <math>n</math> | तब <math>f(n)</math> केवल अगर परिभाषित किया गया है <math>n</math> [[वर्ग संख्या]] है (अर्थात, <math>0, 1, 4, 9, 16, \ldots</math>). इसलिए <math>f(25) = 5</math> लेकिन <math>f(26)</math> अपरिभाषित है। | ||
== मूलभूत अवधारणाएँ == | == मूलभूत अवधारणाएँ == | ||
{| align="right" | {| align="right" | ||
|- | |- | ||
|[[Image:Partial function.svg|thumb|200px|आंशिक कार्य का | |[[Image:Partial function.svg|thumb|200px|आंशिक कार्य का उदाहरण जो [[injective|इंजेक्टिव]] है। ]] | ||
|- | |- | ||
|[[Image:Total function.svg|thumb|200px| | |[[Image:Total function.svg|thumb|200px|[[#Function|फलन]] का उदाहरण जो इंजेक्टिव नहीं है।]] | ||
|} | |} | ||
आंशिक कार्य दो समुच्चयों के बीच मानचित्रों के विचार से उत्पन्न होता है {{mvar|X}} और {{mvar|Y}} जिसे पूरे समुच्चय पर परिभाषित नहीं किया जा सकता है {{mvar|X}} सामान्य उदाहरण वास्तविक संख्याओं पर वर्गमूल संक्रिया है <math>\mathbb{R}</math>: क्योंकि नकारात्मक वास्तविक संख्याओं में वास्तविक वर्गमूल नहीं होते हैं, संक्रिया को आंशिक फलन के रूप में देखा जा सकता है <math>\mathbb{R}</math> को <math>\mathbb{R}.</math> आंशिक फलन की परिभाषा का डोमेन सबसमुच्चय है {{mvar|S}} का {{mvar|X}} जिस पर आंशिक कार्य परिभाषित किया गया है; इस स्थिति में, आंशिक फलन को फलन के रूप में भी देखा जा सकता है {{mvar|S}} को {{mvar|Y}}. वर्गमूल संक्रिया के उदाहरण में, समुच्चय {{mvar|S}} में अऋणात्मक वास्तविक संख्याएँ होती <math>[0, +\infty).</math> हैं। | |||
आंशिक कार्य की धारणा विशेष रूप से सुविधाजनक होती है जब परिभाषा का सटीक डोमेन अज्ञात या अनजान भी होता है। उत्तरार्द्ध के कंप्यूटर-विज्ञान उदाहरण के लिए, हॉल्टिंग समस्या देखें। | आंशिक कार्य की धारणा विशेष रूप से सुविधाजनक होती है जब परिभाषा का सटीक डोमेन अज्ञात या अनजान भी होता है। उत्तरार्द्ध के कंप्यूटर-विज्ञान उदाहरण के लिए, हॉल्टिंग समस्या देखें। | ||
परिभाषा के डोमेन के स्थितियों में {{mvar|S}} पूरे समुच्चय के बराबर है {{mvar|X}}, आंशिक कार्य को कुल कहा जाता है। इस प्रकार, से कुल आंशिक कार्य {{mvar|X}} को {{mvar|Y}} से कार्यों के साथ मेल खाता है {{mvar|X}} को {{mvar|Y}} कार्यों के कई गुण आंशिक कार्यों के उचित अर्थ में विस्तारित किए जा सकते हैं। आंशिक फलन को [[इंजेक्शन समारोह|इंजेक्टिव फलन]], विशेषण फलन या [[द्विभाजन]] कहा जाता है, जब आंशिक फलन के परिभाषा के डोमेन में आंशिक फलन के प्रतिबंध द्वारा दिए गए फलन क्रमशः इंजेक्टिव | परिभाषा के डोमेन के स्थितियों में {{mvar|S}} पूरे समुच्चय के बराबर है {{mvar|X}}, आंशिक कार्य को कुल कहा जाता है। इस प्रकार, से कुल आंशिक कार्य {{mvar|X}} को {{mvar|Y}} से कार्यों के साथ मेल खाता है {{mvar|X}} को {{mvar|Y}} कार्यों के कई गुण आंशिक कार्यों के उचित अर्थ में विस्तारित किए जा सकते हैं। आंशिक फलन को [[इंजेक्शन समारोह|इंजेक्टिव फलन]], विशेषण फलन या [[द्विभाजन]] कहा जाता है, जब आंशिक फलन के परिभाषा के डोमेन में आंशिक फलन के प्रतिबंध द्वारा दिए गए फलन क्रमशः इंजेक्टिव विशेषण होते हैं। | ||
क्योंकि | क्योंकि फलन तुच्छ रूप से विशेषण है जब इसकी छवि तक सीमित है, आंशिक आक्षेप शब्द आंशिक कार्य को दर्शाता है जो इंजेक्टिव है।<ref name="Hollings2014-251">{{cite book|author=Christopher Hollings|title=Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups|url=https://books.google.com/books?id=O9wJBAAAQBAJ&pg=PA251|year=2014|publisher=American Mathematical Society|isbn=978-1-4704-1493-1|page=251}}</ref> | ||
इंजेक्टिव आंशिक फलन को इंजेक्टिव आंशिक फलन में उलटा किया जा सकता है, और आंशिक फलन जो इंजेक्टिव और विशेषण दोनों में व्युत्क्रम के रूप में इंजेक्टिव फलन होता है। इसके अतिरिक्त, फलन जो इंजेक्टिव है, इंजेक्टिव आंशिक फलन में उलटा हो सकता है। | |||
परिवर्तन (कार्य) की धारणा को आंशिक कार्यों के लिए भी सामान्यीकृत किया जा सकता है। | परिवर्तन (कार्य) की धारणा को आंशिक कार्यों के लिए भी सामान्यीकृत किया जा सकता है। आंशिक परिवर्तन कार्य है <math>f : A \rightharpoonup B,</math> जहां दोनों <math>A</math> और <math>B</math> किसी समुच्चय के उपसमुच्चय हैं <math>X.</math><ref name="Hollings2014-251" /> | ||
Line 43: | Line 40: | ||
== फलन स्पेस == | == फलन स्पेस == | ||
सुविधा के लिए, सभी आंशिक कार्यों के समुच्चय को निरूपित करें <math>f : X \rightharpoonup Y</math> | सुविधा के लिए, सभी आंशिक कार्यों के समुच्चय को निरूपित करें <math>f : X \rightharpoonup Y</math> समुच्चय से <math>X</math> समुच्चय के लिए <math>Y</math> द्वारा <math>[X \rightharpoonup Y].</math> यह समुच्चय सबसमुच्चय पर परिभाषित कार्यों के समुच्चय का संघ है <math>X</math> एक ही कोडोमेन के साथ <math>Y</math>: | ||
: <math>[X \rightharpoonup Y] = \bigcup_{D \subseteq X} [D \to Y],</math> | : <math>[X \rightharpoonup Y] = \bigcup_{D \subseteq X} [D \to Y],</math> | ||
उत्तरार्द्ध के रूप में भी लिखा गया है <math display="inline">\bigcup_{D\subseteq{X}} Y^D.</math> परिमित स्थितियों में, इसकी प्रमुखता | उत्तरार्द्ध के रूप में भी लिखा गया है <math display="inline">\bigcup_{D\subseteq{X}} Y^D.</math> परिमित स्थितियों में, इसकी प्रमुखता है। | ||
: <math>|[X \rightharpoonup Y]| = (|Y| + 1)^{|X|},</math> | : <math>|[X \rightharpoonup Y]| = (|Y| + 1)^{|X|},</math> | ||
क्योंकि किसी भी आंशिक फलन को किसी निश्चित मान से फलन तक बढ़ाया जा सकता है <math>c</math> में निहित नहीं है <math>Y,</math> जिससे कोडोमेन है <math>Y \cup \{ c \},</math> | क्योंकि किसी भी आंशिक फलन को किसी निश्चित मान से फलन तक बढ़ाया जा सकता है <math>c</math> में निहित नहीं है <math>Y,</math> जिससे कोडोमेन है <math>Y \cup \{ c \},</math> ऑपरेशन जो इंजेक्टिव (प्रतिबंध द्वारा अद्वितीय और उलटा) है। | ||
== चर्चा और उदाहरण == | == चर्चा और उदाहरण == | ||
लेख के शीर्ष पर पहला आरेख | लेख के शीर्ष पर पहला आरेख आंशिक कार्य का प्रतिनिधित्व करता है जो है {{em|not}} फलन चूंकि बाएं हाथ के समुच्चय में तत्व 1 दाएं हाथ के समुच्चय में किसी भी चीज़ से संबद्ध नहीं है। जबकि, दूसरा आरेख फलन का प्रतिनिधित्व करता है क्योंकि बाएं हाथ के समुच्चय पर प्रत्येक तत्व दाहिने हाथ के समुच्चय में ठीक तत्व से जुड़ा होता है। | ||
=== [[प्राकृतिक]] लघुगणक === | === [[प्राकृतिक]] लघुगणक === | ||
प्राकृतिक लघुगणक फलन पर विचार करें जो [[वास्तविक संख्या]]ओं को स्वयं से मैप करता है। | प्राकृतिक लघुगणक फलन पर विचार करें जो [[वास्तविक संख्या]]ओं को स्वयं से मैप करता है। गैर-[[सकारात्मक वास्तविक]] का लघुगणक वास्तविक संख्या नहीं है, इसलिए प्राकृतिक लघुगणक फलन कोडोमेन में किसी भी वास्तविक संख्या को डोमेन में किसी भी गैर-सकारात्मक वास्तविक संख्या के साथ संबद्ध नहीं करता है। इसलिए, प्राकृतिक लघुगणक फलन फलन नहीं है जब इसे वास्तविक से स्वयं के फलन के रूप में देखा जाता है, बल्कि यह आंशिक फलन है। यदि डोमेन केवल धनात्मक वास्तविक को सम्मिलित करने तक सीमित है (अर्थात, यदि प्राकृतिक लघुगणक फलन को धनात्मक वास्तविक से वास्तविक फलन के रूप में देखा जाता है), तो प्राकृतिक लघुगणक फलन है। | ||
=== प्राकृत संख्याओं का घटाव === | === प्राकृत संख्याओं का घटाव === | ||
Line 66: | Line 63: | ||
=== निचला तत्व === | === निचला तत्व === | ||
[[सांकेतिक शब्दार्थ]] में | [[सांकेतिक शब्दार्थ]] में आंशिक कार्य को अपरिभाषित होने पर नीचे के तत्व को वापस करने के रूप में माना जाता है। | ||
[[कंप्यूटर विज्ञान]] में | [[कंप्यूटर विज्ञान]] में आंशिक कार्य सबरूटीन से मेल खाता है जो अपवाद या लूप को हमेशा के लिए उठाता है। [[IEEE फ़्लोटिंग पॉइंट]] मानक एक [[नहीं एक संख्या|नहीं संख्या]] मान को परिभाषित करता है जो तब लौटाया जाता है जब फ़्लोटिंग पॉइंट ऑपरेशन अपरिभाषित होता है और अपवादों को दबा दिया जाता है, उदा। जब किसी ऋणात्मक संख्या के वर्गमूल का अनुरोध किया जाता है। | ||
[[ प्रोग्रामिंग भाषा | प्रोग्रामिंग भाषा]] में जहां फलन पैरामीटर [[स्थिर रूप से टाइप किया गया]] किए जाते हैं, फलन को आंशिक फलन के रूप में परिभाषित किया जा सकता है क्योंकि भाषा का [[ प्रकार प्रणाली |प्रकार प्रणाली]] फलन के सटीक डोमेन को व्यक्त नहीं कर सकता है, इसलिए प्रोग्रामर इसके अतिरिक्त इसे सबसे छोटा डोमेन देता है जो एक प्रकार के रूप में अभिव्यक्त होता है और फलन की परिभाषा का डोमेन सम्मिलित है। | |||
=== [[श्रेणी सिद्धांत]] में === | === [[श्रेणी सिद्धांत]] में === | ||
श्रेणी सिद्धांत में, ठोस श्रेणियों में आकारिकी रचना के संचालन पर विचार करते समय, रचना संचालन <math>\circ \;:\; \hom(C) \times \hom(C) \to \hom(C)</math> | श्रेणी सिद्धांत में, ठोस श्रेणियों में आकारिकी रचना के संचालन पर विचार करते समय, रचना संचालन <math>\circ \;:\; \hom(C) \times \hom(C) \to \hom(C)</math> फलन है अगर और केवल अगर <math>\operatorname{ob}(C)</math> तत्व है। इसका कारण यह है कि दो रूप <math>f : X \to Y</math> और <math>g : U \to V</math> के रूप में ही रचा जा सकता है <math>g \circ f</math> अगर <math>Y = U,</math> वह है, का कोडोमेन <math>f</math> के डोमेन <math>g.</math> के बराबर होना चाहिए । | ||
समुच्चय और आंशिक कार्यों की श्रेणी श्रेणियों की समतुल्यता है, लेकिन नुकीले समुच्चयों और बिंदु-संरक्षण मानचित्रों की श्रेणी के साथ [[श्रेणियों की समरूपता]] नहीं है।<ref name="KoslowskiMelton2001">{{cite book|editor=Jürgen Koslowski and Austin Melton|title=श्रेणीबद्ध दृष्टिकोण|year=2001|publisher=Springer Science & Business Media|isbn=978-0-8176-4186-3|page=10|author=Lutz Schröder|chapter=Categories: a free tour}}</ref> | समुच्चय और आंशिक कार्यों की श्रेणी श्रेणियों की समतुल्यता है, लेकिन नुकीले समुच्चयों और बिंदु-संरक्षण मानचित्रों की श्रेणी के साथ [[श्रेणियों की समरूपता]] नहीं है।<ref name="KoslowskiMelton2001">{{cite book|editor=Jürgen Koslowski and Austin Melton|title=श्रेणीबद्ध दृष्टिकोण|year=2001|publisher=Springer Science & Business Media|isbn=978-0-8176-4186-3|page=10|author=Lutz Schröder|chapter=Categories: a free tour}}</ref> पाठ्यपुस्तक नोट करती है कि "अनुचित," "अनंत" तत्वों को जोड़कर समुच्चय और आंशिक मानचित्रों का औपचारिक समापन कई बार, विशेष रूप से, टोपोलॉजी ([[एक-बिंदु संघनन]]) और [[सैद्धांतिक कंप्यूटर विज्ञान]] में किया गया था।<ref name="KoblitzZilber2009">{{cite book|author1=Neal Koblitz|author2=B. Zilber|author3=Yu. I. Manin|title=गणितज्ञों के लिए गणितीय तर्क में एक पाठ्यक्रम|year=2009|publisher=Springer Science & Business Media|isbn=978-1-4419-0615-1|page=290}}</ref> | ||
समुच्चय और आंशिक द्विभाजन की श्रेणी इसके [[विपरीत श्रेणी]] के बराबर है।<ref name="Borceux1994">{{cite book|author=Francis Borceux|title=Handbook of Categorical Algebra: Volume 2, Categories and Structures|url=https://books.google.com/books?id=5i2v9q0m5XAC&pg=PA289|year=1994|publisher=Cambridge University Press|isbn=978-0-521-44179-7|page=289}}</ref> यह प्रोटोटाइपिक उलटा श्रेणी है।<ref name="Grandis2012">{{cite book|author=Marco Grandis|title=Homological Algebra: The Interplay of Homology with Distributive Lattices and Orthodox Semigroups|url=https://books.google.com/books?id=TWqhelao4KsC&pg=PA55|year=2012|publisher=World Scientific|isbn=978-981-4407-06-9|page=55}}</ref> | समुच्चय और आंशिक द्विभाजन की श्रेणी इसके [[विपरीत श्रेणी]] के बराबर है।<ref name="Borceux1994">{{cite book|author=Francis Borceux|title=Handbook of Categorical Algebra: Volume 2, Categories and Structures|url=https://books.google.com/books?id=5i2v9q0m5XAC&pg=PA289|year=1994|publisher=Cambridge University Press|isbn=978-0-521-44179-7|page=289}}</ref> यह प्रोटोटाइपिक उलटा श्रेणी है।<ref name="Grandis2012">{{cite book|author=Marco Grandis|title=Homological Algebra: The Interplay of Homology with Distributive Lattices and Orthodox Semigroups|url=https://books.google.com/books?id=TWqhelao4KsC&pg=PA55|year=2012|publisher=World Scientific|isbn=978-981-4407-06-9|page=55}}</ref> | ||
Line 84: | Line 81: | ||
=== अमूर्त बीजगणित में === | === अमूर्त बीजगणित में === | ||
[[आंशिक बीजगणित]] आंशिक संक्रिया (गणित) के लिए [[सार्वभौमिक बीजगणित]] की धारणा का सामान्यीकरण करता है। | [[आंशिक बीजगणित]] आंशिक संक्रिया (गणित) के लिए [[सार्वभौमिक बीजगणित]] की धारणा का सामान्यीकरण करता है। उदाहरण फ़ील्ड (गणित) होगा, जिसमें गुणक व्युत्क्रम एकमात्र उचित आंशिक ऑपरेशन है (क्योंकि [[शून्य से विभाजन]] परिभाषित नहीं है।)<ref name="RosenbergSabidussi1993">{{cite book|editor1=Ivo G. Rosenberg |editor2=Gert Sabidussi|title=बीजगणित और आदेश|year=1993|publisher=Springer Science & Business Media|isbn=978-0-7923-2143-9|author=Peter Burmeister|chapter=Partial algebras – an introductory survey}}</ref> | ||
किसी दिए गए आधार समुच्चय पर सभी आंशिक कार्यों (आंशिक परिवर्तन (फलन)) का समुच्चय, <math>X,</math> | किसी दिए गए आधार समुच्चय पर सभी आंशिक कार्यों (आंशिक परिवर्तन (फलन)) का समुच्चय, <math>X,</math> [[नियमित अर्धसमूह]] बनाता है जिसे सभी आंशिक परिवर्तनों का अर्धसमूह कहा जाता है (या आंशिक परिवर्तन अर्धसमूह पर <math>X</math>), सामान्यतः द्वारा चिह्नित <math>\mathcal{PT}_X.</math><ref name="CliffordPreston1967">{{cite book|author1=Alfred Hoblitzelle Clifford|author2=G. B. Preston|title=अर्धसमूहों का बीजगणितीय सिद्धांत। वॉल्यूम II|url=https://books.google.com/books?id=756KAwAAQBAJ&pg=PR12|year=1967|publisher=American Mathematical Soc.|isbn=978-0-8218-0272-4|page=xii}}</ref><ref name="Higgins1992">{{cite book|author=Peter M. Higgins|title=सेमीग्रुप थ्योरी की तकनीक|year=1992|publisher=Oxford University Press, Incorporated|isbn=978-0-19-853577-5|page=4}}</ref><ref name="GanyushkinMazorchuk2008">{{cite book|author1=Olexandr Ganyushkin|author2=Volodymyr Mazorchuk|title=Classical Finite Transformation Semigroups: An Introduction|url=https://archive.org/details/classicalfinitet00gany_719|url-access=limited|year=2008|publisher=Springer Science & Business Media|isbn=978-1-84800-281-4|pages=[https://archive.org/details/classicalfinitet00gany_719/page/n26 16] and 24}}</ref> पर सभी आंशिक आपत्तियों का समुच्चय <math>X</math> सममित व्युत्क्रम अर्धसमूह बनाता है।<ref name="CliffordPreston1967" /><ref name="Higgins1992" /> | ||
=== [[कई गुना]] और [[फाइबर बंडल]] | === [[कई गुना]] और [[फाइबर बंडल]] के लिए चार्ट और एटलस === | ||
[[एटलस (टोपोलॉजी)]] में चार्ट जो मैनिफोल्ड्स और फाइबर बंडलों की संरचना को निर्दिष्ट करते हैं, आंशिक कार्य हैं। मैनिफोल्ड्स के स्थितियों में, डोमेन मैनिफोल्ड का बिंदु समुच्चय है। फाइबर बंडलों के स्थितियों में, डोमेन फाइबर बंडल का स्थान है। इन अनुप्रयोगों में, सबसे महत्वपूर्ण निर्माण एटलस (टोपोलॉजी) | [[एटलस (टोपोलॉजी)]] में चार्ट जो मैनिफोल्ड्स और फाइबर बंडलों की संरचना को निर्दिष्ट करते हैं, आंशिक कार्य हैं। मैनिफोल्ड्स के स्थितियों में, डोमेन मैनिफोल्ड का बिंदु समुच्चय है। फाइबर बंडलों के स्थितियों में, डोमेन फाइबर बंडल का स्थान है। इन अनुप्रयोगों में, सबसे महत्वपूर्ण निर्माण एटलस (टोपोलॉजी) संक्रमण मानचित्र है, जो चार्ट का दूसरे के व्युत्क्रम के साथ सम्मिश्रण है। मैनिफोल्ड्स और फाइबर बंडलों का प्रारंभिक वर्गीकरण इन संक्रमण मानचित्रों पर बाधाओं के संदर्भ में बहुत सीमा तक व्यक्त किया गया है। | ||
कार्यों के अतिरिक्त आंशिक कार्यों के उपयोग का कारण वैश्विक संरचना का वर्णन करने के लिए स्थानीय पैच को | कार्यों के अतिरिक्त आंशिक कार्यों के उपयोग का कारण वैश्विक संरचना का वर्णन करने के लिए स्थानीय पैच को साथ सिलाई करके सामान्य वैश्विक टोपोलॉजी का प्रतिनिधित्व करने की अनुमति देना है। पैच वे डोमेन हैं जहां चार्ट परिभाषित किए गए हैं। | ||
== यह भी देखें == | == यह भी देखें == | ||
{{Functions}} | {{Functions}} | ||
* {{annotated link|विश्लेषणात्मक निरंतरता}} | * {{annotated link|विश्लेषणात्मक निरंतरता }} | ||
* {{annotated link|बहुविकल्पी फलन}} | * {{annotated link|बहुविकल्पी फलन}} | ||
* {{annotated link|घनी परिभाषित ऑपरेटर}} | * {{annotated link|घनी परिभाषित ऑपरेटर}} | ||
Line 110: | Line 107: | ||
* [[Stephen Kleene]] (1952), ''Introduction to Meta-Mathematics'', North-Holland Publishing Company, Amsterdam, Netherlands, 10th printing with corrections added on 7th printing (1974). {{isbn|0-7204-2103-9}}. | * [[Stephen Kleene]] (1952), ''Introduction to Meta-Mathematics'', North-Holland Publishing Company, Amsterdam, Netherlands, 10th printing with corrections added on 7th printing (1974). {{isbn|0-7204-2103-9}}. | ||
* [[Harold S. Stone]] (1972), ''Introduction to Computer Organization and Data Structures'', McGraw–Hill Book Company, New York. | * [[Harold S. Stone]] (1972), ''Introduction to Computer Organization and Data Structures'', McGraw–Hill Book Company, New York. | ||
[[Category: | [[Category:Collapse templates]] | ||
[[Category:Created On 12/05/2023]] | [[Category:Created On 12/05/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Mathematics sidebar templates]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:कार्य और मानचित्रण]] | |||
[[Category:गणितीय संबंध]] |
Latest revision as of 09:48, 22 May 2023
गणित में, आंशिक कार्य f समुच्चय से (गणित) X समुच्चय के लिए Y सबसमुच्चय से फलन (गणित) है S का X (संभवतः संपूर्ण X स्वयं) को Y. उपसमुच्चय S, यानी, फलन का डोमेन f को कार्य के रूप में देखा जाता है, जिसे परिभाषा का डोमेन या प्राकृतिक डोमेन कहा जाता है f. अगर S बराबर है X, यानी अगर f में प्रत्येक तत्व पर परिभाषित किया गया है X, तब f को कुल कार्य कहा जाता है।
अधिक तकनीकी रूप से, आंशिक कार्य दो समुच्चय (गणित) पर द्विआधारी संबंध है जो पहले समुच्चय के प्रत्येक तत्व को दूसरे समुच्चय के तत्व अधिकतम से जोड़ता है; इस प्रकार यह द्विआधारी संबंध विशेष प्रकार के द्विआधारी संबंध हैं। यह पहले समुच्चय के प्रत्येक तत्व को दूसरे समुच्चय के तत्व बिल्कुल से संबद्ध करने की आवश्यकता नहीं होने के द्वारा (कुल) फलन (गणित) की अवधारणा को सामान्यीकृत करता है।
आंशिक फलन का उपयोग अधिकांशतः तब किया जाता है जब इसकी परिभाषा का सटीक डोमेन ज्ञात नहीं होता है या निर्दिष्ट करना कठिन होता है। गणना में यह स्थिति है, उदाहरण के लिए, दो कार्यों का भागफल आंशिक कार्य है जिसकी परिभाषा के डोमेन में भाजक के कार्य का शून्य नहीं हो सकता है। इस कारण से, कैलकुलस में, और अधिक सामान्यतः गणितीय विश्लेषण में, आंशिक फलन को सामान्यतः केवल a कहा जाता है फलन संगणनीयता सिद्धांत सिद्धांत में सामान्य पुनरावर्ती कार्य पूर्णांकों से पूर्णांकों का आंशिक कार्य है; यह तय करने के लिए कोई कलन विधि उपस्थित नहीं हो सकता है कि इस तरह का मनमाना कार्य वास्तव में कुल है या नहीं।
जब फलन (गणित) एरो नोटेशन फलन के लिए उपयोग किया जाता है, आंशिक फलन से को कभी-कभी लिखा जाता है या चुकीं, कोई सामान्य फलन नहीं है, और बाद के अंकन का उपयोग सामान्यतः सम्मिलित किए जाने वाले मानचित्रों या एम्बेडिंग के लिए किया जाता है।
विशेष रूप से, आंशिक कार्य के लिए और कोई भी एक के पास या तो है:
- (यह एकल तत्व है Y), या
- अपरिभाषित है।
उदाहरण के लिए, यदि वर्गमूल फलन पूर्णांक तक सीमित है।
- द्वारा परिभाषित:
- अगर और केवल अगर,
तब केवल अगर परिभाषित किया गया है वर्ग संख्या है (अर्थात, ). इसलिए लेकिन अपरिभाषित है।
मूलभूत अवधारणाएँ
आंशिक कार्य दो समुच्चयों के बीच मानचित्रों के विचार से उत्पन्न होता है X और Y जिसे पूरे समुच्चय पर परिभाषित नहीं किया जा सकता है X सामान्य उदाहरण वास्तविक संख्याओं पर वर्गमूल संक्रिया है : क्योंकि नकारात्मक वास्तविक संख्याओं में वास्तविक वर्गमूल नहीं होते हैं, संक्रिया को आंशिक फलन के रूप में देखा जा सकता है को आंशिक फलन की परिभाषा का डोमेन सबसमुच्चय है S का X जिस पर आंशिक कार्य परिभाषित किया गया है; इस स्थिति में, आंशिक फलन को फलन के रूप में भी देखा जा सकता है S को Y. वर्गमूल संक्रिया के उदाहरण में, समुच्चय S में अऋणात्मक वास्तविक संख्याएँ होती हैं।
आंशिक कार्य की धारणा विशेष रूप से सुविधाजनक होती है जब परिभाषा का सटीक डोमेन अज्ञात या अनजान भी होता है। उत्तरार्द्ध के कंप्यूटर-विज्ञान उदाहरण के लिए, हॉल्टिंग समस्या देखें।
परिभाषा के डोमेन के स्थितियों में S पूरे समुच्चय के बराबर है X, आंशिक कार्य को कुल कहा जाता है। इस प्रकार, से कुल आंशिक कार्य X को Y से कार्यों के साथ मेल खाता है X को Y कार्यों के कई गुण आंशिक कार्यों के उचित अर्थ में विस्तारित किए जा सकते हैं। आंशिक फलन को इंजेक्टिव फलन, विशेषण फलन या द्विभाजन कहा जाता है, जब आंशिक फलन के परिभाषा के डोमेन में आंशिक फलन के प्रतिबंध द्वारा दिए गए फलन क्रमशः इंजेक्टिव विशेषण होते हैं।
क्योंकि फलन तुच्छ रूप से विशेषण है जब इसकी छवि तक सीमित है, आंशिक आक्षेप शब्द आंशिक कार्य को दर्शाता है जो इंजेक्टिव है।[1]
इंजेक्टिव आंशिक फलन को इंजेक्टिव आंशिक फलन में उलटा किया जा सकता है, और आंशिक फलन जो इंजेक्टिव और विशेषण दोनों में व्युत्क्रम के रूप में इंजेक्टिव फलन होता है। इसके अतिरिक्त, फलन जो इंजेक्टिव है, इंजेक्टिव आंशिक फलन में उलटा हो सकता है।
परिवर्तन (कार्य) की धारणा को आंशिक कार्यों के लिए भी सामान्यीकृत किया जा सकता है। आंशिक परिवर्तन कार्य है जहां दोनों और किसी समुच्चय के उपसमुच्चय हैं [1]
फलन स्पेस
सुविधा के लिए, सभी आंशिक कार्यों के समुच्चय को निरूपित करें समुच्चय से समुच्चय के लिए द्वारा यह समुच्चय सबसमुच्चय पर परिभाषित कार्यों के समुच्चय का संघ है एक ही कोडोमेन के साथ :
उत्तरार्द्ध के रूप में भी लिखा गया है परिमित स्थितियों में, इसकी प्रमुखता है।
क्योंकि किसी भी आंशिक फलन को किसी निश्चित मान से फलन तक बढ़ाया जा सकता है में निहित नहीं है जिससे कोडोमेन है ऑपरेशन जो इंजेक्टिव (प्रतिबंध द्वारा अद्वितीय और उलटा) है।
चर्चा और उदाहरण
लेख के शीर्ष पर पहला आरेख आंशिक कार्य का प्रतिनिधित्व करता है जो है not फलन चूंकि बाएं हाथ के समुच्चय में तत्व 1 दाएं हाथ के समुच्चय में किसी भी चीज़ से संबद्ध नहीं है। जबकि, दूसरा आरेख फलन का प्रतिनिधित्व करता है क्योंकि बाएं हाथ के समुच्चय पर प्रत्येक तत्व दाहिने हाथ के समुच्चय में ठीक तत्व से जुड़ा होता है।
प्राकृतिक लघुगणक
प्राकृतिक लघुगणक फलन पर विचार करें जो वास्तविक संख्याओं को स्वयं से मैप करता है। गैर-सकारात्मक वास्तविक का लघुगणक वास्तविक संख्या नहीं है, इसलिए प्राकृतिक लघुगणक फलन कोडोमेन में किसी भी वास्तविक संख्या को डोमेन में किसी भी गैर-सकारात्मक वास्तविक संख्या के साथ संबद्ध नहीं करता है। इसलिए, प्राकृतिक लघुगणक फलन फलन नहीं है जब इसे वास्तविक से स्वयं के फलन के रूप में देखा जाता है, बल्कि यह आंशिक फलन है। यदि डोमेन केवल धनात्मक वास्तविक को सम्मिलित करने तक सीमित है (अर्थात, यदि प्राकृतिक लघुगणक फलन को धनात्मक वास्तविक से वास्तविक फलन के रूप में देखा जाता है), तो प्राकृतिक लघुगणक फलन है।
प्राकृत संख्याओं का घटाव
प्राकृतिक संख्याओं का घटाव (गैर-ऋणात्मक पूर्णांक) को आंशिक कार्य के रूप में देखा जा सकता है:
इसे तभी परिभाषित किया जाता है जब
निचला तत्व
सांकेतिक शब्दार्थ में आंशिक कार्य को अपरिभाषित होने पर नीचे के तत्व को वापस करने के रूप में माना जाता है।
कंप्यूटर विज्ञान में आंशिक कार्य सबरूटीन से मेल खाता है जो अपवाद या लूप को हमेशा के लिए उठाता है। IEEE फ़्लोटिंग पॉइंट मानक एक नहीं संख्या मान को परिभाषित करता है जो तब लौटाया जाता है जब फ़्लोटिंग पॉइंट ऑपरेशन अपरिभाषित होता है और अपवादों को दबा दिया जाता है, उदा। जब किसी ऋणात्मक संख्या के वर्गमूल का अनुरोध किया जाता है।
प्रोग्रामिंग भाषा में जहां फलन पैरामीटर स्थिर रूप से टाइप किया गया किए जाते हैं, फलन को आंशिक फलन के रूप में परिभाषित किया जा सकता है क्योंकि भाषा का प्रकार प्रणाली फलन के सटीक डोमेन को व्यक्त नहीं कर सकता है, इसलिए प्रोग्रामर इसके अतिरिक्त इसे सबसे छोटा डोमेन देता है जो एक प्रकार के रूप में अभिव्यक्त होता है और फलन की परिभाषा का डोमेन सम्मिलित है।
श्रेणी सिद्धांत में
श्रेणी सिद्धांत में, ठोस श्रेणियों में आकारिकी रचना के संचालन पर विचार करते समय, रचना संचालन फलन है अगर और केवल अगर तत्व है। इसका कारण यह है कि दो रूप और के रूप में ही रचा जा सकता है अगर वह है, का कोडोमेन के डोमेन के बराबर होना चाहिए ।
समुच्चय और आंशिक कार्यों की श्रेणी श्रेणियों की समतुल्यता है, लेकिन नुकीले समुच्चयों और बिंदु-संरक्षण मानचित्रों की श्रेणी के साथ श्रेणियों की समरूपता नहीं है।[2] पाठ्यपुस्तक नोट करती है कि "अनुचित," "अनंत" तत्वों को जोड़कर समुच्चय और आंशिक मानचित्रों का औपचारिक समापन कई बार, विशेष रूप से, टोपोलॉजी (एक-बिंदु संघनन) और सैद्धांतिक कंप्यूटर विज्ञान में किया गया था।[3]
समुच्चय और आंशिक द्विभाजन की श्रेणी इसके विपरीत श्रेणी के बराबर है।[4] यह प्रोटोटाइपिक उलटा श्रेणी है।[5]
अमूर्त बीजगणित में
आंशिक बीजगणित आंशिक संक्रिया (गणित) के लिए सार्वभौमिक बीजगणित की धारणा का सामान्यीकरण करता है। उदाहरण फ़ील्ड (गणित) होगा, जिसमें गुणक व्युत्क्रम एकमात्र उचित आंशिक ऑपरेशन है (क्योंकि शून्य से विभाजन परिभाषित नहीं है।)[6]
किसी दिए गए आधार समुच्चय पर सभी आंशिक कार्यों (आंशिक परिवर्तन (फलन)) का समुच्चय, नियमित अर्धसमूह बनाता है जिसे सभी आंशिक परिवर्तनों का अर्धसमूह कहा जाता है (या आंशिक परिवर्तन अर्धसमूह पर ), सामान्यतः द्वारा चिह्नित [7][8][9] पर सभी आंशिक आपत्तियों का समुच्चय सममित व्युत्क्रम अर्धसमूह बनाता है।[7][8]
कई गुना और फाइबर बंडल के लिए चार्ट और एटलस
एटलस (टोपोलॉजी) में चार्ट जो मैनिफोल्ड्स और फाइबर बंडलों की संरचना को निर्दिष्ट करते हैं, आंशिक कार्य हैं। मैनिफोल्ड्स के स्थितियों में, डोमेन मैनिफोल्ड का बिंदु समुच्चय है। फाइबर बंडलों के स्थितियों में, डोमेन फाइबर बंडल का स्थान है। इन अनुप्रयोगों में, सबसे महत्वपूर्ण निर्माण एटलस (टोपोलॉजी) संक्रमण मानचित्र है, जो चार्ट का दूसरे के व्युत्क्रम के साथ सम्मिश्रण है। मैनिफोल्ड्स और फाइबर बंडलों का प्रारंभिक वर्गीकरण इन संक्रमण मानचित्रों पर बाधाओं के संदर्भ में बहुत सीमा तक व्यक्त किया गया है।
कार्यों के अतिरिक्त आंशिक कार्यों के उपयोग का कारण वैश्विक संरचना का वर्णन करने के लिए स्थानीय पैच को साथ सिलाई करके सामान्य वैश्विक टोपोलॉजी का प्रतिनिधित्व करने की अनुमति देना है। पैच वे डोमेन हैं जहां चार्ट परिभाषित किए गए हैं।
यह भी देखें
फ़ंक्शन |
---|
x ↦ f (x) |
डोमेन और कोडोमैन के उदाहरण |
कक्षाएं/गुण |
कंस्ट्रक्शन |
सामान्यीकरण |
- विश्लेषणात्मक निरंतरता – Extension of the domain of an analytic function (mathematics)
- बहुविकल्पी फलन
- घनी परिभाषित ऑपरेटर
संदर्भ
- ↑ 1.0 1.1 Christopher Hollings (2014). Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups. American Mathematical Society. p. 251. ISBN 978-1-4704-1493-1.
- ↑ Lutz Schröder (2001). "Categories: a free tour". In Jürgen Koslowski and Austin Melton (ed.). श्रेणीबद्ध दृष्टिकोण. Springer Science & Business Media. p. 10. ISBN 978-0-8176-4186-3.
- ↑ Neal Koblitz; B. Zilber; Yu. I. Manin (2009). गणितज्ञों के लिए गणितीय तर्क में एक पाठ्यक्रम. Springer Science & Business Media. p. 290. ISBN 978-1-4419-0615-1.
- ↑ Francis Borceux (1994). Handbook of Categorical Algebra: Volume 2, Categories and Structures. Cambridge University Press. p. 289. ISBN 978-0-521-44179-7.
- ↑ Marco Grandis (2012). Homological Algebra: The Interplay of Homology with Distributive Lattices and Orthodox Semigroups. World Scientific. p. 55. ISBN 978-981-4407-06-9.
- ↑ Peter Burmeister (1993). "Partial algebras – an introductory survey". In Ivo G. Rosenberg; Gert Sabidussi (eds.). बीजगणित और आदेश. Springer Science & Business Media. ISBN 978-0-7923-2143-9.
- ↑ 7.0 7.1 Alfred Hoblitzelle Clifford; G. B. Preston (1967). अर्धसमूहों का बीजगणितीय सिद्धांत। वॉल्यूम II. American Mathematical Soc. p. xii. ISBN 978-0-8218-0272-4.
- ↑ 8.0 8.1 Peter M. Higgins (1992). सेमीग्रुप थ्योरी की तकनीक. Oxford University Press, Incorporated. p. 4. ISBN 978-0-19-853577-5.
- ↑ Olexandr Ganyushkin; Volodymyr Mazorchuk (2008). Classical Finite Transformation Semigroups: An Introduction. Springer Science & Business Media. pp. 16 and 24. ISBN 978-1-84800-281-4.
- Martin Davis (1958), Computability and Unsolvability, McGraw–Hill Book Company, Inc, New York. Republished by Dover in 1982. ISBN 0-486-61471-9.
- Stephen Kleene (1952), Introduction to Meta-Mathematics, North-Holland Publishing Company, Amsterdam, Netherlands, 10th printing with corrections added on 7th printing (1974). ISBN 0-7204-2103-9.
- Harold S. Stone (1972), Introduction to Computer Organization and Data Structures, McGraw–Hill Book Company, New York.