Fototry ny Asa Mifamadika
Ao amin'ny matematika, ny asa dia fitsipika iray izay mampifandray ny singa tsirairay ao amin'ny seta iray (ny sehatra) amin'ny singa iray marina ao amin'ny seta iray hafa (ny sehatra ko). Anisan'ireo foto-kevitra manan-danja isan-karazany ao amin'ny asa, ny asa mivadika dia mitazona toerana fototra satria manampy antsika "hamadika" ny fizotran'ny sarintany. Raha manova ny fidirana ho vokatra ny asa iray, dia mikendry ny hamerina izany vokatra izany amin'ny fidirana tany am-boalohany ny asa mivadika—raha misy izany. Ity lahatsoratra ity dia miresaka momba ny famaritana azy, ny fepetra hisiany, ny fomba famaritana azy, ary koa ny ohatra sy ny fampiharana.
1. Fahatakarana ny asa mivadika
Aoka hatao hoe misy asa \( f \) izay mampifandray ny \( x \) amin'ny \( f(x) \). Ny asa mivadika amin'ny \( f \), izay soratana hoe \( f^{-1} \), dia asa izay mahafeno ireto fepetra ireto:
\[
f^{-1}(f(x)) = x
\]
ho an'ny \( x \) tsirairay ao amin'ny sehatry ny asa \( f \), ary koa
\[
f(f^{-1}(y)) = y
\]
ho an'ny \( y \) tsirairay ao anatin'ny elanelan'ny asa \( f \).
Raha lazaina amin'ny teny hafa, ny asa mivadika dia manafoana ny asan'ny asa tany am-boalohany. Raha heverina ho "dingana" ny \( f \), dia ny \( f^{-1} \) no dingana mivadika aminy. Na izany aza, zava-dehibe ny manantitrantitra: ny fanamarihana \( f^{-1} \) dia tsy midika hoe \( \frac{1}{f} \). Matetika izany no tsy takatry ny mpianatra. Ny fanamarihana dia manondro ny mivadika, fa tsy ny resiproka amin'ny heviny fractional.
2. Domaine, Codomaine, ary Range of Inverse Functions
Mba hazava tsara ny foto-kevitry ny inverse dia mila mahatakatra ny fifandraisana misy eo amin'ny seta ao amin'ny functions isika.
– Domain: ny andiana fidirana rehetra izay afaka miditra amin'ny asa \(f\).
– Kodomaina: ny andiana vokatra kendrena araka ny famaritana ny asa.
– Isan-karazany (velarana vokatra): ny andiana vokatra izay tena vokarina avy amin'ilay sehatra.
Ho an'ny asa mivadika, misy ny fiovan'ny andraikitra:
– Ny sehatra misy ny \( f^{-1} \) dia ny elanelan'ny \( f \).
– Ny elanelan'ny \( f^{-1} \) dia ny sehatra misy ny \( f \).
Izany no antony tsy ny fonction rehetra no manana inverse: raha tsy "tokana" ny output an'ny fonction raha oharina amin'ny input, dia tsy azo faritana amin'ny fomba tokana sy mivadika izany.
3. Fepetra ahafahan'ny asa iray manana inverse
Manana fiasa mivadika (izay fiasa ihany koa) ny asa \( f \) raha toa ka bijective ny \( f \), izany hoe:
1. Injective (iray-amin'ny-iray): ny fidirana samihafa tsirairay dia miteraka vokatra samihafa.
Raha ara-dalàna, raha \( f(a)=f(b) \) dia \( a=b \).
2. Surjective (onto): ny singa rehetra ao amin'ny codomain dia voasariky ny domain.
Midika izany fa mitovy amin'ny codomain ny elanelana.
Ao amin'ny tontolon'ny fianarana, matetika ny fanamafisana dia ny toetra "injective" an'ny "inverses" amin'ny maha-asa azy. Raha tsy "injective" ny asa iray, dia mety ho avy amin'ny fidirana roa samy hafa ny vokatra tokana, ka ny "inversion" dia tsy mamokatra sanda tokana.
Fitsapana tsipika mitsivalana
Ho an'ireo asa izay azo atao sary ny grafika, dia misy fomba azo ampiharina hijerena ny injectivity: ny fitsapana tsipika mitsivalana.
Raha mifanena amin'ny grafika farafahakeliny teboka iray ny tsipika mitsivalana tsirairay, dia iray-amin'ny-iray ny fiasa ary mety hanana inverse.
4. Ahoana no hamaritana ny asa mivadika
Amin'ny ankapobeny, ireto ny dingana arahina amin'ny fitadiavana ny mifamadika amin'ny asa algebra:
1. Soraty hoe \( y = f(x) \).
2. Soloy ny anjara asan'ny \( x \) sy ny \( y \): ataovy fonction an'ny \( y \ ny \( x \).
3. Vahao ny equation mba hahazoana ny \( y \).
4. Ny vokatra farany dia \( y = f^{-1}(x) \).
Andeha hojerentsika ny ohatra iray.
Ohatra 1: Asa Linear
Ohatra \( f(x)=2x+3 \).
Dingana:
1. \( y = 2x+3 \)
2. Mifamadika: \( x = 2y+3 \)
3. Vahaolana: \( x-3 = 2y \Rightarrow y = \frac{x-3}{2} \)
4. Koa \( f^{-1}(x)=\frac{x-3}{2} \)
Afaka manamarina izahay:
\[
f(f^{-1}(x)) = 2\left(\frac{x-3}{2}\right)+3 = x-3+3=x
\]
Midika izany fa marina izany.
Ohatra 2: Asa Ekadratika (Tsy maintsy fameperana ny sehatra)
Ohatra, \( f(x)=x^2 \). Manana mifamadika ve izy io?
Ny olana dia, \( f(2)=4 \) ary \( f(-2)=4 \). Noho izany dia tsy azo ampiasaina amin'ny isa tena izy rehetra izy io. Mba hananana inverse, dia tsy maintsy voafetra ny domaine, ohatra \( x \ge 0 \).
Raha \( [0,\infty) \) ny sehatra, dia ny mifamadika amin'izany:
\[
f^{-1}(x) = \sqrt{x}
\]
Raha \( (-\infty,0] \) ny sehatra, dia ny mifamadika amin'izany ny:
\[
f^{-1}(x) = -\sqrt{x}
\]
Mampiseho ny maha-zava-dehibe ny domaine amin'ny asa mivadika izany.
Ohatra 3: Asa tsotra ara-tsaina
Ohatra, \( f(x)=\frac{x-1}{x+2} \) miaraka amin'ny fepetra \( x \ne -2 \).
1. \( y=\frac{x-1}{x+2} \)
2. Mifamadika: \( x=\frac{y-1}{y+2} \)
3. Vahaolana ho an'ny \( y \):
\( x(y+2)=y-1 \Zanaka havanana xy+2x=y-1 \Zanaka havanana xy-y = -1-2x \Zanaka havanana y(x-1)=-(1+2x) \Zanaka havanana y=\frac{-(1+2x)}{x-1} \)
4. Koa:
\[
f^{-1}(x)=\frac{-(1+2x)}{x-1}
\]
Mariho fa \( x \ne 1 \) (satria io no teboka mahatonga ny denominator ho aotra eo amin'ny mifamadika amin'izany).
5. Fifandraisana eo amin'ny grafika fiasana sy ny mifamadika
Ara-jeometrika, ny grafika misy ny \( y=f(x) \) sy ny \( y=f^{-1}(x) \) dia sary fitaratra mifampitohy raha oharina amin'ny tsipika \( y=x \). Izany dia satria amin'ny mifamadika amin'izany, ny mpivady voalamina \((x,y)\) dia lasa \((y,x)\).
Ohatra, raha eo amin'ny grafika ny teboka \((1,5)\) \( y=f(x) \), dia eo amin'ny grafika ny teboka \((5,1)\) \( y=f^{-1}(x) \).
Izany fahatakarana izany dia manamora kokoa ho antsika ny manamarina maso ny valiny mifamadika amin'izany, indrindra ho an'ny asa tsotra.
6. Firafitry ny Asa sy ny Maha-izy Azy
Mifandray akaiky amin'ny firafitry ny asa ny inverses. Raha manana inverse ny \( f \), dia:
\[
(f \circ f^{-1})(x) = x \quad \text{and} \quad (f^{-1} \circ f)(x) = x
\]
izay midika fa ny firafitry ny roa tonta dia miteraka ny fiasa maha-izy azy, izany hoe fiasa izay mamerina ny fidirana araka ny maha-izy azy.
Mariho anefa fa tsy maintsy mifanaraka ireo sehatra. Ohatra, ny \( f^{-1}(f(x)) \) dia mihatra amin'ny \( x \) ao amin'ny sehatra \( f \), raha toa kosa ny \( f(f^{-1}(x)) \) dia mihatra amin'ny \( x \) ao amin'ny sehatra \( f^{-1} \) (izany hoe, ny elanelan'ny \( f \)).
7. Fampiharana ny asa mivadika
Tsy hevitra abstract fotsiny ny asa mivadika, fa ampiasaina betsaka amin'ny sehatra isan-karazany:
1. Famahana ny fampitoviana: Raha manana \( y=f(x) \) isika ary te hahita \( x \) avy amin'ny sandan'ny \( y \), dia mampiasa ny mifamadika amin'izany isika.
2. Fiovam-po amin'ny singa sy mizana: Ohatra, ny fanovana ny mari-pana Celsius ho Fahrenheit ary ny mifamadika amin'izany dia fiasa mifamadika roa.
3. Fanafenana tsotra: Matetika ny dingan'ny fanafenana sy ny famahana olana dia asa mifamadika (hevitra mifamadika amin'izany).
4. Modely siansa: Azo avadika ny raikipohy fizika maro, ohatra avy amin'ny \( s=vt \) dia mahazo \( v=\frac{s}{t} \) na \( t=\frac{s}{v} \) isika amin'ny fepetra sasany.
8. Fahadisoana mahazatra tokony hialana
Ireto misy fahadisoana mahazatra:
– Raha heverina fa mitovy amin'ny \( \frac{1}{f(x)} \) ny \( f^{-1}(x) \).
– Adino ny nanoratra na nanamarina ny sehatra ary nametraka fepetra fa tsy aotra ny mpamaritra.
– Tsy miraharaha fa tsy maintsy iray-amin'ny-iray ny fonction iray mba ho fonction ihany koa ny inverse-ny.
– Tsy manamarina ny valiny amin'ny alalan'ny firafitra \( f(f^{-1}(x)) \) na \( f^{-1}(f(x)) \).
Penutup
Ny asa mivadika dia hevitra iray izay manazava ny fomba ahafahana mamadika ny sarintany mba hiverenan'ny vokatra amin'ny fidirana voalohany. Na izany aza, tsy ny asa rehetra no manana mivadika; ny fepetra voalohany dia ny tsy maintsy ho bijective (na farafaharatsiny injective amin'ny sehatra manokana) ny asa. Amin'ny fahatakarana ny fomba hahitana ny mivadika, ny fifandraisan'ny sehatra, ny toetran'ny firafitra, ary ny fandikana ny grafikany, dia ho vonona kokoa amin'ny olana algebra isan-karazany sy ny fampiharana tena izy isika. Ny fahaizana mifehy ny fototry ny asa mivadika dia manome fiomanana ilaina amin'ny lohahevitra matematika mandroso kokoa, toy ny logaritma (ny mivadika amin'ny exponents), ny trigonometry mivadika, ary ny kajy.
