View source for अंतःक्षेपक फलन

{{Short description|Function that preserves distinctness}}
{{Functions}}

गणित में, अंतःक्षेपक फलन (जिसे अंतःक्षेपक, या  एकैक फलन के रूप में भी जाना जाता है) [[फ़ंक्शन (गणित)|फलन (गणित)]] {{math|''f''}}  है जो अपने प्रांत के [[विशिष्ट (गणित)]] तत्वों को अलग-अलग तत्वों में सम्बद्ध करता है; वह है, {{math|''f''(''x''<sub>1</sub>) {{=}} ''f''(''x''<sub>2</sub>)}} है तात्पर्य {{math|1=''x''<sub>1</sub> = ''x''<sub>2</sub>}} (समान रूप से, {{math|1=''x''<sub>1</sub> ≠ ''x''<sub>2</sub>}} तात्पर्य {{math|''f''(''x''<sub>1</sub>) {{≠}} ''f''(''x''<sub>2</sub>)}} समतुल्य प्रतिपरिवर्तित कथन में।) दूसरे शब्दों में, फलन के [[कोडोमेन|सहप्रांत]] का प्रत्येक तत्व उसके प्रांत के{{em|अधिकतम}}  तत्व की [[छवि (गणित)|इमेज (गणित) है]]।<ref name=":0">{{Cite web|url=https://www.mathsisfun.com/sets/injective-surjective-bijective.html|title=विशेषण, विशेषण और विशेषण|website=www.mathsisfun.com|access-date=2019-12-07}}</ref> शब्द {{em|एकैक फलन}} शब्द को {{em|एकैक समतुल्यता}}  के साथ भ्रमित नहीं किया जाना चाहिए जो कि द्विभाजित फलन को संदर्भित करता है, जो ऐसे फलन हैं कि सहप्रांत में प्रत्येक तत्व प्रांत में तत्व की इमेज है।

[[बीजगणितीय संरचना]]ओं के बीच [[समरूपता]] एक ऐसा फलन है जो संरचनाओं के संचालन के साथ संगत है। सभी सामान्य बीजगणितीय संरचनाओं के लिए, और, विशेष रूप से सदिश समष्टि के लिए, एक {{em|अंतःक्षेपक समरूपता}}  को{{em|[[ एकरूपता]]}} भी कहा जाता है। चूंकि, [[श्रेणी सिद्धांत]] के अधिक सामान्य संदर्भ में, एकरूपता की परिभाषा अंतःक्षेपक समरूपता से भिन्न होती है।<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/00V5|title=Section 7.3 (00V5): Injective and surjective maps of presheaves—The Stacks project|website=stacks.math.columbia.edu|access-date=2019-12-07}}</ref> इस प्रकार यह प्रमेय है कि वे बीजगणितीय संरचनाओं के लिए समतुल्य हैं; अधिक विवरण के लिए {{slink|समरूपता|एकरूपता}} देखें।

फलन <math>f</math> जो अंतःक्षेपक नहीं है उसे कभी-कभी अनेक-से-एक कहा जाता है।<ref name=":0" />
== परिभाषा ==
[[file:Injection.svg|thumb|एक द्विभाजित फलन, जो द्विभाजित भी नहीं है|178x178px]]
{{Further|topic=अंकन|फलन (गणित)#अंकन}}

मान लीजिये <math>f</math> एक फलन जिसका प्रांत समुच्चय <math>X.</math> है। फलन <math>f</math> अंतःक्षेपक कहा जाता है बशर्ते कि सभी <math>a</math> के लिए और <math>b</math> में <math>X,</math> यदि <math>f(a) = f(b),</math> तब <math>a = b</math>; वह है, <math>f(a) = f(b)</math> तात्पर्य <math>a=b.</math> समान रूप से, यदि <math>a \neq b,</math> तब <math>f(a) \neq f(b)</math> प्रतिपरिवर्तित कथन में है।

प्रतीकात्मक रूप से,<math display="block">\forall a,b \in X, \;\; f(a)=f(b) \Rightarrow a=b,</math>
जो तार्किक रूप से प्रतिपरिवर्तित के समतुल्य है,<ref>{{Cite web|url=http://www.math.umaine.edu/~farlow/sec42.pdf|title=इंजेक्शन, अनुमान और आक्षेप|last=Farlow|first=S. J.|author-link= Stanley Farlow |website=math.umaine.edu|access-date=2019-12-06}}</ref><math display="block">\forall a, b \in X, \;\; a \neq b \Rightarrow f(a) \neq f(b).</math>'''<big>उदाहरण</big>'''
दृश्य उदाहरणों के लिए, पाठकों को गैलरी अनुभाग की ओर निर्देशित किया जाता है।
* किसी भी समुच्चय के लिए <math>X</math> और कोई उपसमुच्चय <math>S \subseteq X,</math> [[समावेशन मानचित्र]] <math>S \to X</math> (जो कोई तत्व भेजता है <math>s \in S</math> स्वयं के लिए) अंतःक्षेपक है। विशेष रूप से, [[पहचान समारोह|तत्समक फलन]] <math>X \to X</math> हमेशा अंतःक्षेपक (और वास्तव में द्विभाजित) होता है।
* यदि किसी फलन का प्रांत [[खाली सेट|रिक्त समुच्चय]] है, तो फलन [[खाली फ़ंक्शन|रिक्त फलन]] है, जो अंतःक्षेपक है।
* यदि किसी फलन के प्रांत में एक तत्व है (अर्थात, यह [[सिंगलटन सेट|एकल समुच्चय]] है), तो फलन हमेशा अंतःक्षेपक होता है।
* फलन <math>f : \R \to \R</math> द्वारा परिभाषित <math>f(x) = 2 x + 1</math> अंतःक्षेपक है।
* फलन <math>g : \R \to \R</math> द्वारा परिभाषित <math>g(x) = x^2</math> अंतःक्षेपक {{em|नहीं}}  है, क्योंकि (उदाहरण के लिए) <math>g(1) = 1 = g(-1).</math> चूंकि, यदि <math>g</math> को फिर से परिभाषित किया गया है। जिससे कि इसका प्रांत ऋणेतर वास्तविक संख्या हो <nowiki>[0,+∞)</nowiki>, फिर <math>g</math> अंतःक्षेपक है।
*घातांकीय फलन <math>\exp : \R \to \R</math> द्वारा परिभाषित <math>\exp(x) = e^x</math> द्विभाजित है (लेकिन द्विभाजित नहीं, क्योंकि कोई भी वास्तविक मान ऋणात्मक संख्या से मेल नहीं खाता)।
* [[प्राकृतिक]] लघुगणक फलन  <math>\ln : (0, \infty) \to \R</math> द्वारा परिभाषित <math>x \mapsto \ln x</math> अंतःक्षेपक है।
* फलन <math>g : \R \to \R</math> द्वारा परिभाषित <math>g(x) = x^n - x</math> अंतःक्षेपक नहीं है, उदाहरण के लिए, <math>g(0) = g(1) = 0.</math>।
अधिक सामान्यतः जब <math>X</math> और <math>Y</math> दोनों वास्तविक रेखा <math>\R,</math> हैं, फिर अंतःक्षेपक फलन  <math>f : \R \to \R</math> वह है जिसका ग्राफ किसी भी क्षैतिज रेखा द्वारा एक से अधिक बार प्रतिच्छेद नहीं किया जाता है। इस सिद्धांत को {{em|[[क्षैतिज रेखा परीक्षण]]}}  कहा जाता है। <ref name=":0" />
== अंतःक्षेपक पूर्ववत किए जा सकते हैं ==

बाएँ व्युत्क्रम वाले फलन हमेशा अंतःक्षेपक होते हैं। अर्थात् दिया हुआ <math>f : X \to Y,</math> यदि कोई फलन  है <math>g : Y \to X</math> ऐसा कि हर किसी के लिए <math>x \in X</math>, <math>g(f(x)) = x</math>, तब <math>f</math> अंतःक्षेपक है। इस मामले में, <math>g</math> का <math>f.</math>प्रत्यावर्तन (श्रेणी सिद्धांत) कहा जाता है, इसके विपरीत, <math>f</math> का <math>g.</math> प्रत्यावर्तन (श्रेणी सिद्धांत) कहा जाता है।

इसके विपरीत, हर अंतःक्षेपक <math>f</math> गैर-रिक्त प्रांत के साथ बाएँ व्युत्क्रम <math>g</math> होता है। इसे तत्व चुनकर परिभाषित किया जा सकता है <math>a</math> के क्षेत्र में <math>f</math> और समायोजन <math>g(y)</math> पूर्व-इमेज के अद्वितीय तत्व के लिए <math>f^{-1}[y]</math> (यदि यह गैर-रिक्त है) या <math>a</math> (अन्यथा) है।{{refn|Unlike the corresponding statement that every surjective function has a right inverse, this does not require the [[axiom of choice]], as the existence of <math>a</math> is implied by the non-emptiness of the domain. However, this statement may fail in less conventional mathematics such as [[constructive mathematics]]. In constructive mathematics, the inclusion <math>\{ 0, 1 \} \to \R</math> of the two-element set in the reals cannot have a left inverse, as it would violate [[Indecomposability (constructive mathematics)|indecomposability]], by giving a [[Retract (category theory)|retraction]] of the real line to the set {0,1}.}}

बाएँ व्युत्क्रम <math>g</math> आवश्यक रूप से इसका व्युत्क्रम फलन <math>f,</math> नहीं है क्योंकि दूसरे क्रम में रचना, <math>f \circ g,</math> पर तत्समक <math>Y.</math> से भिन्न हो सकता है दूसरे शब्दों में, अंतःक्षेपक फलन को बाएं व्युत्क्रम द्वारा "प्रतिलोम" किया जा सकता है, लेकिन जरूरी नहीं कि यह व्युत्क्रम फलन हो, जिसके लिए आवश्यक है कि फलन द्विभाजित होता है।

== अंतःक्षेपक को प्रतिलोम बनाया जा सकता है ==

वास्तव में, अंतःक्षेपक फलन को चालू करने के लिए <math>f : X \to Y</math> द्विभाजित (इसलिए उलटा) फलन में, यह इसके सहप्रांत <math>Y</math> को बदलने के लिए पर्याप्त है इसकी वास्तविक सीमा से <math>J = f(X).</math>है। अर्थात <math>g : X \to J</math> ऐसा है कि <math>g(x) = f(x)</math> सभी के लिए <math>x \in X</math>; तब <math>g</math> वस्तुनिष्ठ है। वास्तव में, <math>f</math> के रूप में तथ्यांकित किया जा सकता है <math>\operatorname{In}_{J,Y} \circ g,</math> जहाँ <math>\operatorname{In}_{J,Y}</math> से समावेशन फलन <math>J</math> में <math>Y.</math> है।

अधिक सामान्यतः, द्विभाजित [[आंशिक कार्य|आंशिक]] फलन को आंशिक आक्षेप कहा जाता है।

== अन्य गुण ==
{{See also|समुच्चय पहचान और संबंधों की सूची#कार्य और समुच्चय}}
[[Image:Injective composition2.svg|thumb|212x212px|दो अंतःक्षेपक फलन की संरचना अंतःक्षेपक है।]]

* यदि <math>f</math> और <math>g</math> दोनों अंतःक्षेपक हैं तो फिर <math>f \circ g</math> अंतःक्षेपक है।

* यदि <math>g \circ f</math> अंतःक्षेपक है तो, <math>f</math> अंतःक्षेपक है। (लेकिन <math>g</math> जरूरत नहीं है)।
* <math>f : X \to Y</math> अंतःक्षेपक है यदि और केवल यदि, कोई फलन दिया गया हो <math>g,</math> <math>h : W \to X</math> जब कभी भी <math>f \circ g = f \circ h,</math> तब <math>g = h.</math> दूसरे शब्दों में, श्रेणी सिद्धांत श्रेणी के समुच्चय की श्रेणी में अंतःक्षेपक फलन सटीक रूप से [[एकरूपता]] हैं।
* यदि <math>f : X \to Y</math> अंतःक्षेपक है और <math>A</math> का उपसमुच्चय <math>X,</math> है तब <math>f^{-1}(f(A)) = A.</math> इस प्रकार, <math>A</math> इसकी [[छवि (फ़ंक्शन)|इमेज (फलन )]] <math>f(A).</math> से पुनर्प्राप्त किया जा सकता है। 
* यदि <math>f : X \to Y</math> अंतःक्षेपक है और <math>A</math> और <math>B</math> के दोनों उपसमुच्चय <math>X,</math> हैं तब <math>f(A \cap B) = f(A) \cap f(B).</math> है।
* हर फलन <math>h : W \to Y</math> के रूप में विघटित किया जा सकता है <math>h = f \circ g</math> एक उपयुक्त अंतःक्षेपक के लिए <math>f</math> और अनुमान <math>g.</math> है। यह अपघटन [[समरूपता तक]] अद्वितीय है, और <math>f</math> इसे श्रेणी के समावेशन फलन के रूप में सोचा जा सकता है <math>h(W)</math> का <math>h</math> सहप्रांत के उपसमुच्चय के रूप में <math>Y</math> का <math>h.</math>है।
* यदि <math>f : X \to Y</math> अंतःक्षेपक फलन है तो, <math>Y</math> कम से कम उतने ही तत्व <math>X,</math> हैं  गणनसंख्या के अर्थ में विशेष रूप से, यदि, इसके अतिरिक्त, <math>Y</math> अंतःक्षेपक<math>X,</math> के है तब <math>X</math> और <math>Y</math> एक ही गणनसंख्या है. (इसे कैंटर-बर्नस्टीन-श्रोएडर प्रमेय के रूप में जाना जाता है।)
* यदि दोनों <math>X</math> और <math>Y</math> तो, समान संख्या में तत्वों के साथ [[परिमित सेट|परिमित समुच्चय]] हैं <math>f : X \to Y</math> अंतःक्षेपक है यदि और केवल यदि <math>f</math> द्विभाजित है (किस मामले में <math>f</math> अंतःक्षेपक है)।
* अंतःक्षेपक फलन जो दो बीजगणितीय संरचनाओं के बीच समरूपता है, [[एम्बेडिंग|अंत: स्थापन]] है।
* सस्पेक्टिविटी के विपरीत, जो किसी फलन के ग्राफ़ और उसके सहप्रांत के बीच संबंध है, अंतःक्षेपक अकेले फलन के ग्राफ़ की गुण है; अर्थात्, चाहे कोई फलन हो <math>f</math> क्या अंतःक्षेपक का निर्णय केवल ग्राफ़ (और सहप्रांत नहीं) <math>f.</math> पर विचार करके किया जा सकता है। 
== यह सिद्ध करना कि फलन अंतःक्षेपक हैं ==

प्रमाण है कि फलन <math>f</math> अंतःक्षेपक इस बात पर निर्भर करता है कि फलन को कैसे प्रस्तुत किया जाता है और फलन में क्या गुण हैं। किसी सूत्र द्वारा दिए गए फलन के लिए मूल विचार होता है। हम अंतःक्षेपक की परिभाषा का उपयोग करते हैं, अर्थात् यदि <math>f(x) = f(y),</math> तब <math>x = y.</math><ref>{{cite web|last=Williams|first=Peter|title=कार्यों को एक-से-एक सिद्ध करना|url=http://www.math.csusb.edu/notes/proofs/bpf/node4.html|archive-date= 4 June 2017|archive-url=https://web.archive.org/web/20170604162511/http://www.math.csusb.edu/notes/proofs/bpf/node4.html}}</ref>

यहाँ एक उदाहरण है:
<math display="block">f(x) = 2 x + 3</math>
प्रमाण: मान लीजिये <math>f : X \to Y.</math> कल्पना करना <math>f(x) = f(y).</math> इसलिए <math>2 x + 3 = 2 y + 3</math> तात्पर्य <math>2 x = 2 y,</math> जो ये दर्शाता हे <math>x = y.</math> अत: परिभाषा से यह निष्कर्ष निकलता है कि <math>f</math> अंतःक्षेपक है.

यह सिद्ध करने की कई अन्य विधियाँ हैं कि कोई फलन अंतःक्षेपक है। उदाहरण के लिए, कैलकुलस में यदि <math>f</math> किसी अंतराल पर परिभाषित अवकलनीय फलन है, तो यह दिखाने के लिए पर्याप्त है कि उस अंतराल पर व्युत्पन्न हमेशा घनात्मक या हमेशा ऋणात्मक होता है। रैखिक बीजगणित में, यदि <math>f</math> रैखिक परिवर्तन है यह दिखाने के लिए पर्याप्त है कि कर्नेल <math>f</math> केवल शून्य सदिश सम्मिलित है। यदि <math>f</math> यह परिमित प्रांत वाला फलन है, यह प्रत्येक प्रांत तत्व की छवियों की सूची को देखने और यह जांचने के लिए पर्याप्त है कि कोई भी इमेज सूची में दो बार नहीं आती है।

वास्तविक-मान फलन के लिए ग्राफिकल दृष्टिकोण <math>f</math> वास्तविक चर <math>x</math> का [[क्षैतिज रेखा परीक्षण]] है। यदि प्रत्येक क्षैतिज रेखा वक्र <math>f(x)</math> को प्रतिच्छेद करती है फिर, अधिकतम बिंदु पर <math>f</math> अंतःक्षेपक है या एक-से-एक है।

==गैलरी==
{{Gallery
|lines=4
|align=center
|Image:Injection.svg|अंतःक्षेपण गैर-विशेषण फलन (इंजेक्शन, आक्षेप नहीं)
एक अंतःक्षेपण गैर-विशेषण फलन (इंजेक्शन, आक्षेप नहीं)
|Image:Bijection.svg|'''इंजेक्टिव''' विशेषण फलन (आक्षेप)
|Image:Surjection.svg|गैर-इंजेक्शन विशेषण फलन (प्रक्षेपण, आक्षेप नहीं)
|Image:Not-Injection-Surjection.svg|गैर-इंजेक्शनात्मक गैर-विशेषणात्मक कार्य (आक्षेप भी नहीं)
}}

{{Gallery
|lines=3
|align=center
|Image:Non-injective function2.svg|फलन को इंजेक्टिव बनाना। पिछला फलन <math>f : X \to Y</math> को एक या अधिक इंजेक्शन फलन में घटाया जा सकता है (मान लीजिए) (say) <math>f : X_1 \to Y_1</math> और <math>f : X_2 \to Y_2,</math> ठोस वक्रों द्वारा दिखाया गया है (प्रारंभिक वक्र के लंबे-डैश भागों को अब मैप नहीं किया गया है)। ध्यान दें नियम कैसा है <math>f</math> नहीं बदला है - केवल डोमेन और रेंज। और  <math>X_1</math> and <math>X_2</math> के उपसमुच्चय हैं <math>X, Y_1</math>और <math>Y_2</math> के उपसमुच्चय हैं <math>Y</math>: दो क्षेत्रों के लिए जहां प्रारंभिक फलन को इंजेक्टिव बनाया जा सकता है ताकि एक डोमेन तत्व एकल श्रेणी तत्व पर मैप कर सके। यानि एक ही <math>x</math> in <math>X</math> एक को मैप करता है <math>y</math> in <math>Y.</math>
|Image:Non-injective function1.svg|कोई इंजेक्शन फलन नहीं. यहाँ <math>X_1</math> और <math>X_2</math> के उपसमुच्चय हैं <math>X, Y_1</math> और  <math>Y_2</math> के उपसमुच्चय हैं <math>Y</math>: दो क्षेत्रों के लिए जहां फलन इंजेक्टिव नहीं है क्योंकि एक से अधिक डोमेन तत्व एक ही श्रेणी तत्व पर मैप कर सकते हैं। अर्थात यह एक से अधिक के लिए संभव है <math>x</math> in <math>X</math> उसी को मैप करने के लिए <math>y</math> in <math>Y.</math>
|Image:Injective function.svg|इंजेक्शन के कार्य. मानचित्रण द्वारा परिभाषित कार्टेशियन विमान में आरेखीय व्याख्या <math>f : X \to Y,</math> कहां <math>y = f(x),</math> {{nowrap|<math>X =</math> फ़ंक्शन का डोमेन}}, {{nowrap|<math>Y = </math> [[फलन की सीमा फलन की सीमा]]}},  और <math>\operatorname{im}(f)</math> की छवि को दर्शाता है <math>f.</math> सब लोग <math>x</math> in <math>X</math> बिल्कुल एक अद्वितीय को मैप करता है <math>y</math> in <math>Y.</math> अक्षों के गोलाकार भाग ऊपर दिए गए मानक आरेखों के अनुसार डोमेन और रेंज सेट का प्रतिनिधित्व करते हैं}}

== यह भी देखें ==

* {{Annotated link|आक्षेप, अंतःक्षेपण और प्रक्षेपण}}
* {{Annotated link|इंजेक्टिव मेट्रिक स्पेस}}
* {{Annotated link|मोनोटोनिक फलन}}
* {{Annotated link|असंयोजक फलन}}

== टिप्पणियाँ ==

{{Reflist|group=note}}
{{Reflist}}
== संदर्भ ==

* {{Citation|last1=Bartle|first1=Robert G.|title=The Elements of Real Analysis|publisher=[[John Wiley & Sons]]|location=New York|edition=2nd|isbn=978-0-471-05464-1|year=1976}}, p.&nbsp;17 ''ff''.
* {{Citation|last1=Halmos|first1=Paul R.|author1-link=Paul R. Halmos|title=[[Naive Set Theory (book)|Naive Set Theory]]|isbn=978-0-387-90092-6|year=1974|publisher=Springer|location=New York}}, p.&nbsp;38 ''ff''.
== बाहरी संबंध ==
* [http://jeff560.tripod.com/i.html Earliest Uses of Some of the Words of Mathematics: entry on Injection, Surjection and Bijection has the history of Injection and related terms.]
* [http://www.khanacademy.org/math/linear-algebra/v/surjective--onto--and-injective--one-to-one--functions Khan Academy – Surjective (onto) and Injective (one-to-one) functions: Introduction to surjective and injective functions]

{{Mathematical logic}}

{{Authority control}}

[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Collapse templates]]
[[Category:Created On 30/06/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Mathematics sidebar templates]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages that use a deprecated format of the math tags]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[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 are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:कार्यों के प्रकार]]
[[Category:फ़ंक्शंस और मैपिंग]]
[[Category:सेट सिद्धांत में बुनियादी अवधारणाएँ]]