関数行列式(Jacobian、ヤコビアン)...その2

関数行列式(Jacobian、ヤコビアン)...その2

「関数行列式$\dfrac{\partial(G_1,G_2,....)}{\partial(x_1,x_2,....)}≠0$ならば、$G_1,G_2,....$は独立である」これは学生時代からしばしば聞いてきた定理(なのかな?)であるが、実際にこの定理が必要な状況に遭遇しても、あまり深く考えずに行列式の値とその後の話との整合性に納得しているだけだった。昨年の夏を過ぎた頃、相対論の復習をやろうと思って教科書を開いたとき、次の一文で躓いてしまった。「.....さらに4個の数...