$\gdef\bun#1#2{\dfrac{#1}{#2}}$ $\gdef\Bun#1#2{\bun{#1}{#2}}$ $\gdef\punit#1{\ [\mathrm{#1}]\,}$ $\gdef\d{\mathop{d}{}}$ $\gdef\dx{dx}$ $\gdef\dy{dy}$ $\gdef\dt{dt}$ $\gdef\dv{dv}$ $\gdef\dr{dr}$ $\gdef\dV{dV}$ $\gdef\dP{dP}$ $\gdef\dT{dT}$ $\gdef\dU{dU}$ $\gdef\dI{dI}$ $\gdef\boldrm#1{\mathrm{#1}}$ $\gdef\rmA{\boldrm{A}}$ $\gdef\rmB{\boldrm{B}}$ $\gdef\rmC{\boldrm{C}}$ $\gdef\rmD{\boldrm{D}}$ $\gdef\rmE{\boldrm{E}}$ $\gdef\rmF{\boldrm{F}}$ $\gdef\rmG{\boldrm{G}}$ $\gdef\rmH{\boldrm{H}}$ $\gdef\rmI{\boldrm{I}}$ $\gdef\rmJ{\boldrm{J}}$ $\gdef\rmK{\boldrm{K}}$ $\gdef\rmL{\boldrm{L}}$ $\gdef\rmM{\boldrm{M}}$ $\gdef\rmN{\boldrm{N}}$ $\gdef\rmO{\boldrm{O}}$ $\gdef\rmP{\boldrm{P}}$ $\gdef\rmQ{\boldrm{Q}}$ $\gdef\rmR{\boldrm{R}}$ $\gdef\rmS{\boldrm{S}}$ $\gdef\rmT{\boldrm{T}}$ $\gdef\rmU{\boldrm{U}}$ $\gdef\rmV{\boldrm{V}}$ $\gdef\rmW{\boldrm{W}}$ $\gdef\rmX{\boldrm{X}}$ $\gdef\rmY{\boldrm{Y}}$ $\gdef\rmZ{\boldrm{Z}}$ $\gdef\Deg{^{\circ}}\!$ $\gdef\DegC{\,{}^{\scriptsize\circ\!}\rmC}$ $\gdef\punitDegC{\punit{{}^{\scriptsize\circ\!}\rmC}}$ $\gdef\neareq{\fallingdotseq}$ $\gdef\mss{\punit{m/s^2\,}}$ $\gdef\ms{\punit{m/s}}$ $\gdef\s{\punit{s}}$ $\gdef\m{\punit{m}}$ $\gdef\mm{\punit{m^2}}$ $\gdef\mmm{\punit{m^3}}$ $\gdef\rad{\punit{rad}}$ $\gdef\N{\punit{N}}$ $\gdef\J{\punit{J}}$ $\gdef\cal{\punit{cal}}$ $\gdef\W{\punit{W}}$ $\gdef\g{\punit{g}}$ $\gdef\kg{\punit{kg}}$ $\gdef\K{\punit{K}}$ $\gdef\Hz{\punit{Hz}}$ $\gdef\C{\punit{C}}$ $\gdef\A{\punit{A}}$ $\gdef\V{\punit{V}}$ $\gdef\mol{\punit{mol}}$ $\gdef\NA{N_{\rmA}}$ $\gdef\CV{C_{\rmV}}$ $\gdef\CP{C_{\rmP}}$ $\gdef\Pa{\punit{Pa}}$ $\gdef\SUB#1{_{\mathrm{#1}}}$ $\gdef\vec#1{\overrightarrow{#1}}$ $\gdef\dvec#1{\overrightarrow{#1}}$ $\gdef\stext#1{\text{\small #1}}$ $\gdef\sinh{\sin\theta}$ $\gdef\sinx{\sin x}$ $\gdef\siny{\sin y}$ $\gdef\cosh{\cos\theta}$ $\gdef\cosx{\cos x}$ $\gdef\cosy{\cos y}$ $\gdef\tanh{\tan\theta}$ $\gdef\tanx{\tan x}$ $\gdef\tany{\tan y}$ $\gdef\in{^{\,\mathrm{in}}}$ $\gdef\out{^{\,\mathrm{out}}}$ $\gdef\net{^{\,\mathrm{net}}}$ $\gdef\max{_{\mathrm{max}}}$ $\gdef\min{_{\mathrm{min}}}$ $\gdef\mat#1#2{\begin{pmatrix}#1\\#2\end{pmatrix}}$

微分・積分 数学

合成関数

羽白 いむ

東京大学医学部医学科卒 現役医師
数学のトリセツ共著者
東大指導専門塾鉄緑会 物理・数学科元講師

合成関数

合成関数とは

羽白

いきなり合成関数の話が始まりますが,数Ⅲの微分を学ぶにあたって必須の内容です!物理でも使用する考え方ですので,しっかりと理解しましょう!

一般に,2つの関数 $y=f(x)$,$z=g(y)$ があり,$f(x)$ の値域が $g(y)$ の定義域に含まれているとき,$g(y)$ に $y=f(x)$ を代入すると,新しい関数 $z=g(f(x))$ が得られます。

この関数を $f(x)$ と $g(x)$ の合成関数といいます。合成関数は $(g\circ f)(x)$ とかくこともあります。

合成関数のイメージ

羽白

図を用いて合成関数のイメージを確認していきます。

$y=f(x)$ という関数は「$x$ の値を $y$ の値に変換する装置 $f$」のようなものと考えてみます。$(g\circ f)(x)$ は,$f$ という装置で変換した値を $g$ という装置でさらに変換するようなイメージなわけです。

注意が必要なのは,$(g\circ f)(x)$ という関数は,$x$ という値をまずは $f$ で変換し,そして $g$ で変換するという順番です。これもイメージですが,右から順に操作しているわけです。

このことからもわかるように,$(g\circ f)(x)$ と $(f\circ g)(x)$ は操作の順番が変わりますから,同じものではありません。

一般的に,$(g\circ f)(x)\ne(f\circ g)(x)$ が成り立ちます。

同じになることもあります。

生徒

たとえば,$f(x)=2x+1$,$g(x)=x^2$ とするとき,

$$\begin{aligned} (g\circ f)(x)&=g(f(x))=(2x+1)^2=4x^2+4x+1\\ (f\circ g)(x)&=f(g(x))=2x^2+1 \end{aligned}$$のようになり,全く違う関数になります。

合成関数を扱う際には,この順序を意識しましょう。

-微分・積分, 数学