ヤコビアン

この記事は, 旧ブログから移植された記事です. よって, その内容として, 旧ブログに依存した文脈が含まれている可能性があります. 予めご了承下さい.

以前のエントリ, ガウス積分の公式とその証明で, 暗に極座標での微小面積が rdrdθrdrd\theta であるとして書いていたので, その内容についても一応書いておこうというのと, 筆者自身の学習/再整理も兼ねて, ヤコビアンに関して書くこととした.

極座標の微小面積

直交座標から極座標へ移行する際に, その微小面積はどうなるかについて考察する.

立方体とその断面

上図1は, 1×1×11\times 1\times 1 の立方体があって, その断面をそれぞれ極座標と直交座標で示しているだけであるが, この断面図のマスの広がり方を見るだけで, 少なくとも極座標における微小面積が drdθdrd\theta とはならないことに納得できる. 単に drdθdrd\theta としてしまうと, rr が大きくなればなるほど微小面積も伸びて大きくなっていってしまうだろうという想像がつく.

ここで微小面積を導出するために, r,θr,\theta をともに少しだけ動かして, その幅をそれぞれ Δr,Δθ\Delta r,\Delta \theta で表した, 次のような配置を考える2.

微小面積の導出

rr の距離と θ\theta の角度で構成された面積, つまり上図の Δs\Delta s が微小面積に対応することがわかる. Δs\Delta s の面積は, 単に全体の扇形の面積から, rrΔθ\Delta\theta で構成された扇形の面積を引けばよいので,

Δs=12(r+Δr)2Δθ12r2Δθ=rΔrΔθ+12(Δr)2Δθ\Delta s=\dfrac{1}{2}(r+\Delta r)^2\Delta\theta-\dfrac{1}{2}r^2\Delta\theta =r\Delta r\Delta\theta+\dfrac{1}{2}(\Delta r)^2\Delta\theta

limΔθ,Δr0\displaystyle\lim_{\Delta\theta,\Delta r\to 0} を考えれば, 微小量 ΔrΔθ\Delta r\Delta\theta の高次の項を無視してよい. よってこれを微小増分に書き換えれば, Δs\Delta srdrdθrdrd\theta となることがいえる.

…というように, ここまでは幾何学的なイメージを用いて, 直交座標と極座標間における微小面積の遷移について考察したが, 異なる座標系への変換をしようとする度にいちいち図などを用いて考察するのは面倒であり, 従って, より機械的/一般的にこれを実行する手法について考えることは自然な流れと言える. よって, 以降はそれを主題として話を進めていく.

ところで微積分では, 今もそうして行ったように, 極限の概念を多大に用いるので, ここで本題に入る前にその定義に関して触れておくこととする.

ϵδ\epsilon-\delta 論法

ϵδ\epsilon-\delta 論法とは簡単にいえば, 無限小, 無限大といった実数の範囲では定義できない曖昧な概念を, 実数値のみを用いて議論する方法で, 同論法上で極限の式との同値関係を示した定義が次のとおりである.

ϵδ\epsilon-\delta 論文の定義する極限の式との同値関係

ff を実数の部分集合 DD で定義された実数値関数, ccDD の極限点, LL を実数としたとき, limxcf(x)=L(ϵ>0,δ>0,xD,0<xc<δf(x)L<ϵ)\displaystyle \lim_{x\to c}f(x)=L\Leftrightarrow(^\forall\epsilon\gt 0,^\exists\delta\gt 0,^\forall x\in D,0\lt\left|x-c\right|\lt\delta\Rightarrow\left|f(x)-L\right|\lt\epsilon)

D=[a,b]D=[a,b] または D=RD=\mathbb{R} ならば, 閉じた実区間と実数直線は完全集合となり, cc は自動的に極限点であるという条件が満たされるので, 簡単のためにこれを D=RD=\mathbb{R} として書き直すと, ϵδ\epsilon-\delta 論法は

ϵ>0,δ>0, s.t. xR,xc<δf(x)L<ϵ^\forall\epsilon\gt 0,^\exists\delta\gt 0,\ {\rm s.t.}\ ^\forall x\in\mathbb{R}, \left|x-c\right|\lt\delta\Rightarrow\left|f(x)-L\right|\lt\epsilon

となる. 日本語で記述すると「任意の実数 xR^\forall x\in\mathbb{R} に対して, xc<δ\left|x-c\right|\lt\delta を満たすならば, すべての正の実数 ϵ\epsilon に対して f(x)L<ϵ\left|f(x)-L\right|\lt\epsilon を満たすような δ\delta が存在する.」となる. つまりこの言葉で, 関数 f(x)f(x)x=cx=c で連続であることの定義をいうことができるのである. これをグラフで表すと, 次のように描けるだろう. 関数 y=f(x)y=f(x) のとる値を赤の線として, x=cx=c のときの Y 座標の値を LL とし, いま ϵ\epsilon を適当に取ってきて, cc からの幅 δ\deltaLL との幅よりも小さくなるようにとると, 次のようになる.

cc からの幅 δ\deltaLL との幅よりも小さくなるようにとったときの視覚的イメージ

これは, さきに書いた論理式を満たすことがわかる. 上図の ϵ\epsilon を見ると, この値はそこそこの大きさがあるように見えるが, これをさらに小さい値で取ったとしても, δ\delta をそれよりもさらに小さい幅で取ることができる(=上の論理式が満たされる). 従って, 上で描いた関数 f(x)f(x)x=cx=c で連続であると言える. 逆に, δ\delta をそれよりもさらに小さい幅で取ることができないのならば, それは連続でないといえることもわかる. いまこれらを言うのに, 極限の概念を用いることはなかった. このようにして, 表向きに極限を用いずとも, 関数の連続性の定義ができたということが, ϵδ\epsilon-\delta 論法の主要な存在意義の 1 つである3.

ところで, この「任意の実数 xR^\forall x\in\mathbb{R} に対して, xc<δ\left|x-c\right|\lt\delta を満たすならば, すべての正の実数 ϵ\epsilon に対して f(x)L<ϵ\left|f(x)-L\right|\lt\epsilon を満たすような δ\delta が存在する.」というのは, xxcc に近づけていくとき, f(x)f(x) 自体が LL と同じであろうがなかろうが, LL でない他のどのような値と比べても, より LL に近づいていくものであるともいえる. そのようにより近づいていく値を, その値そのものと同値であるとみなすことが, ϵδ\epsilon-\delta 論法における極限であるともいえるのである. つまり, ϵδ\epsilon-\delta 論法は, どんなに小さな任意の ϵ\epsilon を考えても, xc<δ\left|x-c\right|\lt\delta であるとき, f(x)L<ϵ\left|f(x)-L\right|\lt\epsilon になるような δ\delta があるならば, 関数 f(x)f(x)xcx\to c の極限値 limxcf(x)\displaystyle\lim_{x\to c}f(x)LL と同値とみなす.

より一般的な変数変換

極限に関して厳密な定義ができたところで, 本題に入るが, 問題そのものを的確に把握することは, 問題を解く上で最も重要な過程であるので, 異なる座標系への移行という行為が一体どういうことなのかについてここで整理しておく.

異なる座標系への移行とは何か

唐突であるが, DDx,yx,y 平面の閉領域として, D(xy)ex+ydxdy,D=(x,y)0x+y2,0xy2 \int\int_{D}(x-y)e^{x+y}dxdy, D={(x,y)|0\leq x+y\leq 2, 0\leq x-y\leq 2} の積分値を計算せよと言われたら, どのように解けば良いのだろうか. そのまま計算するよりも, u=x+y,v=xyu=x+y,v=x-y とおくと楽なので, いまDD に変わる新しい領域 EEu,vu,v 平面の閉領域として Eveududv,E=(u,v)0u2,0v2 \int\int_{E}ve^ududv, E={(u,v)|0\leq u\leq 2,0\leq v\leq 2} と書きたくなるが, この積分値は元の領域と等しくない4. 1 次元のときの変数変換を思い出せば, 例えば x=ϕ(t)x=\phi(t) と変数変換したときに, x1x2f(x)dxt1t2f(ϕ(t))dt\displaystyle\int_{x_1}^{x_2}f(x)dx\not =\int_{t_1}^{t^2}f(\phi(t))dtx1x2f(x)dx=t1t2f(ϕ(t))ϕ(t)dt\displaystyle\int_{x_1}^{x_2}f(x)dx =\int_{t_1}^{t^2}f(\phi(t))\phi'(t)dt だったのと同様, 変数変換における双方の対応関係から成る比率で, 埋めあわせをしなければならなかった. 2 重積分においてこの比率は, 元の領域との面積比に相当することになる. つまり, その一般解を得ることで, 異なる座標系間での移行が可能となるのである.

幾何学的なアプローチ

微積分学的な言葉を使ったアプローチを行う前に, 図形的意味を重視してまず書くこととする.

そもそも重積分というのは, ある座標系における微小面積と, ある関数 ff との値の積の総和の極限を取ることであった. u,vu,v 座標系というものがあれば, その座標系/定義域における微小面積で, 今述べた操作を行うのである. というわけで, まず直交座標から一般の座標系への写像となる関数を, x=ϕ(u,v),y=ψ(u,v)x=\phi(u,v), y=\psi(u,v) として考察することとする.

早速であるが, uu とそこから少し動いた u+Δuu+\Delta u, vv とそこから少し動いた v+Δvv+\Delta v から成る四角形について考える. これが, u,vu,v 座標系における微小面積である. この四角形のそれぞれの頂点は, 直交座標の言葉で(ϕ,ψ\phi, \psi 関数を使って),

O(ϕ(u,v),ψ(u,v))A(ϕ(u+Δu,v),ψ(u+Δu,v))B(ϕ(u,v+Δv),ψ(u,v+Δv))C(ϕ(u+Δu,v+Δv),ψ(u+Δ,v+Δv)) \begin{array}{l} O(\phi(u,v),\psi(u,v)) \\ A(\phi(u+\Delta u, v), \psi(u+\Delta u,v)) \\ B(\phi(u,v+\Delta v), \psi(u,v+\Delta v)) \\ C(\phi(u+\Delta u,v+\Delta v), \psi(u+\Delta,v+\Delta v)) \end{array}

などと書き表わせる(頂点それぞれに, 適当に記号を割り振った. また, わかり易さのために頂点 CC を書いたが, 今回これは使わない).

さて, これらの頂点から成る四角形は, 極限の基で近似的に平行四辺形となるということを予めここで言ってしまおう. 従って, その平行四辺形の面積 SS を求めるために, (OA,OB)(\overrightarrow{OA}, \overrightarrow{OB}) の行列式を求めることとする5. まず, OA\overrightarrow{OA} について考える. これは単に, AA の座標から OO の座標を引けば良いが, これは偏微分そのもので, 線形近似により,

ϕ(u+Δu,v)ϕ(u,v)ϕuΔuψ(u+Δu,v)ψ(u,v)ψuΔu \begin{aligned} \phi(u+\Delta u, v)-\phi(u,v)&\approx&\dfrac{\partial \phi}{\partial u}\Delta u \\ \psi(u+\Delta u, v)-\psi(u,v)&\approx&\dfrac{\partial \psi}{\partial u}\Delta u \end{aligned}

と書ける. 従って, OB\overrightarrow{OB} についても同様に,

OA(ϕuΔu,ψuΔu)OB(ϕvΔv,ψvΔv) \begin{aligned} \overrightarrow{OA}&\approx&\left(\dfrac{\partial \phi}{\partial u}\Delta u,\dfrac{\partial \psi}{\partial u}\Delta u\right) \\ \overrightarrow{OB}&\approx&\left(\dfrac{\partial \phi}{\partial v}\Delta v,\dfrac{\partial \psi}{\partial v}\Delta v\right) \end{aligned}

と書ける. あとは, これらから成る行列の行列式の絶対値を求めれば良いから,

Sdet(ϕuΔuϕvΔvψuΔuψvΔv)det(ϕuϕvψuψv)ΔuΔv \begin{aligned} S&\approx&\left|{\rm det}\left( \begin{array}{cc} \dfrac{\partial \phi}{\partial u}\Delta u&\dfrac{\partial \phi}{\partial v}\Delta v \\ \dfrac{\partial \psi}{\partial u}\Delta u&\dfrac{\partial \psi}{\partial v}\Delta v \end{array} \right)\right| \\ &\approx&\left|{\rm det}\left( \begin{array}{cc} \dfrac{\partial \phi}{\partial u}&\dfrac{\partial \phi}{\partial v} \\ \dfrac{\partial \psi}{\partial u}&\dfrac{\partial \psi}{\partial v} \end{array} \right)\right|\Delta u\Delta v \end{aligned}

Δu,Δv\Delta u, \Delta v の無限小の極限をとり, 微小増分の式に書き換えれば,

det(ϕuϕvψuψv)dudv(1) \begin{aligned} &\approx&\left|{\rm det}\left( \begin{array}{cc} \dfrac{\partial \phi}{\partial u}&\dfrac{\partial \phi}{\partial v} \\ \dfrac{\partial \psi}{\partial u}&\dfrac{\partial \psi}{\partial v} \end{array} \right)\right|dudv\tag{1} \end{aligned}

(1)(1) の行列式の絶対値がヤコビアンである. いま求めた式 (1)(1) は, 後に述べている全微分といわれる操作に相当している.

全微分

全微分は, 偏微分に関してもう一度考えることで納得できる. (先に線形代数的アプローチで, 偏微分は自明なものとして使ってしまったが)そもそも偏微分はなんだったかといえば, 多変数関数の特定の変数以外を定数と捉えて微分することであった.

偏微分

UURnR^n の開部分集合とし, 函数 f:URf:U\to R に対して, x=(x1,,xn)U{\bf x}=(x_1, \cdots, x_n) \in Uii 番目の変数 xix_i における ff の偏微分は xif(x):=limΔxi0f(x1,,xi+Δxi,,xn)f(x1,,xi,,xn)Δxi\displaystyle \dfrac{\partial}{\partial x_i}f({\bf x}) := \lim_{\Delta x_i\to 0}\dfrac{f(x_1,\cdots,x_i+\Delta x_i,\cdots,x_n)-f(x_1,\cdots,x_i,\cdots,x_n)}{\Delta x_i}

要するに, ff が 2 変数関数であれば,

f(x,y)x:=limΔ0f(x+Δ,y)f(x,y)Δf(x,y)y:=limΔ0f(x,y+Δ)f(x,y)Δ \begin{aligned} \frac{\partial f(x, y)}{\partial x} &:=& \lim_{\Delta \to 0} \frac{f(x + \Delta, y) - f(x, y)}{\Delta}\\ \frac{\partial f(x, y)}{\partial y} &:=& \lim_{\Delta \to 0} \frac{f(x, y + \Delta) - f(x, y)}{\Delta} \end{aligned}

である. これを踏まえて, 2 変数関数における全微分を導出することを考える. 簡単に言ってしまえば, 偏微分が 2 変数以上の関数のただ 1 つを変数とみなして, その微小変化に対する変化量を求めることであったのに対し, 全微分は, 全ての変数の微小変化に対する変化量を求めることである. まず変数 x,yx, y が各々で微小量 Δx,Δy\Delta x,\Delta y だけ変化するとき, その全体の変化量 Δf\Delta f を次のように表せる.

Δf=f(x+Δx,y+Δy)f(x,y)=f(x+Δx,y+Δy)f(x,y+Δy)+f(x,y+Δy)f(x,y)(2) \begin{aligned} \Delta f&=&f(x+\Delta x, y+\Delta y)-f(x,y) \\ &=&f(x+\Delta x, y+\Delta y)-f(x,y+\Delta y)+f(x,y+\Delta y)-f(x,y) \tag{2} \end{aligned}

式 \(\) の改行位置を変えるとわかりやすいが,

Δf=f(x+Δx,y+Δy)f(x,y+Δy)+f(x,y+Δy)f(x,y)(3) \Delta f=f(x+\Delta x, y+\Delta y)-f(x,y+\Delta y) +f(x,y+\Delta y)-f(x,y) \tag{3}

いま, それぞれの部分に着目すると, f(x+Δx,y+Δy)f(x,y+Δy)f(x+\Delta x, y+\Delta y)-f(x,y+\Delta y) 部分は xx のみを変化させたときの ff の変化量で, f(x,y+Δy)f(x,y)f(x,y+\Delta y)-f(x,y) 部分は yy のみを変化させたときの ff の変化量となっていることがわかる. この式 (2)(2) をさらに変形させると,

Δf=f(x+Δx,y+Δy)f(x,y+Δy)ΔxΔx+f(x,y+Δy)f(x,y)ΔyΔy\begin{aligned} \displaystyle \Delta f&=&\dfrac{f(x+\Delta x, y+\Delta y)-f(x,y+\Delta y)}{\Delta x}\Delta x \\ &+&\dfrac{f(x,y+\Delta y)-f(x,y)}{\Delta y}\Delta y \end{aligned}

この式が微分の定義式と酷似していることに気づけば, Δx,Δy\Delta x,\Delta y の無限小の極限をとり, 微小増分の式に書き換えて,

df=limdx,dy0f(x+dx,y+dy)f(x,y+dy)dxdx+limdx,dy0f(x,y+dy)f(x,y)dydy(4) \displaystyle df=\lim_{dx,dy\to 0}\dfrac{f(x+dx, y+dy)-f(x,y+dy)}{dx}dx+ \lim_{dx,dy\to 0}\dfrac{f(x,y+dy)-f(x,y)}{dy}dy \tag{4}

limdx,dy0\displaystyle\lim_{dx,dy\to 0} を考えると, limdx,dy0f(x+dx,y+dy)f(x,y+dy)dxdx\lim_{dx,dy\to 0}\dfrac{f(x+dx, y+dy)-f(x,y+dy)}{dx}dx 部分はもはや limdx,dy0f(x+dx,y)f(x,y)dx\displaystyle\lim_{dx,dy\to 0}\dfrac{f(x+dx, y)-f(x,y)}{dx} と同然であるので, すべての値 (4)(4) が, 特定以外の変数を変化させない微分となっていることがわかる. ここで, 記号 \partial を導入して, いまの式を df=fxdx+fydy(5)df=\dfrac{\partial f}{\partial x}dx+\dfrac{\partial f}{\partial y}dy\tag{5} と書くと, これが全微分/完全微分の定義になる. 多変数関数 ff の無限小変化を式 (5)(5) のように表せるとき, 多変数関数 ff はその変数において全微分可能であるという.

全積分とヤコビアン

先に x=ϕ(u,v),y=ψ(u,v)x=\phi(u,v), y=\psi(u,v) としていたので, x,yx,y の全微分は

dx=ϕudu+ϕvdvdy=ψudu+ψvdv \begin{aligned} dx&=&\dfrac{\partial\phi}{\partial u}du+\dfrac{\partial\phi}{\partial v}dv \\ dy&=&\dfrac{\partial\psi}{\partial u}du+\dfrac{\partial\psi}{\partial v}dv \end{aligned}

となる. いまこれを行列で表すと,

(dxdy)=(ϕuϕuψvψv)(dudv) \begin{aligned} \begin{pmatrix} dx \\ dy \end{pmatrix}= \begin{pmatrix} \dfrac{\partial\phi}{\partial u}&\dfrac{\partial\phi}{\partial u} \\ \dfrac{\partial\psi}{\partial v}&\dfrac{\partial\psi}{\partial v} \end{pmatrix} \begin{pmatrix} du \\ dv \end{pmatrix} \end{aligned}

となる. この行列の行列式

det(ϕuϕvψuψv) \begin{aligned} {\rm det} \left( \begin{array}{cc} \dfrac{\partial\phi}{\partial u}&\dfrac{\partial\phi}{\partial v} \\ \dfrac{\partial\psi}{\partial u}&\dfrac{\partial\psi}{\partial v} \end{array} \right) \end{aligned} はヤコビアンといわれ(\(\) と同じ), (ϕ,ψ)u,v\dfrac{\partial(\phi,\psi)}{\partial{u,v}}, また J(u,v){\rm J}(u, v) と表される. 一般に,

ヤコビアン

nn 変数関数の全微分を行列で表した式 (f1fn)=(f1x1f1xnfnx1fnxn)(dx1dxn) \begin{aligned} \begin{pmatrix} f_1 \\ \vdots \\ f_n \end{pmatrix}= \begin{pmatrix} \dfrac{\partial f_1}{\partial x_1}&\cdots&\dfrac{\partial f_1}{\partial x_n} \\ \vdots&\ddots&\vdots \\ \dfrac{\partial f_n}{\partial x_1}&\cdots&\dfrac{\partial f_n}{\partial x_n} \end{pmatrix} \begin{pmatrix} dx_1 \\ \vdots \\ dx_n \end{pmatrix} \end{aligned} の行列の行列式 det(f1x1f1xnfnx1fnxn) \begin{aligned} {\rm det}\left( \begin{array}{ccc} \dfrac{\partial f_1}{\partial x_1}&\cdots&\dfrac{\partial f_1}{\partial x_n} \\ \vdots&\ddots&\vdots \\ \dfrac{\partial f_n}{\partial x_1}&\cdots&\dfrac{\partial f_n}{\partial x_n} \end{array}\right) \end{aligned} (f1,,fn)(x1,,xn)\dfrac{\partial(f_1,\cdots,f_n)}{\partial(x_1,\cdots,x_n)} また J(x1,,xn){\rm J}(x_1,\cdots,x_n) と書く.

冒頭で述べた直交座標から極座標への変換をこのヤコビアンを使って導くならば, まず二次元直交座標系から二次元極座標系への対応関係は,

(xy)=(rcosθrsinθ) \begin{aligned} \begin{pmatrix} x \\ y \end{pmatrix}= \begin{pmatrix} r \cos\theta \\ r \sin\theta \end{pmatrix} \end{aligned}

で, 二次元極座標の変数は r,θr, \theta なのでこれをヤコビアンに与えて,

J(r,θ)=det(cosθrsinθsinθrcosθ)=r \begin{aligned} J(r,\theta)={\rm det}\left(\begin{array}{cc} \cos\theta & -r\sin\theta \\ \sin\theta & r\cos\theta \end{array}\right)=r \end{aligned}

一般の 2 重積分は

Df(x,y)dxdy=Ef(ϕ(u,v),ψ(u,v))J(u,v)dudv\int\int_D f(x,y)dxdy=\int\int_E f(\phi(u,v),\psi(u,v))J(u,v)dudv なので, 極座標における全体の微小面積は rdrdθrdrd\theta となり, 冒頭で行った図形的解釈のもとに導き出した解と一致することがわかる. 「異なる座標系への移行とは何か」の冒頭で挙げた例題

D(xy)ex+ydxdy,D=(x,y)0x+y2,0xy2\int\int_{D}(x-y)e^{x+y}dxdy, D={(x,y)|0\leq x+y\leq 2, 0\leq x-y\leq 2}

も, u=x+y,v=xyu=x+y, v=x-y とおいてヤコビアンに与えれば,

J(u,v)=det(12121212)=12 \begin{aligned} {\rm J}(u,v)&=&{\rm det}\left(\begin{array}{rr} \dfrac{1}{2}&\dfrac{1}{2} \\ \dfrac{1}{2}&-\dfrac{1}{2}\end{array}\right)&=&-\dfrac{1}{2} \end{aligned}

絶対値を考えれば良いので,

=det(12121212)=12 \begin{aligned} &=&\left|{\rm det}\left(\begin{array}{rr} \dfrac{1}{2}&\dfrac{1}{2} \\ \dfrac{1}{2}&-\dfrac{1}{2}\end{array}\right)\right|&=&\dfrac{1}{2} \end{aligned}

D(xy)ex+ydxdy=0202veu12dudv=1202[veu]02dv=1202(ve2v)dv=12[e22v212v2]02=e21 \begin{aligned} \therefore\int\int_D(x-y)e^{x+y}dxdy&=&\int^2_0\int^2_0ve^u\dfrac{1}{2}dudv \\ &=&\dfrac{1}{2}\int^2_0\left[ve^u\right]^2_0dv \\ &=&\dfrac{1}{2}\int^2_0(ve^2-v)dv \\ &=&\dfrac{1}{2}\left[\dfrac{e^2}{2}v^2-\dfrac{1}{2}v^2\right]^2_0 \\ &=&e^2-1 \end{aligned}

参考文献


  1. 図は matplotlib 等で生成.↩︎

  2. 図は draw.io で作成.↩︎

  3. 完全に蛇足であるが, 連続性の定義は, 他の様々な前提のための重要な要素となりうる. 例えば, いま, fx:=fx,fy:=fyf_x:=\dfrac{\partial f}{\partial x}, f_y:=\dfrac{\partial f}{\partial y} という記法を導入すると, 関数 f(x,y)f(x,y) の偏導関数 fx(x,y),fy(x,y)f_{x}(x,y), f_{y}(x,y) がそれぞれ偏微分可能であるとき, 4 つの 2 次偏導関数,

    を考えることができるが, ff にこの fxy,fyxf_{xy}, f_{yx} が存在して, ともに連続であるといえれば, 偏微分の順序交換法則(fxy=fyxf_{xy}=f_{yx}) が成り立つことを示せる. この証明は, 平均値の定理を補題として証明した上で行わなければならなく大変だが, 参考文献にわかりやすい証明がされている.↩︎

  4. 正しい解答は末尾にて.↩︎

  5. 補足: 2 つの二次元ベクトル a1,a2a_1, a_2 から成る 2 次正方行列の行列式の絶対値は, a1,a2a_1,a_2 が定める平行四辺形の面積に等しいのであった.↩︎