Inverz függvény (analízis)
A Wikipédiából, a szabad lexikonból.
Ebben a szócikkben az inverz függvények azon tulajdonságait tekintjük át, melyek a matematikai analízis szempontjából lényegesek. Az invertálható (injektív) függvények halmazelméleti tulajdonságait az inverz függvény szócikk tartalmazza.
[szerkesztés] Folytonos függvények inverzei
A legelső állítás, mely a topológia esetén már köthető az inverz függvényhez, az a folytonosság definíciója. Könnyen belátható ugyanis, hogy egy f, a T1 topologikus térből a T2 topologikus térbe képező függvény pontosan akkor folytonos, ha tetszőleges nyílt halmaz f általi ősképe (vagy inverz képe) szintén nyílt. Természetesen az inverz kép és az inverz általi kép nem ugyanaz a fogalom. Míg a H ⊆ T2 halmaz
ősképe mindig értelmezett, addig az inverz függvény általi
kép csak invertálható f függvény esetén. Persze ezesetben a két halmaz megegyezik.
Tétel – Ha a
és
topologikus terek között ható f : T1
T2 függvény injektív és
-
-folytonos, akkor inverze nyílt leképezés.
Ettől még lehet
folytonos is és nemfolytonos is.
Az inverz függvény folytonosságára a következő esetekben következtethetünk.
Tétel – Az intervallumon értelmezett, injektív, folytonos f:I
függvény inverze folytonos.
Tétel – Az intervallumon értelmezett, szigorúan monoton f:I
függvény inverze folytonos.
Az előbbi tételek lényegesen kihasználják, hogy a függvény intervallumon értelmezett és a valós számok halmazába képez. A többdimenziós megfogalmazás általános esetben nem végigvihető.
Érdemes még megemlíteni, hogy intervallumon értelmezett valós-valós függvények esetén az injektivitásból és a folytonosságból következik, hogy a függvény szigorúan monoton, ezért következik az injektivitásból az inverz folytonossága.
[szerkesztés] Differenciálható függvény inverze
Tétel – Az inverz függvény deriváltja – Ha az invertálható, valós-valós f függvény differenciálható az értelmezési tartománya egy u pontjában,
differenciálható f(u)-ban és
, akkor
- Bizonyítás. Tudjuk, hogy a fenti f:H
K bijektív függvényre az alábbi határérték létezik, véges és
-val egyenlő:
- f injektivitása és a határérték és a függvénykompozíció közös tulajdonságai miatt (az f(x)=y és
formális helyettesítéssel) fennáll:
- Mivel pedig
nem nulla, ezért a határérték reciproka is létezik:
- Eszerint
. ■
Ha a tétel feltételei az f:H
K bijektív valós-valós függvény értelmezési tartományának minden pontjára teljesülnek, akkor ezt még a következő egyenlőségekkel is kifejezhetjük:
illetve
.
Az inverz differenciálhatóságának teljesülésére a következő elégséges feltételeket fogalmazhatjuk meg.
Tétel – (lokális alak) – Ha az invertálható, valós-valós f függvény differenciálható az értelmezési tartománya egy u pontjában,
folytonos f(u)-ban és
, akkor
differenciálható f(u)-ban.
- Bizonyítás. A differenciálhatóság Caratheodory-féle jellemzését fogjuk használni. Az f:H
K függvény differenciálhatósága azt jelenti, hogy van olyan u-ban folytonos, u-ban
értéket felvevő
függvény, mellyel
teljesül minden x ∈ H-ra. Emiatt tetszőleges y ∈ K-ra egyértelműen létezik olyan x ∈ H, amire y=f(x), és így
- teljesül. u-nak, a
u-beli folytonossága miatt és
értéke miatt van olyan környezete K-ban, ahol
sehol sem nulla. Az
függvény f(u) körüli pontjait ebbe a környezetbe képező pontjainak halmazán értelmezett
- leképezés alkalmas lesz az inverz Caratheodory-féle függvényének, a következők miatt. Egyrészt az említett egyenlőség miatt fennáll az
- egyenlőség, másrészt
folytonos az f(u) pontban a függvénykompozíció tényezőinek folytonossága folytán. ■
Tétel – (globális alak) – Ha az intervallumon értelmezett f valós-valós függvény differenciálható és
(azaz a derivált sehol sem nulla), akkor szigorúan monoton és
differenciálható.
- Bizonyítás. Legyen f:I

a fenti tulajdonságú függvény.
mindenhol azonos előjelű, ugyanis ha egy zárt intervallum végpontjaiban ellenkező előjelű lenne, akkor e két érték között minden értéket, így a 0-t is felvenné, a Darboux-tétel miatt. Ez a
feltétel miatt azonban lehetetlen. Ekkor vagy mindenhol szigorúan monoton nő, vagy szigorúan monoton csökken, tehát injektív. Ilyen függvény inverze azonban mindenhol folytonos, így az előbb lokális alakban kimondott tétel miatt az inverz mindenütt differenciálható. ■
Ez a tétel lényegében az Inverzfüggvény-tétel egy elég erős feltételeket tevő globális megfogalmazása. Az Inverzfüggvény-tétel annak az elégséges feltételét fogalmazza meg, hogy egy differenciálható függvény mikor invertálható egy pont közelében.










