{\ displaystyle f ^ {- 1}} trimite 3 într -
o deoarece
f trimite
o în 3
În matematică , o funcție {\ displaystyle f \ colon X \ to Y} se spune că este inversabilă dacă există o funcție {\ displaystyle g \ colon Y \ to X} astfel încât
- {\ displaystyle g (f (x)) = x} pentru fiecare {\ displaystyle x \ în X} , Și
- {\ displaystyle f (g (y)) = y} pentru fiecare {\ displaystyle y \ in Y} ;
mai formal,
- {\ displaystyle g \ circ f = {\ text {id}} _ {X}} , Și
- {\ displaystyle f \ circ g = {\ text {id}} _ {Y}} ,
unde este {\ displaystyle f \ circ g} indică funcția compusă și {\ displaystyle {\ text {id}} _ {S}} indică funcția de identitate activată {\ displaystyle S} .
De sine {\ displaystyle f} este inversabilă, apoi funcția {\ displaystyle g} al definiției este unic; această funcție {\ displaystyle g} se numește funcția inversă a {\ displaystyle f} și este indicat cu {\ displaystyle f ^ {- 1}} (în concordanță cu notația pentru elementul invers în raport cu compoziția).
Injectivitate și surjectivitate
Dacă o funcție este inversabilă, atunci este bijectivă , adică este atât injectivă, cât și surjectivă . Într-adevăr, cu notațiile de mai sus
- de sine {\ displaystyle x_ {1}, x_ {2} \ în X} Și {\ displaystyle f (x_ {1}) = f (x_ {2})} , asa de {\ displaystyle x_ {1} = g (f (x_ {1})) = g (f (x_ {2})) = x_ {2}} , asa de {\ displaystyle f} este injectiv;
- de sine {\ displaystyle y \ in Y} , asa de {\ displaystyle y = f (g (y))} , asa de {\ displaystyle f} este surjectiv.
Dimpotrivă, dacă {\ displaystyle f} este o bijecție, atunci putem defini un invers al acesteia {\ displaystyle g} , stipulând că {\ displaystyle g (y)} fie un singur element {\ displaystyle x \ în X} astfel încât {\ displaystyle f (x) = y} ; de fapt astfel {\ displaystyle x} există pentru surjectivitate și este unic pentru injectivitate. De asemenea, se dovedește {\ displaystyle x = g (y) = g (f (x))} pentru fiecare {\ displaystyle x \ în X} Și {\ displaystyle y = f (x) = f (g (y))} pentru fiecare {\ displaystyle y \ in Y} .
Inversul drept și surjectivitatea
O functie {\ displaystyle f \ colon X \ to Y} admite un invers drept (în unele contexte de secțiune) dacă există o funcție {\ displaystyle g \ colon Y \ to X} astfel încât
- {\ displaystyle f \ circ g = {\ text {id}} _ {Y}} .
Cu axioma de alegere , o funcție admite un invers drept dacă și numai dacă este surjectiv.
Inversul corect al unei funcții nu este unic: de exemplu funcția {\ displaystyle f \ colon \ mathbb {R} \ to \ mathbb {R} ^ {+}} definit de {\ displaystyle f (x) = x ^ {2}} admite orice funcție ca inversul corect {\ displaystyle g \ colon \ mathbb {R} ^ {+} \ to \ mathbb {R}} că pentru fiecare {\ displaystyle x \ in \ mathbb {R} ^ {+}} satisface {\ displaystyle g (x) = {\ sqrt {x}}} sau {\ displaystyle g (x) = - {\ sqrt {x}}} .
Stânga inversă și injectivitate
Graficul unei funcții reale a unei variabile reale neinjective, deci nu este inversabilă
O functie {\ displaystyle f \ colon X \ to Y} admite un invers stâng (în unele contexte retragere) dacă există o funcție {\ displaystyle h \ colon Y \ to X} astfel încât
- {\ displaystyle h \ circ f = {\ text {id}} _ {X}} .
O funcție admite un invers stâng dacă și numai dacă este injectivă.
Inversul stâng al unei funcții nu este unic: de exemplu funcția {\ displaystyle f \ colon \ mathbb {Z} \ to \ mathbb {R}} definit de {\ displaystyle f (x) = x} admite orice funcție ca stânga inversă {\ displaystyle h \ colon \ mathbb {R} \ to \ mathbb {Z}} a cărei restricție la numere întregi este identitatea sau aceea pentru fiecare {\ displaystyle x \ in \ mathbb {Z}} satisface {\ displaystyle h (x) = x} .
Invers și bijectivitate
De sine {\ displaystyle f} recunoaște că este un drept invers {\ displaystyle g} decât un invers stâng {\ displaystyle h} , asa de {\ displaystyle f} este inversabil cu invers {\ displaystyle f ^ {- 1} = g = h} :
- {\ displaystyle h = h \ circ {\ text {id}} _ {Y} = h \ circ (f \ circ g) = h \ circ f \ circ g = (h \ circ f) \ circ g = {\ text {id}} _ {X} \ circ g = g} .
Aplicând proprietățile anterioare, se dovedește:
- o funcție este inversabilă (dreapta și stânga) dacă și numai dacă este bijectivă (injectivă și surjectivă).
Categorii și grupuri
În limbajul categoriilor, funcția inversă {\ displaystyle f ^ {- 1}} este morfismul invers al {\ displaystyle f} în cadrul categoriei stabilite.
În limba grupurilor, dacă {\ displaystyle f \ colon X \ to X} este inversabilă, apoi funcția inversă {\ displaystyle f ^ {- 1}} este inversul {\ displaystyle f} în grupul permutărilor de {\ displaystyle X} .
Proprietate
Compoziția funcțiilor
De sine {\ displaystyle f: X \ to Y} Și {\ displaystyle g: Y \ to Z} sunt inversabile, atunci inversul compoziției lor este dat de
- {\ displaystyle (g \ circ f) ^ {- 1} = f ^ {- 1} \ circ g ^ {- 1}}
adică inversele sunt alcătuite într-o ordine inversată. Intr-adevar
- {\ displaystyle (f ^ {- 1} \ circ g ^ {- 1}) \ circ (g \ circ f) = f ^ {- 1} \ circ g ^ {- 1} \ circ g \ circ f = f ^ {- 1} \ circ (g ^ {- 1} \ circ g) \ circ f = f ^ {- 1} \ circ {\ text {id}} _ {Y} \ circ f = f \ circ f ^ {-1} = {\ text {id}} _ {X}}
Și
- {\ displaystyle (g \ circ f) \ circ (f ^ {- 1} \ circ g ^ {- 1}) = g \ circ f \ circ f ^ {- 1} \ circ g ^ {- 1} = g \ circ (f \ circ f ^ {- 1}) \ circ g ^ {- 1} = g \ circ {\ text {id}} _ {Y} \ circ g ^ {- 1} = g \ circ g ^ {-1} = {\ text {id}} _ {Z}}
De exemplu, funcția
- {\ displaystyle g \ circ f \ colon {\ begin {array} {ccccc} \ mathbb {R} & {\ stackrel {f} {\ to}} & \ mathbb {R} & {\ stackrel {g} {\ to}} & \ mathbb {R} \\ x & \ mapsto & 3x & \ mapsto & 3x + 5 \ end {array}}}
are inversul funcției
- {\ displaystyle f ^ {- 1} \ circ g ^ {- 1} \ colon {\ begin {array} {ccccc} \ mathbb {R} & {\ stackrel {g ^ {- 1}} {\ to}} & \ mathbb {R} & {\ stackrel {f ^ {- 1}} {\ to}} & \ mathbb {R} \\ x & \ mapsto & x-5 & \ mapsto & {\ frac {1} { 3}} (x-5) \ end {array}}}
Implicații
Dacă o funcție este inversă de la sine, se spune că este o involuție . Un exemplu este căsătoria complexă ,
- {\ displaystyle u \ colon {\ begin {array} {ccc} \ mathbb {C} & \ to & \ mathbb {C} \\ z = x + iy & \ mapsto & {\ bar {z}} = x- iy \ end {array}}}
Grafic
Graficele
{\ displaystyle f} Și
{\ displaystyle f ^ {- 1}} sunt simetrice față de
bisectoarea primului și celui de-al treilea cadran
De sine {\ displaystyle f \ colon X \ to Y} este inversabil, apoi pentru fiecare cuplu {\ displaystyle (x_ {0}, y_ {0}) \ în X \ times Y} enunțurile sunt echivalente
- {\ displaystyle (x_ {0}, y_ {0})} aparține graficului {\ displaystyle f} , {\ displaystyle \ Gamma (f) = \ {(x, y) \ în X \ times Y \ mid y = f (x) \}}
- {\ displaystyle (y_ {0}, x_ {0})} aparține graficului {\ displaystyle f ^ {- 1}} , {\ displaystyle \ Gamma (f ^ {- 1}) = \ {(y, x) \ în Y \ times X \ mid x = f ^ {- 1} (y) \}}
De fapt, fiecare funcție {\ displaystyle f \ colon X \ to Y} este o relație {\ displaystyle R} între cele două seturi {\ displaystyle X} Și {\ displaystyle Y} , care poate fi identificat cu setul de cupluri care sunt în relație, {\ displaystyle R = \ {(x, y) \ în X \ times Y \ mid xRy \}} , adică cu graficul funcției. Relația inversă este pur și simplu simetrică, {\ displaystyle ySx} dacă și numai dacă {\ displaystyle xRy} ; asa de
- {\ displaystyle S = \ {(y, x) \ în Y \ times X \ mid ySx \} = \ {(y, x) \ in Y \ times X \ mid xRy \}} .
În special, pentru funcțiile unei variabile reale , graficul funcției inverse {\ displaystyle f ^ {- 1}} este simetric cu graficul lui {\ displaystyle f} în ceea ce privește „diagonala” {\ displaystyle y = x} adică bisectoarea primului și celui de-al treilea cadran.
Derivat
În analiza matematică dacă o funcție reală este inversabilă și diferențiată într-un punct cu nimic derivat, atunci și inversul său este diferențiat și este
- {\ displaystyle \ left (f ^ {- 1} \ right) ^ {\ prime} (y) = {1 \ over f '(x)}, \ quad {\ text {where}} y = f (x) .}
Teorema funcției inverse este, de asemenea, o teoremă foarte importantă care afirmă că o funcție cu o derivată diferită de zero într-un punct este inversabilă local (adică restricția sa într-o vecinătate adecvată a punctului este inversabilă).
Formula pentru invers
Dacă o funcție este exprimată ca o compoziție de funcții inversabile, atunci inversul acesteia poate fi obținut așa cum este descris în paragraful relevant .
În special, puteți obține rapid o expresie explicită pentru funcția inversă, reținând asta {\ displaystyle y = f (x)} este echivalent cu {\ displaystyle x = f ^ {- 1} (y)} . Deci este suficient să exprimăm {\ displaystyle x} ca o funcție a {\ displaystyle y}
De exemplu, inversul funcției
- {\ displaystyle f \ colon {\ begin {array} {ccc} \ mathbb {R} & \ to & \ mathbb {R} \\ x & \ mapsto & (2x + 8) ^ {3} \ end {array} }}
poate fi determinată în mod explicit prin obținerea
- {\ displaystyle {\ begin {align} y & = (2x + 8) ^ {3} \\ {\ sqrt [{3}] {y}} & = 2x + 8 \\ {\ sqrt [{3}] {y}} - 8 & = 2x \\ {\ frac {1} {2}} ({\ sqrt [{3}] {y}} - 8) & = x \ end {align}}}
Prin urmare
- {\ displaystyle f ^ {- 1} \ colon {\ begin {array} {ccc} \ mathbb {R} & \ to & \ mathbb {R} \\ y & \ mapsto & {\ frac {1} {2} } ({\ sqrt [{3}] {y}} - 8) \ end {array}}}
În orice caz, este necesar să se definească o funcție inversă: scăderea, divizarea și extracția rădăcinii aplicate în exemplul anterior sunt definite ca funcțiile inverse ale sumei, multiplicării și respectiv exponențierii. Dacă o funcție inversabilă nu poate fi exprimată ca o compoziție de funcții ale cărei funcții inverse au fost deja definite, atunci funcția inversă nu poate fi exprimată ca o compoziție de note inverse și trebuie definită de la zero .
De exemplu, funcția
- {\ displaystyle f \ colon {\ begin {array} {ccc} [- 1, + \ infty [& \ to & [- e ^ {- 1}, + \ infty [\\ x & \ mapsto & xe ^ { x} \ end {array}}}
are un invers special definit: logaritmul produs .
Funcție inversă parțială
Funcția pătrată, de la reali la reali, nu este inversabilă. Restricția sa, de la reali pozitivi la reali pozitivi, este inversabilă cu funcția
de rădăcină pătrată inversă. În imagine, graficele funcțiilor au fost ambele scufundate în întregul plan cartezian.
Fiecare funcție poate fi „făcută” bijectivă, deci inversabilă, prin restricționarea domeniului și a gamei sale, sau prin înlocuirea acesteia cu o nouă funcție cu domeniul și gama care este „mai mică” și care menține o parte a asociațiilor. De exemplu, este întotdeauna posibil să se limiteze domeniul la un singur element {\ displaystyle x} și intervalul până la elementul unic {\ displaystyle y = f (x)} : funcția astfel definită,
- {\ displaystyle {\ tilde {f}} \ colon {\ begin {array} {ccc} \ {x \} & \ to & \ {y \} \\ x & \ mapsto & y \ end {array}}}
este inversabil:
- {\ displaystyle {\ tilde {f}} ^ {- 1} \ colon {\ begin {array} {ccc} \ {y \} & \ to & \ {x \} \\ y & \ mapsto & x \ end {array}}} .
Cu această procedură obținem o funcție diferită de cea originală, iar funcția sa inversă nu este o funcție inversă a funcției originale. Deoarece pe unele elemente se comportă ca o funcție inversă, este considerat un invers parțial.
Injectivitate
Fiecare funcție poate fi „făcută” injectivă prin restricționarea domeniului său: dacă există două elemente în domeniu {\ displaystyle x_ {1} \ neq x_ {2}} astfel încât {\ displaystyle f (x_ {1}) = f (x_ {2})} , atunci funcția nu poate fi injectivă. „Se elimină” {\ displaystyle x_ {1}} sau {\ displaystyle x_ {2}} din dominare, acest obstacol este eliminat.
De exemplu, funcția
- {\ displaystyle f \ colon {\ begin {array} {ccc} \ mathbb {R} & \ to & \ mathbb {R} \\ x & \ mapsto & x ^ {2} \ end {array}}}
nu este injectiv, ci funcția
- {\ displaystyle {\ tilde {f}} \ colon {\ begin {array} {ccc} \ mathbb {R} ^ {+} & \ to & \ mathbb {R} \\ x & \ mapsto & x ^ {2 } \ end {array}}}
este injectiv.
Nu există o restricție de domeniu unic care face ca funcția să fie injectată: pentru fiecare pereche de elemente {\ displaystyle x_ {1} \ neq x_ {2}} astfel încât {\ displaystyle f (x_ {1}) = f (x_ {2})} , puteți alege să excludeți din domeniu {\ displaystyle x_ {1}} , sau {\ displaystyle x_ {2}} , sau amândouă.
În exemplul indicat, funcțiile injective sunt, de asemenea, obținute luând ca domeniu {\ displaystyle \ mathbb {R} ^ {-}} , sau {\ displaystyle [-1,0] \ cup [2,3]} .
În cazul funcțiilor reale continue, unde este posibilă aplicarea unei noțiuni de continuitate și separare, este obișnuit să alegeți un interval maxim ca domeniu și să vorbiți despre ramuri ale funcției, iar o ramură principală este aleasă în mod convențional.
Surjectivitate
Fiecare funcție poate fi „făcută” surjectivă prin restrângerea domeniului său: dacă există un element în interval {\ displaystyle y} care nu este o imagine a vreunui element al domeniului, atunci funcția nu poate fi surjectivă. „Se elimină” {\ displaystyle y} din distanță, acest obstacol este eliminat.
De exemplu, funcția
- {\ displaystyle f \ colon {\ begin {array} {ccc} \ mathbb {R} & \ to & \ mathbb {R} \\ x & \ mapsto & x ^ {2} \ end {array}}}
nu este surjectiv, ci funcțional
- {\ displaystyle {\ tilde {f}} \ colon {\ begin {array} {ccc} \ mathbb {R} & \ to & \ mathbb {R} ^ {+} \\ x & \ mapsto & x ^ {2 } \ end {array}}}
este surjectiv.
Nu există o singură restricție a intervalului care face funcția surjectivă, dar există o singură restricție maximă, care conține toate celelalte: imaginea , care este setul tuturor imaginilor elementelor domeniului,
- {\ displaystyle {\ text {Im}} (f) = f (X) = \ {f (x) \ mid x \ în X \}} .
Bijectivitate
Prin combinarea celor două metode indicate sau prin restricționarea atât a domeniului, cât și a gamei unei funcții, aceasta poate fi făcută atât injectivă, cât și surjectivă, adică bijectivă (și, prin urmare, inversabilă).
De exemplu, funcția
- {\ displaystyle f \ colon {\ begin {array} {ccc} \ mathbb {R} & \ to & \ mathbb {R} \\ x & \ mapsto & x ^ {2} \ end {array}}}
nu este inversabil, ci funcția
- {\ displaystyle {\ tilde {f}} \ colon {\ begin {array} {ccc} \ mathbb {R} ^ {+} & \ to & \ mathbb {R} ^ {+} \\ x & \ mapsto & x ^ {2} \ end {array}}}
este inversabil.
Funcția inversă generalizată
Nu toate funcțiile sunt inversabile, dar fiecare element al codomainului poate fi asociat cu imaginea sa contra (sau fibră), uneori indicată cu abuz de notație
- {\ displaystyle f ^ {- 1} (y) = f ^ {- 1} (\ {y \}) = \ {x \ în X \ mid f (x) = y \}}
Această asociere definește o funcție, numită funcție inversă generalizată, între codomain și setul de părți ale domeniului
- {\ displaystyle f ^ {- 1} \ colon {\ begin {array} {ccc} Y & \ to & {\ mathcal {P}} (X) \\ y & \ mapsto & \ {x \ in X \ mid f (x) = y \} \ end {array}}}
Invers ca relație
Fiecare funcție este o relație între două seturi și este inversabilă în sensul relațiilor: {\ displaystyle xRy} dacă și numai dacă {\ displaystyle ySx} .
Relația inversă nu este o funcție, dacă funcția de pornire nu este inversabilă. Dar dacă funcția de pornire este surjectivă, atunci pentru fiecare element {\ displaystyle y \ in Y} din interval există cel puțin un element al domeniului {\ displaystyle x \ în X} astfel încât {\ displaystyle y = f (x)} , adică {\ displaystyle x = f ^ {- 1} (y)} . Totuși, acest element nu este neapărat unic {\ displaystyle f} nu este injectiv. În acest caz {\ displaystyle f ^ {- 1}} nu este o funcție (nu este unică), dar este o funcție multivocă sau multifuncțională .
Elemente conexe
Alte proiecte
linkuri externe