微分形式を各点において接ベクトル空間の双対空間の元を対応させるものと定義
した場合は、
各点で線形写像としてdx/dt dt = dxが成立しているということ。