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

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

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

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）』 (2022/03/26 15:19 UTC 版)

「誤差関数」の記事における「逆関数」の解説

逆誤差関数は次のような級数となる。 erf − 1 ⁡ ( z ) = ∑ k = 0 ∞ c k 2 k + 1 ( π 2 z ) 2 k + 1 {\displaystyle \operatorname {erf} ^{-1}\left(z\right)=\sum _{k=0}^{\infty }{\frac {c_{k}}{2k +1}}\left({\frac {\sqrt {\pi }}{2}}z\right)^{2k +1}\,\!} ここで、 c 0 = 1 {\displaystyle c_{0}=1} であり、 c k = ∑ m = 0 k − 1 c m c k − 1 − m ( m + 1 ) ( 2 m + 1 ) = { 1 , 1 , 7 6 , 127 90 , … } {\displaystyle c_{k}=\sum _{m=0}^{k-1}{\frac {c_{m}c_{k-1-m}}{(m+1)(2m +1)}}=\left\{1,1,{\frac {7}{6}},{\frac {127}{90}},\ldots \right\}} となる。従って、次のような級数の展開が得られる（分子と分母に共通して出現する係数は省いてある）。 erf − 1 ⁡ ( z ) = 1 2 π ( z + π 12 z 3 + 7 π 2 480 z 5 + 127 π 3 40320 z 7 + 4369 π 4 5806080 z 9 + 34807 π 5 182476800 z 11 + ⋯ ) {\displaystyle \operatorname {erf} ^{-1}(z)={\frac {1}{2}}{\sqrt {\pi }}\left(z+{\frac {\pi }{12}}z^{3}+{\frac {7\pi ^{2}}{480}}z^{5}+{\frac {127\pi ^{3}}{40320}}z^{7}+{\frac {4369\pi ^{4}}{5806080}}z^{9}+{\frac {34807\pi ^{5}}{182476800}}z^{11}+\cdots \right)\,\!} なお、誤差関数の正と負の無限大での値はそれぞれ正と負の 1 {\displaystyle 1} となる。

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

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

Weblio日本語例文用例辞書

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

「逆関数」の例文・使い方・用例・文例

【数学】逆関数.
サインの逆関数
コサインの逆関数
タンジェントの逆関数
コタンジェントの逆関数
割線の逆関数
数学において,逆関数という関数

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

逆関数と同じ種類の言葉

関数に関連する言葉

複素関数超越関数逆関数陰関数陽関数

>>同じ種類の言葉 >>関数に関連する言葉

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

辞書ショートカット

1 デジタル大辞泉
2 ウィキペディア
3 ウィキペディア小見出し辞書
4 Weblio日本語例文用例辞書

カテゴリ一覧

全て

＋電車

＋船

＋工学

＋建築・不動産

＋学問

＋文化

＋生活

＋ヘルスケア

＋趣味

＋スポーツ

＋生物

＋食品

＋人名

＋方言

＋辞書・百科事典

すべての辞書の索引

Weblioのサービス

「逆関数」の関連用語

100% |||||

100% |||||

割線

100% |||||

100% |||||

100% |||||

98% |||||

逆三角関数 デジタル大辞泉

96% |||||

78% |||||

78% |||||

76% |||||

逆関数のお隣キーワード

逆関数

検索ランキング

逆関数のページの著作権
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の誤差関数 (改訂履歴)、三角関数の公式の一覧 (改訂履歴)、ヤコビの楕円関数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。
TANAKA Corpus	Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います： Creative Commons Attribution (CC-BY) 2.0 France.
京大-NICT 日英中基本文データ	この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
	Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
	Copyright © Benesse Holdings, Inc. All rights reserved.
	Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
	日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
	Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. 「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
	This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.