逆写像
数学における逆写像（ぎゃくしゃぞう、）は一口に言えば写像の与える元の対応関係を「反対」にして得られる写像である。すなわち、写像 が を に写すならば、 の逆写像は を に写し戻す。
函数と呼ばれる種類の写像の逆写像は、逆函数 と呼ばれる。
写像 の定義域を集合 , 値域を集合 とする。写像 が可逆 であるとは、 を定義域、 を値域とする写像 で、条件
を満足するものが存在するときに言う。 が可逆ならば写像 はである（つまり、この性質を満たす写像 はただ一つ存在して、一つよりも多くも少なくもない）。写像 を の逆写像と呼び、 で表す。
別な言い方をすれば、写像が可逆であるための必要十分条件は、その逆関係が再び写像となることである（このとき、逆関係が逆写像を与える）。
必ずしも全ての写像が逆写像を持つわけではなく、上記の条件を適用するためには「値域 の各元 に対して、 で に写されるような定義域 の元 がちょうど一つ存在する」必要がある。この性質を満たす写像 は一対一あるいは単射と呼ばれる。 および がそれぞれ および 上の写像となるとき、これらはともに全単射となる。後述するように、全単射とならない単射の逆は部分写像として与えられる（すなわち、対応する値が定義されない が存在する）。
函数 はどのような種類の数の集合を（定義域として）考えるのかによって、可逆になることもあるしならないこともある。
定義域として実数直線全体を考えれば、各 に対して対応する定義域 の点が二種類（一方は正で他方は負）が考えられるから、出力値から入力値を特定することができず、これは可逆でない。
この函数の定義域を非負実数全体に制限すれば、得られる函数は単射となり、特に可逆である。
既に述べた定義は集合論および初等解析学によく馴染むものである。進んだ数学では
と書いて 「 は集合 の元を集合 の元に写す写像である」ことを表す。出元である を の始域といい、行先の を の終域という。 の終域は の値域を部分集合として含み、また終域は の定義の一部とみなされる。
終域を気にする立場では、写像 の逆写像は始域 と終域 を持つ必要がある。逆写像が の全域で定義されるためには、 の全ての元が写像 の値域に入っていなければならない。このような性質を持つ写像は上への写像 または全射 という。ゆえに、終域を持つ写像が可逆となる必要十分条件は、それが一対一かつ上への写像となることである。そのような写像は、一対一対応 または全単射 といい、 の各元 にちょうど一つの元 が対応するという性質を持つ。
可逆写像 の始域が 、値域が であるとき
が成り立つ。写像の合成の言葉で書き直せば
となる。ここで は集合 上の恒等写像（つまり、引数の値を変えない写像）である。圏論ではこれを逆射の定義として用いる。
写像の合成を考えることは なる記法を用いることの理解を助ける。自分自身と繰り返し合成を取ることは反復合成と呼ばれ、写像 を初期値 に -回適用したものを で表す。たとえば などである。さて が成り立つから、 と との合成は となり、 の適用は を一つ適用する操作を「取り消す」("undoing") 操作として働く。
記法 は値 の乗法逆元を意味する記法 としばしば誤解されるが、後者は の逆写像とは無関係である。
数式 は乗法逆元を表すものではなく、正弦函数の逆函数（実際には逆部分函数）を に適用したものを意味する。混乱を避けるため、逆三角函数には接頭辞 "arc-"（）を付けることがしばしば行われる。例えば正弦函数 の逆函数は典型的には逆正弦函数 arcsine と呼ばれ、 と書かれる。同様に双曲線函数の逆函数は接頭辞 "ar-"（）を付ける。
与えられた写像 に対して、その逆写像は存在すれば唯一つである。それは を関係と見たときの逆関係に一致しなければならない。
写像とその逆写像との間には対称性が存在する。 が から への可逆写像ならば、その逆写像 は から への写像であり、かつ の逆写像はもとの写像 に一致する。記号で書けば、 および に対して
が成り立つ。これは関係の逆転が対合であることにより、逆写像と逆関係との間の関係から従う。
この主張は可逆写像が（第一の定義では）単射または（第二の定義では）全単射とならなければならないことから明らかに演繹される帰結である。この対合対称性は
という式として簡潔に表現できる。
合成写像の逆写像は
なる式で与えられる。ここで と が逆順になっていることに注意。「まず を施してから を施す」という操作を取り消すには、「まず を取り消してから を取り消す」ようにしなければならない。
たとえば、 および とすると、それらの合成 は、まず -倍してから を加える函数
である。この過程を逆にするには、まず を引いて、そのあと で割る
としなければならない。これは に等しい。
任意の集合 に対して、そのうえの恒等写像はそれ自身を逆写像として持つ。つまり
が成り立つ。もっと一般に、函数 がその逆函数と相等しいための必要十分条件は、合成函数 が に等しいことである。このような写像は対合と呼ばれる。
一変数の初等解析学では実数を実数に写す写像である実函数を主に考える。そのような函数は、しばしば
のような明示的な数式を通して定義される。実一変数実数値函数 はそれが一対一である限り逆函数を持つ。
が存在するとき、その式を求める方法のひとつが、方程式 を について解くことで与えられる。例えば、 が
なる式で与えられているとき、方程式 を について解けば、
となるから、求める逆函数 が
なる式で与えられる。しかしいつでもこのような逆函数の求め方が通用するわけではない。例えば が
なる函数であれば、 は一対一で、したがって逆函数 を持つのだが、この逆函数を与える公式は無限項の和
となる（ケプラーの方程式#逆ケプラー方程式を参照）。
が可逆ならば函数
のグラフと方程式
のグラフは同一である。このことは と の役割が入れ替わっていることを除けば、方程式 が のグラフを定義することと同じである。したがって、逆函数 のグラフは、函数 のグラフで と の位置を入れ替えることによって得られる。これは、これらのグラフが直線 に関して線対称であるといっても同じことである。
実一変数実数値の連続函数 が一対一（したがって可逆）となるために必要十分な条件は、それが狭義単調となる（極値を持たない）ことである。たとえば、函数
は可逆である。これが単調増大であることはその導函数 が常に正値であることからわかる。
実一変数実数値函数が可微分ならば、その逆函数 も である限り可微分で、その導函数は逆函数定理により
で与えられる。これは とおくと
と表すことができる。これは連鎖律から導くことができる。
逆函数定理は多変数函数に対しても一般化することができる。特に、多変数可微分函数 は、点 における の函数行列が可逆である限り、点 の近傍で可逆である。この場合、点 における の函数行列は における の函数行列の逆行列である。
写像 が一対一でない場合にも、 の偏逆写像もしくは逆部分写像 を始域を制限することによって定義することができる。たとえば函数
は となるから一対一ではない。しかし、 に始域を制限すれば一対一になり、このとき
となる（定義域を に制限したときは、逆函数は負の平方根を与えるものになる）。あるいは、逆函数を多価函数
として考えるならば始域を制限する必要も無い。
このような多価逆函数を の全逆函数もしくは完全逆写像 などと呼び、その（ や のような）部分のことを枝もしくは分枝 と呼ぶ場合もある。（例えば正の平方根のような）多価函数の最も重要な枝は主枝 といい、逆函数の における値で主枝に属するものを の主値 と呼ぶ。
実数直線上の連続函数に対して、極値の隣り合う対にそれぞれ、その全逆函数の一つの（連続な）枝が対応する。例えば、極大値と極小値をもつ三次函数の逆函数は、三つの分枝を持つ。
こういったことへの配慮は、特に三角函数の逆函数を定義する際には重要である。例えば、正弦函数は任意の実数に対して
を満たす（もっと一般に任煮の整数 に対して を満たす）から一対一ではない。しかし、区間 上で正弦函数は一対一であり、対応する偏逆函数は逆正弦函数 arcsine と呼ばれる。これは（全）逆正弦函数の主枝であると考えられ、そたがってこの逆函数の主値は常に と の間に値を持つ。
写像 に対し、 の左逆写像 あるいは引込み とは、
を満たす写像 のことをいう。つまり、 の各元 に対して は
を満たす。したがって は の値域上では の逆写像と一致しなければならないが、値域に入らない の元に対してはどのような値をとろうとも支障ない。写像 が左逆写像をもつならば は単射であることが次のように証明できる。写像 に対し、 を の左逆写像とする。 が を満たすとすると、 から なので、 したがって、 は単射である。
逆に写像 が（空写像ではない）単射ならば、適当な を選んで、次のように左逆写像 を構成することができる。
このように古典数学では任意の単射 は左逆写像を持つことが必要となるが、。
写像 に対し、 の右逆写像 あるいは切断もしくは断面 とは
を満たす写像 のことをいう。つまり は の各元 に対して
なる条件を満足する。したがって は によって へ写されるような ならばどのようなものでもよい。写像 が右逆写像をもつ必要十分な条件は、 が全射となることである（ただし一般には、選択公理が必要となるので、右逆写像を構成的に得ることはできない）。
（証明）写像 に対し、 を の右逆写像とする。このとき、任意の に対して とすれば、 となるので は全射。
逆に写像 を全射とする。すると、任意の において の原像 は空ではない。したがって集合族 （これは による の類別でもある）に対して選択関数 が定義できる。このとき、 は から への写像となっており、 となることから は の右逆写像である。∎
左逆写像にも右逆写像にもなっている逆写像は一意でなければならない。同様に、 が の左逆写像のとき、 は の右逆写像である場合もあるし、そうでない場合もある。また が の右逆写像であるときも、 は必ずしも左逆写像でなくてよい。例えば が の各元 に対してその平方を与える函数 とし、 を各 に対して正の平方根を与える函数 とすると、 のどの元 に対しても が成り立つ。つまり、 は の右逆函数である。しかし、例えば であるから、 は の左逆函数にはなっていない。
を（必ずしも可逆でない）任意の写像とするとき、 の元 の原像または逆像が、 によって に写される の元全体の成す集合
として定まる。 の原像は、全逆写像による の像（完全逆像）として考えることができる。
同様に、 を終域 の任意の部分集合とすると、"S" の による原像が、 によって へ写される の元全体からなる集合
として定まる。たとえば、函数 を考えると、この函数は既に述べたように可逆ではないが、しかし終域の部分集合に対する原像は定義できて、たとえば
となる。一つの元 の原像（同じことだが、一元集合 の原像）は、 のファイバー と呼ばれることもある。 が実数全体からなる集合のとき、 は等位集合として言及されることも多い。