逆函数とは？わかりやすく解説

辞書 類語・対義語辞典 英和・和英辞典 日中中日辞典 日韓韓日辞典 古語辞典

その他の辞書▼
- フランス語辞典
- インドネシア語辞典
- タイ語辞典
- ベトナム語辞典

Weblio 辞書ヘルプ

556の専門辞書や国語辞典百科事典から一度に検索!

無料の翻訳ならWeblio翻訳！

初めての方へ参加元一覧

Weblio 辞書 > 辞書・百科事典 > デジタル大辞泉 > 逆函数の意味・解説

デジタル大辞泉

索引トップ用語の索引ランキング凡例

ぎゃく‐かんすう〔‐クワンスウ〕【逆関数】

読み方：ぎゃくかんすう

関数y＝f （x）のxとyとを入れ換えて得られる関数x＝f （y）のこと。y＝f⁻¹（x）と表す。

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

逆写像

(逆函数から転送)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/01/11 06:25 UTC 版)

この記事には複数の問題があります。改善やノートページでの議論にご協力ください。

脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2013年5月）

写像

f

とその逆写像

f -1

。たとえば

f

は

a

を

3

に写すから、逆写像

f -1

は

3

を

a

に写す。

数学における逆写像（ぎゃくしゃぞう、英: inverse mapping）は一口に言えば写像の与える元の対応関係を「反対」にして得られる写像である。すなわち、写像 $f$ が $x$ を $y$ に写すならば、 $f$ の逆写像は $y$ を $x$ に写し戻す^[1]。

函数と呼ばれる種類の写像の逆写像は、逆函数 (inverse function) と呼ばれる。

定義

f

が

X

から

Y

への写像ならば

f -1

は

Y

を

X

へもどす写像である。

「逆元」も参照

写像 $f$ の定義域を集合 $X$ , 値域を集合 $Y$ とする。写像 $f$ が可逆 (invertible) であるとは、 $Y$ を定義域、 $X$ を値域とする写像 $g$ で、条件

f(x)=y\iff g(y)=x

合成写像の逆写像は

(g\circ f)^{-1}=f^{-1}\circ g^{-1}

$f$ が可逆ならば函数

y=f^{-1}(x)

写像 $f$ が一対一でない場合にも、 $f$ の偏逆写像もしくは逆部分写像 (partial inverse) を始域を制限することによって定義することができる。たとえば函数

f(x)=x^{2}

このような多価逆函数を $f$ の全逆函数もしくは完全逆写像 (full inverse) などと呼び、その（ $\sqrt x$ や $- \sqrt x$ のような）部分のことを枝もしくは分枝 (branches) と呼ぶ場合もある。（例えば正の平方根のような）多価函数の最も重要な枝は主枝 (principal branch) といい、逆函数の $y$ における値で主枝に属するものを $f -1$ (y) の主値 (principal value) と呼ぶ。

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

主逆正弦函数は正弦函数の偏逆函数である。

こういったことへの配慮は、特に三角函数の逆函数を定義する際には重要である。例えば、正弦函数は任意の実数に対して

\sin(x+2\pi )=\sin(x)

を満たす（もっと一般に任煮の整数 $n$ に対して $sin(x + 2 π n) = sin(x)$ を満たす）から一対一ではない。しかし、区間 $[- π / 2, π / 2]$ 上で正弦函数は一対一であり、対応する偏逆函数は逆正弦函数 arcsine と呼ばれる。これは（全）逆正弦函数の主枝であると考えられ、そたがってこの逆函数の主値は常に $- π ⁄ 2$ と $π ⁄ 2$ の間に値を持つ。

逆三角函数の主枝
函数	通常用いられる主値の範囲
$arc sin$	$- π / 2 \leq arc sin(x) \leq π / 2$
$arc cos$	$0 \leq arc cos(x) \leq π$
$arc tan$	$- π / 2 < arc tan(x) < π / 2$
$arc cot$	$0 < arc cot(x) < π$
$arc sec$	$0 \leq arc sec(x) < π$
$arc csc$	$- π / 2 \leq arc csc(x) < π / 2$

左逆写像

写像 $f : X \to Y$ に対し、 $f$ の左逆写像 (left inverse) あるいは引込み (retract) とは、

g\circ f=\operatorname {id} _{X}

を満たす写像 $g : Y \to X$ のことをいう。つまり、 $X$ の各元 $x$ に対して $g$ は

f(x)=y\implies g(y)=x

を満たす。したがって $g$ は $f$ の値域上では $f$ の逆写像と一致しなければならないが、値域に入らない $Y$ の元に対してはどのような値をとろうとも支障ない。写像 $f$ が左逆写像をもつならば $f$ は単射であることが次のように証明できる。写像 $f : X \to Y$ に対し、 $g : Y \to X$ を $f$ の左逆写像とする。 $x, y \in X$ が $f (x) = f (y)$ を満たすとすると、 $g (f (x)) = g (f (y))$ から $id X (x) = id X (y)$ なので、 $x = y .$ したがって、 $f$ は単射である。

逆に写像 $f : X \to Y$ が（空写像ではない）単射ならば、適当な $x 0 \in X$ を選んで、次のように左逆写像 $g : Y \to X$ を構成することができる。

g(y)={\begin{cases}x,&{\text{if }}\exists x\in X[f(x)=y]\\x_{0},&{\text{else}}\end{cases}}

このように古典数学では任意の単射 $f$ は左逆写像を持つことが必要となるが、構成的数学においては偽となり得る。例えば、二元集合から実数直線への包含写像 ${0,1} \to R$ の左逆写像は、実数直線から二点集合 ${0,1}$ への引込みを与えるとき既約性（英語版）に反する^{[疑問点 – ノート]}。

右逆写像

写像 $f : X \to Y$ に対し、 $f$ の右逆写像 (right inverse) あるいは切断もしくは断面 (section) とは

f\circ h=\operatorname {id} _{Y}

を満たす写像 $h : Y \to X$ のことをいう。つまり $h$ は $Y$ の各元 $y$ に対して

h(y)=x\implies f(x)=y

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

（証明）写像 $f : X \to Y$ に対し、 $h : Y \to X$ を $f$ の右逆写像とする。このとき、任意の $y \in Y$ に対して $x = h (y)$ とすれば、 $f (x) = y$ となるので $f$ は全射。

逆に写像 $f : X \to Y$ を全射とする。すると、任意の $y \in Y$ において $f$ の原像 $f -1$ ({y}) は空ではない。したがって集合族 $(f -1$ ({y}))_{y ∈ Y} （これは $f$ による $X$ の類別でもある）に対して選択関数 $φ : (f -1$ ({y}))_{y ∈ Y} → X が定義できる。このとき、 $h (y) = φ (f -1$ ({y})) は $Y$ から $X$ への写像となっており、 $f (h (y)) = y$ となることから $h$ は $f$ の右逆写像である。∎

左逆写像にも右逆写像にもなっている逆写像は一意でなければならない。同様に、 $g$ が $f$ の左逆写像のとき、 $g$ は $f$ の右逆写像である場合もあるし、そうでない場合もある。また $h$ が $f$ の右逆写像であるときも、 $h$ は必ずしも左逆写像でなくてよい。例えば $f : R \to [0, \infty)$ が $R$ の各元 $x$ に対してその平方を与える函数 $f (x) = x 2$ とし、 $g : [0, \infty) \to R$ を各 $x \in [0, \infty)$ に対して正の平方根を与える函数 $g (x) = \sqrt x$ とすると、 $[0, \infty)$ のどの元 $x$ に対しても $f (g (x)) = x$ が成り立つ。つまり、 $g$ は $f$ の右逆函数である。しかし、例えば $g (f (-1)) = 1 \neq -1$ であるから、 $g$ は $f$ の左逆函数にはなっていない。

原像

$f : X \to Y$ を（必ずしも可逆でない）任意の写像とするとき、 $Y$ の元 $y$ の原像または逆像が、 $f$ によって $y$ に写される $X$ の元全体の成す集合

f^{-1}(\{y\})=\{x\in X:f(x)=y\}

として定まる。 $y$ の原像は、全逆写像による $y$ の像（完全逆像）として考えることができる。

同様に、 $S$ を終域 $Y$ の任意の部分集合とすると、S の $f$ による原像が、 $f$ によって $S$ へ写される $X$ の元全体からなる集合

f^{-1}(S)=\{x\in X:f(x)\in S\}

として定まる。たとえば、函数 $f : R \to R; x \mapsto x 2$ を考えると、この函数は既に述べたように可逆ではないが、しかし終域の部分集合に対する原像は定義できて、たとえば

f^{-1}(\left\{1,4,9,16\right\})=\left\{-4,-3,-2,-1,1,2,3,4\right\}

となる。一つの元 $y \in Y$ の原像（同じことだが、一元集合 ${y}$ の原像）は、 $y$ のファイバー (fiber) と呼ばれることもある。 $Y$ が実数全体からなる集合のとき、 $f -1$ は等位集合として言及されることも多い。

注

^ Keisler, H. Jerome. “Differentiation (PDF)”. 2015年1月24日閲覧。 “§ 2.4”
^ Smith, Eggen & St. Andre 2006, p. 202, Theorem 4.9
^ Smith, Eggen & St. Andre 2006, p. 179
^ Thomas 1972, pp. 304–309

参考文献

Smith, Douglas; Eggen, Maurice; St. Andre, Richard (2006), A Transition to Advanced Mathematics (6th ed.), Thompson Brooks/Cole, ISBN 978-0-534-39900-9
Thomas, Jr., George B. (1972), Calculus and Analytic Geometry Part 1: Functions of One Variable and Analytic Geometry (Alternate ed.), Addison-Wesley

外部リンク

Hazewinkel, Michiel, ed. (2001), "Inverse function", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。
Weisstein, Eric W. "Inverse Function". MathWorld (英語).

ウィキペディア小見出し辞書

索引トップ用語の索引ランキング

逆函数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/05/04 12:31 UTC 版)

「陰関数」の記事における「逆函数」の解説

よくある種類の陰函数は逆函数である。函数 f の逆函数は、f の独立変数と従属変数の役割を入れ替えると得られる。つまり、f が x の函数であるとき、f の逆函数 f−1 は、x を y の式として方程式 y = f(x) を解くことで与えられ、その解が x = f−1(y) である。別な言い方をすると、陰伏方程式 R(x, y) = y − f(x) = 0 を x について解いたものが逆函数である。例えばランベルトのオメガ函数は、陰伏方程式 y − xex = 0 を x について解いた陰伏函数（つまり y の逆函数）として与えられる。

※この「逆函数」の解説は、「陰関数」の解説の一部です。
「逆函数」を含む「陰関数」の記事については、「陰関数」の概要を参照ください。

ウィキペディア小見出し辞書の「逆函数」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。お問い合わせ。

>> 「逆函数」を含む用語の索引
逆函数のページへのリンク

辞書ショートカット

1 デジタル大辞泉
2 ウィキペディア
3 ウィキペディア小見出し辞書

カテゴリ一覧

全て

＋電車

＋船

＋工学

＋建築・不動産

＋学問

＋文化

＋生活

＋ヘルスケア

＋趣味

＋スポーツ

＋生物

＋食品

＋人名

＋方言

＋辞書・百科事典

すべての辞書の索引

Weblioのサービス

「逆函数」の関連用語

70% |||||

70% |||||

56% |||||

56% |||||

56% |||||

56% |||||

52% |||||

52% |||||

50% |||||

38% |||||

逆函数のお隣キーワード

逆函数

検索ランキング

逆函数のページの著作権
Weblio 辞書情報提供元は参加元一覧にて確認できます。


	(C)Shogakukan Inc. 株式会社小学館
	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの逆写像 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
	Text is available under GNU Free Documentation License (GFDL). Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの陰関数 (改訂履歴)、逆写像 (改訂履歴)、j-不変量 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。