Àkójọpọ̀ Àwọn Iṣẹ́ àti Àwọn Iṣẹ́ Ìyípadà
Nínú ìmọ̀ ìṣirò, iṣẹ́ jẹ́ ohun èlò tí ó wọ́pọ̀ fún ṣíṣàpèjúwe ìbáṣepọ̀ láàrín àwọn ìṣètò méjì. Nínú àpilẹ̀kọ yìí, a ó jíròrò àwọn èrò pàtàkì méjì nínú ìmọ̀ ìṣirò iṣẹ́: ìṣètò iṣẹ́ àti ìyípadà iṣẹ́. Àwọn méjèèjì ní ìlò tó gbòòrò ní onírúurú ẹ̀ka ìmọ̀ sáyẹ́ǹsì, títí bí ìmọ̀ ìṣirò, fisiksi, ètò ọrọ̀ ajé, àti ìmọ̀ kọ̀ǹpútà.
1. Lílóye Àwọn Iṣẹ́
Kí a tó bẹ̀rẹ̀ sí í wo kókó ọ̀rọ̀ ìṣọ̀kan iṣẹ́ àti ìyípadà, a ní láti kọ́kọ́ mọ ohun tí iṣẹ́ jẹ́. Iṣẹ́ jẹ́ òfin kan tí ó so ẹ̀yà kọ̀ọ̀kan nínú àkójọ kan, tí a ń pè ní domain, mọ́ ẹ̀yà kan pàtó nínú àkójọ mìíràn, tí a ń pè ní codomain. Tí iṣẹ́ kan bá wà tí ó so ẹ̀yà kan \( x \) ti domain \( X \) mọ́ ẹ̀yà kan \( y \) ti codomain \( Y \), nígbà náà ni a ó kọ ọ́ \( f : X \rightarrow Y \) àti \( y = f(x) \).
2. Àkójọpọ̀ Iṣẹ́
Àkójọpọ̀ iṣẹ́ jẹ́ iṣẹ́ mathematiki kan tí ó gba iṣẹ́ méjì \( f \) àti \( g \) tí ó sì mú iṣẹ́ kẹta jáde, èyí tí ó jẹ́ àbájáde lílo \( f \) lẹ́yìn \( g \). Ní ìlànà, tí \( f : A \rightarrow B \) àti \( g : B \rightarrow C \), lẹ́yìn náà àkójọpọ̀ iṣẹ́ náà \( g \) lẹ́yìn \( f \), tí a kọ gẹ́gẹ́ bí \( g \circ f \), jẹ́ iṣẹ́ kan láti \( A \) sí \( C \). Fún gbogbo \( x \) nínú \( A \), àbájáde iṣẹ́ àkójọpọ̀ ni \( (g \circ f)(x) = g(f(x))) \).
Àpẹẹrẹ ti Àkójọpọ̀ Iṣẹ́
Ẹ jẹ́ ká wo àpẹẹrẹ kan láti lóye èrò ìṣẹ̀dá iṣẹ́. Ká sọ pé a ní iṣẹ́ méjì gẹ́gẹ́ bí a ṣe tẹ̀lé e yìí:
1. \( f(x) = 2x + 3 \)
2. \( g(x) = x^2 \)
A fẹ́ rí iye \((g \circ f)(x) \). Nípa ìtumọ̀ àkójọpọ̀ iṣẹ́, a kọ́kọ́ lo iṣẹ́ \(f \) sí \( x \), lẹ́yìn náà a lo iṣẹ́ \(g \) sí àbájáde náà.
– \( f(x) = 2x + 3 \)
– \( g(f(x)) = g(2x + 3) = (2x + 3)^2 \)
Nítorí náà, \((g \circ f)(x) = (2x + 3)^2 \).
Àwọn Ànímọ́ Iṣẹ́ Àpapọ̀
Àkójọpọ̀ iṣẹ́ ní ọ̀pọ̀lọpọ̀ àwọn ohun ìní tó wúni lórí tí a sábà máa ń lò nínú ìwádìí ìṣirò:
1. Associative: Àkójọpọ̀ iṣẹ́ jẹ́ iṣẹ́ associative, tí ó túmọ̀ sí wípé tí \(f, g, \) àti \(h \) bá jẹ́ àwọn iṣẹ́ tí ó báramu, nígbà náà \(h \circ (g \circ f) = (h \circ g) \circ f \).
2. Ìdámọ̀ Àkójọpọ̀: Tí iṣẹ́ ìdámọ̀ bá wà \( I \) tí gbogbo ohun èlò rẹ̀ jẹ́ ara rẹ̀, nígbà náà fún gbogbo iṣẹ́ \( f \), ó ní \( f \circ I = I \circ f = f \).
3. Iṣẹ́ ìyípadà
Iṣẹ́ oníyípadà jẹ́ iṣẹ́ kan tí ó “yí” ipa iṣẹ́ ìpilẹ̀ṣẹ̀ padà. Tí iṣẹ́ kan bá so àwọn èròjà \( x \) nínú agbègbè náà pọ̀ mọ́ àwọn èròjà \( y \) nínú àgbègbè oníṣọ̀kan, nígbà náà iṣẹ́ oníyípadà \( f^{-1} \) yóò so \( y \) pọ̀ mọ́ \( x \). Iṣẹ́ kan \( f \) gbọ́dọ̀ jẹ́ ojú ìwòye méjì (ọ̀kan sí ọ̀kan àti sí orí) kí ó tó lè ní ìyípadà kan.
Ní ìlànà, tí \(f: X \rightarrow Y \) bá jẹ́ iṣẹ́ méjì, nígbà náà iṣẹ́ ìyípadà \(f^{-1}: Y \rightarrow X \) ni a fi ohun ìní wọ̀nyí ṣe àpèjúwe rẹ̀: \( f(f^{-1}(y)) = y \) fún gbogbo \( y \) nínú \( Y \) àti \( f^{-1}(f(x)) = x \) fún gbogbo \( x \) nínú \( X \).
Àwọn àpẹẹrẹ àwọn iṣẹ́ ìyípadà
Ronú nípa iṣẹ́ \( f \) tí a túmọ̀ sí \( f(x) = 2x + 3 \). Láti rí iṣẹ́ ìyípadà \( f^{-1} \), a nílò láti yanjú ìṣirò \( y = 2x + 3 \) fún \( x \).
Awọn igbesẹ naa:
1. \( y = 2x + 3 \)
2. \( y – 3 = 2x \)
3. \( x = \frac{y – 3}{2} \)
Nítorí náà, iṣẹ́ ìyípadà náà ni \( f^{-1}(y) = \frac{y – 3}{2} \).
Àwọn Ànímọ́ Àwọn Iṣẹ́ Ìyípadà
Diẹ ninu awọn ohun-ini pataki ti awọn iṣẹ inverse pẹlu:
1. Méjì: Ìyípadà ìyípadà náà ni iṣẹ́ àkọ́kọ́, ìyẹn ni, \( (f^{-1})^{-1} = f \).
2. Àkójọpọ̀: Fún iṣẹ́ ìfọ̀rọ̀wérọ̀ méjì èyíkéyìí \( f \) àti \( g \), àkójọpọ̀ ìfọ̀rọ̀wérọ̀ náà ni àkójọpọ̀ àwọn àyípadà ní ìtòlẹ́sẹẹsẹ ìyípadà, ìyẹn ni, \( (g \circ f)^{-1} = f^{-1} \circ g^{-1} \).
3. Àwọn ìdámọ̀: \( f^{-1}(f(x)) = x \) àti \( f(f^{-1}(y)) = y \).
4. Lilo Awọn Iṣẹ́ Àkójọpọ̀ àti Awọn Iṣẹ́ Àyípo
Àkójọpọ̀ iṣẹ́ àti àwọn iṣẹ́ onígbèsè ló ṣe pàtàkì nínú ọ̀pọ̀lọpọ̀ àwọn ohun èlò tó wúlò àti èyí tó ní èrò. Àwọn àpẹẹrẹ díẹ̀ nìyí:
a. Ìṣirò
Nínú ìṣirò, a lo àkójọpọ̀ àwọn iṣẹ́ nígbà tí a bá ń lo òfin ẹ̀wọ̀n fún ìyàtọ̀. Tí \( y = g(u) \) àti \( u = f(x) \), nígbà náà àbájáde ti \( y \) ní ìbámu pẹ̀lú \( x \) nípa lílo òfin ẹ̀wọ̀n ni \( \frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx} \).
b. Ṣíṣí kiri
Nínú ìkọ̀kọ̀ òde òní, a máa ń lo àwọn iṣẹ́ ìyípadà nínú àwọn ìkọ̀kọ̀. Kọ́kọ́ọ̀ ìkọ̀kọ̀ sábà máa ń jẹ́ ìyípadà ti kọ́kọ́rọ́ ìkọ̀kọ̀, èyí tí ó ń jẹ́ kí a dá ìkọ̀kọ̀ náà padà sí ìrísí àtilẹ̀wá rẹ̀ nípa lílo ìkọ̀kọ̀ ìyípadà.
c. Ètò Ìyípadà
Nínú ìṣàyẹ̀wò àwọn ètò ìṣiṣẹ́ onígbà díẹ̀, a sábà máa ń lo àwọn iṣẹ́ láti ṣàpèjúwe ìdàgbàsókè ètò kan ní àkókò kan. Mímọ iṣẹ́ ìyípadà lè ran lọ́wọ́ láti mọ ipò ìbẹ̀rẹ̀ ètò náà bí a bá mọ ipò ìkẹyìn.
5. Kesimpolan
Àkójọpọ̀ iṣẹ́ àti àwọn iṣẹ́ ìyípadà jẹ́ àwọn èrò pàtàkì méjì nínú ìmọ̀ ìṣirò tí ó ní àwọn ìlò tó gbòòrò ní onírúurú ẹ̀ka. Àkójọpọ̀ iṣẹ́ ń jẹ́ kí a so àwọn iṣẹ́ méjì pọ̀ sí ọ̀kan, nígbà tí àwọn iṣẹ́ ìyípadà ń jẹ́ kí a yí ipa iṣẹ́ kan padà. Nípa lílóye àwọn ànímọ́ àti ìlò wọn, a lè yanjú onírúurú ìṣòro tó díjú nínú ìmọ̀ ìṣirò àti àwọn ìmọ̀ sáyẹ́ǹsì mìíràn.
Pẹ̀lú òye tó ṣe kedere nípa àwọn èrò méjì yìí, àwọn onímọ̀ sáyẹ́ǹsì àti àwọn onímọ̀ ẹ̀rọ lè ṣẹ̀dá àwọn àpẹẹrẹ àti ìdáhùn tó gbéṣẹ́ jù sí àwọn ìṣòro tí wọ́n dojú kọ ní àwọn ẹ̀ka wọn.
