फलन संरचना

गणित में, फ़ंक्शन संरचना ऑपरेशन है $\circ$ जो दो कार्य करता है (गणित) $f$ और $g$ , और फ़ंक्शन उत्पन्न करता है $h = g \circ f$ ऐसा है कि $h (x) = g (f (x))$ . इस ऑपरेशन में, function $g$ फ़ंक्शन को लागू करने के परिणाम के लिए फ़ंक्शन अनुप्रयोग है $f$ को $x$ . यानी कार्य $f : X \to Y$ और $g : Y \to Z$ फ़ंक्शन उत्पन्न करने के लिए बनाए गए हैं जो मैप करता है $x$ किसी फ़ंक्शन के डोमेन में $X$ को $g (f (x))$ कोडोमेन में $Z$ . सहज रूप से, यदि $z$ का कार्य है $y$ , और $y$ का कार्य है $x$ , तब $z$ का कार्य है $x$ . परिणामी समग्र फ़ंक्शन को दर्शाया गया है $g \circ f : X \to Z$ , द्वारा परिभाषित $(g \circ f)(x) = g (f (x))$ सभी के लिए $x$ में $X$ .^{[nb 1]}

संकेतन $g \circ f$ के रूप में पढ़ा जाता है $g$ का $f$ , $g$ बाद $f$ , $g$ घेरा $f$ , $g$ गोल $f$ , $g$ के बारे में $f$ , $g$ के साथ रचित $f$ , $g$ अगले $f$ , $f$ तब $g$ , या $g$ पर $f$ , या की रचना $g$ और $f$ . सहज रूप से, फ़ंक्शंस की रचना श्रृंखलाबद्ध प्रक्रिया है जिसमें फ़ंक्शन का आउटपुट होता है $f$ फ़ंक्शन का इनपुट फ़ीड करता है $g$ .

कार्यों की संरचना संबंधों की संरचना का विशेष मामला है, जिसे कभी-कभी इसके द्वारा भी दर्शाया जाता है $\circ$ . परिणामस्वरूप, संबंधों की संरचना के सभी गुण कार्यों की संरचना के समान होते हैं,^[1]जैसे Properties की संपत्ति.

फ़ंक्शंस की संरचना फ़ंक्शंस के उत्पाद फ़ंक्शन (यदि परिभाषित हो) से भिन्न होती है, और इसमें कुछ बिल्कुल भिन्न गुण होते हैं; विशेष रूप से, कार्यों की संरचना क्रमविनिमेय संपत्ति नहीं है।^[2]

उदाहरण

दो कार्यों की संरचना के लिए ठोस उदाहरण.

* परिमित समुच्चय पर फलनों की संरचना: यदि $f = {(1, 1), (2, 3), (3, 1), (4, 2)}$ , और $g = {(1, 2), (2, 3), (3, 1), (4, 2)}$ , तब $g \circ f = {(1, 2), (2, 1), (3, 2), (4, 3)}$ , जैसा कि चित्र में दिखाया गया है।

अनंत सेट पर फ़ंक्शंस की संरचना: यदि $f : R \to R$ (कहाँ $R$ सभी वास्तविक संख्याओं का समुच्चय है) द्वारा दिया गया है $f (x) = 2 x + 4$ और $g : R \to R$ द्वारा दिया गया है $g (x) = x 3$ , तब:
$(f \circ g)(x) = f (g (x)) = f (x 3) = 2 x 3 + 4$ , and

$(g \circ f)(x) = g (f (x)) = g (2 x + 4) = (2 x + 4) 3$ .
यदि किसी हवाई जहाज की समय पर ऊंचाई है $t$ है $a (t)$ , और ऊंचाई पर हवा का दबाव $x$ है $p (x)$ , तब $(p \circ a)(t)$ समय पर विमान के चारों ओर दबाव है $t$ .

गुण

कार्यों की संरचना हमेशा साहचर्य होती है - संबंधों की संरचना से विरासत में मिली संपत्ति।^[1]अर्थात यदि $f$ , $g$ , और $h$ तो रचना योग्य हैं $f \circ (g \circ h) = (f \circ g) \circ h$ .^[3] चूँकि कोष्ठक परिणाम नहीं बदलते हैं, इसलिए उन्हें आम तौर पर छोड़ दिया जाता है।

एक सख्त अर्थ में, रचना $g \circ f$ केवल तभी सार्थक है जब का कोडोमेन $f$ के डोमेन के बराबर है $g$ ; व्यापक अर्थ में, यह पर्याप्त है कि पहला, बाद वाले का अनुचित उपसमुच्चय हो।^{[nb 2]}इसके अलावा, के डोमेन को चुपचाप प्रतिबंधित करना अक्सर सुविधाजनक होता है $f$ , ऐसा है कि $f$ के क्षेत्र में केवल मान उत्पन्न करता है $g$ . उदाहरण के लिए, रचना $g \circ f$ कार्यों का $f : R \to (-\infty,+9]$ द्वारा परिभाषित $f (x) = 9 - x 2$ और $g : [0,+\infty) \to R$ द्वारा परिभाषित $g(x)={\sqrt {x}}$ अंतराल पर परिभाषित किया जा सकता है (गणित) $[-3,+3]$ .

दो वास्तविक संख्या फलनों, निरपेक्ष मान और घन फलन की संरचनाएं, अलग-अलग क्रम में, संरचना की गैर-अनुक्रमणात्मकता दर्शाती हैं।

कार्य $g$ और $f$ को दूसरे के साथ क्रमविनिमेय कहा जाता है यदि $g \circ f = f \circ g$ . क्रमपरिवर्तनशीलता विशेष संपत्ति है, जो केवल विशेष कार्यों द्वारा और अक्सर विशेष परिस्थितियों में ही प्राप्त की जाती है। उदाहरण के लिए, $| x | + 3 = | x + 3 |$ केवल जब $x \geq 0$ . चित्र और उदाहरण दिखाता है.

वन-टू-वन फ़ंक्शन|वन-टू-वन (इंजेक्टिव) फ़ंक्शंस की संरचना हमेशा वन-टू-वन होती है। इसी प्रकार, कार्य पर (विशेषण) फ़ंक्शंस की संरचना हमेशा ऑन होती है। इससे यह निष्कर्ष निकलता है कि दो आक्षेपों की रचना भी आक्षेप है। किसी रचना के व्युत्क्रम फलन (उलटा माना जाता है) में वह गुण होता है $(f \circ g) -1 = g -1 \circ f -1$ .^[4]

भिन्न-भिन्न कार्यों को शामिल करने वाली रचनाओं के व्युत्पन्न श्रृंखला नियम का उपयोग करके पाए जा सकते हैं। ऐसे कार्यों के उच्च व्युत्पन्न फा डि ब्रूनो के सूत्र द्वारा दिए गए हैं।^[3]

संरचना मोनोइड्स

मान लीजिए कि किसी के दो (या अधिक) कार्य हैं $f : X \to X,$ $g : X \to X$ समान डोमेन और कोडोमेन होना; इन्हें अक्सर परिवर्तन (फ़ंक्शन) कहा जाता है। फिर कोई साथ मिलकर परिवर्तनों की श्रृंखला बना सकता है, जैसे $f \circ f \circ g \circ f$ . ऐसी श्रृंखलाओं में मोनॉइड की बीजगणितीय संरचना होती है, जिसे ट्रांसफ़ॉर्मेशन मोनॉइड या (बहुत कम ही) परिवर्तन मोनॉयड कहा जाता है। सामान्य तौर पर, ट्रांसफॉर्मेशन मोनोइड्स में उल्लेखनीय रूप से जटिल संरचना हो सकती है। विशेष उल्लेखनीय उदाहरण डी राम वक्र है। सभी कार्यों का सेट $f : X \to X$ को पूर्ण परिवर्तन अर्धसमूह कहा जाता है^[5]या सममित अर्धसमूह^[6]पर $X$ . (कोई वास्तव में दो अर्धसमूहों को परिभाषित कर सकता है, यह इस पर निर्भर करता है कि कोई अर्धसमूह संचालन को कार्यों की बाईं या दाईं संरचना के रूप में कैसे परिभाषित करता है।^[7]

घूर्णन के अंतर्गत A की छवि

R

U है, जिसे लिखा जा सकता है

R

(A) = U. And

H

(U) = B का अर्थ है कि मानचित्र (गणित)

H

परिवर्तन करता है U into B. Thus

H (R

(A)) =

(H \circ R)

(A) = B.

यदि परिवर्तन विशेषणात्मक (और इस प्रकार व्युत्क्रमणीय) हैं, तो इन कार्यों के सभी संभावित संयोजनों का सेट परिवर्तन समूह बनाता है; और कोई कहता है कि समूह इन कार्यों द्वारा समूह जनरेटर है। समूह सिद्धांत में मौलिक परिणाम, केली का प्रमेय, अनिवार्य रूप से कहता है कि कोई भी समूह वास्तव में क्रमपरिवर्तन समूह ( समाकृतिकता तक) का उपसमूह है।^[8]

सभी विशेषण कार्यों का समुच्चय $f : X \to X$ (क्रमपरिवर्तन कहा जाता है) कार्य संरचना के संबंध में समूह बनाता है। यह सममित समूह है, जिसे कभी-कभी रचना समूह भी कहा जाता है।

सममित अर्धसमूह (सभी परिवर्तनों में से) में व्युत्क्रम की कमजोर, गैर-अद्वितीय धारणा भी पाई जाती है (जिसे छद्म व्युत्क्रम कहा जाता है) क्योंकि सममित अर्धसमूह नियमित अर्धसमूह है।^[9]

कार्यात्मक शक्तियाँ

अगर $Y \subseteq X$ , तब $f : X \to Y$ स्वयं से रचना कर सकता है; इसे कभी-कभी इस रूप में दर्शाया जाता है $f 2$ . वह है:

(f \circ f)(x) = f (f (x)) = f 2 (x)

(f \circ f \circ f)(x) = f (f (f (x))) = f 3 (x)

(f \circ f \circ f \circ f)(x) = f (f (f (f (x)))) = f 4 (x)

अधिक सामान्यतः, किसी भी प्राकृतिक संख्या के लिए $n \geq 2$ , द $n$ वें कार्यात्मक घातांक को आगमनात्मक रूप से परिभाषित किया जा सकता है $f n = f \circ f n -1 = f n -1 \circ f$ , हंस हेनरिक बर्मन द्वारा प्रस्तुत संकेतन^[10]^[11]और जॉन फ्रेडरिक विलियम हर्शल.^[12]^[10]^[13]^[11]ऐसे फ़ंक्शन की स्वयं के साथ बार-बार रचना को पुनरावृत्त फ़ंक्शन कहा जाता है।

रिवाज के सन्दर्भ मे, $f 0$ को पहचान मानचित्र के रूप में परिभाषित किया गया है $f$ का डोमेन, $id X$ .
अगर यहाँ तक कि $Y = X$ और $f : X \to X$ व्युत्क्रम फलन स्वीकार करता है $f -1$ , नकारात्मक कार्यात्मक शक्तियां $f - n$ के लिए परिभाषित हैं $n > 0$ व्युत्क्रम फलन की योगात्मक व्युत्क्रम शक्ति के रूप में: $f - n = (f -1) n$ .^[12]^[10]^[11]

नोट: यदि $f$ अपने मूल्यों को रिंग (गणित) में लेता है (विशेष रूप से वास्तविक या जटिल-मूल्य के लिए $f$ ), भ्रम का खतरा है, जैसे $f n$ के लिए भी खड़ा हो सकता है $n$ -गुना उत्पाद का $f$ , उदा. $f 2 (x) = f (x) \cdot f (x)$ .^[11]त्रिकोणमितीय कार्यों के लिए, आमतौर पर उत्तरार्द्ध का मतलब होता है, कम से कम सकारात्मक घातांक के लिए।^[11]उदाहरण के लिए, त्रिकोणमिति में, त्रिकोणमितीय कार्यों के साथ उपयोग किए जाने पर यह सुपरस्क्रिप्ट नोटेशन मानक घातांक का प्रतिनिधित्व करता है: $sin 2 (x) = sin(x) \cdot sin(x)$ . हालाँकि, नकारात्मक घातांक (विशेषकर −1) के लिए, यह आमतौर पर व्युत्क्रम फलन को संदर्भित करता है, उदाहरण के लिए, $tan -1 = arctan \neq 1/tan$ .

कुछ मामलों में, जब, किसी दिए गए फ़ंक्शन के लिए $f$ , समीकरण $g \circ g = f$ का अनोखा समाधान है $g$ , उस फ़ंक्शन को कार्यात्मक वर्गमूल के रूप में परिभाषित किया जा सकता है $f$ , फिर इस प्रकार लिखा गया $g = f 1/2$ .

अधिक सामान्यतः, जब $g n = f$ के पास कुछ प्राकृतिक संख्या के लिए अनूठा समाधान है $n > 0$ , तब $f m / n$ को इस प्रकार परिभाषित किया जा सकता है $g m$ .

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

अस्पष्टता से बचने के लिए, कुछ गणितज्ञ उपयोग करना चुनें $\circ$ रचनात्मक अर्थ को निरूपित करने के लिए, लिखना $f \circ n (x)$ के लिए $n$ -फ़ंक्शन का पुनरावृत्त $f (x)$ , जैसे, उदाहरण के लिए, $f \circ3 (x)$ अर्थ $f (f (f (x)))$ . इसी उद्देश्य से, $f [n] (x)$ का प्रयोग बेंजामिन पियर्स द्वारा किया गया था^[14]^[11]जबकि अल्फ्रेड प्रिंग्सहेम और जूल्स मोल्क ने सुझाव दिया था $n f (x)$ बजाय।^[15]^[11]^{[nb 3]}

वैकल्पिक संकेतन

कई गणितज्ञ, विशेषकर समूह सिद्धांत में, रचना चिह्न, लेखन को छोड़ देते हैं $gf$ के लिए $g \circ f$ .^[16]

20वीं सदी के मध्य में कुछ गणितज्ञों ने लेखन का निर्णय लिया $g \circ f$ का अर्थ है पहले आवेदन करें $f$ , फिर आवेदन करें $g$ बहुत भ्रमित करने वाला था और उसने नोटेशन बदलने का निर्णय लिया। वे लिखते हैं $xf$ के लिए $f (x)$ और $(xf) g$ के लिए $g (f (x))$ .^[17]यह कुछ क्षेत्रों में उपसर्ग संकेतन लिखने की तुलना में अधिक स्वाभाविक और सरल लग सकता है - उदाहरण के लिए, रैखिक बीजगणित में, जब $x$ पंक्ति सदिश है और $f$ और $g$ मैट्रिक्स (गणित) को निरूपित करें और संरचना मैट्रिक्स गुणन द्वारा है। इस वैकल्पिक नोटेशन को उपसर्ग संकेतन कहा जाता है। क्रम महत्वपूर्ण है क्योंकि फ़ंक्शन संरचना आवश्यक रूप से क्रमविनिमेय नहीं है (जैसे मैट्रिक्स गुणन)। दायीं ओर लागू होने वाले और रचना करने वाले क्रमिक परिवर्तन बाएँ से दाएँ पढ़ने के क्रम से सहमत होते हैं।

गणितज्ञ जो पोस्टफिक्स नोटेशन का उपयोग करते हैं वे लिख सकते हैं $fg$ , मतलब पहले अप्लाई करें $f$ और फिर आवेदन करें $g$ , क्रम को ध्यान में रखते हुए प्रतीक पोस्टफिक्स नोटेशन में होते हैं, इस प्रकार नोटेशन बनता है $fg$ अस्पष्ट। कंप्यूटर वैज्ञानिक लिख सकते हैं $f; g$ इसके लिए,^[18]जिससे रचना का क्रम स्पष्ट नहीं हो पाता। किसी पाठ अर्धविराम से बाएँ रचना संचालक को अलग करने के लिए, Z अंकन में बाएँ संबंध रचना के लिए ⨾ वर्ण का उपयोग किया जाता है।^[19]चूँकि सभी फ़ंक्शन बाइनरी रिलेशन#विशेष प्रकार के बाइनरी रिलेशन हैं, इसलिए फ़ंक्शन संरचना के लिए भी [वसा] अर्धविराम का उपयोग करना सही है (इस नोटेशन पर अधिक जानकारी के लिए संबंधों की संरचना पर लेख देखें)।

संरचना संचालक

एक फ़ंक्शन दिया गया $g$ , रचना संचालक $C g$ को उस ऑपरेटर (गणित) के रूप में परिभाषित किया गया है जो कार्यों को कार्यों के रूप में मैप करता है

C_{g}f=f\circ g.

कंपोजीशन ऑपरेटरों का अध्ययन ऑपरेटर सिद्धांत के क्षेत्र में किया जाता है।

प्रोग्रामिंग भाषाओं में

फ़ंक्शन संरचना अनेक प्रोग्रामिंग भाषाओं में किसी न किसी रूप में प्रकट होती है।

बहुभिन्नरूपी कार्य

बहुभिन्नरूपी कार्यों के लिए आंशिक संरचना संभव है। कुछ तर्क होने पर परिणामी फ़ंक्शन $x i$ फ़ंक्शन का $f$ को फ़ंक्शन द्वारा प्रतिस्थापित किया जाता है $g$ की रचना कहलाती है $f$ और $g$ कुछ कंप्यूटर इंजीनियरिंग संदर्भों में, और दर्शाया गया है $f | x i = g$

f|_{x_{i}=g}=f(x_{1},\ldots ,x_{i-1},g(x_{1},x_{2},\ldots ,x_{n}),x_{i+1},\ldots ,x_{n}).

कब

g

साधारण स्थिरांक है

b

, रचना (आंशिक) मूल्यांकन में बदल जाती है, जिसके परिणाम को प्रतिबंध (गणित) या सह-कारक के रूप में भी जाना जाता है।^[20]

f|_{x_{i}=b}=f(x_{1},\ldots ,x_{i-1},b,x_{i+1},\ldots ,x_{n}).

सामान्य तौर पर, बहुभिन्नरूपी कार्यों की संरचना में तर्क के रूप में कई अन्य कार्य शामिल हो सकते हैं, जैसे कि आदिम पुनरावर्ती फ़ंक्शन की परिभाषा में। दिया गया

f

, ए

n

-एरी फ़ंक्शन, और

n

m

-एरी फ़ंक्शंस

g 1, ..., g n

, की रचना

f

साथ

g 1, ..., g n

, है

m

-एरी फ़ंक्शन

h(x_{1},\ldots ,x_{m})=f(g_{1}(x_{1},\ldots ,x_{m}),\ldots ,g_{n}(x_{1},\ldots ,x_{m})).

इसे कभी-कभी एफ का सामान्यीकृत सम्मिश्रण या सुपरपोजिशन भी कहा जाता है

g 1, ..., g n

.^[21]पहले उल्लिखित केवल तर्क में आंशिक संरचना को उपयुक्त रूप से चुने गए प्रक्षेपण कार्यों को छोड़कर सभी तर्क कार्यों को सेट करके इस अधिक सामान्य योजना से त्वरित किया जा सकता है। यहाँ

g 1, ..., g n

को इस सामान्यीकृत योजना में एकल वेक्टर/टपल -वैल्यू फ़ंक्शन के रूप में देखा जा सकता है, इस मामले में यह फ़ंक्शन संरचना की बिल्कुल मानक परिभाषा है।^[22]

कुछ बेस सेट ध्यान दें कि क्लोन में आम तौर पर विभिन्न प्रकार के ऑपरेशन होते हैं।^[21]रूपान्तरण की धारणा को बहुभिन्नरूपी मामले में दिलचस्प सामान्यीकरण भी मिलता है; कहा जाता है कि arity n का फ़ंक्शन f, arity m के फ़ंक्शन g के साथ परिवर्तित होता है यदि f समरूपता है जो g को संरक्षित करता है, और इसके विपरीत अर्थात:^[21]

f(g(a_{11},\ldots ,a_{1m}),\ldots ,g(a_{n1},\ldots ,a_{nm}))=g(f(a_{11},\ldots ,a_{n1}),\ldots ,f(a_{1m},\ldots ,a_{nm})).

एक यूनरी ऑपरेशन हमेशा अपने साथ ही चलता है, लेकिन बाइनरी (या उच्चतर एरीटी) ऑपरेशन के मामले में यह जरूरी नहीं है। बाइनरी (या उच्चतर एरीटी) ऑपरेशन जो स्वयं के साथ संचार करता है उसे औसत दर्जे का मैग्मा कहा जाता है।^[21]

सामान्यीकरण

संबंधों की संरचना को मनमाने ढंग से द्विआधारी संबंधों के लिए सामान्यीकृत किया जा सकता है। अगर $R \subseteq X \times Y$ और $S \subseteq Y \times Z$ दो द्विआधारी संबंध हैं, फिर उनकी रचना $R \circ S$ संबंध को इस प्रकार परिभाषित किया गया है ${(x, z) \in X \times Z : \exists y \in Y . (x, y) \in R \land (y, z) \in S}$ . किसी फ़ंक्शन को द्विआधारी संबंध (अर्थात् कार्यात्मक संबंध) के विशेष मामले के रूप में मानते हुए, फ़ंक्शन संरचना संबंध संरचना की परिभाषा को संतुष्ट करती है। छोटा वृत्त $R \circ S$ का उपयोग Composition_of_relations#Notational_variations, साथ ही कार्यों के लिए किया गया है। जब कार्यों की संरचना का प्रतिनिधित्व करने के लिए उपयोग किया जाता है $(g\circ f)(x)\ =\ g(f(x))$ हालाँकि, अलग-अलग ऑपरेशन अनुक्रमों को तदनुसार दर्शाने के लिए पाठ अनुक्रम को उलट दिया गया है।

रचना को आंशिक कार्यों के लिए उसी तरह से परिभाषित किया गया है और केली के प्रमेय का एनालॉग वैगनर-प्रेस्टन प्रमेय कहा जाता है।^[23]

आकारिकी के रूप में कार्यों वाले सेटों की श्रेणी प्रोटोटाइपिक श्रेणी (गणित) है। किसी श्रेणी के अभिगृहीत वास्तव में फ़ंक्शन संरचना के गुणों (और परिभाषा) से प्रेरित होते हैं।^[24]संरचना द्वारा दी गई संरचनाएं कार्यों के श्रेणी-सैद्धांतिक प्रतिस्थापन के रूप में रूपवाद की अवधारणा के साथ श्रेणी सिद्धांत में स्वयंसिद्ध और सामान्यीकृत हैं। सूत्र में रचना का उलटा क्रम $(f \circ g) -1 = (g -1 \circ f -1)$ विपरीत संबंधों का उपयोग करके संबंधों की संरचना के लिए लागू होता है, और इस प्रकार समूह सिद्धांत में। ये संरचनाएँ खंजर श्रेणी बनाती हैं।

टाइपोग्राफी

रचना चिन्ह $\circ$ के रूप में एन्कोड किया गया है U+2218 ∘ RING OPERATOR (&compfn;, &SmallCircle;); समान दिखने वाले यूनिकोड वर्णों के लिए डिग्री प्रतीक#लुकलाइक्स लेख देखें। TeX में लिखा है \circ.

यह भी देखें

मकड़ी के जाले की साजिश - कार्यात्मक संरचना के लिए ग्राफिकल तकनीक
संयोजन तर्क
रचना वलय, रचना संचालन का औपचारिक स्वयंसिद्धीकरण
प्रवाह (गणित)
फ़ंक्शन संरचना (कंप्यूटर विज्ञान)
यादृच्छिक चर#यादृच्छिक चर के कार्य, यादृच्छिक चर के फ़ंक्शन का वितरण
कार्यात्मक अपघटन
कार्यात्मक वर्गमूल
उच्च-क्रम का कार्य
विश्लेषणात्मक कार्यों की अनंत रचनाएँ
पुनरावृत्त फ़ंक्शन
लैम्ब्डा कैलकुलस

↑ Some authors use $f \circ g : X \to Z$ , defined by $(f \circ g)(x) = g (f (x))$ instead. This is common when a postfix notation is used, especially if functions are represented by exponents, as, for instance, in the study of group actions. See Dixon, John D.; Mortimer, Brian (1996). Permutation groups. Springer. p. 5. ISBN 0-387-94599-7.
↑ The strict sense is used, e.g., in category theory, where a subset relation is modelled explicitly by an inclusion function.
↑ Alfred Pringsheim's and Jules Molk's (1907) notation $n f (x)$ to denote function compositions must not be confused with Rudolf von Bitter Rucker's (1982) notation $n x$ , introduced by Hans Maurer (1901) and Reuben Louis Goodstein (1947) for tetration, or with David Patterson Ellerman's (1995) $n x$ pre-superscript notation for roots.

संदर्भ

↑ ^1.0 ^1.1 Velleman, Daniel J. (2006). How to Prove It: A Structured Approach. Cambridge University Press. p. 232. ISBN 978-1-139-45097-3.
↑ "3.4: Composition of Functions". Mathematics LibreTexts (in English). 2020-01-16. Retrieved 2020-08-28.
↑ ^3.0 ^3.1 Weisstein, Eric W. "संघटन". mathworld.wolfram.com (in English). Retrieved 2020-08-28.
↑ Rodgers, Nancy (2000). Learning to Reason: An Introduction to Logic, Sets, and Relations. John Wiley & Sons. pp. 359–362. ISBN 978-0-471-37122-9.
↑ Hollings, Christopher (2014). Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups. American Mathematical Society. p. 334. ISBN 978-1-4704-1493-1.
↑ Grillet, Pierre A. (1995). Semigroups: An Introduction to the Structure Theory. CRC Press. p. 2. ISBN 978-0-8247-9662-4.
↑ Dömösi, Pál; Nehaniv, Chrystopher L. (2005). Algebraic Theory of Automata Networks: An introduction. SIAM. p. 8. ISBN 978-0-89871-569-9.
↑ Carter, Nathan (2009-04-09). Visual Group Theory. MAA. p. 95. ISBN 978-0-88385-757-1.
↑ Ganyushkin, Olexandr; Mazorchuk, Volodymyr (2008). Classical Finite Transformation Semigroups: An Introduction. Springer Science & Business Media. p. 24. ISBN 978-1-84800-281-4.
↑ ^10.0 ^10.1 ^10.2 Herschel, John Frederick William (1820). "Part III. Section I. Examples of the Direct Method of Differences". A Collection of Examples of the Applications of the Calculus of Finite Differences. Cambridge, UK: Printed by J. Smith, sold by J. Deighton & sons. pp. 1–13 [5–6]. Archived from the original on 2020-08-04. Retrieved 2020-08-04. [1] (NB. Inhere, Herschel refers to his 1813 work and mentions Hans Heinrich Bürmann's older work.)
↑ ^11.0 ^11.1 ^11.2 ^11.3 ^11.4 ^11.5 ^11.6 Cajori, Florian (1952) [March 1929]. "§472. The power of a logarithm / §473. Iterated logarithms / §533. John Herschel's notation for inverse functions / §535. Persistence of rival notations for inverse functions / §537. Powers of trigonometric functions". A History of Mathematical Notations. Vol. 2 (3rd corrected printing of 1929 issue, 2nd ed.). Chicago, USA: Open court publishing company. pp. 108, 176–179, 336, 346. ISBN 978-1-60206-714-1. Retrieved 2016-01-18. […] §473. Iterated logarithms […] We note here the symbolism used by Pringsheim and Molk in their joint Encyclopédie article: "²log_b a = log_b (log_b a), …, ^k+1log_b a = log_b (^klog_b a)."^[a] […] §533. John Herschel's notation for inverse functions, sin⁻¹ x, tan⁻¹ x, etc., was published by him in the Philosophical Transactions of London, for the year 1813. He says (p. 10): "This notation cos.⁻¹ e must not be understood to signify 1/cos. e, but what is usually written thus, arc (cos.=e)." He admits that some authors use cos.^m A for (cos. A)^m, but he justifies his own notation by pointing out that since d² x, Δ³ x, Σ² x mean dd x, ΔΔΔ x, ΣΣ x, we ought to write sin.² x for sin. sin. x, log.³ x for log. log. log. x. Just as we write d⁻ⁿ V=∫ⁿ V, we may write similarly sin.⁻¹ x=arc (sin.=x), log.⁻¹ x.=c^x. Some years later Herschel explained that in 1813 he used fⁿ(x), f⁻ⁿ(x), sin.⁻¹ x, etc., "as he then supposed for the first time. The work of a German Analyst, Burmann, has, however, within these few months come to his knowledge, in which the same is explained at a considerably earlier date. He[Burmann], however, does not seem to have noticed the convenience of applying this idea to the inverse functions tan⁻¹, etc., nor does he appear at all aware of the inverse calculus of functions to which it gives rise." Herschel adds, "The symmetry of this notation and above all the new and most extensive views it opens of the nature of analytical operations seem to authorize its universal adoption."^[b] […] §535. Persistence of rival notations for inverse function.— […] The use of Herschel's notation underwent a slight change in Benjamin Peirce's books, to remove the chief objection to them; Peirce wrote: "cos^[−1] x," "log^[−1] x."^[c] […] §537. Powers of trigonometric functions.—Three principal notations have been used to denote, say, the square of sin x, namely, (sin x)², sin x², sin² x. The prevailing notation at present is sin² x, though the first is least likely to be misinterpreted. In the case of sin² x two interpretations suggest themselves; first, sin x · sin x; second,^[d] sin (sin x). As functions of the last type do not ordinarily present themselves, the danger of misinterpretation is very much less than in case of log² x, where log x · log x and log (log x) are of frequent occurrence in analysis. […] The notation sinⁿ x for (sin x)ⁿ has been widely used and is now the prevailing one. […] (xviii+367+1 pages including 1 addenda page) (NB. ISBN and link for reprint of 2nd edition by Cosimo, Inc., New York, USA, 2013.)
↑ ^12.0 ^12.1 Herschel, John Frederick William (1813) [1812-11-12]. "On a Remarkable Application of Cotes's Theorem". Philosophical Transactions of the Royal Society of London. London: Royal Society of London, printed by W. Bulmer and Co., Cleveland-Row, St. James's, sold by G. and W. Nicol, Pall-Mall. 103 (Part 1): 8–26 [10]. doi:10.1098/rstl.1813.0005. JSTOR 107384. S2CID 118124706.
↑ Peano, Giuseppe (1903). Formulaire mathématique (in français). Vol. IV. p. 229.
↑ Peirce, Benjamin (1852). Curves, Functions and Forces. Vol. I (new ed.). Boston, USA. p. 203.{{cite book}}: CS1 maint: location missing publisher (link)
↑ Pringsheim, Alfred; Molk, Jules (1907). Encyclopédie des sciences mathématiques pures et appliquées (in français). Vol. I. p. 195. Part I.
↑ Ivanov, Oleg A. (2009-01-01). Making Mathematics Come to Life: A Guide for Teachers and Students. American Mathematical Society. pp. 217–. ISBN 978-0-8218-4808-1.
↑ Gallier, Jean (2011). Discrete Mathematics. Springer. p. 118. ISBN 978-1-4419-8047-2.
↑ Barr, Michael; Wells, Charles (1998). Category Theory for Computing Science (PDF). p. 6. Archived from the original (PDF) on 2016-03-04. Retrieved 2014-08-23. (NB. This is the updated and free version of book originally published by Prentice Hall in 1990 as ISBN 978-0-13-120486-7.)
↑ ISO/IEC 13568:2002(E), p. 23
↑ Bryant, R. E. (August 1986). "Logic Minimization Algorithms for VLSI Synthesis" (PDF). IEEE Transactions on Computers. C-35 (8): 677–691. doi:10.1109/tc.1986.1676819. S2CID 10385726.
↑ ^21.0 ^21.1 ^21.2 ^21.3 Bergman, Clifford (2011). Universal Algebra: Fundamentals and Selected Topics. CRC Press. pp. 79–80, 90–91. ISBN 978-1-4398-5129-6.
↑ Tourlakis, George (2012). Theory of Computation. John Wiley & Sons. p. 100. ISBN 978-1-118-31533-0.
↑ Lipscomb, S. (1997). Symmetric Inverse Semigroups. AMS Mathematical Surveys and Monographs. p. xv. ISBN 0-8218-0627-0.
↑ Hilton, Peter; Wu, Yel-Chiang (1989). A Course in Modern Algebra. John Wiley & Sons. p. 65. ISBN 978-0-471-50405-4.

बाहरी संबंध

"Composite function", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
"Composition of Functions" by Bruce Atwood, the Wolfram Demonstrations Project, 2007.

[NB_Dixon_1996-1] Some authors use $f \circ g : X \to Z$ , defined by $(f \circ g)(x) = g (f (x))$ instead. This is common when a postfix notation is used, especially if functions are represented by exponents, as, for instance, in the study of group actions. See Dixon, John D.; Mortimer, Brian (1996). Permutation groups. Springer. p. 5. ISBN 0-387-94599-7.

[NB_Strict-5] The strict sense is used, e.g., in category theory, where a subset relation is modelled explicitly by an inclusion function.

[NB_Rucker-18] Alfred Pringsheim's and Jules Molk's (1907) notation $n f (x)$ to denote function compositions must not be confused with Rudolf von Bitter Rucker's (1982) notation $n x$ , introduced by Hans Maurer (1901) and Reuben Louis Goodstein (1947) for tetration, or with David Patterson Ellerman's (1995) $n x$ pre-superscript notation for roots.

[Velleman_2006-2] 1.0 ^1.1 Velleman, Daniel J. (2006). How to Prove It: A Structured Approach. Cambridge University Press. p. 232. ISBN 978-1-139-45097-3.

[3] "3.4: Composition of Functions". Mathematics LibreTexts (in English). 2020-01-16. Retrieved 2020-08-28.

[:0-4] 3.0 ^3.1 Weisstein, Eric W. "संघटन". mathworld.wolfram.com (in English). Retrieved 2020-08-28.

[Rodgers_2000-6] Rodgers, Nancy (2000). Learning to Reason: An Introduction to Logic, Sets, and Relations. John Wiley & Sons. pp. 359–362. ISBN 978-0-471-37122-9.

[Hollings_2014-7] Hollings, Christopher (2014). Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups. American Mathematical Society. p. 334. ISBN 978-1-4704-1493-1.

[Grillet_1995-8] Grillet, Pierre A. (1995). Semigroups: An Introduction to the Structure Theory. CRC Press. p. 2. ISBN 978-0-8247-9662-4.

[Dömösi-Nehaniv_2005-9] Dömösi, Pál; Nehaniv, Chrystopher L. (2005). Algebraic Theory of Automata Networks: An introduction. SIAM. p. 8. ISBN 978-0-89871-569-9.

[Carter_2009-10] Carter, Nathan (2009-04-09). Visual Group Theory. MAA. p. 95. ISBN 978-0-88385-757-1.

[Ganyushkin-Mazorchuk_2008-11] Ganyushkin, Olexandr; Mazorchuk, Volodymyr (2008). Classical Finite Transformation Semigroups: An Introduction. Springer Science & Business Media. p. 24. ISBN 978-1-84800-281-4.

[Herschel_1820-12] 10.0 ^10.1 ^10.2 Herschel, John Frederick William (1820). "Part III. Section I. Examples of the Direct Method of Differences". A Collection of Examples of the Applications of the Calculus of Finite Differences. Cambridge, UK: Printed by J. Smith, sold by J. Deighton & sons. pp. 1–13 [5–6]. Archived from the original on 2020-08-04. Retrieved 2020-08-04. [1] (NB. Inhere, Herschel refers to his 1813 work and mentions Hans Heinrich Bürmann's older work.)

[Cajori_1929-13] 11.0 ^11.1 ^11.2 ^11.3 ^11.4 ^11.5 ^11.6 Cajori, Florian (1952) [March 1929]. "§472. The power of a logarithm / §473. Iterated logarithms / §533. John Herschel's notation for inverse functions / §535. Persistence of rival notations for inverse functions / §537. Powers of trigonometric functions". A History of Mathematical Notations. Vol. 2 (3rd corrected printing of 1929 issue, 2nd ed.). Chicago, USA: Open court publishing company. pp. 108, 176–179, 336, 346. ISBN 978-1-60206-714-1. Retrieved 2016-01-18. […] §473. Iterated logarithms […] We note here the symbolism used by Pringsheim and Molk in their joint Encyclopédie article: "²log_b a = log_b (log_b a), …, ^k+1log_b a = log_b (^klog_b a)."^[a] […] §533. John Herschel's notation for inverse functions, sin⁻¹ x, tan⁻¹ x, etc., was published by him in the Philosophical Transactions of London, for the year 1813. He says (p. 10): "This notation cos.⁻¹ e must not be understood to signify 1/cos. e, but what is usually written thus, arc (cos.=e)." He admits that some authors use cos.^m A for (cos. A)^m, but he justifies his own notation by pointing out that since d² x, Δ³ x, Σ² x mean dd x, ΔΔΔ x, ΣΣ x, we ought to write sin.² x for sin. sin. x, log.³ x for log. log. log. x. Just as we write d⁻ⁿ V=∫ⁿ V, we may write similarly sin.⁻¹ x=arc (sin.=x), log.⁻¹ x.=c^x. Some years later Herschel explained that in 1813 he used fⁿ(x), f⁻ⁿ(x), sin.⁻¹ x, etc., "as he then supposed for the first time. The work of a German Analyst, Burmann, has, however, within these few months come to his knowledge, in which the same is explained at a considerably earlier date. He[Burmann], however, does not seem to have noticed the convenience of applying this idea to the inverse functions tan⁻¹, etc., nor does he appear at all aware of the inverse calculus of functions to which it gives rise." Herschel adds, "The symmetry of this notation and above all the new and most extensive views it opens of the nature of analytical operations seem to authorize its universal adoption."^[b] […] §535. Persistence of rival notations for inverse function.— […] The use of Herschel's notation underwent a slight change in Benjamin Peirce's books, to remove the chief objection to them; Peirce wrote: "cos^[−1] x," "log^[−1] x."^[c] […] §537. Powers of trigonometric functions.—Three principal notations have been used to denote, say, the square of sin x, namely, (sin x)², sin x², sin² x. The prevailing notation at present is sin² x, though the first is least likely to be misinterpreted. In the case of sin² x two interpretations suggest themselves; first, sin x · sin x; second,^[d] sin (sin x). As functions of the last type do not ordinarily present themselves, the danger of misinterpretation is very much less than in case of log² x, where log x · log x and log (log x) are of frequent occurrence in analysis. […] The notation sinⁿ x for (sin x)ⁿ has been widely used and is now the prevailing one. […] (xviii+367+1 pages including 1 addenda page) (NB. ISBN and link for reprint of 2nd edition by Cosimo, Inc., New York, USA, 2013.)

[Herschel_1813-14] 12.0 ^12.1 Herschel, John Frederick William (1813) [1812-11-12]. "On a Remarkable Application of Cotes's Theorem". Philosophical Transactions of the Royal Society of London. London: Royal Society of London, printed by W. Bulmer and Co., Cleveland-Row, St. James's, sold by G. and W. Nicol, Pall-Mall. 103 (Part 1): 8–26 [10]. doi:10.1098/rstl.1813.0005. JSTOR 107384. S2CID 118124706.

[Peano_1903-15] Peano, Giuseppe (1903). Formulaire mathématique (in français). Vol. IV. p. 229.

[Peirce_1852-16] Peirce, Benjamin (1852). Curves, Functions and Forces. Vol. I (new ed.). Boston, USA. p. 203.{{cite book}}: CS1 maint: location missing publisher (link)

[Pringsheim-Molk_1907-17] Pringsheim, Alfred; Molk, Jules (1907). Encyclopédie des sciences mathématiques pures et appliquées (in français). Vol. I. p. 195. Part I.

[Ivanov_2009-19] Ivanov, Oleg A. (2009-01-01). Making Mathematics Come to Life: A Guide for Teachers and Students. American Mathematical Society. pp. 217–. ISBN 978-0-8218-4808-1.

[Gallier_2011-20] Gallier, Jean (2011). Discrete Mathematics. Springer. p. 118. ISBN 978-1-4419-8047-2.

[Barr-Wells_1990-21] Barr, Michael; Wells, Charles (1998). Category Theory for Computing Science (PDF). p. 6. Archived from the original (PDF) on 2016-03-04. Retrieved 2014-08-23. (NB. This is the updated and free version of book originally published by Prentice Hall in 1990 as ISBN 978-0-13-120486-7.)

[ISOIEC13568-22] ISO/IEC 13568:2002(E), p. 23

[Bryant_1986-23] Bryant, R. E. (August 1986). "Logic Minimization Algorithms for VLSI Synthesis" (PDF). IEEE Transactions on Computers. C-35 (8): 677–691. doi:10.1109/tc.1986.1676819. S2CID 10385726.

[Bergman_2011-24] 21.0 ^21.1 ^21.2 ^21.3 Bergman, Clifford (2011). Universal Algebra: Fundamentals and Selected Topics. CRC Press. pp. 79–80, 90–91. ISBN 978-1-4398-5129-6.

[Tourlakis_2012-25] Tourlakis, George (2012). Theory of Computation. John Wiley & Sons. p. 100. ISBN 978-1-118-31533-0.

[Lipcomb_1997-26] Lipscomb, S. (1997). Symmetric Inverse Semigroups. AMS Mathematical Surveys and Monographs. p. xv. ISBN 0-8218-0627-0.

[Hilton-Wu_1989-27] Hilton, Peter; Wu, Yel-Chiang (1989). A Course in Modern Algebra. John Wiley & Sons. p. 65. ISBN 978-0-471-50405-4.

[nb 1]

[1]

[2]

[3]

[nb 2]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[nb 3]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

Anonymous

Search

फलन संरचना

Namespaces

More

Page actions

Contents

उदाहरण

गुण

संरचना मोनोइड्स

कार्यात्मक शक्तियाँ

वैकल्पिक संकेतन

संरचना संचालक

प्रोग्रामिंग भाषाओं में

बहुभिन्नरूपी कार्य

सामान्यीकरण

टाइपोग्राफी

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

फ़ंक्शन
$x \mapsto f (x)$
डोमेन और कोडोमैन के उदाहरण
$X$ → $\mathbb {B}$ , $\mathbb {B}$ → $X$ , $\mathbb {B} ^{n}$ → $X$ $X$ → $\mathbb {Z}$ , $\mathbb {Z}$ → $X$ $X$ → $\mathbb {R}$ , $\mathbb {R}$ → $X$ , $\mathbb {R} ^{n}$ → $X$ $X$ → $\mathbb {C}$ , $\mathbb {C}$ → $X$ , $\mathbb {C} ^{n}$ → $X$
कक्षाएं/गुण
स्थिर पहचान रैखिक बहुपद तर्कसंगत बीजगणितीय विश्लेषणात्मक चिकनी निरंतर औसत दर्जे का इंजेक्शन सर्जिकल बायजजे
कंस्ट्रक्शन
प्रतिबंध रचना λ उलटा
सामान्यीकरण
आंशिक बहुउद्देशीय निहित स्पेस
v t e

Anonymous

Search

फलन संरचना

उदाहरण

गुण

संरचना मोनोइड्स

कार्यात्मक शक्तियाँ

वैकल्पिक संकेतन

संरचना संचालक

प्रोग्रामिंग भाषाओं में

बहुभिन्नरूपी कार्य

सामान्यीकरण

टाइपोग्राफी

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories