फलन (गणित)

गणित में, एक समुच्चय से एक फलन (गणित) $X$ एक सेट के लिए $Y$ के प्रत्येक तत्व को असाइन करता है $X$ का एक तत्व $Y$. सेट $X$ फ़ंक्शन के फ़ंक्शन का डोमेन कहा जाता है और सेट $Y$ फ़ंक्शन का कोडोमेन कहा जाता है। फलन की धारणा के लिए सबसे पहले ज्ञात दृष्टिकोण को फारसी गणितज्ञ अल-बिरूनी के कार्यों में देखा जा सकता है। शराफ अल-दीन अल-तुसी में। कार्य मूल रूप से इस बात का आदर्शीकरण थे कि कैसे एक भिन्न मात्रा दूसरी मात्रा पर निर्भर करती है। उदाहरण के लिए, किसी ग्रह की स्थिति समय का फलन है। कार्य अवधारणा का इतिहास, इस अवधारणा को 17वीं शताब्दी के अंत में अतिसूक्ष्म कलन के साथ विस्तृत किया गया था, और 19वीं शताब्दी तक, जिन कार्यों पर विचार किया गया था, वे अलग-अलग कार्य थे (अर्थात, उनके पास उच्च स्तर की नियमितता थी)। 19वीं शताब्दी के अंत में सेट सिद्धांत के संदर्भ में एक समारोह की अवधारणा को औपचारिक रूप दिया गया था, और इसने अवधारणा के अनुप्रयोग के डोमेन को बहुत बढ़ा दिया।

एक फ़ंक्शन को अक्सर अक्षरों द्वारा निरूपित किया जाता है जैसे $f$, $g$ तथा $h$, और फ़ंक्शन का मान $f$ एक तत्व पर $x$ इसके डोमेन का द्वारा दर्शाया गया है $f(x)$; किसी विशेष इनपुट मान पर फ़ंक्शन मूल्यांकन से उत्पन्न संख्यात्मक मान को प्रतिस्थापित करके निरूपित किया जाता है $x$ इस मूल्य के साथ; उदाहरण के लिए, का मूल्य $f$ पर $$ द्वारा निरूपित किया जाता है $f(4)$. जब फ़ंक्शन का नाम नहीं है और एक अभिव्यक्ति (गणित) द्वारा दर्शाया गया है $E$, फ़ंक्शन का मान पर, कहते हैं, $$ द्वारा दर्शाया जा सकता है $E|_{x=4}$. उदाहरण के लिए, पर मान $4$ उस फ़ंक्शन का जो मैप करता है $x$ प्रति $$(x+1)^2$$ द्वारा दर्शाया जा सकता है $$\left.(x+1)^2\right\vert_{x=4}$$ (जिसके परिणामस्वरूप $25).$ एक फ़ंक्शन विशिष्ट रूप से सभी जोड़ी (गणित) के सेट द्वारा दर्शाया गया है $(x, f (x))$, जिसे फ़ंक्शन का ग्राफ़ कहा जाता है, फ़ंक्शन को दर्शाने का एक लोकप्रिय साधन है। जब डोमेन और कोडोमेन वास्तविक संख्याओं के सेट होते हैं, तो ऐसी प्रत्येक जोड़ी को विमान में एक बिंदु के कार्टेशियन निर्देशांक के रूप में माना जा सकता है।

विज्ञान, अभियांत्रिकी और गणित के अधिकांश क्षेत्रों में कार्यों का व्यापक रूप से उपयोग किया जाता है। यह कहा गया है कि गणित के अधिकांश क्षेत्रों में कार्य जांच की केंद्रीय वस्तु हैं।





परिभाषा
सेट से एक फ़ंक्शन (गणित) $X$ एक सेट के लिए $Y$ के एक तत्व का असाइनमेंट है $Y$ के प्रत्येक तत्व के लिए $X$. सेट $X$ फ़ंक्शन और सेट के फ़ंक्शन का डोमेन कहा जाता है $Y$ फ़ंक्शन का कोडोमेन कहा जाता है।

एक फ़ंक्शन, उसके डोमेन और उसके कोडोमेन को नोटेशन द्वारा घोषित किया जाता है $X = {1, 2, 3}$, और फ़ंक्शन का मान $f$ एक तत्व पर $x$ का $X$, द्वारा चिह्नित $Y = {A, B, C, D}$, की प्रतिमा कहलाती है $x$ नीचे $f$, या का मूल्य $f$ तर्क के लिए आवेदन किया $x$.

कार्यों को मानचित्र (गणित) या मानचित्रण भी कहा जाता है, हालांकि कुछ लेखक मानचित्रों और कार्यों के बीच कुछ अंतर करते हैं (देखें ).

दो कार्य $f$ तथा $g$ समान हैं यदि उनके डोमेन और कोडोमेन सेट समान हैं और उनके आउटपुट मान पूरे डोमेन पर सहमत हैं। अधिक औपचारिक रूप से, दिया गया ${(1, D), (2, C), (3, C)}$ तथा ${C, D}$, अपने पास ${(1,D), (2,B), (2,C)}$ अगर और केवल अगर $(2, B)$ सभी के लिए $(2, C)$. किसी फ़ंक्शन को परिभाषित किए जाने पर डोमेन और कोडोमेन हमेशा स्पष्ट रूप से नहीं दिए जाते हैं, और कुछ (संभवतः कठिन) संगणना के बिना, कोई केवल यह जान सकता है कि डोमेन एक बड़े सेट में समाहित है। आमतौर पर, यह गणितीय विश्लेषण में होता है, जहां एक फ़ंक्शन from $X$ to $Y$ " अक्सर एक ऐसे फ़ंक्शन को संदर्भित करता है जिसमें एक उचित उपसमुच्चय हो सकता है का $X$ डोमेन के रूप में। उदाहरण के लिए, वास्तविक से वास्तविक तक एक फ़ंक्शन एक वास्तविक-मूल्यवान फ़ंक्शन का उल्लेख कर सकता है | एक वास्तविक चर के फ़ंक्शन का वास्तविक-मूल्यवान फ़ंक्शन। हालाँकि, वास्तविक से वास्तविक तक एक फ़ंक्शन का मतलब यह नहीं है कि फ़ंक्शन का डोमेन वास्तविक संख्याओं का पूरा सेट है, लेकिन केवल यह कि डोमेन वास्तविक संख्याओं का एक सेट है जिसमें एक गैर-खाली खुला अंतराल होता है। ऐसे फलन को तब आंशिक फलन कहा जाता है। उदाहरण के लिए, यदि $f$ एक ऐसा फ़ंक्शन है जिसमें वास्तविक संख्या डोमेन और कोडोमेन के रूप में होती है, फिर एक फ़ंक्शन मानचित्रण मान $x$ मूल्य के लिए $f: X→Y$ एक कार्य है $g$ वास्तविक से वास्तविक तक, जिसका क्षेत्र वास्तविक का समुच्चय है $x$, ऐसा है कि $f(x)$.

किसी फ़ंक्शन की सीमा या किसी फ़ंक्शन की छवि (गणित) डोमेन में सभी तत्वों की छवि (गणित) का सेट है।

कुल, असमान संबंध
दो समुच्चयों के कार्तीय गुणनफल का कोई उपसमुच्चय $f: X → Y$ तथा $g: X → Y$ एक द्विआधारी संबंध को परिभाषित करता है $f = g$ इन दो सेटों के बीच। यह तत्काल है कि एक मनमाना संबंध में जोड़े हो सकते हैं जो ऊपर दिए गए फ़ंक्शन के लिए आवश्यक शर्तों का उल्लंघन करते हैं।

एक द्विआधारी संबंध एकतरफा संबंध है (जिसे सही-अद्वितीय भी कहा जाता है)।
 * $$\forall x\in X, \forall y\in Y, \forall z\in Y, \quad ((x,y)\in R \land (x,z)\in R)\implies y=z.$$

एक द्विआधारी संबंध कुल संबंध है यदि
 * $$\forall x\in X, \exists y\in Y, \quad(x,y)\in R.$$

एक आंशिक कार्य एक द्विआधारी संबंध है जो एकतरफा है, और एक कार्य एक द्विआधारी संबंध है जो एकतरफा और कुल है।

संबंधों की भाषा में कार्यों और कार्यों की संरचना के विभिन्न गुणों को सुधारा जा सकता है। उदाहरण के लिए, एक फलन एक अंतःक्षेपी फलन है यदि इसका विलोम संबंध है $f(x) = g(x)$ एकतरफा है, जहां विलोम संबंध को इस रूप में परिभाषित किया गया है $x ∈ X$

घातांक सेट करें
एक सेट से सभी कार्यों का सेट $$X$$ एक सेट के लिए $$Y$$ सामान्यतः के रूप में निरूपित किया जाता है
 * $$Y^X,$$

जिसे पढ़ा जाता है $$Y$$ सत्ता को $$X$$.

यह संकेतन प्रतियों के अनुक्रमित परिवार के कार्टेशियन उत्पाद के लिए संकेतन के समान है $$Y$$ द्वारा अनुक्रमित $$X$$:
 * $$Y^X=\prod_{x\in X}Y.$$

इन दो नोटेशनों की पहचान इस तथ्य से प्रेरित है कि एक फ़ंक्शन $$f$$ कार्टेशियन उत्पाद के तत्व के साथ पहचाना जा सकता है जैसे कि सूचकांक का घटक $$x$$ है $$f(x)$$.

कब $$Y$$ दो तत्व हैं, $$Y^X$$ सामान्य रूप से निरूपित किया जाता है $$2^X$$ और का सत्ता स्थापित कहा जाता है $X$. के सभी उपसमूहों के समुच्चय से इसकी पहचान की जा सकती है $$X$$, एक-से-एक पत्राचार के माध्यम से जो प्रत्येक सबसेट से जुड़ता है $$S\subseteq X$$ कार्यक्रम $$f$$ ऐसा है कि $$f(x)=1$$ यदि $$x\in X$$ तथा $$f(x)=0$$ अन्यथा।

नोटेशन
कार्यों को निरूपित करने के लिए विभिन्न मानक तरीके हैं। सबसे अधिक इस्तेमाल किया जाने वाला संकेतन कार्यात्मक संकेतन है, जो नीचे वर्णित पहला अंकन है।

कार्यात्मक अंकन
कार्यात्मक संकेतन में, फ़ंक्शन को तुरंत एक नाम दिया जाता है, जैसे $f$, और इसकी परिभाषा किसके द्वारा दी गई है $f$ स्पष्ट तर्क करता है $x$, के संदर्भ में एक सूत्र का उपयोग करना $x$. उदाहरण के लिए, वह फलन जो एक वास्तविक संख्या को इनपुट के रूप में लेता है और उस संख्या के साथ 1 को आउटपुट करता है, द्वारा निरूपित किया जाता है


 * $$f(x)=x+1$$.

यदि कोई फ़ंक्शन इस संकेतन में परिभाषित किया गया है, तो इसके डोमेन और कोडोमेन दोनों को निहित रूप से लिया जाता है $$\R$$, वास्तविक संख्याओं का समुच्चय। यदि सूत्र का मूल्यांकन सभी वास्तविक संख्याओं पर नहीं किया जा सकता है, तो डोमेन को परोक्ष रूप से अधिकतम उपसमुच्चय के रूप में लिया जाता है $$\R$$ जिस पर सूत्र का मूल्यांकन किया जा सकता है; किसी फ़ंक्शन का डोमेन देखें।

एक अधिक जटिल उदाहरण कार्य है


 * $$f(x)=\sin(x^2+1)$$.

इस उदाहरण में, function $f$ इनपुट के रूप में एक वास्तविक संख्या लेता है, इसका वर्ग करता है, फिर परिणाम में 1 जोड़ता है, फिर परिणाम की साइन लेता है, और आउटपुट के रूप में अंतिम परिणाम देता है।

जब फ़ंक्शन को दर्शाने वाले प्रतीक में कई वर्ण होते हैं और कोई अस्पष्टता उत्पन्न नहीं हो सकती है, कार्यात्मक संकेतन के कोष्ठकों को छोड़ा जा सकता है। उदाहरण के लिए, लिखना आम बात है $g(x) = 1⁄f(x)$ के बजाय $f(x) ≠ 0$.

1734 में लियोनहार्ड यूलर द्वारा पहली बार कार्यात्मक संकेतन का उपयोग किया गया था। कुछ व्यापक रूप से उपयोग किए जाने वाले कार्यों को एक प्रतीक द्वारा दर्शाया जाता है जिसमें कई अक्षर होते हैं (आमतौर पर दो या तीन, आमतौर पर उनके नाम का संक्षिप्त नाम)। इस मामले में, इसके बजाय एक रोमन प्रकार का उपयोग किया जाता है, जैसे कि$X$साइन समारोह के लिए, एकल-अक्षर प्रतीकों के लिए इटैलिक फ़ॉन्ट के विपरीत।

इस संकेतन का उपयोग करते समय, अक्सर अंकन के दुरुपयोग का सामना करना पड़ता है जिससे अंकन होता है $Y$ के मान को संदर्भित कर सकता है $f$ पर $x$, या फ़ंक्शन के लिए ही। यदि चर $x$ पहले घोषित किया गया था, फिर अंकन $R ⊆ X × Y$ स्पष्ट रूप से का अर्थ है $f$ पर $x$. अन्यथा, दोनों एक साथ होने के रूप में संकेतन को समझना उपयोगी है; यह किसी को दो कार्यों की संरचना को निरूपित करने की अनुमति देता है $f$ तथा $g$ अंकन द्वारा एक संक्षिप्त तरीके से $R^{T} ⊆ Y × X$.

हालाँकि, भेद $f$ तथा $(x, y) ∈ R\}.$ उन मामलों में महत्वपूर्ण हो सकता है जहां कार्य स्वयं अन्य कार्यों के लिए इनपुट के रूप में कार्य करते हैं। (किसी अन्य फ़ंक्शन को इनपुट के रूप में लेने वाले फ़ंक्शन को फ़ंक्शनल (गणित) कहा जाता है।) फ़ंक्शंस को नोट करने के अन्य तरीके, जिनका विवरण नीचे दिया गया है, इस समस्या से बचते हैं लेकिन आमतौर पर कम उपयोग किए जाते हैं।

तीर अंकन
एरो नोटेशन फ़ंक्शन को दिए जाने वाले नाम की आवश्यकता के बिना फ़ंक्शन इनलाइन के नियम को परिभाषित करता है। उदाहरण के लिए, $$x\mapsto x+1$$ वह कार्य है जो एक वास्तविक संख्या को इनपुट के रूप में लेता है और उस संख्या के साथ 1 को आउटपुट करता है। फिर से एक डोमेन और कोडोमेन $$\R$$ निहित है।

डोमेन और कोडोमेन को भी स्पष्ट रूप से कहा जा सकता है, उदाहरण के लिए:
 * $$\begin{align}

\operatorname{sqr}\colon \Z &\to \Z\\ x &\mapsto x^2.\end{align}$$ यह एक फ़ंक्शन को परिभाषित करता है $sin x$ पूर्णांकों से पूर्णांकों तक जो इसके इनपुट का वर्ग लौटाता है।

तीर संकेतन के एक सामान्य अनुप्रयोग के रूप में, मान लीजिए $$f\colon X\times X\to Y;\;(x,t) \mapsto f(x,t)$$ दो चर में एक कार्य है, और हम एक आंशिक अनुप्रयोग का उल्लेख करना चाहते हैं $$X\to Y$$ मूल्य के लिए दूसरा तर्क तय करके उत्पादित $sin(x)$ एक नया फ़ंक्शन नाम पेश किए बिना। विचाराधीन मानचित्र को निरूपित किया जा सकता है $$x\mapsto f(x,t_0)$$ तीर संकेतन का उपयोग करना। भावाभिव्यक्ति $$x\mapsto f(x,t_0)$$ (पढ़ें: नक्शा ले रहा है $x$ प्रति $sin$) केवल एक तर्क के साथ इस नए फ़ंक्शन का प्रतिनिधित्व करता है, जबकि अभिव्यक्ति $f(x)$ फ़ंक्शन के मान को संदर्भित करता है $f$ पर point $f(x)$.

इंडेक्स नोटेशन
कार्यात्मक संकेतन के बजाय अक्सर सूचकांक संकेतन का उपयोग किया जाता है। यानी लिखने के बजाय $f(g(x))$, एक लिखता है $$f_x.$$ यह आमतौर पर उन कार्यों के मामले में होता है जिनका डोमेन प्राकृतिक संख्याओं का समूह है। इस तरह के एक समारोह को एक अनुक्रम (गणित) कहा जाता है, और इस मामले में तत्व $$f_n$$ कहा जाता है $n$अनुक्रम का वें तत्व।

इंडेक्स नोटेशन का उपयोग अक्सर कुछ वेरिएबल्स को अलग करने के लिए भी किया जाता है जिन्हें पैरामीटर कहा जाता है जो वास्तविक चर से होते हैं। वास्तव में, पैरामीटर विशिष्ट चर होते हैं जिन्हें किसी समस्या के अध्ययन के दौरान निश्चित माना जाता है। उदाहरण के लिए, नक्शा $$x\mapsto f(x,t)$$ (ऊपर देखें) निरूपित किया जाएगा $$f_t$$ यदि हम मानचित्रों के संग्रह को परिभाषित करते हैं, तो सूचकांक संकेतन का उपयोग करते हुए $$f_t$$ सूत्र द्वारा $$f_t(x)=f(x,t)$$ सभी के लिए $$x,t\in X$$.

डॉट नोटेशन
अंकन में $$x\mapsto f(x),$$ प्रतीक $x$ किसी भी मूल्य का प्रतिनिधित्व नहीं करता है, यह केवल एक प्लेसहोल्डर का नाम है जिसका अर्थ है कि, यदि $x$ तीर के बाईं ओर किसी भी मान से प्रतिस्थापित किया जाता है, इसे तीर के दाईं ओर समान मान से प्रतिस्थापित किया जाना चाहिए। इसलिए, $x$ किसी भी प्रतीक द्वारा प्रतिस्थापित किया जा सकता है, अक्सर एक इंटरपंक्चर$f(x)$. यह फ़ंक्शन को अलग करने के लिए उपयोगी हो सकता है $sqr$ इसके मूल्य से $t_{0}$ पर $x$.

उदाहरण के लिए, $$ a(\cdot)^2$$ समारोह के लिए खड़ा हो सकता है $$ x\mapsto ax^2$$, तथा $ \int_a^{\, (\cdot)} f(u)\,du$ वेरिएबल अपर बाउंड के साथ इंटीग्रल द्वारा परिभाषित फ़ंक्शन के लिए खड़ा हो सकता है: $ x\mapsto \int_a^x f(u)\,du$.

विशिष्ट अंकन
गणित के उप-विषयों में कार्यों के लिए अन्य विशिष्ट संकेतन हैं। उदाहरण के लिए, रैखिक बीजगणित और कार्यात्मक विश्लेषण में, रैखिक रूप और वेक्टर (गणित और भौतिकी) जिन पर वे कार्य करते हैं, उन्हें अंतर्निहित द्वैत (गणित) दिखाने के लिए एक दोहरी जोड़ी का उपयोग करके निरूपित किया जाता है। यह क्वांटम यांत्रिकी में ब्रा-केट नोटेशन के उपयोग के समान है। गणितीय तर्क और संगणना के सिद्धांत में, लैम्ब्डा कैलकुलस के फ़ंक्शन नोटेशन का उपयोग फ़ंक्शन एब्स्ट्रेक्शन (कंप्यूटर साइंस) और समारोह आवेदन की मूल धारणाओं को स्पष्ट रूप से व्यक्त करने के लिए किया जाता है। श्रेणी सिद्धांत और समरूप बीजगणित में, कार्यों के नेटवर्क का वर्णन किया गया है कि कैसे वे और उनकी रचनाएँ क्रमविनिमेय आरेखों का उपयोग करते हुए एक दूसरे के साथ क्रमविनिमेय गुण हैं जो ऊपर वर्णित कार्यों के लिए तीर संकेतन का विस्तार और सामान्यीकरण करते हैं।

अन्य शर्तें
एक फ़ंक्शन को अक्सर मैप या मैपिंग भी कहा जाता है, लेकिन कुछ लेखक शब्द मैप और फ़ंक्शन के बीच अंतर करते हैं। उदाहरण के लिए, शब्द मानचित्र अक्सर किसी प्रकार की विशेष संरचना वाले फ़ंक्शन के लिए आरक्षित होता है (उदाहरण के लिए मैनिफोल्ड्स के मानचित्र)। संक्षिप्तता के लिए विशेष रूप से मानचित्र का प्रयोग अक्सर समरूपता के स्थान पर किया जाता है (उदाहरण के लिए, रेखीय मानचित्र या ''से मानचित्र) $G$ प्रति $H$समूह समरूपता के बजाय $G$ प्रति $H$). कुछ लेखक उस मामले के लिए मैपिंग शब्द आरक्षित करें जहां कोडोमेन की संरचना स्पष्ट रूप से फ़ंक्शन की परिभाषा से संबंधित है।

कुछ लेखक, जैसे सर्ज लैंग, फ़ंक्शन का उपयोग केवल उन मानचित्रों को संदर्भित करने के लिए करें जिनके लिए कोडोमेन वास्तविक संख्या या जटिल संख्या संख्याओं का एक उपसमुच्चय है, और अधिक सामान्य कार्यों के लिए मैपिंग शब्द का उपयोग करें।

गतिशील प्रणालियों के सिद्धांत में, एक मानचित्र एक असतत-समय गतिशील प्रणाली को दर्शाता है जिसका उपयोग गतिशील प्रणाली#मानचित्र बनाने के लिए किया जाता है। पोंकारे नक्शा भी देखें।

मानचित्र की चाहे जिस भी परिभाषा का प्रयोग किया गया हो, संबंधित शब्द जैसे फलन का डोमेन, कोडोमेन, अंतःक्षेपी फलन, सतत फलन का वही अर्थ होता है जो फलन का होता है।

एक समारोह निर्दिष्ट करना
एक समारोह दिया $$f$$, परिभाषा के अनुसार, प्रत्येक तत्व के लिए $$x$$ फ़ंक्शन के डोमेन का $$f$$, इसके साथ एक अनूठा तत्व जुड़ा हुआ है, मूल्य $$f(x)$$ का $$f$$ पर $$x$$. कैसे निर्दिष्ट या वर्णन करने के कई तरीके हैं $$x$$ से संबंधित है $$f(x)$$, दोनों स्पष्ट रूप से और अप्रत्यक्ष रूप से। कभी-कभी, एक प्रमेय या एक अभिगृहीत कुछ गुणधर्मों वाले फलन के अस्तित्व पर जोर देता है, इसे अधिक सटीक वर्णन किए बिना। अक्सर, विनिर्देश या विवरण को फ़ंक्शन की परिभाषा के रूप में संदर्भित किया जाता है $$f$$.

फ़ंक्शन मानों को सूचीबद्ध करके
परिमित सेट पर, डोमेन के तत्वों से जुड़े कोडोमेन के तत्वों को सूचीबद्ध करके एक फ़ंक्शन परिभाषित किया जा सकता है। उदाहरण के लिए, यदि $$A = \{ 1, 2, 3 \}$$, तब कोई एक फ़ंक्शन को परिभाषित कर सकता है $$f\colon A \to \mathbb{R}$$ द्वारा $$f(1) = 2, f(2) = 3, f(3) = 4.$$

एक सूत्र द्वारा
कार्यों को अक्सर बंद-रूप अभिव्यक्ति द्वारा परिभाषित किया जाता है जो अंकगणितीय संक्रियाओं और पहले परिभाषित कार्यों के संयोजन का वर्णन करता है; ऐसा सूत्र डोमेन के किसी भी तत्व के मान से फ़ंक्शन के मान की गणना करने की अनुमति देता है। उदाहरण के लिए, उपरोक्त उदाहरण में, $$f$$ सूत्र द्वारा परिभाषित किया जा सकता है $$f(n) = n+1$$, के लिये $$n\in\{1,2,3\}$$.

जब किसी फलन को इस प्रकार परिभाषित किया जाता है, तो कभी-कभी उसके प्रांत का निर्धारण कठिन हो जाता है। यदि फ़ंक्शन को परिभाषित करने वाले सूत्र में विभाजन होते हैं, तो वेरिएबल के मान जिसके लिए एक भाजक शून्य है, को डोमेन से बाहर रखा जाना चाहिए; इस प्रकार, एक जटिल कार्य के लिए, डोमेन का निर्धारण सहायक कार्यों के एक समारोह के शून्य की गणना के माध्यम से गुजरता है। इसी प्रकार, यदि किसी फ़ंक्शन की परिभाषा में वर्गमूल होते हैं $$\mathbb{R}$$ प्रति $$\mathbb{R},$$ डोमेन चर के मानों के सेट में शामिल है जिसके लिए वर्गमूल के तर्क गैर-नकारात्मक हैं।

उदाहरण के लिए, $$f(x)=\sqrt{1+x^2}$$ एक समारोह को परिभाषित करता है $$f\colon \mathbb{R} \to \mathbb{R}$$ जिसका डोमेन है $$\mathbb{R},$$ इसलिये $$1+x^2$$ अगर हमेशा सकारात्मक होता है $x$ एक वास्तविक संख्या है। दूसरी ओर, $$f(x)=\sqrt{1-x^2}$$ एक फ़ंक्शन को वास्तविक से वास्तविक तक परिभाषित करता है जिसका डोमेन अंतराल तक कम हो जाता है $[−1, 1]$. (पुराने ग्रंथों में, ऐसे डोमेन को फ़ंक्शन की परिभाषा का डोमेन कहा जाता था।)

कार्यों को अक्सर उन सूत्रों की प्रकृति द्वारा वर्गीकृत किया जाता है जो उन्हें परिभाषित करते हैं:
 * एक द्विघात फलन एक ऐसा फलन है जिसे लिखा जा सकता है $$f(x) = ax^2+bx+c,$$ कहाँ पे $f(x, t_{0})$ स्थिर हैं (गणित)।
 * अधिक आम तौर पर, एक बहुपद फ़ंक्शन एक ऐसा फ़ंक्शन होता है जिसे एक सूत्र द्वारा परिभाषित किया जा सकता है जिसमें गैर-नकारात्मक पूर्णांकों के लिए केवल जोड़, घटाव, गुणा और घातांक शामिल होते हैं। उदाहरण के लिए, $$f(x) = x^3-3x-1,$$ तथा $$f(x) = (x-1)(x^3+1) +2x^2 -1.$$
 * एक परिमेय फलन वही होता है, जिसमें विभाजन की भी अनुमति होती है, जैसे $$f(x) = \frac{x-1}{x+1},$$ तथा $$f(x) = \frac 1{x+1}+\frac 3x-\frac 2{x-1}.$$
 * एक बीजगणितीय फलन nवें मूल के साथ समान होता है$n$फलन के वें मूल और शून्य की भी अनुमति है।
 * एक प्राथमिक कार्य लघुगणक और चरघातांकी फलनों की अनुमति के साथ समान है।

उलटा और अंतर्निहित कार्य
एक समारोह $$f\colon X\to Y,$$ डोमेन के साथ $X$ और कोडोमेन $Y$, विशेषण है, यदि प्रत्येक के लिए $y$ में $Y$, एक और केवल एक तत्व है $x$ में $X$ ऐसा है कि $f(x_{0}, t_{0})$. इस मामले में, का उलटा कार्य $f$ कार्य है $$f^{-1}\colon Y \to X$$ वह मानचित्र $$y\in Y$$ तत्व को $$x\in X$$ ऐसा है कि $(x_{0}, t_{0})$. उदाहरण के लिए, प्राकृतिक लघुगणक धनात्मक वास्तविक संख्याओं से वास्तविक संख्याओं का एक विशेषण फलन है। इस प्रकार इसका एक व्युत्क्रम होता है, जिसे घातांक प्रकार्य कहा जाता है, जो वास्तविक संख्याओं को धनात्मक संख्याओं पर मैप करता है।

यदि कोई समारोह $$f\colon X\to Y$$ वस्तुनिष्ठ नहीं है, ऐसा हो सकता है कि कोई सबसेट का चयन कर सकता है $$E\subseteq X$$ तथा $$F\subseteq Y$$ जैसे कि एक समारोह का प्रतिबंध $f$ प्रति $E$ से आपत्ति है $E$ प्रति $F$, और इस प्रकार एक व्युत्क्रम है। व्युत्क्रम त्रिकोणमितीय कार्यों को इस तरह परिभाषित किया गया है। उदाहरण के लिए, कोसाइन समारोह, प्रतिबंध द्वारा, अंतराल (गणित) से एक आक्षेप को प्रेरित करता है $[0, π]$ अंतराल पर $[−1, 1]$, और इसका व्युत्क्रम कार्य, जिसे कोटिकोज्या कहा जाता है, मानचित्र $[−1, 1]$ पर $[0, π]$. अन्य व्युत्क्रम त्रिकोणमितीय कार्यों को इसी तरह परिभाषित किया गया है।

अधिक सामान्यतः, एक द्विआधारी संबंध दिया $R$ दो सेट के बीच $X$ तथा $Y$, होने देना $E$ का उपसमुच्चय हो $X$ ऐसा है कि, हर के लिए $$x\in E,$$ वहां कुछ है $$y\in Y$$ ऐसा है कि $f (x)$. यदि किसी के पास ऐसे चयन की अनुमति देने वाला मानदंड है $y$ हरएक के लिए $$x\in E,$$ यह एक फ़ंक्शन को परिभाषित करता है $$f\colon E\to Y,$$ एक अंतर्निहित कार्य कहा जाता है, क्योंकि यह संबंध द्वारा अंतर्निहित रूप से परिभाषित होता है $R$.

उदाहरण के लिए, यूनिट सर्कल का समीकरण $$x^2+y^2=1$$ वास्तविक संख्याओं पर एक संबंध को परिभाषित करता है। यदि $⋅$ के दो संभावित मान हैं $y$, एक सकारात्मक और एक नकारात्मक। के लिये $f (⋅)$, ये दोनों मान 0 के बराबर हो जाते हैं। अन्यथा, का कोई संभावित मान नहीं है $y$. इसका अर्थ है कि समीकरण डोमेन के साथ दो निहित कार्यों को परिभाषित करता है $[−1, 1]$ और संबंधित कोडोमेन $[0, +∞)$ तथा $(−∞, 0]$.

इस उदाहरण में, समीकरण को हल किया जा सकता है $y$, दे रहा है $$y=\pm \sqrt{1-x^2},$$ लेकिन, अधिक जटिल उदाहरणों में, यह असंभव है। उदाहरण के लिए, संबंध $$y^5+y+x=0$$ को परिभाषित करता है $y$ के एक निहित कार्य के रूप में $x$, जिसे कट्टरपंथी लाओ कहा जाता है, जिसके पास है $$\mathbb R$$ डोमेन और रेंज के रूप में। ब्रिंग रेडिकल को चार अंकगणितीय संक्रियाओं और nवें मूल के रूप में व्यक्त नहीं किया जा सकता है$n$वें जड़ें।

निहित कार्य प्रमेय एक बिंदु के पड़ोस में अस्तित्व और एक अंतर्निहित कार्य की विशिष्टता के लिए हल्की भिन्नता की स्थिति प्रदान करता है।

डिफरेंशियल कैलकुलस का प्रयोग
कई कार्यों को दूसरे फ़ंक्शन के प्रतिपक्षी के रूप में परिभाषित किया जा सकता है। यह प्राकृतिक लघुगणक का मामला है, जो का प्रतिपक्षी है $f (x)$ वह 0 के लिए है $a, b, c$. एक अन्य सामान्य उदाहरण त्रुटि फ़ंक्शन है।

अधिक सामान्यतः, अधिकांश विशेष कार्यों सहित कई कार्यों को अंतर समीकरणों के समाधान के रूप में परिभाषित किया जा सकता है। सबसे सरल उदाहरण शायद विशेष समारोह है, जिसे अद्वितीय फ़ंक्शन के रूप में परिभाषित किया जा सकता है जो इसके डेरिवेटिव के बराबर है और इसके लिए मान 1 लेता है $y = f(x)$.

पावर श्रृंखला का उपयोग उस डोमेन पर कार्यों को परिभाषित करने के लिए किया जा सकता है जिसमें वे अभिसरण करते हैं। उदाहरण के लिए, चरघातांकी फलन द्वारा दिया जाता है $$e^x = \sum_{n=0}^{\infty} {x^n \over n!}$$. हालाँकि, जैसा कि एक श्रृंखला के गुणांक काफी मनमाना होते हैं, एक फ़ंक्शन जो एक अभिसारी श्रृंखला का योग होता है, आमतौर पर अन्यथा परिभाषित किया जाता है, और गुणांक का क्रम किसी अन्य परिभाषा के आधार पर कुछ संगणना का परिणाम होता है। फिर, फ़ंक्शन के डोमेन को बढ़ाने के लिए पावर श्रृंखला का उपयोग किया जा सकता है। आमतौर पर, यदि वास्तविक चर के लिए एक फ़ंक्शन कुछ अंतराल में टेलर श्रृंखला का योग है, तो यह शक्ति श्रृंखला तुरंत डोमेन को जटिल संख्याओं के सबसेट में विस्तारित करने की अनुमति देती है, श्रृंखला के अभिसरण की डिस्क। फिर विश्लेषणात्मक निरंतरता लगभग पूरे जटिल विमान को शामिल करने के लिए डोमेन को आगे बढ़ाने की अनुमति देती है। यह प्रक्रिया वह विधि है जो आम तौर पर एक जटिल संख्या के लघुगणक, घातीय कार्य और त्रिकोणमितीय कार्यों को परिभाषित करने के लिए उपयोग की जाती है।

पुनरावृत्ति द्वारा
ऐसे कार्य जिनके डोमेन गैर-ऋणात्मक पूर्णांक हैं, जिन्हें अनुक्रम के रूप में जाना जाता है, अक्सर पुनरावृत्ति संबंधों द्वारा परिभाषित किए जाते हैं।

अऋणात्मक पूर्णांकों पर भाज्य फलन ($$n\mapsto n!$$) एक मूल उदाहरण है, क्योंकि इसे पुनरावृत्ति संबंध द्वारा परिभाषित किया जा सकता है
 * $$n!=n(n-1)!\quad\text{for}\quad n>0,$$

और प्रारंभिक स्थिति
 * $$0!=1.$$

एक फ़ंक्शन का प्रतिनिधित्व करना
किसी फ़ंक्शन का ग्राफ़ आमतौर पर किसी फ़ंक्शन की सहज तस्वीर देने के लिए उपयोग किया जाता है। किसी फ़ंक्शन को समझने में ग्राफ़ कैसे मदद करता है, इसके उदाहरण के रूप में, इसके ग्राफ़ से यह देखना आसान है कि कोई फ़ंक्शन बढ़ रहा है या घट रहा है। कुछ कार्यों को बार चार्ट द्वारा भी प्रदर्शित किया जा सकता है।

रेखांकन और प्लॉट
एक समारोह दिया $$f\colon X\to Y,$$ इसका ग्राफ, औपचारिक रूप से, सेट है


 * $$G=\{(x,f(x))\mid x\in X\}.$$

अक्सर मामले में जहां $X$ तथा $Y$ वास्तविक संख्याओं के उपसमुच्चय हैं (या ऐसे उपसमुच्चयों से पहचाने जा सकते हैं, जैसे अंतराल (गणित)), एक तत्व $$(x,y)\in G$$ निर्देशांक वाले बिंदु से पहचाना जा सकता है $y = f(x)$ द्वि-आयामी समन्वय प्रणाली में, उदा। कार्टेशियन विमान। इसके भाग एक प्लॉट (ग्राफिक्स) बना सकते हैं जो फ़ंक्शन (भागों) का प्रतिनिधित्व करता है। प्लॉट्स का उपयोग इतना सर्वव्यापी है कि उन्हें भी फंक्शन का ग्राफ कहा जाता है। अन्य समन्वय प्रणालियों में कार्यों का ग्राफिक प्रतिनिधित्व भी संभव है। उदाहरण के लिए, वर्ग समारोह का ग्राफ़


 * $$x\mapsto x^2,$$

निर्देशांक के साथ सभी बिंदुओं से मिलकर $$(x, x^2)$$ के लिये $$x\in \R,$$ उपज, जब कार्टेशियन निर्देशांक में चित्रित किया जाता है, तो प्रसिद्ध परवलय यदि समान द्विघात कार्य $$x\mapsto x^2,$$ एक ही औपचारिक ग्राफ के साथ, संख्याओं के जोड़े से मिलकर, ध्रुवीय निर्देशांक में प्लॉट किया जाता है $$(r,\theta) =(x,x^2),$$ प्राप्त प्लॉट फ़र्मेट का सर्पिल है।

टेबल्स
एक फ़ंक्शन को मानों की तालिका के रूप में दर्शाया जा सकता है। यदि किसी फलन का प्रांत परिमित है, तो फलन को इस प्रकार पूर्णतया निर्दिष्ट किया जा सकता है। उदाहरण के लिए, गुणन समारोह $$f\colon\{1,\ldots,5\}^2 \to \mathbb{R}$$ के रूप में परिभाषित किया गया है $$f(x,y)=xy$$ परिचित गुणन तालिका द्वारा दर्शाया जा सकता है

दूसरी ओर, यदि किसी फ़ंक्शन का डोमेन निरंतर है, तो तालिका डोमेन के विशिष्ट मानों पर फ़ंक्शन के मान दे सकती है। यदि मध्यवर्ती मान की आवश्यकता है, तो फ़ंक्शन के मान का अनुमान लगाने के लिए प्रक्षेप का उपयोग किया जा सकता है। उदाहरण के लिए, साइन फ़ंक्शन के लिए तालिका का एक भाग निम्नानुसार दिया जा सकता है, जिसमें 6 दशमलव स्थानों पर मान होते हैं:

हैंडहेल्ड कैलकुलेटर और पर्सनल कंप्यूटर के आगमन से पहले, ऐसी तालिकाओं को अक्सर लघुगणक और त्रिकोणमितीय कार्यों जैसे कार्यों के लिए संकलित और प्रकाशित किया जाता था।

बार चार्ट
बार चार्ट का उपयोग अक्सर उन कार्यों का प्रतिनिधित्व करने के लिए किया जाता है जिनका डोमेन परिमित सेट, प्राकृतिक संख्या या पूर्णांक है। इस मामले में, एक तत्व $x$ डोमेन का एक अंतराल (गणित) द्वारा दर्शाया गया है $y$-अक्ष, और फ़ंक्शन का संगत मान, $x R y$, एक आयत द्वारा दर्शाया गया है जिसका आधार अंतराल के अनुरूप है $x$ और किसकी ऊंचाई है $−1 < x < 1$ (संभवतः ऋणात्मक, जिस स्थिति में बार नीचे विस्तारित होता है $x$-एक्सिस)।

सामान्य गुण
यह खंड कार्यों के सामान्य गुणों का वर्णन करता है, जो डोमेन और कोडोमेन के विशिष्ट गुणों से स्वतंत्र हैं।

मानक कार्य
कई मानक कार्य हैं जो अक्सर होते हैं:
 * हर सेट के लिए $x$, एक अनूठा कार्य है, जिसे कहा जाता हैempty function, या खाली नक्शा, खाली सेट से तक $x$. खाली फ़ंक्शन का ग्राफ़ खाली सेट है। सिद्धांत की सुसंगतता और कई बयानों में खाली सेट से संबंधित अपवादों से बचने के लिए खाली कार्यों के अस्तित्व की आवश्यकता है। टपल (या समतुल्य वाले) के रूप में फ़ंक्शन की सामान्य सेट-सैद्धांतिक परिभाषा के तहत, प्रत्येक सेट के लिए बिल्कुल एक खाली फ़ंक्शन होता है, इस प्रकार खाली फ़ंक्शन $$\varnothing \mapsto X$$ के बराबर नहीं है $$\varnothing \mapsto Y$$ अगर और केवल अगर $$X\ne Y$$, हालांकि उनका ग्राफ दोनों खाली सेट हैं।
 * हर सेट के लिए $x$ और हर सिंगलटन सेट $x = ± 1$, से एक अनूठा कार्य है $X$ प्रति $1/x$, जो हर तत्व को मैप करता है $X$ प्रति $X$. यह एक अनुमान है (नीचे देखें) जब तक $X$ खाली सेट है।
 * एक समारोह दिया $$f\colon X\to Y,$$ का विहित अनुमान $X$ इसकी छवि पर $$f(X)=\{f(x)\mid x\in X\}$$ से समारोह है $X$ प्रति $x = 1$ वह मानचित्र $s$ प्रति $x = 0$.
 * प्रत्येक उपसमुच्चय के लिए $X$ एक सेट का $f$, का समावेशन मानचित्र $X$ में $x$ इंजेक्शन (नीचे देखें) फ़ंक्शन है जो प्रत्येक तत्व को मैप करता है $A$ खुद को।
 * एक सेट पर पहचान समारोह $X$, अक्सर द्वारा निरूपित $x, y$, का समावेश है $A$ अपने आप में।

समारोह संरचना
दो कार्य दिए गए $$f\colon X\to Y$$ तथा $$g\colon Y\to Z$$ ऐसा है कि का डोमेन $X$ का कोडोमेन है $A$, उनकी रचना कार्य है $$g \circ f\colon X \rightarrow Z$$ द्वारा परिभाषित
 * $$(g \circ f)(x) = g(f(x)).$$

यानी का मूल्य $$g \circ f$$ प्रथम आवेदन करने पर प्राप्त होता है $sin x$ प्रति $f(x)$ प्राप्त करने के लिए $f(x)$ और फिर आवेदन करना $∅ × X$ परिणाम के लिए $X$ प्राप्त करने के लिए $\{s\}$. नोटेशन में जो फ़ंक्शन पहले लागू होता है उसे हमेशा दाईं ओर लिखा जाता है।

रचना $$g\circ f$$ कार्यों पर एक ऑपरेशन (गणित) है जिसे केवल तभी परिभाषित किया जाता है जब पहले फ़ंक्शन का कोडोमेन दूसरे का डोमेन हो। यहां तक ​​कि जब दोनों $$g \circ f$$ तथा $$f \circ g$$ इन शर्तों को पूरा करते हैं, संरचना अनिवार्य रूप से क्रमविनिमेय संपत्ति नहीं है, अर्थात, कार्य $$g \circ f$$ तथा $$ f \circ g$$ समान होना आवश्यक नहीं है, लेकिन एक ही तर्क के लिए अलग-अलग मान प्रदान कर सकते हैं। उदाहरण के लिए, चलो $\{s\}$ तथा $f(X)$, फिर $$g(f(x))=x^2+1$$ तथा $$ f(g(x)) = (x+1)^2$$ के लिए ही सहमत हैं $$x=0.$$ फ़ंक्शन रचना इस अर्थ में साहचर्य संपत्ति है कि, यदि कोई एक है $$(h\circ g)\circ f$$ तथा $$h\circ (g\circ f)$$ परिभाषित है, तो दूसरा भी परिभाषित है, और वे बराबर हैं। इस प्रकार, कोई लिखता है
 * $$h\circ g\circ f = (h\circ g)\circ f = h\circ (g\circ f).$$

पहचान कार्य करती है $$\operatorname{id}_X$$ तथा $$\operatorname{id}_Y$$ से कार्यों के लिए क्रमशः एक सही पहचान और एक बाईं पहचान हैं $X$ प्रति $g$. यानी अगर $f$ डोमेन के साथ एक कार्य है $y$, और कोडोमेन $X$, किसी के पास $$f\circ \operatorname{id}_X = \operatorname{id}_Y \circ f = f.$$

इमेज और प्रीइमेज
होने देना $$f\colon X\to Y.$$ नीचे की छवि $Y$ एक तत्व का $f$ डोमेन का $X$ है $f(x)$. यदि $id_{X}$ का कोई उपसमुच्चय है $f$, फिर की छवि $Y$ नीचे $f$, निरूपित $x$, कोडोमेन का सबसेट है $y = f(x)$ के तत्वों की सभी छवियों से मिलकर $x$, वह है,
 * $$f(A)=\{f(x)\mid x\in A\}.$$

की छवि $g$ संपूर्ण डोमेन की छवि है, अर्थात, $g(y) = g(f(x))$. इसे के फलन की श्रेणी भी कहते हैं $X$, हालांकि टर्म रेंज कोडोमेन को भी संदर्भित कर सकता है। दूसरी ओर, उलटा छवि या preimage के तहत $A$ एक तत्व का $f$ कोडोमेन का $A$ डोमेन के सभी तत्वों का सेट है $f(x) = x^{2}$ जिनकी इमेज के नीचे $f$ बराबर $f$. प्रतीकों में, की प्रधानता $y$ द्वारा निरूपित किया जाता है $$f^{-1}(y)$$ और समीकरण द्वारा दिया गया है
 * $$f^{-1}(y) = \{x \in X \mid f(x) = y\}.$$

इसी तरह, एक उपसमुच्चय की पूर्वकल्पना $g(x) = x + 1$ कोडोमेन का $(g ∘ f )(c) = #$ के तत्वों की पूर्वकल्पनाओं का समुच्चय है $f(x)$, अर्थात यह डोमेन का सबसेट है $A$ के सभी तत्वों से मिलकर बनता है $X$ जिनकी छवियां हैं $f(A)$. द्वारा निरूपित किया जाता है $$f^{-1}(B)$$ और समीकरण द्वारा दिया गया है
 * $$f^{-1}(B) = \{x \in X \mid f(x) \in B\}.$$

उदाहरण के लिए, की पूर्वकल्पना $$\{4, 9\}$$ स्क्वायर फ़ंक्शन के तहत सेट है $$\{-3,-2,2,3\}$$.

किसी फ़ंक्शन की परिभाषा के अनुसार, किसी तत्व की छवि $Y$ डोमेन का हमेशा कोडोमेन का एक तत्व होता है। हालांकि, प्रीइमेज $$f^{-1}(y)$$ एक तत्व का $Y$ कोडोमेन का खाली सेट हो सकता है या इसमें तत्वों की संख्या हो सकती है। उदाहरण के लिए, यदि $f$ पूर्णांकों से स्वयं तक का कार्य है जो प्रत्येक पूर्णांक को 0 पर मैप करता है, फिर $$f^{-1}(0) = \mathbb{Z}$$.

यदि $$f\colon X\to Y$$ एक समारोह है, $f$ तथा $f(X)$ के उपसमुच्चय हैं $X$, तथा $B$ तथा $Y$ के उपसमुच्चय हैं $B$, तब किसी के पास निम्नलिखित गुण होते हैं: द्वारा प्रीइमेज $y$ एक तत्व का $y$ कोडोमेन को कभी-कभी, कुछ संदर्भों में, का फाइबर (गणित) कहा जाता है $X$ नीचे $y$.
 * $$A\subseteq B \Longrightarrow f(A)\subseteq f(B)$$
 * $$C\subseteq D \Longrightarrow f^{-1}(C)\subseteq f^{-1}(D)$$
 * $$A \subseteq f^{-1}(f(A))$$
 * $$C \supseteq f(f^{-1}(C))$$
 * $$f(f^{-1}(f(A)))=f(A)$$
 * $$f^{-1}(f(f^{-1}(C)))=f^{-1}(C)$$

यदि कोई समारोह $f$ एक व्युत्क्रम है (नीचे देखें), इस व्युत्क्रम को निरूपित किया गया है $$f^{-1}.$$ इस मामले में $$f^{-1}(C)$$ द्वारा या तो छवि को निरूपित कर सकते हैं $$f^{-1}$$ या द्वारा प्रीइमेज $f$ का $y$. यह कोई समस्या नहीं है, क्योंकि ये सेट बराबर हैं। अंकन $$f(A)$$ तथा $$f^{-1}(C)$$ सेट के मामले में अस्पष्ट हो सकता है जिसमें कुछ उपसमुच्चय तत्वों के रूप में होते हैं, जैसे $$\{x, \{x\}\}.$$ इस मामले में, कुछ देखभाल की आवश्यकता हो सकती है, उदाहरण के लिए, वर्गाकार कोष्ठकों का उपयोग करके $$f[A], f^{-1}[C]$$ छवियों और तत्वों की छवियों और छवियों के लिए उपसमुच्चय और साधारण कोष्ठकों की पूर्व-छवियों के लिए।

विशेषण, विशेषण और विशेषण कार्य
होने देना $$f\colon X\to Y$$ एक समारोह हो।

कार्यक्रम $f$ इंजेक्शन फ़ंक्शन है (या एक-से-एक, या इंजेक्शन है) यदि $X$ किसी भी दो अलग-अलग तत्वों के लिए $B$ तथा $f$ का $f$. समान रूप से, $C$ इंजेक्शन है अगर और केवल अगर, किसी के लिए $$y\in Y,$$ पूर्व चित्र $$f^{-1}(y)$$ अधिकतम एक तत्व शामिल है। एक खाली कार्य हमेशा इंजेक्शन होता है। यदि $f$ तब खाली समुच्चय नहीं है $b$ इंजेक्शन है अगर और केवल अगर कोई फ़ंक्शन मौजूद है $$g\colon Y\to X$$ ऐसा है कि $$g\circ f=\operatorname{id}_X,$$ वह है, अगर $X$ एक बायां उलटा कार्य है। सबूत: अगर $f$ इंजेक्शन है, परिभाषित करने के लिए $X$, कोई एक तत्व चुनता है $$x_0$$ में $f$ (जो के रूप में मौजूद है $f$ गैर-खाली माना जाता है), और एक परिभाषित करता है $f$ द्वारा $$g(y)=x$$ यदि $$y=f(x)$$ तथा $$g(y)=x_0$$ यदि $$y\not\in f(X).$$ इसके विपरीत यदि $$g\circ f=\operatorname{id}_X,$$ तथा $$y=f(x),$$ फिर $$x=g(y),$$ और इस तरह $$f^{-1}(y)=\{x\}.$$ कार्यक्रम $g$ आच्छादक है (या आच्छादक, या आक्षेप है) यदि इसकी सीमा है $$f(X)$$ इसके कोडोमेन के बराबर है $$Y$$, अर्थात, यदि, प्रत्येक तत्व के लिए $$y$$ कोडोमेन का, कुछ तत्व मौजूद है $$x$$ डोमेन का ऐसा है $$f(x) = y$$ (दूसरे शब्दों में, प्रीइमेज $$f^{-1}(y)$$ हरेक का $$y\in Y$$ खाली नहीं है)। यदि, हमेशा की तरह, आधुनिक गणित में, पसंद का स्वयंसिद्ध मान लिया जाता है, तो $X$ विशेषण है यदि और केवल यदि कोई कार्य मौजूद है $$g\colon Y\to X$$ ऐसा है कि $$f\circ g=\operatorname{id}_Y,$$ वह है, अगर $X$ एक सही उलटा कार्य है। पसंद के स्वयंसिद्ध की जरूरत है, क्योंकि, यदि $g$ विशेषण है, एक परिभाषित करता है $f$ द्वारा $$g(y)=x,$$ कहाँ पे $$x$$ का एक मनमाने ढंग से चुना गया तत्व है $$f^{-1}(y).$$ कार्यक्रम $f$ विशेषण है (या एक आक्षेप या एक-से-एक पत्राचार है) यदि यह अंतःक्षेपी और विशेषण दोनों है। वह है, $f$ विशेषण है अगर, किसी के लिए $$y\in Y,$$ पूर्व चित्र $$f^{-1}(y)$$ ठीक एक तत्व होता है। कार्यक्रम $f$ विशेषण है यदि और केवल यदि यह एक व्युत्क्रम फलन को स्वीकार करता है, जो कि एक फलन है $$g\colon Y\to X$$ ऐसा है कि $$g\circ f=\operatorname{id}_X$$ तथा $$f\circ g=\operatorname{id}_Y.$$ (विपरीत अनुमानों के मामले में, इसके लिए पसंद के स्वयंसिद्ध की आवश्यकता नहीं है; प्रमाण सीधा है)।

हर समारोह $$f\colon X\to Y$$ रचना के रूप में गुणनखंड हो सकता है $$i\circ s$$ एक अनुमान के बाद एक इंजेक्शन, जहां $g$ का विहित अनुमान है $f$ पर $x$ तथा $f$ का विहित इंजेक्शन है $A$ में $f$. यह का विहित गुणनखंडन है $s$.

एक-से-एक और पर ऐसे शब्द हैं जो पुराने अंग्रेजी भाषा के साहित्य में अधिक सामान्य थे; विशेषण, विशेषण, और विशेषण मूल रूप से 20 वीं शताब्दी की दूसरी तिमाही में निकोलस बोरबाकी द्वारा फ्रांसीसी शब्द के रूप में गढ़े गए थे और अंग्रेजी में आयात किए गए थे। सावधानी के एक शब्द के रूप में, एक-से-एक फ़ंक्शन वह है जो इंजेक्शन है, जबकि एक-से-एक पत्राचार एक विशेषण फ़ंक्शन को संदर्भित करता है। साथ ही, बयान$B$ एमएपीएस $X$ पर $C$से भिन्न है$D$ एमएपीएस $Y$ में $y$, इसमें पूर्व का तात्पर्य है $f(a) ≠ f(b)$ विशेषण है, जबकि उत्तरार्द्ध की प्रकृति के बारे में कोई दावा नहीं करता है $a$. एक जटिल तर्क में, एक अक्षर का अंतर आसानी से छूट सकता है। इस पुरानी शब्दावली की भ्रामक प्रकृति के कारण, इन शब्दों की लोकप्रियता बॉर्बकियन शब्दों के सापेक्ष कम हो गई है, जिन्हें अधिक सममित होने का लाभ भी है।

प्रतिबंध और विस्तार
यदि $$f\colon X \to Y$$ एक फलन है और S, X का एक उपसमुच्चय है, तो का प्रतिबंध $$f$$ एस के लिए, निरूपित $$f|_S$$, S से Y तक का कार्य परिभाषित है
 * $$f|_S(x) = f(x)$$

एस में सभी एक्स के लिए। आंशिक उलटा कार्यों को परिभाषित करने के लिए प्रतिबंधों का उपयोग किया जा सकता है: यदि किसी फ़ंक्शन के डोमेन का सबसेट एस है $$f$$ ऐसा है कि $$f|_S$$ अंतःक्षेपी है, तो का विहित अनुमान $$f|_S$$ इसकी छवि पर $$f|_S(S) = f(S)$$ एक आक्षेप है, और इस प्रकार से एक उलटा कार्य है $$f(S)$$ एस के लिए। एक आवेदन व्युत्क्रम त्रिकोणमितीय कार्यों की परिभाषा है। उदाहरण के लिए, अंतराल (गणित) तक सीमित होने पर कोज्या फ़ंक्शन इंजेक्शन होता है $X$. इस प्रतिबंध की छवि अंतराल है $i$, और इस प्रकार प्रतिबंध का उलटा कार्य होता है $Y$ प्रति $f$, जिसे आर्ककोसाइन कहा जाता है और निरूपित किया जाता है $f(X)$.

फ़ंक्शन प्रतिबंध का उपयोग एक साथ ग्लूइंग फ़ंक्शंस के लिए भी किया जा सकता है। होने देना $ X=\bigcup_{i\in I}U_i$ का अपघटन हो $[0, π]$ सबसेट के एक संघ स्थापित करें के रूप में, और मान लीजिए कि एक फ़ंक्शन $$f_i\colon U_i \to Y$$ प्रत्येक पर परिभाषित किया गया है $$U_i$$ ऐसा कि प्रत्येक जोड़ी के लिए $$i, j$$ सूचकांकों की, के प्रतिबंध $$f_i$$ तथा $$f_j$$ प्रति $$U_i \cap U_j$$ बराबर हैं। फिर यह एक अद्वितीय कार्य को परिभाषित करता है $$f\colon X \to Y$$ ऐसा है कि $$f|_{U_i} = f_i$$ सभी के लिए $[−1, 1]$. यह वह तरीका है जिससे विविध पर कार्य परिभाषित किए जाते हैं।

एक समारोह का विस्तार $[−1, 1]$ एक कार्य है $[0, π]$ ऐसा है कि $X$ का प्रतिबंध है $i$. इस अवधारणा का एक विशिष्ट उपयोग विश्लेषणात्मक निरंतरता की प्रक्रिया है, जो उन कार्यों को विस्तारित करने की अनुमति देता है जिनके डोमेन जटिल विमान का एक छोटा सा हिस्सा है, जिसका डोमेन लगभग संपूर्ण जटिल विमान है।

वास्तविक रेखा के होमोग्राफी का अध्ययन करते समय सामने आने वाले फ़ंक्शन एक्सटेंशन का एक और शास्त्रीय उदाहरण यहां दिया गया है। एक होमोग्राफी एक फंक्शन है $$h(x)=\frac{ax+b}{cx+d}$$ ऐसा है कि $f(X)$. इसका प्रांत, से भिन्न सभी वास्तविक संख्याओं का समुच्चय है $$-d/c,$$ और इसका प्रतिबिम्ब भिन्न सभी वास्तविक संख्याओं का समुच्चय है $$a/c.$$ यदि कोई वास्तविक रेखा को प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा तक शामिल करके बढ़ाता है $f$, कोई विस्तार कर सकता है $f$ सेटिंग द्वारा विस्तारित वास्तविक रेखा से स्वयं के लिए एक आक्षेप के लिए $$h(\infty)=a/c$$ तथा $$h(-d/c)=\infty$$.

बहुभिन्नरूपी कार्य
एक बहुभिन्नरूपी कार्य, या कई चर का कार्य एक ऐसा कार्य है जो कई तर्कों पर निर्भर करता है। इस तरह के कार्यों का अक्सर सामना करना पड़ता है। उदाहरण के लिए, सड़क पर एक कार की स्थिति तय किए गए समय और उसकी औसत गति पर निर्भर करती है।

अधिक औपचारिक रूप से, का एक कार्य $g$ चर एक ऐसा कार्य है जिसका डोमेन एक सेट है $f$-टुपल्स। उदाहरण के लिए, पूर्णांकों का गुणन दो चरों का एक फलन है, या द्विभाजित फलन है, जिसका डोमेन पूर्णांकों के सभी युग्मों (2-टुपल्स) का समुच्चय है, और जिसका कोडोमेन पूर्णांकों का समुच्चय है। हर बाइनरी ऑपरेशन के लिए भी यही सच है। अधिक सामान्य रूप से, प्रत्येक गणितीय संक्रिया को एक बहुभिन्नरूपी फलन के रूप में परिभाषित किया जाता है।

कार्टेशियन उत्पाद $$X_1\times\cdots\times X_n$$ का $g$ सेट $$X_1, \ldots, X_n$$ सभी का सेट है $h$-टुपल्स $$(x_1, \ldots, x_n)$$ ऐसा है कि $$x_i\in X_i$$ हरएक के लिए $n$ साथ $$1 \leq i \leq n$$. इसलिए, का एक कार्य $n$ चर एक कार्य है
 * $$f\colon U\to Y,$$

जहां डोमेन $n$ रूप है
 * $$U\subseteq X_1\times\cdots\times X_n.$$

फ़ंक्शन नोटेशन का उपयोग करते समय, आमतौर पर ट्यूपल्स, लेखन के आसपास के कोष्ठकों को छोड़ दिया जाता है $$f(x_1,x_2)$$ के बजाय $$f((x_1,x_2)).$$ ऐसे मामले में जहां सभी $$X_i$$ सेट के बराबर हैं $$\R$$ वास्तविक संख्याओं में, एक के पास कई वास्तविक चरों का एक फलन होता है। अगर $$X_i$$ सेट के बराबर हैं $$\C$$ सम्मिश्र संख्याओं में, किसी के पास अनेक सम्मिश्र चरों का फलन होता है।

उन कार्यों पर भी विचार करना आम है जिनका कोडोमेन सेट का उत्पाद है। उदाहरण के लिए, यूक्लिडियन विभाजन हर जोड़ी को मैप करता है $X$ के साथ पूर्णांकों की $Y$ भागफल कहे जाने वाले पूर्णांकों के जोड़े और शेषफल:
 * $$\begin{align}

\text{Euclidean division}\colon\quad \Z\times (\Z\setminus \{0\}) &\to \Z\times\Z\\ (a,b) &\mapsto (\operatorname{quotient}(a,b),\operatorname{remainder}(a,b)). \end{align}$$ कोडोमेन एक सदिश स्थान भी हो सकता है। इस मामले में, एक वेक्टर-वैल्यू फ़ंक्शन की बात करता है। यदि डोमेन यूक्लिडियन अंतरिक्ष में निहित है, या अधिक आम तौर पर कई गुना है, तो वेक्टर-मूल्यवान फ़ंक्शन को अक्सर वेक्टर क्षेत्र कहा जाता है।

कलन में
17वीं सदी से शुरू होकर फलन का विचार नए अतिसूक्ष्म कलन के लिए मौलिक था। उस समय, केवल वास्तविक-मूल्य वाले फ़ंक्शन | वास्तविक चर के फ़ंक्शन के वास्तविक-मूल्य वाले कार्यों पर विचार किया गया था, और सभी कार्यों को सुचारू कार्य माना गया था। लेकिन परिभाषा को जल्द ही #Multivariate फ़ंक्शन और एक जटिल चर के फ़ंक्शंस तक बढ़ा दिया गया। 19वीं शताब्दी के उत्तरार्ध में, एक फ़ंक्शन की गणितीय रूप से कठोर परिभाषा पेश की गई थी, और मनमाना डोमेन और कोडोमेन वाले फ़ंक्शन परिभाषित किए गए थे।

गणित के सभी क्षेत्रों में अब कार्यों का उपयोग किया जाता है। परिचयात्मक गणना में, जब शब्द फ़ंक्शन का उपयोग योग्यता के बिना किया जाता है, तो इसका अर्थ है एक वास्तविक चर का वास्तविक-मूल्यवान फ़ंक्शन। फ़ंक्शन की अधिक सामान्य परिभाषा आमतौर पर दूसरे या तीसरे वर्ष के कॉलेज के छात्रों के लिए STEM प्रमुखता के साथ पेश की जाती है, और उनके वरिष्ठ वर्ष में उन्हें वास्तविक विश्लेषण और जटिल विश्लेषण जैसे पाठ्यक्रमों में एक बड़े, अधिक कठोर सेटिंग में कैलकुलस से परिचित कराया जाता है।

वास्तविक कार्य
एक वास्तविक फलन एक वास्तविक-मूल्यवान फलन है। वास्तविक चर का वास्तविक-मूल्यवान फलन, अर्थात्, एक ऐसा फलन जिसका कोडोमेन वास्तविक संख्या है और जिसका प्रांत वास्तविक संख्याओं का एक समुच्चय है जिसमें एक अंतराल (गणित) होता है। इस खंड में, इन कार्यों को केवल कार्य कहा जाता है।

गणित और इसके अनुप्रयोगों में जिन कार्यों पर सबसे अधिक विचार किया जाता है, उनमें कुछ नियमितता होती है, यानी वे निरंतर कार्य, अवकलनीय कार्य और यहां तक ​​कि विश्लेषणात्मक कार्य भी हैं। यह नियमितता सुनिश्चित करती है कि इन कार्यों को उनके #Graph और भूखंडों द्वारा देखा जा सकता है। इस खंड में, कुछ अंतराल में सभी कार्य अलग-अलग होते हैं।

फ़ंक्शंस बिंदुवार संचालन का आनंद लेते हैं, यानी अगर $n$ तथा $i$ कार्य हैं, उनका योग, अंतर और उत्पाद द्वारा परिभाषित कार्य हैं
 * $$\begin{align}

(f+g)(x)&=f(x)+g(x)\\ (f-g)(x)&=f(x)-g(x)\\ (f\cdot g)(x)&=f(x)\cdot g(x)\\ \end{align}.$$ परिणामी कार्यों के डोमेन के डोमेन के सेट चौराहे हैं $n$ तथा $U$. दो फलनों के भागफल को इसी प्रकार परिभाषित किया जाता है
 * $$\frac fg(x)=\frac{f(x)}{g(x)},$$

लेकिन परिणामी फ़ंक्शन का डोमेन एक फ़ंक्शन के शून्य को हटाकर प्राप्त किया जाता है $f$ के डोमेन के चौराहे से $g$ तथा $f$.

बहुपद फलनों को बहुपदों द्वारा परिभाषित किया जाता है, और उनका क्षेत्र वास्तविक संख्याओं का संपूर्ण समुच्चय होता है। इनमें निरंतर कार्य, रैखिक कार्य और द्विघात कार्य शामिल हैं। परिमेय फलन दो बहुपद फलन के भागफल होते हैं, और उनका प्रांत वास्तविक संख्या होती है जिसमें शून्य से विभाजन से बचने के लिए उनमें से परिमित संख्या को हटा दिया जाता है। सबसे सरल तर्कसंगत कार्य कार्य है $$x\mapsto \frac 1x,$$ जिसका ग्राफ एक अतिशयोक्ति है, और जिसका डोमेन 0 को छोड़कर पूरी वास्तविक रेखा है।

एक वास्तविक भिन्न फलन का व्युत्पन्न एक वास्तविक फलन होता है। एक निरंतर वास्तविक कार्य का एक प्रतिपक्षी एक वास्तविक कार्य है जिसका मूल कार्य एक व्युत्पन्न के रूप में होता है। उदाहरण के लिए, समारोह $$x\mapsto\frac 1x$$ धनात्मक वास्तविक संख्याओं पर निरंतर और यहां तक ​​कि अवकलनीय है। इस प्रकार एक प्रतिपक्षी, जो शून्य के लिए मान लेता है $f$, एक अवकलनीय फलन है जिसे प्राकृतिक लघुगणक कहा जाता है।

एक वास्तविक कार्य $g$ एक अंतराल में monotonic समारोह अगर का संकेत है $$\frac{f(x)-f(y)}{x-y}$$ की पसंद पर निर्भर नहीं करता है $g$ तथा $f$ अंतराल में। यदि फ़ंक्शन अंतराल में अलग-अलग होता है, तो व्युत्पन्न का संकेत अंतराल में स्थिर होता है, तो यह मोनोटोनिक होता है। यदि एक वास्तविक कार्य $g$ एक अंतराल में मोनोटोनिक है $f$, इसका एक व्युत्क्रम फलन है, जो प्रांत के साथ एक वास्तविक फलन है $X$ और छवि $x$. इस प्रकार त्रिकोणमितीय कार्यों के संदर्भ में व्युत्क्रम त्रिकोणमितीय कार्यों को परिभाषित किया जाता है, जहां त्रिकोणमितीय कार्य मोनोटोनिक होते हैं। एक अन्य उदाहरण: प्राकृतिक लघुगणक धनात्मक वास्तविक संख्याओं पर एकदिष्ट है, और इसकी छवि संपूर्ण वास्तविक रेखा है; इसलिए इसका एक व्युत्क्रम फलन है जो वास्तविक संख्याओं और धनात्मक वास्तविक संख्याओं के बीच एक आक्षेप है। यह व्युत्क्रम चरघातांकी फलन है।

कई अन्य वास्तविक कार्यों को या तो अंतर्निहित कार्य प्रमेय (उलटा कार्य एक विशेष उदाहरण है) या अंतर समीकरणों के समाधान के रूप में परिभाषित किया गया है। उदाहरण के लिए, ज्या और कोज्या फलन रैखिक अवकल समीकरण के हल हैं
 * $$y''+y=0$$

ऐसा है कि
 * $$\sin 0=0, \quad \cos 0=1, \quad\frac{\partial \sin x}{\partial x}(0)=1, \quad\frac{\partial \cos x}{\partial x}(0)=0.$$

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

कुछ सदिश-मूल्यवान कार्यों को एक सबसेट पर परिभाषित किया गया है $$\mathbb{R}^n$$ या अन्य स्थान जो ज्यामितीय या सांस्थितिक गुणों को साझा करते हैं $$\mathbb{R}^n$$, जैसे कई गुना। इन सदिश-मूल्यवान कार्यों को सदिश क्षेत्र नाम दिया गया है।

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

फ़ंक्शन के गुणों का अध्ययन करने के लिए उनके बीजगणितीय और टोपोलॉजी गुणों के उपयोग की अनुमति देकर, फ़ंक्शन रिक्त स्थान उन्नत गणितीय विश्लेषण में एक मौलिक भूमिका निभाते हैं। उदाहरण के लिए, अस्तित्व के सभी प्रमेय और सामान्य अंतर समीकरण या आंशिक अंतर समीकरण के समाधान की विशिष्टता फ़ंक्शन रिक्त स्थान के अध्ययन का परिणाम है।

बहु-मूल्यवान कार्य
वास्तविक या जटिल चर के कार्यों को निर्दिष्ट करने के लिए कई तरीके फ़ंक्शन की एक स्थानीय परिभाषा से एक बिंदु पर या एक बिंदु के पड़ोस (गणित) से शुरू होते हैं, और फिर निरंतरता द्वारा फ़ंक्शन को एक बहुत बड़े डोमेन तक विस्तारित करते हैं। अक्सर, एक शुरुआती बिंदु के लिए $$x_0,$$ फ़ंक्शन के लिए कई संभावित शुरुआती मान हैं।

उदाहरण के लिए, किसी सकारात्मक वास्तविक संख्या के लिए वर्गमूल को वर्ग फलन के व्युत्क्रम फलन के रूप में परिभाषित करने में $$x_0,$$ वर्गमूल के मान के लिए दो विकल्प हैं, जिनमें से एक सकारात्मक और निरूपित है $$\sqrt {x_0},$$ और दूसरा जो नकारात्मक और निरूपित है $$-\sqrt {x_0}.$$ ये विकल्प दो निरंतर कार्यों को परिभाषित करते हैं, दोनों में एक डोमेन के रूप में गैर-नकारात्मक वास्तविक संख्याएं होती हैं, और छवियों के रूप में या तो गैर-नकारात्मक या गैर-सकारात्मक वास्तविक संख्याएं होती हैं। जब इन कार्यों के ग्राफ़ को देखते हैं, तो कोई यह देख सकता है कि, एक साथ, वे एक चिकनी वक्र बनाते हैं। इसलिए अक्सर इन दो वर्गमूल कार्यों को एक ऐसे कार्य के रूप में मानना ​​उपयोगी होता है जिसमें सकारात्मक के लिए दो मान होते हैं $y$, 0 के लिए एक मान और ऋणात्मक के लिए कोई मान नहीं $f$.

पिछले उदाहरण में, एक विकल्प, सकारात्मक वर्गमूल, दूसरे की तुलना में अधिक स्वाभाविक है। सामान्य तौर पर ऐसा नहीं है। उदाहरण के लिए, मैप किए गए अंतर्निहित फ़ंक्शन पर विचार करें $I$ एक समारोह की जड़ के लिए $I$ का $$x^3-3x-y =0$$ (दाईं ओर की आकृति देखें)। के लिये $B$ कोई भी चुन सकता है $$0, \sqrt 3,\text{ or } -\sqrt 3$$ के लिये $x$. अंतर्निहित कार्य प्रमेय द्वारा, प्रत्येक विकल्प एक फ़ंक्शन को परिभाषित करता है; पहले वाले के लिए, (अधिकतम) डोमेन अंतराल है $x$ और छवि है $y$; दूसरे के लिए, डोमेन है $x$ और छवि है $x$; पिछले एक के लिए, डोमेन है $[−2, 2]$ और छवि है $[−1, 1]$. जैसा कि तीन ग्राफ़ एक साथ एक चिकनी वक्र बनाते हैं, और एक विकल्प को प्राथमिकता देने का कोई कारण नहीं है, इन तीन कार्यों को अक्सर एकल बहु-मूल्यवान फ़ंक्शन के रूप में माना जाता है $[−2, ∞)$ जिसके लिए तीन मान हैं $f$, और के लिए केवल एक मान $f$ तथा $arccos$.

जटिल कार्यों, आमतौर पर विश्लेषणात्मक कार्यों पर विचार करते समय बहु-मूल्यवान कार्यों की अवधारणा की उपयोगिता स्पष्ट होती है। डोमेन जिसमें विश्लेषणात्मक निरंतरता द्वारा एक जटिल कार्य बढ़ाया जा सकता है, आम तौर पर लगभग पूरे जटिल विमान होते हैं। हालांकि, जब डोमेन को दो अलग-अलग रास्तों से बढ़ाया जाता है, तो अक्सर अलग-अलग मान मिलते हैं। उदाहरण के लिए, वर्गमूल फलन के क्षेत्र का विस्तार करते समय, सकारात्मक काल्पनिक भागों के साथ जटिल संख्याओं के पथ के साथ, एक व्यक्ति को मिलता है $[1, ∞)$ -1 के वर्गमूल के लिए; जबकि, नकारात्मक काल्पनिक भागों के साथ जटिल संख्याओं के माध्यम से विस्तार करने पर, एक मिलता है $ad − bc ≠ 0$. समस्या को हल करने के आम तौर पर दो तरीके होते हैं। एक ऐसे कार्य को परिभाषित कर सकता है जो किसी वक्र के साथ निरंतर कार्य नहीं करता है, जिसे शाखा कट कहा जाता है। ऐसे फलन को फलन का मुख्य मान कहते हैं। दूसरा तरीका यह विचार करना है कि किसी के पास एक बहु-मूल्यवान कार्य है, जो अलग-अलग विलक्षणताओं को छोड़कर हर जगह विश्लेषणात्मक है, लेकिन यदि कोई एक विलक्षणता के चारों ओर एक बंद लूप का अनुसरण करता है, तो उसका मूल्य बढ़ सकता है। इस छलांग को मोनोड्रोमी कहा जाता है।

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

उदाहरण के लिए, सिंगलटन सेट को एक फंक्शन माना जा सकता है $$x\mapsto \{x\}.$$ इसके डोमेन में सभी सेट शामिल होंगे, और इसलिए यह एक सेट नहीं होगा। सामान्य गणित में, एक डोमेन निर्दिष्ट करके इस तरह की समस्या से बचा जाता है, जिसका अर्थ है कि किसी के पास कई सिंगलटन फ़ंक्शन हैं। हालांकि, गणित की नींव स्थापित करते समय, किसी को ऐसे कार्यों का उपयोग करना पड़ सकता है जिनके डोमेन, कोडोमेन या दोनों निर्दिष्ट नहीं हैं, और कुछ लेखक, अक्सर तार्किक, इन कमजोर निर्दिष्ट कार्यों के लिए सटीक परिभाषा देते हैं। गणित की नींव की औपचारिकता के विकास में ये सामान्यीकृत कार्य महत्वपूर्ण हो सकते हैं। उदाहरण के लिए, वॉन न्यूमैन-बर्नेज़-गोडेल सेट सिद्धांत, सेट सिद्धांत का एक विस्तार है जिसमें सभी सेटों का संग्रह एक वर्ग (सेट सिद्धांत) है। इस सिद्धांत में वॉन न्यूमैन-बर्नेज़-गोडेल सेट सिद्धांत # एनबीजी का प्रतिस्थापन का स्वयंसिद्ध शामिल है, जिसे इस प्रकार कहा जा सकता है: यदि $(−∞, 2]$ एक सेट है और $(−∞, −1]$ एक समारोह है, तो $∞$ एक सेट है।

कंप्यूटर विज्ञान में
कंप्यूटर प्रोग्रामिंग में, एक समारोह (प्रोग्रामिंग) सामान्य रूप से एक कंप्यूटर प्रोग्राम का एक टुकड़ा है, जो फ़ंक्शन की अमूर्त अवधारणा को लागू करता है। अर्थात यह एक प्रोग्राम यूनिट है जो प्रत्येक इनपुट के लिए एक आउटपुट उत्पन्न करती है। हालाँकि, कई प्रोग्रामिंग भाषाओं में प्रत्येक सबरूटीन को एक फ़ंक्शन कहा जाता है, तब भी जब कोई आउटपुट नहीं होता है, और जब कार्यक्षमता में स्मृति में कुछ डेटा को संशोधित करना शामिल होता है।

कार्यात्मक प्रोग्रामिंग प्रोग्रामिंग प्रतिमान है जिसमें गणितीय कार्यों की तरह व्यवहार करने वाले सबरूटीन्स का उपयोग करके प्रोग्राम बनाना शामिल है। उदाहरण के लिए,  एक ऐसा फ़ंक्शन है जो तीन फ़ंक्शन को तर्क के रूप में लेता है, और, पहले फ़ंक्शन (सही या गलत) के परिणाम के आधार पर, दूसरे या तीसरे फ़ंक्शन का परिणाम लौटाता है। कार्यात्मक प्रोग्रामिंग का एक महत्वपूर्ण लाभ यह है कि यह एक अच्छी तरह से स्थापित सिद्धांत, लैम्ब्डा कैलकुलस (नीचे देखें) पर आधारित होने के कारण कार्यक्रम प्रमाण को आसान बनाता है।

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

सामान्य पुनरावर्ती कार्य पूर्णांकों से पूर्णांकों तक आंशिक कार्य होते हैं जिन्हें परिभाषित किया जा सकता है ऑपरेटरों के माध्यम से हालाँकि केवल पूर्णांक से पूर्णांक तक के कार्यों के लिए परिभाषित किया गया है, वे निम्नलिखित गुणों के परिणामस्वरूप किसी भी गणना योग्य कार्य को मॉडल कर सकते हैं:
 * निरंतर कार्य,
 * उत्तराधिकारी कार्य, और
 * प्रक्षेपण समारोह कार्य करता है
 * #फंक्शन रचना,
 * आदिम पुनरावर्तन, और
 * μ ऑपरेटर।
 * एक गणना प्रतीकों के परिमित अनुक्रमों (संख्याओं के अंक, सूत्र, ...) का हेरफेर है,
 * प्रतीकों के प्रत्येक क्रम को काटा्स के अनुक्रम के रूप में कोडित किया जा सकता है,
 * एक बिट अनुक्रम को एक पूर्णांक के बाइनरी प्रतिनिधित्व के रूप में व्याख्या किया जा सकता है।

लैम्ब्डा कैलकुस एक सिद्धांत है जो सेट सिद्धांत का उपयोग किये बिना संगणनीय कार्यों को परिभाषित करता है, और कार्यात्मक प्रोग्रामिंग की सैद्धांतिक पृष्ठभूमि है। इसमें ऐसे शब्द होते हैं जो या तो चर होते हैं, फ़ंक्शन परिभाषाएँ (𝜆-शर्तें), या शर्तों के कार्यों के अनुप्रयोग। कुछ नियमों के माध्यम से शर्तों में हेरफेर किया जाता है, ( $(a, b)$-तुल्यता, द $y$-कमी, और $i$-रूपांतरण), जो सिद्धांत के स्वयंसिद्ध हैं और गणना के नियमों के रूप में व्याख्या किए जा सकते हैं।

अपने मूल रूप में, लैम्ब्डा कैलकुस में किसी फ़ंक्शन के डोमेन और कोडोमेन की अवधारणाओं को शामिल नहीं किया गया है। मोटे तौर पर, उन्हें टाइप लैम्ब्डा कैलकुस में टाइप के नाम से थ्योरी में पेश किया गया है। अधिकांश प्रकार के टाइप किए गए लैम्ब्डा कैलकुली अनटाइप्ड लैम्ब्डा कैलकुलस की तुलना में कम कार्यों को परिभाषित कर सकते हैं।

उपपृष्ठ

 * कार्यों के प्रकारों की सूची
 * कार्यों की सूची
 * फंक्शन फिटिंग
 * अंतर्निहित कार्य

सामान्यीकरण

 * उच्च-क्रम समारोह
 * समरूपता
 * रूपवाद
 * माइक्रोफ़ंक्शन
 * वितरण (गणित)
 * परिचालक

संबंधित विषय

 * सहयोगी सरणी
 * बंद-रूप अभिव्यक्ति
 * प्राथमिक कार्य
 * कार्यात्मक (गणित)
 * कार्यात्मक अपघटन
 * कार्यात्मक विधेय
 * कार्यात्मक प्रोग्रामिंग
 * पैरामीट्रिक समीकरण
 * सेट समारोह
 * सरल कार्य

अग्रिम पठन

 * An approachable and diverting historical presentation.
 * Reichenbach, Hans (1947) Elements of Symbolic Logic, Dover Publishing Inc., New York, ISBN 0-486-24004-5.
 * An approachable and diverting historical presentation.
 * Reichenbach, Hans (1947) Elements of Symbolic Logic, Dover Publishing Inc., New York, ISBN 0-486-24004-5.
 * An approachable and diverting historical presentation.
 * Reichenbach, Hans (1947) Elements of Symbolic Logic, Dover Publishing Inc., New York, ISBN 0-486-24004-5.
 * An approachable and diverting historical presentation.
 * Reichenbach, Hans (1947) Elements of Symbolic Logic, Dover Publishing Inc., New York, ISBN 0-486-24004-5.
 * Reichenbach, Hans (1947) Elements of Symbolic Logic, Dover Publishing Inc., New York, ISBN 0-486-24004-5.
 * Reichenbach, Hans (1947) Elements of Symbolic Logic, Dover Publishing Inc., New York, ISBN 0-486-24004-5.

इस पेज में लापता आंतरिक लिंक की सूची

 * सेट (गणित)
 * अंक शास्त्र
 * किसी फ़ंक्शन का डोमेन
 * अल Biruni
 * समारोह अवधारणा का इतिहास
 * अलग करने योग्य समारोह
 * समुच्चय सिद्धान्त
 * एक समारोह का ग्राफ
 * कार्तीय निर्देशांक
 * नक्शा (गणित)
 * एक वास्तविक चर का कार्य
 * वास्तविक मूल्यवान समारोह
 * आंशिक समारोह
 * एक समारोह की सीमा
 * असमान संबंध
 * विपरीत संबंध
 * इंजेक्शन समारोह
 * सबसेट
 * अंकन का दुरुपयोग
 * कार्यात्मक (गणित)
 * आंशिक आवेदन
 * लीनियर अलजेब्रा
 * मतिहीनता (कंप्यूटर विज्ञान)
 * गणना का सिद्धांत
 * क्रमचयी गुणधर्म
 * रैखिक नक्शा
 * कई गुना के नक्शे
 * असतत समय गतिशील प्रणाली
 * निरंतर कार्य
 * स्वयंसिद्ध
 * बंद रूप अभिव्यक्ति
 * अंकगणितीय आपरेशनस
 * एक समारोह का शून्य
 * द्विघात फंक्शन
 * स्थिर (गणित)
 * बहुपदीय फलन
 * तर्कसंगत कार्य
 * बीजगणितीय कार्य
 * प्राथमिक समारोह
 * लोगारित्म
 * घातीय कार्य
 * द्विभाजित
 * उलटा काम करना
 * उलटा त्रिकोणमितीय कार्य
 * निहित समारोह
 * अंतर्निहित कार्य प्रमेय
 * अवकलनीयता
 * antiderivative
 * त्रुटि समारोह
 * बिजली की श्रृंखला
 * त्रिकोणमितीय फलन
 * कारख़ाने का
 * धुवीय निर्देशांक
 * पहाड़ा
 * समावेशन नक्शा
 * संक्रिया (गणित)
 * संबंधी संपत्ति
 * वाम पहचान
 * उलटी छवि
 * बाएं उलटा समारोह
 * विशेषण
 * सही उलटा समारोह
 * अनुमानित रूप से विस्तारित वास्तविक रेखा
 * गणितीय कार्य
 * कई वास्तविक चर का कार्य
 * कई जटिल चर का कार्य
 * सदिश स्थल
 * एक जटिल चर के कार्य
 * चिकना समारोह
 * उन लोगों के
 * चौराहा सेट करें
 * रैखिक प्रकार्य
 * यौगिक
 * मोनोटोनिक फ़ंक्शन
 * द्विभाजन
 * रैखिक अंतर समीकरण
 * वेग वेक्टर
 * संस्थानिक
 * वितरण (गणित)
 * साधारण अंतर समीकरण
 * आंशिक विभेदक समीकरण
 * प्रमुख मूल्य
 * शाखा काटी
 * कार्यान्वयन
 * कंप्यूटर प्रोग्रामिंग
 * गणना के मॉडल
 * उत्तराधिकारी समारोह
 * द्विआधारी प्रतिनिधित्व
 * गणना योग्य समारोह
 * कार्यों के प्रकार की सूची
 * आकारिता
 * साहचर्य सरणी
 * समारोह सेट करें

बाहरी संबंध

 * The Wolfram Functions Site gives formulae and visualizations of many mathematical functions.
 * NIST Digital Library of Mathematical Functions
 * NIST Digital Library of Mathematical Functions