Lílóye Ìmọ̀ Àwọn Iṣẹ́ Ìbẹ̀rẹ̀-méjì
Nínú ìmọ̀ ìṣirò, èrò iṣẹ́ jẹ́ èrò pàtàkì kan tó wà ní ìpìlẹ̀ ọ̀pọ̀lọpọ̀ ìmọ̀ àti ìlò. A ń lo àwọn iṣẹ́ láti ṣàpèjúwe ìbáṣepọ̀ láàrín àwọn ìṣètò méjì, àti lílóye onírúurú iṣẹ́ lè fẹ̀ síi ní oríṣiríṣi ẹ̀ka, láti aljebra sí ìṣàyẹ̀wò, láti geometry sí ìlànà ètò. Irú iṣẹ́ kan tó ní ìtumọ̀ pàtàkì ni iṣẹ́ ìgbékalẹ̀ méjì. Àpilẹ̀kọ yìí yóò ṣe àwárí èrò náà, àwọn ànímọ́ rẹ̀, àti àwọn ìlò àwọn iṣẹ́ ìgbékalẹ̀ méjì.
Ìtumọ̀ Iṣẹ́ Oníṣẹ́-méjì
Iṣẹ́ bijective kan, tí a tún ń pè ní bijection, jẹ́ iṣẹ́ tí ó jẹ́ injective (ọkan-sí-ọkan) àti surjective (mapping-up). Ní ìlànà, a máa ń sọ pé iṣẹ́ kan jẹ́ bijetive tí ohun kọ̀ọ̀kan nínú domain set (source set) bá ní bata kan pàtó nínú codomain set (target set), àti ní ìdàkejì, èyí ni pé, ohun kọ̀ọ̀kan nínú codomain ní bata kan pàtó nínú domain náà.
Fún àpẹẹrẹ, tí a bá ní iṣẹ́ kan \( f : A \to B \), nígbà náà \( f \) ni a ń pè ní bijective tí ó bá bá àwọn ìlànà méjì wọ̀nyí mu:
1. Abẹ́rẹ́: Fún gbogbo àwọn èròjà \(a_1, a_2 \) nínú agbègbè \(A \), tí \(f(a_1) = f(a_2) \), lẹ́yìn náà \(a_1 = a_2 \). Èyí túmọ̀ sí wípé kò sí àwọn èròjà méjì tó yàtọ̀ síra nínú \(A \) tí a yà sọ́tọ̀ sí èròjà kan náà nínú \(B \).
2. Àròjinlẹ̀: Fún gbogbo ohun èlò \( b \) nínú àkójọpọ̀ \( B \), ó kéré tán ohun èlò kan \( a \) wà nínú àkójọpọ̀ \( A \) tó bẹ́ẹ̀ tí \( f(a) = b \). Nítorí náà, gbogbo ohun èlò nínú \( B \) ni a fi ó kéré tán ohun èlò kan nínú \( A \) yàwòrán rẹ̀.
Àwọn àpẹẹrẹ àwọn iṣẹ́ méjì
Láti túbọ̀ ṣàlàyé òye, ẹ jẹ́ kí a wo àwọn àpẹẹrẹ díẹ̀ lára àwọn iṣẹ́ méjì:
1. Àwọn Iṣẹ́ Líle “Rírọrùn”: Ọ̀kan lára àwọn àpẹẹrẹ tó rọrùn jùlọ ni iṣẹ́ líléètì bíi \( f(x) = x + 1 \), èyí tó máa ń fi àwọn nọ́mbà gidi \( R \) hàn mọ́ àwọn nọ́mbà gidi \( R \). Iṣẹ́ yìí jẹ́ àbájáde nítorí pé gbogbo iye \( y \) nínú \( R \) ní iye kan pàtó ti \( x \) nínú \( R \) tó bá ìbátan \( y = x + 1 \) mu, kò sì sí iye méjì tó yàtọ̀ síra ti \( x \) tó ń mú iye kan náà wá ti \( y \).
2. Iṣẹ́ Onípele: Iṣẹ́ onípele \(f(x) = e^x \) láti inú àkójọ àwọn nọ́mbà gidi \(R \) sí àkójọ àwọn nọ́mbà gidi rere \(R^+ \) náà jẹ́ àbájáde. Gbogbo iye rere \(y \) nínú \(R^+ \) ní iye kan pàtó \(x \) nínú \(R \) tó mú \(e^x = y \), nígbàtí iye kan nínú \(x \) nínú \(R \) fúnni ní iye kan ṣoṣo \(y \) nínú \(R^+ \).
Àwọn Ànímọ́ Àwọn Iṣẹ́ Ìbẹ̀rẹ̀-méjì
Àwọn ànímọ́ pàtàkì kan tó mú kí iṣẹ́ méjì jẹ́ ohun tó dùn mọ́ni nínú ìmọ̀ ìṣirò ni:
1. Ìyípadà: Ọ̀kan lára àwọn ànímọ́ pàtàkì jùlọ ti iṣẹ́ ìṣàpẹẹrẹ méjì ni wíwà oníyípadà, tàbí oníyípadà. Tí iṣẹ́ kan \( f \) láti \( A \) sí \( B \) bá jẹ́ oníyípadà, nígbà náà iṣẹ́ kan wà láti \( B \) sí \( A \) tí ó tún jẹ́ oníyípadà, irú èyí tí \( g(f(a)) = a \) fún gbogbo \( a \) nínú \( A \) àti \( f(g(b)) = b \) fún gbogbo \( b \) nínú \( B \ ) Iṣẹ́ náà \( g \ ) ni a ń pè ní oníyípadà ti \( f \ ) a sì ń fi \( f^{-1} \ ) hàn.
2. Àkójọpọ̀: Àkójọpọ̀ àwọn iṣẹ́ méjì tó jẹ́ bíbọ́ọ̀lù tún jẹ́ bíbọ́ọ̀lù. Tí \( f: A \to B \) àti \( g: B \to C \) bá jẹ́ bíbọ́ọ̀lù, nígbà náà àkójọpọ̀ \( g \circ f \) ti \( A \) sí \( C \) náà jẹ́ bíbọ́ọ̀lù.
3. Ìpamọ́ Ìṣètò: Nínú aljebra, àwọn ìfàsẹ́yìn sábà máa ń pa ìṣètò afikún mọ́ nínú agbègbè àti àgbègbè àjọ. Fún àpẹẹrẹ, àwọn ìfàsẹ́yìn láàárín àwọn ẹgbẹ́ náà tún jẹ́ ìṣọ̀kan ẹgbẹ́, èyí tí ó túmọ̀ sí wí pé wọ́n bọ̀wọ̀ fún iṣẹ́ ẹgbẹ́.
Pàtàkì Àwọn Iṣẹ́ Abẹ́rẹ́
Àwọn iṣẹ́ ìṣàpẹẹrẹ méjì ní ipa pàtàkì nínú ọ̀pọ̀lọpọ̀ ẹ̀ka ìṣirò. Díẹ̀ lára àwọn ìdí tí ìṣàfihàn méjì fi ṣe pàtàkì ni:
1. Ìmọ̀ràn Ṣẹ́ẹ̀tì: Nínú ìmọ̀ràn ṣíṣẹ̀ẹ̀tì, bíbẹ́ẹ̀tì ń jẹ́ kí a mọ̀ bóyá àwọn ṣẹ́ẹ̀tì méjì ní “nọ́mbà” àwọn èròjà kan náà, kódà bí àwọn ṣẹ́ẹ̀tì náà bá tóbi púpọ̀. Àwọn ṣẹ́ẹ̀tì méjì ní ìrísí kan náà tí bíbẹ́ẹ̀tì bá wà láàárín wọn.
2. Àwọn Ìyípadà Jẹ́ẹ́mẹ́tíríkì: Nínú ìwádìí àti ìwádìí, àwọn ìyípadà bí-orí-ẹ̀yà tí ó ń pa ìjìnnà mọ́ (isometrics) tàbí pa agbègbè mọ́ (diffeomorphisms) jẹ́ àwọn irinṣẹ́ pàtàkì nínú òye àwọn ìṣètò àti ààyè.
3. Ìkọ̀sílẹ̀: Nínú ìkọ̀sílẹ̀, a lo àwọn iṣẹ́ bí-orí-ìṣe bíi ìyípadà àti àwọn ìyípadà affine láti ṣe àgbékalẹ̀ àwọn ìkọ̀sílẹ̀ ààbò àti àwọn algoridimu ìkọ̀sílẹ̀.
Ìdámọ̀ àwọn iṣẹ́ méjì-méjì
Ṣíṣàwárí bóyá iṣẹ́ kan jẹ́ objective sábà máa ń nílò ìdánwò fún àwọn ànímọ́ abẹ́rẹ́ àti surjective. Àwọn ọ̀nà ìṣàyẹ̀wò kan tí a sábà máa ń lò fún èyí ni:
1. Ìdánwò Abẹ́rẹ́: Ọ̀nà kan ni láti ṣírò àbájáde àkọ́kọ́ ti iṣẹ́ náà kí a sì ṣàyẹ̀wò bóyá ó máa ń jẹ́ rere tàbí òdì nígbà gbogbo. Tí ó bá rí bẹ́ẹ̀, iṣẹ́ náà kì í ṣe ohun tó ń yọrí sí abẹ́rẹ́.
2. Ìdánwò fún Ìṣàfihàn: Fún ìṣàfihàn, a ní láti fihàn pé fún gbogbo ohun tó wà nínú àkójọpọ̀, ó kéré tán ohun kan ló wà nínú àkójọpọ̀ tó ń ṣe àfihàn ohun tó wà nínú àkójọpọ̀ náà. Èyí lè ṣeé ṣe nípa ìyípadà aljebra tàbí nípasẹ̀ ẹ̀rí tààrà.
Ipari
Iṣẹ́ ìṣẹ́ méjì jẹ́ èrò pàtàkì nínú ìmọ̀ ìṣirò tó so àwọn ìṣẹ́ méjì pọ̀ ní ọ̀nà tó ga. Lílóye àwọn iṣẹ́ ìṣẹ́ méjì kìí ṣe pàtàkì fún àwọn ẹ̀kọ́ tó ti tẹ̀síwájú nínú ìmọ̀ ìṣirò mímọ́ nìkan, ó tún ṣe pàtàkì nínú ọ̀pọ̀lọpọ̀ ìlò, bíi ìkọ̀kọ̀, ìṣàyẹ̀wò, ẹ̀kọ́ ìṣètò, àti àwòrán. Nípa lílóye àwọn ànímọ́ àti ànímọ́ àwọn iṣẹ́ ìṣẹ́ méjì, a lè mọrírì ẹwà àti ìṣọ̀kan ti ìmọ̀ ìṣirò fúnra rẹ̀. Ní ìrètí, àpilẹ̀kọ yìí ti pèsè àkópọ̀ tó ṣe kedere àti tó wúlò fún ẹnikẹ́ni tó bá fẹ́ láti jinlẹ̀ sí i nípa àwọn iṣẹ́ ìṣẹ́ méjì.
