कार्यात्मक (गणित)

गणित में कार्यात्मक (संज्ञा के रूप में) एक निश्चित प्रकार का कार्य है। कार्यात्मक शब्द की स्पष्ट परिभाषा उपक्षेत्र (और कभी-कभी लेखक भी) के आधार पर भिन्न होती है।
 * रैखिक बीजगणित में यह रैखिक रूपों का पर्याय है। जो एक सदिश स्थान से रैखिक मानचित्रण हैं। $$V$$ इसके क्षेत्र में (गणित) अर्थात दोहरे स्थान का एक तत्व $$V^*$$है।
 * कार्यात्मक विश्लेषण और संबंधित क्षेत्रों में यह सामान्यतः किसी स्थान से मानचित्रण के लिए संदर्भित होता है। $$X$$ वास्तविक संख्या या जटिल संख्या के क्षेत्र में कार्यात्मक विश्लेषण में शब्द  रैखिक रूप का पर्याय है  अर्थात् यह एक अदिश-मूल्यवान रेखीय मानचित्र है। लेखक के आधार पर इस प्रकार के मानचित्रण को रैखिक $$X$$ माना जा सकता है या नहीं या पूरे स्थान पर परिभाषित किया जा सकता है।
 * कंप्यूटर विज्ञान में यह उच्च-क्रम के कार्यों का पर्याय है अर्थात ऐसे कार्य जो तर्कों के रूप में कार्य करते हैं या उन्हें वापस करते हैं।

यह लेख मुख्य रूप से दूसरी अवधारणा से संबंधित है। जो 18वीं शताब्दी की प्रारम्भ में विविधताओं की कलन के भाग के रूप में उत्पन्न हुई थी। पहली अवधारणा जो अधिक आधुनिक और सारगर्भित है पर एक अलग लेख में रैखिक रूप नाम के अनुसार विस्तार से चर्चा की गई है। तीसरी अवधारणा उच्च-क्रम के कार्यों पर कंप्यूटर विज्ञान लेख में विस्तृत है।

इस स्थिति में कार्यात्मक एक समारोह का एक कार्य है और कुछ पुराने लेखक वास्तव में कार्यात्मक शब्द को कार्य के कार्य के अर्थ में परिभाषित करते हैं। चूंकि तथ्य यह है कि $$X$$ कार्य का स्थान गणितीय रूप से आवश्यक नहीं है। इसलिए यह पुरानी परिभाषा प्रचलित नहीं है। यह शब्द विविधताओं के कलन से उत्पन्न होता है। जहां कोई ऐसे कार्य की खोज करता है। जो किसी दिए गए कार्यात्मक को कम करता है (या अधिकतम करता है)। भौतिकी में एक विशेष रूप से महत्वपूर्ण अनुप्रयोग एक ऐसी प्रणाली की स्थिति की खोज है। जो क्रिया (भौतिकी) को कम करती है (या अधिकतम करती है) या दूसरे शब्दों में लग्रांगियन यांत्रिकी परिचय का समय अभिन्न अंग है।

द्वैत
मानचित्रण $$x_0 \mapsto f(x_0)$$ एक समारोह है। जहां $$x_0$$ एक समारोह का तर्क $$f$$है। साथ ही एक बिंदु पर कार्य के मान के लिए कार्य का मानचित्रण $$f \mapsto f(x_0)$$ एक कार्यात्मक है। यहाँ $$x_0$$ एक पैरामीटर है।

उसे उपलब्ध कराया $$f$$ सदिश स्थान से अंतर्निहित स्केलर क्षेत्र तक एक रैखिक कार्य है। उपरोक्त रैखिक मानचित्र एक दूसरे के लिए द्वैत (गणित) हैं और कार्यात्मक विश्लेषण में दोनों को रैखिक कार्यात्मक कहा जाता है।

निश्चित अभिन्न
इंटीग्रल जैसे $$f\mapsto I[f] = \int_{\Omega} H(f(x),f'(x),\ldots) \; \mu(\mathrm{d}x)$$ कार्यों का एक विशेष वर्ग बनाएं। वे एक कार्य को मैप करते हैं। $$f$$ एक वास्तविक संख्या में है कि $$H$$ वास्तविक मूल्यवान है। उदाहरणों में सम्मिलित
 * किसी धनात्मक कार्य के ग्राफ़ के नीचे का क्षेत्र $$f$$ $$f\mapsto\int_{x_0}^{x_1}f(x)\;\mathrm{d}x$$
 * एलपी मानदंड $$L^p$$ एक सेट पर एक कार्य का मानदंड $$E$$ $$f\mapsto \left(\int_E|f|^p \; \mathrm{d}x\right)^{1/p}$$
 * 2-आयामी यूक्लिडियन अंतरिक्ष में एक वक्र की चाप की लंबाई $$f \mapsto \int_{x_0}^{x_1} \sqrt{ 1+|f'(x)|^2 } \; \mathrm{d}x$$

आंतरिक उत्पाद स्थान
एक आंतरिक उत्पाद स्थान दिया गया $$X$$ और एक निश्चित वेक्टर $$\vec{x} \in X$$ द्वारा परिभाषित नक्शा $$\vec{y} \mapsto \vec{x} \cdot \vec{y}$$ पर एक रैखिक कार्यात्मक है। $$X$$ वैक्टर का सेट $$\vec{y}$$ ऐसा है कि $$\vec{x}\cdot \vec{y}$$ शून्य एक सदिश उपसमष्टि है। $$X$$ कार्यात्मक या ऑर्थोगोनल पूरक के रिक्त स्थान या कर्नेल (रैखिक बीजगणित) कहा जाता है। $$\vec{x}$$ लक्षित $$\{\vec{x}\}^\perp$$ उदाहरण के लिए आंतरिक उत्पाद को एक निश्चित कार्य के साथ लेना $$g \in L^2([-\pi,\pi])$$ हिल्बर्ट अंतरिक्ष पर एक (रैखिक) कार्यात्मक को परिभाषित करता है। $$L^2([-\pi,\pi])$$ पर वर्ग समाकलन कार्यों की $$[-\pi,\pi]:$$ $$f \mapsto \langle f,g \rangle = \int_{[-\pi,\pi]} \bar{f} g$$

स्थान
यदि इनपुट वक्र के छोटे खंडों के लिए एक कार्यात्मक मूल्य की गणना की जा सकती है और फिर कुल मूल्य को खोजने के लिए योग किया जाता है। तो कार्यात्मक को स्थानीय कहा जाता है। अन्यथा इसे गैर-स्थानीय कहा जाता है। उदाहरण के लिए: $$F(y) = \int_{x_0}^{x_1}y(x)\;\mathrm{d}x$$ जबकि स्थानीय है $$F(y) = \frac{\int_{x_0}^{x_1}y(x)\;\mathrm{d}x}{\int_{x_0}^{x_1} (1+ [y(x)]^2)\;\mathrm{d}x}$$ यह गैर-स्थानीय है। यह सामान्यतः तब होता है। जब समीकरण के अंश और हर में इंटीग्रल अलग-अलग होते हैं। जैसे द्रव्यमान के केंद्र की गणना में इसका प्रयोग किया जाता है।

कार्यात्मक समीकरण
पारंपरिक उपयोग तब भी संचालित होता है। जब कोई कार्यात्मक समीकरण के बारे में बात करता है। जिसका अर्थ है कार्यात्मक के बीच एक समीकरण $$F = G$$ कार्यों के बीच 'हल करने के लिए समीकरण' के रूप में पढ़ा जा सकता है, समाधान स्वयं कार्य करता है। इस प्रकार के समीकरणों में चर अज्ञात होने के कई सेट हो सकते हैं। जैसे कि जब यह कहा जाता है कि एक योगात्मक मानचित्र $$f$$ कॉची के कार्यात्मक समीकरण को संतुष्ट करने वाला एक है: $$f(x + y) = f(x) + f(y) \qquad \text{ for all } x, y.$$

व्युत्पन्न और एकीकरण
लाग्रंगियन यांत्रिकी में कार्यात्मक डेरिवेटिव का उपयोग किया जाता है। वे कार्यात्मकताओं कार्यात्मक व्युत्पन्न हैं। अर्थात् वे इस बात की जानकारी रखते हैं कि जब इनपुट कार्य में थोड़ी मात्रा में परिवर्तन होता है। तो कार्यात्मक परिवर्तन कैसे होता है।

रिचर्ड फेनमैन ने क्वांटम यांत्रिकी के अपने पथ अभिन्न सूत्रीकरण सूत्रीकरण में केंद्रीय विचार के रूप में कार्यात्मक एकीकरण का उपयोग किया। यह उपयोग कुछ समारोह स्थान पर लिया गया अभिन्न अंग है।

यह भी देखें

 * रैखिक रूप
 * टेन्सर
 * टेन्सर