10.4 Inverse Functions.
A. Local Invertibility.
1. Example. Let π π₯ = π₯ 2 . For any π₯0 β (0, β)
there is an open interval around π₯0 such that π
restricted to that interval is injective. Similarly
for any π₯0 β (ββ, 0). However π is not injective
on any open interval containing 0.
2. Remark. Suppose π: (π, π) β β is πΆ 1 on (π, π)
and that for some π β (π, π), π β² π β 0. Then
the following conclusions hold:
a. π β² π₯ β 0 on some interval (π β πΏ, π + πΏ).
b. π(π₯) is monotone on this interval, hence
invertible.
c. π β1 is also πΆ 1 on some open interval around
π π , and π β1 β² π¦ = 1/π β² (π β1 π¦ ) for π¦ in
this interval.
3. Example. π: πΌ2 β πΌ2 given by
π π₯, π¦ = (π₯ 2 + π¦ 2 , π₯ + π¦)
4. Definition. (Local invertibility) A function
π: πΌπ β πΌπ is locally one-to-one in an open set
π if for every π©0 β π, there is an π > 0 such
that π restricted to π΅(π©0 , π) is one-to-one. If π is
one-to-one on a set πΈ then we say π is globally
one-to-one on πΈ.
5. Example. Let π π₯, π¦ = (π₯ cos π¦ , π₯ sin π¦) be
defined on the open set π = { π₯, π¦ : π₯ > 0}.
Then π is locally 1 β 1 on π but not globally
1 β 1 on π.
B. The Jacobian.
1. Definition. Suppose that π: π· β πΌπ β πΌπ is in
πΆ 1 (π·, πΌπ ). Then the Jacobian of π at π© β π· is
given by detβ‘
(πβ² π© ).
2. Theorem. Suppose that π: π· β πΌπ β πΌπ , π· an
open subset of πΌπ , is in πΆ 1 (π·, πΌπ ), and suppose
that detβ‘
(πβ² π© ) β 0 for all π© β π·. Then π is
locally one-to-one in π·.
C. Inverse Function Theorem.
1. Lemma. (Open Mapping Theorem, Thm.
10.4.2). Suppose π β πΆ 1 (π·, πΌπ ) where π· β πΌπ
is open. If detβ‘
(πβ² π© ) β 0 for all π© β π·, then π is
an open mapping, that is, π maps open subsets
of π· to open subsets of πΌπ .
2. Theorem (10.4.3). Suppose π β πΆ 1 (π·, πΌπ )
where π· β πΌπ is open. If detβ‘
(πβ² π© ) β 0 for all
π© β π·, and if π is globally one-to-one on π·, then
πβ1 β πΆ 1 (π π· , πΌπ ) and
πβ1 β² π π© = (πβ² π₯ )β1
© Copyright 2026 Paperzz