0503132人目の素数さん垢版 | 大砲2017/09/25(月) 21:34:34.67ID:odEl0oBH 連鎖律があるから座標系に依存しないで定義できるよ 1次元空間上の1次微分形式ωとθに対してθ≠0の領域上でω=ξθなる関数ξが一意に決まるので ωとθの商 ω/θ=ξ が定義される 例えば座標xの外微分dxと関数y=f(x)の外微分dyとの間にはdy=f'(x)dxの関係があるからdy/dx=f'(x)となる 別の座標tをとると dy/dt = (dy/dx)/(dt/dx) = dy/dx ・ dx/dt などの式も普通に成り立つ