本記事の内容
本記事は逆関数定理がどういう定理か、そして逆関数定理の証明に必要なことを解説して、１変数の場合を証明する記事です。
本記事を読むにあたり、1変数の逆関数の微分法と中間値の定理について知っている必要があるめ以下の記事も合わせてご覧ください。
↓逆関数の微分法の記事
↓中間値の定理の記事
逆関数定理は非常に強力な定理です。
まずは逆写像(逆関数)について軽く意味を説明します。
逆関数(逆写像)については、
というのが基本中の基本です。
また、与えられた関数ffそのものが全単射出なかったとしても、その定義域を制限したものが全単射になって、その逆写像(逆関数)が便利、というのは実はよくある話です。
例えば、単純にy=f(x)y=f(x)という関数が与えられたとして、ffが全単射だったとします。
このとき、ffの逆関数f−1f−1が存在してx=f−1(y)x=f−1(y)と書けます。
通常、ffは写像なのですから、xxに対してyyがただ一つ定まっているため、xxが分かればyyの正体がわかります。
では逆はどうでしょうか。
「yyの値は分かっているんだけれど、そのyyをとるxxってどんなのかな？」という問題を考えるときには、逆関数x=f−1(y)x=f−1(y)を使うわけです。
良い例かどうかは少々疑問ですが、より現実に即した例を挙げてみます。
例えば、拡声器を考えてみます。
拡声器は入力された声の大きさを2倍にするようなものだとします(本来は違うのかもしれませんが)。
ということは、拡声器は”声”に対して”2倍の大きさの声”を対応させる写像と考えることができます。
仮に、人間の声の大きさが実数値で測れるとすると、拡声器はf:R→Rで、y=2xで定められる写像ということになります。
拡声器で話す人が大きさ5の声で話したとすると、拡声器から出力される声の大きさはy=2xですから、2×5により10です。
一方で、観測者が大きさ10の声を観測したとします。
そしたらば、今、y=2xにより逆関数はx=y2となりますので、y=10を代入して、x=5と導けます。
すなわち、逆関数が分かれば、「大きさが10の声が聞こえたから、話す人は大きさ5の声で話したんだな」と分かるわけです。
とどのつまり、「この入力に対して、どんな出力が得られるか」は通常の写像で考えることができて、「この出力に対して、どんな入力があったか」を知ることができるのが逆関数、ということなのです。
このように「出力に対して入力を求めるという問題」を逆問題と言ったりもします。
もっと平たく言えば、「結果から原因を探る問題が逆問題です」とも表現できます。
で、逆関数定理ってどうして強力なの？
数学でなにか関数を考えるときは、さも当然のように「y=f(x)」と書きます。
若干屁理屈かもしれませんが、これは「y=の形にできる」ということを暗に仮定しています。
しかしながら、必ずしもそうではありません。
例えば、x=sinyで定められる写像だって考えうるわけです。
これは既に学習しているので「ああ。それってy=arcsinxでしょ？」と思われるかもしれませんが、あくまでこれは「x=sinyをy=の形にしたものをarcsinxと書きましょうね」という言わばお約束みたいなものです。
実際、「y=arcsinxは、x=sinyを満たすようなxに対して定められる写像」と説明されます。
さて、x=sinyのyに対する変化量を求めたい(つまり、導関数と微分係数を求めたい)、となったときにどうするでしょうか。
勿論、逆関数の微分法を用います。
１変数関数の逆関数の微分を軽く復習します。
定理1.(1変数の逆関数の微分法)
I, J∈RをRの開区間、φ:I→Jは全単射、φ−1:J→Iはφの逆写像(逆関数)とする。このとき、φ, φ−1がそれぞれI、Jで微分可能であれば、次が成り立つ。定理1.の証明は【解析学の基礎シリーズ】１変数実数値関数の微分編 その4を御覧ください。
これを見て「ん？φ−1が微分可能ならば？」となった方、誠に鋭いです。
そうです。
この定理は「φの逆関数φ−1が微分可能であれば」の話なのです。
一方で多変数の場合はどうだったかと言うと、以下でした。
定理2.(多変数の逆関数の微分法)
UとVはRnの開集合で、φ:U→Vは全単射、a∈U、b=φ(a)はaで、φ−1はbで全微分可能であるならば、 (φ−1)(b)=(φ′(a))−1 である。ただし、左辺の−1は逆関数を表し、右辺の−1は逆行列を表している。定理2.の証明は【解析学の基礎シリーズ】偏微分編 その5を御覧ください。
これもまた「φの逆関数φ−1が全微分可能であれば」の話なのです。
これらの主張にちょっとイチャモンをつけてみます。
もし微分可能な逆関数が1つも存在しなければ、逆関数の微分法なんて何の意味も無いよね？
もし「微分可能な逆関数が1つも存在しなければ」そのとおりです。
このイチャモンを一撃で論破する定理が逆関数定理なのです。
つまり、逆関数定理というのは、平たく言うと微分可能な逆関数というものが存在しますよ、という定理なのです。
しかも他にも色々おいしい性質が成り立っています。
とどのつまり、「逆関数って有用だよね〜。その逆関数を微分するときには逆関数の微分法を使うから、関数の微分法も有用だよね〜。じゃあ、微分可能な逆関数の存在を保証している逆関数定理って凄いよね〜。」という話です。
１変数の逆関数定理の明示とその証明
では、１変数の場合の逆関数定理を明示して証明します。
定理3.(1変数の逆関数定理)
φ:(α,β)→RはC1級で、x0∈(α,β)に対して、φ′(x0)≠0とするとき、次の条件を満たす開区間(a,b)が存在する。- x0∈(a,b)⊂(α,β),
- Φ:(a,b)→φ((a,b))を任意のx∈(a,b)に対してΦ(x)=φ(x)で定めるとき、Φは全単射で逆関数もC1級である。
定理3.の証明
φ′(x0)≠0ですから、φ′(x0)>0かまたはφ′(x0)<0のいずれか一方が成り立ちます。
かりにφ′(x0)>0だったとしましょう。
φがC1級ですので、φ′は連続な関数です。
従って、φ′が[x0−ε,x0+ε]でφ′>0となるようなε>0が存在します。
すなわち、
(∃ε>0) s.t. (φ′>0 on [x0−ε,x0+ε])
です。
さらに言い換えれば、α<x0−ε<x0<x0+ε<βで、[x0−ε,x0+ε]でφ′>0となるεが存在するというわけです。
ここで、
a=x0−ε,b=x0+ε
とすれば、
このとき、[a,b]でφ′>0なので、φは[a,b]で狭義単調増加です。
実際、次が成り立つからです。
定理4.
f:[a,b]→Rが連続で、(a,b)で微分可能、任意のc∈(a,b)に対してf′(c)>0ならば、fは[a,b]で狭義単調増加関数である。すなわち、f:[a,b]→Rが連続で、(a,b)で微分可能であるとき (∀c∈(a,b)) f′(c)>0⇒(a≤x1<x2≤b⇒f(x1)<f(x2)) が成り立つ。定理4.の証明は【解析学の基礎シリーズ】１変数実数値関数の微分編 その9を御覧ください。
さて、
A=φ(a),B=φ(b),I=(a,b),J=(A,B)
として、Φ:I→JそΦ(x)=φ(x) (x∈I)で定めると、φは狭義単調増加な関数なので、Φは単射です(相異なる定義域の点の行き先も相異なる)。
実際、もし仮に単射でなければ、x≠y⇒ϕ(x)=ϕ(y)というx,yが存在することになりますが、φが狭義単調増加であることからφ(x)とφ(y)は等しくなりえないので矛盾です。
ここで、中間値の定理を用います。
中間値の定理は以下でした。
定理5.(1変数の場合の中間値の定理)
関数f:[a,b]→Rが[a,b]で連続であり、f(a)<f(b)とする。 このとき、f(a)<D<f(b)を満たす任意のD∈Rに対してf(d)=Dを満たすd∈(a,b)が存在する。 すなわち、 ∀D∈R:f(a)<D<f(b)⇒(∃d∈(a,b) s.t. f(d)=D) が成り立つ。定理5.の証明は【解析学の基礎シリーズ】関数の極限編 その14を御覧ください。
この中間値の定理から、Φは全射であることが分かります。
従って、Φは全単射です。
故に、Φには逆写像Φ−1:J→Iが存在して、狭義単調増加です。
②Φが連続であることの証明
任意のy∈Jに対して、x=Φ−1(y)とします。
このとき、0<ε0<min{x−a,b−x}を満たすような任意のε0に対して、
δ=min{φ(x+ε0)−φ(x),φ(x)−φ(x−ε0)}
とすれば、δ>0です(φが狭義単調増加だから)。
さらに、|y′−y|<δならば、|Φ−1(y′)−Φ−1(y)|<εが成り立ちます。
これはまさにΦ−1がyで連続であるということを指しています。
③Φ−1が微分可能であることの証明
任意のy∈Jに対して、x=Φ−1(y)とします。
y+h∈Jとなるような任意のh≠0に対して、k=Φ−1(y+h)−Φ−1(y)とすると、h=φ(x+k)−φ(x)となります。
実際、Φ−1(y+h)=Φ−1(y)+k=x+hですので、φを施してy+h=φ(x+h)で、移項してh=φ(x+k)−y=φ(x+k)−φ(x)だからです。
従って、
Φ−1(y+h)−Φ−1(y)h=kφ(x+k)−φ(x)
です。
ここで、h→0とすると、Φが連続であることからk→0となり、φが微分可能であるから、上記の式の値は1φ′(x)に収束します。
故に、Φ−1はyで微分可能で、(Φ−1)′(y)=1φ′(x)です。
④(Φ−1)′が連続であることの証明
(Φ−1)′(y)=1φ′(Φ−1(y))で、かつφ′とΦ−1が連続であることから、(Φ−1)′は連続です。
定理3.の証明終わり
１変数とはいえ、結構骨が折れますね…
多変数の逆関数定理を示すために必要な線型代数の話(線型写像の基本定理)
では、最後に多変数の逆関数定理を証明するにあたって必要な線型代数の事実、線型写像の基本定理について解説します。
定理6.(線型写像の基本定理)
V,Wを線型空間、f:V→Wを線型写像とする。このとき、 dimV=dimKer(f)+dimImage(f) が成り立つ。ここで、証明に入る前に注意ですが、fは線型写像なので、行列で表現できます。
それをAと書いたとしましょう。
このとき、
dimImage(f)=dimImage(A)
であり、かつ
dimImage(A)=rank(A)
なのですから、定理の主張は
dimV=dimKer(A)+dimImage(A)
と書き換えることができます。
定理6.の証明
s=dimKer(f)、r=dimImage(f)とします。
Ker(f)の１組の基底v1,…,vsおよびImage(f)の１組の基底w1,…,wrを取ります。
各wiに対して、f(ui)=wiとなるui∈V (i=1,…,r)を取ります。
このとき、s+r個のベクトル
v1,…,vs, w1,…,wr
がVの規定となっていることを示せば、定理の主張が証明できたことになります。
①v1,…,vs, u1,…,urがVを生成することの証明
xをVの任意のベクトルとします。
当然ながらf(x)∈Image(f)なわけですので、f(x)はw1,…,wrの線型結合で表すことができます。
それを
f(x)=b1w1+⋯+brwr(bi∈R)
としましょう。
そこで、次の計算をします。
fが線型写像であることを使えば、
f(x−b1u1−⋯−brur)=f(x)−b1f(u1)−⋯−brf(ur)=f(x)−b1w1−⋯−brwr=0
です。
故に
x−b1u1−⋯−brur∈Ker(f)
です。
従って、このベクトルはKer(f)の基底の線型結合で表されます。
それを
x−b1u1−⋯−brur=a1v1+⋯+asvs(ai∈R)
としましょう。
その結果、
x=a1v1+⋯+asvs+b1u1+⋯+brur
となるので、Vはベクトルの組
v1,…,vs, u1,…,ur
で生成されることが示されました。
②v1,…,vs, u1,…,urが線型独立であることの証明
今、線型関係
a1v1+⋯+asvs+b1u1+⋯+brur=0(ai,bj∈R)
に対して、両辺を線型写像fで写すと、
f(vi)=0 (1≤i≤s),f(uj)=wj (1≤j≤r)
となるから、
b1w1+⋯+brwr=0
という線型関係式になります。
しかしながら、w1,…,wrは仮定から線型独立であるので、b1=⋯=br=0です。
故に、最初の線型関係式は
a1v1+⋯+asvs=0
となります。
ところが、v1,…,vsもまた線型独立なので、a1=⋯=as=0です。
従って、v1,…,vs, u1,…,urが線型独立です。
定理6.の証明終わり
ここからが重要です。
これはもし仮にfが全単射であれば、VとWの次元が一致している、ということを指しています。
逆にVとWの次元が一致していれば、fは全単射であるということでもあるので、f−1が存在して、fは行列Aで表現するとf−1はAの逆行列A−1に対応します。
従って、det(A)≠0です。
要するにまとめると、
それが成り立つという前提のもとで、与えられた線型写像が全単射であるためには、その行列式が0でないことが必要十分である。
読者の皆様のコメントを下さい！
筆者は最初に逆関数の微分法を学んだときに「逆関数の微分可能性を仮定している」なんてことは一切気が付きませんでした。
しかし、後になって「本当だ。仮定してるじゃん。本当にそれって仮定して大丈夫なの？」と気が付きました。
勿論、逆関数定理が存在を保証しているのでOKなのですが。
読者の皆様はそういう経験はありますか？
後になって考えてみると、「あれ？暗に認めてない？」ということを経験したことがあれば是非コメントで教えて下さい！
結
今回は逆関数定理がなぜ必要なのか、それから１変数の場合の逆関数定理を証明しました。
「偏微分編」と銘打っておきながら一切偏微分の話が出てきませんでしたが。
逆関数定理というのは、平たく言うと微分可能な逆関数というものが存在しますよ、という定理なのでした。
次回は多変数の場合の逆関数定理について解説します。
乞うご期待！
質問、コメントなどお待ちしております！
どんな些細なことでも構いませんし、「定理〇〇の△△が分からない！」などいただければ全てお答えします！
お問い合わせの内容にもよりますが、ご質問はおおよそ３日以内にお答えします。
もし直ちに回答が欲しければその旨もコメントでお知らせください。直ちに対応いたします。
Twitterでもリプ、DM問わず質問、コメントを大募集しております！
コメントをする
＞次の条件を満たす解区間
開区間 ですよね？
名無し様
コメントありがとうございます。
>＞次の条件を満たす解区間 開区間 ですよね？
とのご指摘ですが、そのとおりでございます。
訂正いたしました。ご指摘ありがとうございました。