Kurs: M0065M Förkunskaper: Funktioner
1. När finns en invers?
Idén. En invers funktion gör om det funktionen gjorde: vet vi utdata vill vi kunna räkna tillbaka till indata . Det är så löser ekvationer med och löser ekvationer med .
Definition
En funktion har en invers om man entydigt kan gå tillbaka från funktionsvärdet till ursprungsvärdet.
För att detta ska fungera måste funktionen vara injektiv (ett-till-ett), det vill säga varje är bilden av exakt ett :
Det betyder att olika aldrig får ge samma funktionsvärde.
Tip
Horisontella linjetestet: en funktion är injektiv om varje horisontell linje skär grafen i högst en punkt.
Definitionen kan också skrivas . För att visa injektivitet är formen i rutan ovan (kontrapositionen) oftast enklare: vi antar och räknar fram .
2. Definition av invers funktion
Om är injektiv kan dess invers definieras på värdemängden:
De viktigaste sambanden, kancelleringslagarna, är
Definitions- och värdemängd byter plats:
Inversen är själv injektiv, och dess invers är igen: .
Warning
Symbolen betyder inte .
3. Hur man hittar inversen
Praktisk metod:
- Sätt
- Lös ut i termer av
- Byt namn från till
Exempel
Låt .
Alltså
Begränsa definitionsmängden först
Funktionen är inte injektiv på hela : till exempel är men .
Men på intervallet blir den injektiv och då är inversen
Ekvationen ger ; vi förkastar den negativa lösningen eftersom inversens värden ska ligga i .
4. Geometrisk tolkning
Grafen till fås genom spegling av grafen till i linjen
Punkten på grafen till motsvarar punkten på grafen till .
Punkten på grafen till blir på grafen till — spegling i linjen .
Härledning
ligger på grafen till ligger på grafen till .
Punkterna och är varandras spegelbilder i : mittpunkten ligger på linjen, och sträckan mellan dem har riktning , som är vinkelrät mot linjens riktning .
5. Monotona funktioner
Låt vara definierad på ett intervall och . Funktionen är
| om medför | |
|---|---|
| strängt växande | |
| strängt avtagande | |
| växande | |
| avtagande |
En funktion som är (strängt) växande eller (strängt) avtagande på hela kallas (strängt) monoton.
Sats
En strängt monoton funktion är injektiv och har därför en invers.
Härledning
Antag att är strängt växande och att . Då är ett av talen minst, säg , och då är , alltså . Det är precis injektivitet. Fallet strängt avtagande går likadant.
Note
Villkoret gäller på hela definitionsmängden. är strängt växande på men inte på : men . Därför begränsar vi till innan vi inverterar och får arctan.
6. Viktiga exempel
| Funktion | Invers |
|---|---|
| på |
Inversa funktioner dyker också upp för trigonometriska funktioner när man först begränsar definitionsmängden, t.ex. .
Vanliga fel
- tolkas som . För är , inte .
- Inversen anges utan definitionsmängd. — för är inversen inte definierad i , eftersom aldrig antar värdet .
- Att invertera en icke-injektiv funktion. på har ingen invers; vi måste först begränsa till t.ex. och sedan välja rätt tecken på roten.
- Att tro att “växande på varje intervall” räcker. är växande på varje delintervall av men inte injektiv på hela .
7. Lösta övningar
Föreläsning 6, exempel — Inversen till
Vi visar att är injektiv och beräknar inversen .
Lösning
Injektivitet. Antag , alltså . Faktorisering ger
Den andra faktorn kvadratkompletteras:
med likhet bara om . I båda fallen är , så är injektiv.
Inversen. . Vi söker :
Stämmer med det handskrivna lösningsförslaget.
Föreläsning 6, exempel — är strängt växande
Vi visar att , , är strängt växande på hela och därmed har en invers.
Lösning
Låt , alltså . Då är
Alltså : , och enligt satsen i avsnitt 5 har den en invers.
Inversen går inte att skriva med elementära uttryck utan en tredjegradsformel, men satsen garanterar att den finns.
Stämmer med det handskrivna lösningsförslaget.
Övning — Inversen till en rationell funktion
Vi visar att är injektiv, bestämmer och och beräknar med definitionsmängd.
Lösning
Definitionsmängd. .
Lös ut . . För ger det ett entydigt
medan leder till , som saknar lösning. Varje har alltså exakt ett urbild: är injektiv och .
Byt namn.
Kontroll. och . Definitions- och värdemängd har bytt plats, som de ska.
Ej kontrollerat mot facit — två oberoende lösningar stämmer överens.
Läsning
- 3.1 Inverse Functions
Se även
- Funktioner
- Derivata
- Taylors formel
- Arcusfunktioner
- Exponentialfunktioner och logaritmer
- Inversa funktioners derivata