Redigerer Funksjon (matematikk) (avsnitt)

=== Som inverse funksjon ===
En funksjon <math>f: D \rightarrow C</math> sies å være [[bijeksjon|bijektiv]] dersom funksjonen definerer en-til-en korrespondanse mellom elementer i <math>D</math> og elementer i <math>C</math>.  Det vil si at det for hvert
element <math>y</math> i <math>C</math> eksisterer ett og kun ett element <math>x</math> slik at <math>y = f(x)</math>.  For slike funksjoner er det mulig å definere den [[invers funksjon|inverse funksjonen]] 
<math>f^{-1}: C \rightarrow D</math> som avbilder <math>y = f(x) \in C</math> på <math>x \in D</math>.<ref name=AAS1C/>

Den reelle [[logaritme]]funksjonen er eksempel på en bijektiv funksjon fra mengden av positive reelle tall inn på mengden av reelle tall.  Funksjonen har en invers funksjon, som er [[eksponentialfunksjon]]en.

Selv om en funksjon ikke er bijektiv, så kan en i noen tilfeller velge undermengder <math>E \subset D</math> og <math>F \subset C</math>, slik at ''restriksjonen'' av funksjonen er bijektiv fra <math>E</math> til <math>F</math>.
Den inverse funksjonen vil da eksistere begrenset til disse mengdene.  De [[Inverse trigonometriske funksjoner|inverse trigonometriske funksjonene]] er definert på denne måten.  For eksempel er cosinus-funksjonen en bijeksjon fra intervallet <math>[0, \pi]</math>, og den inverse funksjonen arcus-cosinus har definisjonsmengde <math>[-1, 1]</math>.