Àwọn Ìpìlẹ̀ Iṣẹ́ Àyípo
Nínú ìmọ̀ ìṣirò, iṣẹ́ jẹ́ òfin tí ó ń ṣe àfihàn gbogbo ohun èlò ìṣètò kan (domain) sí ohun kan pàtó nínú àkójọpọ̀ mìíràn (codomain). Láàrín onírúurú àwọn èrò pàtàkì nínú iṣẹ́, iṣẹ́ ìyípadà náà ní ipò pàtàkì kan nítorí pé ó ń ràn wá lọ́wọ́ láti "yí" ìlànà ìṣètò náà padà. Tí iṣẹ́ kan bá yí ohun èlò ìṣètò kan padà sí ohun èlò ìṣètò kan, nígbà náà iṣẹ́ ìyípadà náà—tí ó bá wà—ń fẹ́ láti dá ohun èlò náà padà sí ohun èlò ìṣètò àkọ́kọ́. Àpilẹ̀kọ yìí jíròrò ìtumọ̀ rẹ̀, àwọn ipò fún wíwà, bí a ṣe lè ṣàlàyé rẹ̀, àti àwọn àpẹẹrẹ àti àwọn ìlò.
1. Lílóye Àwọn Iṣẹ́ Ìyípadà
Ká sọ pé iṣẹ́ kan wà tó ń fi \( x \) hàn sí \( f(x) \). Iṣẹ́ ìyípadà ti \( f \), tí a kọ \( f^{-1} \), jẹ́ iṣẹ́ kan tó ń tẹ́lọ́rùn:
\[
f^{-1}(f(x)) = x
\]
fún olúkúlùkù \( x \) ní agbègbè iṣẹ́ \( f \), àti pẹ̀lú
\[
f(f^{-1}(y)) = y
\]
fún olúkúlùkù \( y \) ní ìwọ̀n iṣẹ́ náà \( f \).
Ní ọ̀rọ̀ mìíràn, iṣẹ́ ìyípadà náà máa ń yọ iṣẹ́ ìpilẹ̀ṣẹ̀ náà kúrò. Tí a bá kà \( f \) sí “ìlànà,” nígbà náà \( f^{-1} \) ni iṣẹ́ ìyípadà rẹ̀. Síbẹ̀síbẹ̀, ó ṣe pàtàkì láti tẹnu mọ́: àmì ìyípadà náà \( f^{-1} \) kò túmọ̀ sí \( \frac{1}{f} \). Èyí sábà máa ń jẹ́ àìlóye láàárín àwọn akẹ́kọ̀ọ́. Àmì ìyípadà náà túmọ̀ sí ìyípadà náà, kì í ṣe ìyípadà náà ní ìtumọ̀ ìpín.
2. Àgbègbè, Àgbègbè Kọ̀ọ̀kan, àti Ìwọ̀n Àwọn Iṣẹ́ Ìyípadà
Kí èrò ìyípadà lè yé wa, a nílò láti lóye ìbáṣepọ̀ láàárín àwọn ìṣètò nínú iṣẹ́.
– Domain: àkójọ gbogbo àwọn ìtẹ̀wọlé tí ó lè tẹ iṣẹ́ náà \(f\).
– Àkójọpọ̀: àkójọ àwọn àbájáde àfojúsùn gẹ́gẹ́ bí ìtumọ̀ iṣẹ́.
– Ìwọ̀n (àgbègbè àbájáde): àpapọ̀ àwọn àbájáde tí a ń ṣe láti inú agbègbè náà gan-an.
Fún iṣẹ́ ìyípadà, ìyípadà ipa kan wà:
– Àgbègbè ìkápá \(f^{-1} \) ni ìwọ̀n \(f \).
– Ìwọ̀n \(f^{-1} \) ni agbègbè \(f \).
Ìdí nìyí tí gbogbo iṣẹ́ kò fi ní ìyípadà: tí iṣẹ́ náà kò bá jẹ́ “àkànṣe” ní ìbámu pẹ̀lú ìtẹ̀síwájú, a kò lè pinnu rẹ̀ lọ́nà tí ó yàtọ̀.
3. Àwọn Ìlànà fún Iṣẹ́ kan láti ní Ìyípadà
Iṣẹ́ kan \( f \) ní iṣẹ́ onídàkejì (èyí tí ó tún jẹ́ iṣẹ́ kan) tí \( f \) bá jẹ́ èrò méjì, ìyẹn ni:
1. Abẹ́rẹ́ (ọ̀kan sí ọ̀kan): ìtẹ̀síwájú kọ̀ọ̀kan ló ń mú ìjáde ọ̀tọ̀ọ̀tọ̀ jáde.
Ní ìlànà, tí \( f(a)=f(b) \) bá jẹ́ \( a=b \).
2. Àwòrán (tó wà lórí): gbogbo ẹ̀yà ara àjọ-ìpín ni a fi domain yàwòrán rẹ̀.
Èyí túmọ̀ sí wípé ìwọ̀n náà jọ ti codomain.
Nínú àwọn àyíká ilé-ẹ̀kọ́, a sábà máa ń tẹnu mọ́ ohun tí a fi ń lo àwọn inversions gẹ́gẹ́ bí iṣẹ́. Tí iṣẹ́ kan kò bá jẹ́ abẹ́rẹ́, nígbà náà ìjáde kan ṣoṣo lè wá láti inú àwọn ìtẹ̀síwájú méjì tó yàtọ̀ síra, nítorí náà “ìyípadà” náà kò ní mú ìníyelórí àrà ọ̀tọ̀ wá.
Idanwo Laini Pẹtẹpẹtẹ
Fún àwọn iṣẹ́ tí a lè ya àwòrán wọn, ọ̀nà tó wúlò kan wà láti ṣàyẹ̀wò fún abẹ́rẹ́: ìdánwò ìlà ìpele.
Tí ìlà kọ̀ọ̀kan bá pààlà sí àwòrán náà ní ojú kan, nígbà náà iṣẹ́ náà jẹ́ ọ̀kan-sí-ọ̀kan, ó sì ṣeéṣe kí ó ní ìyípadà.
4. Báwo ni a ṣe lè pinnu iṣẹ́ ìyípadà náà
Ni gbogbogbo, awọn igbesẹ fun wiwa idakeji iṣẹ aljebra ni:
1. Kọ \( y = f(x) \).
2. Paarọ awọn ipa ti \( x \) ati \( y \): ṣe \( x \) iṣẹ ti \( y \).
3. Yanjú ìforúkọsílẹ̀ náà láti gba \( y \).
4. Àbájáde ìkẹyìn ni \( y = f^{-1}(x) \).
Ẹ jẹ́ ká wo àpẹẹrẹ kan.
Àpẹẹrẹ 1: Iṣẹ́ Líníríà
Fún àpẹẹrẹ \( f(x)=2x+3 \).
Igbesẹ:
1. \( y = 2x+3 \)
2. Pàṣípààrọ̀: \( x = 2y+3 \)
3. Yanjú: \( x-3 = 2y \Rightarrow y = \frac{x-3}{2} \)
4. Nítorí náà \( f^{-1}(x)=\frac{x-3}{2} \)
A le ṣayẹwo:
\[
f(f^{-1}(x)) = 2\left(\frac{x-3}{2}\right)+3 = x-3+3=x
\]
Iyẹn tumọ si pe o jẹ otitọ.
Àpẹẹrẹ 2: Iṣẹ́ onígun mẹ́rin (Ìdínà agbègbè tí a nílò)
Fún àpẹẹrẹ, \( f(x)=x^2 \). Ṣé ó ní ìyípadà kan?
Iṣoro naa ni, \( f(2)=4 \) ati \( f(-2)=4 \). Nitorinaa kii ṣe abẹrẹ kọja gbogbo awọn nọmba gidi. Lati ni oniyipada, agbegbe gbọdọ wa ni opin, fun apẹẹrẹ \( x \ge 0 \).
Tí domain náà bá jẹ́ \( [0,\infty) \), nígbà náà ìyípadà náà ni:
\[
f^{-1}(x) = \sqrt{x}
\]
Tí domain náà bá jẹ́ \((-\infty,0] \), nígbà náà ìyípadà náà ni:
\[
f^{-1}(x) = -\sqrt{x}
\]
Èyí fi pàtàkì ìkànnì hàn nínú àwọn iṣẹ́ onígbèsè.
Àpẹẹrẹ 3: Àwọn Iṣẹ́ Ìrònú Rọrùn
Fún àpẹẹrẹ \( f(x)=\frac{x-1}{x+2} \) pẹ̀lú ipò \( x \ne -2 \).
1. \( y=\frac{x-1}{x+2} \)
2. Pàṣípààrọ̀: \( x=\frac{y-1}{y+2} \)
3. Yanjú fún \( y \):
\( x(y+2)=y-1 \Ọtun-arrow xy+2x=y-1 \Ọtun-arrow xy-y = -1-2x \Ọtun-arrow y(x-1)=-(1+2x) \Ọtun-arrow y=\frac{-(1+2x)}{x-1} \)
4. Nítorí náà:
\[
f^{-1}(x)=\frac{-(1+2x)}{x-1}
\]
Ṣàkíyèsí pé \( x \ne 1 \) (nítorí pé ìyẹn ni kókó tí ó sọ iye ìpín náà di òdo lórí ìdàkejì).
5. Ìbáṣepọ̀ láàrín àwọn Àwòrán Iṣẹ́ àti Àwọn Ìyípadà
Ní ti gíómẹ́trìkì, àwọn àwòrán ti \( y=f(x) \) àti \( y=f^{-1}(x) \) jẹ́ àwòrán dígí ti ara wọn ní ìbámu pẹ̀lú ìlà \( y=x \). Èyí jẹ́ nítorí pé nínú ìdàkejì, àwọn méjì tí a ṣètò \((x,y)\) di \((y,x)\).
Fún àpẹẹrẹ, tí àmì \((1,5)\) bá wà lórí àtẹ \( y=f(x) \), nígbà náà àmì \(5,1)\) wà lórí àtẹ \( y=f^{-1}(x) \).
Òye yìí mú kí ó rọrùn fún wa láti wo àwọn àbájáde tí ó lòdì sí ojú, pàápàá jùlọ fún àwọn iṣẹ́ tí ó rọrùn.
6. Àkójọpọ̀ Iṣẹ́ àti Ìdámọ̀
Àwọn ìyípadà ní ìbáṣepọ̀ pẹ̀lú ìṣètò iṣẹ́. Tí \( f \) bá ní ìyípadà, nígbà náà:
\[
(f \circ f^{-1})(x) = x \quad \text{and} \quad (f^{-1} \circ f)(x) = x
\]
èyí tí ó túmọ̀ sí wípé ìdàpọ̀ àwọn méjèèjì ló ń mú iṣẹ́ ìdánimọ̀ jáde, ìyẹn ni iṣẹ́ kan tí ó ń dá ìtẹ̀síwájú padà bí ó ti rí.
Sibẹsibẹ, ṣe akiyesi pe awọn agbegbe gbọdọ baamu. Fun apẹẹrẹ, \(f^{-1}(f(x)) \) duro fun \(x \) ni agbegbe ti \(f \), lakoko ti \(f(f^{-1}(x)) \) duro fun \(x \) ni agbegbe ti \(f^{-1} \) (iyẹn ni, ibiti \(f \)).
7. Lílo Àwọn Iṣẹ́ Ìyípadà
Iṣẹ́ onídàkejì kìí ṣe èrò àkópọ̀ nìkan, ṣùgbọ́n a lò ó ní ọ̀pọ̀lọpọ̀ ibi iṣẹ́:
1. Ṣíṣe àtúnṣe àwọn ìdọ́gba: Tí a bá ní \( y=f(x) \) tí a sì fẹ́ rí \( x \) láti inú iye \( y \), a máa ń lo ìyípadà náà.
2. Ìyípadà àwọn ẹ̀ka àti ìwọ̀n: Fún àpẹẹrẹ, yíyípadà ìwọ̀n otutu Celsius sí Fahrenheit àti ìyípadà jẹ́ méjì lára àwọn iṣẹ́ ìyípadà.
3. Ìkọ̀kọ̀ tí ó rọrùn: Àwọn ìlànà ìkọ̀kọ̀ àti ìkọ̀kọ̀ jẹ́ àwọn iṣẹ́ tí ó jẹ́ ìdàkejì ara wọn (èrò ìdàkejì).
4. Àwòṣe sáyẹ́ǹsì: Ọ̀pọ̀lọpọ̀ àwọn fọ́ọ̀mù fisíkísì ni a lè yí padà, fún àpẹẹrẹ láti \( s=vt \) a gba \( v=\frac{s}{t} \) tàbí \( t=\frac{s}{v} \) lábẹ́ àwọn ipò kan.
8. Àwọn Àṣìṣe Tó Wà Lára Láti Yẹra fún
Diẹ ninu awọn aṣiṣe ti o wọpọ ni:
– Ríronú pé \( f^{-1}(x) \) jẹ́ ọ̀kan náà pẹ̀lú \( \frac{1}{f(x)} \).
– Mo gbàgbé láti kọ tàbí ṣàyẹ̀wò domain náà kí n sì sọ pé iye ìpín náà kì í ṣe odo.
– Àìka sí pé iṣẹ́ kan gbọ́dọ̀ jẹ́ ọ̀kan-sí-ọ̀kan kí ìyípadà rẹ̀ lè jẹ́ iṣẹ́ kan náà.
– Kò fi àkójọpọ̀ \( f(f^{-1}(x)) \) tàbí \( f^{-1}(f(x))) \) ṣàyẹ̀wò àbájáde náà.
Penutup
Iṣẹ́ onídàkejì jẹ́ èrò kan tó ń ṣàlàyé bí a ṣe lè yí àwòrán padà kí àbájáde náà lè padà sí ìtẹ̀síwájú rẹ̀. Síbẹ̀síbẹ̀, kìí ṣe gbogbo iṣẹ́ ló ní ìdàkejì; ohun pàtàkì tí a nílò ni pé iṣẹ́ náà gbọ́dọ̀ jẹ́ ìfọ́wọ́sí méjì (tàbí ó kéré tán abẹ́rẹ́ lórí agbègbè pàtó kan). Nípa lílóye bí a ṣe lè rí àwọn ìdàkejì, àwọn ìbáṣepọ̀ agbègbè-àgbègbè, àwọn ànímọ́ àkójọpọ̀, àti ìtumọ̀ àwọn àwòrán wọn, a ó ti múra sílẹ̀ dáadáa fún onírúurú ìṣòro aljebra àti àwọn ohun èlò gidi. Mímọ àwọn ìpìlẹ̀ àwọn iṣẹ́ onídàkejì tún ń pèsè ìpèsè pàtàkì fún àwọn kókó ìṣirò tó ti ní ìlọsíwájú, bíi logarithms (ìdàkejì àwọn olùfọ́wọ́sí), trigonometry onídàkejì, àti calculus.
