逆写像のソースを表示

{{複数の問題
| more footnotes=May 2013
| Technical=may 2011
}}
[[Image:Inverse Function.png|thumb|right| 写像 {{mvar|f}} とその逆写像 {{math|{{SubSup|f||−1}}}}。たとえば {{mvar|f}} は {{mvar|a}} を {{math|3}} に写すから、逆写像 {{math|{{SubSup|f||−1}}}} は {{math|3}} を {{mvar|a}} に写す。]]
[[数学]]における'''逆写像'''（ぎゃくしゃぞう、{{lang-en-short|''inverse mapping''}}）は一口に言えば[[写像]]の与える元の対応関係を「反対」にして得られる写像である。すなわち、写像 {{mvar|f}} が {{mvar|x}} を {{mvar|y}} に写すならば、{{mvar|f}} の逆写像は {{mvar|y}} を {{mvar|x}} に写し戻す<ref>{{cite web |url=http://www.math.wisc.edu/~keisler/chapter_2a.pdf |format=PDF |title=Differentiation |last=Keisler |first=H. Jerome |accessdate=2015-01-24 |quote=§ 2.4 }}</ref>。

函数と呼ばれる種類の写像の逆写像は、'''逆函数''' {{lang|en|(''inverse function'')}} と呼ばれる。

== 定義 ==
[[Image:Inverse Functions Domain and Range.png|thumb|right|240px|{{mvar|f}} が {{mvar|X}} から {{mvar|Y}} への写像ならば {{math|''f''&thinsp;{{msup|&minus;1}}}} は {{mvar|Y}} を {{mvar|X}} へもどす写像である。]]
{{See also|逆元}}
写像 {{mvar|f}} の[[定義域]]を集合 {{mvar|X}}, [[値域]]を集合 {{mvar|Y}} とする。写像 {{mvar|f}} が'''可逆''' {{lang|en|(''invertible'')}} であるとは、{{mvar|Y}} を定義域、{{mvar|X}} を値域とする写像 {{mvar|g}} で、条件
:<math>f(x) = y\iff g(y) = x</math>
を満足するものが存在するときに言う。{{mvar|f}} が可逆ならば写像 {{mvar|g}} は[[一意性|一意]]である（つまり、この性質を満たす写像 {{mvar|g}} はただ一つ存在して、一つよりも多くも少なくもない）。写像 {{mvar|g}} を {{mvar|f}} の逆写像と呼び、{{math|''f''<sup> −1</sup>}} で表す。

別な言い方をすれば、写像が可逆であるための必要十分条件は、その[[逆関係]]が再び写像となることである（このとき、逆関係が逆写像を与える）<ref>{{harvnb|Smith|Eggen|St. Andre|2006|loc=p. 202, Theorem 4.9}}</ref>。

必ずしも全ての写像が逆写像を持つわけではなく、上記の条件を適用するためには「値域 {{mvar|Y}} の各元 {{mvar|y}} に対して、{{mvar|f}} で {{mvar|y}} に写されるような定義域 {{mvar|X}} の元 {{mvar|x}} がちょうど一つ存在する」必要がある。この性質を満たす写像 {{mvar|f}} は一対一あるいは[[単射]]と呼ばれる。{{mvar|f}} および {{math|''f''<sup> −1</sup>}} がそれぞれ {{mvar|X}} および {{mvar|Y}} 上の写像となるとき、これらはともに[[全単射]]となる。[[#偏逆写像|後述]]するように、全単射とならない単射の逆は[[部分写像]]として与えられる（すなわち、対応する値が定義されない {{math|''y'' ∈ ''Y''}} が存在する）。

=== 例 ===
函数 {{math|1=''f''&thinsp;(''x'') = ''x''<sup>2</sup>}} はどのような種類の数の集合を（定義域として）考えるのかによって、可逆になることもあるしならないこともある。

定義域として[[実数直線]]全体を考えれば、各 {{math|''y'' &ne; 0}} に対して対応する定義域 {{mvar|X}} の点が二種類（一方は正で他方は負）が考えられるから、出力値から入力値を特定することができず、これは可逆でない。

この函数の定義域を非負実数全体に制限すれば、得られる函数は単射となり、特に可逆である。

=== 高等数学における逆写像 ===
{{main|写像|全単射}}
既に述べた定義は[[集合論]]および[[初等解析学]]によく馴染むものである。進んだ数学では
:<math>f\colon X \to Y </math>
と書いて 「{{mvar|f}} は集合 {{mvar|X}} の元を集合 {{mvar|Y}} の元に写す写像である」ことを表す。出元である {{mvar|X}} を {{mvar|f}} の'''[[定義域|始域]]'''といい、行先の {{mvar|Y}} を {{mvar|f}} の'''[[終域]]'''という。{{mvar|f}} の終域は {{mvar|f}} の'''[[値域]]'''を[[部分集合]]として含み、また終域は {{mvar|f}} の定義の一部とみなされる<ref>{{harvnb|Smith|Eggen|St. Andre|2006|loc=p. 179}}</ref>。

終域を気にする立場では、写像 {{math|''f'': ''X'' &rarr; ''Y''}} の逆写像は始域 {{mvar|Y}} と終域 {{mvar|X}} を持つ必要がある。逆写像が {{mvar|Y}} の全域で定義されるためには、{{mvar|Y}} の全ての元が写像 {{mvar|f}} の値域に入っていなければならない。このような性質を持つ写像は'''上への写像''' {{lang|en|(''onto function'')}} または'''[[全射]]''' {{lang|en|(''surjection'')}} という。ゆえに、終域を持つ写像が可逆となる[[必要十分条件]]は、それが一対一かつ上への写像となることである。そのような写像は、'''一対一対応''' {{lang|en|(''one-to-one correspondence'')}} または'''[[全単射]]''' {{lang|en|(''bijection'')}} といい、{{mvar|Y}} の各元 {{mvar|y}} にちょうど一つの元 {{math|''x'' &isin; ''X''}} が対応するという性質を持つ。

=== 逆写像と写像の合成 ===
可逆写像 {{mvar|f}} の始域が {{mvar|X}}、値域が {{mvar|Y}} であるとき
: <math> f^{-1}(f(x)) = x\quad (\forall x \in X)</math>
が成り立つ。[[写像の合成]]の言葉で書き直せば
: <math> f^{-1} \circ f = \operatorname{id}_X</math>
となる。ここで {{math|id{{ind|''X''}}}} は集合 {{mvar|X}} 上の[[恒等写像]]（つまり、引数の値を変えない写像）である。[[圏論]]ではこれを[[射 (圏論)|逆射]]の定義として用いる。

写像の合成を考えることは {{math|''f''{{exp|−1}}}} なる記法を用いることの理解を助ける。自分自身と繰り返し合成を取ることは[[反復合成]]と呼ばれ、写像 {{mvar|f}} を初期値 {{mvar|x}} に {{mvar|n}}-回適用したものを {{math|''f''{{exp|''n''}}(''x'')}} で表す。たとえば {{math|''f''{{exp|2}}(''x'') :{{=}} ''f''(''f''(''x''))}} などである。さて {{math|''f''{{exp|−1}}(''f''(''x'')) {{=}} ''x''}} が成り立つから、{{math|''f''{{exp|−1}}}} と {{math|''f''{{exp|''n''}}}} との合成は {{math|''f''{{exp|''n''&minus;1}}}} となり、{{math|''f''{{exp|−1}}}} の適用は {{mvar|f}} を一つ適用する操作を「取り消す」("undoing") 操作として働く。

=== 記法についての注意 ===
記法 {{math|''f''{{exp|−1}}(''x'')}} は値 {{math|''f''(''x'')}} の[[乗法逆元]]を意味する記法 {{math|''f''(''x'')<sup>−1</sup>}} としばしば誤解されるが、後者は {{mvar|f}} の逆写像とは無関係である。

数式 {{math|sin{{exp|−1}}&thinsp;''x''}} は乗法逆元を表すものではなく<ref>{{harvnb|Thomas|1972|pp=304–309}}</ref>、正弦函数の逆函数（実際には[[#部分逆写像|逆部分函数]]）を {{mvar|x}} に適用したものを意味する。混乱を避けるため、[[逆三角函数]]には接頭辞 "arc-"（{{lang-la-short|''arcus''}}）を付けることがしばしば行われる。例えば正弦函数 {{math|sin}} の逆函数は典型的には逆正弦函数 [[arcsine]] と呼ばれ、{{math|arcsin}} と書かれる。同様に[[双曲線函数]]の逆函数は接頭辞 "ar-"（{{lang-en-short|''area''}}）を付ける。

== 性質 ==
=== 一意性 ===
与えられた写像 {{mvar|f}} に対して、その逆写像は存在すれば唯一つである。それは {{mvar|f}} を関係と見たときの[[逆関係]]に一致しなければならない。

=== 対称性 ===
写像とその逆写像との間には対称性が存在する。{{mvar|f}} が {{mvar|X}} から {{mvar|Y}} への可逆写像ならば、その逆写像 {{math|''f''{{exp|−1}}}} は {{mvar|Y}} から {{mvar|X}} への写像であり、かつ {{math|''f''{{exp|−1}}}} の逆写像はもとの写像 {{mvar|f}} に一致する。記号で書けば、{{math|''f'': ''X'' → ''Y''}} および {{math|''g'': ''Y'' → ''X''}} に対して
 	
:<math>g \circ f = \operatorname{id}_X \implies f \circ g = \operatorname{id}_Y</math>

が成り立つ。これは[[逆関係|関係の逆転]]が[[対合]]であることにより、逆写像と逆関係との間の関係から従う。

この主張は可逆写像が（第一の定義では）単射または（第二の定義では）全単射とならなければならないことから明らかに演繹される帰結である。この[[対合|対合対称性]]は
: <math>(f^{-1})^{-1} = f</math>
という式として簡潔に表現できる。

[[Image:Composition of Inverses.png|thumb|right|240px|{{math|''g'' ∘ ''f''}} の逆写像は {{math|{{SubSup|f||−1}} ∘ ''g''{{exp|&minus;1}}}} である。]]
合成写像の逆写像は
: <math>(g \circ f)^{-1} = f^{-1} \circ g^{-1}</math>
なる式で与えられる。ここで {{mvar|f}} と {{mvar|g}} が逆順になっていることに注意。「まず {{mvar|f}} を施してから {{mvar|g}} を施す」という操作を取り消すには、「まず {{mvar|g}} を取り消してから {{mvar|f}} を取り消す」ようにしなければならない。

たとえば、{{math|1=''f''(''x'') = 3''x''}} および {{math|1=''g''(''x'') = ''x'' + 5}} とすると、それらの合成 {{math|''g'' ∘ ''f''}} は、まず {{math|3}}-倍してから {{math|5}} を加える函数
: <math>(g \circ f)(x) = 3x + 5</math>
である。この過程を逆にするには、まず {{math|5}} を引いて、そのあと {{math|3}} で割る
: <math>(g \circ f)^{-1}(y) = \tfrac{1}{3}(y - 5)</math>
としなければならない。これは {{math|{{SubSup|f||−1}} ∘ ''g''<sup>&minus;1</sup>}} に等しい。

=== 自己逆性 ===
任意の集合 {{mvar|X}} に対して、そのうえの[[恒等写像]]はそれ自身を逆写像として持つ。つまり

:<math>\operatorname{id}_X^{-1} = \operatorname{id}_X</math>

が成り立つ。もっと一般に、函数 {{math|''f'': ''X'' &rarr; ''X''}} がその逆函数と相等しいための必要十分条件は、合成函数 {{math|''f'' ∘ ''f''}} が {{math|id{{ind|''X''}}}} に等しいことである。このような写像は[[対合]]と呼ばれる。

== 逆函数 ==
一変数の[[初等解析学]]では実数を実数に写す写像である[[実数値関数|実函数]]を主に考える。そのような函数は、しばしば
: <math>f(x) = (2x + 8)^3</math>
のような明示的な[[数式]]を通して定義される。実一変数実数値函数 {{mvar|f}} はそれが一対一である限り逆函数を持つ。

{| class="wikitable" style="margin: 1ex auto 1ex auto; text-align:center"
|+ いくつかの標準的な実函数とその逆函数
|-
! 函数 {{math|''f''(''x'')}}
! 逆函数 {{math|{{SubSup|f||−1}}(''y'')}}
! 注意
|-
| {{math|''x'' + ''a''}} || {{math|''y'' &minus; ''a''}} ||
|-
| {{math|''a'' &minus; ''x''}} || {{math|''a'' &minus; ''y''}} ||
|-
| {{mvar|mx}} || {{mvar|{{sfrac|y|m}}}} || {{math|''m'' &ne; 0}}
|-
| {{math|{{sfrac|1|''x''}}}} || {{math|{{sfrac|1|''y''}}}} || {{math|''x'', ''y'' &ne; 0}}
|-
| {{math|''x''{{exp|2}}}} || {{math|{{sqrt|''y''}}}} || {{math|''x'', ''y'' &ge; 0}} のときに限る
|-
| {{math|''x''{{exp|3}}}} || {{math|{{radic|''y''|3}}}} || {{math|''x'', ''y''}} は実数（特に制限無し）
|-
| {{mvar|x{{exp|p}}}} || {{math|''y''{{exp|1{{\}}''p''}} ({{=}} {{radic|''y''|''p''}})}} || 一般に {{math|''x'', ''y'' &ge; 0,  ''p'' &ne; 0}}
|-
| {{mvar|e{{exp|x}}}} || {{math|[[自然対数|ln]] ''y''}} || {{math|''y'' &gt; 0}}
|-
| {{mvar|a{{exp|x}}}} || {{math|[[対数|log]]{{ind|''a''}}&thinsp;''y''}} || {{math|''y'' &gt; 0}} かつ {{math|''a'' &gt; 0, ''a'' &ne; 1}}
|-
| [[三角函数]] || [[逆三角函数]] || いろいろと制約がある
|-
|{{mvar|xe{{exp|x}}}}
|[[ランベルトのW関数]]
|
|}

=== 逆函数の式 ===
{{math|{{SubSup|f||−1}}}} が存在するとき、その式を求める方法のひとつが、方程式 {{math|1=''y'' = ''f''(''x'')}} を {{mvar|x}} について解くことで与えられる。例えば、{{mvar|f}} が
: <math>f(x) = (2x + 8)^3 </math>
なる式で与えられているとき、方程式 {{math|1=''y'' = (2''x'' + 8){{exp|3}}}} を {{mvar|x}} について解けば、
: <math>\begin{align}
      y         & = (2x+8)^3 \\
  \sqrt[3]{y}   & = 2x + 8   \\
\sqrt[3]{y} - 8 & = 2x       \\
\dfrac{\sqrt[3]{y} - 8}{2} & = x 
\end{align}</math>
となるから、求める逆函数 {{math|{{SubSup|f||−1}}}} が
: <math>f^{-1}(y) = \dfrac{\sqrt[3]{y} - 8}{2}</math>
なる式で与えられる。しかしいつでもこのような逆函数の求め方が通用するわけではない。例えば {{mvar|f}} が
: <math>f(x) = x + \sin x</math>
なる函数であれば、{{mvar|f}} は一対一で、したがって逆函数 {{math|{{SubSup|f||−1}}}} を持つのだが、この逆函数を与える公式は無限項の和
: <math> f^{-1}(y) = \sum_{n=1}^{\infty}{\frac{y^{\frac{n}{3}}}{n!}} \lim_{\theta\to 0}\frac{d^{n-1}}{d\theta^{n-1}} \left(\frac{\theta}{\sqrt[3]{\theta -\sin(\theta)}} \right)^n</math>
となる（[[ケプラーの方程式|ケプラーの方程式#逆ケプラー方程式]]を参照）。

=== 逆函数のグラフ ===
[[Image:Inverse Function Graph.png|thumb|right|{{math|1=''y'' = ''f''(''x'')}} と {{math|1=''y'' = {{SubSup|f||−1}}}} のグラフ。点線は {{math|1=''y'' = ''x''}} である。]]
{{mvar|f}} が可逆ならば函数
: <math>y = f^{-1}(x)</math>
のグラフと方程式
: <math>x = f(y)</math>
のグラフは同一である。このことは {{mvar|x}} と {{mvar|y}} の役割が入れ替わっていることを除けば、方程式 {{math|1=''y'' = ''f''(''x'')}} が {{mvar|f}} のグラフを定義することと同じである。したがって、逆函数 {{math|{{SubSup|f||−1}}}} のグラフは、函数 {{mvar|f}} のグラフで {{mvar|x}} と {{mvar|y}} の位置を入れ替えることによって得られる。これは、これらのグラフが直線 {{math|1=''y'' = ''x''}} に関して[[線対称]]であるといっても同じことである。

=== 逆函数の微分 ===
実一変数実数値の[[連続函数]] {{mvar|f}} が一対一（したがって可逆）となるために必要十分な条件は、それが[[単調写像|狭義単調]]となる（極値を持たない）ことである。たとえば、函数
: <math>f(x) = x^3 + x</math>
は可逆である。これが単調増大であることはその[[導函数]] {{math|1=''f{{'}}''(''x'') = 3''x''{{exp|2}} + 1}} が常に正値であることからわかる。

実一変数実数値函数が[[可微分]]ならば、その逆函数 {{math|{{SubSup|f||−1}}}} も {{math|''f{{'}}''(''x'') &ne; 0}} である限り可微分で、その導函数は[[逆函数定理]]により
:<math>\frac{d}{dy}(f^{-1}(y)) = \frac{1}{f'(f^{-1}(y))}</math>
で与えられる。これは {{math|1=''x'' = {{SubSup|f||−1}}(''y'')}} とおくと
:<math>\frac{dx}{dy} = \frac{1}{dy / dx}</math>
と表すことができる。これは[[連鎖律]]から導くことができる。

逆函数定理は[[多変数函数]]に対しても一般化することができる。特に、多変数可微分函数 {{math|''f'': '''R'''{{msup|''n''}} &rarr; '''R'''{{msup|''n''}}}} は、点 {{mvar|p}} における {{mvar|f}} の[[函数行列]]が[[正則行列|可逆]]である限り、点 {{mvar|p}} の近傍で可逆である。この場合、点 {{math|''f''(''p'')}} における {{math|{{SubSup|f||−1}}}} の函数行列は {{mvar|p}} における {{mvar|f}} の函数行列の[[逆行列]]である。

== 一般化 ==
=== 偏逆写像{{anchors|逆部分写像|部分逆写像|逆偏写像}} ===
[[Image:Inverse square graph.svg|thumb|right|{{mvar|x}} の平方根は {{math|1=''f''(''x'') = ''x''{{exp|2}}}} の偏逆写像である。]]
写像 {{mvar|f}} が一対一でない場合にも、{{mvar|f}} の'''偏逆写像'''もしくは'''逆部分写像''' {{lang|en|(''partial inverse'')}} を始域を制限することによって定義することができる。たとえば函数
: <math>f(x) = x^2</math>
は {{math|1=''x''{{exp|2}} = (&minus;''x''){{exp|2}}}} となるから一対一ではない。しかし、{{math|''x'' &ge; 0}} に始域を制限すれば一対一になり、このとき
: <math>f^{-1}(y) = \sqrt{y}</math>
となる（定義域を {{math|''x'' &le; 0}} に制限したときは、逆函数は負の平方根を与えるものになる）。あるいは、逆函数を[[多価函数]]
: <math>f^{-1}(y) = \pm\sqrt{y}</math>
として考えるならば始域を制限する必要も無い。
[[File:Inversa d'una cúbica gràfica.png|right|thumb|三次関数の逆函数は三つの枝をもつ。]]
このような多価逆函数を {{mvar|f}} の'''全逆函数'''もしくは'''完全逆写像''' {{lang|en|(''full inverse'')}} などと呼び、その（{{math|{{sqrt|''x''}}}} や {{math|&minus;{{sqrt|''x''}}}} のような）部分のことを'''枝'''もしくは'''分枝''' {{lang|en|(''branches'')}} と呼ぶ場合もある。（例えば正の平方根のような）多価函数の最も重要な枝は'''主枝''' {{lang|en|(''principal branch'')}} といい、逆函数の {{mvar|y}} における値で主枝に属するものを {{math|{{SubSup|f||−1}}(''y'')}} の'''主値''' {{lang|en|(''principal value'')}} と呼ぶ。

実数直線上の連続函数に対して、[[極値]]の隣り合う対にそれぞれ、その全逆函数の一つの（連続な）枝が対応する。例えば、極大値と極小値をもつ[[三次函数]]の逆函数は、三つの分枝を持つ。

[[Image:Gràfica del arcsinus.png|right|thumb|主[[逆正弦函数]]は[[正弦函数]]の偏逆函数である。]]
こういったことへの配慮は、特に[[三角函数]]の逆函数を定義する際には重要である。例えば、[[正弦函数]]は任意の実数に対して
: <math>\sin(x + 2\pi) = \sin(x)</math>
を満たす（もっと一般に任煮の整数 {{mvar|n}} に対して {{math|1=sin(''x'' + 2{{π}}''n'') = sin(''x'')}} を満たす）から一対一ではない。しかし、区間 {{math|[&minus;{{sfrac|{{π}}|2}}, {{sfrac|{{π}}|2}}]}} 上で正弦函数は一対一であり、対応する偏逆函数は[[逆正弦函数]] arcsine と呼ばれる。これは（全）逆正弦函数の主枝であると考えられ、そたがってこの逆函数の主値は常に {{math|{{fraction|&minus;{{π}}|2}}}} と {{math|{{fraction|{{π}}|2}}}} の間に値を持つ。
:{| class="wikitable" style="text-align:center"
|+ 逆三角函数の主枝
|- 
! 函数
! 通常用いられる[[主値]]の範囲
|-
| {{math|arc&thinsp;sin}} || {{math|&minus;{{sfrac|{{π}}|2}} &le; arc&thinsp;sin(''x'') &le; {{sfrac|{{π}}|2}}}}
|-
| {{math|arc&thinsp;cos}} || {{math|0 &le; arc&thinsp;cos(''x'') &le; {{π}}}}
|-
| {{math|arc&thinsp;tan}} || {{math|&minus;{{sfrac|{{π}}|2}} &lt; arc&thinsp;tan(''x'') &lt; {{sfrac|{{π}}|2}}}}
|-
| {{math|arc&thinsp;cot}} || {{math|0 &lt; arc&thinsp;cot(''x'') &lt; {{π}}}}
|-
| {{math|arc&thinsp;sec}} || {{math|0 &le; arc&thinsp;sec(''x'') &lt; {{π}}}}
|-
| {{math|arc&thinsp;csc}} || {{math|&minus;{{sfrac|{{π}}|2}} &le; arc&thinsp;csc(''x'') &lt; {{sfrac|{{π}}|2}}}}
|-
|}

=== 左逆写像 ===
写像 {{math|''f'': ''X'' &rarr; ''Y''}} に対し、{{mvar|f}} の'''左逆写像''' {{lang|en|(''left inverse'')}} あるいは[[引込み (圏論)|引込み]] {{lang|en|(''retract'')}} とは、

: <math>g \circ f = \operatorname{id}_X </math>
を満たす写像 {{math|''g'': ''Y'' &rarr; ''X''}} のことをいう。つまり、{{mvar|X}} の各元 {{mvar|x}} に対して {{mvar|g}} は
: <math>f(x) = y\implies g(y) = x</math>

を満たす。したがって {{mvar|g}} は {{mvar|f}} の値域上では {{mvar|f}} の逆写像と一致しなければならないが、値域に入らない {{mvar|Y}} の元に対してはどのような値をとろうとも支障ない。写像 {{mvar|f}} が左逆写像をもつならば {{mvar|f}} は単射であることが次のように証明できる。写像 {{math|''f'': ''X'' &rarr; ''Y''}} に対し、 {{math|''g'': ''Y'' &rarr; ''X''}} を {{mvar|f}} の左逆写像とする。 {{math|''x'', ''y'' ∈ ''X''}} が {{math|1=''f''(''x'') = ''f''(''y'')}} を満たすとすると、 {{math|1=''g''(''f''(''x'')) = ''g''(''f''(''y''))}} から {{math|1=id<sub>''X''</sub>(''x'') = id<sub>''X''</sub>(''y'')}} なので、 {{math|1=''x'' = ''y''.}} したがって、 {{mvar|f}} は単射である。

逆に写像 {{math|''f'': ''X'' &rarr; ''Y''}} が（[[空関数|空写像]]ではない）単射ならば、適当な {{math|''x''<sub>0</sub> ∈ ''X''}} を選んで、次のように左逆写像 {{math|''g'': ''Y'' &rarr; ''X''}} を構成することができる。
:<math>g(y) = \begin{cases} x, & \text{if }\exists x \in X[f(x) = y] \\ x_0, & \text{else} \end{cases}</math>

このように古典数学では任意の単射 {{mvar|f}} は左逆写像を持つことが必要となるが、{{疑問点範囲|[[構成主義 (数学)|構成的数学]]においては偽となり得る。例えば、二元集合から実数直線への包含写像 {{math|{0,1} → '''R'''}} の左逆写像は、実数直線から二点集合 {{math|{{(}}0,1{{)}}}} への引込みを与えるとき{{仮リンク|分解不能性 (構成的数学)|label=既約性|en|Indecomposability}}に反する|date=2018年6月27日}}。

=== 右逆写像 ===
写像 {{math|''f'': ''X'' &rarr; ''Y''}} に対し、{{mvar|f}} の'''右逆写像''' {{lang|en|(''right inverse'')}} あるいは'''[[切断 (圏論)|切断]]'''もしくは'''断面''' {{lang|en|(''section'')}} とは

: <math>f \circ h = \operatorname{id}_Y</math>
を満たす写像 {{math|''h'': ''Y'' &rarr; ''X''}} のことをいう。つまり {{mvar|h}} は {{mvar|Y}} の各元 {{mvar|y}} に対して
: <math>h(y) = x\implies f(x) = y</math>

なる条件を満足する。したがって {{math|''h''(''y'')}} は {{mvar|f}} によって {{mvar|y}} へ写されるような {{mvar|x}} ならばどのようなものでもよい。写像 {{mvar|f}} が右逆写像をもつ必要十分な条件は、{{mvar|f}} が全射となることである（ただし一般には、[[選択公理]]が必要となるので、右逆写像を構成的に得ることはできない）。

（証明）写像 {{math|''f'': ''X'' &rarr; ''Y''}} に対し、 {{math|''h'': ''Y'' &rarr; ''X''}} を {{mvar|f}} の右逆写像とする。このとき、任意の {{math|''y'' ∈ ''Y''}} に対して {{math|1=''x'' = ''h''(''y'')}} とすれば、 {{math|1=''f''(''x'') = ''y''}} となるので {{mvar|f}} は全射。

逆に写像 {{math|''f'': ''X'' &rarr; ''Y''}} を全射とする。すると、任意の {{math|''y'' ∈ ''Y''}} において {{mvar|f}} の[[像 (数学)#逆像|原像]]  {{math|{{SubSup|f||−1}}({''y''})}} は空ではない。したがって[[集合族]] {{math|({{SubSup|f||−1}}({''y''}))<sub>''y'' ∈ ''Y''</sub>}} （これは {{mvar|f}} による {{mvar|X}} の[[類別]]でもある）に対して[[選択公理|選択関数]] {{math|''&phi;'' : ({{SubSup|f||−1}}({''y''}))<sub>''y'' ∈ ''Y''</sub> &rarr; ''X''}} が定義できる。このとき、 {{math|1=''h''(''y'') = ''&phi;''({{SubSup|f||−1}}({''y''}))}} は {{mvar|Y}} から {{mvar|X}} への写像となっており、 {{math|1=''f''(''h''(''y'')) = ''y''}} となることから {{mvar|h}} は {{mvar|f}} の右逆写像である。∎

左逆写像にも右逆写像にもなっている逆写像は一意でなければならない。同様に、{{mvar|g}} が {{mvar|f}} の左逆写像のとき、{{mvar|g}} は {{mvar|f}} の右逆写像である場合もあるし、そうでない場合もある。また {{mvar|h}} が {{mvar|f}} の右逆写像であるときも、{{mvar|h}} は必ずしも左逆写像でなくてよい。例えば {{math|''f'': '''R''' &rarr; [0, &infin;)}} が {{math|'''R'''}} の各元 {{mvar|x}} に対してその平方を与える函数 {{math|1=''f''(''x'') = ''x''{{exp|2}}}} とし、{{math|''g'': [0, &infin;) &rarr; '''R'''}} を各 {{math|''x'' &isin; [0, &infin;)}} に対して正の平方根を与える函数 {{math|1=''g''(''x'') = {{sqrt|''x''}}}} とすると、{{math|[0, &infin;)}} のどの元 {{mvar|x}} に対しても {{math|1=''f''(''g''(''x'')) = ''x''}} が成り立つ。つまり、{{mvar|g}} は {{mvar|f}} の右逆函数である。しかし、例えば {{math|1=''g''(''f''(&minus;1)) = 1 &ne; &minus;1}} であるから、{{mvar|g}} は {{mvar|f}} の左逆函数にはなっていない。

=== 原像 ===
{{math|''f'': ''X'' &rarr; ''Y''}} を（必ずしも可逆でない）任意の写像とするとき、{{mvar|Y}} の元 {{mvar|y}} の'''[[原像]]'''または'''逆像'''が、{{mvar|f}} によって {{mvar|y}} に写される {{mvar|X}} の元全体の成す集合
: <math>f^{-1}(\{y\}) = \{ x\in X : f(x) = y\}</math>
として定まる。{{mvar|y}} の原像は、全逆写像による {{mvar|y}} の像（完全逆像）として考えることができる。

同様に、{{mvar|S}} を終域 {{mvar|Y}} の任意の[[部分集合]]とすると、''S'' の {{mvar|f}} による原像が、{{mvar|f}} によって {{mvar|S}} へ写される {{mvar|X}} の元全体からなる集合
: <math>f^{-1}(S) = \{ x\in X : f(x) \in S \}</math>
として定まる。たとえば、函数 {{math|''f'': '''R''' &rarr; '''R'''; ''x'' {{mapsto}} ''x''{{exp|2}}}} を考えると、この函数は既に述べたように可逆ではないが、しかし終域の部分集合に対する原像は定義できて、たとえば
: <math>f^{-1}(\left\{1,4,9,16\right\}) = \left\{-4,-3,-2,-1,1,2,3,4\right\}</math>
となる。一つの元 {{math|''y'' &isin; ''Y''}} の原像（同じことだが、[[一元集合]] {{math|{{(}}''y''{{)}}}} の原像）は、{{mvar|y}} の'''ファイバー''' {{lang|en|(''fiber'')}} と呼ばれることもある。{{mvar|Y}} が実数全体からなる集合のとき、{{math|{{SubSup|f||−1}}}} は[[等位集合]]として言及されることも多い。

== 関連項目 ==
* [[逆写像定理]]
* [[逆関係]]
* {{仮リンク|逆函数と微分|en|Inverse functions and differentiation}}
* {{仮リンク|ラグランジュ反転定理|en|Lagrange inversion theorem}}

== 注 ==
{{reflist|group="*"}}
{{reflist}}
== 参考文献 ==
* {{citation|first1=Douglas|last1=Smith|first2=Maurice|last2=Eggen|first3=Richard|last3=St. Andre|title=A Transition to Advanced Mathematics|edition=6th|year=2006|publisher=Thompson Brooks/Cole|isbn=978-0-534-39900-9}}
* {{citation|first=George B.|last=Thomas, Jr.|title=Calculus and Analytic Geometry Part 1: Functions of One Variable and Analytic Geometry|edition=Alternate|year=1972|publisher=Addison-Wesley}}

== 関連文献 ==
* {{Citation  | last = Spivak | first = Michael | date = 1994 | title = Calculus | publisher = Publish or Perish | edition = 3rd | isbn = 0914098896}}
* {{Citation | last = Stewart | first = James | date = 2002 | title = Calculus | publisher = Brooks Cole | edition = 5th | isbn = 978-0534393397}}

== 外部リンク ==
* {{SpringerEOM|title=Inverse function|urlname=Inverse_function}}
<!--* [[Wikibooks:Algebra/Functions#Inverse function|Wikibook: Functions]]-->
* {{MathWorld | urlname=InverseFunction | title= Inverse Function}}

{{DEFAULTSORT:きやくしやそう}}
[[Category:初等数学]]
[[Category:集合論]]
[[Category:逆写像|*]]
[[Category:数学に関する記事]]