合成関数，逆関数

← PC版は別頁

高校～大学基礎の数学用語.公式.例

合成関数

conposite function

用語

　関数 $z=g(y),\hspace{3}y=f(x)$ に対して，関数 $z=g(f(x))$ を $f$ と $g$ の合成関数といい， $g\circ f(x)$ または $(g\circ f)(x)$ で表す．

話題

「 $f$ と $g$ の合成関数」という場合の名前の順序（ $f$ と $g$ ）は， $g\circ f(x)$ の記号の順序ではなく， $x$ に対して関数が作用する順序を表す．［右図参照］

記号

　 $f(x)$ と $g(x)$ の合成関数が， $g(f(x))$ を表し， $g\circ f$ で表すことについては，教科書による違いはない．
　関数の変数（引数）を入れる括弧の書き方としては， $(g\circ f)(x)$ という書き方と $g\circ f(x)$ という書き方がある．
　どちらが正しいかということではなく，どちらでもよいが，2019年現在，高校数学Ⅲの教科書・参考書では $(g\circ f)(x)$ の方が多い．

重要

　合成関数は， $x,\hspace{3}y,\hspace{3}z$ という文字に依存しているのでなく，「どの関数の変数の代わりに，どの関数を代入するか」に着目したものなので，変数を両方とも $x$ で書いた場合
$f(x)$ と $g(x)$ の合成関数は $(g\circ f)(x)=g(f(x))$ ，
$g(x)$ と $f(x)$ の合成関数は $(f\circ g)(x)=f(g(x))$
ということになる．

例

• 関数 $f(x)=x^2$ と $g(x)=2x+ 1$ の合成関数 $g\circ f(x)$ は， $g(x)$ の変数 $x$ の代わりに，関数 $f(x)$ を代入したものと考えて
$g\circ f(x)=g(f(x))=2(x^2)+ 1=2x^2+ 1$

文字 $y,\hspace{2}z$ を使って2段構えで考える場合は
$z=2y+ 1$
$y=x^2$

$z=2x^2+ 1$

例

• 関数 $g(x)=2x+ 1$ と $f(x)=x^2$ の合成関数 $f\circ g(x)$ は， $f(x)$ の変数 $x$ の代わりに，関数 $g(x)$ を代入したものと考えて
$f\circ g(x)=f(g(x))=(2x+ 1)^2$

文字 $y,\hspace{2}z$ を使って2段構えで考える場合は
$z=y^2$
$y=2x+ 1$

$z=(2x+ 1)^2$

重要

　2か所以上に変数が見えている場合は，その全部に代入しなければならない．

例

関数 $f(x)=x-1$ と $g(x)=x^2+ 2x$ の合成関数
$g(f(x))=(x-1)^2+ 2(x-1)$

例

関数 $g(x)=x^2+ 3x$ と $f(x)=\frac{x+ 1}{x-1}$ の合成関数
$f(g(x))=\frac{x^2+ 3x+ 1}{x^2+ 3x-1}$

関数の合成についての結合法則，交換法則

定理

　関数の合成については
(1) 結合法則が成り立つ．（次の関係がつねに成り立つ）
$h\circ(g\circ f)=(h\circ g)\circ f$
(2) 交換法則は成り立たない．（次の関係は，つねに成り立つとは限らない=成り立たない場合がある）
$g\circ f\ne f\circ g$

（証明）
(1) 各々の関数はその定義域において考えるものとするとき，関数の合成について「結合法則が成り立つ」とは， $f(x)$ と $g(x)$ の合成関数に $h(x)$ を合成した場合
$h\circ(g\circ f)$
$f(x)$ に $g(x)$ と $h(x)$ の合成関数を合成した場合
$(h\circ g)\circ f$
とが「つねに等しい」ことをいう．（どちらの合成を先に行うかによって，３つの関数を合成した結果が変わらないというのが結合法則）
$(g\circ f)(x)=g(f(x))$ を $h(x)$ の $x$ に代入すると
$h(g(f(x)))$
$f(x)$ を $(h\circ g)(x)=h(g(x))$ の $x$ に代入すると
$h(g(f(x)))$
これらは等しいから，結合法則が成り立つ．

(2) 交換法則が成り立たないことを示すには，１つでも成り立たない例［反例］があることを示せばよく，つねに成り立たない［全否定］ことを示すのではない．
　例えば， $f(x)=x^2,\hspace{3}g(x)=x-1$ とすると
$(g\circ f)(x)=g(f(x))=x^2-1$
$(f\circ g)(x)=f(g(x))=(x-1)^2$
となるから，これらの関数は恒等的には一致しない．

話題

　高校数学で，「結合法則が成立し，交換法則が成立しないもの」の例として，他に行列の積がある．
　例えば，2×2の行列 $A,\hspace{2}B,\hspace{2}C$ があるとき，
$(AB)C=A(BC)$ はつねに成立する
$AB=BA$ は成立するとは限らない

話題

　中学高校では，括弧が二重，三重になる場合に，内側から順に小括弧，中括弧，大括弧を使って入れ子にすることが多いが，このように決めてしまうと，四重以上になる場合に記号がなくなって困る．
　大学やコンピュータ関連では，何重になっても(　)の1種類だけで表す場合が多い．これで何も混乱は起こらない．
　おそらく関数はf(x)のように(　)で書くことになっているらしく，関数の合成に関して，h[g{f(x)}]などと書かれたものを見たことがない．
　なお，括弧の読み方も様々である．
(　) → 括弧，小括弧，パーレン
{　} → 中括弧，波括弧，ブレース
[　] → 角括弧，大括弧，ブラケット

合成関数の定義域と値域

話題

　関数の定義域は，指定がある場合はそれに従い，特に指定がない場合は，関数が意味をもつ限りでなるべく広い範囲をとります．
　関数 $f(x)$ の定義域が $A$ で，これに対応する値域が $B$ ，関数 $g(x)$ の定義域が $C$ で，これに対応する値域が $D$ のとき，合成関数 $(g\circ f)(x)=g(f(x))$ の定義域と値域は次のように決まる．
　まず，関数 $g(x)$ の定義域が $B\cap C$ になり，値域はその像 $g(B\cap C)$ ．
　次に，関数 $f(x)$ の値域が $B\cap C$ になり，定義域はその原像
　理屈や用語がややこしいですが，実際には問題を見れば分かります．

例

関数 $f(x)=\sqrt{1-x^2}$ と $g(x)=x+ 1$ の合成関数 $(g\circ f)(x)=\sqrt{1-x^2}+ 1$ の定義域と値域を求める．

　 $f(x)$ の定義域が $[-1,\hspace{2}1]$ で，値域が $[0,\hspace{2}1]$ ， $g(x)$ の定義域が全実数で値域が全実数だから，合成するときの $g(x)$ の定義域は $[0,\hspace{2}1]$ と全実数の共通部分で， $[0,\hspace{2}1]$ ，値域は $[1,\hspace{2}2]$
　値域 $[0,\hspace{2}1]$ に対応する $f(x)$ の定義域は $[-1,\hspace{2}1]$
　以上から，合成関数 $(g\circ f)(x)=\sqrt{1-x^2}+ 1$ の定義域は $[-1,\hspace{2}1]$ で値域は $[1,\hspace{2}2]$

ただし，「関数が意味をもつ限りでなるべく広い範囲をとる」ことに注意すると，定義域が $[-1,\hspace{2}1]$ で値域が $[1,\hspace{2}2]$ となることは，合成関数の形を見たら分かるようになっている．

例

関数 $g(x)=x+ 1$ と $f(x)=\sqrt{1-x^2}$ の合成関数 $(f\circ g)(x)=\sqrt{1-(x+ 1)^2}$ の定義域と値域を求める．

　 $g(x)$ の定義域が全実数で値域が全実数， $f(x)$ の定義域が $[-1,\hspace{2}1]$ で，値域が $[0,\hspace{2}1]$ だから，合成するときの $f(x)$ の定義域は $[-1,\hspace{2}1]$ と全実数の共通部分で， $[-1,\hspace{2}1]$ ，値域は $[0,\hspace{2}1]$
　値域 $[-1,\hspace{2}1]$ に対応する $g(x)$ の定義域は $[-2,\hspace{2}0]$
　以上から，合成関数 $(g\circ f)(x)=\sqrt{1-(x+ 1)^2}$ の定義域は $[-2,\hspace{2}0]$ で値域は $[0,\hspace{2}1]$

ただし，「関数が意味をもつ限りでなるべく広い範囲をとる」ことに注意すると， $-1\underline{\le}x+ 1\underline{\le}1\rightarrow -2\underline{\le}x\underline{\le}0$ から定義域が $[-2,\hspace{2}0]$ で値域が $[0,\hspace{2}1]$ となることは，合成関数の形を見たら分かるようになっている．

用語

　集合XからYへの対応 $y=f(x)$ について
• $f(x)$ の値域がY全体であるとき， $f(x)$ はXからYの上への写像（または全射）という．
• 異なる $x$ の値には異なる $y$ の値が対応するとき
$x_1\ne x_2\rightarrow f(x_1)\ne f(x_2)$
対偶で言えば
$f(x_1)=f(x_2)\rightarrow x_1=x_2$
となるとき， $f(x)$ は1対1の写像（または単射）であるという．
• 全射かつ単射（全単射）であるとき，逆写像が存在する．
• 写像の内で，定義域と値域がどちらも実数の集合であるものを関数という．
• 関数の内で定義域と値域が同じ集合であるものを変換という．

逆関数

inverse function

用語

　関数 $y=f(x)$ が各々の $x$ の値に対して $y$ の値を対応させるとき，各々の $y$ の値に対して元の $x$ の値を対応させる関数を $f(x)$ の逆関数といい， $f^{-1}(x)$ で表す．

例

関数 $y=f(x)=2x+ 1$ を変形して， $y$ の値に対して $x$ の値を対応させる関数にすると，
$x=\frac{y-1}{2}$
となる．
　したがって
$f(x)=2x+ 1\hspace{3}\overset{\rightarrow}{\leftarrow}\hspace{3}f^{-1}(y)=\frac{y-1}{2}$
の $f^{-1}(y)=\frac{y-1}{2}$ が $y$ から $x$ への対応を示す逆関数であるが，関数を文字に依存せずに考えて，独立変数を $x$ で，従属変数を $y$ で表す習慣に従って書き，逆関数は
$f^{-1}(x)=\frac{x-1}{2}$
と書くのが普通である．

記号

　ここでは， $f^{-1}(x)$ における $^{-1}$ という記号を「逆の」ということを表すための専用の記号として使っていることに注意．
　すなわち，数学の他の分野で $2^{-1}=\frac{1}{2}$ などと分数を表すのとは異なり， $f^{-1}(x)=\frac{1}{f(x)}$ のことではない．また， $f^{-2}(x),\hspace{3}f^{-3}(x)$ や $f^{-\frac{1}{2}}(x)$ などの意味が自動的に定まるわけではない．
　高校以上の数学で，この $^{-1}$ という記号を「逆の」ということを表すための専用の記号として使う例として，他の分野には行列がある．行列では $A^{-1}$ は行列 $A$ の逆行列を表すが， $BA^{-1}$ は $B\div A$ を表さず，そもそも行列の割り算というものを考えない．

重要

　ある関数 $f(x)$ に対してその逆関数 $f^{-1}(x)$ が存在するためには，元の関数 $f(x)$ は1対1対応の関数（単射ともいう）でなければならない．

（解説）
　図1，図2のように，異なる $x$ には異なる $y$ が対応しているとき，これらの関数 $f(x)$ は1対1対応の関数であるという．
　1対1対応の関数では， $y$ の値を定めると，これに対応する $x$ がただ1つ定まる．

- 図1 -

- 図2 -

- 図3 -

　これに対して，図3のようなグラフでは，異なる $x$ に同じ $y$ が対応しているので， $y$ の値を定めたときに，これに対応する元の $x$ の値はただ1つに定まらない．
　図1，図2と図3を比較すると，図1は単調増加関数，図2は単調減少関数になっていて， $y$ の値を定めたときに，これに対応する元の $x$ の値はただ1つに定まるのに対して，図3は減少の区間と増加の区間とがあって，全体が谷形になっている．図3のようなグラフでは， $y$ の値を定めたとき（ $x$ 軸に平行な直線を引いたとき），グラフと2か所で交わるので，対応する $x$ の値が2つあるところが違う．この事情は山形（増加の後に減少になる）のグラフでも同様である．そこで，次のことが言える．

重要

　区間 $[a,\hspace{2}b]$ において連続な関数 $f(x)$ に逆関数 $f^{-1}(x)$ が存在するためには， $f(x)$ はこの区間において単調な関数（単調増加関数または単調減少関数）でなければならない．

（解説）
　連続という条件を外せば，例えば右図の関数

$x$ が無理数のとき $y=x$
$x$ が有理数のとき $y=x+ 1$
という関数を考えると，同じ $y$ の値は登場しないから，逆向きの対応を作ることができる．

$y$ が無理数のとき $x=y$
$y$ が有理数のとき $x=y-1$
　このように，逆関数の存在条件として，単調増加または単調減少という条件が付くのは，連続関数の場合です．

　集合 $X$ から集合 $Y$ への対応を表す右図のグラフにおいて， $Y$ 上の数字0, 1, 2はその $y$ の値に対応している $x$ の値の個数とする．
　右の関数 $y=f(x)$ に逆関数が存在しない理由は2点に分けて示すことができる．
(1) $y$ の値の内で赤字で0と書いた区間には，対応する $x$ の値がない（ $Y$ の「上への写像」「全射」になっていない）から，この区間の $y$ の値に対する元の $x$ の値がない．
(2) $y$ の値の内で濃い青字で2と書いた区間には，対応する $x$ の値が２つある（「1対1の写像」「単射」になっていない）から，この区間の $y$ の値に対する元の $x$ の値が１つに定まらない．
　このように「上への写像」でない場合や「1対1の写像」でない場合には， $y$ の値に対する元の $x$ の値が決まらないから，逆関数が決まらない．
　これに対して，「上への1対1の写像」「全単射」になっている場合には，どの $y$ の値に対しても元の $x$ の値が決まるから，逆関数が定まる．

※ただし，「1対1の写像」については厳格に考えるが，「与えられた関数が意味を持つ範囲で，なるべく広い範囲で定義域を考える」という立場をとおて，「上への写像」「全射」については緩やかに考えてよいことが多い．

例

　 $y=f(x)=\sqrt{x}$ という関数は， $y\lt 0$ となる値をとらず，実数全体の「上への写像」「全射」になっていないから，逆関数はないと切り捨てたりはしない．
　この関数が意味を持つなるべく広い範囲を考えて， $y=f(x)=\sqrt{x}\hspace{5}(x\underline{\ge}0,\hspace{2}y\underline{\ge}0)$ として $X=\{\hspace{2}x\hspace{2}\mid\hspace{2}x\underline{\ge}0\}$ から $Y=\{\hspace{2}y\hspace{2}\mid\hspace{2}y\underline{\ge}0\}$ への写像と解釈する．このように定義域と値域を限定すると， $Y=\{\hspace{2}y\hspace{2}\mid\hspace{2}y\underline{\ge}0\}$ から $X=\{\hspace{2}x\hspace{2}\mid\hspace{2}x\underline{\ge}0\}$ への対応， $x=f^{-1}(y)=y^2\hspace{5}(x\underline{\ge}0,\hspace{2}y\underline{\ge}0)$ が得られます．
　 $x$ を独立変数， $y$ を従属変数とする習慣に従って，文字を入れ換える場合は， $y=f^{-1}(x)=x^2\hspace{5}(y\underline{\ge}0,\hspace{2}x\underline{\ge}0)$ になります．

例

　 $y=f(x)=\log_e x$ という関数は， $x\underline{\le}0$ のとき定義されないから関数ではないと切り捨てたりはしない．
　この関数が意味を持つなるべく広い範囲を考えて， $y=f(x)=\log_e x\hspace{5}(x\gt 0,\hspace{2}-\infty\lt y\lt\infty)$ として $X=\{\hspace{2}x\hspace{2}\mid\hspace{2}x\gt 0\}$ から $Y=\{\hspace{2}y\hspace{2}\mid\hspace{2}-\infty\lt y\lt\infty\}$ への写像と解釈する．このように定義域を限定すると， $Y=\{\hspace{2}y\hspace{2}\mid\hspace{2}-\infty\lt y\lt\infty\}$ から $X=\{\hspace{2}x\hspace{2}\mid\hspace{2}x\gt 0\}$ への対応， $x=f^{-1}(y)=e^y\hspace{5}(x\gt 0,\hspace{2}-\infty\lt y\lt\infty)$ が得られます．
　 $x$ を独立変数， $y$ を従属変数とする習慣に従って，文字を入れ換える場合は， $y=f^{-1}(x)=e^x\hspace{5}(y\gt 0,\hspace{2}-\infty\lt x\lt\infty)$ になります．

例

　 $y=f(x)=x^2\hspace{5}(-\infty\lt x\lt\infty,\hspace{2}y\underline{\ge}0)$ という関数は， $Y=\{\hspace{2}y\hspace{2}\mid\hspace{2}y\gt 0\}$ の値に対応する $x$ の値を求めようとしても， $x=\pm\sqrt{y}$ となって，値を１つに定められません．このままでは逆関数は決まりません．

例

　 $y=f(x)=(x-1)^2+ 2\hspace{5}(-\infty\lt x\lt\infty,\hspace{2}y\underline{\ge}2)$ という関数も， $Y=\{\hspace{2}y\hspace{2}\mid\hspace{2}y\gt 2\}$ の値に対応する $x$ の値を求めようとしても， $x-1=\pm\sqrt{y-2}$ となって，値を１つに定められません．このままでは逆関数は決まりません．

重要

　ある関数 $f(x)$ に逆関数 $f^{-1}(x)$ が存在するとき
$f\circ f^{-1}(x)=x$ （恒等写像）
$f^{-1}\circ f(x)=x$ （恒等写像）
が成り立つ．

※
$f\circ g(x)=I(x)=x$
$g\circ f(x)=I(x)=x$
が成り立つとき， $g(x)$ を $f(x)$ の逆関数（ $f(x)$ を $g(x)$ の逆関数）と定義してもよい．

用語

　（定義域に属する）すべての $x$ の値に対して， $I(x)=x$ となる写像を恒等写像という．（自分自身に等しい関数 $y=x$ のこと）

（解説）
　行ってから戻れば，元に戻るから明らか

例

$f(x)=e^x$ の逆関数は $f^{-1}(x)=\log x$
$f\circ f^{-1}=f(f^{-1}(x))=e^{\log x}=x$
$f^{-1}\circ f=f^{-1}(f(x))=\log(e^x)=x$

例

$f(x)=\sin x\hspace{3}(-\frac{\pi}{2}\underline{\le}x\underline{\le}\frac{\pi}{2})$ の逆関数は $f^{-1}(x)=\arcsin x$
$f\circ f^{-1}(\frac{1}{2})=f(f^{-1}(\frac{1}{2})$
$=\sin(\arcsin\frac{1}{2})=\sin\frac{\pi}{6}=\frac{1}{2}$
$f^{-1}\circ f(\frac{\pi}{6})=f^{-1}(f(\frac{\pi}{6}))$
$=\arcsin(\sin\frac{\pi}{6})=\arcsin(\frac{1}{2})=\frac{\pi}{6}$

●==目次に戻る

■このサイト内のGoogle検索■

△このページの先頭に戻る△【アンケート送信】
… このアンケートは教材改善の参考にさせていただきます

■この頁について，良い所，悪い所，間違いの指摘，その他の感想があれば送信してください．

○文章の形をしている感想は全部読ませてもらっています．
○感想の内で，どの問題がどうであったかを正確な文章で伝えていただいた改善要望に対しては，可能な限り対応するようにしています．（※なお，攻撃的な文章になっている場合は，それを公開すると筆者だけでなく読者も読むことになりますので，採用しません．）

質問に対する回答の中学版はこの頁，高校版はこの頁にあります